Showing papers in "arXiv: Differential Geometry in 2016"

The global non-linear stability of the Kerr-de Sitter family of black holes

Abstract: We establish the full global non-linear stability of the Kerr-de Sitter family of black holes, as solutions of the initial value problem for the Einstein vacuum equations with positive cosmological constant, for small angular momenta, and without any symmetry assumptions on the initial data. We achieve this by extending the linear and non-linear analysis on black hole spacetimes described in a sequence of earlier papers by the authors: We develop a general framework which enables us to deal systematically with the diffeomorphism invariance of Einstein's equations. In particular, the iteration scheme used to solve Einstein's equations automatically finds the parameters of the Kerr-de Sitter black hole that the solution is asymptotic to, the exponentially decaying tail of the solution, and the gauge in which we are able to find the solution; the gauge here is a wave map/DeTurck type gauge, modified by source terms which are treated as unknowns, lying in a suitable finite-dimensional space.

The Higher Dimensional Positive Mass Theorem II

Abstract: We derive the Space-Time Positive Mass theorem in arbitrary dimensions, without topological constraints. The main new tools are skin structures and surgeries on minimal and marginally outer trapped hypersurfaces.

Min-max theory for free boundary minimal hypersurfaces I - regularity theory

Abstract: In 1960s, Almgren initiated a program to find minimal hypersurfaces in compact manifolds using min-max method. This program was largely advanced by Pitts and Schoen-Simon in 1980s when the manifold has no boundary. In this paper, we finish this program for general compact manifold with nonempty boundary. As a result, we prove the existence of a smooth embedded minimal hypersurface with free boundary in any compact smooth Euclidean domain. An application of our general existence result combined with the work of Marques and Neves shows that for any compact Riemannian manifolds with nonnegative Ricci curvature and convex boundary, there exist infinitely many embedded minimal hypersurfaces with free boundary which are properly embedded.

Isoparametric hypersurfaces with four principal curvatures, IV

Abstract: In this sequel, employing more commutative algebra than that explored in \cite{CCJ}, we show that an isoparametric hypersurface with four principal curvatures and multiplicities $(3,4)$ in $S^{15}$ is one constructed by Ozeki-Takeuchi \cite[I]{OT} and Ferus-Karcher-Munzner \cite{FKM}, referred to collectively as of OT-FKM type. In fact, this new approach also gives a considerably simpler, both structurally and technically, proof \cite{CCJ} that an isoparametric hypersurface with four principal curvatures in spheres with the multiplicity constraint $m_2\geq 2m_1-1$ is of OT-FKM type, which left unsettled exactly the four anomalous multiplicity pairs $(4,5),(3,4),(7,8)$ and $(6,9)$, where the last three are closely tied, respectively, with the quaternion algebra, the octonion algebra and the complexified octonion algebra, whereas the first stands alone by itself in that it cannot be of OT-FKM type. A byproduct of this new approach is that we see that Condition B, introduced by Ozeki and Takeuchi \cite[I]{OT} in their construction of inhomogeneous isoparametric hypersurfaces, naturally arises. The cases for the multiplicity pairs $(4,5),(6,9)$ and $(7,8)$ remain open now.

Regularity of weak minimizers of the K-energy and applications to properness and K-stability

Abstract: Let $(X,\omega)$ be a compact Kahler manifold and $\mathcal H$ the space of Kahler metrics cohomologous to $\omega$. If a cscK metric exists in $\mathcal H$, we show that all finite energy minimizers of the extended K-energy are smooth cscK metrics, partially confirming a conjecture of Y.A. Rubinstein and the second author. As an immediate application, we obtain that existence of a cscK metric in $\mathcal H$ implies J-properness of the K-energy, thus confirming one direction of a conjecture of Tian. Exploiting this properness result we prove that an ample line bundle $(X,L)$ admitting a cscK metric in $c_1(L)$ is $K$-polystable.

Behaviour of the reference measure on $\sf RCD$ spaces under charts

Abstract: Mondino and Naber recently proved that finite dimensional $\sf RCD$ spaces are rectifiable. Here we show that the push-forward of the reference measure under the charts built by them is absolutely continuous with respect to the Lebesgue measure. This result, read in conjunction with another recent work of us, has relevant implications on the structure of tangent spaces to $\sf RCD$ spaces. A key tool that we use is a recent paper by De Philippis-Rindler about the structure of measures on the Euclidean space.

