Showing papers in "arXiv: Differential Geometry in 2012"

Kahler-Einstein metrics on Fano manifolds, I: approximation of metrics with cone singularities

Abstract: This is the first of a series of three papers which provide proofs of results announced recently in arXiv:1210.7494.

Kähler Metrics with Cone Singularities Along a Divisor

Abstract: We develop some analytical foundations for the study of Kahler metrics with cone singularities in codimension one. The main result is an analogue of the Schauder theory in this setting. In the later parts of the paper we discuss connections with the existence problem for Kahler–Einstein metrics,in the positive case.

Kahler-Einstein metrics on Fano manifolds, II: limits with cone angle less than 2 \pi

Abstract: This is the second of a series of three papers which provide proofs of results announced in arXiv:1210.7494. In this paper we consider the Gromov-Hausdorff limits of metrics with cone singularities in the case when the limiting cone angle is less than 2\pi. We show that these are in a natrual way projective algebraic varieties. In the case when the limiting variety and the limiting divisor are smooth we show that the limiting metric also has standard cone singularities.

K-polystability of Q-Fano varieties admitting Kahler-Einstein metrics

Abstract: It is shown that any, possibly singular, Fano variety X admitting a Kahler-Einstein metric is K-polystable, thus confirming one direction of the Yau-Tian-Donaldson conjecture in the setting of Q-Fano varieties equipped with their anti-canonical polarization. The proof exploits convexity properties of the Ding functional along weak geodesic rays in the space of all bounded positively curved metrics on the anti-canonical line bundle of X and also gives a new proof in the non-singular case. One consequence is that a toric Fano variety X is K-polystable iff it is K-polystable along toric degenerations iff 0 is the barycenter of the canonical weight polytope P associated to X. The results also extend to the logarithmic setting and in particular to the setting of Kahler-Einstein metrics with edge-cone singularities. Furthermore, applications to geodesic stability, bounds on the Ricci potential and Perelman's entropy functional on K-unstable Fano manifolds are given.

G_2-manifolds and associative submanifolds via semi-Fano 3-folds

Abstract: We provide a significant extension of the twisted connected sum construction of G_2-manifolds, i.e. Riemannian 7-manifolds with holonomy group G_2, first developed by Kovalev; along the way we address some foundational questions at the heart of the twisted connected sum construction. Some of the main contributions of the paper are: (i) We correct, clarify and extend several aspects of the K3 "matching problem" that occurs as a key step in the twisted connected sum construction. (ii) We show that the large class of asymptotically cylindrical Calabi-Yau 3-folds built from semi-Fano 3-folds (a subclass of weak Fano 3-folds) can be used as components in the twisted connected sum construction. (iii) We construct many new topological types of compact G_2-manifolds by applying the twisted connected sum to asymptotically Calabi-Yau 3-folds of semi-Fano type studied in arXiv:1206.2277. (iv) We obtain much more precise topological information about twisted connected sum G_2-manifolds; one application is the determination for the first time of the diffeomorphism type of many compact G_2-manifolds. (v) We describe "geometric transitions" between G_2-metrics on different 7-manifolds mimicking "flopping" behaviour among semi-Fano 3-folds and "conifold transitions" between Fano and semi-Fano 3-folds. (vi) We construct many G_2-manifolds that contain rigid compact associative 3-folds. (vii) We prove that many smooth 2-connected 7-manifolds can be realised as twisted connected sums in numerous ways; by varying the building blocks matched we can vary the number of rigid associative 3-folds constructed therein. This leads to speculation that the moduli space of G_2-metrics on a given 7-manifold may consist of many different connected components.

Existence of Gradient Kahler-Ricci Solitons

Abstract: This is the original paper appeared in the book "Elliptic and Parabolic Methods in Geometry (Minneapolis, MN,1994), A K Peters, Wellesley, MA, (1996)" (p.1-16), except with a few minor modifications as described at the end of the paper (on p.14). Due to frequent requests for the article, we decided to post it on the arXiv.

K-stability and K\"ahler-Einstein metrics

Abstract: In this new version, we correct some typos. For the readers' convenience, we also added some footnotes and more details for certain lemmas and theorems.

Embedded minimal tori in S^3 and the Lawson conjecture

Abstract: We show that any embedded minimal torus in S^3 is congruent to the Clifford torus. This answers a question posed by H.B. Lawson, Jr., in 1970.

