---
title: Variational Principle for AdS₄ Gravity
url: https://www.emergentmind.com/topics/variational-principle-for-ads-_4-gravity
type: topic
---

# Variational Principle for AdS₄ Gravity

A variational principle for Anti-de Sitter gravity in four dimensions (AdS$_4$) specifies how the gravitational action can be rendered stationary under variations of the bulk fields and boundary data, subject to appropriate boundary terms and asymptotic conditions. This structure is fundamental both to the mathematical consistency of the theory and to its applications in holography, black hole thermodynamics, and conserved charges. Multiple rigorous formulations exist, including Dirichlet, Neumann, mixed (such as fixed renormalized stress tensor), and covariant approaches adapted to field content and symmetry. The unique features of AdS$_4$—notably the conformal flatness of its spatial boundary and the structure of divergences—admit particularly elegant boundary prescriptions that ensure both finiteness and a well-posed variational problem.

## 1. Einstein–Hilbert, Einstein–Katz, and Alternative Actions

The standard starting point is the Einstein–Hilbert action with negative cosmological constant $\Lambda = -3/\ell^2$:
\[
S_{\rm EH} = \frac{1}{16\pi G}\left[ \int_{M}\sqrt{-g}\,(R-2\Lambda) + 2\int_{\partial M} \sqrt{-h}\,K \right].
\]
The Gibbons–Hawking term $2\sqrt{-h}\,K$ is necessary for a well-defined Dirichlet problem. For gravity coupled to scalars and Maxwell fields—and to allow a broader class of variationally-adapted boundary conditions—one employs the Einstein–Katz action [1606.05849]. Here, the action is modified by adding total divergences:
\[
I = \int d^4x\,L_{\rm bulk} + \int d^4x \,\partial_\mu[k_K^\mu + k_S^\mu],
\]
where $k_K^\mu$ is the Katz vector, enforcing covariance and replacing the Gibbons–Hawking term, and $k_S^\mu$ is a scalar-dependent vector, both essential for variational consistency in the presence of nontrivial scalar profiles.

In models with higher-derivative corrections, the action includes quadratic invariants in the curvature, posing additional challenges for the boundary problem and necessitating generalized boundary terms and counterterms [1301.5205].

## 2. Boundary Terms, Counterterms, and the Renormalized Variational Problem

The infinite volume of AdS$_4$ renders the on-shell gravitational action divergent. These divergences are canceled by boundary counterterms, which are local functions of the boundary metric and its curvatures. In four bulk dimensions, the Kounterterms—polynomial expressions built from intrinsic and extrinsic boundary geometry—are provably equivalent to the standard holographic counterterms provided the boundary Weyl tensor vanishes (as in three dimensions) [2003.06425]. Explicitly, the total action is:
\[
S_{\rm tot} = S_{\rm EH} + S_{\rm K},
\]
with $S_{\rm K}$ the Kounterterm, e.g. as a Chern form boundary pullback.

A compact summary of the resulting boundary counterterms for Dirichlet data $h_{ij}$ in AdS$_4$:
\[
S_{\rm ct} = -\frac{1}{16\pi G} \int_{\partial M}\sqrt{-h}\left[\frac{2}{\ell} + \frac{\ell}{2}\,\mathcal R \right].
\]
The counterterm structure guarantees that the variational principle is finite and that surface terms vanish when the boundary metric is held fixed. When instead the renormalized Brown–York stress tensor $T^{ij}_{\rm ren}$ is held fixed (Neumann problem), the action is modified accordingly, resulting in the same physical values on-shell whenever the boundary trace anomaly vanishes [1609.06300].

## 3. Variational Well-Posedness and Boundary Conditions

A variational principle is well-posed when, upon variation, all boundary terms vanish for allowed variations of the fields—i.e., when the chosen class of field configurations is stationary under the action. For Dirichlet boundary conditions, this only requires fixing $h_{ij}$ at infinity. The inclusion of the correct counterterms or Kounterterms ensures that all divergences and unwanted surface variations cancel, leaving $\delta S=0$ for $\delta h_{ij}|_{\partial M}=0$ [2003.06425].

In the Einstein–Katz framework, the variational principle can be extended to families of asymptotically AdS black holes with scalar hair and Maxwell fields. The generalized Katz vector, including the scalar function $f(\phi)$, is determined by requiring that the action is stationary under on-shell variations within a family of solutions parametrized by coefficients in the asymptotic expansion. Notably, for static, spherically symmetric configurations, the variational principle selects a subset of solutions (e.g., those obeying a specific relation between scalar modes) and fixes $f(\phi)$ accordingly [1606.05849].

In AdS$_4$ gravity with higher-derivative corrections, the boundary problem is generically not well-posed under fixed metric data alone, due to the presence of normal-derivative variations. At linear order in higher-derivative couplings, these problematic terms vanish sufficiently fast at the conformal boundary, but at nonlinear order additional boundary data must be specified (e.g., fixed extrinsic curvature), corresponding to new dual CFT operators [1301.5205].

