Showing papers in "arXiv: Differential Geometry in 1997"

Lie Group Valued Moment Maps

Abstract: We develop a theory of "quasi"-Hamiltonian G-spaces for which the moment map takes values in the group G itself rather than in the dual of the Lie algebra. The theory includes counterparts of Hamiltonian reductions, the Guillemin-Sternberg symplectic cross-section theorem and of convexity properties of the moment map. As an application we obtain moduli spaces of flat connections on an oriented compact 2-manifold with boundary as quasi-Hamiltonian quotients of the space G^2 x ... x G^2.

The moduli space of special Lagrangian submanifolds

Abstract: This paper considers the natural geometric structure on the moduli space of deformations of a compact special Lagrangian submanifold $L^n$ of a Calabi-Yau manifold. From the work of McLean this is a smooth manifold with a natural $L^2$ metric. It is shown that the metric is induced from a local Lagrangian immersion into the product of cohomology groups $H^1(L)\times H^{n-1}(L)$. Using this approach, an interpretation of the mirror symmetry discussed by Strominger, Yau and Zaslow is given in terms of the classical Legendre transform.

Kahler geometry of toric varieties and extremal metrics

Abstract: Recently Guillemin gave an explicit combinatorial way of constructing "toric" Kahler metrics on (symplectic) toric varieties, using only data on the moment polytope. In this paper, differential geometric properties of these metrics are investigated using Guillemin's construction. In particular, a nice combinatorial formula for the scalar curvature is given, and the Euler-Lagrange condition for such "toric" metrics being extremal (in the sense of Calabi) is derived. A construction, due to Calabi, of a 1-parameter family of extremal metrics of non-constant scalar curvature is recast very simply and explicitly. Finally, a curious combinatorial formula for convex polytopes, that follows from the relation between the total integral of the scalar curvature and the wedge product of the first Chern class with a suitable power of the Kahler class, is presented.

Existence results for mean field equations

Abstract: Let $\Omega$ be an annulus. We prove that the mean field equation $-\Delta\psi=\frac{e\sp{-\beta\psi}}{\int\sb{\Omega}e\sp{-\beta\psi}} $ admits a solution with zero boundary for $\beta\in (-16\pi,-8\pi)$. This is a supercritical case for the Moser-Trudinger inequality.

On the Spinor Representation of Surfaces in Euclidean 3-Space

Abstract: The aim of the present paper is to clarify the relationship between immersions of surfaces and solutions of the inhomogeneous Dirac equation. The main idea leading to the description of a surface M^2 by a spinor field is the observation that the restriction to M^2 of any parallel spinor phi on R^3 is (with respect to the inner geometry of M^2) a non-trivial spinor field on M^2 of constant length which is a solution of the inhomogeneous Dirac equation and vice versa.

Gerstenhaber algebras and BV-algebras in Poisson geometry

Abstract: The purpose of this paper is to establish an explicit correspondence between various geometric structures on a vector bundle with some well-known algebraic structures such as Gerstenhaber algebras and BV-algebras. Some applications are discussed. In particular, we found an explicit connection between the Koszul-Brylinski operator of a Poisson manifold and its modular class. As a consequence, we prove that Poisson homology is isomorphic to Poisson cohomology for unimodular Poisson structures.

The Penrose inequality in general relativity and volume comparison theorems involving scalar curvature

Abstract: In this thesis we describe how minimal surface techniques can be used to prove the Penrose inequality in general relativity for two classes of 3-manifolds. We also describe how a new volume comparison theorem involving scalar curvature for 3-manifolds follows from these same techniques.

The structure of stable minimal hypersurfaces in R^n

Abstract: We provide a new topological obstruction for complete stable minimal hypersurfaces in R^n. For $n\geq 4$, we prove that any complete orientable stable hypersurfaces in R^n has only one end. This follows from a more general analytic theorem we prove in the paper.

Double Lie algebroids and second-order geometry, II

Abstract: We complete the construction of the double Lie algebroid of a double Lie groupoid begun in the first paper of this title. We show that the Lie algebroid structure of an LA--groupoid may be prolonged to the Lie algebroid of its Lie groupoid structure; in the case of a double groupoid this prolonged structure for either LA--groupoid is canonically isomorphic to the Lie algebroid structure associated with the other; this extends many canonical isomorphisms associated with iterated tangent and cotangent structures. We also show that the cotangent of a double Lie groupoid is a symplectic double groupoid, and that the side groupoids of any symplectic double groupoid are Poisson groupoids in duality. Thus any double Lie groupoid gives rise to a dual pair of Poisson groupoids.

