Showing papers in "arXiv: Differential Geometry in 2017"

Positive Scalar Curvature and Minimal Hypersurface Singularities

Abstract: In this paper we develop methods to extend the minimal hypersurface approach to positive scalar curvature problems to all dimensions. This includes a proof of the positive mass theorem in all dimensions without a spin assumption. It also includes statements about the structure of compact manifolds of positive scalar curvature extending the work of \cite{sy1} to all dimensions. The technical work in this paper is to construct minimal slicings and associated weight functions in the presence of small singular sets and to show that the singular sets do not become too large in the lower dimensional slices. It is shown that the singular set in any slice is a closed set with Hausdorff codimension at least three. In particular for arguments which involve slicing down to dimension $1$ or $2$ the method is successful. The arguments can be viewed as an extension of the minimal hypersurface regularity theory to this setting of minimal slicings.

Local and global boundary rigidity and the geodesic X-ray transform in the normal gauge

Abstract: In this paper we analyze the local and global boundary rigidity problem for general Riemannian manifolds with boundary $(M,g)$. We show that the boundary distance function, i.e., $d_g|_{\partial M\times\partial M}$, known near a point $p\in \partial M$ at which $\partial M$ is strictly convex, determines $g$ in a suitable neighborhood of $p$ in $M$, up to the natural diffeomorphism invariance of the problem. We also consider the closely related lens rigidity problem which is a more natural formulation if the boundary distance is not realized by unique minimizing geodesics. The lens relation measures the point and the direction of exit from $M$ of geodesics issued from the boundary and the length of the geodesic. The lens rigidity problem is whether we can determine the metric up to isometry from the lens relation. We solve the lens rigidity problem under the assumption that there is a function on $M$ with suitable convexity properties relative to $g$. This can be considered as a complete solution of a problem formulated first by Herglotz in 1905. We also prove a semi-global results given semi-global data. This shows, for instance, that simply connected manifolds with strictly convex boundaries are lens rigid if the sectional curvature is non-positive or non-negative or if there are no focal points. The key tool is the analysis of the geodesic X-ray transform on 2-tensors, corresponding to a metric $g$, in the normal gauge, such as normal coordinates relative to a hypersurface, where one also needs to allow weights. This is handled by refining and extending our earlier results in the solenoidal gauge.

Letters to Alan Weinstein about Courant algebroids

Abstract: These letters, written in 1998-2000, contain various basic results about Courant algebroids (CAs), such as classification of exact and transitive CAs, reduction of CAs, description in terms of symplectic dg manifolds, a canonical generating Dirac operator, and a relation with Poisson-Lie T-duality.

Comparative analysis of two discretizations of Ricci curvature for complex networks

Abstract: We have performed an empirical comparison of two distinct notions of discrete Ricci curvature for graphs or networks, namely, the Forman-Ricci curvature and Ollivier-Ricci curvature. Importantly, these two discretizations of the Ricci curvature were developed based on different properties of the classical smooth notion, and thus, the two notions shed light on different aspects of network structure and behavior. Nevertheless, our extensive computational analysis in a wide range of both model and real-world networks shows that the two discretizations of Ricci curvature are highly correlated in many networks. Moreover, we show that if one considers the augmented Forman-Ricci curvature which also accounts for the two-dimensional simplicial complexes arising in graphs, the observed correlation between the two discretizations is even higher, especially, in real networks. Besides the potential theoretical implications of these observations, the close relationship between the two discretizations has practical implications whereby Forman-Ricci curvature can be employed in place of Ollivier-Ricci curvature for faster computation in larger real-world networks whenever coarse analysis suffices.

The geometry of maximal representations of surface groups into SO(2,n)

Abstract: In this paper, we study the geometric and dynamical properties of maximal representations of surface groups into Hermitian Lie groups of rank 2. Combining tools from Higgs bundle theory, the theory of Anosov representations, and pseudo-Riemannian geometry, we obtain various results of interest. We prove that these representations are holonomies of certain geometric structures, recovering results of Guichard and Wienhard. We also prove that their length spectrum is uniformly bigger than that of a suitably chosen Fuchsian representation, extending a previous work of the second author. Finally, we show that these representations preserve a unique minimal surface in the symmetric space, extending a theorem of Labourie for Hitchin representations in rank 2.

The deformed Hermitian-Yang-Mills equation in geometry and physics

Abstract: We provide an introduction to the mathematics and physics of the deformed Hermitian-Yang-Mills equation, a fully nonlinear geometric PDE on Kahler manifolds which plays an important role in mirror symmetry. We discuss the physical origin of the equation, and some recent progress towards its solution. In dimension 3 we prove a new Chern number inequality and discuss the relationship with algebraic stability conditions.