The inverse problem for the local geodesic ray transform

Abstract: Under a convexity assumption on the boundary we solve a local inverse problem, namely we show that the geodesic X-ray transform can be inverted locally in a stable manner; one even has a reconstruction formula. We also show that under an assumption on the existence of a global foliation by strictly convex hypersurfaces the geodesic X-ray transform is globally injective. In addition we prove stability estimates and propose a layer stripping type algorithm for reconstruction.

Positively curved manifolds with maximal symmetry rank

Abstract: The symmetry-rank of a riemannian manifold is by definition the rank of its isometry group. We determine precisely which smooth closed manifolds admit a positively curved metric with maximal symmetry-rank.

Riemannian Ricci curvature lower bounds in metric measure spaces with $\sigma$-finite measure

Abstract: Using techniques of optimal transportation and gradient flows in metric spaces, we extend the notion of Riemannian Curvature Dimension condition $RCD(K,\infty)$ introduced (in case the reference measure is finite) by Giuseppe Savare', the first and the second author, to the case the reference measure is $\sigma$-finite; in this way the theory includes natural examples as the euclidean $n$-dimensional space endowed with the Lebesgue measure, and noncompact manifolds with bounded geometry endowed with the Riemannian volume measure. Another major goal of the paper is to simplify the axiomatization of $RCD(K,\infty)$ (even in case of finite reference measure) replacing the assumption of strict $CD(K,\infty)$ with the classic notion of $CD(K,\infty)$.

Rotational symmetry of self-similar solutions to the Ricci flow

Abstract: Let (M,g) be a three-dimensional steady gradient Ricci soliton which is non-flat and \kappa-noncollapsed. We prove that (M,g) is isometric to the Bryant soliton up to scaling. This solves a problem mentioned in Perelman's first paper.

On a new class of Finsler metrics

Abstract: In this paper, the geometric meaning of (alpha,beta)-norms is made clear. On this basis, we introduce a new class of Finsler metrics called general (alpha,beta)-metrics, which are defined by a Riemannian metric and an 1-form. These metrics not only generalize original (alpha,beta)-metrics naturally, but also include some metrics structured by R. Bryant. The notion of general (alpha,beta)-metrics is one of the original ideas belongs to the first author(another one is beta-deformations intruduced in the paper "Deformations and Hilbert's Fourth Problem"). We believe that the researches on general (alpha,beta)-metrics will enrich Finsler geometry and the approaches offer references for further study. But it seems that the classical methods suitable for (alpha,beta)-metrics may not be suitable for them, the idea used in this paper, which is closely related to beta-deformations, is non-classical. Any communication or suggestion is welcome.

Kahler-Einstein metrics and stability

Abstract: We annnounce a proof of the fact that a K-stable Fano manifold admits a Kahler-Einstein metric and give a brief outline of the proof.

Constructing reparametrization invariant metrics on spaces of plane curves

Abstract: Metrics on shape space are used to describe deformations that take one shape to another, and to determine a distance between them. We study a family of metrics on the space of curves, that includes several recently proposed metrics, for which the metrics are characterised by mappings into vector spaces where geodesics can be easily computed. This family consists of Sobolev-type Riemannian metrics of order one on the space $\text{Imm}(S^1,\mathbb R^2)$ of parametrized plane curves and the quotient space $\text{Imm}(S^1,\mathbb R^2)/\text{Diff}(S^1)$ of unparametrized curves. For the space of open parametrized curves we find an explicit formula for the geodesic distance and show that the sectional curvatures vanish on the space of parametrized and are non-negative on the space of unparametrized open curves. For the metric, which is induced by the "R-transform", we provide a numerical algorithm that computes geodesics between unparameterised, closed curves, making use of a constrained formulation that is implemented numerically using the RATTLE algorithm. We illustrate the algorithm with some numerical tests that demonstrate it's efficiency and robustness.

The greatest Ricci lower bound, conical Einstein metrics and the Chern number inequality