Tropical and non-Archimedean limits of degenerating families of volume forms

Abstract: We study the asymptotic behavior of volume forms on a degenerating family of compact complex manifolds. Under rather general conditions, we prove that the volume forms converge in a natural sense to a Lebesgue-type measure on a certain simplicial complex. In particular, this provides a measure-theoretic version of a conjecture by Kontsevich--Soibelman and Gross--Wilson, bearing on maximal degenerations of Calabi--Yau manifolds.

Asymptotic behavior of flows by powers of the Gaussian curvature

Abstract: We consider a one-parameter family of strictly convex hypersurfaces in $\mathbb{R}^{n+1}$ moving with speed $- K^\alpha u$, where $ u$ denotes the outward-pointing unit normal vector and $\alpha \geq \frac{1}{n+2}$ For $\alpha > \frac{1}{n+2}$, we show that the flow converges to a round sphere after rescaling In the affine invariant case $\alpha=\frac{1}{n+2}$, our arguments give an alternative proof of the fact that the flow converges to an ellipsoid after rescaling

Anomaly flows

Abstract: The Anomaly flow is a flow which implements the Green-Schwarz anomaly cancellation mechanism originating from superstring theory, while preserving the conformally balanced condition of Hermitian metrics. There are several versions of the flow, depending on whether the gauge field also varies, or is assumed known. A distinctive feature of Anomaly flows is that, in $m$ dimensions, the flow of the Hermitian metric has to be inferred from the flow of its $(m-1)$-th power $\omega^{m-1}$. We show how this can be done explicitly, and we work out the corresponding flows for the torsion and the curvature tensors. The results are applied to produce criteria for the long-time existence of the flow, in the simplest case of zero slope parameter.

Free boundary minimal surfaces of unbounded genus

Abstract: For each integer $g\geq 1$ we use variational methods to construct in the unit $3$-ball $B$ a free boundary minimal surface $\Sigma_g$ of symmetry group $\mathbb{D}_{g+1}$. For $g$ large, $\Sigma_g$ has three boundary components and genus $g$. As $g\rightarrow\infty$ the surfaces $\Sigma_g$ converge as varifolds to the union of the disk and critical catenoid. These examples are the first with genus greater than $1$ and were conjectured to exist by Fraser-Schoen. We also construct several new free boundary minimal surfaces in $B$ with the symmetry groups of the cube, tetrahedron and dodecahedron. Finally, we prove that free boundary minimal surfaces isotopic to those of Fraser-Schoen can be constructed variationally using an equivariant min-max procedure. We also prove an $\epsilon$-regularity theorem for free boundary minimal surfaces in $B$.

On the $C^{1,1}$ regularity of geodesics in the space of K\"ahler metrics

Abstract: We prove that any two Kahler potentials on a compact Kahler manifold can be connected by a geodesic segment of C^{1,1} regularity. This follows from an a priori interior real Hessian bound for solutions of the nondegenerate complex Monge-Ampere equation, which is independent of a positive lower bound for the right hand side.

On Bismut Flat Manifolds

Abstract: In this paper, we give a classification of all compact Hermitian manifolds with flat Bismut connection. We show that the torsion tensor of such a manifold must be parallel, thus the universal cover of such a manifold is a Lie group equipped with a bi-invariant metric and a compatible left invariant complex structure. In particular, isosceles Hopf surfaces are the only Bismut flat compact non-K\"ahler surfaces, while central Calabi-Eckmann threefolds are the only simply-connected compact Bismut flat threefolds.

From tools in symplectic and Poisson geometry to Souriau's theories of statistical mechanics and thermodynamics

Abstract: I present in this paper some tools in Symplectic and Poisson Geometry in view of their applications in Geometric mechanics and Mathematical Physics. After a short discussion of the Lagrangian and Hamiltonian formalisms, including the use of symmetry groups, and a presentation of the Tulczyjew's isomorphisms (which explain some aspects of the relations between these formalisms), I explain the concept of manifold of motions of a mechanical system and its use, due to J.-M. Souriau, in Statistical Mechanics and Thermodynamics. The generalization of the notion of thermodynamic equilibrium in which the one-dimensional group of time translations is replaced by a multi-dimensional, maybe non-commutative Lie group, is discussed and examples of applications in Physics are given.

Lectures on the Strominger system

