Showing papers in "arXiv: Differential Geometry in 2002"

The entropy formula for the Ricci flow and its geometric applications

Abstract: We present a monotonic expression for the Ricci flow, valid in all dimensions and without curvature assumptions. It is interpreted as an entropy for a certain canonical ensemble. Several geometric applications are given. In particular, (1) Ricci flow, considered on the space of riemannian metrics modulo diffeomorphism and scaling, has no nontrivial periodic orbits (that is, other than fixed points); (2) In a region, where singularity is forming in finite time, the injectivity radius is controlled by the curvature; (3) Ricci flow can not quickly turn an almost euclidean region into a very curved one, no matter what happens far away. We also verify several assertions related to Richard Hamilton's program for the proof of Thurston geometrization conjecture for closed three-manifolds, and give a sketch of an eclectic proof of this conjecture, making use of earlier results on collapsing with local lower curvature bound.

Orbifolds as groupoids: an introduction

Abstract: This is a survey paper based on my talk at the Workshop on Orbifolds and String Theory, the goal of which was to explain the role of groupoids and their classifying spaces as a foundation for the theory of orbifolds.

The intrinsic torsion of SU(3) and G_2 structures

Abstract: We analyse the relationship between the components of the intrinsic torsion of an SU(3) structure on a 6-manifold and a G_2 structure on a 7-manifold. Various examples illustrate the type of SU(3) structure that can arise as a reduction of a metric with holonomy G_2.

Integrability of Poisson brackets

Abstract: We show that various notions of integrability for Poisson brackets are all equivalent, and we give the precise obstructions to integrating Poisson manifolds. We describe the integration as a symplectic quotient, in the spirit of the Poisson sigma-model of Cattaneo and Felder. For regular Poisson manifolds we express the obstructions in terms of variations of symplectic areas. As an application of these results, we show that a Poisson manifold admits a complete symplectic realization if, and only if, it is integrable. We discuss also the integration of submanifolds and Morita equivalence of Poisson manifolds.

Conformal Killing forms on Riemannian manifolds

Abstract: Conformal Killing forms are a natural generalization of conformal vector fields on Riemannian manifolds. They are defined as sections in the kernel of a conformally invariant first order differential operator. We show the existence of conformal Killing forms on nearly Kaehler and weak G_2-manifolds. Moreover, we give a complete description of special conformal Killing forms. A further result is a sharp upper bound on the dimension of the space of conformal Killing forms.

Nearly Kaehler geometry and Riemannian foliations

Abstract: We consider strict and complete nearly Kaehler manifolds with the canonical Hermitian connection. The holonomy representation of the canonical Hermitian connection is studied. We show that a strict and complete nearly Kaehler is locally a Riemannian product of homogenous nearly Kaehler spaces, twistor spaces over quaternionic Kaehler manifolds and 6-dimensional nearly Kaehler manifolds. As an application we obtain structure results for totally geodesic Riemannian foliations admitting a compatible Kaehler structure. Finally, we obtain a classification result for the homogenous case, reducing a conjecture of Wolf and Gray to its 6-dimensional form.

A stable cohomotopy refinement of Seiberg-Witten invariants: I

Abstract: The monopole map defines an element in an equivariant stable cohomotopy group refining the Seiberg-Witten invariant. This first of two articles presents the details of the definition of the stable cohomotopy invariant and discusses its relation to the integer valued Seiberg-Witten invariant.

Families of strong KT structures in six dimensions

Abstract: This paper classifies Hermitian structures on 6-dimensional nilmanifolds M=G/L for which the fundamental 2-form is d d-bar closed, a condition that is shown to depend only on the underlying complex structure J of M. The space of such J is described when G is the complex Heisenberg group, and explicit solutions are obtained from a limacon-shaped curve in the complex plane. Related theory provides examples of various types of Ricci-flat structures.

Hodge cohomology of gravitational instantons