Differential Rigidity of Anosov Actions of Higher Rank Abelian Groups and Algebraic Lattice Actions

Abstract: We show that most homogeneous Anosov actions of higher rank Abelian groups are locally smoothly rigid (up to an automorphism) This result is the main part in the proof of local smooth rigidity for two very different types of algebraic actions of irreducible lattices in higher rank semisimple Lie groups: (i) the Anosov actions by automorphisms of tori and nil-manifolds, and (ii) the actions of cocompact lattices on Furstenberg boundaries, in particular, projective spaces The main new technical ingredient in the proofs is the use of a proper "non-stationary" generalization of the classical theory of normal forms for local contractions

Duality for Lie-Rinehart algebras and the modular class

Abstract: We introduce a notion of duality for a Lie-Rinehart algebra giving certain bilinear pairings in its cohomology generalizing the usual notions of Poincar\'e duality in Lie algebra cohomology and de Rham cohomology. We show that the duality isomorphisms can be given by a cap product with a suitable fundamental class and hence may be taken natural in any reasonable sense. Thereafter, for a Lie-Rinehart algebra satisfying duality, we introduce a certain intrinsic module which provides a crucial ingredient for the construction of the bilinear pairings. This module determines a certain class, called modular class of the Lie-Rinehart algebra, which lies in a certain Picard group generalizing the abelian group of flat line bundles on a smooth manifold. Finally, we show that a Poisson algebra having suitable properties determines a certain module for the corrresponding Lie-Rinehart algebra and hence modular class whose square yields the module and characteristic class for its Lie-Rinehart algebra mentioned before. In particular, this gives rise to certain bilinear pairings in Poisson homology.

Contact Topology and Hydrodynamics

Abstract: We draw connections between the field of contact topology and the study of Beltrami fields in hydrodynamics on Riemannian manifolds in dimension three. We demonstrate an equivalence between Reeb fields (vector fields which preserve a transverse nowhere-integrable plane field) up to scaling and rotational Beltrami fields on three-manifolds. Thus, we characterise Beltrami fields in a metric-independant manner. This correspondence yields a hydrodynamical reformulation of the Weinstein Conjecture, whose recent solution by Hofer (in several cases) implies the existence of closed orbits for all $C^\infty$ rotational Beltrami flows on $S^3$. This is the key step for a positive solution to the hydrodynamical Seifert Conjecture: all $C^\omega$ steady state flows of a perfect incompressible fluid on $S^3$ possess closed flowlines. In the case of Euler flows on $T^3$, we give general conditions for closed flowlines derived from the homotopy data of the normal bundle to the flow.

Separated nets in Euclidean space and Jacobians of biLipschitz maps

Abstract: We show that there are separated nets in the Euclidean plane which are not biLipschitz equivalent to the integer lattice. The argument is based on the construction of a continuous function which is not the Jacobian of a biLipschitz map.

Dual Teichm\" uller spaces

Abstract: We describe in elementary geometrical terms Teichm\" uller spaces of decorated and holed surfaces. We construct explicit global coordinates on them as well as on the spaces of measured laminations with compact and closed support respectively. We show explicitly that the latter spaces are asymptotically isomorphic to the former. We discuss briefly quantisation of Teichm\" uller spaces and some other application of the constructed approach. The paper does not require any preliminary knowledge of the subject above the Poincar\' e uniformisation theorem.

Topological rigidity of Hamiltonian loops and quantum homology

Abstract: This paper studies the question of when a loop $\phi$ in the group Symp$(M,\omega)$ of symplectomorphisms of a symplectic manifold $(M,\omega)$ is isotopic to a loop that is generated by a time-dependent Hamiltonian function. (Loops with this property are said to be Hamiltonian.) Our main result is that Hamiltonian loops are rigid in the following sense: if $\phi$ is Hamiltonian with respect to $\omega$, and if $\phi'$ is a small perturbation of $\phi$ that preserves another symplectic form $\omega'$, then $\phi'$ is Hamiltonian with respect to $\omega'$. This allows us to get some new information on the structure of the flux group, i.e. the image of $\pi_1(Symp(M,\omega))$ under the flux homomorphism. We give a complete proof of our result for some manifolds, and sketch the proof in general. The argument uses methods developed by Seidel for studying properties of Hamiltonian loops via the quantum homology of $M$.

L^2-torsion of hyperbolic manifolds of finite volume

