Showing papers in "arXiv: Differential Geometry in 2019"

Abstract: We overview main topics and ideas in spaces with their scalar curvatures bounded from below, and present a more detailed exposition of several known and some new geometric constraints on Riemannian spaces implied by the lower bounds on their scalar curvatures

Abstract: We survey recent results on inverse problems for geodesic X-ray transforms and other linear and non-linear geometric inverse problems for Riemannian metrics, connections and Higgs fields defined on manifolds with boundary.

Abstract: We prove the following result: if a $\mathbb{Q}$-Fano variety is uniformly K-stable, then it admits a Kahler-Einstein metric. We achieve this by modifying Berman-Boucksom-Jonsson's strategy with appropriate perturbative arguments and non-Archimedean estimates. The idea of using the perturbation is motivated by our previous paper.

Abstract: In this paper, we prove the mean-convex neighborhood conjecture for neck singularities of the mean curvature flow in $\mathbb{R}^{n+1}$ for all $n\geq 3$: we show that if a mean curvature flow $\{M_t\}$ in $\mathbb{R}^{n+1}$ has an $S^{n-1}\times \mathbb{R}$ singularity at $(x_0,t_0)$, then there exists an $\varepsilon=\varepsilon(x_0,t_0)>0$ such that $M_t\cap B(x_0,\varepsilon)$ is mean-convex for all $t\in(t_0-\varepsilon^2,t_0+\varepsilon^2)$. As in the case $n=2$, which was resolved by the first three authors in arXiv:1810.08467, the existence of such a mean-convex neighborhood follows from classifying a certain class of ancient Brakke flows that arise as potential blowup limits near a neck singularity. Specifically, we prove that any ancient unit-regular integral Brakke flow with a cylindrical blowdown must be either a round shrinking cylinder, a translating bowl soliton, or an ancient oval. In particular, combined with a prior result of the last two authors, we obtain uniqueness of mean curvature flow through neck singularities. The main difficulty in addressing the higher dimensional case is in promoting the spectral analysis on the cylinder to global geometric properties of the solution. Most crucially, due to the potential wide variety of self-shrinking flows with entropy lower than the cylinder when $n\geq 3$, smoothness does not follow from the spectral analysis by soft arguments. This precludes the use of the classical moving plane method to derive symmetry. To overcome this, we introduce a novel variant of the moving plane method, which we call "moving plane method without assuming smoothness" - where smoothness and symmetry are established in tandem.

Abstract: Finite energy pluripotential theory accommodates the variational theory of equations of complex Monge-Ampere type arising in Kahler geometry. Recently it has been discovered that many of the potential spaces involved have a rich metric geometry, effectively turning the variational problems in question into problems of infinite dimensional convex optimization, yielding existence results for solutions of the underlying complex Monge-Ampere equations. The purpose of this survey is to describe these developments from basic principles.

Abstract: Let $X$ be any $\mathbb{Q}$-Fano variety and ${\rm Aut}(X)_0$ be the identity component of the automorphism group of $X$. Let $\mathbb{G}$ denote a connected reductive subgroup of ${\rm Aut}(X)_0$. We prove that if $X$ is $\mathbb{G}$-uniformly K-stable, then it admits a Kahler-Einstein metric. The converse of this result holds true if $\mathbb{G}$ contains a maximal torus of ${\rm Aut}(X)_0$. These results give generalized versions of Yau-Tian-Donaldson conjecture for arbitrary (singular) Fano varieties. A key new ingredient is a valuative criterion for the $\mathbb{G}$-uniform K-stability.

Abstract: Let $M$ be a compact Riemannian manifold and $h$ a smooth function on $M$. Let $\rho^h(x)=\inf_{|v|=1}\left(Ric_x(v,v)-2Hess(h)_x(v,v) \right)$. Here $Ric_x$ denotes the Ricci curvature at $x$ and $Hess(h)$ is the Hessian of $h$. Then $M$ has finite fundamental group if $\Delta ^h-\rho^h<0$. Here $\Delta ^h=: \Delta +2L_{ abla h}$ is the Bismut-Witten Laplacian. This leads to a quick proof of recent results on extension of Myers' theorem to manifolds with mostly positive curvature. There is also a similar result for noncompact manifolds.

Abstract: This is a preliminary version of our book. It goes up to the definition of dimension, which is about 30% of the material we plan to include. If you use it as a reference, do not forget to include the version number since the numbering will be changed.