Abstract: We study the space of L^2 harmonic forms on complete manifolds with metrics of fibred boundary or fibred cusp type. These metrics generalize the geometric structures at infinity of several different well-known classes of metrics, including asymptotically locally Euclidean manifolds, the (known types of) gravitational instantons, and also Poincar\'e metrics on Q-rank 1 ends of locally symmetric spaces and on the complements of smooth divisors in K\"ahler manifolds. The answer in all cases is given in terms of intersection cohomology of a stratified compactification of the manifold. The L^2 signature formula implied by our result is closely related to the one proved by Dai [dai] and more generally by Vaillant [Va], and identifies Dai's tau invariant directly in terms of intersection cohomology of differing perversities. This work is also closely related to a recent paper of Carron [Car] and the forthcoming paper of Cheeger and Dai [CD]. We apply our results to a number of examples, gravitational instantons among them, arising in predictions about L^2 harmonic forms in duality theories in string theory.

The basic gerbe over a compact simple Lie group

Abstract: Let $G$ be a compact, simply connected simple Lie group. We give a construction of an equivariant gerbe with connection on $G$, with equivariant 3-curvature representing a generator of $H^3_G(G,\Z)$. Technical tools developed in this context include a gluing construction for gerbes and a theory of equivariant bundle gerbes.

Some properties of the Schouten tensor and applications to conformal geometry

Abstract: The note is about some nonlinear curvature conditions which arise naturally in conformal geometry.

On types of non-integrable geometries

Abstract: We study the types of non-integrable $\mathrm{G}$-structures on Riemannian manifolds. In particular, geometric types admitting a connection with totally skew-symmetric torsion are characterized. 8-dimensional manifolds equipped with a $\Spin(7)$-structure play a special role. Any geometry of that type admits a unique connection with totally skew-symmetric torsion. Under weak conditions on the structure group we prove that this geometry is the only one with this property. Finally, we discuss the automorphism group of a Riemannian manifold with a fixed non-integrable $\mathrm{G}$-structure.

The Bernstein Problem in the Heisenberg Group

Abstract: We establish the following theorem of Bernstein type for the first Heisenberg group: Let S be a C^2 connected H-minimal surface which is a graph over some plane P, then S is either a non-characteristic vertical plane, or its generalized seed curve satisfies a type of constant curvature condition.

Evolution of curves and surfaces by mean curvature

Abstract: This article describes the mean curvature flow, some of the discoveries that have been made about it, and some unresolved questions.

Stability, energy functionals, and K\"ahler-Einstein metrics

