Showing papers in "arXiv: Differential Geometry in 2021"

Kodaira Dimension and the Yamabe Problem, II

Abstract: For compact complex surfaces (M^4, J) of Kaehler type, it was previously shown that the sign of the Yamabe invariant Y(M) only depends on the Kodaira dimension Kod (M, J). In this paper, we prove that this pattern in fact extends to all compact complex surfaces except those of class VII. In the process, we give a simplified proof of a result that explains why the exclusion of class VII is essential here.

Constrained deformations of positive scalar curvature metrics, II

Abstract: We prove that various spaces of constrained positive scalar curvature metrics on compact 3-manifolds with boundary, when not empty, are contractible. The constraints we mostly focus on are given in terms of local conditions on the mean curvature of the boundary, and our treatment includes both the mean-convex and the minimal case. We then discuss the implications of these results on the topology of different subspaces of asymptotically flat initial data sets for the Einstein field equations in general relativity.

Scalar and mean curvature comparison via the Dirac operator

Abstract: We use the Dirac operator technique to establish sharp distance estimates for compact spin manifolds under lower bounds on the scalar curvature in the interior and on the mean curvature of the boundary. In the situations we consider, we thereby give refined answers to questions on metric inequalities recently proposed by Gromov. This includes optimal estimates for Riemannian bands and for the long neck problem. In the case of bands over manifolds of non-vanishing $\widehat{\mathrm{A}}$-genus, we establish a rigidity result stating that any band attaining the predicted upper bound is isometric to a particular warped product over some spin manifold admitting a parallel spinor. Furthermore, we establish scalar- and mean curvature extremality results for certain log-concave warped products. The latter includes annuli in all simply-connected space forms. On a technical level, our proofs are based on new spectral estimates for the Dirac operator augmented by a Lipschitz potential together with local boundary conditions.

Boundary Conditions for Scalar Curvature

Abstract: Based on the Atiyah-Patodi-Singer index formula, we construct an obstruction to positive scalar curvature metrics with mean convex boundaries on spin manifolds of infinite K-area. We also characterize the extremal case. Next we show a general deformation principle for boundary conditions of metrics with lower scalar curvature bounds. This implies that the relaxation of boundary conditions often induces weak homotopy equivalences of spaces of such metrics. This can be used to refine the smoothing of codimension-one singularites a la Miao and the deformation of boundary conditions a la Brendle-Marques-Neves, among others. Finally, we construct compact manifolds for which the spaces of positive scalar curvature metrics with mean convex boundaries have nontrivial higher homotopy groups.

Random hyperbolic surfaces of large genus have first eigenvalues greater than $\frac{3}{16}-\epsilon$

Abstract: Let $M_g$ be the moduli space of hyperbolic surfaces of genus $g$ endowed with the Weil-Petersson metric In this paper, we show that for any $\epsilon>0$, as genus $g$ goes to infinity, a generic surface $X\in M_g$ satisfies that the first eigenvalue $\lambda_1(X)>\frac{3}{16}-\epsilon$

The SYZ mirror symmetry conjecture for del Pezzo surfaces and rational elliptic surfaces

Abstract: We prove the Strominger-Yau-Zaslow mirror symmetry conjecture for non-compact Calabi-Yau surfaces arising from, on the one hand, pairs $(\check{Y},\check{D})$ of a del Pezzo surface $\check{Y}$ and $\check{D}$ a smooth anti-canonical divisor and, on the other hand, pairs $(Y,D)$ of a rational elliptic surface $Y$, and $D$ a singular fiber of Kodaira type $I_k$. Three main results are established concerning the latter pairs $(Y,D)$. First, adapting work of Hein, we prove the existence of a complete Calabi-Yau metric on $Y\setminus D$ asymptotic to a (generically non-standard) semi-flat metric in every K\"ahler class. Secondly, we prove an optimal uniqueness theorem to the effect that, modulo automorphisms, every K\"ahler class on $Y\setminus D$ admits a unique asymptotically semi-flat Calabi-Yau metric. This result yields a finite dimensional K\"ahler moduli space of Calabi-Yau metrics on $Y\setminus D$. Further, this result answers a question of Tian-Yau and settles a folklore conjecture of Yau in this setting. Thirdly, we prove that $Y\setminus D$ equipped with an asymptotically semi-flat Calabi-Yau metric $\omega_{CY}$ admits a special Lagrangian fibration whenever the de Rham cohomology class of $\omega_{CY}$ is not topologically obstructed. Combining these results we define a mirror map from the moduli space of del Pezzo pairs $(\check{Y}, \check{D})$ to the complexified K\"ahler moduli of $(Y,D)$ and prove that the special Lagrangian fibration on $(Y,D)$ is $T$-dual to the special Lagrangian fibration on $(\check{Y}, \check{D})$ previously constructed by the authors. We give some applications of these results, including to the study of automorphisms of del Pezzo surfaces fixing an anti-canonical divisor.

