Showing papers in "arXiv: Differential Geometry in 2020"

Symplectic Manifolds and Isomonodromic Deformations

Abstract: We study moduli spaces of meromorphic connections (with arbitrary order poles) over Riemann surfaces together with the corresponding spaces of monodromy data (involving Stokes matrices). Natural symplectic structures are found and described both explicitly and from an infinite dimensional viewpoint (generalising the Atiyah-Bott approach). This enables us to give an intrinsic symplectic description of the isomonodromic deformation equations of Jimbo, Miwa and Ueno, thereby putting the existing results for the six Painleve equations and Schlesinger's equations into a uniform framework.

Generalized soap bubbles and the topology of manifolds with positive scalar curvature

Abstract: We prove that for $n\in \{4,5\}$, a closed aspherical $n$-manifold does not admit a Riemannian metric with positive scalar curvature. Additionally, we show that for $n\leq 7$, the connected sum of a $n$-torus with an arbitrary manifold does not admit a complete metric of positive scalar curvature. When combined with forthcoming contributions by Lesourd--Unger--Yau, this proves that the Schoen--Yau Liouville theorem holds for all locally conformally flat manifolds with non-negative scalar curvature. A key tool in these results are generalized soap bubbles---surfaces that are stationary for prescribed-mean-curvature functionals (also called $\mu$-bubbles).

Geodesic rays and stability in the cscK problem

Abstract: We prove that any finite energy geodesic ray with a finite Mabuchi slope is maximal in the sense of Berman-Boucksom-Jonsson, and reduce the proof of the uniform Yau-Tian-Donaldson conjecture for constant scalar curvature Kahler metrics to Boucksom-Jonsson's regularization conjecture about the convergence of non-Archimedean entropy functional. As further applications, we show that a uniform K-stability condition for model filtrations and the $\mathcal{J}^{K_X}$-stability are both sufficient conditions for the existence of cscK metrics. The first condition is also conjectured to be necessary. Our arguments also produce a different proof of the toric uniform version of YTD conjecture for all polarized toric manifolds. Another result proved here is that the Mabuchi slope of a geodesic ray associated to a test configuration is equal to the non-Archimedean Mabuchi invariant.

Sobolev inequalities in manifolds with nonnegative curvature

Abstract: We prove a sharp Sobolev inequality on manifolds with nonnegative Ricci curvature. Moreover, we prove a Michael-Simon inequality for submanifolds in manifolds with nonnegative sectional curvature. Both inequalities depend on the asymptotic volume ratio of the ambient manifold.

Generalized Ricci Flow