Abstract: In this survey, we discuss some recent results on free boundary minimal surfaces in the Euclidean unit-ball. The subject has been a very active field of research in the past few years due to the seminal work of Fraser and Schoen on the extremal Steklov eigenvalue problem. We review several different techniques of constructing examples of embedded free boundary minimal surfaces in the unit ball. Next, we discuss some uniqueness results for free boundary minimal disks and the conjecture about the uniqueness of critical catenoid. We also discuss several Morse index estimates for free boundary minimal surfaces. Moreover, we describe estimates for the first Steklov eigenvalue on such free boundary minimal surfaces and various smooth compactness results. Finally, we mention some sharp area bounds for free boundary minimal submanifolds and related questions.

Abstract: We study closed ancient solutions to gradient flows of elliptic functionals in Riemannian manifolds, including mean curvature flow and harmonic map heat flow. Our work has various consequences. In all dimensions and codimensions, we classify ancient mean curvature flows in S^n with low area: they are steady or shrinking equatorial spheres. In the mean curvature flow case in S^3, we classify ancient flows with more relaxed area bounds: they are steady or shrinking equators or Clifford tori. In the embedded curve shortening case in S^2, we completely classify ancient flows of bounded length: they are steady or shrinking circles.

Abstract: We first bound the codimension of an ancient mean curvature flow by the entropy. As a consequence, all blowups lie in a Euclidean subspace whose dimension is bounded by the entropy and dimension of the evolving submanifolds. This drastically reduces the complexity of the system. Combined with \cite{CM12}, this gives the first general bounds on generic singularities of surfaces in arbitrary codimension. We also show sharp bounds for codimension in arguably some of the most important situations of ancient flows. Namely, we prove that in any dimension and codimension any ancient flow that is cylindrical at $-\infty$ must be a flow of hypersurfaces in a Euclidean subspace. This extends well-known classification results to higher codimension. The bound on the codimension in terms of the entropy is a special case of sharp bounds for spectral counting functions for shrinkers and, more generally, ancient flows. Shrinkers are solutions that evolve by scaling and are the singularity models for the flow. Finally, we show rigidity of cylinders as shrinkers in all dimension and all codimension in a very strong sense: Any shrinker, even in a large dimensional space, that is sufficiently close to a cylinder on a large enough, but compact, set is itself a cylinder. This is an important tool in the theory and is key for regularity; cf. \cite{CM8}.

Abstract: For a harmonic map $u:M^3\to S^1$ on a closed, oriented $3$--manifold, we establish the identity $$2\pi \int_{\theta\in S^1}\chi(\Sigma_{\theta})\geq \frac{1}{2}\int_{\theta\in S^1}\int_{\Sigma_{\theta}}(|du|^{-2}|Hess(u)|^2+R_M)$$ relating the scalar curvature $R_M$ of $M$ to the average Euler characteristic of the level sets $\Sigma_{\theta}=u^{-1}\{\theta\}$. As our primary application, we extend the Kronheimer--Mrowka characterization of the Thurston norm on $H_2(M;\mathbb{Z})$ in terms of $\|R_M^-\|_{L^2}$ and the harmonic norm to any closed $3$--manifold containing no nonseparating spheres. Additional corollaries include the Bray--Brendle--Neves rigidity theorem for the systolic inequality $(\min R_M)sys_2(M)\leq 8\pi$, and the well--known result of Schoen and Yau that $T^3$ admits no metric of positive scalar curvature.

Abstract: Author(s): Bamler, Richard H; Kleiner, Bruce | Abstract: We show that the space of metrics of positive scalar curvature on any 3-manifold is either empty or contractible. Second, we show that the diffeomorphism group of every 3-dimensional spherical space form deformation retracts to its isometry group. This proves the Generalized Smale Conjecture. Our argument is independent of Hatcher's theorem in the $S^3$ case and in particular it gives a new proof of the $S^3$ case.

Abstract: We prove a uniform diameter bound for long time solutions of the normalized Kahler-Ricci flow on an $n$-dimensional projective manifold $X$ with semi-ample canonical bundle under the assumption that the Ricci curvature is uniformly bounded for all time in a fixed domain containing a fibre of $X$ over its canonical model $X_{can}$. This assumption on the Ricci curvature always holds when the Kodaira dimension of $X$ is $n$, $n-1$ or when the general fibre of $X$ over its canonical model is a complex torus. In particular, the normalized Kahler-Ricci flow converges in Gromov-Hausdorff topolopy to its canonical model when $X$ has Kodaira dimension $1$ with $K_X$ being semi-ample and the general fibre of $X$ over its canonical model being a complex torus. We also prove the Gromov-Hausdorff limit of collapsing Ricci-flat Kahler metrics on a holomorphically fibred Calabi-Yau manifold is unique and is homeomorphic to the metric completion of the corresponding twisted Kahler-Einstein metric on the regular part of its base.