A Class of Eternal Solutions to the G_2-Laplacian Flow

Abstract: We explicitly describe the solution of the G$_2$-Laplacian flow starting from an extremally Ricci-pinched closed G$_2$-structure on a compact 7-manifold and we investigate its properties. In particular, we show that the solution exists for all real times and that it remains extremally Ricci-pinched. This result holds more generally on any 7-manifold whenever the intrinsic torsion of the extremally Ricci-pinched G$_2$-structure has constant norm. We also discuss various examples.

Null distance and convergence of Lorentzian length spaces

Abstract: The null distance of Sormani and Vega encodes the manifold topology as well as the causality structure of a (smooth) spacetime. We extend this concept to Lorentzian length spaces, the analog of (metric) length spaces, which generalize Lorentzian causality theory beyond the manifold level. We then study Gromov-Hausdorff convergence based on the null distance in warped product Lorentzian length spaces and prove first results on its compatibility with synthetic curvature bounds.

Constrained Willmore Surfaces: Symmetries of a Möbius Invariant Integrable System

Abstract: From Backlund to Darboux, this monograph presents a comprehensive journey through the transformation theory of constrained Willmore surfaces, a topic of great importance in modern differential geometry and, in particular, in the field of integrable systems in Riemannian geometry. The first book on this topic, it discusses in detail a spectral deformation, Backlund transformations and Darboux transformations, and proves that all these transformations preserve the existence of a conserved quantity, defining, in particular, transformations within the class of constant mean curvature surfaces in 3-dimensional space-forms, with, furthermore, preservation of both the space-form and the mean curvature, and bridging the gap between different approaches to the subject, classical and modern. Clearly written with extensive references, chapter introductions and self-contained accounts of the core topics, it is suitable for newcomers to the theory of constrained Wilmore surfaces. Many detailed computations and new results unavailable elsewhere in the literature make it also an appealing reference for experts.

A quantization proof of the uniform Yau-Tian-Donaldson conjecture

Abstract: Using quantization techniques, we show that the $\delta$-invariant of Fujita-Odaka coincides with the optimal exponent in certain Moser-Trudinger type inequality. Consequently we obtain a uniform Yau-Tian-Donaldson theorem for the existence of twisted Kahler-Einstein metrics with arbitrary polarizations. Our approach mainly uses pluripotential theory, which does not involve Cheeger-Colding-Tian theory or the non-Archimedean language. A new computable criterion for the existence of constant scalar curvature Kahler metrics is also given.

Variations on the Tait-Kneser theorem

Abstract: The Tait-Kneser theorem, first demonstrated by Peter G. Tait in 1896, states that the osculating circles along a plane curve with monotone non-vanishing curvature are pairwise disjoint and nested. This note contains a proof of this theorem using the Lorentzian geometry of the space of circles. We show how a similar proof applies to two variations on the theorem, concerning the osculating Hooke and Kepler conics along a plane curve. We also prove a version of the 4-vertex theorem for Kepler conics.

Scalar curvature and the moment map in generalized Kahler geometry

