Showing papers in "arXiv: Differential Geometry in 2006"

Notes on Perelman's papers

Abstract: These are detailed notes on Perelman's papers "The entropy formula for the Ricci flow and its geometric applications" and "Ricci flow with surgery on three-manifolds".

Manifolds with positive curvature operators are space forms

Abstract: We confirm a conjecture of Hamilton: On compact manifolds the normalized Ricci flow evolves metrics with positive curvature operators to limit metrics with constant curvature.

Hardy spaces of differential forms on Riemannian manifolds

Abstract: Let $M$ be a complete connected Riemannian manifold. Assuming that the Riemannian measure is doubling, we define Hardy spaces $H^p$ of differential forms on $M$ and give various characterizations of them, including an atomic decomposition. As a consequence, we derive the $H^p$-boundedness for Riesz transforms on $M$, generalizing previously known results. Further applications, in particular to $H^{\infty}$ functional calculus and Hodge decomposition, are given.

The Srni lectures on non-integrable geometries with torsion

Abstract: This review article intends to introduce the reader to non-integrable geometric structures on Riemannian manifolds and invariant metric connections with torsion, and to discuss recent aspects of mathematical physics--in particular superstring theory--where these naturally appear. Connections with skew-symmetric torsion are exhibited as one of the main tools to understand non-integrable geometries. To this aim a a series of key examples is presented and successively dealt with using the notions of intrinsic torsion and characteristic connection of a $G$-structure as unifying principles. % The General Holonomy Principle bridges over to parallel objects, thus motivating the discussion of geometric stabilizers, with emphasis on spinors and differential forms. Several Weitzenb\"ock formulas for Dirac operators associated with torsion connections enable us to discuss spinorial field equations, such as those governing the common sector of type II superstring theory. They also provide the link to Kostant's cubic Dirac operator.

Two-forms on four-manifolds and elliptic equations

Abstract: We define a general class of elliptic equations for 2-forms on 4-manifolds, of which the complex Monge-Ampere equation is a prototype. We obtain some regularity results and discuss various connections (some speculative) with modern symplectic 4-manifold theory.

Surface group representations with maximal Toledo invariant

Abstract: We develop the theory of maximal representations of the fundamental group of a compact connected oriented surface with boundary, into a group of Hermitian type. For any such representation we define the Toledo invariant, for which we establish properties such as uniform boundedness on the representation variety, additivity under connected sum of surfaces and congruence relations. We thus obtain geometric properties of the maximalrepresentations, that is representations whose Toledo invariant achieves the maximum value: we show that maximal representations have discrete image, are faithful and completely reducible and they always preserve a maximal tube type subdomain. This extends to the case of a general Hermitian group some of the properties of the representations in Teichmuller space, as well as results due to Goldman, Toledo, Hernandez, Bradlow--Garcia-Prada--Gothen. An announcement of these results in the case of surfaces without boundary -- where the role of tube type domains had already been emphasized -- appeared in 2003 by the same authors. The congruence relations for the Toledo invariant involve a rotation number function related to a continuous homogeneous quasimorphism which gives an explicit way to compute the Toledo invariant. This rotation number generalizes constructions due to Ghys, Barge--Ghys, and Clerc--Koufany. We establish moreover properties of boundary maps associated to maximal representations which generalize naturally, for the causal structure of the Shilov boundary, monotonicity properties of quasiconjugations of the circle. This, together with the congruence relations leads to the result that the subset of maximal representations is always real semialgebraic.

The K\"ahler-Ricci flow on surfaces of positive Kodaira dimension

Abstract: The existence of K\"ahler-Einstein metrics on a compact K\"ahler manifold has been the subject of intensive study over the last few decades, following Yau's solution to Calabi's conjecture. The Ricci flow, introduced by Richard Hamilton has become one of the most powerful tools in geometric analysis. We study the K\"ahler-Ricci flow on minimal surfaces of Kodaira dimension one and show that the flow collapses and converges to a unique canonical metric on its canonical model. Such a canonical is a generalized K\"ahler-Einstein metric. Combining the results of Cao, Tsuji, Tian and Zhang, we give a metric classification for K\"aher surfaces with a numerical effective canonical line bundle by the K\"ahler-Ricci flow. In general, we propose a program of finding canonical metrics on canonical models of projective varieties of positive Kodaira dimension.

Some geometric calculations on Wasserstein space

