---
title: Fefferman-Graham Obstruction Tensor
url: https://www.emergentmind.com/topics/fefferman-graham-obstruction-tensor
type: topic
---

# Fefferman-Graham Obstruction Tensor

The Fefferman-Graham obstruction tensor is a canonical, symmetric, conformally covariant, trace-free, and divergence-free rank-two tensor, defined on even-dimensional conformal manifolds. It arises precisely as the obstruction to smoothly extending the ambient metric solution to the vacuum Einstein or Lovelock equations beyond a critical order. Its significance touches conformal geometry, conformal invariants, AdS/CFT holography, the theory of conformal differential operators, geometric flows, and higher-derivative gravity.

## 1. Definition and Construction in the Ambient Metric

Given a conformal manifold \((M^n,[g])\) with even dimension \(n\), the Fefferman-Graham ambient metric construction produces a \((n+2)\)-dimensional Lorentzian metric \(\widetilde g\) on an ambient space, typically taken as \(M \times \mathbb R_+ \times \mathbb R\), of the form
\[
\widetilde g = 2\,\rho\,dt^2 + 2\,t\,dt\,d\rho + t^2\,g_{ij}(x,\rho)\,dx^i\,dx^j,
\]
where \(\mathcal L_{t\partial_t}\widetilde g=2\widetilde g\) (homogeneity), \(\rho\) is transverse to \(M\), and \(g_{ij}(x,0)\) recovers a representative metric \(g_{ij}(x)\) of the conformal class. The Ricci-flatness (Einstein) equations,
\[
\mathrm{Ric}(\widetilde g) = 0,
\]
admit a formal power series solution in \(\rho\):
\[
g_{ij}(x,\rho) = g_{ij}^{(0)}(x) + \rho\,g_{ij}^{(1)}(x) + \cdots + \rho^{k}\,g_{ij}^{(k)}(x) + \cdots
\]
For \(n\) even, at order \(k = n/2\), the trace-free part of \(g_{ij}^{(n/2)}\) is generically not determined by the equations, and a logarithmic term \(\rho^{n/2}\log\rho\) is typically required. The coefficient of this log term—or equivalently, the appropriately normalized trace-free part of \(g_{ij}^{(n/2)}\)—defines the Fefferman-Graham obstruction tensor \(\mathcal O_{ij}\) [1511.07214][2510.21646][1608.06875][2108.08085]:
\[
\mathcal O_{ij} = \lim_{\rho\to0} \mathrm{tf\,}\left(g_{ij}^{(n/2)}(x)\right).
\]
This tensor is zero if and only if the ambient metric can be continued smoothly past order \(\rho^{n/2}\) without a log term.

## 2. Algebraic and Analytic Properties

The Fefferman-Graham obstruction tensor possesses the following essential features [1511.07214][1506.01979][2108.08085][2511.01368]:
- **Symmetry**: \(\mathcal O_{ij} = \mathcal O_{ji}\)
- **Trace-freeness**: \(g^{ij} \mathcal O_{ij}=0\)
- **Divergence-freeness**: \(\nabla^{i} \mathcal O_{ij}=0\)
- **Conformal covariance**: For any conformal rescaling \(\hat g = e^{2\omega}g\), \(\hat{\mathcal O}_{ij} = e^{(2-n)\omega} \mathcal O_{ij}\)
- **Locality and naturality**: \(\mathcal O_{ij}\) is a natural differential operator of order \(n\) in the metric and its derivatives.

Importantly, \(\mathcal O_{ij}\) exists only in even dimension and vanishes identically for conformally Einstein (or more generally, almost Einstein) metrics. It is characterized as the unique, natural, symmetric, trace-and-divergence-free tensor of conformal weight \(2-n\) with leading symbol \(\Delta^{n/2-2}\nabla_i\nabla_j R\) plus universal curvature corrections [2505.24188][1511.07214][1506.01979][2511.01368].

## 3. Explicit Formulas in Low Dimensions

The ambient obstruction tensor generalizes classical tensors in low dimensions:
- **\(n=4\)**: \(\mathcal O_{ij}\) is the Bach tensor,
  \[
  B_{ij} = \nabla^k\nabla_k P_{ij} - \nabla^k\nabla_{j}P_{ik} - W_{k i j l} P^{kl}
  \]
  where \(P_{ij}\) is the Schouten tensor, \(W_{ijkl}\) is the Weyl tensor [2407.02695].
- **\(n=6\)**:
  \[
  \mathcal O_{ij}^{(6)} = -\frac{1}{2}\left( \Delta B_{ij} - 2 W_{kij\ell} B^{k\ell} - 4 B_{ij} K^{\ell}{}_{\ell} + \cdots \right)
  \]
  where \(B_{ij}\) is the 6D analog of the Bach tensor, with additional Weyl and Cotton-type contributions [2511.01368][2407.02695].
- **Arbitrary even \(n=2m\)**: The leading term is always
  \[
  \mathcal O_{ij} = c_n \Delta^{m-2}(P_{ij,k}{}^{k} - P_{k}{}^{k}{}_{,ij}) + \text{lower order} 
  \]
  with constants and lower-order terms depending on \(n\) [2505.24188][1608.06875].

## 4. Generalizations: Lovelock and Weyl Obstruction Tensors

For conformally compact metrics satisfying generalized Lovelock equations rather than Einstein's, the Fefferman-Graham construction and the ensuing obstruction tensor generalize naturally [2505.24188]. The Lovelock obstruction tensor possesses identical leading structure but with constants determined by the Lovelock couplings:
\[
O_{ij} = \frac{A_1(\alpha)}{c_n} \Delta^{n/2-2}(P_{ij,k}{}^{k} - P_{k}{}^{k}{}_{,ij}) + \text{lower order}
\]
where \(A_1(\alpha)\) encodes the choice of Lovelock couplings.