Abstract: This book gives an introduction to fundamental aspects of generalized Riemannian, complex, and Kahler geometry. This leads to an extension of the classical Einstein-Hilbert action, which yields natural extensions of Einstein and Calabi-Yau structures as `canonical metrics' in generalized Riemannian and complex geometry. The generalized Ricci flow is introduced as a tool for constructing such metrics, and extensions of the fundamental Hamilton/Perelman regularity theory of Ricci flow are proved. These results are refined in the setting of generalized complex geometry, where the generalized Ricci flow is shown to preserve various integrability conditions, taking the form of pluriclosed flow and generalized Kahler-Ricci flow. This leads to global convergence results, and applications to complex geometry. A purely mathematical introduction to the physical idea of T-duality is given, and a discussion of its relationship to generalized Ricci flow.

Pluriclosed flow and the geometrization of complex surfaces

Abstract: We recall fundamental aspects of the pluriclosed flow equation and survey various existence and convergence results, and the various analytic techniques used to establish them. Building on this, we formulate a precise conjectural description of the long time behavior of the flow on complex surfaces. This suggests an attendant geometrization conjecture which has implications for the topology of complex surfaces and the classification of generalized Kahler structures.

Entropy and heat kernel bounds on a Ricci flow background

Abstract: In this paper we establish new geometric and analytic bounds for Ricci flows, which will form the basis of a compactness, partial regularity and structure theory for Ricci flows in [Bam20a, Bam20b]. The bounds are optimal up to a constant that only depends on the dimension and possibly a lower scalar curvature bound. In the special case in which the flow consists of Einstein metrics, these bounds agree with the optimal bounds for spaces with Ricci curvature bounded from below. Moreover, our bounds are local in the sense that if a bound depends on the collapsedness of the underlying flow, then we are able to quantify this dependence using the pointed Nash entropy based only at the point in question. Among other things, we will show the following bounds: Upper and lower volume bounds for distance balls, dependence of the pointed Nash entropy on its basepoint in space and time, pointwise upper Gaussian bound on the heat kernel and a bound on its derivative and an $L^1$-Poincare inequality. The proofs of these bounds will, in part, rely on a monotonicity formula for a notion, called variance of conjugate heat kernels. We will also derive estimates concerning the dependence of the pointed Nash entropy on its basepoint, which are asymptotically optimal. These will allow us to show that points in spacetime that are nearby in a certain sense have comparable pointed Nash entropy. Hence the pointed Nash entropy is a good quantity to measure local collapsedness of a Ricci flow Our results imply a local $\varepsilon$-regularity theorem, improving a result of Hein and Naber. Some of our results also hold for super Ricci flows.

Real Geometric Invariant Theory

Abstract: For linear actions of real reductive Lie groups we prove the Kempf-Ness Theorem about closed orbits and the Kirwan-Ness Stratification Theorem of the null cone. Since our completely self-contained proof focuses strongly on geometric and analytic methods, essentially avoiding any deep algebraic result, it applies also to non-rational linear actions.

Supercritical deformed Hermitian-Yang-Mills equation

Abstract: In this paper, we provide a necessary and sufficient condition for the solvability of the supercritical deformed Hermitian-Yang-Mills equation using integrals on subvarieties. This result confirms the mirror version of the Thomas-Yau conjecture about special Lagrangian submanifolds on Calabi-Yau manifolds.

Min-max harmonic maps and a new characterization of conformal eigenvalues

Abstract: Given a surface $M$ and a fixed conformal class $c$ one defines $\Lambda_k(M,c)$ to be the supremum of the $k$-th nontrivial Laplacian eigenvalue over all metrics $g\in c$ of unit volume. It has been observed by Nadirashvili that the metrics achieving $\Lambda_k(M,c)$ are closely related to harmonic maps to spheres. In the present paper, we identify $\Lambda_1(M,c)$ and $\Lambda_2(M,c)$ with min-max quantities associated to the energy functional for sphere-valued maps. As an application, we obtain several new eigenvalue bounds, including a sharp isoperimetric inequality for the first two Steklov eigenvalues. This characterization also yields an alternative proof of the existence of maximal metrics realizing $\Lambda_1(M,c)$, $\Lambda_2(M,c)$ and, moreover, allows us to obtain a regularity theorem for maximal Radon measures satisfying a natural compactness condition.

On the Yau-Tian-Donaldson conjecture for generalized K\"ahler-Ricci soliton equations

Abstract: Let $(X, D)$ be a log variety with an effective holomorphic torus action, and $\Theta$ be a closed positive $(1,1)$-current. For any smooth positive function $g$ defined on the moment polytope of the torus action, we study the Monge-Ampere equations that correspond to generalized and twisted Kahler-Ricci $g$-solitons. We prove a version of Yau-Tian-Donaldson (YTD) conjecture for these general equations, showing that the existence of solutions is always equivalent to an equivariantly uniform $\Theta$-twisted $g$-Ding-stability. When $\Theta$ is a current associated to a torus invariant linear system, we further show that equivariant special test configurations suffice for testing the stability. Our results allow arbitrary klt singularities and generalize most of previous results on (uniform) YTD conjecture for (twisted) Kahler-Ricci/Mabuchi solitons or Kahler-Einstein metrics.

Structure theory of non-collapsed limits of Ricci flows

Abstract: In this paper we characterize non-collapsed limits of Ricci flows. We show that such limits are smooth away from a set of codimension $\geq 4$ in the parabolic sense and that the tangent flows at every point are given by gradient shrinking solitons, possibly with a singular set of codimension $\geq 4$. We furthermore obtain a stratification result of the singular set with optimal dimensional bounds, which depend on the symmetries of the tangent flows. Our methods also imply the corresponding quantitative stratification result and the expected $L^p$-curvature bounds. As an application of our theory, we obtain a description of the singularity formation of a Ricci flow at its first singular time and a thick-thin decomposition characterizing the long-time behavior of immortal flows. These results generalize Perelman's results in dimension 3 to higher dimensions. We also obtain a Backwards Pseudolocality Theorem and discuss several other applications.

No metrics with Positive Scalar Curvatures on Aspherical 5-Manifolds

Abstract: A metric space $X$ is called uniformly acyclic if there there exists an {\it acyclicty control function} $R=R(r)=R_X(r)\geq r $, $0\leq r 0$ for $dim (X)\leq 5$. Our argument, that depends on {\it torical symmetrization} of {\it stable $\mu$-bubbles}, is inspired by the recent paper by Otis Chodosh and Chao Li on non-existence of metrics with $Sc>0$ on aspherical 4-manifolds and is also influenced by the ideas of Jintian Zhu and Thomas Richard.

Minimising hulls, p-capacity and isoperimetric inequality on complete Riemannian manifolds

Abstract: The notion of strictly outward minimising hull is investigated for open sets of finite perimeter sitting inside a complete noncompact Riemannian manifold. Under natural geometric assumptions on the ambient manifold, the strictly outward minimising hull $\Omega^*$ of a set $\Omega$ is characterised as a maximal volume solution of the least area problem with obstacle, where the obstacle is the set itself. In the case where $\Omega$ has $\mathscr{C}^{1, \alpha}$-boundary, the area of $\partial \Omega^*$ is recovered as the limit of the $p$-capacities of $\Omega$, as $p \to 1^+$. Finally, building on the existence of strictly outward minimising exhaustions, a sharp isoperimetric inequality is deduced on complete noncompact manifolds with nonnegative Ricci curvature, provided $3 \leq n \leq 7$.

Compactness theory of the space of Super Ricci flows

Abstract: We develop a compactness theory for super Ricci flows, which lays the foundations for the partial regularity theory in [Bam20b]. Our results imply that any sequence of super Ricci flows of the same dimension that is pointed in an appropriate sense subsequentially converges to a certain type of synthetic flow, called a metric flow. We will study the geometric and analytic properties of this limiting flow, as well as the convergence in detail. We will also see that, under appropriate local curvature bounds, a limit of Ricci flows can be decomposed into a regular and singular part. The regular part can be endowed with a canonical structure of a Ricci flow spacetime and we have smooth convergence on a certain subset of the regular part.

Boundary regularity and stability for spaces with Ricci bounded below

Abstract: This paper studies the structure and stability of boundaries in noncollapsed $\text{RCD}(K,N)$ spaces, that is, metric-measure spaces $(X,\mathsf{d},\mathscr{H}^N)$ with lower Ricci curvature bounded below. Our main structural result is that the boundary $\partial X$ is homeomorphic to a manifold away from a set of codimension 2, and is $N-1$ rectifiable. Along the way we show effective measure bounds on the boundary and its tubular neighborhoods. These results are new even for Gromov-Hausdorff limits $(M_i^N,\mathsf{d}_{g_i},p_i) \rightarrow (X,\mathsf{d},p)$ of smooth manifolds with boundary, and require new techniques beyond those needed to prove the analogous statements for the regular set, in particular when it comes to the manifold structure of the boundary $\partial X$. The key local result is an $\epsilon$-regularity theorem, which tells us that if a ball $B_{2}(p)\subset X$ is sufficiently close to a half space $B_{2}(0)\subset \mathbb{R}^N_+$ in the Gromov-Hausdorff sense, then $B_1(p)$ is biHolder to an open set of $\mathbb{R}^N_+$. In particular, $\partial X$ is itself homeomorphic to $B_1(0^{N-1})$ near $B_1(p)$. Further, the boundary $\partial X$ is $N-1$ rectifiable and the boundary measure $\mathscr{H}^{N-1}_{\partial X}$ is Ahlfors regular on $B_1(p)$ with volume close to the Euclidean volume. Our second collection of results involve the stability of the boundary with respect to noncollapsed mGH convergence $X_i\to X$. Specifically, we show a boundary volume convergence which tells us that the $N-1$ Hausdorff measures on the boundaries converge $\mathscr{H}^{N-1}_{\partial X_i}\to \mathscr{H}^{N-1}_{\partial X}$ to the limit Hausdorff measure on $\partial X$. We will see that a consequence of this is that if the $X_i$ are boundary free then so is $X$.

Spacetime Harmonic Functions and the Mass of 3-Dimensional Asymptotically Flat Initial Data for the Einstein Equations

Abstract: We give a lower bound for the Lorentz length of the ADM energy-momentum vector (ADM mass) of 3-dimensional asymptotically flat initial data sets for the Einstein equations. The bound is given in terms of linear growth `spacetime harmonic functions' in addition to the energy-momentum density of matter fields, and is valid regardless of whether the dominant energy condition holds or whether the data possess a boundary. A corollary of this result is a new proof of the spacetime positive mass theorem for complete initial data or those with weakly trapped surface boundary, and includes the rigidity statement which asserts that the mass vanishes if and only if the data arise from Minkowski space. The proof has some analogy with both the Witten spinorial approach as well as the marginally outer trapped surface (MOTS) method of Eichmair, Huang, Lee, and Schoen. Furthermore, this paper generalizes the harmonic level set technique used in the Riemannian case by Bray, Stern, and the second and third authors, albeit with a different class of level sets. Thus, even in the time-symmetric (Riemannian) case a new inequality is achieved.