An isoperimetric inequality for Laplace eigenvalues on the sphere

Abstract: We show that for any positive integer k, the k-th nonzero eigenvalue of the Laplace-Beltrami operator on the two-dimensional sphere endowed with a Riemannian metric of unit area, is maximized in the limit by a sequence of metrics converging to a union of k touching identical round spheres. This proves a conjecture posed by the second author in 2002 and yields a sharp isoperimetric inequality for all nonzero eigenvalues of the Laplacian on a sphere. Earlier, the result was known only for k=1 (J. Hersch, 1970), k=2 (N. Nadirashvili, 2002; R. Petrides, 2014) and k=3 (N. Nadirashvili and Y. Sire, 2017). In particular, we argue that for any k>=2, the supremum of the k-th nonzero eigenvalue on a sphere of unit area is not attained in the class of Riemannian metrics which are smooth outsitde a finite set of conical singularities. The proof uses certain properties of harmonic maps between spheres, the key new ingredient being a bound on the harmonic degree of a harmonic map into a sphere obtained by N. Ejiri.

Adiabatic Limits of Co-associative Kovalev–Lefschetz Fibrations

Abstract: We study co-associative fibrations of G 2-manifolds. We propose that the adiabatic limit of this structure should be given locally by a maximal submanifold in a space of indefinite signature and set up global versions of the constructions.

Local mollification of Riemannian metrics using Ricci flow, and Ricci limit spaces

Abstract: We use Ricci flow to obtain a local bi-Holder correspondence between Ricci limit spaces in three dimensions and smooth manifolds. This is more than a complete resolution of the three-dimensional case of the conjecture of Anderson-Cheeger-Colding-Tian, describing how Ricci limit spaces in three dimensions must be homeomorphic to manifolds, and we obtain this in the most general, locally non-collapsed case. The proofs build on results and ideas from recent papers of Hochard and the current authors.

Free Boundary Minimal Surfaces in the Unit Three-Ball via Desingularization of the Critical Catenoid and the Equatorial Disk

Abstract: We construct a new family of high genus examples of free boundary minimal surfaces in the Euclidean unit 3-ball by desingularizing the intersection of a coaxial pair of a critical catenoid and an equatorial disk. The surfaces are constructed by singular perturbation methods and have three boundary components. They are the free boundary analogue of the Costa-Hoffman-Meeks surfaces and the surfaces constructed by Kapouleas by desingularizing coaxial catenoids and planes. It is plausible that the minimal surfaces we constructed here are the same as the ones obtained recently by Ketover using the min-max method.

On the Yau-Tian-Donaldson conjecture for singular Fano varieties

Abstract: We prove the Yau-Tian-Donaldson's conjecture for any $\mathbb{Q}$-Fano variety that has a log smooth resolution of singularities such that the discrepancies of all exceptional divisors are non-positive. In other words, if such a Fano variety is K-polystable, then it admits a Kahler-Einstein metric. This extends the previous result for smooth Fano varieties to this class of singular $\mathbb{Q}$-Fano varieties, which include those admitting crepant log resolutions.

Fully non-linear parabolic equations on compact Hermitian manifolds

Abstract: A notion of parabolic C-subsolutions is introduced for parabolic equations, extending the theory of C-subsolutions recently developed by B. Guan and more specifically G. Sz\'ekelyhidi for elliptic equations. The resulting parabolic theory provides a convenient unified approach for the study of many geometric flows.

Free-boundary minimal surfaces with connected boundary in the $3$-ball by tripling the equatorial disc

Abstract: In the Euclidean unit three-ball, we construct compact, embedded, two-sided free boundary minimal surfaces with connected boundary and prescribed high genus, by a gluing construction tripling the equatorial disc. Aside from the equatorial disc itself, these are the first examples in the three-ball of compact free boundary minimal surfaces with connected boundary.

The Ricci flow under almost non-negative curvature conditions

Abstract: We generalize most of the known Ricci flow invariant non-negative curvature conditions to less restrictive negative bounds that remain sufficiently controlled for a short time. As an illustration of the contents of the paper, we prove that metrics whose curvature operator has eigenvalues greater than $-1$ can be evolved by the Ricci flow for some uniform time such that the eigenvalues of the curvature operator remain greater than $-C$. Here the time of existence and the constant $C$ only depend on the dimension and the degree of non-collapsedness. We obtain similar generalizations for other invariant curvature conditions, including positive biholomorphic curvature in the Kaehler case. We also get a local version of the main theorem. As an application of our almost preservation results we deduce a variety of gap and smoothing results of independent interest, including a classification for non-collapsed manifolds with almost non-negative curvature operator and a smoothing result for singular spaces coming from sequences of manifolds with lower curvature bounds. We also obtain a short-time existence result for the Ricci flow on open manifolds with almost non-negative curvature (without requiring upper curvature bounds).

