Showing papers in "arXiv: Differential Geometry in 2005"

Higher gauge theory

Abstract: Just as gauge theory describes the parallel transport of point particles using connections on bundles, higher gauge theory describes the parallel transport of 1-dimensional objects (e.g. strings) using 2-connections on 2-bundles. A 2-bundle is a categorified version of a bundle: that is, one where the fiber is not a manifold but a category with a suitable smooth structure. Where gauge theory uses Lie groups and Lie algebras, higher gauge theory uses their categorified analogues: Lie 2-groups and Lie 2-algebras. We describe a theory of 2-connections on principal 2-bundles and explain how this is related to Breen and Messing's theory of connections on nonabelian gerbes. The distinctive feature of our theory is that a 2-connection allows parallel transport along paths and surfaces in a parametrization-independent way. In terms of Breen and Messing's framework, this requires that the "fake curvature" must vanish. In this paper we summarize the main results of our theory without proofs.

Isometric immersions into 3-dimensional homogeneous manifolds

Abstract: We give a necessary and sufficient condition for a 2-dimensional Riemannian manifold to be locally isometrically immersed into a 3-dimensional homogeneous manifold with a 4-dimensional isometry group. The condition is expressed in terms of the metric, the second fundamental form, and data arising from an ambient Killing field. This class of 3-manifolds includes in particular the Berger spheres, the Heisenberg space Nil(3), the universal cover of the Lie group PSL(2,R) and the product spaces S^2 x R and H^2 x R. We give some applications to constant mean curvature (CMC) surfaces in these manifolds; in particular we prove the existence of a generalized Lawson correspondence, i.e., a local isometric correspondence between CMC surfaces in homogeneous 3-manifolds.

Sharp gradient estimate and Yau's Liouville theorem for the heat equation on noncompact manifolds

Abstract: We derive a sharp, localized version of elliptic type gradient estimates for positive solutions (bounded or not) to the heat equation. These estimates are akin to the Cheng-Yau estimate for the Laplace equation and Hamilton's estimate for bounded solutions to the heat equation on compact manifolds. As applications, we generalize Yau's celebrated Liouville theorem for positive harmonic functions to positive eternal solutions of the heat equation, under certain growth condition. Surprisingly, this Liouville theorem for the heat equation does not hold even in ${\bf R}^n$ without such a condition. We also prove a sharpened long time gradient estimate for the log of heat kernel on noncompact manifolds. This has been an open problem in view of the well known estimates in the compact, short time case.

Uniqueness of the Ricci Flow on Complete Noncompact Manifolds

Abstract: The Ricci flow is an evolution system on metrics. For a given metric as initial data, its local existence and uniqueness on compact manifolds was first established by Hamilton \cite{Ha1}. Later on, De Turck \cite{De} gave a simplified proof. In the later of 80's, Shi \cite{Sh1} generalized the local existence result to complete noncompact manifolds. However, the uniqueness of the solutions to the Ricci flow on complete noncompact manifolds is still an open question. Recently it was found that the uniqueness of the Ricci flow on complete noncompact manifolds is important in the theory of the Ricci flow with surgery. In this paper, we give an affirmative answer for the uniqueness question. More precisely, we prove that the solution of the Ricci flow with bounded curvature on a complete noncompact manifold is unique.

The ambient obstruction tensor and Q-curvature

Abstract: It is shown that the variational derivative of the integral of Branson's Q-curvature is the ambient obstruction tensor of Fefferman-Graham. A classification of irreducible conformally invariant tensors modulo quadratic and higher degree terms in curvature is established.

New aspects of the ddc-lemma

Abstract: We produce examples of generalized complex structures on manifolds by generalizing results from symplectic and complex geometry. We produce generalized complex structures on symplectic fibrations over a generalized complex base. We study in some detail different invariant generalized complex structures on compact Lie groups and provide a thorough description of invariant structures on nilmanifolds, achieving a classification on 6-nilmanifolds. We study implications of the `dd^c-lemma' in the generalized complex setting. Similarly to the standard dd^c-lemma, its generalized version induces a decomposition of the cohomology of a manifold and causes the degeneracy of the spectral sequence associated to the splitting d = \del + \delbar at E_1. But, in contrast with the dd^c-lemma, its generalized version is not preserved by symplectic blow-up or blow-down (in the case of a generalized complex structure induced by a symplectic structure) and does not imply formality.

Hamiltonian 2-forms in Kahler geometry, III Extremal metrics and stability

Abstract: This paper concerns the explicit construction of extremal Kaehler metrics on total spaces of projective bundles, which have been studied in many places. We present a unified approach, motivated by the theory of hamiltonian 2-forms (as introduced and studied in previous papers in the series) but this paper is largely independent of that theory. We obtain a characterization, on a large family of projective bundles, of those `admissible' Kaehler classes (i.e., the ones compatible with the bundle structure in a way we make precise) which contain an extremal Kaehler metric. In many cases, such as on geometrically ruled surfaces, every Kaehler class is admissible. In particular, our results complete the classification of extremal Kaehler metrics on geometrically ruled surfaces, answering several long-standing questions. We also find that our characterization agrees with a notion of K-stability for admissible Kaehler classes. Our examples and nonexistence results therefore provide a fertile testing ground for the rapidly developing theory of stability for projective varieties, and we discuss some of the ramifications. In particular we obtain examples of projective varieties which are destabilized by a non-algebraic degeneration.

