New monotonicity formulas for Ricci curvature and applications. I

Original manuscript November 21, 2011We prove three new monotonicity formulas for manifolds with a lower Ricci curvature bound and show that they are connected to rate of convergence to tangent cones. In fact, we show that the derivative of each of these three monotone quantities is bounded from below in terms of the Gromov–Hausdorff distance to the nearest cone. The monotonicity formulas are related to the classical Bishop–Gromov volume comparison theorem and Perelman’s celebrated monotonicity formula for the Ricci flow. We will explain the connection between all of these. Moreover, we show that these new monotonicity formulas are linked to a new sharp gradient estimate for the Green function that we prove. This is parallel to the fact that Perelman’s monotonicity is closely related to the sharp gradient estimate for the heat kernel of Li–Yau. In [CM4] one of the monotonicity formulas is used to show uniqueness of tangent cones with smooth cross-sections of Einstein manifolds. Finally, there are obvious parallelisms between our monotonicity and the positive mass theorem of Schoen–Yau and Witten.National Science Foundation (U.S.) (Grant DMS-11040934)National Science Foundation (U.S.). Focused Research Group (Grant DMS 0854774)National Science Foundation (U.S.) (Grant 0932078

A simple proof of Perelman's collapsing theorem for 3-manifolds

We will simplify earlier proofs of Perelman's collapsing theorem for 3-manifolds given by Shioya-Yamaguchi and Morgan-Tian. Among other things, we use Perelman's critical point theory (e.g., multiple conic singularity theory and his fibration theory) for Alexandrov spaces to construct the desired local Seifert fibration structure on collapsed 3-manifolds. The verification of Perelman's collapsing theorem is the last step of Perelman's proof of Thurston's Geometrization Conjecture on the classification of 3-manifolds. Our proof of Perelman's collapsing theorem is almost self-contained, accessible to non-experts and advanced graduate students. Perelman's collapsing theorem for 3-manifolds can be viewed as an extension of implicit function theoremComment: v1: 9 Figures. In this version, we improve the exposition of our arguments in the earlier arXiv version. v2: added one more grap

Polynomial Growth Harmonic Functions on Finitely Generated Abelian Groups

In the present paper, we develop geometric analytic techniques on Cayley graphs of finitely generated abelian groups to study the polynomial growth harmonic functions. We develop a geometric analytic proof of the classical Heilbronn theorem and the recent Nayar theorem on polynomial growth harmonic functions on lattices \mathds{Z}^n that does not use a representation formula for harmonic functions. We also calculate the precise dimension of the space of polynomial growth harmonic functions on finitely generated abelian groups. While the Cayley graph not only depends on the abelian group, but also on the choice of a generating set, we find that this dimension depends only on the group itself.Comment: 15 pages, to appear in Ann. Global Anal. Geo

The mean curvature of cylindrically bounded submanifolds

We give an estimate of the mean curvature of a complete submanifold lying inside a closed cylinder $B(r)\times\R^{\ell}$ in a product Riemannian manifold $N^{n-\ell}\times\R^{\ell}$. It follows that a complete hypersurface of given constant mean curvature lying inside a closed circular cylinder in Euclidean space cannot be proper if the circular base is of sufficiently small radius. In particular, any possible counterexample to a conjecture of Calabion complete minimal hypersurfaces cannot be proper. As another application of our method, we derive a result about the stochastic incompleteness of submanifolds with sufficiently small mean curvature.Comment: First version (December 2008). Final version, including new title (February 2009). To appear in Mathematische Annale

Mean curvature flow in a Ricci flow background

Following work of Ecker, we consider a weighted Gibbons-Hawking-York functional on a Riemannian manifold-with-boundary. We compute its variational properties and its time derivative under Perelman's modified Ricci flow. The answer has a boundary term which involves an extension of Hamilton's Harnack expression for the mean curvature flow in Euclidean space. We also derive the evolution equations for the second fundamental form and the mean curvature, under a mean curvature flow in a Ricci flow background. In the case of a gradient Ricci soliton background, we discuss mean curvature solitons and Huisken monotonicity.Comment: final versio

Doubly connected minimal surfaces and extremal harmonic mappings

The concept of a conformal deformation has two natural extensions: quasiconformal and harmonic mappings. Both classes do not preserve the conformal type of the domain, however they cannot change it in an arbitrary way. Doubly connected domains are where one first observes nontrivial conformal invariants. Herbert Groetzsch and Johannes C. C. Nitsche addressed this issue for quasiconformal and harmonic mappings, respectively. Combining these concepts we obtain sharp estimates for quasiconformal harmonic mappings between doubly connected domains. We then apply our results to the Cauchy problem for minimal surfaces, also known as the Bjorling problem. Specifically, we obtain a sharp estimate of the modulus of a doubly connected minimal surface that evolves from its inner boundary with a given initial slope.Comment: 35 pages, 2 figures. Minor edits, references adde

The area of horizons and the trapped region

This paper considers some fundamental questions concerning marginally trapped surfaces, or apparent horizons, in Cauchy data sets for the Einstein equation. An area estimate for outermost marginally trapped surfaces is proved. The proof makes use of an existence result for marginal surfaces, in the presence of barriers, curvature estimates, together with a novel surgery construction for marginal surfaces. These results are applied to characterize the boundary of the trapped region.Comment: 44 pages, v3: small changes in presentatio

More about Birkhoff's Invariant and Thorne's Hoop Conjecture for Horizons

A recent precise formulation of the hoop conjecture in four spacetime dimensions is that the Birkhoff invariant $\beta$ (the least maximal length of any sweepout or foliation by circles) of an apparent horizon of energy $E$ and area $A$ should satisfy $\beta \le 4 \pi E$. This conjecture together with the Cosmic Censorship or Isoperimetric inequality implies that the length $\ell$ of the shortest non-trivial closed geodesic satisfies $\ell^2 \le \pi A$. We have tested these conjectures on the horizons of all four-charged rotating black hole solutions of ungauged supergravity theories and find that they always hold. They continue to hold in the the presence of a negative cosmological constant, and for multi-charged rotating solutions in gauged supergravity. Surprisingly, they also hold for the Ernst-Wild static black holes immersed in a magnetic field, which are asymptotic to the Melvin solution. In five spacetime dimensions we define $\beta$ as the least maximal area of all sweepouts of the horizon by two-dimensional tori, and find in all cases examined that $\beta(g) \le \frac{16 \pi}{3} E$, which we conjecture holds quiet generally for apparent horizons. In even spacetime dimensions $D=2N+2$, we find that for sweepouts by the product $S^1 \times S^{D-4}$, $\beta$ is bounded from above by a certain dimension-dependent multiple of the energy $E$. We also find that $\ell^{D-2}$ is bounded from above by a certain dimension-dependent multiple of the horizon area $A$. Finally, we show that $\ell^{D-3}$ is bounded from above by a certain dimension-dependent multiple of the energy, for all Kerr-AdS black holes.Comment: 25 page

Non stationary Einstein-Maxwell fields interacting with a superconducting cosmic string

Non stationary cylindrically symmetric exact solutions of the Einstein-Maxwell equations are derived as single soliton perturbations of a Levi-Civita metric, by an application of Alekseev inverse scattering method. We show that the metric derived by L. Witten, interpreted as describing the electrogravitational field of a straight, stationary, conducting wire may be recovered in the limit of a `wide' soliton. This leads to the possibility of interpreting the solitonic solutions as representing a non stationary electrogravitational field exterior to, and interacting with, a thin, straight, superconducting cosmic string. We give a detailed discussion of the restrictions that arise when appropiate energy and regularity conditions are imposed on the matter and fields comprising the string, considered as `source', the most important being that this `source' must necessarily have a non- vanishing minimum radius. We show that as a consequence, it is not possible, except in the stationary case, to assign uniquely a current to the source from a knowledge of the electrogravitational fields outside the source. A discussion of the asymptotic properties of the metrics, the physical meaning of their curvature singularities, as well as that of some of the metric parameters, is also included.Comment: 14 pages, no figures (RevTex