Search

Einstein gravity in both 3 and 4 dimensions, as well as some interesting generalizations, can be written as gauge theories in which the connection is a Cartan connection for geometry modeled on a symmetric space. The relevant models in 3 dimensions include Einstein gravity in Chern-Simons form, as well as a new formulation of topologically massive gravity, with arbitrary cosmological constant, as a single constrained Chern-Simons action. In 4 dimensions the main model of interest is MacDowell-Mansouri gravity, generalized to include the Immirzi parameter in a natural way. I formulate these theories in Cartan geometric language, emphasizing also the role played by the symmetric space structure of the model. I also explain how, from the perspective of these Cartan-geometric formulations, both the topological mass in 3d and the Immirzi parameter in 4d are the result of non-simplicity of the Lorentz Lie algebra so(3,1) and its relatives. Finally, I suggest how the language of Cartan geometry provides a guiding principle for elegantly reformulating any 'gauge theory of geometry'.

A Schottky group in PSL(2, C) induces an open hyperbolic handlebody and its ideal boundary is a closed orientable surface S whose genus is equal to the rank of the Schottky group. This boundary surface is equipped with a (complex) projective structure and its holonomy representation is an epimorphism from pi_1(S) to the Schottky group. We will show that an arbitrary projective structure with the same holonomy representation is obtained by (2 pi-)grafting the basic structure described above.

Tractor Calculus is a powerful tool for analyzing Weyl invariance; although fundamentally linked to the Cartan connection, it may also be arrived at geometrically by viewing a conformal manifold as the space of null rays in a Lorentzian ambient space. For dimension d conformally flat manifolds we show that the (d+2)-dimensional Fefferman--Graham ambient space corresponds to the momentum space of a massless scalar field. Hence on the one hand the null cone parameterizes physical momentum excitations, while on the other hand, null rays correspond to points in the underlying conformal manifold. This allows us to identify a fundamental set of tractor operators with the generators of conformal symmetries of a scalar field theory in a momentum representation. Moreover, these constitute the minimal representation of the non-compact conformal Lie symmetry algebra of the scalar field with Kostant--Kirillov dimension d+1. Relaxing the conformally flat requirement, we find that while the conformal Lie algebra of tractor operators is deformed by curvature corrections, higher relations in the enveloping algebra corresponding to the minimal representation persist. We also discuss potential applications of these results to physics and conformal geometry.