Abstract: We introduce a notion of scalar curvature of a twisted generalized Kahler manifold in terms of pure spinors formalism. A moment map framework with a modified action of generalized Hamiltonians on an arbitrary compact generalized Kahler manifold is developed. Then it turns out that a moment map is given by the scalar curvature, which is a generalization of the result of the scalar curvature as a moment map in the ordinary Kahler geometry, due to Fujiki and Donaldson. A noncommutative compact Lie group $G$ does not have any Kahler structure. However, we show that every compact Lie group admits generalized Kahler structures with constant scalar curvature. In particular, generalized Kahler structures with constant scalar curvature on the standard Hopf surface are explicitly given.

Almost Kähler Kodaira-Spencer problem

Abstract: We show that the almost complex Hodge number $h^{0,1}$ varies with different choices of almost Kahler metrics. This answers the almost Kahler version of a question of Kodaira and Spencer.

On the stability of homogeneous Einstein manifolds II

Abstract: For any $G$-invariant metric on a compact homogeneous space $M=G/K$, we give a formula for the Lichnerowicz Laplacian restricted to the space of all $G$-invariant symmetric $2$-tensors in terms of the structural constants of $G/K$. As an application, we compute the $G$-invariant spectrum of the Lichnerowicz Laplacian for all the Einstein metrics on most generalized Wallach spaces and any flag manifold with $b_2(M)=1$. This allows to deduce the $G$-stability and critical point types of each of such Einstein metrics as a critical point of the scalar curvature functional.

Kenmotsu metric as conformal $\eta$-Ricci soliton

Abstract: The object of the present paper is to characterize the class of Kenmotsu manifolds which admits conformal $\eta$-Ricci soliton. Here, we have investigated the nature of the conformal $\eta$-Ricci soliton within the framework of Kenmotsu manifolds. It is shown that an $\eta$-Einstein Kenmotsu manifold admitting conformal $\eta$-Ricci soliton is an Einstein one. Moving further, we have considered gradient conformal $\eta$-Ricci soliton on Kenmotsu manifold and established a relation between the potential vector field and the Reeb vector field. Next, it is proved that under certain condition, a conformal $\eta$-Ricci soliton on Kenmotu manifolds under generalized D-conformal deformation remains invariant. Finally, we have constructed an example for the existence of conformal $\eta$-Ricci soliton on Kenmotsu manifold.

Geometrical structure in a perfect fluid spacetime with conformal Ricci-Yamabe soliton

Abstract: The present paper is to deliberate the geometric composition of a perfect fluid spacetime with torse-forming vector field {\xi} in connection with conformal Ricci-Yamabe metric and conformal {\eta}-Ricci-Yamabe metric. Here we have delineated the conditions for conformal Ricci-Yamabe soliton to be expanding, steady, or shrinking. Later, we have acquired Laplace equation from conformal {\eta}-Ricci-Yamabe soliton equation when the potential vector field {\xi} of the soliton is of gradient type. Lastly, we have designated perfect fluid with Robertson-Walker spacetime and some applications of physics and gravity.

Geometric inequalities for static convex domains in hyperbolic space

Abstract: We prove that the static convexity is preserved along two kinds of locally constrained curvature flows in hyperbolic space. Using the static convexity of the flow hypersurfaces, we prove new family of geometric inequalities for such hypersurfaces in hyperbolic space.

Higher complex structures and flat connections

Abstract: In [FT19], Vladimir Fock and the author introduced a new geometric structure on surfaces, called higher complex structure, whose moduli space is conjecturally diffeomorphic to Hitchin's component. This would give a new geometric approach to higher Teichmuller theory. In this paper, we prove several steps towards this conjecture and give a precise picture what has to be done. We show that higher complex structures can be deformed to flat connections. More precisely we show that the cotangent bundle of the moduli space of higher complex structures can be included into a 1-parameter family of spaces of flat connections.

A rigidity estimate for maps from S2 to S2 via the harmonic map flow

Abstract: We show how a rigidity estimate introduced in recent work of Bernand-Mantel, Muratov and Simon can be derived using the harmonic map flow.