Abstract: Suppose $\bar{M}$ is a compact connected odd-dimensional manifold with boundary, whose interior $M$ comes with a complete hyperbolic metric of finite volume. We will show that the $L^2$-topological torsion of $\bar{M}$ and the $L^2$-analytic torsion of the Riemannian manifold $M$ are equal. In particular, the $L^2$-topological torsion of $\bar{M}$ is proportional to the hyperbolic volume of $M$, with a constant of proportionality which depends only on the dimension and which is known to be nonzero in dimension 3, 5 and 7. In dimension 3 this proves the conjecture Of Lott and Lueck which gives a complete calculation of the $L^2$-topological torsion of compact $L^2$-acyclic 3-manifolds which admit a geometric torus-decomposition. In an appendix we give a counterexample to an extension of the Cheeger-Mueller theorem to manifolds with boundary: if the metric is not a product near the boundary, in general analytic and topological torsion are not equal, even if the Euler characteristic of the boundary vanishes. Keywords: L^2-torsion, hyperbolic manifolds, 3-manifolds

Quantum Hall Effect on the Hyperbolic Plane

Abstract: In this paper, we study both the continuous model and the discrete model of the Quantum Hall Effect (QHE) on the hyperbolic plane. The Hall conductivity is identified as a geometric invariant associated to an imprimitivity algebra of observables. We define a twisted analogue of the Kasparov map, which enables us to use the pairing between $K$-theory and cyclic cohomology theory, to identify this geometric invariant with a topological index, thereby proving the integrality of the Hall conductivity in this case.

On the Flux Conjectures

Abstract: The ``Flux conjecture'' for symplectic manifolds states that the group of Hamiltonian diffeomorphisms is C^1-closed in the group of all symplectic diffeomorphisms. We prove the conjecture for spherically rational manifolds and for those whose minimal Chern number on 2-spheres either vanishes or is large enough. We also confirm a natural version of the Flux conjecture for symplectic torus actions. In some cases we can go further and prove that the group of Hamiltonian diffeomorphisms is C^0-closed in the identity component of the group of all symplectic diffeomorphisms.

Eigenvalue Estimates for the Dirac Operator on Quaternionic Kaehler Manifolds

Abstract: We consider the Dirac operator on compact quaternionic Kaehler manifolds and prove a lower bound for the spectrum. This estimate is sharp since it is the first eigenvalue of the Dirac operator on the quaternionic projective space.

Seiberg-Witten Theory and Z/2^p actions on spin 4-manifolds

Abstract: Furuta's "10/8ths" theorem gives a bound on the magnitude of the signature of a smooth spin 4-manifold in terms of the second Betti number. We show that, inthe presence of a Z/2 p action, this bound can be strengthened. As applications, we give new genus bounds on classes with divisibility, and we give a classification of involutions on rational cohomology K3's. We utilize the actionof Pin(2) ˜ ×Z/2 p onthe Seiberg-Wittenmoduli space. Our techniques also provide a simplification of the proof of Furuta's theorem.

Foliation by Constant Mean Curvature Spheres on Asymptotically Flat Manifolds

Abstract: In this paper, the existence and uniqueness of foliations by constant mean curvature spheres on asymptotically flat manifolds of nonzero ADM mass in all dimensions were established. (A similar result in the case of positive mass was obtained independently by G. Huisken and S. T. Yau, see the introduction of this paper and their paper in Inv. Math.)

Yamabe Invariants and Spin^c Structures

Abstract: The Yamabe Invariant of a smooth compact manifold is by definition the supremum of the scalar curvatures of unit-volume Yamabe metrics on the manifold. For an explicit infinite class of 4-manifolds, we show that this invariant is positive but strictly less than that of the 4-sphere. This is done by using spin^c Dirac operators to control the lowest eigenvalue of a perturbation of the Yamabe Laplacian. These results dovetail perfectly with those derived from the perturbed Seiberg-Witten equations, but the present method is much more elementary in spirit.

Continuous families of isospectral Riemannian metrics which are not locally isometric

Abstract: Two Riemannian manifolds are said to be isospectral if the associated Laplace-Belttrami operators have the same eigenvalue spectrum. If the manifolds have boundary, one specifies DIrichlet or Neumann isospectrality depending on the boundary conditions imposed on the eigenfunctions. We construct continuous families of (Neumann and Dirichlet) isospectral metrics which have different local geometry on manifolds with boundary in every dimension greater than 6 and also new examples of pairs of closed isospectral manifolds with different local geometry. These examples illustrate for the first time that the Ricci curvature of a Riemannian manifold is not spectrally determined.

On the Lusternik-Schnirelmann category of symplectic manifolds and the Arnold conjecture