In this article, we study the geodesic problem in a generalized metric space, in which the distance function satisfies a relaxed triangle inequality $d(x,y)\leq \sigma (d(x,z)+d(z,y))$ for some constant $\sigma \geq 1$, rather than the usual triangle inequality. Such a space is called a quasimetric space. We show that many well-known results in metric spaces (e.g. Ascoli-Arzel\`{a} theorem) still hold in quasimetric spaces. Moreover, we explore conditions under which a quasimetric will induce an intrinsic metric. As an example, we introduce a family of quasimetrics on the space of atomic probability measures. The associated intrinsic metrics induced by these quasimetrics coincide with the $d_{\alpha}$ metric studied early in the study of branching structures arisen in ramified optimal transportation. An optimal transport path between two atomic probability measures typically has a "tree shaped" branching structure. Here, we show that these optimal transport paths turn out to be geodesics in these intrinsic metric spaces.

Deser and Nepomechie established a relationship between masslessness and rigid conformal invariance by coupling to a background metric and demanding local Weyl invariance, a method which applies neither to massive theories nor theories which rely upon gauge invariances for masslessness. We extend this method to describe massive and gauge invariant theories using Weyl invariance. The key idea is to introduce a new scalar field which is constant when evaluated at the scale corresponding to the metric of physical interest. This technique relies on being able to efficiently construct Weyl invariant theories. This is achieved using tractor calculus--a mathematical machinery designed for the study of conformal geometry. From a physics standpoint, this amounts to arranging fields in multiplets with respect to the conformal group but with novel Weyl transformation laws. Our approach gives a mechanism for generating masses from Weyl weights. Breitenlohner--Freedman stability bounds for Anti de Sitter theories arise naturally as do direct derivations of the novel Weyl invariant theories given by Deser and Nepomechie. In constant curvature spaces, partially massless theories--which rely on the interplay between mass and gauge invariance--are also generated by our method. Another simple consequence is conformal invariance of the maximal depth partially massless theories. Detailed examples for spins s<=2 are given including tractor and component actions, on-shell and off-shell approaches and gauge invariances. For all spins s>=2 we give tractor equations of motion unifying massive, massless, and partially massless theories.

For each g greater than one there is a 3-manifold with two genus g Heegaard splittings that require g stabilizations to become equivalent. Previously known examples required at most one stabilization. Control of families of Heegaard surfaces is obtained through a deformation to harmonic maps.

We present supersymmetric, curved space, quantum mechanical models based on deformations of a parabolic subalgebra of osp(2p+2|Q). The dynamics are governed by a spinning particle action whose internal coordinates are Lorentz vectors labeled by the fundamental representation of osp(2p|Q). The states of the theory are tensors or spinor-tensors on the curved background while conserved charges correspond to the various differential geometry operators acting on these. The Hamiltonian generalizes Lichnerowicz's wave/Laplace operator. It is central, and the models are supersymmetric whenever the background is a symmetric space, although there is an osp(2p|Q) superalgebra for any curved background. The lowest purely bosonic example (2p,Q)=(2,0) corresponds to a deformed Jacobi group and describes Lichnerowicz's original algebra of constant curvature, differential geometric operators acting on symmetric tensors. The case (2p,Q)=(0,1) is simply the {\cal N}=1 superparticle whose supercharge amounts to the Dirac operator acting on spinors. The (2p,Q)=(0,2) model is the {\cal N}=2 supersymmetric quantum mechanics corresponding to differential forms. (This latter pair of models are supersymmetric on any Riemannian background.) When Q is odd, the models apply to spinor-tensors. The (2p,Q)=(2,1) model is distinguished by admitting a central Lichnerowicz-Dirac operator when the background is constant curvature. The new supersymmetric models are novel in that the Hamiltonian is not just a square of super charges, but rather a sum of commutators of supercharges and commutators of bosonic charges. These models and superalgebras are a very useful tool for any study involving high rank tensors and spinors on manifolds.

We provide the details for Gromov's proof of Stallings' theorem on groups with infinitely many ends using harmonic functions. The main technical result of the paper is a compactness theorem for a certain family of harmonic functions.

In this paper, we compute the Gerstenhaber bracket on the Hoch-schild cohomology of $C^\infty(M)\rtimes G$ for a finite group $G$ acting on a compact manifold $M$. Using this computation, we obtain geometric descriptions for all noncommutative Poisson structures on $C^\infty(M)\rtimes G$ when $M$ is a symplectic manifold. We also discuss examples of deformation quantizations of these noncommutative Poisson structures.

We investigate several integer invariants of curves in 3-space. We demonstrate relationships of these invariants to crossing number and to total curvature.

We study side-lengths of triangles in path metric spaces. We prove that unless such a space X is bounded, or quasi-isometric to line or half-line, every triple of real numbers satisfying the strict triangle inequalities, is realized by the side-lengths of a triangle in X. We construct an example of a complete path metric space quasi-isometric to the Euclidean plane, for which every degenerate triangle has one side which is shorter than a certain uniform constant.

We establish a version of the bottleneck conjecture, which in turn implies a partial solution to the Mahler conjecture on the product $v(K) = (\Vol K)(\Vol K^\circ)$ of the volume of a symmetric convex body $K \in \R^n$ and its polar body $K^\circ$. The Mahler conjecture asserts that the Mahler volume $v(K)$ is minimized (non-uniquely) when $K$ is an $n$-cube. The bottleneck conjecture (in its least general form) asserts that the volume of a certain domain $K^\diamond \subseteq K \times K^\circ$ is minimized when $K$ is an ellipsoid. It implies the Mahler conjecture up to a factor of $(\pi/4)^n \gamma_n$, where $\gamma_n$ is a monotonic factor that begins at $4/\pi$ and converges to $\sqrt{2}$. This strengthens a result of Bourgain and Milman, who showed that there is a constant $c$ such that the Mahler conjecture is true up to a factor of $c^n$. The proof uses a version of the Gauss linking integral to obtain a constant lower bound on $\Vol K^\diamond$, with equality when $K$ is an ellipsoid. It applies to a more general conjecture concerning the join of any two necks of the pseudospheres of an indefinite inner product space. Because the calculations are similar, we will also analyze traditional Gauss linking integrals in the sphere $S^{n-1}$ and in hyperbolic space $H^{n-1}$.

We consider Gromov-Thurston examples of negatively curved n-manifolds which do not admit metrics of constant sectional curvature. We show that for each n some of the Gromov-Thurston manifolds admit strictly convex real-projective structures.

Connections on principal bundles play a fundamental role in expressing the equations of motion for mechanical systems with symmetry in an intrinsic fashion. A discrete theory of connections on principal bundles is constructed by introducing the discrete analogue of the Atiyah sequence, with a connection corresponding to the choice of a splitting of the short exact sequence. Equivalent representations of a discrete connection are considered, and an extension of the pair groupoid composition, that takes into account the principal bundle structure, is introduced. Computational issues, such as the order of approximation, are also addressed. Discrete connections provide an intrinsic method for introducing coordinates on the reduced space for discrete mechanics, and provide the necessary discrete geometry to introduce more general discrete symmetry reduction. In addition, discrete analogues of the Levi-Civita connection, and its curvature, are introduced by using the machinery of discrete exterior calculus, and discrete connections.

In this note we study constant mean curvature surfaces in asymptotically flat 3-manifolds. We prove that, in an asymptotically flat 3-manifold with positive mass, stable spheres of given constant mean curvature outside a fixed compact subset are unique. Therefore we are able to conclude that there is a unique foliation of stable spheres of constant mean curvature in an asymptotically flat 3-manifold with positive mass.

The algebra of differential geometry operations on symmetric tensors over constant curvature manifolds forms a novel deformation of the sl(2,R) [semidirect product] R^2 Lie algebra. We present a simple calculus for calculations in its universal enveloping algebra. As an application, we derive generating functions for the actions and gauge invariances of massive, partially massless and massless (for both bose and fermi statistics) higher spins on constant curvature backgrounds. These are formulated in terms of a minimal set of covariant, unconstrained, fields rather than towers of auxiliary fields. Partially massless gauge transformations are shown to arise as degeneracies of the flat, massless gauge transformation in one dimension higher. Moreover, our results and calculus offer a considerable simplification over existing techniques for handling higher spins. In particular, we show how theories of arbitrary spin in dimension d can be rewritten in terms of a single scalar field in dimension 2d where the d additional dimensions correspond to coordinate differentials. We also develop an analogous framework for spinor-tensor fields in terms of the corresponding superalgebra.

In this note, we will show one example of hamiltonian Lie algebra action which has no invariant star product.

This paper presents a variational and multisymplectic formulation of both compressible and incompressible models of continuum mechanics on general Riemannian manifolds. A general formalism is developed for non-relativistic first-order multisymplectic field theories with constraints, such as the incompressibility constraint. The results obtained in this paper set the stage for multisymplectic reduction and for the further development of Veselov-type multisymplectic discretizations and numerical algorithms. The latter will be the subject of a companion paper.

The classical isoperimetric inequality in R^3 states that the surface of smallest area enclosing a given volume is a sphere. We show that the least area surface enclosing two equal volumes is a double bubble, a surface made of two pieces of round spheres separated by a flat disk, meeting along a single circle at an angle of 120 degrees.

This paper presents a geometric-variational approach to continuous and discrete {\it second-order} field theories following the methodology of \cite{MPS}. Staying entirely in the Lagrangian framework and letting $Y$ denote the configuration fiber bundle, we show that both the multisymplectic structure on $J^3Y$ as well as the Noether theorem arise from the first variation of the action function. We generalize the multisymplectic form formula derived for first order field theories in \cite{MPS}, to the case of second-order field theories, and we apply our theory to the Camassa-Holm (CH) equation in both the continuous and discrete settings. Our discretization produces a multisymplectic-momentum integrator, a generalization of the Moser-Veselov rigid body algorithm to the setting of nonlinear PDEs with second order Lagrangians.

We present a geometric analysis of the incompressible averaged Euler equations for an ideal inviscid fluid. We show that solutions of these equations are geodesics on the volume-preserving diffeomorphism group of a new weak right invariant pseudo metric. We prove that for precompact open subsets of ${\mathbb R}^n$, this system of PDEs with Dirichlet boundary conditions are well-posed for initial data in the Hilbert space $H^s$, $s>n/2+1$. We then use a nonlinear Trotter product formula to prove that solutions of the averaged Euler equations are a regular limit of solutions to the averaged Navier-Stokes equations in the limit of zero viscosity. This system of PDEs is also the model for second-grade non-Newtonian fluids.

We prove that for any affine variety S defined over Q there exist Shephard and Artin groups G such that a Zariski open subset U of S is biregular isomorphic to a Zariski open subset of the character variety X(G, PO(3)) = Hom(G, PO(3))//PO(3). The subset U contains all real points of S. As an application we construct new examples of finitely-presented groups which are not fundamental groups of smooth complex algebraic varieties. © 1998 Publications mathématiques de l'I.H.É.S.

The Mahler volume of a centrally symmetric convex body K is defined as M(K)= (Vol K)(Vol K^dual). Mahler conjectured that this volume is minimized when K is a cube. We introduce the bottleneck conjecture, which stipulates that a certain convex body K^diamond subset K X K^dual has least volume when K is an ellipsoid. If true, the bottleneck conjecture would strengthen the best current lower bound on the Mahler volume due to Bourgain and Milman. We also generalize the bottleneck conjecture in the context of indefinite orthogonal geometry and prove some special cases of the generalization.

This paper develops a theory of Lipschitz comparisons of hyperbolic surfaces analogous to the theory of quasi-conformal comparisons. Extremal Lipschitz maps (minimal stretch maps) and geodesics for the `Lipschitz metric' are constructed. The extremal Lipschitz constant equals the maximum ratio of lengths of measured laminations, which is attained with probability one on a simple closed curve. Cataclysms are introduced, generalizing earthquakes by permitting more violent shearing in both directions along a fault. Cataclysms provide useful coordinates for Teichmuller space that are convenient for computing derivatives of geometric function in Teichmuller space and measured lamination space.

The generalized soap bubble problem seeks the least perimeter way to enclose and separate n given volumes in R^m. We study the possible configurations for perimeter minimizing bubble complexes enclosing more than two regions. We prove that perimeter minimizing planar bubble complexes with equal pressure regions and without empty chambers must have connected regions. As a consequence, we show that the least perimeter planar graph that encloses and separates three equal areas in R^2 using convex cells and without empty chambers is a "standard triple bubble" with connected regions.

Geometrization theorem, fibered case: Every three-manifold that fibers over the circle admits a geometric decomposition. Double limit theorem: for any sequence of quasi-Fuchsian groups whose controlling pair of conformal structures tends toward a pair of projectively measured laminations that bind the surface, there is a convergent subsequence. This preprint also analyzes the quasi-isometric geometry of quasi-Fuchsian 3-manifolds. This eprint is based on a 1986 preprint, which was refereed and accepted for publication, but which I neglected to correct and return. The referee's corrections have now been incorporated, but it is largely the same as the 1986 version (which was a significant revision of a 1981 version).

This paper determines which orientable hyperbolic 3-manifolds contain simple closed geodesics. The Fuchsian group corresponding to the thrice-punctured sphere generates the only example of a complete non-elementary orientable hyperbolic 3-manifold that does not contain a simple closed geodesic. We do not assume that the manifold is geometrically finite or that it has finitely generated fundamental group.

This is the third in a series of papers constructing hyperbolic structures on all Haken three-manifolds. This portion deals with the mixed case of the deformation space for manifolds with incompressible boundary that are not acylindrical, but are more complicated than interval bundles over surfaces. This is a slight revision of a 1986 preprint, with a few figures added, and slight clarifications of some of the text, but with no attempt to connect this to later developments such as groups acting on R-trees, etc.