Geometry of the Weil-Petersson completion of Teichmüller space

Abstract: We present a view of the current understanding of the geometry of Weil-Petersson (WP) geodesics on the completion of the Teichm\"uller space We sketch a collection of results by other authors and then proceed to develop the properties of the WP CAT(0) geometry Our approach includes a simplified proof of the Masur-Wolf theorem, a classification of flats and of geodesic limits

Positively Curved Cohomogeneity One Manifolds and 3-Sasakian Geometry

Abstract: We give an exhaustive description of all simply connected odd dimensional cohomogeneity one manifolds that can possibly support an invariant metric with positive sectional curvature. Among the known examples of odd dimensional manifolds with positive curvature, apart from spheres, there are two infinite families among the 7-dimensional Eschenburg spaces and 13-dimensional Bazaikin spaces and one isolated 7-dimensional Berger space with this property. In addition to these examples, it turns out that only one isolated 7-manifold, and two infinite 7-dimensional families, potentially admit invariant cohomogeneity one metrics of positive curvature.

Stability of translating solutions to mean curvature flow

Abstract: We prove stability of rotationally symmetric translating solutions to mean curvature flow. For initial data that converge spatially at infinity to such a soliton, we obtain convergence for large times to that soliton without imposing any decay rates.

Boundary regularity for the Monge-Ampere and affine maximal surface equations

Abstract: In this paper, we prove global second derivative estimates for solutions of the Dirichlet problem for the Monge-Ampere equation when the inhomogeneous term is only assumed to be Holder continuous. As a consequence of our approach, we also establish the existence and uniqueness of globally smooth solutions to the second boundary value problem for the affine maximal surface equation and affine mean curvature equation.

Area-stationary surfaces in the Heisenberg group H^1

Abstract: We use variational arguments to introduce a notion of mean curvature for surfaces in the Heisenberg group H^1 endowed with its Carnot-Carath\'eodory distance. By analyzing the first variation of area, we characterize C^2 stationary surfaces for the area as those with mean curvature zero (or constant if a volume-preserving condition is assumed) and such that the characteristic curves meet orthogonally the singular curves. Moreover, a Minkowski type formula relating the area, the mean curvature, and the volume is obtained for volume-preserving area-stationary surfaces enclosing a given region. As a consequence of the characterization of area-stationary surfaces, we refine previous Bernstein type theorems in order to describe entire area-stationary graphs over the xy-plane in H^1. A calibration argument shows that these graphs are globally area-minimizing. Finally, by using the known description of the singular set, the characterization of area-stationary surfaces, and the ruling property of constant mean curvature surfaces, we prove our main results where we classify volume-preserving area-stationary surfaces in H^1 with non-empty singular set. In particular, we deduce the following counterpart to Alexandrov uniqueness theorem in Euclidean space: any compact, connected, C^2 surface in H^1 area-stationary under a volume constraint must be congruent with a rotationally symmetric sphere obtained as the union of all the geodesics of the same curvature joining two points. As a consequence, we solve the isoperimetric problem in H^1 assuming C^2 smoothness of the solutions.

Instantons, Poisson structures and generalized Kaehler geometry

Abstract: Using the idea of a generalized Kaehler structure, which is a pair of commuting generalized complex structures, we construct bihermitian metrics on the projective plane and the product of two projective lines, and show that any such structure on a compact 4-manifold M defines one on the moduli space of anti-self-dual connections on a fixed principal bundle over M. We highlight the role of holomorphic Poisson structures in all these constructions.

Laplacian operators and Q-curvature on conformally Einstein manifolds

