Showing papers in "arXiv: Differential Geometry in 2013"

On the Equivalence of the Entropic Curvature-Dimension Condition and Bochner's Inequality on Metric Measure Spaces

Abstract: We prove the equivalence of the curvature-dimension bounds of Lott-Sturm-Villani (via entropy and optimal transport) and of Bakry--Emery (via energy and \Gamma_2$-calculus) in complete generality for infinitesimally Hilbertian metric measure spaces. In particular, we establish the full Bochner inequality on such metric measure spaces. Moreover, we deduce new contraction bounds for the heat flow on Riemannian manifolds and on mms in terms of the $L^2$-Wasserstein distance.

Kahler-Einstein metrics on Fano manifolds, III: limits as cone angle approaches 2\pi\ and completion of the main proof

Abstract: This is the third and final paper in a series which establish 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 approaches 2\pi. We also put all our technical results together to complete the proof of the main theorem that if a K-stable Fano manifold admits a Kahler-Einstein metric.

Semiconcave functions in Alexandrov's geometry

Abstract: The following is a compilation of some techniques in Alexandrov's geometry which are directly connected to convexity.

Existence of infinitely many minimal hypersurfaces in positive Ricci curvature

Abstract: In the early 1980s, S. T. Yau conjectured that any compact Riemannian three-manifold admits an infinite number of closed immersed minimal surfaces. We use min-max theory for the area functional to prove this conjecture in the positive Ricci curvature setting. More precisely, we show that every compact Riemannian manifold with positive Ricci curvature and dimension at most seven contains infinitely many smooth, closed, embedded minimal hypersurfaces. In the last section we mention some open problems related with the geometry of these minimal hypersurfaces.

A survey on cosymplectic geometry

Abstract: We give an up-to-date overview of geometric and topological properties of cosymplectic and coKaehler manifolds. We also mention some of their applications to time-dependent mechanics.

The pressure metric for Anosov representations

Abstract: Using the thermodynamics formalism, we introduce a notion of intersection for projective Anosov representations, show analyticity results for the intersection and the entropy, and rigidity results for the intersection. We use the renormalized intersection to produce a $Out(\Gamma)$-invariant Riemannian metric on the smooth points of the deformation space of irreducible, projective Anosov representations of a word hyperbolic group $\Gamma$ into $SL(m,R)$ whose Zariski closure contains a generic element. In particular, we produce mapping class group invariant Riemannian metrics on Hitchin components which restrict to the Weil--Petersson metric on the Fuchsian loci. Moreover, we produce $Out(\Gamma)$-invariant metrics on deformation spaces of convex cocompact representations into $PSL(2,C)$ and show that the Hausdorff dimension of the limit set varies analytically over analytic families of convex cocompact representations into any rank 1 semi-simple Lie group.

Torsion-free generalized connections and Heterotic Supergravity

Abstract: This work revisits the notions of connection and curvature in generalized geometry, with emphasis on torsion-free generalized connections on a transitive Courant algebroid, compatible with a generalized metric. Non-exact Courant algebroids have been considered recently by R. Rubio in the context of $B_n$-generalised geometry and arise naturally from the theory of generalized reduction of Burzstyn, Cavalcanti and Gualtieri. As an application, we provide a mathematical derivation of the equations of motion of heterotic supergravity, inspired by the work of Coimbra, Strickland-Constable and Waldram.

A Paneitz-type operator for CR pluriharmonic functions

Abstract: We introduce a fourth order CR invariant operator on pluriharmonic functions on a three-dimensional CR manifold, generalizing to the abstract setting the operator discovered by Branson, Fontana and Morpurgo. For a distinguished class of contact forms, all of which have vanishing Hirachi-Q curvature, these operators determine a new scalar invariant with properties analogous to the usual Q-curvature. We discuss how these are similar to the (conformal) Paneitz operator and Q-curvature of a four-manifold, and describe its relation to some problems for three-dimensional CR manifolds.

