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.
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…
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.
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 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…
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.
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 betwee…
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…
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.
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.
These notes are based on my lectures at IMA summer program "Symmetries and Overdetermined Systems of Partial Differential Equations." Here I try to explain basic ideas of the ambient metric construction by studying the Szego kernel of the sphere.
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-…
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; …
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…
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.
We construct new complete, compact, inhomogeneous Einstein metrics on S^{m+2} sphere bundles over 2n-dimensional Einstein-Kahler spaces K_{2n}, for all n \ge 1 and all m \ge 1. We also obtain complete, compact, inhomogeneous Einstein metrics on warped products of S^m with S^2 bundles over K_{2n}, for m>1. Additionally, we construct new complete, non-compact Ricci-flat metrics with topologies S^m times R^2 bundles over K_{2n} that generalise the higher-dimensional Taub-BOLT metrics, and with topologies S^m \times R^{2n+2} that generalise the higher-dimensional Taub-NUT metrics, again for m>1.
Many procedures in science, engineering and medicine produce data in the form of geometric shapes. Mathematically, a shape can be modeled as an un-parameterized immersed sub-manifold, which is the notion of shape used here. Endowing shape space with a Riemannian metric opens up the world of Riemannian differential geometry with geodesics, gradient flows and curvature. Unfortunately, the simplest such metric induces vanishing path-length distance on shape space. This discovery by Michor and Mumford was the starting point to a quest for stronger, meaningful metrics that should be able to disting…
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…
A recent paper [CGT] studies the evolution of star-shaped mean convex hypersurfaces of the Euclidean space by a class of nonhomogeneous expanding curvature flows. In the present paper we consider the same problem in the real, complex and quaternionic hyperbolic spaces, investigating how the richer geometry of the ambient space affects the evolution. In every case the initial conditions are preserved and the long time existence of the flow is proven. The geometry of the ambient space influences the asymptotic behaviour of the flow: after a suitable rescaling the induced metric converges to a co…
Although travelling faster than the speed of light in vacuum is not physically allowed, the analogous bound in medium can be exceeded by a moving particle. For an electron in dielectric material this leads to emission of photons which is usually referred to as Cherenkov radiation. In this article a related mathematical system for waves in inhomogeneous anisotropic medium with a maximum of three polarisation directions is studied. The waves are assumed to satisfy $P^k_j u_k (x,t) = S_j(x,t)$, where $P$ is a vector-valued wave operator that depends on a Riemannian metric and $S $ is a point sour…
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…
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…
Lightlike Cartan geometries are introduced as Cartan geometries modelled on the future lightlike cone in Lorentz-Minkowski spacetime. Then, we provide an approach to the study of lightlike manifolds from this point of view. It is stated that every lightlike Cartan geometry on a manifold $N$ provides a lightlike metric $h$ with radical distribution globally spanned by a vector field $Z$. For lightlike hypersurfaces of a Lorentz manifold, we give the condition that characterizes when the pull-back of the Levi-Civita connection form of the ambient manifold is a lightlike Cartan connection on such…
We show Riemannian geometry could be studied by identifying the tangent bundle of a Riemannian manifold $\mathcal{M}$ with a subbundle of the trivial bundle $\mathcal{M} \times \mathcal{E}$, obtained by embedding $\mathcal{M}$ differentiably in a Euclidean space $\mathcal{E}$. Given such an embedding, we can extend the metric tensor on $\mathcal{M}$ to a (positive-definite) operator-valued function acting on $\mathcal{E}$, giving us an embedded ambient structure. The formulas for the Christoffel symbols and Riemannian curvature in local coordinates have simple generalizations to this setup. Fo…
A new infinite series of Einstein metrics is constructed explicitly on S^2 x S^3, and the non-trivial S^3-bundle over S^2, containing infinite numbers of inhomogeneous ones. They appear as a certain limit of a nearly extreme 5-dimensional AdS Kerr black hole. In the special case, the metrics reduce to the homogeneous Einstein metrics studied by Wang and Ziller. We also construct an inhomogeneous Einstein metric on the non-trivial S^{d-2}-bundle over S^2 from a d-dimensional AdS Kerr black hole. Our construction is a higher dimensional version of the method of Page, which gave an inhomogeneous …
We consider a prototypical "stretching plus bending" functional of an elastic shell. The shell is modeled as a d-dimensional Riemannian manifold endowed, in addition to the metric, with a reference second fundamental form. The shell is immersed into a (d+1)-dimensional ambient space, and the elastic energy accounts for deviations of the induced metric and second fundamental forms from their reference values. Under the assumption that the ambient space is of constant sectional curvature, we prove that any sequence of immersions of asymptotically vanishing energy converges to an isometric immers…