Abstract: A new definition of canonical conformal differential operators $P_k$ ($k=1,2,...)$, with leading term a $k^{\rm th}$ power of the Laplacian, is given for conformally Einstein manifolds of any signature. These act between density bundles and, more generally, between weighted tractor bundles of any rank. By construction these factor into a power of a fundamental Laplacian associated to Einstein metrics. There are natural conformal Laplacian operators on density bundles due to Graham-Jenne-Mason-Sparling (GJMS). It is shown that on conformally Einstein manifolds these agree with the $P_k$ operators and hence on Einstein manifolds the GJMS operators factor into a product of second order Laplacian type operators. In even dimension $n$ the GJMS operators are defined only for $1\leq k\leq n/2$ and so, on conformally Einstein manifolds, the $P_{k}$ give an extension of this family of operators to operators of all even orders. For $n$ even and $k>n/2$ the operators $P_k$ are given by a natural formula in terms of an Einstein metric but are not natural as conformally invariant operators. They are shown to be nevertheless canonical objects on conformally Einstein structures. There are generalisations of these results to operators between weighted tractor bundles. It is shown that on Einstein manifolds the Branson Q-curvature is constant and an explicit formula for the constant is given in terms of the scalar curvature. As part of development, conformally invariant tractor equations equivalent to the conformal Killing equation are presented.

Cohomogeneity one actions on noncompact symmetric spaces of rank one

Abstract: We classify, up to orbit equivalence, all cohomogeneity one actions on the hyperbolic planes over the complex, quaternionic and Cayley numbers, and on the complex hyperbolic spaces of dimension greater than two. For the quaternionic hyperbolic spaces of dimension greater than two we reduce the classification problem to a problem in quaternionic linear algebra and obtain partial results. For real hyperbolic spaces, this classification problem was essentially solved by Elie Cartan.

Discrete differential geometry. Consistency as integrability

Abstract: A new field of discrete differential geometry is presently emerging on the border between differential and discrete geometry. Whereas classical differential geometry investigates smooth geometric shapes (such as surfaces), and discrete geometry studies geometric shapes with finite number of elements (such as polyhedra), the discrete differential geometry aims at the development of discrete equivalents of notions and methods of smooth surface theory. Current interest in this field derives not only from its importance in pure mathematics but also from its relevance for other fields like computer graphics. Recent progress in discrete differential geometry has lead, somewhat unexpectedly, to a better understanding of some fundamental structures lying in the basis of the classical differential geometry and of the theory of integrable systems. The goal of this book is to give a systematic presentation of current achievements in this field.

Some numerical results in complex differential geometry

Abstract: The first part of this paper discusses general procedures for finding numerical approximations to distinguished Kahler metrics, such as Calabi-Yau metrics, on complex projective manifolds. These procedures are closely related to ideas from Geometric Invariant Theory, and to the asymptotics of high powers of positive line bundles. In the core of the paper these ideas are illustrated by detailed numerical results for a particular K3 surface.

Dirac structures, momentum maps, and quasi-Poisson manifolds

Abstract: We extend the correspondence between Poisson maps and actions of symplectic groupoids, which generalizes the one between momentum maps and Hamiltonian actions, to the realm of Dirac geometry. As an example, we show how Hamiltonian quasi-Poisson manifolds fit into this framework by constructing an “inversion” procedure relating quasi-Poisson bivectors to twisted Dirac structures.

Self-shrinkers of the mean curvature flow in arbitrary codimension

Abstract: For hypersurfaces of dimension greater than one, Huisken showed that compact self-shrinkers of the mean curvature flow with positive scalar mean curvature are spheres. We will prove the following extension: A compact self-similar solution in arbitrary codimension and of dimension greater than one is spherical, i.e. contained in a sphere, if and only if the mean curvature vector \be H\ee is non-vanishing and the principal normal \be u\ee is parallel in the normal bundle. We also give a classification of complete noncompact self-shrinkers of that type.

Mass under the Ricci flow

Abstract: In this paper, we study the change of the ADM mass of an ALE space along the Ricci flow. Thus we first show that the ALE property is preserved under the Ricci flow. Then, we show that the mass is invariant under the flow in dimension three (similar results hold in higher dimension with more assumptions). A consequence of this result is the following. Let $(M,g)$ be an ALE manifold of dimension $n=3$. If $m(g) eq 0$, then the Ricci flow starting at $g$ can not have Euclidean space as its (uniform) limit.

Special metric structures and closed forms