Abstract: These notes give an introduction to the Strominger system of partial differential equations, and are based on lectures given in September 2015 at the GEOQUANT School, held at the Institute of Mathematical Sciences (ICMAT) in Madrid. We describe the links with the theory of balanced metrics in hermitian geometry, the Hermite-Yang-Mills equations, and its origins in physics, that we illustrate with many examples. We also cover some recent developments in the moduli problem and the interrelation of the Strominger system with generalized geometry, via the cohomological notion of string class.

Quasi-negative holomorphic sectional curvature and positivity of the canonical bundle

Abstract: We show that if a compact complex manifold admits a K\"ahler metric whose holomorphic sectional curvature is everywhere non positive and strictly negative in at least one point, then its canonical bundle is positive.

Stability and coercivity for toric polarizations

Abstract: We introduce uniform K-stability and its relationship with the coercivity property of the K-energy functional, for general polarized manifolds Since the automorphism groups are not necessarily finite, size of the norm measuring uniformity should be reduced with respect to the group action About this point we explain that it is enough to take the reduced norm for a single sub-torus, actually the center, in the cscK problem Our main theorem then describes the slope of the reduced J-functional along any torus-equivariant test configuration In the toric case it is shown that the uniform stability is indeed equivalent to the coercivity of the K-energy In the Fano manifolds case existence of the KE metric implies the uniform stability

Invariant solutions to the Strominger system and the heterotic equations of motion on solvmanifolds

Abstract: We present compact solvmanifolds that provide many invariant solutions to the Strominger system with respect to a 2-parameter family of metric connections $ abla^{\varepsilon,\rho}$. The family $ abla^{\varepsilon,\rho}$ is a natural extension of the 1-parameter family of Hermitian connections. In particular, we give invariant solutions to the Strominger system with respect to the Chern connection $ abla^{c}$, with non-flat instanton and positive~$\alpha'$. Furthermore, invariant solutions to the heterotic equations of motion with respect to the Bismut connection $ abla^{+}$, non-flat instanton and $\alpha'>0$ are obtained.

Uniform K-stability and asymptotics of energy functionals in K\"ahler geometry

Abstract: Consider a polarized complex manifold (X,L) and a ray of positive metrics on L defined by a positive metric on a test configuration for (X,L). For most of the common functionals in Kahler geometry, we prove that the slope at infinity along the ray is given by evaluating the non-Archimedean version of the functional (as defined in our earlier paper) at the non-Archimedean metric on L defined by the test configuration. Using this asymptotic result, we show that coercivity of the Mabuchi functional implies uniform K-stability.

Why Use Sobolev Metrics on the Space of Curves

Abstract: In this chapter we study reparametrization invariant Sobolev metrics on spaces of regular curves. We discuss their completeness properties and the resulting usability for applications in shape analysis. In particular, we will argue that the development of efficient numerical methods for higher-order Sobolev-type metrics is an extremely desirable goal.

Uniqueness of closed self-similar solutions to the Gauss curvature flow

Abstract: We show the uniqueness of strictly convex closed smooth self-similar solutions to the $\alpha$-Gauss curvature flow with $(1/n) < \alpha < 1+(1/n)$. We introduce a Pogorelov type computation, and then we apply the strong maximum principle. Our work combined with earlier works on the Gauss Curvature flow imply that the $\alpha$-Gauss curvature flow with $(1/n) < \alpha < 1+(1/n)$ shrinks a strictly convex closed smooth hypersurface to a round sphere.

Short-time existence of the Ricci flow on complete, non-collapsed $3$-manifolds with Ricci curvature bounded from below

Abstract: We prove that for any complete three-manifold with a lower Ricci curvature bound and a lower bound on the volume of balls of radius one, a solution to the Ricci flow exists for short time. Actually our proof also yields a (non-canonical) way to flow and regularize some interior region of a non-complete initial data satisfying the aformentioned bounds.

K-stability for K\"ahler Manifolds

Abstract: We formulate a notion of K-stability for Kahler manifolds, and prove one direction of the Yau-Tian-Donaldson conjecture in this setting. More precisely, we prove that the Mabuchi functional being bounded below (resp. coercive) implies K-semistability (resp. uniformly K-stable). In particular this shows that the existence of a constant scalar curvature Kahler metric implies K-semistability, and K-stability if one assumes the automorphism group is discrete. We also show how Stoppa's argument holds in the Kahler case, giving a simpler proof of this K-stability statement.

Parabolic Equations on Uniformly Regular Riemannian Manifolds and Degenerate Initial Boundary Value Problems