Uniqueness of compact ancient solutions to three-dimensional Ricci flow

Abstract: In this paper, we study the classification of $\kappa$-noncollapsed ancient solutions to three-dimensional Ricci flow on $S^3$. We prove that such a solution is either isometric to a family of shrinking round spheres, or the Type II ancient solution constructed by Perelman.

H\"older continuity of tangent cones in RCD(K,N) spaces and applications to non-branching

Abstract: In this paper we prove that a metric measure space $(X,d,m)$ satisfying the finite Riemannian curvature-dimension condition ${\sf RCD}(K,N)$ is non-branching and that tangent cones from the same sequence of rescalings are Holder continuous along the interior of every geodesic in $X$. More precisely, we show that the geometry of balls of small radius centred in the interior of any geodesic changes in at most a Holder continuous way along the geodesic in pointed Gromov-Hausdorff distance. This improves a result in the Ricci limit setting by Colding-Naber where the existence of at least one geodesic with such properties between any two points is shown. As in the Ricci limit case, this implies that the regular set of an ${\sf RCD}(K,N)$ space has $m$-a.e. constant dimension, a result already established by Brue-Semola, and is $m$-a.e convex. It also implies that the top dimension regular set is weakly convex and, therefore, connected. In proving the main theorems, we develop in the ${\sf RCD}(K,N)$ setting the expected second order interpolation formula for the distance function along the Regular Lagrangian flow of some vector field using its covariant derivative.