Abstract: In this paper, we prove a conjecture raised by Angella, Otal, Ugarte, and Villacampa recently, which states that if the Strominger connection (also known as Bismut connection) of a compact Hermitian manifold is K\"ahler-like, in the sense that its curvature tensor obeys all the symmetries of the curvature of a K\"ahler manifold, then the metric must be pluriclosed. Actually, we show that Strominger K\"ahler-like is equivalent to the pluriclosedness of the Hermitian metric plus the parallelness of the torsion, even without the compactness assumption.

Abstract: For any manifold with polynomial volume growth, we show: The dimension of the space of ancient caloric functions with polynomial growth is bounded by the degree of growth times the dimension of harmonic functions with the same growth. As a consequence, we get a sharp bound for the dimension of ancient caloric functions on any space where Yau's 1974 conjecture about polynomial growth harmonic functions holds.

Abstract: In this paper, we make progress on understanding the collapsing behavior of Calabi-Yau metrics on a degenerating family of polarized Calabi-Yau manifolds. In the case of a family of smooth Calabi-Yau hypersurfaces in projective space degenerating into the transversal union of two smooth Fano hypersurfaces in a generic way, we obtain a complete result in all dimensions establishing explicit and precise relationships between the metric collapsing and complex structure degenerations. This result is new even in complex dimension two. This is achieved via gluing and singular perturbation techniques, and a key geometric ingredient involving the construction of certain (not necessarily smooth) Kahler metrics with torus symmetry. We also discuss possible extensions of this result to more general settings.

Abstract: In this paper, we prove that for any Kahler metrics $\omega_0$ and $\chi$ on $M$, there exists $\omega_\varphi=\omega_0+\sqrt{-1}\partial\bar\partial\varphi>0$ satisfying the J-equation $\mathrm{tr}_{\omega_\varphi}\chi=c$ if and only if $(M,[\omega_0],[\chi])$ is uniformly J-stable. As a corollary, we can find many constant scalar curvature Kahler metrics with $c_1<0$. Using the same method, we also prove a similar result for the deformed Hermitian-Yang-Mills equation when the angle is in $(\frac{n\pi}{2}-\frac{\pi}{4},\frac{n\pi}{2})$.

Abstract: Some elementary considerations are presented concerning Catenoids and their stability, separable minimal hypersurfaces, minimal surfaces obtainable by rotating shapes, determinantal varieties, minimal tori in S3, the minimality in Rnk of the ordered set of k orthogonal equal-length n-vectors, and U(1)-invariant minimal 3-manifolds.

Abstract: We show that the causal-future-directed character of the energy-momentum vector of $n$-dimensional asymptotically hyperbolic Riemannian manifolds with spherical conformal infinity, $n\ge 3$, can be traced back to that of asymptotically Euclidean general-relativistic initial data sets satisfying the dominant energy condition.

Abstract: In this paper, we prove the conic version of YTD conjecture on log Fano manifolds.

Abstract: Singularities of the mean curvature flow of an embedded surface in R^3 are expected to be modelled on self-shrinkers that are compact, cylindrical, or asymptotically conical. In order to understand the flow before and after the singular time, it is crucial to know the uniqueness of tangent flows at the singularity. In all dimensions, assuming the singularity is multiplicity one, uniqueness in the compact case has been established by the second-named author, and in the cylindrical case by Colding-Minicozzi. We show here the uniqueness of multiplicity-one asymptotically conical tangent flows for mean curvature flow of hypersurfaces. In particular, this implies that when a mean curvature flow has a multiplicity-one conical singularity model, the evolving surface at the singular time has an (isolated) regular conical singularity at the singular point. This should lead to a complete understanding of how to "flow through" such a singularity.

Abstract: An explicit lower bound for the mass of an asymptotically flat Riemannian 3-manifold is given in terms of linear growth harmonic functions and scalar curvature. As a consequence, a new proof of the positive mass theorem is achieved in dimension three. The proof has parallels with both the Schoen-Yau minimal hypersurface technique and Witten's spinorial approach. In particular, the role of harmonic spinors and the Lichnerowicz formula in Witten's argument is replaced by that of harmonic functions and a formula introduced by the fourth named author in recent work, while the level sets of harmonic functions take on a role similar to that of the Schoen-Yau minimal hypersurfaces.