Abstract: In this work there is established an optimal existence and regularity theory for second order linear parabolic differential equations on a large class of noncompact Riemannian manifolds. Then it is shown that it provides a general unifying approach to problems with strong degeneracies in the interior or at the boundary.

The category of $\mathbb{Z}_2^n$-supermanifolds

Abstract: In Physics and in Mathematics $\mathbb{Z}_2^n$-gradings, $n>1$, appear in various fields. The corresponding sign rule is determined by the `scalar product' of the involved $\mathbb{Z}_2^n$-degrees. The $\mathbb{Z}_2^n$-Supergeometry exhibits challenging differences with the classical one: nonzero degree even coordinates are not nilpotent, and even (resp., odd) coordinates do not necessarily commute (resp., anticommute) pairwise. In this article we develop the foundations of the theory: we define $\mathbb{Z}_2^n$-supermanifolds and provide examples in the ringed space and coordinate settings. We thus show that formal series are the appropriate substitute for nilpotency. Moreover, the class of $\mathbb{Z}_2^\bullet$-supermanifolds is closed with respect to the tangent and cotangent functors. We explain that any $n$-fold vector bundle has a canonical `superization' to a $\mathbb{Z}_2^n$-supermanifold and prove that the fundamental theorem describing supermorphisms in terms of coordinates can be extended to the $\mathbb{Z}_2^n$-context.

Laplacian flow for closed G_2 structures: real analyticity

Abstract: Let $\varphi(t), t\in [0,T]$ be a smooth solution to the Laplacian flow for closed G_2 structures on a compact 7-manifold $M$. We show that for each fixed positive time $t\in (0,T]$, $(M,\varphi(t),g(t))$ is real analytic, where $g(t)$ is the metric induced by $\varphi(t)$. Consequently, any Laplacian soliton is real analytic and we obtain unique continuation results for the flow.

Evolution of networks with multiple junctions

Abstract: We consider the motion by curvature of a network of curves in the plane and we discuss existence, uniqueness, singularity formation and asymptotic behavior of the flow.

Equivariant min-max theory

Abstract: We develop an equivariant min-max theory as proposed by Pitts-Rubinstein in 1988 and then show that it can produce many of the known minimal surfaces in $\mathbb{S}^3$ up to genus and symmetry group. We also produce several new infinite families of minimal surfaces in $\mathbb{S}^3$ proposed by Pitts-Rubinstein. These examples are doublings and desingularizations of stationary integral varifolds in $\mathbb{S}^3$.

The geodesic X-ray transform with matrix weights

Abstract: Consider a compact Riemannian manifold of dimension $\geq 3$ with strictly convex boundary, such that the manifold admits a strictly convex function. We show that the attenuated ray transform in the presence of an arbitrary connection and Higgs field is injective modulo the natural obstruction for functions and one-forms. We also show that the connection and the Higgs field are uniquely determined by the scattering relation modulo gauge transformations. The proofs involve a reduction to a local result showing that the geodesic X-ray transform with a matrix weight can be inverted locally near a point of strict convexity at the boundary, and a detailed analysis of layer stripping arguments based on strictly convex exhaustion functions. As a somewhat striking corollary, we show that these integral geometry problems can be solved on strictly convex manifolds of dimension $\geq 3$ having non-negative sectional curvature (similar results were known earlier in negative sectional curvature). We also apply our methods to solve some inverse problems in quantum state tomography and polarization tomography.

A unified flow approach to smooth, even $L_p$-Minkowski problems.

Abstract: We study long-time existence and asymptotic behaviour for a class of anisotropic, expanding curvature flows. For this we adapt new curvature estimates, which were developed by Guan, Ren and Wang to treat some stationary prescribed curvature problems. As an application we give a unified flow approach to the existence of smooth, even $L_p$-Minkowski problems in $\mathbb{R}^{n+1}$ for $p>-n-1.$

Local control on the geometry in 3D Ricci flow

Abstract: The geometry of a ball within a Riemannian manifold is coarsely controlled if it has a lower bound on its Ricci curvature and a positive lower bound on its volume. We prove that such coarse local geometric control must persist for a definite amount of time under three-dimensional Ricci flow, and leads to local C/t decay of the full curvature tensor, irrespective of what is happening beyond the local region. As a by-product, our results generalise the Pseudolocality theorem of Perelman and Tian-Wang in this dimension by not requiring the Ricci curvature to be almost-positive, and not asking the volume growth to be almost-Euclidean.