The Ding Functional, Berndtsson Convexity and Moment Maps

Abstract: The paper discusses the formal structure of the Kahler–Einstein equations over Fano manifolds, introducing a “moment map” interpretation. The key is a result of Berndtsson, which leads to a metric on the space of almost-complex structures. An application to the Kahler–Ricci flow is given.

Uniqueness and stability of Ricci flow through singularities

Abstract: Author(s): Bamler, Richard H; Kleiner, Bruce | Abstract: We verify a conjecture of Perelman, which states that there exists a canonical Ricci flow through singularities starting from an arbitrary compact Riemannian 3-manifold. Our main result is a uniqueness theorem for such flows, which, together with an earlier existence theorem of Lott and the second named author, implies Perelman's conjecture. We also show that this flow through singularities depends continuously on its initial condition and that it may be obtained as a limit of Ricci flows with surgery. Our results have applications to the study of diffeomorphism groups of three manifolds --- in particular to the Generalized Smale Conjecture --- which will appear in a subsequent paper.

A Construction of Infinitely Many Solutions to the Strominger System

Abstract: In this paper we construct explicit smooth solutions to the Strominger system on generalized Calabi-Gray manifolds, which are compact non-Kahler Calabi-Yau 3-folds with infinitely many distinct topological types and sets of Hodge numbers.

On the constant scalar curvature K\"ahler metrics, apriori estimates

Abstract: In this paper, we derive apriori estimates for constant scalar curvature Kahler metrics on a compact Kahler manifold. We show that higher order derivatives can be estimated in terms of a $C^0$ bound for the Kahler potential. We also discuss some local versions of these estimates which can be of independent interest.

Explicit Gromov-Hausdorff compactifications of moduli spaces of K\"ahler-Einstein Fano manifolds

Abstract: We exhibit the first non-trivial concrete examples of Gromov-Hausdorff compactifications of moduli spaces of Kahler-Einstein Fano manifolds in all complex dimensions bigger than two (Fano K-moduli spaces). We also discuss potential applications to explicit study of moduli spaces of K-stable Fano manifolds with large anti-canonical volume. Our arguments are based on recent progress about the geometry of metric tangent cones and on related ideas about the algebro-geometric study of singularities of K-stable Fano varieties.

Complete translating solitons to the mean curvature flow in $\mathbb{R}^3$ with nonnegative mean curvature

Abstract: We prove that any complete immersed two-sided mean convex translating soliton $\Sigma \subset \mathbb{R}^3$ for the mean curvature flow is convex. As a corollary it follows that an entire mean convex graphical translating soliton in $\mathbb{R}^3$ is the axisymmetric "bowl soliton". We also show that if the mean curvature of $\Sigma$ tends to zero at infinity, then $\Sigma$ can be represented as an entire graph and so is the "bowl soliton". Finally we classify all locally strictly convex graphical translating solitons defined over strip regions.

Uniqueness of convex ancient solutions to mean curvature flow in $\mathbb{R}^3$

Abstract: A well-known question of Perelman concerns the classification of noncompact ancient solutions to the Ricci flow in dimension $3$ which have positive sectional curvature and are $\kappa$-noncollapsed. In this paper, we solve the analogous problem for mean curvature flow in $\mathbb{R}^3$, and prove that the rotationally symmetric bowl soliton is the only noncompact ancient solution of mean curvature flow in $\mathbb{R}^3$ which is strictly convex and noncollapsed.

Clifford Algebras I

Abstract: Let V be a finite dimensional vector space over a field F of characteristic different from 2, and let Q be a nondegenerate, symmetric, bilinear form on V. Let C\ell(V,Q) be the Clifford algebra determined by V and Q. The bilinear form Q extends in a natural way to a nondegenerate, symmetric, bilinear form \overline{Q} on C\ell(V,Q). Let G be the group of isometries of C\ell(V,Q) relative to \overline{Q}, and let LG be the Lie algebra of infinitesimal isometries of C\ell(V,Q) relative to \overline{Q}. We derive some basic structural information about LG, and we compute G in the case that F = R, V = R^{n} and Q is positive definite on R^{n}. In a sequel to this paper we determine LG in the case that F = R, V = R^{n} and Q is nondegenerate on R^{n}.

[116] Equivariant Characteristic Classes in the Cartan Model

Abstract: There is also a differential geometric definition of equivariant characteristic classes in terms of the curvature of a connection on P (3)(4) However, there does not seem to be an explanation or justification in the literature bridging the two approaches The modest purpose of this note is to show the compatibility of the usual differential geometric formulation of equivariant characteristic classes with the topological one We have also tried to be as self-contained as possible, which partly explains the length of this article