Abstract: We compute the Riemannian connection and curvature for the Wasserstein space of a smooth compact Riemannian manifold.

Multiplier Ideal Sheaves and the K\"ahler-Ricci Flow

Abstract: Multiplier ideal sheaves are constructed as obstructions to the convergence of the K\"ahler-Ricci flow on Fano manifolds, following earlier constructions of Kohn, Siu, and Nadel, and using the recent estimates of Kolodziej and Perelman

Supergroupoids, double structures, and equivariant cohomology

Abstract: Q-groupoids and Q-algebroids are, respectively, supergroupoids and superalgebroids that are equipped with compatible homological vector fields. These new objects are closely related to the double structures of Mackenzie; in particular, we show that Q-groupoids are intermediary objects between Mackenzie's LA-groupoids and double complexes, which include as a special case the simplicial model of equivariant cohomology. There is also a double complex associated to a Q-algebroid, which in the above special case is the BRST model of equivariant cohomology. Other special cases include models for the Drinfel'd double of a Lie bialgebra and Ginzburg's equivariant Poisson cohomology. Finally, a supergroupoid version of the van Est map is used to give a homomorphism from the double complex of a Q-groupoid to that of a Q-algebroid.

Some gradient estimates for the heat equation on domains and for an equation by Perelman

Abstract: In the first part, we derive a sharp gradient estimate for the log of Dirichlet heat kernel and Poisson heat kernel on domains, and a sharpened local Li-Yau gradient estimate that matches the global one. In the second part, without explicit curvature assumptions, we prove a global upper bound for the fundamental solution of an equation introduced by G. Perelman, i.e. the heat equation of the conformal Laplacian under backward Ricci flow. Further, under nonnegative Ricci curvature assumption, we prove a qualitatively sharp, global Gaussian upper bound.

Extremal metrics and K-stability (PhD thesis)

Abstract: In this thesis we study the relationship between the existence of canonical metrics on a complex manifold and stability in the sense of geometric invariant theory. We introduce a modification of K-stability of a polarised variety which we conjecture to be equivalent to the existence of an extremal metric in the polarisation class. A variant for a complete extremal metric on the complement of a smooth divisor is also given. On toric surfaces we prove a Jordan-Holder type theorem for decomposing semistable surfaces into stable pieces. On a ruled surface we compute the infimum of the Calabi functional for the unstable polarisations, exhibiting a decomposition analogous to the Harder-Narasimhan filtration of an unstable vector bundle.

Alexandrov's theorem, weighted Delaunay triangulations, and mixed volumes

Abstract: We present a constructive proof of Alexandrov's theorem regarding the existence of a convex polytope with a given metric on the boundary. The polytope is obtained as a result of a certain deformation in the class of generalized convex polytopes with the given boundary. We study the space of generalized convex polytopes and discover a relation with the weighted Delaunay triangulations of polyhedral surfaces. The existence of the deformation follows from the non-degeneracy of the Hessian of the total scalar curvature of a positively curved generalized convex polytope. The latter is shown to be equal to the Hessian of the volume of the dual generalized polyhedron. We prove the non-degeneracy by generalizing the Alexandrov-Fenchel inequality. Our construction of a convex polytope from a given metric is implemented in a computer program.

Cross Ratios and Identities for Higher Thurston Theory

Abstract: We generalise in this article the Mc Shane-Mirzakhani identities in hyperbolic geometry to arbitrary cross ratios. We give an expression of them in the case of Hitchin representations of surface groups in PSL(n, R) in a suitable choice of Fock-Goncharov coordinates.

Transverse K\"ahler geometry of Sasaki manifolds and toric Sasaki-Einstein manifolds

Abstract: In this paper we study compact Sasaki manifolds in view of transverse Kahler geometry and extend some results in Kahler geometry to Sasaki manifolds. In particular we define integral invariants which obstruct the existence of transverse Kahler metric with harmonic Chern forms. The integral invariant $f_1$ for the first Chern class case becomes an obstruction to the existence of transverse Kahler metric of constant scalar curvature. We prove the existence of transverse Kahler-Ricci solitons (or {\it Sasaki-Ricci soliton}) on compact toric Sasaki manifolds whose basic first Chern form of the normal bundle of the Reeb foliation is positive and the first Chern class of the contact bundle is trivial. We will further show that if $S$ is a compact toric Sasaki manifold with the above assumption then by deforming the Reeb field we get a Sasaki-Einstein structure on $S$. As an application we obtain irregular toric Sasaki-Einstein metrics on the unit circle bundles of the powers of the canonical bundle of the two-point blow-up of the complex projective plane.