Abstract: An explicit seminorm $||f||_{#}$ on the vector space of Chow vectors of projective varieties is introduced, and shown to be a generalized Mabuchi energy functional for Chow varieties. The singularities of the Chow varieties give rise to currents supported on their singular loci, while the regular parts are shown to reproduce the Mabuchi energy functional of the corresponding projective variety. Thus the boundedness from below of the Mabuchi functional, and hence the existence of K\"ahler-Einstein metrics, is related to the behavior of the current $[Y_s]$ and the seminorm $||f||_{#}$ along the orbits of $SL(N+1,{\bf C})$.

Relative Hitchin--Kobayashi correspondences for principal pairs

Abstract: A principal pair consists of a holomorphic principal $G$-bundle together with a holomorphic section of an associated Kaehler fibration. Such objects support natural gauge theoretic equations coming from a moment map condition, and also admit a notion of stability based on Geometric Invariant Theory. The Hitchin--Kobayashi correspondence for principal pairs identifies stability as the condition for the existence of solutions to the equations. In this paper we generalize these features in a way which allows the full gauge group of the principal bundle to be replaced by certain proper subgroups. Such a generalization is needed in order to use principal pairs as a general framework for describing augmented holomorphic bundles. We illustrate our results with applications to well known examples.

Symplectic or contact structures on Lie Groups

Abstract: We study left invariant contact forms and left invariant symplectic forms on Lie groups. We give the classification of all symplectic structures on nilpotent Lie algebras up the dimension 6.

A proof of the Willmore conjecture

Abstract: A proof of the Willmore conjecture is presented. With the help of the global Weierstrass representation the variational problem of the Willmore functional is transformed into a constrained variational problem on the moduli space of all spectral curves corresponding to periodic solutions of the Davey-Stewartson equation. The subsets of this moduli space, which correspond to bounded first integrals, are shown to be compact. With respect to another topology the moduli space is shown to be a Banach manifold. The subset of all periodic solutions of the Davey-Stewartson equation, which correspond to immersion of tori into the three-dimensional Euclidean space, are characterized by a singularity condition on the corresponding spectral curves. This yields a proof of the existence of minimizers for all conformal classes and the determination of the absolute minimum, which is realized by the Clifford torus.

Connections on naturally reductive spaces, their Dirac operator and homogeneous models in string theory

Abstract: Given a reductive homogeneous space M=G/H endowed with a naturally reductive metric, we study the one-parameter family of connections joining the canonical and the Levi-Civita connection (t=0, 1/2). We show that the Dirac operator D^t corresponding to t=1/3 is the so-called ``cubic'' Dirac operator recently introduced by B. Kostant, and derive the formula for its square for any t, thus generalizing the classical Parthasarathy formula on symmetric spaces. Applications include the existence of a new G-invariant first order differential operator on spinors and an eigenvalue estimate for the first eigenvalue of D^{1/3}. This geometric situation can be used for constructing Riemannian manifolds which are Ricci flat and admit a parallel spinor with respect to some metric connection whose torsion T is a 3-form, the geometric model for the common sector of string theories. We present some results about solutions to the string equations and give a detailed discussion of some 5-dimensional example.

Special Lagrangian submanifolds with isolated conical singularities. II. Moduli spaces

Abstract: This is the second in a series of five papers math.DG/0211294, math.DG/0302355, math.DG/0302356, math.DG/0303272 studying special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated singularities at 0. Readers are advised to begin with the final paper math.DG/0303272 which surveys the series, gives examples, and proves some conjectures. In this paper we study the deformation theory of compact SL m-folds X in M with conical singularities. We define the moduli space M_X of deformations of X in M, and construct a natural topology on it. Then we show that M_X is locally homeomorphic to the zeroes of a smooth map \Phi : I --> O between finite-dimensional vector spaces. Here the infinitesimal deformation space I depends only on the topology of X, and the obstruction space O only on the cones C_1,...,C_n at x_1,...,x_n. If the cones C_i are "stable" then O is zero and M_X is a smooth manifold. We also extend our results to families of almost Calabi-Yau structures on M. The first paper math.DG/0211294 laid the foundations for the series, and studied the regularity of X near its singular points. The third and fourth papers math.DG/0302355, math.DG/0302356 construct desingularizations of X, realizing X as the limit of a family N^t of compact, nonsingular SL m-folds in M.

Special K\"ahler-Ricci potentials on compact K\"ahler manifolds

Abstract: A special K\"ahler-Ricci potential on a K\"ahler manifold is any nonconstant $C^\infty$ function $\tau$ such that $J( abla\tau)$ is a Killing vector field and, at every point with $d\tau e 0$, all nonzero tangent vectors orthogonal to $ abla\tau$ and $J( abla\tau)$ are eigenvectors of both $ abla d\tau$ and the Ricci tensor. For instance, this is always the case if $\tau$ is a nonconstant $C^\infty$ function on a K\"ahler manifold $(M,g)$ of complex dimension $m>2$ and the metric $\tilde g=g/\tau^2$, defined wherever $\tau e 0$, is Einstein. (When such $\tau$ exists, $(M,g)$ may be called {\it almost-everywhere conformally Einstein}.) We provide a complete classification of compact K\"ahler manifolds with special K\"ahler-Ricci potentials and use it to prove a structure theorem for compact K\"ahler manifolds of any complex dimension $m>2$ which are almost-everywhere conformally Einstein.

On graphic Bernstein type results in higher codimension

Abstract: Let \Sigma be a minimal submanifold of \R^{n+m} that can be represented as the graph of a smooth map f:\R^n-->\R^m. We apply a formula we derived in the study of mean curvature flow to obtain conditions under which \Sigma must be an affine subspace. Our result covers all known ones in the general case. The conditions are stated in terms of the singular values of $df$.

Subcritical Stein manifolds are split

Abstract: It is shown that every subcritical Stein manifold is deformation equivalent to the product of a Stein manifold with $\C$.

Zoll Manifolds and Complex Surfaces

Abstract: We classify compact surfaces with torsion-free affine connections for which every geodesic is a simple closed curve. In the process, we obtain completely new proofs of all the major results concerning the Riemannian case. In contrast to previous work, our approach is twistor-theoretic, and depends fundamentally on the fact that, up to biholomorphism, there is only one complex structure on CP2.

A Uniformization Theorem Of Complete Noncompact K\"{a}hler Surfaces With Positive Bisectional Curvature

Abstract: In this paper, by combining techniques from Ricci flow and algebraic geometry, we prove the following generalization of the classical uniformization theorem of Riemann surfaces. Given a complete noncompact complex two dimensional K\"ahler manifold $M$ of positive and bounded holomorphic bisectional curvature, suppose its geodesic balls have Euclidean volume growth and its scalar curvature decays to zero at infinity in the average sense, then $M$ is biholomorphic to $\C^2$. During the proof, we also discover an interesting gap phenomenon which says that a K\"ahler manifold as above automatically has quadratic curvature decay at infinity in the average sense.

Generalized Calabi-Yau manifolds

Abstract: A geometrical structure on even-dimensional manifolds is defined which generalizes the notion of a Calabi-Yau manifold and also a symplectic manifold. Such structures are of either odd or even type and can be transformed by the action of both diffeomorphisms and closed 2-forms. In the special case of six dimensions we characterize them as critical points of a natural variational problem on closed forms, and prove that a local moduli space is provided by an open set in either the odd or even cohomology.

Scalar curvature, moment maps and the Deligne Pairing

Abstract: In this paper, we the improve the bound for the moment map derivative proved by Donaldson in his recent proof of the Hilbert-Mumford stability of complex manifolds with constant scalar curvature. The proof depends on the identification of Donaldson's symplectic form with the curvature of a certain Deligne pairing.

Sur l'existence d'une prescription d'ordre naturelle projectivement invariante

Abstract: P.Lecomte has proposed to take into account the covariant derivatives used to build ordering prescriptions for the naturality of transformation properties and has conjectured that there exists an natural ordering prescription for differential operators of any orders between density bundles which in addition is invariant under projective changes of the covariant derivatives. We prove this conjecture by constructing a projectively invariant lift of a torsion-free connexion to a torsion-free connexion on (the positive part of) the total space of the bundle of all $a$-densities for nonzero $a$, by lifting the symbols in a projectively invariant way (they turn out to be in bijection to the space of all $\real^+$-equivariant divergence-free symmetric tensor fields on the total space), and by using the standard ordering procedure (`all the covariant derivatives to the right') on the total space. For Ricci-flat manifolds we show that this ordering prescription coincides --with the appropiate replacements-- with an explicit formula in $\real^m$ obtained by Duval, Lecomte and Ovsienko.

Biquotients with singly generated rational cohomology

Abstract: We classify all biquotients whose rational cohomology rings are generated by one element. As a consequence we show that the Gromoll-Meyer 7-sphere is the only exotic sphere which can be written as a biquotient.

Frobenius Manifolds: Natural submanifolds and induced bi-Hamiltonian structures

Abstract: Submanifolds of Frobenius manifolds are studied. In particular, so-called natural submanifolds are defined and, for semi-simple Frobenius manifolds, classified. These carry the structure of a Frobenius algebra on each tangent space, but will, in general, be curved. The induced curvature is studied, a main result being that these natural submanifolds carry a induced pencil of compatible metrics. It is then shown how one may constrain the bi-Hamiltonian hierarchies associated to a Frobenius manifold to live on these natural submanifolds whilst retaining their, now non-local, bi-Hamiltonian structure.