Abstract: We partially confirm a conjecture of Donaldson relating the greatest Ricci lower bound $R(X)$ to the existence of conical Kahler-Einstein metrics on a Fano manifold $X$. In particular, if $D\in |-K_X|$ is a smooth simple divisor and the Mabuchi $K$-energy is bounded below, then there exists a unique conical Kahler-Einstein metric satisfying $Ric(g) = \beta g + (1-\beta) [D]$ for any $\beta \in (0,1)$. We also construct unique smooth conical toric Kahler-Einstein metrics with $\beta=R(X)$ and a unique effective Q-divisor $D\in [-K_X]$ for all toric Fano manifolds. Finally we prove a Miyaoka-Yau type inequality for Fano manifolds with $R(X)=1$.

Real Monge-Ampere equations and Kahler-Ricci solitons on toric log Fano varieties

Abstract: We show, using a direct variational approach, that the second boundary value problem for the Monge-Ampere equation in R^n with exponential non-linearity and target a convex body P is solvable iff 0 is the barycenter of P. Combined with some toric geometry this confirms, in particular, the (generalized) Yau-Tian-Donaldson conjecture for toric log Fano varieties (X,D), saying that (X,D) admits a (singular) Kahler-Einstein metric iff it is K-stable in the algebro-geometric sense. We thus obtain a new proof and extend to the log Fano setting the seminal result of Zhou-Wang concerning the case when X is smooth and D is trivial. Li's toric formula for the greatest lower bound on the Ricci curvature is also generalized. More generally, we obtain Kahler-Ricci solitons on any log Fano variety and show that they appear as the large time limit of the Kahler-Ricci flow. Furthermore, using duality, we also confirm a conjecture of Donaldson concerning solutions to Abreu's boundary value problem on the convex body P. in the case of a given canonical measure on the boundary of P.

Mean Curvature Flow in Higher Codimension: Introduction and Survey

Abstract: In this text we outline the major techniques, concepts and results in mean curvature flow with a focus on higher codimension. In addition we include a few novel results and some material that cannot be found elsewhere.

Nullity conditions in paracontact geometry

Abstract: The paper is a complete study of paracontact metric manifolds for which the Reeb vector field of the underlying contact structure satisfies a nullity condition (the condition \eqref{paranullity} below, for some real numbers $% \tilde\kappa$ and $\tilde\mu$). This class of pseudo-Riemannian manifolds, which includes para-Sasakian manifolds, was recently defined in \cite{MOTE}. In this paper we show in fact that there is a kind of duality between those manifolds and contact metric $(\kappa,\mu)$-spaces. In particular, we prove that, under some natural assumption, any such paracontact metric manifold admits a compatible contact metric $(\kappa,\mu)$-structure (eventually Sasakian). Moreover, we prove that the nullity condition is invariant under $% \mathcal{D}$-homothetic deformations and determines the whole curvature tensor field completely. Finally non-trivial examples in any dimension are presented and the many differences with the contact metric case, due to the non-positive definiteness of the metric, are discussed.

On the geometry of double field theory

Abstract: Double field theory was developed by theoretical physicists as a way to encompass $T$-duality. In this paper, we express the basic notions of the theory in differential-geometric invariant terms, in the framework of para-Kaehler manifolds. We define metric algebroids, which are vector bundles with a bracket of cross sections that has the same metric compatibility property as a Courant bracket. We show that a double field gives rise to two canonical connections, whose scalar curvatures can be integrated to obtain actions. Finally, in analogy with Dirac structures, we define and study para-Dirac structures on double manifolds.

Compactness of the space of embedded minimal surfaces with free boundary in three-manifolds with nonnegative Ricci curvature and convex boundary

Abstract: We prove a lower bound for the first Steklov eigenvalue of embedded minimal hypersurfaces with free boundary in a compact $n$-dimensional manifold which has nonnegative Ricci curvature and strictly convex boundary. When $n=3$, this implies apriori area and curvature estimates for these minimal surfaces in terms of the geometry of the ambient manifold and the topology of the minimal surface. An important consequence of the estimate is a smooth compactness result for embedded minimal surfaces with free boundary when the topological type of these minimal surfaces is fixed.

The round sphere minimizes entropy among closed self-shrinkers

Abstract: The entropy of a hypersurface is a geometric invariant that measures complexity and is invariant under rigid motions and dilations. It is given by the supremum over all Gaussian integrals with varying centers and scales. It is monotone under mean curvature flow, thus giving a Lyapunov functional. Therefore, the entropy of the initial hypersurface bounds the entropy at all future singularities. We show here that not only does the round sphere have the lowest entropy of any closed singularity, but there is a gap to the second lowest.

