The paper proves a generalized inverse function theorem for curved L∞ spaces.
problem Proving a generalized inverse function theorem for curved L∞ spaces. method Obstruction theory for L∞ homomorphisms and homotopy transfer theorem for curved L∞ algebras. result A morphism of curved L∞ spaces which is a quasi-isomorphism at a point has a local homotopy inverse. We describe two constructions giving rise to curved A∞-algebras. The first consists of deforming A∞-algebras, while the second involves transferring curved dg structures that are deformations of (ordinary) dg structures along chain contractions. As an application of the second construction, given a …
Curved L∞ spaces form a category of fibrant objects.
problem Understanding the structure of curved L∞ spaces. method Proving L∞ spaces over dg manifolds form a category of fibrant objects. result Transitive L∞ algebroids over dg manifolds also form a category of fibrant objects. We construct Peano curves γ:[0,∞)→R2 whose "footprints" γ([0,t]), t>0, have C∞ boundaries and are tangent to a common continuous line field on the punctured plane R2∖{γ(0)}. Moreover, these boundaries can be taken C∞-close to any prescribed smooth family…
Lie algebroids and curved Lie algebras are equivalent categories.
problem Understanding the relationship between Lie algebroids and curved Lie algebras.
method Developed a method to study the ∞-category of curved Lie algebras using homotopy theory of algebras over a complete operad. result Equivalence of ∞-categories between Lie algebroids and certain kinds of curved Lie algebras. Study a flow preserving area of plane curves, ending in a circle.
problem Preserving area while deforming plane curves.
method Non-local flow of convex closed plane curves.
result Limiting curve is a circle in the C∞ metric. Optimizes curves on Riemannian manifolds to minimize curvature.
problem Minimizing curvature on curves with fixed length and endpoints on Riemannian manifolds.
method Solves a second order ODE system derived from the optimization problem.
result Solutions to the optimization problem satisfy a second order ODE system.
Let M be a closed Riemannian manifold with a parallel 1-form Ω. We prove two theorems about the curve shortening flow in M. One is that the {\csf} $\ct$ in M exists for all t in [0,∞), if it satisfies Ω(T)≥0 on the initial curve $\co$. Here T is the unit tangent vector on $\co$. The other one …
In this paper, we systemally study the long time behavior of the curve shortening flow in a closed or non-compact complete locally Riemannian symmetric manifold. Assume that we have a global flow. Then we can exhibit a a limit for the global behavior of the flow. In particular, we show the following results. 1). Let $\…
We prove spectral, stochastic and mean curvature estimates for complete m-submanifolds φ:M→N of n-manifolds with a pole N in terms of the comparison isoperimetric ratio Im and the extrinsic radius rφ≤∞. Our proof holds for the bounded case rφ<∞, recovering …
Smooth curves from polygonal chains with vertex preservation and explicit curvature control.
problem Preserving vertices while smoothing polygonal chains to C∞ curves. method Directional mollification operator for polygonal chains.
result Smooth curves that intersect original vertices and maintain explicit curvature bounds.
The paper proves a category of dg manifolds with finite positive amplitude.
problem Understanding the structure of dg manifolds with finite positive amplitude.
method Using path spaces and homotopy transfer theorem for curved L∞[1]-algebras. result Proves that dg manifolds of finite positive amplitude form a category of fibrant objects.
Geometrically deforms L∞ algebras to Lie algebroids, revealing new invariants.
problem Classifying geometric invariants of L∞ algebras arising from vector bundles. method Define geometric deformations of curved L∞ algebras and show they correspond to Lie algebroid structures. result Geometric deformations of L∞ algebras classify new geometric invariants. Abstract: Proves generic torus diffeomorphisms act parabolically and non-properly on fine curve graph and have generalized rotation sets.
problem Generic torus diffeomorphisms on fine curve graph.
method Proves generic torus diffeomorphisms act parabolically and non-properly on fine curve graph.
result Generic torus diffeomorphisms have generalized rotation sets of any point-symmetric compact convex homothety type.
Generalizes Riemann-Hilbert correspondence for curved local systems.
problem Higher Riemann-Hilbert correspondence with scalar curvature.
method Equivalence of dg-categories of curved local systems, graded vector bundles, and representations.
result Equivalence of dg-enhancements of twisted sheaves categories.
In this paper, we consider a kind of area preserving non-local flow for convex curves in the plane. We show that the flow exists globally, the length of evolving curve is non-increasing, and the curve converges to a circle in C^{\infty} sense as time goes into infinity.
We define a geometric flow that is designed to change surfaces of cylindrical type spanning two disjoint boundary curves into solutions of the Douglas-Plateau problem of finding minimal surfaces with given boundary curves. We prove that also in this new setting and for arbitrary initial data, solutions of the Teichmüll…
New curve flow preserves area and converges to a circle.
problem Preserving area while evolving curves to a circle.
method Area-preserving curvature flow for convex planar curves.
result The curve converges to a circle in smooth sense over time.
In this paper for a given Banach, possibly infinite dimensional, manifold M we focus on the geometry of its iterated tangent bundle TrM, r∈N∪{∞}. First we endow TrM with a canonical atlas using that of M. Then the concepts of vertical and complete lifts for functions and vector fields on $T^…
New L∞ liftings derived from Chern-Simons classes for coherent sheaves.
problem Liftings of semiregularity maps for coherent sheaves on complex manifolds.
method Introducing Chern-Simons classes for curved DG-pairs and proving canonical liftings.
result Canonical L∞ liftings of Buchweitz-Flenner semiregularity maps. The paper studies a curve flow preserving anisotropic length for convex curves, leading to a homothetic limit.
problem Anisotropic length preservation in curve deformation.
method A curve flow that maintains anisotropic length, analyzed for convex closed curves.
result Convex curves evolve to homothetic limits of Wulff shapes as time approaches infinity.
Mirzakhani obtained the asymptotic growth, when L→∞, of the number of curves in the mapping class group orbit of some given simple curve and with length at most L. Years later she extended this result from simple to arbitrary curves. Here we give a short and relative low-tech argument showing how to derive t…
Formula for heat coefficients of curved conic singularities derived from Riemannian metrics.
problem Calculating heat coefficients for surfaces with curved conic singularities.
method Explicit formula derivation for coefficient b1/2(C) under rotationally invariant metrics near conical singularities. result The coefficient b1/2(C) varies irrationally under constant rescalings near the cone point, contrasting with other coefficients. We propose a general notion of algebraic gauge theory obtained via extracting the main properties of classical gauge theory. Building on a recent work on transferring curved A∞-structures we show that, under certain technical conditions, algebraic gauge theories can be transferred along chain contractions. Sp…
Constructs a cyclic, filtered, strictly unital curved A∞ category for Lagrangian submanifolds and develops Floer theory.
problem Proving that any Lagrangian submanifold equipped with a weak bounding cochain lies in the category split-generated by a given collection of Lagrangian submanifolds.
method Develops a cyclic, filtered, strictly unital curved A∞ category and uses it to prove the above statement. result Any Lagrangian submanifold equipped with a weak bounding cochain lies in the category split-generated by a given collection of Lagrangian submanifolds.
Consider a smooth manifold M with a smooth cometric g∗ which changes the bilineal type by transverse way, on a hypersurface D∞. Suppose that the radical annihilator hyperplane is tangent to D∞. We examine the geometry of the (g∗-dual) covariant metric g on M− D∞, prov…
New bounds on manifold widths and essential curves in high dimensions.
problem Bounding the l∞-widths of submanifolds in Euclidean space. method Introducing a new approach to systolic geometry involving non-linear complexes and averaging over isometries.
result Proved upper bounds on l∞-widths and existence of essential curves in cubes. We show that on any Riemannian surface for each 0<c<∞ there exists an immersed C1,1 curve that is smooth and with curvature equal to ±c away from a point. We give examples showing that, in general, the regularity of the curve obtained by our procedure cannot be improved.
For any α>0, we study kα-type length-preserving and area-preserving nonlocal flow of convex closed plane curves and show that these two types of flow evolve such curves into round circles in C∞-norm. Other relevant kα-type nonlocal flow is also discussed when α≥1.
Uniform convergence of isotopies implies ambient isotopy, aiding knot equivalence.
problem Determining when uniform convergence of isotopies leads to ambient isotopies.
method Using a diagrammatic condition to offload uniform convergence, constructing examples of tame knots.
result Constructing tame knots with countably-many crossings, distinguishing them from wild curves.
For two measured laminations ν+ and ν− that fill up a hyperbolizable surface S and for t∈(−∞,∞), let Lt be the unique hyperbolic surface that minimizes the length function etl(ν+)+e−tl(ν−) on Teichmuller space. We characterize the curves that are short in Lt and estimate their…
New homomorphism proven using immersed curves on disks.
problem Existence of homomorphisms and summands in homology groups.
method Approximating involutive Heegaard Floer complexes with immersed curves on the twice punctured disk.
result Existence of a new homomorphism and a Z∞ summand proven. We consider biharmonic maps φ:(M,g)→(N,h) from a complete Riemannian manifold into a Riemannian manifold with non-positive sectional curvature. Assume that α satisfies 1<α<∞. If for such an α, ∫M∣τ(φ)∣αdvg<∞ and ∫M∣dφ∣2dvg<∞, where τ(φ) is the tension field of φ, th…
Two optimization problems for Loewner energy curves and their symmetries.
problem Optimizing Jordan curves and positive curves on boundary spaces.
method Using conformal welding and Möbius transformations.
result Symmetries between boundary spaces and pleated planes.
We construct a Teichmueller curve uniformized by the Fuchsian triangle group (m,n,\infty) for every m<n. Our construction includes the Teichmueller curves constructed by Veech and Ward as special cases. The construction essentially relies on properties of hypergeometric differential operators. For small m, we find Bill…
Embeds hyperbolic plane into 3D space with detailed geometric analysis.
problem Isometric embedding of hyperbolic plane into 3D space.
method Iterative construction of corrugations and formal process analysis.
result Self-similarity structure and asymptotic convergence of pattern maps.
Smooth curves with specific curvature can be closely approximated.
problem Approximating smooth curves with prescribed curvature.
method Application of h-principle to C1-dense approximation of curves. result Existence of C∞ knots with prescribed curvature. New metrics for surface shapes incorporating curve properties.
problem Developing metrics for surface shape spaces.
method Incorporates geodesic and normal curvatures of curves on surfaces.
result Explicitly defined 6-parameter family of metrics.
If a sequence of Riemannian manifolds, Xi, converges in the pointed Gromov-Hausdorff sense to a limit space, X∞, and if Ei are vector bundles over Xi endowed with metrics of Sasaki-type with a uniform upper bound on rank, then a subsequence of the Ei converges in the pointed Gromov-Hausdorff sense t…
Riemannian cubics are critical points for the L2 norm of acceleration of curves in Riemannian manifolds M. In the present paper the L∞ norm replaces the L2 norm, and a less direct argument is used to derive necessary conditions analogous to those for Riemannian cubics. The necessary conditions are exami…
Motivated by the limiting behavior of an explicit class of compact ancient curve shortening flows, we prove codimension bounds for ancient mean curvature flows by their tangent flow at −∞, generalizing a theorem for cylinders in [CM19b]. In the case of the m-covered circle, we apply this bound to prove a stron…
A new curve flow preserves area and converges to a circle.
problem Preserving area in centro-equiaffine geometry.
method Fourth-order centro-equiaffine invariant curve flow via affine Minkowski formula.
result The flow preserves area and converges to a round circle.
Split Courant algebroids linked to special algebra structures.
problem Understanding the structure of split Courant algebroids.
method Established a correspondence with multiplicative curved L∞-algebras. result Split Courant algebroids correspond to multiplicative curved L∞-algebras. We prove that the moduli space of the pseudo holomorphic curves in the A-model on a symplectic torus is homeomorphic to a moduli space of Feynman diagrams in the configuration space of the morphisms in the B-model on the corresponding elliptic curve. These moduli spaces determine the A∞ structure of the both …
In this paper, we prove a version of the classical Cartan-Hadamard theorem for negatively curved manifolds, of dimension n=5, with non-empty totally geodesic boundary. More precisely, if M1n,M2n are any two such manifolds, we show that (1) ∂∞M~1n is homeomorphic to $\partial ^\infty…
Study of curve shortening flow for twisted curves, defining curvature-torsion entropy.
problem Understanding the behavior of curves with curvature and torsion under curve shortening flow.
method Defined curvature-torsion entropy to analyze the flow of twisted curves.
result Curved curves under curve shortening flow either develop inflection points or exhibit highly irregular singularities.
The study examines the normal growth exponent of submanifolds in negatively curved manifolds.
problem Understanding the normal growth exponent of submanifolds in negatively curved manifolds.
method Analyzing the geodesic flow and operator norms on submanifolds bi-Lipschitz to hyperbolic spaces.
result If a submanifold's normal growth exponent is at most 1, the ambient manifold is bi-Lipschitz to hyperbolic space.
The abstract introduces a new A∞ duality via LSFT algebra.
problem Legendrian knot duality and its A∞ extension. method Using Ng's LSFT algebra, the abstract upgrades duality to a quasi-isomorphism of A∞ bimodules over Aug+. result Explicit construction of homotopy inverse for the A∞ Sabloff map.