Abstract: In recent work, N. Hitchin described special geometries in terms of a variational problem for closed generic $p$-forms. In particular, he introduced on 8-manifolds the notion of an integrable $PSU(3)$-structure which is defined by a closed and co-closed 3-form. In this thesis, we first investigate this $PSU(3)$-geometry further. We give necessary conditions for the existence of a topological $PSU(3)$-structure (that is, a reduction of the structure group to $PSU(3)$ acting through its adjoint representation). We derive various obstructions for the existence of a topological reduction to $PSU(3)$. For compact manifolds, we also find sufficient conditions if the $PSU(3)$-structure lifts to an $SU(3)$-structure. We find non-trivial, (compact) examples of integrable $PSU(3)$-structures. Moreover, we give a Riemannian characterisation of topological $PSU(3)$-structures through an invariant spinor valued 1-form and show that the $PSU(3)$-structure is integrable if and only if the spinor valued 1-form is harmonic with respect to the twisted Dirac operator. Secondly, we define new generalisations of integrable $G_2$- and $Spin(7)$-manifolds which can be transformed by the action of both diffeomorphisms and 2-forms. These are defined by special closed even or odd forms. Contraction on the vector bundle $Toplus T^*$ defines an inner product of signature $(n,n)$, and even or odd forms can then be naturally interpreted as spinors for a spin structure on $Toplus T^*$. As such, the special forms we consider induce reductions from $Spin(7,7)$ or $Spin(8,8)$ to a stabiliser subgroup conjugate to $G_2 times G_2$ or $Spin(7) times Spin(7)$. They also induce a natural Riemannian metric for which we can choose a spin structure. Again we state necessary and sufficient conditions for the existence of such a reduction by means of spinors for a spin structure on $T$. We classify topological $G_2 times G_2$-structures up to vertical homotopy. Forms stabilised by $G_2 times G_2$ are generic and an integrable structure arises as the critical point of a generalised variational principle. We prove that the integrability conditions on forms imply the existence of two linear metric connections whose torsion is skew, closed and adds to 0. In particular we show these integrability conditions to be equivalent to the supersymmetry equations on spinors in supergravity theory of type IIA/B with NS-NS background fields. We explicitly determine the Ricci-tensor and show that over compact manifolds, only trivial solutions exist. Using the variational approach we derive weaker integrability conditions analogous to weak holonomy $G_2$. Examples of generalised $G_2$- and $Spin(7)$ structures are constructed by the device of T-duality.

The space of embedded minimal surfaces of fixed genus in a 3-manifold V; Fixed genus

Abstract: This paper is the fifth and final in a series on embedded minimal surfaces. Following our earlier papers on disks, we prove here two main structure theorems for non-simply connected embedded minimal surfaces of any given fixed genus. The first of these asserts that any such surface without small necks can be obtained by gluing together two oppositely--oriented double spiral staircases. The second gives a pair of pants decomposition of any such surface when there are small necks, cutting the surface along a collection of short curves. After the cutting, we are left with graphical pieces that are defined over a disk with either one or two sub--disks removed (a topological disk with two sub--disks removed is called a pair of pants). Both of these structures occur as different extremes in the two-parameter family of minimal surfaces known as the Riemann examples. The results of [CM3]--[CM6] have already been used by many authors; see, e.g., the surveys [MeP], [P], [Ro] and the introduction in [CM6] for some of these applications. There is much current research on minimal surfaces with infinite topology. Some of the results of the present paper were announced previously and have already been widely used to study infinite topology minimal surfaces; see, e.g., [MeP], [MePRs1], [MePRs2], [MePRs3], and [P].

Constant mean curvature surfaces in sub-Riemannian geometry

Abstract: We investigate the minimal and isoperimetric surface problems in a large class of sub-Riemannian manifolds, the so-called Vertically Rigid spaces. We construct an adapted connection for such spaces and, using the variational tools of Bryant, Griffiths and Grossman, derive succinct forms of the Euler-Lagrange equations for critical points for the associated variational problems. Using the Euler-Lagrange equations, we show that minimal and isoperimetric surfaces satisfy a constant horizontal mean curvature conditions away from characteristic points. Moreover, we use the formalism to construct a horizontal second fundamental form, $II_0$, for vertically rigid spaces and, as a first application, use $II_0$ to show that minimal surfaces cannot have points of horizontal positive curvature and, that minimal surfaces in Carnot groups cannot be locally horizontally geometrically convex. We note that the convexity condition is distinct from others currently in the literature.

Minimal surfaces in the roto-translation group with applications to a neuro-biological image completion model

Abstract: We investigate solutions to the minimal surface problem with Dirichlet boundary conditions in the roto-translation group equipped with a subRiemannian metric. By work of G. Citti and A. Sarti, such solutions are amodal completions of occluded visual data when using a model of the first layer of the visual cortex. Using a characterization of smooth minimal surfaces as ruled surfaces, we give a method to compute a minimal spanning surface given fixed boundary data presuming such a surface exists. Moreover, we describe a number of obstructions to existence and uniqueness but also show that under suitable conditions, smooth minimal spanning surfaces with good properties exist. Not only does this provide an explicit realization of the disocclusion process for the neurobiological model, but it also has application to contructing disocclusion algorithms in digital image processing.