Existence and Uniqueness for P-Area Minimizers in the Heisenberg Group

Abstract: In \cite{CHMY04}, we studied $p$-mean curvature and the associated $p$-minimal surfaces in the Heisenberg group from the viewpoint of PDE and differential geometry. In this paper, we look into the problem through the variational formulation. We study a generalized $p$-area and associated ($p$-) minimizers in general dimensions. We prove the existence and investigate the uniqueness of minimizers. Since this is reduced to solving a degenerate elliptic equation, we need to consider the effect of the singular set and this requires a careful study. We define the notion of weak solution and prove that in a certain Sobolev space, a weak solution is a minimizer and vice versa. We also give many interesting examples in dimension 2. An intriguing point is that, in dimension 2, a $C^2$-smooth solution from the PDE viewpoint may not be a minimizer. However, this statement is true for higher dimensions due to the relative smallness of the size of the singular set.

A gradient estimate for all positive solutions of the conjugate heat equation under Ricci flow

Abstract: We establish a point-wise gradient estimate for $all$ positive solutions of the conjugate heat equation. This contrasts to Perelman's point-wise gradient estimate which works mainly for the fundamental solution rather than all solutions. Like Perelman's estimate, the most general form of our gradient estimate does not require any curvature assumption. Moreover, assuming only lower bound on the Ricci curvature, we also prove a localized gradient estimate similar to the Li-Yau estimate for the linear Schr\"odinger heat equation. The main difference with the linear case is that no assumptions on the derivatives of the potential (scalar curvature) are needed. A generalization of Perelman's W-entropy is defined in both the Ricci flow and fixed metric case. We also find a new family of heat kernel estimates.

Test Configurations for K-Stability and Geodesic Rays

Abstract: Let $X$ be a compact complex manifold, $L\to X$ an ample line bundle over $X$, and ${\cal H}$ the space of all positively curved metrics on $L$. We show that a pair $(h_0,T)$ consisting of a point $h_0\in {\cal H}$ and a test configuration $T=({\cal L}\to {\cal X}\to {\bf C})$, canonically determines a weak geodesic ray $R(h_0,T)$ in ${\cal H}$ which emanates from $h_0$. Thus a test configuration behaves like a vector field on the space of K\"ahler potentials ${\cal H}$. We prove that $R$ is non-trivial if the ${\bf C}^\times$ action on $X_0$, the central fiber of $\cal X$, is non-trivial. The ray $R$ is obtained as limit of smooth geodesic rays $R_k\subset{\cal H}_k$, where ${\cal H}_k\subset{\cal H}$ is the subspace of Bergman metrics.

On the Calabi flow

Abstract: We first give a precise statement on the short time existence of the Calabi flow and prove a stability result: any metric near a constant scalar curvature metric will flow to this cscK metric exponentially fast. Secondly, we prove that a compactness theorem in space of the kahler metrics given unifrom Ricci bound and potential bound. As an application, we prove the Calabi flow can be extended once Ricci curvature stays uniformly bounded. Lastly, we prove a removing-sigularity result about a weak constant scalar curveture metric in a punctured ball. One of the main difficulties is that the metric is not assumed to be smooth outside of the singular point.

Killing graphs with prescribed mean curvature

Abstract: It is proved the existence and uniqueness of Killing graphs with prescribed mean curvature in a large class of Riemannian manifolds.

Anti-Self-Dual Conformal Structures in Neutral Signature

Abstract: We review the subject of four dimensional anti-self-dual conformal structures with signature (+ + −−). Both local and global questions are discussed. Most of the material is well known in the literature and we present it in a way which underlines the connection with integrable systems. Some of the results - e.g. the Lax pair characterisation of the     

Smooth Approximation of Lipschitz functions on Riemannian manifolds

Abstract: We show that for every Lipschitz function $f$ defined on a separable Riemannian manifold $M$ (possibly of infinite dimension), for every continuous $\epsilon:M\to (0,+\infty)$, and for every positive number $r>0$, there exists a $C^\infty$ smooth Lipschitz function $g:M\to\mathbb{R}$ such that $|f(p)-g(p)|\leq\epsilon(p)$ for every $p\in M$ and $\textrm{Lip}(g)\leq\textrm{Lip}(f)+r$. Consequently, every separable Riemannian manifold is uniformly bumpable. We also present some applications of this result, such as a general version for separable Riemannian manifolds of Deville-Godefroy-Zizler's smooth variational principle.