In the presence of a background Weyl structure, Weyl-obstruction tensors arise as the residues of poles in the ambient expansion when the boundary data includes a Weyl connection. These tensors are manifestly Weyl-covariant, generalize the conformal case, and serve as universal building blocks for the Weyl anomaly of the dual QFT in holography [2301.06628][2407.02695][2109.14014].

## 5. Variational and Holographic Interpretation; Relation to Q-Curvature

The Fefferman-Graham obstruction tensor is the Euler-Lagrange derivative of the integral of Branson's Q-curvature in even dimensions [2511.01368][1506.01979]:
\[
\delta \int Q_{n} = -\int \mathcal O_{ij}\, \delta g^{ij}
\]
This establishes its central role in the theory of conformal invariants and makes it the “gradient” for geometric flows such as the ambient obstruction flow [1506.01979]. In AdS/CFT correspondence, the obstruction tensor directly determines the coefficient of the holographic Weyl anomaly: its nonvanishing signals the presence of a \(\log\) divergence in the bulk action and a conformal anomaly in the boundary CFT [2407.02695][2109.14014].

In even dimensions, the obstruction tensor is precisely the object whose vanishing is necessary and sufficient for the existence of a smooth, Ricci-flat (or Einstein) ambient extension; in particular, it provides a geometric obstruction to the smooth extension of the null infinity in the conformal compactification of asymptotically (A)dS spaces [2510.21646][2108.08085].

## 6. Holonomy, Conformal Operators, and the Tractor Connection

The obstruction tensor has deep connections to conformal holonomy. It can be characterized via the holonomy of the normal conformal Cartan connection; its vanishing is equivalent to the reduction of holonomy and the presence of special geometric structures such as almost Einstein metrics, normal conformal Killing forms, or twistor spinors [1511.07214].

Using tractor calculus, the vanishing of the Fefferman-Graham obstruction is equivalent, in dimensions \(n\geq6\), to the property that the standard tractor connection satisfies a conformal Yang-Mills condition—thus linking the obstruction tensor directly to natural conformally invariant, higher-derivative Yang-Mills-type equations [2601.09975]. These equivalences depend crucially on the structure of Graham-Jenne-Mason-Sparling (GJMS) operators and the higher symmetries of conformally invariant geometric PDEs.

## 7. Hypersurface and Extrinsic Generalizations; Ambient Flow

The concept of the Fefferman-Graham obstruction admits scalar and hypersurface analogues. In the singular Yamabe and Loewner-Nirenberg-type boundary problems, the coefficient of the log term in the expansion (the “obstruction density”) plays an analogous role for hypersurfaces, generalizing the Willmore energy and providing the only fundamental scalar conformal invariant in even dimensions [1506.02723]. These scalar and tensor obstruction densities are computed via ambient or tractor calculus, BGG sequences, and holographic formulas.

The ambient obstruction tensor also drives the “ambient obstruction flow,” a parabolic flow of Riemannian metrics where the adjusted obstruction tensor determines the evolution, with associated pointwise smoothing, blow-up criteria, and compactness theorems [1506.01979]. Vanishing of the obstruction leads to integrable flows within the conformal class, whereas nonvanishing terms drive smoothing of higher-order curvature [1506.01979].

---

### Summary Table: Defining Properties

| Property                    | Statement                                                                                           | Papers            |
|-----------------------------|-----------------------------------------------------------------------------------------------------|-------------------|
| Symmetry                    | \(\mathcal O_{ij} = \mathcal O_{ji}\)                                                              | [2511.01368]      |
| Trace-freeness              | \(g^{ij}\mathcal O_{ij}=0\)                                                                         | [1511.07214]      |
| Divergence-freeness         | \(\nabla^i \mathcal O_{ij}=0\)                                                                      | [2505.24188]      |
| Conformal covariance        | \(\hat{\mathcal O}_{ij} = e^{(2-n)\omega} \mathcal O_{ij}\) for \(\hat g = e^{2\omega}g\)           | [1506.01979]      |
| Existence                   | Only in even dimensions, fails above order \(n/2\) in ambient expansion                            | [2108.08085]      |
| Leading symbol              | \(\Delta^{n/2-2}\nabla_i\nabla_j R\) with lower-order corrections                                  | [1511.07214]      |
| Variational role            | Euler-Lagrange tensor for \(\int Q_n\), the total Q-curvature                                       | [2511.01368]      |
| Vanishing for conformally   | Einstein, Bach-flat, or almost Einstein implies \(\mathcal O_{ij}=0\)                               | [1511.07214]      |

---

## References
- "Conformally compact metrics and the Lovelock tensors" [2505.24188]
- "The ambient obstruction tensor and conformal holonomy" [1511.07214]
- "Conformal characterization of the Fefferman-Graham ambient metric" [2510.21646]
- "Conformal hypersurface geometry via a boundary Loewner-Nirenberg-Yamabe problem" [1506.02723]
- "8D conformal gravity with Einstein sector, and its relation to the Q-curvature" [2511.01368]
- "Fefferman-Graham ambient metrics of Patterson-Walker metrics" [1608.06875]
- "Ambient Obstruction Flow" [1506.01979]
- "Well-posedness of the ambient metric equations and stability of even dimensional asymptotically de Sitter spacetimes" [2108.08085]
- "Einstein and Yang-Mills implies conformal Yang-Mills" [2601.09975]
- "Weyl-Ambient Geometries" [2301.06628]
- "Topics in Weyl Geometry and Quantum Anomalies" [2407.02695]
- "Obstruction Tensors in Weyl Geometry and Holographic Weyl Anomaly" [2109.14014]

Source: https://www.emergentmind.com/topics/fefferman-graham-obstruction-tensor