Abstract: We prove that the Lusternik-Schnirelmann category $cat(M)$ of a closed symplectic manifold $(M, \omega)$ equals the dimension $dim(M)$ provided that the symplectic cohomology class vanishes on the image of the Hurewicz homomorphism. This holds, in particular, when $\pi_2(M)=0$. The Arnold conjecture asserts that the number of fixed points of a Hamiltonian symplectomorphism of $M$ is greater than or equal to the number of critical points of some function on $M$. A modified form of the conjecture, replacing the latter quantity (via Lusternik-Schnirelmann theory) by $cup(M) + 1$, has been proved recently by various authors using techniques of Floer. The first author has also recently shown that the original form of the conjecture holds when $cat(M) =dim(M)$. Thus, this paper completes the proof of the original Arnold conjecture for closed symplectic manifolds with, for example, $\pi_2(M)=0$.

Irreducible constant mean curvature 1 surfaces in hyperbolic space with positive genus

Abstract: In this work we give a method for constructing a one-parameter family of complete CMC-1 (i.e. constant mean curvature 1) surfaces in hyperbolic 3-space that correspond to a given complete minimal surface with finite total curvature in Euclidean 3-space. We show that this one-parameter family of surfaces with the same symmetry properties exists for all given minimal surfaces satisfying certain conditions. The surfaces we construct in this paper are irreducible, and in the process of showing this, we also prove some results about the reducibility of surfaces. Furthermore, in the case that the surfaces are of genus 0, we are able to make some estimates on the range of the parameter for the one-parameter family.

An Application of Stochastic Flows to Riemannian Foliations

Abstract: A stochastic flow is constructed on a frame bundle adapted to a Riemannian foliation on a compact manifold. The generator A of the resulting transition semigroup is shown to preserve the basic functions and forms, and there is an essentially unique strictly positive smooth function phi satisfying A^* phi = 0. This function is used to perturb the metric, and an application of the ergodic theorem shows that there exists a bundle-like metric for which the basic projection of the mean curvature is basic-harmonic.

On nodal sets for Dirac and Laplace operators

Abstract: We prove that the nodal set (zero set) of a solution of a generalized Dirac equation on a Riemannian manifold has codimension 2 at least. If the underlying manifold is a surface, then the nodal set is discrete. We obtain a quick proof of the fact that the nodal set of an eigenfunction for the Laplace-Beltrami operator on a Riemannian manifold consists of a smooth hypersurface and a singular set of lower dimension. We also see that the nodal set of a $\Delta$-harmonic differential form on a closed manifold has codimension 2 at least; a fact which is not true if the manifold is not closed. Examples show that all bounds are optimal.

Comparison and Rigidity Theorems in Semi-Riemannian Geometry

Abstract: The comparison theory for the Riccati equation satisfied by the shape operator of parallel hypersurfaces is generalized to semi-Riemannian manifolds of arbitrary index, using one-sided bounds on the Riemann tensor which in the Riemannian case correspond to one-sided bounds on the sectional curvatures. Starting from 2-dimensional rigidity results and using an inductive technique, a new class of gap-type rigidity theorems is proved for semi-Riemannian manifolds of arbitrary index, generalizing those first given by Gromov and Greene-Wu. As applications we prove rigidity results for semi-Riemannian manifolds with simply connected ends of constant curvature.

A Schlafli-type formula for convex cores of hyperbolic 3-manifolds

Abstract: In 3-dimensional hyperbolic geometry, the classical Schlafli formula expresses the variation of the volume of a hyperbolic polyhedron in terms of the length of its edges and of the variation of its dihedral angles. We prove a similar formula for the variation of the volume of the convex core of a geometrically finite hyperbolic 3--manifold M, as we vary the hyperbolic metric of M. In this case, the pleating locus of the boundary of the convex core is not constant any more, but we showed in an earlier paper that the variation of the bending of the boundary of the convex core is described by a geodesic lamination with a certain transverse distribution. We prove that the variation of the volume of the convex core is then equal to 1/2 the length of this transverse distribution.

Weyl groups of Hamiltonian manifolds, I

Abstract: We consider a connected compact Lie group K acting on a symplectic manifold M such that a moment map m exists. A pull-back function via m Poisson commutes with all K-invariants. Guillemin-Sternberg raised the problem to find a converse. In this paper, we solve this problem by determining the Poisson commutant of the algebra of K-invariants. It is completely controlled by the image of m and a certain subquotient W_M of the Weyl group of K. The group W_M is also a reflection group and forms a symplectic analogue of the little Weyl group of a symmetric space. The proof rests ultimately on techniques from algebraic geometry. In fact, a major part of the paper is of independent interest: it establishes connectivity and reducedness properties of the fibers of the (complex algebraic) moment map of a complex cotangent bundle.