Conformal structures with explicit ambient metrics and conformal G_2 holonomy
Pawel Nurowski
备注：
To appear in Proceedings of the Workshop at 2006 IMA Summer Program "Symmetries and Overdetermined Systems of Partial Differential Equations", Minneapolis, July 2006
Given a generic 2-plane field on a 5-dimensional manifold we consider its (3,2)-signature conformal metric [g] as defined in math.DG/0406400. Every conformal class [g] obtained in this way has very special conformal holonomy: it must be contained in the split-real-form of the exceptional group G_2. In this note we show that for special 2-plane fields on 5-manifolds the conformal classes [g] have the Fefferman-Graham ambient metrics which, contrary to the general Fefferman-Graham metrics given as a formal power series, can be written in an explicit form. We propose to study the relations between the conformal G_2-holonomy of metrics [g] and the possible pseudo-Riemannian G_2-holonomy of the corresponding ambient metrics.
This paper studies the relation between two notions of holonomy on a conformal manifold. The first is the conformal holonomy, defined to be the holonomy of the normal tractor connection. The second is the holonomy of the Fefferman-Graham ambient metric of the conformal manifold. It is shown that the infinitesimal conformal holonomy and the infinitesimal ambient holonomy always agree up to the order that the ambient metric is defined.
We present three large classes of examples of conformal structures for which the equations for the Fefferman-Graham ambient metric to be Ricci-flat are linear PDEs, which we solve explicitly. These explicit solutions enable us to discuss the holonomy of the corresponding ambient metrics. Our examples include conformal pp-waves and, more importantly, conformal structures that are defined by generic rank 2 and 3 distributions in respective dimensions 5 and 6. The corresponding explicit Fefferman-Graham ambient metrics provide a large class of metrics with holonomy equal to the exceptional non-co…
For a conformal manifold we introduce the notion of an ambient connection, an affine connection on an ambient manifold of the conformal manifold, possibly with torsion, and with conditions relating it to the conformal structure. The purpose of this construction is to realise the normal conformal tractor holonomy as affine holonomy of such a connection. We give an example of an ambient connection for which this is the case, and which is torsion free if we start the construction with a C-space, and in addition Ricci-flat if we start with an Einstein manifold. Thus for a $C$-space this example le…
The holonomy of the ambient metrics of Nurowski's conformal structures associated to generic real-analytic 2-plane fields on 5-manifolds is investigated. It is shown that the holonomy is always contained in the split real form G_2 of the exceptional Lie group, and is equal to G_2 for an open dense set of 2-plane fields given by explicit conditions. In particular, this gives an infinite-dimensional family of metrics of holonomy equal to split G_2. These results generalize work of Leistner-Nurowski. The inclusion of the holonomy in G_2 is established by proving an ambient extension theorem for p…
For a conformal manifold, we describe a new relation between the ambient obstruction tensor of Fefferman and Graham and the holonomy of the normal conformal Cartan connection. This relation allows us to prove several results on the vanishing and the rank of the obstruction tensor, for example for conformal structures admitting twistor spinors or normal conformal Killing forms. As our main tool we introduce the notion of a conformal holonomy distribution and show that its integrability is closely related to the exceptional conformal structures in dimensions five and six that were found by Nurow…
If the conformal holonomy group $Hol(\mathcal{T})$ of a simply connected space with conformal structure of signature $(2p-1,2q-1)$ is reduced to $\U(p,q)$ then the conformal holonomy is already contained in the special unitary group $\SU(p,q)$. We present two different proofs of this statement, one using conformal tractor calculus and an alternative proof using Sparling's characterisation of Fefferman metrics.
We discuss in this paper the conformal geometry of bi-invariant metrics on compact semisimple Lie groups. For this purpose we develop a conformal Cartan calculus adapted to this problem. In particular, we derive an explicit formula for the holonomy algebra of the normal conformal Cartan connection of a bi-invariant metric. As an example, we apply this calculus to the group $\SO(4)$. Its conformal holonomy group is calculated to be $\SO(7)$.
The local classification of conformally flat Lorentzian manifolds with special holonomy groups is obtained. The corresponding local metrics are certain extensions of Riemannian spaces of constant sectional curvature to Walker metrics.
The main result of this paper is that a Lorentzian manifold is locally conformally equivalent to a manifold with recurrent lightlike vector field and totally isotropic Ricci tensor if and only if its conformal tractor holonomy admits a 2-dimensional totally isotropic invariant subspace. Furthermore, for semi-Riemannian manifolds of arbitrary signature we prove that the conformal holonomy algebra of a $C$-space is a Berger algebra. For Ricci-flat spaces we show how the conformal holonomy can be obtained by the holonomy of the ambient metric and get results for Riemannian manifolds and plane wav…
For $(M,[g])$ a conformal manifold of signature $(p,q)$ and dimension at least three, the conformal holonomy group $\mathrm{Hol}(M,[g]) \subset O(p+1,q+1)$ is an invariant induced by the canonical Cartan geometry of $(M,[g])$. We give a description of all possible connected conformal holonomy groups which act transitively on the Möbius sphere $S^{p,q}$, the homogeneous model space for conformal structures of signature $(p,q)$. The main part of this description is a list of all such groups which also act irreducibly on $\R^{p+1,q+1}$. For the rest, we show that they must be compact and act deco…
We consider the question: can the isotropy representation of an irreducible pseudo-Riemannian symmetric space be realized as a conformal holonomy group? Using recent results of Cap, Gover and Hammerl, we study the representations of SO(2,1), PSU(2,1) and PSp(2,1) as isotropy groups of irreducible symmetric spaces of signature (3,2), (4,4) and (6,8), respectively, describing the geometry induced by a conformal holonomy reduction to the corresponding subgroups. In the case of SO(2,1) we show that conformal manifolds with such a holonomy reduction are always locally conformally flat and hence thi…
A theorem of Lawson and Simons states that the only stable minimal submanifolds in complex projective spaces are complex submanifolds. We generalize their result to the cases of quaternionic and octonionic projective spaces. Our approach gives a unified viewpoint towards conformal and projective geometries.
A locally conformally Kähler (lcK) manifold is a complex manifold $(M,J)$ together with a Hermitian metric $g$ which is conformal to a Kähler metric in the neighbourhood of each point. In this paper we obtain three classification results in locally conformally Kähler geometry. The first one is the classification of conformal classes on compact manifolds containing two non-homothetic Kähler metrics. The second one is the classification of compact Einstein locally conformally Kähler manifolds. The third result is the classification of the possible (restricted) Riemannian holonomy groups of compa…
In his 1910 "Five Variables" paper, Cartan solved the equivalence problem for the geometry of $(2, 3, 5)$ distributions and in doing so demonstrated an intimate link between this geometry and the exceptional simple Lie groups of type $\textrm{G}_2$. He claimed to produce a local classification of all such (complex) distributions which have infinitesimal symmetry algebra of dimension at least $6$ (and which satisfy a natural uniformity condition), but in 2013 Doubrov and Govorov showed that this classification misses a particular distribution $\bf E$. We produce a closed form for the Fefferman-…
We prove that given a pseudo-Riemannian conformal structure whose conformal holonomy representation fixes a totally lightlike subspace of arbitrary dimension, there is, wrt. a local metric in the conformal class defined off a singular set, a parallel, totally lightlike distribution on the tangent bundle which contains the image of the Ricci-tensor. This generalizes results obtained for invariant lightlike lines and planes and closes a gap in the understanding of the geometric meaning of reducibly acting conformal holonomy groups. We show how this result naturally applies to the classification …
We introduce in this paper normal twistor equations for differential forms and study their solutions, the so-called normal conformal Killing forms. The twistor equations arise naturally from the canonical normal Cartan connection of conformal geometry. Reductions of its holonomy are related to solutions of the normal twistor equations. The case of decomposable normal conformal holonomy representations is discussed. A typical example with an irreducible holonomy representation are the so-called Fefferman spaces. We also apply our results to describe the geometry of solutions with conformal Kill…
We show that if a compact connected $n$-dimensional manifold $M$ has a conformal class containing two non-homothetic metrics $g$ and $\tilde g=e^{2φ}g$ with non-generic holonomy, then after passing to a finite covering, either $n=4$ and $(M,g,\tilde g)$ is an ambikähler manifold, or $n\ge 6$ is even and $(M,g,\tilde g)$ is obtained by the Calabi Ansatz from a polarized Hodge manifold of dimension $n-2$, or both $g$ and $\tilde g$ have reducible holonomy, $M$ is locally diffeomorphic to a product $M_1\times M_2\times M_3$, the metrics $g$ and $\tilde g$ can be written as $g=g_1+g_2+e^{-2φ}g_3$ …
This paper aims to classify the holonomy of the conformal Tractor connection, and relate these holonomies to the geometry of the underlying manifold. The conformally Einstein case is dealt with through the construction of metric cones, whose Riemmanian holonomy is the same as the Tractor holonomy of the underlying manifold. Direct calculations in the Ricci-flat case and an important decomposition theorem complete the classification for definitive signature.
We prove prime geodesic theorems counting primitive closed geodesics on a compact hyperbolic 3-manifold with length and holonomy in prescribed intervals, which are allowed to shrink. Our results imply effective equidistribution of holonomy and have both the rate of shrinking and the strength of the error term fully symmetric in length and holonomy.
We study the uniqueness of minimal submanifolds and the stability of the mean curvature flow in several well-known model spaces of manifolds of special holonomy. These include the Stenzel metric on the cotangent bundle of spheres, the Calabi metric on the cotangent bundle of complex projective spaces, and the Bryant--Salamon metrics on vector bundles over certain Einstein manifolds. In particular, we show that the zero sections, as calibrated submanifolds with respect to their respective ambient metrics, are unique among compact minimal submanifolds and are dynamically stable under the mean cu…
In this paper we study almost complex manifolds admitting a quasi-Kähler Chern-flat metric (Chern-flat means that the holonomy of the Chern connection is trivial). We prove that in the compact case such manifolds are all nilmanifolds. Some partial classification results are established and we prove that a quasi-Kähler Chern-flat structure can be tamed by a symplectic form if and only if the ambient space is isomorphic to a flat torus.
Nurowski showed that any generic 2-plane field $D$ on a 5-manifold $M$ determines a natural conformal structure $c_D$ on $M$; these conformal structures are exactly those (on oriented $M$) whose normal conformal holonomy is contained in the (split, real) simple Lie group $G_2$. Graham and Willse showed that for real-analytic $D$ the same holds for the holonomy of the real-analytic Fefferman-Graham ambient metric of $c_D$, and that both holonomy groups are equal to $G_2$ for almost all $D$. We investigate here independently interesting plane fields for which the associated holonomy groups are a…
A locally metric connection on a smooth manifold $M$ is a torsion-free connection $D$ on $TM$ with compact restricted holonomy group $\mathrm{Hol}_0(D)$. If the holonomy representation of such a connection is irreducible, then $D$ preserves a conformal structure on $M$. Under some natural geometric assumption on the life-time of incomplete geodesics, we prove that conversely, a locally metric connection $D$ preserving a conformal structure on a compact manifold $M$ has irreducible holonomy representation, unless $\mathrm{Hol}_0(D)=0$ or $D$ is the Levi-Civita connection of a Riemannian metric …
We prove that Fefferman spaces, associated to non--degenerate CR structures of hypersurface type, are characterised, up to local conformal isometry, by the existence of a parallel orthogonal complex structure on the standard tractor bundle. This condition can be equivalently expressed in terms of conformal holonomy. Extracting from this picture the essential consequences at the level of tensor bundles yields an improved, conformally invariant analogue of Sparling's characterisation of Fefferman spaces.
It is shown how one can apply the classification of the holonomy algebras of Lorentzian manifolds to solve some problems. In particular, a new proof to the classification of Lorentzian manifolds with recurrent curvature tensor is given; the classification of two-symmetric Lorentzian manifolds is explained; conformally recurrent Lorentzian manifolds are classified; recurrent symmetric bilinear forms on Lorentzian manifolds are described.
In this paper we relate the Fefferman-Graham ambient metric construction for conformal manifolds to the approach to conformal geometry via the canonical Cartan connection. We show that from any ambient metric that satisfies a weakening of the usual normalisation condition, one can construct the conformal standard tractor bundle and the normal standard tractor connection, which are equivalent to the Cartan bundle and the Cartan connection. This result is applied to obtain a procedure to get tractor formulae for all conformal invariants that can be obtained from the ambient metric construction. …
We give a geometric derivation of Branson's Q-curvature in terms of the ambient metric associated with conformal structures; it naturally follows from the ambient metric construction of conformally invariant operators and can be applied to a large class of invariant operators. This procedure can be also applied to CR geometry and gives a CR analog of the Q-curvature; it then turns out that the Q-curvature gives the coefficient of the logarithmic singularity of the Szego kernel of 3-dimensional CR manifolds.
We present conformal structures in signature (3,2) for which the holonomy of the Fefferman-Graham ambient metric is equal to the non-compact exceptional Lie group G_{2(2)}. We write down the resulting 8-parameter family of G_{2(2)}-metrics in dimension seven explicitly in an appropriately chosen coordinate system on the ambient space.
We prove that compact 3-manifolds $M$ of constant curvature +1 with boundary a minimal surface are locally naturally parametrized by the conformal class of the boundary metric $γ$ in the Teichmuller space of $\partial M$, when $genus(\partial M) \geq 2$. Stronger results are obtained in the case of genus 1 boundary, giving in particular a new proof of Brendle's solution of the Lawson conjecture. The results generalize to constant mean curvature surfaces, and surfaces in flat and hyperbolic 3-manifolds.
This paper provides details of the construction, properties and some applications of the ambient metric associated to a conformal class of metrics on a smooth manifold. Existence and uniqueness of formal expansions defining such metrics are considered. Equivalence with the expansions of associated Poincare metrics is established. Definitions and properties of conformal curvature tensors defined by ambient metrics together with formulation and proof of a jet isomorphism theorem with application to the characterization of scalar conformal invariants are given.
This is the second in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global conformal invariants''; these are defined to be conformally invariant integrals of geometric scalars. The conjecture asserts that the integrand of any such integral can be expressed as a linear combination of a local conformal invariant, a divergence and of the Chern-Gauss-Bonnet integrand. The present paper addresses the hardest challenge in this series: It shows how to {\it separate} the local conformal invariant from the divergence term in the integrand; …
Jet isomorphism theorems for conformal geometry are discussed. A new proof of the jet isomorphism theorem for odd-dimensional conformal geometry is outlined, using an ambient realization of the conformal deformation complex. An infinite order ambient lift for conformal densities in the case in which harmonic extension is obstructed is described. A jet isomorphism theorem for even dimensional conformal geometry is formulated using the inhomogeneous ambient metrics recently introduced by the author and K. Hirachi.
Ambient prime geodesic theorems provide an asymptotic count of closed geodesics by their length and holonomy and imply effective equidistribution of holonomy. We show that for a smoothed count of closed geodesics on compact hyperbolic 3-manifolds, there is a persistent bias in the secondary term which is controlled by the number of zero spectral parameters. In addition, we show that a normalized, smoothed bias count is distributed according to a probability distribution, which we explicate when all distinct, non-zero spectral parameters are linearly independent. Finally, we construct an exampl…
We compute the full holonomy group of compact Lorentzian manifolds with parallel Weyl tensor, which are neither conformally flat nor locally symmetric, for the case where the fundamental group is contained in a distinguished subgroup G of the isometry group of the universal cover. To prove this, we show that every such compact Lorentzian manifold has to be geodesically complete. Moreover we characterize the identity component of the isometry group for this universal cover and show that G is up to a discrete factor contained in the latter. Concretely, we prove that the identity component of the…
An extension of the ambient metric construction of Fefferman-Graham to infinite order in even dimensions is described. The main ingredients are the introduction of "inhomogeneous ambient metrics" with asymptotic expansions involving the logarithm of a defining function homogeneous of degree 2, and an invariant procedure for taking the smooth part of such an inhomogeneous ambient metric. The metrics which result depend on the choice of an "ambiguity tensor" as well as a conformal class. An application to the description of scalar conformal invariants in even dimensions is outlined.
Starting from a 6-dimensional nilpotent Lie group N endowed with an invariant SU(3) structure, we construct a homogeneous conformally parallel G_2-metric on an associated solvmanifold. We classify all half-flat SU(3) structures that endow the rank-one solvable extension of N with a conformally parallel G_2 structure. By suitably deforming the SU(3) structures obtained, we are able to describe the corresponding non-homogeneous Ricci-flat metrics with holonomy contained in G_2. In the process we also find a new metric with exceptional holonomy.
Let $S$ be a closed oriented surface of genus $g\geq 2$. Fix an arbitrary non-elementary representation $ρ\colonπ_1(S)\to {\rm SL}_2(\mathbb{C})$ and consider all marked (complex) projective structures on $S$ with holonomy $ρ$. We show that their underlying conformal structures are dense in the moduli space of $S$.
Given an $n$-dimensional manifold $N$ with an affine connection $D$, we show that the associated Patterson-Walker metric $g$ on $T^*N$ admits a global and explicit Fefferman-Graham ambient metric. This provides a new and large class of conformal structures which are generically not conformally Einstein but for which the ambient metric exists to all orders and can be realized in a natural and explicit way. In particular, it follows that Patterson-Walker metrics have vanishing Fefferman-Graham obstruction tensors. As an application of the concrete ambient metric realization we show in addition t…
We study locally conformally Berwald metrics on closed manifolds which are not globally conformally Berwald. We prove that the characterization of such metrics is equivalent to characterizing incomplete, simply-connected, Riemannian manifolds with reducible holonomy group whose quotient by a group of homotheties is closed. We further prove a de Rham type splitting theorem which states that if such a manifold is analytic, it is isometric to the Riemannian product of a Euclidean space and an incomplete manifold.
We investigate the Fefferman spaces of conformal type which are induced, via parabolic geometry, by the quaternionic contact (qc) manifolds introduced by O.Biquard. Equivalent characterizations of these spaces are proved: as conformal manifolds with symplectic conformal holonomy of the appropriate signature; as pseudo-Riemannian manifolds admitting conformal Killing fields satisfying a conformally invariant system of conditions analog to G. Sparling's criteria; and as the total space of a SO(3)- or $S^3$-bundle over a qc manifold with the conformally equivalent metrics defined directly by Biqu…
We consider immersions of a Riemann surface into a manifold with $G_2$-holonomy and give criteria for them to be conformal and harmonic, in terms of an associated Gauss map.
We classify the possible local holonomy groups of Weyl connections. The Berger-Simons theorem and the Merkulov-Schwachhöfer classification of holonomy groups of irreducible torsion-free connections leaves us with the remaining case, where the Weyl connection $D$ is reducible and non-closed. In this case, it was shown by F. Belgun and A. Moroianu that the Weyl structure is an adapted Weyl structure of a non-closed conformal product. Furthermore we prove that non-closed Einstein-Weyl product structures only exist in dimension $4$.
We construct explicit left invariant quaternionic contact structures on Lie groups with zero and non-zero torsion, and with non-vanishing quaternionic contact conformal curvature tensor, thus showing the existence of quaternionic contact manifolds not locally quaternionic contact conformal to the quaternionic sphere. We present a left invariant quaternionic contact structure on a seven dimensional non-nilpotent Lie group, and show that this structure is locally quaternionic contact conformal to the flat quaternionic contact structure on the quaternionic Heisenberg group. On the product of a se…
Given any two Einstein (pseudo-)metrics, with scalar curvatures suitably related, we give an explicit construction of a Poincaré-Einstein (pseudo-)metric with conformal infinity the conformal class of the product of the initial metrics. We show that these metrics are equivalent to ambient metrics for the given conformal structure. The ambient metrics have holonomy that agrees with the conformal holonomy. In the generic case the ambient metric arises directly as a product of the metric cones over the original Einstein spaces. In general the conformal infinity of the Poincare metrics we construc…
In this paper, a survey of the recent results about the classification of the connected holonomy groups of the Lorentzian manifolds is given. A simplification of the construction of the Lorentzian metrics with all possible connected holonomy groups is obtained. As the applications, the Einstein equation, Lorentzian manifolds with parallel and recurrent spinor fields, conformally flat Walker metrics and the classification of 2-symmetric Lorentzian manifolds are considered.
The conformal powers of the Laplacian of a Riemannian metric which are known as the GJMS-operators admit a combinatorial description in terms of the Taylor coefficients of a natural second-order one-parameter family $\H(r;g)$ of self-adjoint elliptic differential operators. $\H(r;g)$ is a non-Laplace-type perturbation of the conformal Laplacian $P_2(g) = \H(0;g)$. It is defined in terms of the metric $g$ and covariant derivatives of the curvature of $g$. We study the heat kernel coefficients $a_{2k}(r;g)$ of $\H(r;g)$ on closed manifolds. We prove general structural results for the heat kernel…
Generic distributions on 5- and 6-manifolds give rise to conformal structures that were discovered by P. Nurowski resp. R. Bryant. We describe both as Fefferman-type constructions and show that for orientable distributions one obtains conformal spin structures. The resulting conformal spin geometries are then characterized by their conformal holonomy and equivalently by the existence of a twistor spinor which satisfies a genericity condition. Moreover, we show that given such a twistor spinor we can decompose a conformal Killing field of the structure. We obtain explicit formulas relating conf…
We address the problem of finding conditions under which a compact Lorentzian manifold is geodesically complete, a property, which always holds for compact Riemannian manifolds. It is known that a compact Lorentzian manifold is geodesically complete if it is homogeneous, or has constant curvature, or admits a time-like conformal vector field. We consider certain Lorentzian manifolds with Abelian holonomy, which are locally modelled by the so called pp-waves, and which, in general, do not satisfy any of the above conditions. %the condition that their curvature sends vectors that are orthogonal …
Hermitian bundle gerbes with connection are geometric objects for which a notion of surface holonomy can be defined for closed oriented surfaces. We systematically introduce bundle gerbes by closing the pre-stack of trivial bundle gerbes under descent. Inspired by structures arising in a representation theoretic approach to rational conformal field theories, we introduce geometric structure that is appropriate to define surface holonomy in more general situations: Jandl gerbes for unoriented surfaces, D-branes for surfaces with boundaries, and bi-branes for surfaces with defect lines.
The (Fefferman-Graham) ambient obstruction tensor is a conformally invariant symmetric trace-free 2-tensor on even-dimensional Riemannian and pseudo-Riemannian manifolds. The conformal deformation complex is a differential complex related to infinitesimal deformations of conformal structure. We construct a conformally invariant differential operator on algebraic Weyl tensors that gives special curved analogues of certain operators related to the deformation complex and that, upon application to the Weyl curvature, yields the obstruction tensor. This new definition of the obstruction tensor lea…
We show that any dimension $6$ nearly Kähler (or nearly para-Kähler) geometry arises as a projective manifold equipped with a $\textrm{G}_2^{(*)}$ holonomy reduction. In the converse direction we show that if a projective manifold is equipped with a parallel $7$-dimensional cross product on its standard tractor bundle then the manifold is: a Riemannian nearly Kähler manifold, if the cross product is definite, otherwise, if the cross product has the other algebraic type, the manifold is in general stratified with nearly Kähler and nearly para-Kähler parts separated by a hypersurface which canon…
Using the theory of Weyl structures, we give a natural generalization of the notion of essential conformal structures and conformal Killing fields to arbitrary parabolic geometries. We show that a parabolic structure is inessential whenever the automorphism group acts properly on the base space. As a corollary of the generalized Ferrand-Obata theorem proved by C. Frances, this proves a generalization of the "Lichnerowicz conjecture" for conformal Riemannian, strictly pseudo-convex CR, and quaternionic/octonionic contact manifolds in positive-definite signature. For an infinitesimal automorphis…
Conformal geodesics are distinguished curves on a conformal manifold, loosely analogous to geodesics of Riemannian geometry. One definition of them is as solutions to a third order differential equation determined by the conformal structure. There is an alternative description via the tractor calculus. In this article we give a third description using ideas from holography. A conformal $n$-manifold $X$ can be seen (formally at least) as the asymptotic boundary of a Poincaré--Einstein $(n+1)$-manifold $M$. We show that any curve $γ$ in $X$ has a uniquely determined extension to a surface $Σ_γ$ …
We provide an explicit formula for the Fefferman-Graham-ambient metric of an $n$-dimensional conformal $pp$-wave in those cases where it exists. In even dimensions we calculate the obstruction explicitly. Furthermore, we describe all 4-dimensional $pp$-waves that are Bach-flat, and give a large class of Bach-flat examples which are conformally Cotton-flat, but not conformally Einstein. Finally, as an application, we use the obtained ambient metric to show that even-dimensional $pp$-waves have vanishing critical $Q$-curvature.