Noncommutative Geometry Approach to Principal and Associated Bundles

Abstract: We recast basic topological concepts underlying differential geometry using the language and tools of noncommutative geometry. This way we characterize principal (free and proper) actions by a density condition in (multiplier) C*-algebras. We introduce the concept of piecewise triviality to adapt the standard notion of local triviality to fibre products of C*-algebras. In the context of principal actions, we study in detail an example of a non-proper free action with continuous translation map, and examples of compact principal bundles which are piecewise trivial but not locally trivial, and neither piecewise trivial nor locally trivial, respectively. We show that the module of continuous sections of a vector bundle associated to a compact principal bundle is a cotensor product of the algebra of functions defined on the total space (that are continuous along the base and polynomial along the fibres) with the vector space of the representation. On the algebraic side, we review the formalism of connections for the universal differential algebras. In the differential geometry framework, we consider smooth connections on principal bundles as equivariant splittings of the cotangent bundle, as 1-form-valued derivations of the algebra of smooth functions on the structure group, and as axiomatically given covariant differentiations of functions defined on the total space. Finally, we use the Dirac monopole connection to compute the pairing of the line bundles associated to the Hopf fibration with the cyclic cocycle of integration over S^2.

Two constructions with parabolic geometries

Abstract: This is an expanded version of a series of lectures delivered at the 25th Winter School ``Geometry and Physics'' in Srni. After a short introduction to Cartan geometries and parabolic geometries, we give a detailed description of the equivalence between parabolic geometries and underlying geometric structures. The second part of the paper is devoted to constructions which relate parabolic geometries of different type. First we discuss the construction of correspondence spaces and twistor spaces, which is related to nested parabolic subgroups in the same semisimple Lie group. An example related to twistor theory for Grassmannian structures and the geometry of second order ODE's is discussed in detail. In the last part, we discuss analogs of the Fefferman construction, which relate geometries corresponding different semisimple Lie groups.

Relative $K$-stability and modified $K$-energy on toric manifolds

Abstract: In this paper, we discuss the relative $K$-stability and the modified $K$-energy associated to the Calabi's extremal metric on toric manifolds. We give a sufficient condition in the sense of convex polytopes associated to toric manifolds for both the relative $K$-stability and the properness of modified $K$-energy. In particular, our results hold for toric Fano manifolds with vanishing Futaki-invariant. We also verify our results on the toric Fano surfaces.

Hamilton-Perelman's Proof of the Poincar\'e Conjecture and the Geometrization Conjecture

Abstract: In this paper, we provide an essentially self-contained and detailed account of the fundamental works of Hamilton and the recent breakthrough of Perelman on the Ricci flow and their application to the geometrization of three-manifolds. In particular, we give a detailed exposition of a complete proof of the Poincare conjecture due to Hamilton and Perelman.

Complete Vertical Graphs with Constant Mean Curvature in Semi-Riemannian Warped Products

Abstract: We obtain necessary conditions for the existence of complete vertical graphs of constant mean curvature in the Hyperbolic and Steady State spaces. In the two-dimensional case we prove Bernstein-type results in each of these ambient spaces.

Density theorems for complete minimal surfaces in R^3

Abstract: In this paper we have proved several approximation theorems for the family of minimal surfaces in R^3 that imply, among other things, that complete minimal surfaces are dense in the space of all minimal surfaces endowed with the topology of C^k convergence on compact sets, for any k As a consequence of the above density result, we have been able to produce the first example of a complete proper minimal surface in R^3 with uncountably many ends

Totally umbilic surfaces in homogeneous 3-manifolds

Abstract: We discuss existence and classification of totally umbilic surfaces in the model geometries of Thurston and the Berger spheres. We classify such surfaces in $H^2 \times R$, $S^2 \times R$ and the Sol group. We prove nonexistence in the Berger spheres and in the remaining model geometries other than the space forms.

The stress-energy tensor for biharmonic maps

Abstract: Using Hilbert's criterion, we consider the stress-energy tensor associated to the bienergy functional. We show that it derives from a variational problem on metrics and exhibit the peculiarity of dimension four. First, we use this tensor to construct new examples of biharmonic maps, then classify maps with vanishing or parallel stress-energy tensor and Riemannian immersions whose stress-energy tensor is proportional to the metric.