Alternative or mixed boundary conditions are possible: imposing that the renormalized stress-tensor or energy density is fixed at the boundary (Neumann-type) yields a finite action and a well-defined gravitational ensemble, with the corresponding boundary term constructed via Legendre transform [1609.06300].

## 4. Noether Charges and Thermodynamics in AdS$_4$

The presence of a well-posed variational principle directly grants access to conserved Noether charges defined at infinity. In the Einstein–Katz formulation, the Katz–Bičák–Lynden-Bell (KBL) superpotential yields precisely the conserved mass and other charges associated with asymptotic symmetries:
\[
Q^{\mu\nu}[\xi] = \frac{1}{2}[D^{[\mu}\xi^{\nu]} - \bar D^{[\mu}\xi^{\nu]}] + \xi^{[\mu}k_K^{\nu]} + \xi^{[\mu}k_S^{\nu]}.
\]
Evaluated on orthonormal time translation, this yields
\[
M = m_g + \frac{D\phi_1}{4\ell}
\]
in terms of the parameters of the asymptotic solution [1606.05849]. For dyonic AdS$_4$ black holes, the variational principle rigidly selects the subfamily for which the first law of black hole thermodynamics holds:
\[
dM = T dS + \Phi_e dQ_e + \Phi_m dQ_m.
\]
The on-shell Euclidean action, constructed with all counterterms, likewise encodes the correct thermodynamic relations (Gibbs, Smarr, and first law) with no need for ad hoc “scalar”. The Katz vectors serve as holographic counterterms ensuring both finiteness and compliance with the thermodynamic identities.

## 5. Variational Principles for Chiral, Self-Dual, and High-Derivative AdS$_4$ Gravity

Specialized variants of the AdS$_4$ variational problem have been formulated for chiral and self-dual sectors, and for higher-derivative gravity:

- **Chiral boundary conditions**: In Newman–Unti gauge, imposing chiral fall-off and corresponding constraints on the boundary data induces a consistent variational principle, with the boundary term constructed to cancel all unwanted variations, leading to a finite, conserved phase space and a symmetry algebra extending $\mathfrak{so}(2,3)$ as a chiral $\Lambda$-$\mathfrak{bms}_4$ algebra [2211.13176].

- **Self-dual gravity**: The action reduces to a cubic functional of a scalar field with a deformed Poisson bracket, generalizing the Plebanski construction to AdS$_4$. This formulation manifests a novel kinematic algebra, whose double-copy structure enables precise mappings to self-dual Yang–Mills [2304.07141].

- **Higher-derivative gravity**: As described above, the structure of the variational principle is controlled order-by-order in the curvature expansions, with additional boundary terms canceling higher-derivative surface variations and the counterterm structure adapted accordingly [1301.5205].

## 6. Mathematical Foundations and Topological Equivalence in AdS$_4$

The equivalence between Kounterterms and holographic counterterms in AdS$_4$ is a consequence of the vanishing of the boundary Weyl tensor and Anderson’s theorem for conformally compact Einstein 4-manifolds. Explicitly, the global relation between the renormalized volume and the Euler characteristic of the spacetime,
\[
\frac{1}{8(2\pi)^2}\int_{M^4}|W[g]|^2 + \frac{3}{(2\pi)^2}V_{\rm ren}(M^4) = \chi(M^4),
\]
and the dimension-specific Gauss–Bonnet result ensure that all divergences are canceled and that the renormalized action is finite and topologically invariant [2003.06425].

## 7. Summary Table: Key Actions and Boundary Terms in AdS$_4$ Gravity

| Action Type          | Boundary Term(s)             | Variational Data Fixed       |
|----------------------|-----------------------------|-----------------------------|
| Einstein–Hilbert     | Gibbons–Hawking + Counter   | Induced Metric $h_{ij}$      |
| Einstein–Katz        | Katz Vector $k_K^\mu$ + $k_S^\mu$ | Asymptotic Solution Moduli   |
| Dirichlet+Counter    | Intrinsic Counterterms       | Boundary Metric              |
| Kounterterm          | Chern-form Polynomial $B_3$  | Boundary Metric              |
| Neumann (Stress)     | $3/2\,\Theta$ + Counter      | Renormalized $T^{ij}$        |
| Higher Derivative    | Generalized GH + Counter     | $\gamma_{ij}$, ($K_{ij}$ at higher order) |

The table summarizes how each action type is rendered stationary and finite for AdS$_4$ gravity, specifying corresponding boundary terms and the boundary data to be held fixed on $\partial M$.

---

The variational principle in AdS$_4$ gravity thus rests on the careful balancing of bulk and boundary terms, the precise specification of asymptotic data, and a structure of counterterms that is uniquely well-adapted to four-dimensional anti-de Sitter geometry. These results underlie calculations of AdS black hole thermodynamics, holographically renormalized correlation functions, and the classification of allowed boundary conditions and symmetry algebras in gravitational dualities.

Source: https://www.emergentmind.com/topics/variational-principle-for-ads-_4-gravity