Differential Geometry, Lie Groups and Symmetric Spaces over General Base Fields and Rings

Abstract: The aim of this work is to lay the foundations of differential geometry and Lie theory over the general class of topological base fields and -rings for which a differential calculus has been developed in recent work (collaboration with H. Gloeckner and K.-H. Neeb), without any restriction on the dimension or on the characteristic. Two basic features distinguish our approach from the classical real (finite or infinite dimensional) theory, namely the interpretation of tangent- and jet functors as functors of scalar extensions and the introduction of multilinear bundles and multilinear connections which generalize the concept of vector bundles and linear connections.

Blowing up K\"{a}hler manifolds with constant scalar curvature II

Abstract: In this paper we continue our study about the existence of Kaehler metrics of constant scalar curvature (Kcsc) on blow ups at points of compact manifolds with Kcsc metrics started in math.DG/0411522. In this second part we deal with the case of base manifolds with holomorphic vector fields and we give sufficient conditions for the position of points to be blown up to preserve the Kcsc property. These results are obtained by a gluing procedure. We give explicit examples of our construction, in particular getting optimal results in the cases of P^n and P^n x M, where M is a Kcsc compact manifold with discrete automorphism group.

Compact Clifford-Klein forms of symmetric spaces -- revisited

Abstract: This article discusses the existence problem of a compact quotient of a symmetric space by a properly discontinuous group with emphasis on the non-Riemannian case. Discontinuous groups are not always abundant in a homogeneous space $G/H$ if $H$ is non-compact. The first half of the article elucidates general machinery to study discontinuous groups for $G/H$, followed by the most update and complete list of symmetric spaces with/without compact quotients. In the second half, as applications of general theory, we prove: (i) there exists a 15 dimensional compact pseudo-Riemannian manifold of signature $(7,8)$ with constant curvature, (ii) there exists a compact quotient of the complex sphere of dimension 1, 3 and 7, and (iii) there exists a compact quotient of the tangential space form of signature $(p,q)$ if and only if $p$ is smaller than the Hurwitz-Radon number of $q$.

Rotationally invariant hypersurfaces with constant mean curvature in the Heisenberg group H^n

Abstract: In this paper we study sets in the $n$-dimensional Heisenberg group $\hhn$ which are critical points, under a volume constraint, of the sub-Riemannian perimeter associated to the distribution of horizontal vector fields in $\hhn$. We define a notion of mean curvature for hypersurfaces and we show that the boundary of a stationary set is a constant mean curvature (CMC) hypersurface. Our definition coincides with previous ones. Our main result describes which are the CMC hypersurfaces of revolution in $\hhn$. The fact that such a hypersurface is invariant under a compact group of rotations allows us to reduce the CMC partial differential equation to a system of ordinary differential equations. The analysis of the solutions leads us to establish a counterpart in the Heisenberg group of the Delaunay classification of constant mean curvature hypersurfaces of revolution in the Euclidean space. Hence we classify the rotationally invariant isoperimetric sets in $\hhn$.

Comparison Theorems in Finsler Geometry and their Applications

Abstract: We prove Hessian comparison theorems, Laplacian comparison theorems and volume comparison theorems of Finsler manifolds under various curvature conditions. As applications, we derive Mckean type theorems for the first eigenvalue of Finsler manifolds, as well as generalize a result on fundamental group due to Milnor to Finsler manifolds.

Logarithmic growth of systole of arithmetic Riemann surfaces along congruence subgroups

Abstract: We apply a study of orders in quaternion algebras, to the differential geometry of Riemann surfaces. The least length of a closed geodesic on a hyperbolic surface is called its systole, and denoted syspi_1. P. Buser and P. Sarnak constructed Riemann surfaces X whose systole behaves logarithmically in the genus g(X). The Fuchsian groups in their examples are principal congruence subgroups of a fixed arithmetic group with rational trace field. We generalize their construction to principal congruence subgroups of arbitrary arithmetic surfaces. The key tool is a new trace estimate valid for an arbitrary ideal in a quaternion algebra. We obtain a particularly sharp bound for a principal congruence tower of Hurwitz surfaces (PCH), namely the 4/3-bound syspi_1(X_{\PCH}) > 4/3 \log(g(X_{\PCH})). Similar results are obtained for the systole of hyperbolic 3-manifolds, relative to their simplicial volume.