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 also get information on ambient metrics which are Ricci flat to higher order than guaranteed by the results of Fefferman-Graham.
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 realization of tractor bundles as associated bundles in conformal geometry is studied. It is shown that different natural choices of principal bundle with normal Cartan connection corresponding to a given conformal manifold can give rise to topologically distinct associated tractor bundles for the same inducing representation. Consequences for homogeneous models and conformal holonomy are described. A careful presentation is made of background material concerning standard tractor bundles and equivalence between parabolic geometries and underlying structures.
We present the general theory of curves in conformal geometry using tractor calculus. This primarily involves a tractorial determination of distinguished parametrizations and relative and absolute conformal invariants of generic curves. The absolute conformal invariants are defined via a tractor analogue of the classical Frenet frame construction and then expressed in terms of relative ones. This approach applies likewise to conformal structures of any signature; in the case of indefinite signature we focus especially on the null curves. It also provides a conceptual tool for handling distingu…
For every codimension two spacelike submanifold of a Lorentz manifold and each choice of a normal lightlike vector field, we introduce a canonical way to construct a tractor conformal bundle. We characterize when the induced connection of a such submanifold defines a tractor connection and then, in this case, when this tractor conformal bundle with the induced connection is standard for the induced metric. Finally, the normality condition for this tractor conformal bundle endowed with the induced connection is characterized in terms of a strong relationship between the intrinsic and the extrin…
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…
The aim of this paper is to describe the geometry of conformal structures in Lorentzian signature, which admit a lightlike conformal Killing vector field whose corresponding adjoint tractor acts as complex structure on the standard tractor bundle of conformal geometry. Key to the treatment of this problem is CR-geometry and the Fefferman construction. In fact, we will consider here partially integrable CR-structures and a slightly generalised Fefferman construction for these, which we call the $\ell$-Fefferman construction. We show that a certain class of $\ell$-Fefferman metrics on partially …
We generalize the notion of planar bicycle tracks -- a.k.a. one-trailer systems -- to so-called tractor/tractrix systems in general Riemannian manifolds and prove explicit expressions for the length of the ensuing tractrices and for the area of the domains that are swept out by any given tractor/tractrix system. These expressions are sensitive to the curvatures of the ambient Riemannian manifold, and we prove explicit estimates for them based on Rauch's and Toponogov's comparison theorems. Moreover, the general length shortening property of tractor/tractrix systems is used to generate geodesic…
The following are expanded lecture notes for the course of eight one hour lectures given by the second author at the 2014 summer school Asymptotic Analysis in General Relativity held in Grenoble by the Institut Fourier. The first four lectures deal with conformal geometry and the conformal tractor calculus, taking as primary motivation the search for conformally invariant tensors and diffrerential operators. The final four lectures apply the conformal tractor calculus to the study of conformally compactified geometries, motivated by the conformal treatment of infinity in general relativity.
We introduce the tractor formalism from conformal geometry to the study of smooth metric measure spaces. In particular, this gives rise to a correspondence between quasi-Einstein metrics and parallel sections of certain tractor bundles. We use this formulation to give a sharp upper bound on the dimension of the vector space of quasi-Einstein metrics, providing a different perspective on some recent results of He, Petersen and Wylie.
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. T…
We describe an elementary algorithm for expressing, as explicit formulae in tractor calculus, the conformally invariant GJMS operators due to C.R. Graham et alia. These differential operators have leading part a power of the Laplacian. Conformal tractor calculus is the natural induced bundle calculus associated to the conformal Cartan connection. Applications discussed include standard formulae for these operators in terms of the Levi-Civita connection and its curvature and a direct definition and formula for T. Branson's so-called Q-curvature (which integrates to a global conformal invariant)…
We use the manifestly conformally invariant description of a Lorentzian conformal structure in terms of a parabolic Cartan geometry in order to introduce a superalgebra structure on the space of twistor spinors and normal conformal vector fields formulated in purely algebraic terms on parallel sections in tractor bundles. Via a fixed metric in the conformal class, one reproduces a conformal superalgebra structure which has been considered in the literature before. The tractor approach, however, makes clear that the failure of this object to be a Lie superalgebra in certain cases is due to pure…
We develop a complete local theory for CR embedded submanifolds of CR manifolds in a way which parallels the Ricci calculus for Riemannian submanifold theory. In particular, we establish the subtle relationship between the submanifold and ambient standard tractor bundles, allowing us to relate the respective normal Cartan (or tractor) connections via a CR Gauss formula. The CR invariant tractor calculus of CR embeddings is developed concretely in terms of the Tanaka-Webster calculus of an arbitrary (suitably adapted) ambient contact form. This enables straightforward and explicit calculation o…
We develop the natural tractor calculi associated to conformal and CR structures as a fundamental tool for the study of Fefferman's construction of a canonical conformal class on the total space of a circle bundle over a non--degenerate CR manifold of hypersurface type. In particular we construct and treat the basic objects that relate the natural bundles and natural operators on the two spaces. This is illustrated with several applications: We prove that a number of conformally invariant overdetermined systems admit non--trivial solutions on any Fefferman space. We show that the space of conf…
In a recent work it was shown that conformal Carroll geometries are canonically equipped with a null-tractor bundle generalizing the tractor bundle of conformal geometry. We here show that in the case of the conformal boundary of an asymptotically flat spacetime of any dimension d>=3, this null-tractor bundle over null infinity can be canonically derived from the interior spacetime geometry. As was previously discussed, compatible normal connections on the null-tractor bundle are not unique: We prove that they are in fact in one-to-one correspondence with the germ of the asymptotically flat sp…
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.
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.
A Riemannian or pseudo-Riemannian (or conformal) structure is conformally Einstein if and only if there is a suitably generic parallel section of a certain vector bundle -- the so-called standard conformal tractor bundle. We show that this characterisation leads to a systematic approach to constructing obstructions to conformally Einstein metrics. Relaxing the requirement that the parallel tractor field be generic gives a natural generalisation of the Einstein equations.
In this article we propose a new geometrization of the radiative phase space of asymptotically flat space-times: we show that the geometry induced on null-infinity by the presence of gravitational waves can be understood to be a generalisation of the tractor calculus of conformal manifolds adapted to the case of degenerate conformal metrics. It follows that the whole formalism is, by construction, manifestly conformally invariant. We first show that a choice of asymptotic shear amounts to a choice of linear differential operator of order two on the bundle of scales of null-infinity. We refer t…
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 invarian…
General Relativity in dimension $n = p + q$ can be formulated as a gauge theory for the conformal group $SO(p+1,q+1)$, along with an additional field reducing the structure group down to the Poincaré group $ISO(p,q)$. In this paper, we propose a new variational principle for Einstein geometry which realizes this fact. Importantly, as opposed to previous treatments in the literature, our action functional gives first order field equations and does not require supplementary constraints on gauge fields, such as torsion-freeness. Our approach is based on the "first order formulation" of conformal …
Fefferman and Graham showed some time ago that four dimensional conformal geometries could be analyzed in terms of six dimensional, ambient, Riemannian geometries admitting a closed homothety. Recently it was shown how conformal geometry provides a description of physics manifestly invariant under local choices of unit systems. Strikingly, Einstein's equations are then equivalent to the existence of a parallel scale tractor (a six component vector subject to a certain first order covariant constancy condition at every point in four dimensional spacetime). These results suggest a six dimensiona…
We study higher form Proca equations on Einstein manifolds with boundary data along conformal infinity. We solve these Laplace-type boundary problems formally, and to all orders, by constructing an operator which projects arbitrary forms to solutions. We also develop a product formula for solving these asymptotic problems in general. The central tools of our approach are (i) the conformal geometry of differential forms and the associated exterior tractor calculus, and (ii) a generalised notion of scale which encodes the connection between the underlying geometry and its boundary. The latter al…
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 treat a non-normal Fefferman-type construction based on an inclusion $\SL(n+1)\embed\Spin(n+1,n+1)$. The construction associates a split signature $(n,n)$-conformal spin structure to a projective structure of dimension $n$. For $n\geq 3$ the induced conformal Cartan connection is shown to be normal if and only if it is flat. The main technical work of this article consists in showing that in the non-flat case the normalised conformal Cartan connection still allows a parallel (pure) spin-tractor and thus a corresponding (pure) twistor spinor on the conformal space. The Fefferman-type constru…
We define pure radiation metrics with parallel rays to be n-dimensional pseudo-Riemannian metrics that admit a parallel null line bundle K and whose Ricci tensor vanishes on vectors that are orthogonal to K. We give necessary conditions in terms of the Weyl, Cotton and Bach tensors for a pseudo-Riemannian metric to be conformal to a pure radiation metric with parallel rays. Then we derive conditions in terms of tractor calculus that are equivalent to the existence of a pure radiation metric with parallel rays in a conformal class. We also give an analogous result for n-dimensional pseudo-Riema…
We describe the local conformal geometry of a Lorentzian spin manifold $(M,g)$ admitting a twistor spinor $ϕ$ with zero. Moreover, we describe the shape of the zero set of $ϕ$. If $ϕ$ has isolated zeros then the metric $g$ is locally conformally equivalent to a static monopole. In the other case the zero set consists of null geodesic(s) and $g$ is locally conformally equivalent to a Brinkmann metric. Our arguments utilise tractor calculus in an essential way. The Dirac current of $ϕ$, which is a conformal Killing vector field, plays an important role for our discussion as well.
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…
We define a conformally invariant action S on gauge connections on a closed pseudo-Riemannian manifold M of dimension 6. At leading order this is quadratic in the gauge connection. The Euler-Lagrange equations of S, with respect to variation of the gauge connection, provide a higher-order conformally invariant analogue of the (source-free) Yang-Mills equations. For any gauge connection A on M, we define S(A) by first defining a Lagrangian density associated to A. This is not conformally invariant but has a conformal transformation analogous to a Q-curvature. Integrating this density provides t…
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…
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.
This is the second in a series of papers on natural modification of the normal tractor connection in a parabolic geometry, which naturally prolongs an underlying overdetermined system of invariant differential equations. We give a short review of the general procedure developed in [5] and then compute the prolongation covariant derivatives for a number of interesting examples in projective, conformal and Grassmannian geometries.
We construct polynomial conformal invariants, the vanishing of which is necessary and sufficient for an $n$-dimensional suitably generic (pseudo-)Riemannian manifold to be conformal to an Einstein manifold. We also construct invariants which give necessary and sufficient conditions for a metric to be conformally related to a metric with vanishing Cotton tensor. One set of invariants we derive generalises the set of invariants in dimension four obtained by Kozameh, Newman and Tod. For the conformally Einstein problem, another set of invariants we construct gives necessary and sufficient conditi…
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.
An important problem is to determine under which circumstances a metric on a conformally compact manifold is conformal to a Poincaré--Einstein metric. Such conformal rescalings are in general obstructed by conformal invariants of the boundary hypersurface embedding, the first of which is the trace-free second fundamental form and then, at the next order, the trace-free Fialkow tensor. We show that these tensors are the lowest order examples in a sequence of conformally invariant higher fundamental forms determined by the data of a conformal hypersurface embedding. We give a construction of the…
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.
We construct a dynamical quantization for contact manifolds in terms of a flat connection acting on a Hilbert tractor bundle. We show that this contact quantization, which is independent of the choice of contact form, can be obtained by quantizing the Reeb dynamics of an ambient strict contact manifold equivariantly with respect to an R+-action. The contact quantization further determines a certain contact tractor connection whose parallel sections determine a distinguished choice of Reeb dynamics and their quantization. This relationship relies on tractor constructions from parabolic geometri…
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.
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 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…
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.
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.
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…
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…
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 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.
The conformal Codazzi structure is an intrinsic geometric structure on strictly convex hypersufaces in a locally flat projective manifold. We construct the GJMS operators and the Q-curvature for conformal Codazzi structures by using the ambient metric. We relate the total Q-curvature to the logarithmic coefficient in the volume expansion of the Blaschke metric, and derive the first and second variation formulas for a deformation of strictly convex domains.
It was proved by Graham and Witten in 1999 that conformal invariants of submanifolds can be obtained via volume renormalization of minimal surfaces in conformally compact Einstein manifolds. The conformal invariant of a submanifold $Σ$ is contained in the volume expansion of the minimal surface which is asymptotic to $Σ$ when the minimal surface approaches the conformaly infinity. In the paper we give the explicit expression of Graham-Witten's conformal invariant for closed four dimensional submanifolds and find critical points of the conformal invariant in the case of Euclidean ambient spaces…
Let $\overline{M}$ be a smooth manifold with boundary $\partial M$ and interior $M$. Consider an affine connection $\nabla$ on $M$ for which the boundary is at infinity. Then $\nabla$ is projectively compact of order $α$ if the projective structure defined by $\nabla$ smoothly extends to all of $\overline{M}$ in a specific way that depends on no particular choice of boundary defining function. Via the Levi--Civita connection, this concept applies to pseudo--Riemannian metrics on $M$. We study the relation between interior geometry and the possibilities for compactification, and then develop th…
We present a geometric construction and characterization of $2n$-dimensional split-signature conformal structures endowed with a twistor spinor with integrable kernel. The construction is regarded as a modification of the conformal Patterson--Walker metric construction for $n$-dimensional projective manifolds. The characterization is presented in terms of the twistor spinor and an integrability condition on the conformal Weyl curvature. We further derive complete description of Einstein metrics and infinitesimal conformal symmetries in terms of suitable projective data. Finally, we obtain an e…