Locally constrained curvature flows and geometric inequalities in hyperbolic space

Abstract: In this paper, we first study the locally constrained curvature flow of hypersurfaces in hyperbolic space, which was introduced by Brendle, Guan and Li [7]. This flow preserves the $m$th quermassintegral and decreases $(m+1)$th quermassintegral, so the convergence of the flow yields sharp Alexandrov-Fenchel type inequalities in hyperbolic space. Some special cases have been studied in [7]. In the first part of this paper, we show that h-convexity of the hypersurface is preserved along the flow and then the smooth convergence of the flow for h-convex hypersurfaces follows. We then apply this result to establish some new sharp geometric inequalities comparing the integral of $k$th Gauss-Bonnet curvature of a smooth h-convex hypersurface to its $m$th quermassintegral (for $0\leq m\leq 2k+1\leq n$), and comparing the weighted integral of $k$th mean curvature to its $m$th quermassintegral (for $0\leq m\leq k\leq n$). In particular, we give an affirmative answer to a conjecture proposed by Ge, Wang and Wu in 2015. In the second part of this paper, we introduce a new locally constrained curvature flow using the shifted principal curvatures. This is natural in the context of h-convexity. We prove the smooth convergence to a geodesic sphere of the flow for h-convex hypersurfaces, and provide a new proof of the geometric inequalities proved by Andrews, Chen and the third author of this paper in 2018. We also prove a family of new sharp inequalities involving the weighted integral of $k$th shifted mean curvature for h-convex hypersurfaces, which as application implies a higher order analogue of Brendle, Hung and Wang's [8] inequality.