Abstract: We prove a Sobolev inequality which holds on submanifolds in Euclidean space of arbitrary dimension and codimension. This inequality is sharp if the codimension is at most 2. As a special case, we obtain a sharp isoperimetric inequality for minimal submanifolds in Euclidean space of codimension at most 2.

Abstract: We prove an existence result for the deformed Hermitian Yang-Mills equation for the full admissible range of the phase parameter, i.e., $\hat{\theta} \in (\frac{\pi}{2},\frac{3\pi}{2})$, on compact complex three-folds conditioned on a necessary subsolution condition. Our proof hinges on a delicate analysis of a new continuity path obtained by rewriting the equation as a generalised Monge-Ampere equation with mixed sign coefficients.

Abstract: In this paper, we show that a closed manifold $M^{n+1} (n \geq 7)$ endowed with a $C^\infty$-generic (Baire sense) metric contains infinitely many singular minimal hypersurfaces with optimal regularity. Moreover, for $2 \leq n \leq 6$, our argument also implies the denseness of the minimal hypersurfaces realizing min-max widths for generic metrics. This partially supports equidistribution of the minimal hypersurfaces realizing min-max widths conjectured by F.C. Marques, A. Neves and A. Song.

Abstract: Let $X$ be a compact Kahler manifold with a given ample line bundle $L$. In \cite{Don05}, Donaldson proved that the Calabi energy of a Kahler metric in $c_1(L)$ is bounded from below by the supremum of a normalized version of the minus Donaldson--Futaki invariants of test configurations of $(X,L)$. He also conjectured that the bound is sharp. In this paper, we prove a metric analogue of Donaldson's conjecture, we show that if we enlarge the space of test configurations to the space of geodesic rays in $\mathcal{E}^2$ and replace the Donaldson--Futaki invariant by the radial Mabuchi K-energy $\mathbf{M}$, then a similar bound holds and the bound is indeed sharp. Moreover, we construct explicitly a minimizer of $\mathbf{M}$. On a Fano manifold, a similar sharp bound for the Ricci--Calabi energy is also derived.

Abstract: In the present paper we use twistor theory in order to solve two problems related to harmonic maps from surfaces to Euclidean spheres $\mathbb{S}^n$. First, we propose a new approach to isoperimetric inequalities based on energy index. Using this approach we show that for any positive $k$, the $k$-th non-zero eigenvalue of the Laplacian on the real projective plane endowed with a metric of unit area, is maximized on the sequence of metrics converging to a union of $(k-1)$ identical copies of round sphere and a single round projective plane. This extends the results of P. Li and S.-T. Yau for $k=1$ (1982); N. Nadirashvili and A. Penskoi for $k=2$ (2018); and confirms the conjecture made in [KNPP]. Second, we improve the known upper bounds for the area index of minimal two-dimensional spheres and minimal projective planes in $\mathbb{S}^n$. In the course of the proof we establish a twistor correspondence for Jacobi fields, which could be of independent interest for the study of moduli space of harmonic maps.

Abstract: We give a twistorial interpretation of geometric structures on a Riemannian manifold, as sections of homogeneous fibre bundles, following an original insight by Wood (2003). The natural Dirichlet energy induces an abstract harmonicity condition, which gives rise to a geometric gradient flow. We establish a number of analytic properties for this flow, such as uniqueness, smoothness, short-time existence, and some sufficient conditions for long-time existence. This description potentially subsumes a large class of geometric PDE problems from different contexts. As applications, we recover and unify a number of results in the literature: for the isometric flow of ${\rm G}_2$-structures, by Grigorian (2017, 2019), Bagaglini (2019), and Dwivedi-Gianniotis-Karigiannis (2019); and for harmonic almost complex structures, by He (2019) and He-Li (2019). Our theory also establishes original properties regarding harmonic flows of parallelisms and almost contact structures.

Abstract: For a homotopically energy-minimizing map $u: N^3\to S^1$ on a compact, oriented $3$-manifold $N$ with boundary, we establish an identity relating the average Euler characteristic of the level sets $u^{-1}\{\theta\}$ to the scalar curvature of $N$ and the mean curvature of the boundary $\partial N$. As an application, we obtain some natural geometric estimates for the Thurston norm on $3$-manifolds with boundary, generalizing results of Kronheimer-Mrowka and the second named author from the closed setting. By combining these techniques with results from minimal surface theory, we obtain moreover a characterization of the Thurston norm via scalar curvature and the harmonic norm for general closed, oriented three-manifolds, extending Kronheimer and Mrowka's characterization for irreducible manifolds to arbitrary topologies.