The ambient obstruction tensor and the conformal deformation complex
A. Rod Gover, Lawrence J. Peterson
备注：
40 pages. No figures. Record of changes: V1, 18 August 2004; V2, 9 November 2004, adding a reference and correcting some typographical errors; V3, 19 May 2005, shortening article, updating references. Version V3 accepted by Pacific Journal of Mathematics
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 leads to simple direct proofs that the obstruction tensor is divergence free and vanishes for a class of metrics which (strictly) includes the class of conformally Einstein metrics. Our main constructions are based on the ambient metric of Fefferman-Graham and its relation to the conformal tractor connection. We prove that the obstruction tensor is an obstruction to the formal problem of obtaining a Ricci-flat ambient metric and that it may equivalently be viewed as the obstruction to finding an ambient metric with curvature harmonic for a certain (ambient) form Laplacian. This leads to a new ambient formula for the obstruction in terms of a power of this form Laplacian acting on the ambient curvature. This result leads us to construct Laplacian type operators that generalise the conformal Laplacians of Graham-Jenne-Mason-Sparling. As background to these issues, we give an explicit construction of the deformation complex in dimensions n>3, construct two related (detour) complexes, and establish essential properties of the operators in these.
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.
It is shown that the variational derivative of the integral of Branson's Q-curvature is the ambient obstruction tensor of Fefferman-Graham. A classification of irreducible conformally invariant tensors modulo quadratic and higher degree terms in curvature is established.
We examine homogeneous solitons of the ambient obstruction flow and, in particular, prove that any compact ambient obstruction soliton with constant scalar curvature is trivial. Focusing on dimension 4, we show that any homogeneous gradient Bach soliton that is steady must be Bach flat, and that the only non-Bach-flat shrinking gradient solitons are product metrics on $\mathbb{R}^2\times S^2$ and $\mathbb{R}^2 \times H^2$. We also construct a non-Bach-flat expanding homogeneous gradient Bach soliton. We also establish a number of results for solitons to the geometric flow by a general tensor $…
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 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 establish fundamental results for a parabolic flow of Riemannian metrics introduced by Bahuaud-Helliwell in arXiv:1010:4287v1 which is based on the Fefferman-Graham ambient obstruction tensor. First, we obtain local $L^2$ smoothing estimates for the curvature tensor and use them to prove pointwise smoothing estimates for the curvature tensor. We use the pointwise smoothing estimates to show that the curvature must blow up for a finite time singular solution. We also use the pointwise smoothing estimates to prove a compactness theorem for a sequence of solutions with bounded $C^0$ curvature …
On pseudo-Riemannian manifolds of even dimension $n\geq 4$, with everywhere vanishing (Fefferman-Graham) obstruction tensor, we construct a complex of conformally invariant differential operators. The complex controls the infinitesimal deformations of obstruction-flat structures, and, in the case of Riemannian signature the complex is elliptic.
We present a global conformal invariant on closed six-manifolds which obstructs the existence of a conformally Einstein metric. We show that this obstruction is nontrivial and, up to multiplication by a constant, is the unique such invariant. This also gives rise to a (possibly trivial) diffeomorphism invariant which obstructs the existence of an Einstein metric. We also discuss global conformal invariants which obstruct the existence of a conformally Einstein metric on closed six-manifolds with infinite fundamental group.
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 prove a Pohozaev type identity for non-linear eigenvalue equations of the Dirac operator on Riemannian spin manifolds with boundary. As an application, we obtain that the mean curvature H of a conformal immersion S^{n}-> R^{n+1} satisfies $\int \partial_X H=0$ where X is a conformal vector field on S^{n} and where the integration is carried out with respect to the Euclidean volume measure of the image.<BR> This identity is analogous to the Kazdan-Warner obstruction that appears in the problem of prescribing the scalar curvature on S^{n} inside the standard conformal class.
We consider the future causal boundary as a tool to find obstructions to conformal extensions, the latter being a slight generalization to conformal compactifications.
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.
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…
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…
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 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)…
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 find a new obstruction for a real Einstein 4-orbifold with an A1-singularity to be a limit of smooth Einstein 4-manifolds. The obstruction is a curvature condition at the singular point. For asymptotically hyperbolic metrics, with boundary at infinity a conformal metric, we prove that if the obstruction vanishes, one can desingularize Einstein orbifolds with such singularities. The Dirichlet problem consists in finding Einstein metrics with given conformal infinity on the boundary: we prove that our obstruction defines a wall in the space of conformal metrics on the boundary, and that all t…
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…
This paper constructs a family of conformally invariant differential operators acting on spinor densities with leading part a power of the Dirac operator. The construction applies for all powers in odd dimensions, and only for finitely many powers in even dimensions. These operators arise naturally as obstructions to formal solution of the Dirac equation on the Fefferman-Graham ambient space with prescribed boundary conditions.
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 develop a new approach to the conformal geometry of embedded hypersurfaces by treating them as conformal infinities of conformally compact manifolds. This involves the Loewner--Nirenberg-type problem of finding on the interior a metric that is both conformally compact and of constant scalar curvature. Our first result is an asymptotic solution to all orders. This involves log terms. We show that the coefficient of the first of these is a new hypersurface conformal invariant which generalises to higher dimensions the important Willmore invariant of embedded surfaces. We call this the obstruc…
The behavior under conformal change of the renormalized volume coefficients associated to a pseudo-Riemannian metric is investigated. It is shown that they define second order fully nonlinear operators in the conformal factor whose algebraic structure is elucidated via the introduction of "extended obstruction tensors". These together with the Schouten tensor constitute building blocks for the coefficients in the ambient metric expansion. The renormalized volume coefficients have recently been considered by Chang-Fang motivated by comparison with the elementary symmetric functions of the eigen…
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.
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.
We propose a produre of reduction a locally conformal symplectic structure. This procedure of reduction can be applied to wide class of submanifolds. There are no local obstructions for this procedure. But there are global obstructions. We find a necessary and sufficient condition when this reduction holds in terms of the special kind of de Rham cohomology class (tangent to the characteristic foliation) of the Lee form.
Let $(X,g)$ be a compact manifold with boundary $M^n$ and $σ$ a defining function of $M$. To these data, we associate natural conformally covariant polynomial one-parameter families of differential operators $C^\infty(X) \to C^\infty(M)$. They arise through a residue construction which generalizes an earlier construction in the framework of Poincaré-Einstein metrics. The main ingredient of the definition of residue families are eigenfunctions of the Laplacian of the singular metric $σ^{-2}g$. We prove that if $σ$ is an approximate solution of a singular Yamabe problem, these families can be wr…
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.
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 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.
There is an obstruction to the existence of Kähler -Einstein metrics which is used to define the GIT weight for K-stability, and it has been extended to various geometric problems. This survey paper considers such extended obstructions to the existence problem of Kähler -Ricci solitons, Sasaki-Einstein metrics and (conformally) Einstein-Maxwell Kähler metrics. These three cases have a common feature that the obstructions are parametrized by a space of vector fields. We see, in these three cases, the obstructions are obtained as the derivative of suitable volume functionals. This tells us for w…
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…
In this article we introduce local gauge conditions under which many curvature tensors appearing in conformal geometry, such as the Weyl, Cotton, Bach, and Fefferman-Graham obstruction tensors, become elliptic operators. The gauge conditions amount to fixing an $n$-harmonic coordinate system and normalizing the determinant of the metric. We also give corresponding elliptic regularity results and characterizations of local conformal flatness in low regularity settings.
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…
We consider the problem of finding complete conformal metrics with prescribed curvature functions of the Einstein tensor and of more general modified Schouten tensors. To achieve this, we reveal an algebraic structure of a wide class of fully nonlinear equations. Our method is appropriate and delicate as shown by a topological obstruction. Finally, we discuss Hessian equations and Weingarten equations by confirming a key assumption.
We consider the problem of extending a conformal metric of negative curvature, given outside a neighbourhood of 0 in the unit disk $\DD$, to a conformal metric of negative curvature in $\DD$. We give conditions under which such an extension is possible, and also give obstructions to such an extension. The methods we use are based on a maximum principle and the Ahlfors--Schwarz Lemma. We apply these considerations to compactification of Riemann surfaces.
This paper considers the existence of conformally compact Einstein metrics on 4-manifolds. A reasonably complete understanding is obtained for the existence of such metrics with prescribed conformal infinity, when the conformal infinity is of positive scalar curvature. We find in particular that general solvability in this class depends on the topology of the filling manifold. The obstruction to solvability for arbitrary boundary values is also identified. While most of the paper concerns dimension 4, some general results on the structure of the space of such metrics hold in all dimensions.
In the complex-Riemannian framework we show that a conformal manifold containing a compact, simply-connected, null-geodesic is conformally flat. In dimension 3 we use the LeBrun correspondence, that views a conformal 3-manifold as the conformal infinity of a selfdual four-manifolds. We also find a relation between the conformal invariants of the conformal infinity and its ambient.
We clarify how close a second order fully nonlinear equation can come to uniform ellipticity, through counting large eigenvalues of the linearized operator. This suggests an effective and novel way to understand the structure of fully nonlinear equations of elliptic and parabolic type. As applications, we solve a fully nonlinear version of the Loewner-Nirenberg problem and a noncompact complete version of fully nonlinear Yamabe problem. Our method is delicate as shown by a topological obstruction.
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.
For a finite reflection subgroup $G\leq O(n+1,1,\mR)$ of the conformal group of the sphere with standard conformal structure $(S^n,[g_0])$, we geometrically derive differential-difference Dunkl version of the series of conformally invariant differential operators with symbols given by powers of Laplace operator. The construction can be regarded as a deformation of the Fefferman-Graham ambient metric construction of GJMS operators.
In this article we develop a new approach to the problem of the stability of locally conformally Kähler structures (l.c.k structures) under small deformations of complex structures and deformations of flat line bundles. We show that under the certain cohomological condition the stability of l.c.k structures does hold. We apply our approach to Hopf manifolds and its generalizations to obtain the stability of l.c.k structures which do not have potential in general. We give an explicit description of the cohomological obstructions of the stability of l.c.k structures on Inoue surfaces with $b_2=0…
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…