Maximally non-integrable almost complex structures: an $h$-principle and cohomological properties

Abstract: We study almost complex structures with lower bounds on the rank of the Nijenhuis tensor. Namely, we show that they satisfy an $h$-principle. As a consequence, all parallelizable manifolds and all manifolds of dimension $2n\geq 10$ (respectively $\geq 6$) admit a almost complex structure whose Nijenhuis tensor has maximal rank everywhere (resp. is nowhere trivial). For closed $4$-manifolds, the existence of such structures is characterized in terms of topological invariants. Moreover, we show that the Dolbeault cohomology of non-integrable almost complex structures is often infinite dimensional (even on compact manifolds).

Schwarz-Pick lemma for harmonic maps which are conformal at a point

Abstract: We obtain a sharp estimate on the norm of the differential of a harmonic map from the unit disc $\mathbb D$ in $\mathbb C$ to the unit ball $\mathbb B^n$ in $\mathbb R^n$, $n\ge 2$, at any point where the map is conformal. In dimension $n=2$ this generalizes the classical Schwarz-Pick lemma to harmonic maps $\mathbb D\to\mathbb D$ which are conformal at the reference point, but not necessarily elsewhere. In dimensions $n\ge 3$ it gives the optimal Schwarz-Pick lemma for conformal minimal discs $\mathbb D\to \mathbb B^n$. Let $\mathcal M$ denote the restriction of the Kobayashi metric on the complex $n$-ball to the real $n$-ball $\mathbb B^n$. We show that conformal harmonic immersions from any hyperbolic open Riemann surface with its natural Poincare metric to the ball $\mathbb B^n$ with the minimal metric are distance-decreasing, and the extremal maps are precisely the conformal embeddings of the disc $\mathbb D$ onto affine discs in $\mathbb B^n$.

Isoperimetric sets in spaces with lower bounds on the Ricci curvature

Abstract: In this paper we study regularity and topological properties of volume constrained minimizers of quasi-perimeters in $\sf RCD$ spaces where the reference measure is the Hausdorff measure. A quasi-perimeter is a functional given by the sum of the usual perimeter and of a suitable continuous term. In particular, isoperimetric sets are a particular case of our study. We prove that on an ${\sf RCD}(K,N)$ space $({\rm X},{\sf d},\mathcal{H}^N)$, with $K\in\mathbb R$, $N\geq 2$, and a uniform bound from below on the volume of unit balls, volume constrained minimizers of quasi-perimeters are open bounded sets with $(N-1)$-Ahlfors regular topological boundary coinciding with the essential boundary. The proof is based on a new Deformation Lemma for sets of finite perimeter in ${\sf RCD}(K,N)$ spaces $({\rm X},{\sf d},\mathfrak m)$ and on the study of interior and exterior points of volume constrained minimizers of quasi-perimeters. The theory applies to volume constrained minimizers in smooth Riemannian manifolds, possibly with boundary, providing a general regularity result for such minimizers in the smooth setting.

Large area-constrained Willmore surfaces in asymptotically Schwarzschild 3-manifolds.

Abstract: We apply the method of Lyapunov-Schmidt reduction to study large area-constrained Willmore surfaces in Riemannian 3-manifolds asymptotic to Schwarzschild. In particular, we prove that the end of such a manifold is foliated by distinguished area-constrained Willmore spheres. The leaves are the unique area-constrained Willmore spheres with large area, non-negative Hawking mass, and distance to the center of the manifold at least a small multiple of the area radius. Unlike previous related work, we only require that the scalar curvature satisfies mild asymptotic conditions. We also give explicit examples to show that these conditions on the scalar curvature are necessary.

A Liouville-type theorem for stable minimal hypersurfaces

Abstract: We prove that if $M$ is a strictly stable complete minimal hypersurface in Euclidean space with finite density at infinity and which lies on one side of a minimal cylinder with cross-section a strictly stable area minimizing hypercone, then $M$ must be cylindrical. Applications will be given in the references [Sim20a], [Sim20b].

Geometric convergence results for closed minimal surfaces via bubbling analysis