A numerical criterion for generalised Monge-Ampere equations on projective manifolds

Abstract: We prove that generalised Monge-Ampere equations (a family of equations which includes the inverse Hessian equations like the J-equation, as well as the Monge-Ampere equation) on projective manifolds have smooth solutions if certain intersection numbers are positive. As corollaries of our work, we improve a result of Chen (albeit in the projective case) on the existence of solutions to the J-equation, and prove a conjecture of Szekelyhidi in the projective case on the solvability of inverse Hessian equations. We also prove an equivariant version of our results, albeit under the assumption of uniform positivity. In particular, we can recover existing results on manifolds with large symmetry such as projective toric manifolds.

Metric SYZ conjecture and non-archimedean geometry

Abstract: We show that assuming a conjecture in non-archimedean geometry, then a metric formulation of the SYZ conjecture can be proved in large generality.

Harmonic Forms on the Kodaira-Thurston Manifold

Abstract: We introduce an effective method to solve the $\bar\partial$-harmonic forms on the Kodaira-Thurston manifold endowed with an almost complex structure and an Hermitian metric. Using the Weil-Brezin transform, we reduce the elliptic PDE system to countably many linear ODE systems. By solving a fundamental problem on linear ODE systems, the problem of finding $\bar\partial$-harmonic forms is equivalent to a generalised Gauss circle problem. We demonstrate two remarkable applications. First, the dimension of the almost complex Hodge numbers on the Kodaira-Thurston manifold could be arbitrarily large. Second, Hodge numbers vary with different choices of Hermitian metrics. This answers a question of Kodaira and Spencer in Hirzebruch's 1954 problem list.

Free boundary minimal surfaces with connected boundary and arbitrary genus.

Abstract: We employ min-max techniques to show that the unit ball in $\mathbb{R}^3$ contains embedded free boundary minimal surfaces with connected boundary and arbitrary genus.

Conformally maximal metrics for Laplace eigenvalues on surfaces

Abstract: The paper is concerned with the maximization of Laplace eigenvalues on surfaces of given volume with a Riemannian metric in a fixed conformal class. A significant progress on this problem has been recently achieved by Nadirashvili-Sire and Petrides using related, though different methods. In particular, it was shown that for a given k, the maximum of the k-th Laplace eigenvalue in a conformal class on a surface is either attained on a metric which is smooth except possibly at a finite number of conical singularities, or it is attained in the limit while a "bubble tree" is formed on a surface. Geometrically, the bubble tree appearing in this setting can be viewed as a union of touching identical round spheres. We present another proof of this statement, developing the approach proposed by the second author and Y. Sire. As a side result, we provide explicit upper bounds on the topological spectrum of surfaces.