Ollivier Ricci curvature for general graph Laplacians: Heat equation, Laplacian comparison, non-explosion and diameter bounds

Abstract: Discrete time random walks on a finite set naturally translate via a one-to-one correspondence to discrete Laplace operators. Typically, Ollivier curvature has been investigated via random walks. We first extend the definition of Ollivier curvature to general weighted graphs and then give a strikingly simple representation of Ollivier curvature using the graph Laplacian. Using the Laplacian as a generator of a continuous time Markov chain, we connect Ollivier curvature with the heat equation which is strongly related to continuous time random walks. In particular, we prove that a lower bound on the Ollivier curvature is equivalent to a certain Lipschitz decay of solutions to the heat equation. This is a discrete analogue to a celebrated Ricci curvature lower bound characterization by Renesse and Sturm. Our representation of Ollivier curvature via the Laplacian allows us to deduce a Laplacian comparison principle by which we prove non-explosion and improved diameter bounds.

Solitons and geometrical structures in a perfect fluid spacetime

Abstract: Geometrical aspects of a perfect fluid spacetime are described in terms of different curvature tensors and $\eta$-Ricci and $\eta$-Einstein solitons in a perfect fluid spacetime are determined. Conditions for the Ricci soliton to be steady, expanding or shrinking are also given. In a particular case when the potential vector field $\xi$ of the soliton is of gradient type, $\xi:=grad(f)$, we derive a Poisson equation from the soliton equation.

Min-max theory for constant mean curvature hypersurfaces

Abstract: In this paper, we develop a min-max theory for the construction of constant mean curvature (CMC) hypersurfaces of prescribed mean curvature in an arbitrary closed manifold. As a corollary, we prove the existence of a nontrivial, smooth, closed, almost embedded, CMC hypersurface of any given mean curvature $c$. Moreover, if $c$ is nonzero then our min-max solution always has multiplicity one.

The space of asymptotically conical self-expanders of mean curvature flow

Abstract: We show that the space of asymptotically conical self-expanders of the mean curvature flow is a smooth Banach manifold. An immediate consequence is that non-degenerate self-expanders -- that is, those self-expanders that admit no non-trivial normal Jacobi fields that fix the asymptotic cone -- are generic in a certain sense.

Notes on translating solitons for Mean Curvature Flow

Abstract: These notes provide an introduction to translating solitons for the mean curvature flow in \(\mathbf {R}^3\). In particular, we describe a full classification of the translators that are complete graphs over domains in \(\mathbf {R}^2\).

Curvature-Free Margulis Lemma for Gromov-Hyperbolic Spaces

Abstract: We prove curvature-free versions of the celebrated Margulis Lemma. We are interested by both the algebraic aspects and the geometric ones, with however an emphasis on the second and we aim at giving quantitative (computable) estimates of some important invariants. Our goal is to get rid of the pointwise curvature assumptions in order to extend the results to more general spaces such as certain metric spaces. Essentially the upper bound on the curvature is replaced by the assumption that the space is _ $\delta$-hyperbolic in the sense of Gromov and the lower bound of the curvature by an upper bound on the entropy which we recall the definition.

Ricci flow with surgery on manifolds with positive isotropic curvature

Abstract: We study the Ricci flow for initial metrics with positive isotropic curvature (strictly PIC for short). In the first part of this paper, we prove new curvature pinching estimates which ensure that blow-up limits are uniformly PIC in all dimensions. Moreover, in dimension $n \geq 12$, we show that blow-up limits are weakly PIC2. This can be viewed as a higher-dimensional version of the fundamental Hamilton-Ivey pinching estimate in dimension $3$. In the second part, we develop a theory of ancient solutions which have bounded curvature; are $\kappa$-noncollapsed; are weakly PIC2; and are uniformly PIC. This is an extension of Perelman's work; the additional ingredients needed in the higher dimensional setting are the differential Harnack inequality for solutions to the Ricci flow satisfying the PIC2 condition, and a rigidity result due to Brendle-Huisken-Sinestrari for ancient solutions that are uniformly PIC1. In the third part of this paper, we prove a Canonical Neighborhood Theorem for the Ricci flow with initial data with positive isotropic curvature, which holds in dimension $n \geq 12$. This relies on the curvature pinching estimates together with the structure theory for ancient solutions. This allows us to adapt Perelman's surgery procedure to this situation. As a corollary, we obtain a topological classification of all compact manifolds with positive isotropic curvature of dimension $n \geq 12$ which do not contain non-trivial incompressible $(n-1)$-dimensional space forms.