Abstract: We present some geometric applications, of global character, of the bubbling analysis developed by Buzano and Sharp for closed minimal surfaces, obtaining smooth multiplicity one convergence results under upper bounds on the Morse index and suitable lower bounds on either the genus or the area. For instance, we show that given any Riemannian metric of positive scalar curvature on the three-dimensional sphere the class of embedded minimal surfaces of index one and genus $\gamma$ is sequentially compact for any $\gamma\geq 1$. Furthemore, we give a quantitative description of how the genus drops as a sequence of minimal surfaces converges smoothly, with mutiplicity $m\geq 1$, away from finitely many points where curvature concentration may happen. This result exploits a sharp estimate on the multiplicity of convergence in terms of the number of ends of the bubbles that appear in the process.

Ancient Ricci flows with asymptotic solitons

Abstract: We study ancient Ricci flows which admit asymptotic solitons in the sense of Perelman. We prove that the asymptotic solitons must coincide with Bamler's tangent flows at infinity. Furthermore, we show that Perelman's $ u$-functional is uniformly bounded on such ancient solutions; this fact leads to logarithmic Sobolev inequalities and Sobolev inequalities. Lastly, as an important tool for the proofs of the above results, we also show that, for a complete Ricci flow with bounded curvature, the bound of the Nash entropy depends only on the local geometry around an $H_n$-center of its base point.

Uniqueness of compact ancient solutions to the higher dimensional Ricci flow

Abstract: In this paper, we study the classification of $\kappa$-noncollapsed ancient solutions to n-dimensional Ricci flow on $S^n$, extending the result in [13] to higher dimensions. 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.

A flow approach to the Musielak-Orlicz-Gauss image problem

Abstract: In this paper, the extended Musielak-Orlicz-Gauss image problem is studied. Such a problem aims to characterize the Musielak-Orlicz-Gauss image measure $\widetilde{C}_{G,\Psi,\lambda}(\Omega,\cdot)$ of convex body $\Omega$ in $\mathbb{R}^{n+1}$ containing the origin (but the origin is not necessary in its interior). In particular, we provide solutions to the extended Musielak-Orlicz-Gauss image problem based on the study of suitably designed parabolic flows, and by the use of approximation technique (for general measures). Our parabolic flows involve two Musielak-Orlicz functions and hence contain many well-studied curvature flows related to Minkowski type problems as special cases. Our results not only generalize many previously known solutions to the Minkowski type and Gauss image problems, but also provide solutions to those problems in many unsolved cases.

Hyperbolic mass via horospheres

Abstract: We derive geometric formulas of the mass for asymptotically hyperbolic manifolds using large coordinate horospheres, and state relevant rigidity results. The formulas use the difference between the mean curvatures with respect to a given metric and the hyperbolic metric, so some rigidity results are stated in terms of the mean curvature inequality on a certain portion of horospheres. We also present a way to characterize the region near infinity that does not contribute to the mass as an application.

A quantitative relative index theorem and Gromov's conjectures on positive scalar curvature

Abstract: In this paper, we prove a quantitative relative index theorem. It provides a conceptual framework for studying some conjectures and open questions of Gromov on positive scalar curvature. More precisely, we prove a $\lambda$-Lipschitz rigidity theorem for (possibly incomplete) Riemannian metrics on spheres with certain types of subsets removed. This $\lambda$-Lipschitz rigidity theorem is asymptotically optimal. As a consequence, we obtain an asymptotically optimal $\lambda$-Lipschitz rigidity theorem for positive scalar curvature metrics on hemispheres. These give positive answers to the corresponding open questions raised by Gromov. As another application, we prove Gromov's $\square^{n-m}$ inequality on the bound of distances between opposite faces of spin manifolds with cube-like boundaries with a suboptimal constant. As immediate consequences, this implies Gromov's cube inequality on the bound of widths of Riemannian cubes and Gromov's conjecture on the bound of widths of Riemannian bands with suboptimal constants. Further geometric applications will be discussed in a forthcoming paper.