Kodaira dimensions of almost complex manifolds II

Abstract: This is the second of a series of papers where we study the plurigenera, the Kodaira dimension and the Iitaka dimension on compact almost complex manifolds. By using the pseudoholomorphic pluricanonical map, we define the second version of Kodaira dimension as well as Iitaka dimension on compact almost complex manifolds. We show the almost complex structures with the top Kodaira dimension are integrable. For compact almost complex 4-manifolds with Kodaira dimension one, we obtain elliptic fibration like structural description. Some vanishing theorems in complex geometry are generalized to the almost complex setting. For tamed symplectic $4$-manifolds, we show that the almost Kodaira dimension is bounded above by the symplectic Kodaira dimension, by using a probabilistic combinatorics style argument. The appendix also contains a few results including answering a question of the second author that there is a unique subvariety in exceptional curve classes for irrational symplectic $4$-manifolds, as well as extending Evans-Smith's constraint on symplectic embeddings of certain rational homology balls by removing the assumption on the intersection form.

Free boundary minimal surfaces of any topological type in Euclidean balls via shape optimization

Abstract: For any compact surface $\Sigma$ with smooth, non-empty boundary, we construct a free boundary minimal immersion into a Euclidean Ball $\mathbb{B}^N$ where $N$ is controlled in terms of the topology of $\Sigma$. We obtain these as maximizing metrics for the isoperimetric problem for the first non-trivial Steklov eigenvalue. Our main technical result concerns asymptotic control on eigenvalues in a delicate glueing construction which allows us to prove the remaining spectral gap conditions to complete the program by Fraser--Schoen and the second named author to obtain such mazimizing metrics. Our construction draws motivation from earlier work by the first named author with Siffert on the corresponding problem in the closed case.

Nakai-Moishezon criterions for complex Hessian equations

Abstract: The $J$-equation proposed by Donaldson is a complex Hessian quotient equation on Kahler manifolds. The solvability of the $J$-equation is proved by Song-Weinkove to be equivalent to the existence of a subsolution. It is also conjectured by Lejmi-Szekelyhidi to be equivalent to a stability condition in terms of holomorphic intersection numbers as an analogue of the Nakai-Moishezon criterion in algebraic geometry. The conjecture is recently proved by Chen under a stronger uniform stability condition. In this paper, we establish a Nakai-Moishezon type criterion for pairs of Kahler classes on analytic Kahler varieties. As a consequence, we prove Lejmi-Szekelyhidi's original conjecture for the $J$-equation. We also apply such a criterion to obtain a family of constant scalar curvature Kahler metrics on smooth minimal models.

Width estimate and doubly warped product

Abstract: In this paper, we give an affirmative answer to Gromov's conjecture ([3, Conjecture E]) by establishing an optimal Lipschitz lower bound for a class of smooth functions on orientable open $3$-manifolds with uniformly positive sectional curvatures. For rigidity we show that the universal covering of the given manifold must be $\mathbf R^2\times (-c,c)$ with some doubly warped product metric if the optimal bound is attained. This gives a characterization for doubly warped product metrics with positive constant curvature. As a corollary, we also obtain a focal radius estimate for immersed toruses in $3$-spheres with positive sectional curvatures.

Manifolds of Mappings for Continuum Mechanics

Abstract: After an introduction to convenient calculus in infinite dimensions, the foundational material for manifolds of mappings is presented. The central character is the smooth convenient manifold C∞(M, N) of all smooth mappings from a finite dimensional Whitney manifold germ M into a smooth manifold N. A Whitney manifold germ is a smooth (in the interior) manifold with a very general boundary, but still admitting a continuous Whitney extension operator. This notion is developed here for the needs of geometric continuum mechanics.