Min-Max theory and the Willmore conjecture

Abstract: In 1965, T. J. Willmore conjectured that the integral of the square of the mean curvature of a torus immersed in Euclidean three-space is at least 2\pi^2. We prove this conjecture using the min-max theory of minimal surfaces.

Integral geometry of complex space forms

Abstract: We show how Alesker's theory of valuations on manifolds gives rise to an algebraic picture of the integral geometry of any Riemannian isotropic space We then apply this method to give a thorough account of the integral geometry of the complex space forms, ie complex projective space, complex hyperbolic space and complex euclidean space In particular, we compute the family of kinematic formulas for invariant valuations and invariant curvature measures in these spaces In addition to new and more efficient framings of the tube formulas of Gray and the kinematic formulas of Shifrin, this approach yields a new formula expressing the volumes of the tubes about a totally real submanifold in terms of its intrinsic Riemannian structure We also show by direct calculation that the Lipschitz-Killing valuations stabilize the subspace of invariant angular curvature measures, suggesting the possibility that a similar phenomenon holds for all Riemannian manifolds We conclude with a number of open questions and conjectures

On uniqueness of tangent cones for Einstein manifolds

Abstract: We show that for any Ricci-flat manifold with Euclidean volume growth the tangent cone at infinity is unique if one tangent cone has a smooth cross-section. Similarly, for any noncollapsing limit of Einstein manifolds with uniformly bounded Einstein constants, we show that local tangent cones are unique if one tangent cone has a smooth cross-section.

Compact almost Ricci solitons with constant scalar curvature are gradient

Abstract: The aim of this note is to prove that any compact non-trivial almost Ricci soliton $\big(M^n,\,g,\,X,\,\lambda\big)$ with constant scalar curvature is isometric to a Euclidean sphere $\Bbb{S}^{n}$. As a consequence we obtain that every compact non-trivial almost Ricci soliton with constant scalar curvature is gradient. Moreover, the vector field $X$ decomposes as the sum of a Killing vector field $Y$ and the gradient of a suitable function.

Asymptotically cylindrical Calabi-Yau manifolds

Abstract: Let $M$ be a complete Ricci-flat Kahler manifold with one end and assume that this end converges at an exponential rate to $[0,\infty) \times X$ for some compact connected Ricci-flat manifold $X$. We begin by proving general structure theorems for $M$; in particular we show that there is no loss of generality in assuming that $M$ is simply-connected and irreducible with Hol$(M)$ $=$ SU$(n)$, where $n$ is the complex dimension of $M$. If $n > 2$ we then show that there exists a projective orbifold $\bar{M}$ and a divisor $\bar{D}$ in $|{-K_{\bar{M}}}|$ with torsion normal bundle such that $M$ is biholomorphic to $\bar{M}\setminus\bar{D}$, thereby settling a long-standing question of Yau in the asymptotically cylindrical setting. We give examples where $\bar{M}$ is not smooth: the existence of such examples appears not to have been noticed previously. Conversely, for any such pair $(\bar{M}, \bar{D})$ we give a short and self-contained proof of the existence and uniqueness of exponentially asymptotically cylindrical Calabi-Yau metrics on $\bar{M}\setminus\bar{D}$.

PSL(2;C) connections on 3-manifolds with L2 bounds on curvature

Abstract: Karen Uhlenbeck's compactness theorem for sequences of connections with L2 bounds on curvature applies only to connections on principal bundles with compact structure group. This article states and proves an extension of Uhlenbecks theorem that describes sequences of connections on principal PSL(2;C) bundles over compact three dimensional manifolds.

Algebraic Integral Geometry

Abstract: A survey on recent developments in (algebraic) integral geometry is given. The main focus lies on algebraic structures on the space of translation invariant valuations and applications in integral geometry.

Unique isoperimetric foliations of asymptotically flat manifolds in all dimensions

Abstract: We describe explicitly the large volume isoperimetric regions of a natural class of asymptotically flat manifolds, in any dimension. These isoperimetric regions detect the mass and the center of mass of such manifolds when viewed as initial data sets for the Einstein equations in general relativity. Using the positivity of the isoperimetric mass established by G. Huisken we prove an existence result for large isoperimetric regions in general asymptotically flat three manifolds with non-negative scalar curvature.