Hermitian metrics, (n-1, n-1) forms and Monge-Amp\`ere equations

Abstract: We show existence of unique smooth solutions to the Monge-Ampere equation for (n-1)-plurisubharmonic functions on Hermitian manifolds, generalizing previous work of the authors. As a consequence we obtain Calabi-Yau theorems for Gauduchon and strongly Gauduchon metrics on a class of non-Kahler manifolds: those satisfying the Jost-Yau condition known as Astheno-Kahler. Gauduchon conjectured in 1984 that a Calabi-Yau theorem for Gauduchon metrics holds on all compact complex manifolds. We discuss another Monge-Ampere equation, recently introduced by Popovici, and show that the full Gauduchon conjecture can be reduced to a second order estimate of Hou-Ma-Wu type.

Boundary rigidity with partial data

Abstract: We study the boundary rigidity problem with partial data consisting of determining locally the Riemannian metric of a Riemannian manifold with boundary from the distance function measured at pairs of points near a fixed point on the boundary. We show that one can recover uniquely and in a stable way a conformal factor near a strictly convex point where we have the information. In particular, this implies that we can determine locally the isotropic sound speed of a medium by measuring the travel times of waves joining points close to a convex point on the boundary. The local results lead to a global lens rigidity uniqueness and stability result assuming that the manifold is foliated by strictly convex hypersurfaces.

Compactness theorems for SL(2;C) generalizations of the 4-dimensional anti-self dual equations, Part I

Abstract: Uhlenbeck's compactness theorem can be used to analyze sequences of connections with anti-self dual curvature on principal SU(2) bundles over oriented 4-dimensional manifolds. The theorems in this paper give an extension of Uhlenbeck's theorem for sequences of solutions of certain SL(2,C) analogs of the anti-self dual equations.

Minimal surfaces and eigenvalue problems

Abstract: We show that metrics that maximize the k-th Steklov eigenvalue on surfaces with boundary arise from free boundary minimal surfaces in the unit ball. We prove several properties of the volumes of these minimal submanifolds. For free boundary minimal submanifolds in the ball we show that the boundary volume is reduced up to second order under conformal transformations of the ball. For two-dimensional stationary integer multiplicity rectifiable varifolds that are stationary for deformations that preserve the ball, we prove that the boundary length is reduced under conformal transformations. We also give an overview of some of the known results on extremal metrics of the Laplacian on closed surfaces, and give a survey of our recent results from [FS2] on extremal metrics for Steklov eigenvalues on compact surfaces with boundary.

The D-topology for diffeological spaces

Abstract: Diffeological spaces are generalizations of smooth manifolds which include singular spaces and function spaces. For each diffeological space, Iglesias-Zemmour introduced a natural topology called the $D$-topology. However, the $D$-topology has not yet been studied seriously in the existing literature. In this paper, we develop the basic theory of the $D$-topology for diffeological spaces. We explain that the topological spaces that arise as the $D$-topology of a diffeological space are exactly the $\Delta$-generated spaces and give results and examples which help to determine when a space is $\Delta$-generated. Our most substantial results show how the $D$-topology on the function space $C^{\infty}(M,N)$ between smooth manifolds compares to other well-known topologies.

Quantum error-correcting codes and 4-dimensional arithmetic hyperbolic manifolds

Abstract: Using 4-dimensional arithmetic hyperbolic manifolds, we construct some new homological quantum error correcting codes. They are LDPC codes with linear rate and distance $n^\epsilon$. Their rate is evaluated via Euler characteristic arguments and their distance using $\mathbb{Z}_2$-systolic geometry. This construction answers a queston of Z\'emor, who asked whether homological codes with such parameters could exist at all.

Medians and Means in Riemannian Geometry: Existence, Uniqueness and Computation

Abstract: This paper is a short summary of our recent work on the medians and means of probability measures in Riemannian manifolds. Firstly, the existence and uniqueness results of local medians are given. In order to compute medians in practical cases, we propose a subgradient algorithm and prove its convergence. After that, Frechet medians are considered. We prove their statistical consistency and give some quantitative estimations of their robustness with the aid of upper curvature bounds. We also show that, in compact Riemannian manifolds, the Frechet medians of generic data points are always unique. Stochastic and deterministic algorithms are proposed for computing Riemannian p-means. The rate of convergence and error estimates of these algorithms are also obtained. Finally, we apply the medians and the Riemannian geometry of Toeplitz covariance matrices to radar target detection.

Aeppli Cohomology Classes Associated with Gauduchon Metrics on Compact Complex Manifolds

Abstract: We propose the study of a Monge-Ampere-type equation in bidegree $(n-1,\,n-1)$ rather than $(1,\,1)$ on a compact complex manifold $X$ of dimension $n$ for which we prove uniqueness of the solution subject to positivity and normalisation restrictions. Existence will hopefully be dealt with in future work. The aim is to construct a special Gauduchon metric uniquely associated with any Aeppli cohomology class of bidegree $(n-1,\,n-1)$ lying in the Gauduchon cone of $X$ that we hereby introduce as a subset of the real Aeppli cohomology group of type $(n-1,\,n-1)$ and whose first properties we study. Two directions for applications of this new equation are envisaged: to moduli spaces of Calabi-Yau $\partial\bar\partial$-manifolds and to a further study of the deformation properties of the Gauduchon cone beyond those given in this paper.

Ricci flow on surfaces with conic singularities

Abstract: We establish the short-time existence of the Ricci flow on surfaces with a finite number of conic points, all with cone angle between 0 and $2\pi$, where the cone angles remain fixed or change in some smooth prescribed way. For the angle-preserving flow we prove long-time existence and convergence. When the Troyanov angle condition is satisfied (equivalently, when the data is logarithmically K-stable), the flow converges to the unique constant curvature metric with the given cone angles; if this condition is not satisfied, the flow converges subsequentially to a soliton. This is the one-dimensional version of the Hamilton--Tian conjecture.

Regularity of K\"ahler-Ricci flows on Fano manifolds

Abstract: In this paper, we will establish a regularity theory for the K\"ahler-Ricci flow on Fano $n$-manifolds with Ricci curvature bounded in $L^p$-norm for some $p > n$. Using this regularity theory, we will also solve a long-standing conjecture for dimension 3. As an application, we give a new proof of the Yau-Tian-Donaldson conjecture for Fano 3-manifolds. The results have been announced in \cite{TiZh12b}.

Tensor tomography: progress and challenges

Abstract: We survey recent progress in the problem of recovering a tensor field from its integrals along geodesics. We also propose several open problems.

The gap phenomenon in parabolic geometries

Abstract: The infinitesimal symmetry algebra of any Cartan geometry has maximum dimension realized by the flat model, but often this dimension drops significantly when considering non-flat geometries, so a gap phenomenon arises For general (regular, normal) parabolic geometries of type (G,P), we use Tanaka theory to derive a universal upper bound on the submaximal symmetry dimension We use Kostant's version of the Bott-Borel-Weil theorem to show that this bound is in fact sharp in almost all complex and split-real cases by exhibiting (abstract) models We explicitly compute all submaximal symmetry dimensions when G is any complex or split-real simple Lie group

Gromov-Hausdorff collapsing of Calabi-Yau manifolds

Abstract: This paper is a sequel to arXiv:1108.0967. We further study Gromov-Hausdorff collapsing limits of Ricci-flat K\"ahler metrics on abelian fibered Calabi-Yau manifolds. Firstly, we show that in the same setup as arXiv:1108.0967, if the dimension of the base manifold is one, the limit metric space is homeomorphic to the base manifold. Secondly, if the fibered Calabi-Yau manifolds are Lagrangian fibrations of holomorphic symplectic manifolds, the metrics on the regular parts of the limits are special K\"ahler metrics. By combining these two results, we extend arXiv:math/0008018 to any fibered projective K3 surface without any assumption on the type of singular fibers.

Geodesic Mappings and Einstein Spaces

Abstract: In this paper we study fundamental properties of geodesic mappings with respect to the smoothness class of metrics. We show that geodesic mappings preserve the smoothness class of metrics. We study geodesic mappings of Einstein spaces.

Bessel Functions, Heat Kernel and the Conical K\"ahler-Ricci Flow

Abstract: Following Donaldson's oppenness theorem on deforming a conical Kahler-Einstein metric, we prove a parabolic Schauder-type estimate with respect to conical metrics. As a corollary, we show that the conical Kahler-Ricci Flow exists for short time. The key is to establish the relevant heat kernel estimates, where we use the Weber's formula on Bessel function of the second kind and Carslaw's heat kernel representation in \cite{Car}.

Rigidity of generic singularities of mean curvature flow

Abstract: Shrinkers are special solutions of mean curvature flow (MCF) that evolve by rescaling and model the singularities. While there are infinitely many in each dimension, [CM1] showed that the only generic are round cylinders $\SS^k\times \RR^{n-k}$. We prove here that round cylinders are rigid in a very strong sense. Namely, any other shrinker that is sufficiently close to one of them on a large, but compact, set must itself be a round cylinder. To our knowledge, this is the first general rigidity theorem for singularities of a nonlinear geometric flow. We expect that the techniques and ideas developed here have applications to other flows. Our results hold in all dimensions and do not require any a priori smoothness.

Einstein--Weyl geometry, dispersionless Hirota equation and Veronese webs

Abstract: We exploit the correspondence between the three-dimensional Lorentzian Einstein-Weyl geometries of the hyper-CR type, and the Veronese webs to show that the former structures are locally given in terms of solutions to the dispersionless Hirota equation. We also demonstrate how to construct hyper-CR Einstein--Weyl structures by Kodaira deformations of the flat twistor space $T\CP^1$, and how to recover the pencil of Poisson structures in five dimensions illustrating the method by an example of the Veronese web on the Heisenberg group.

The Nahm Pole Boundary Condition

Abstract: The Nahm pole boundary condition for certain gauge theory equations in four and five dimensions is defined by requiring that a solution should have a specified singularity along the boundary In the present paper, we show that this boundary condition is elliptic and has regularity properties analogous to more standard elliptic boundary conditions We also establish a uniqueness theorem for the solution of the relevant equations on a half-space with Nahm pole boundary conditions These results are expected to have a generalization involving knots, with applications to the Jones polynomial and Khovanov homology

$(K,N)$-convexity and the curvature-dimension condition for negative $N$

Abstract: We extend the range of $N$ to negative values in the $(K,N)$-convexity (in the sense of Erbar--Kuwada--Sturm), the weighted Ricci curvature $Ric_N$ and the curvature-dimension condition $CD(K,N)$. We generalize a number of results in the case of $N>0$ to this setting, including Bochner's inequality, the Brunn--Minkowski inequality and the equivalence between $Ric_N \ge K$ and $CD(K,N)$. We also show an expansion bound for gradient flows of Lipschitz $(K,N)$-convex functions.

Geometry of $H$-paracontact metric manifolds

Abstract: We introduce and study $H$-paracontact metric manifolds, that is, paracontact metric manifolds whose Reeb vector field $\xi$ is harmonic. We prove that they are characterized by the condition that $\xi$ is a Ricci eigenvector. We then investigate how harmonicity of the Reeb vector field $\xi$ of a paracontact metric manifold is related to some other relevant geometric properties, like infinitesimal harmonic transformations and paracontact Ricci solitons.

Landmark and Intensity Based Registration with Large Deformations via Quasi-conformal Maps

Abstract: Registration, which aims to find an optimal one-to-one correspondence between different data, is an important problem in various fields. This problem is especially challenging when large deformations occur. In this paper, we present a novel algorithm to obtain diffeomorphic image or surface registrations with large deformations via quasi-conformal maps. The basic idea is to minimize an energy functional involving a Beltrami coefficient term, which measures the distortion of the quasi-conformal map. The Beltrami coefficient effectively controls the bijectivity and smoothness of the registration, even with very large deformations. Using the proposed algorithm, landmark-based registration between images or surfaces can be effectively computed. The obtained registration is guaranteed to be diffeomorphic (1-1 and onto), even with a large deformation or large number of landmark constraints. The proposed algorithm can also be combined with matching intensity (such as image intensity or surface curvature) to improve the accuracy of the registration. Experiments have been carried out on both synthetic and real data. Results demonstrate the efficacy of the proposed algorithm to obtain diffeomorphic registration between images or surfaces.

The Monge-Amp\`ere equation for (n-1)-plurisubharmonic functions on a compact K\"ahler manifold

Abstract: A C^2 function on C^n is called (n-1)-plurisubharmonic in the sense of Harvey-Lawson if the sum of any n-1 eigenvalues of its complex Hessian is nonnegative. We show that the associated Monge-Ampere equation can be solved on any compact Kahler manifold. As a consequence we prove the existence of solutions to an equation of Fu-Wang-Wu, giving Calabi-Yau theorems for balanced, Gauduchon and strongly Gauduchon metrics on compact Kahler manifolds.