Extended Iyer-Wald Formalism

• Extended Iyer-Wald Formalism is a covariant phase-space framework that generalizes black hole thermodynamics to include arbitrary perturbations, higher-derivative, and quantum corrections.
• The formalism introduces an effective stress tensor to capture perturbative changes and extremality corrections, linking energy conditions with observable shifts in black hole properties.
• It extends black hole chemistry by promoting coupling constants to variational parameters, yielding modified first laws and Smarr relations across diverse gravitational models.

The extended Iyer-Wald formalism is a covariant phase-space framework for analyzing corrections to black hole thermodynamics, extremality bounds, and entropy in general diffeomorphism-invariant theories of gravity with matter, including higher-derivative and multi-field extensions. It generalizes the classical Iyer-Wald construction, originally formulated to derive the first law of black hole mechanics and the Wald entropy, to encompass arbitrary perturbations of the action, variations of coupling constants, extended thermodynamic variables, and dynamical settings, thereby providing a unified tool for examining the physical consequences of quantum, higher-derivative, and phenomenological corrections.

1. Core Structure of the Extended Formalism

The foundation is a Lagrangian $d$-form $L(\phi)$ built from the metric and all dynamical fields $\phi$ relevant to the theory. Its variation under arbitrary field and coupling constant perturbations can be expressed as: $$\delta L(\phi) = E(\phi)\,\delta\phi + d\theta(\phi, \delta\phi) + \sum_k \left( \frac{\partial L}{\partial C_k}\,\delta C_k \right)$$ where $E(\phi)=0$ are the field equations, $\theta$ is the symplectic potential $(d-1)$-form, and $C_k$ denote coupling constants such as $\Lambda, G, \alpha_m$, etc. The symplectic current is $$\omega(\phi;\delta_1\phi,\delta_2\phi) = \delta_1 \theta(\phi, \delta_2\phi) - \delta_2 \theta(\phi, \delta_1\phi)$$.

Given a vector field $L(\phi)$0, the Noether current and associated charge are defined as: $L(\phi)$1 with $L(\phi)$2 vanishing on-shell, and $L(\phi)$3 the Noether charge $L(\phi)$4-form.

The master variation relation, central to the extended formalism, is: $L(\phi)$5 (Aalsma, 2021, Xiao et al., 2023).

2. Effective Stress Tensor, Extremality Bounds, and Energy Conditions

A pivotal concept in the extended formalism is the effective stress tensor $L(\phi)$6, which encodes corrections from arbitrary perturbations (including higher-derivative, quantum, or additional matter terms) without the necessity of solving for the fully backreacted background. For four-dimensional Einstein–Maxwell, the correction to extremality bounds is: $L(\phi)$7 with $L(\phi)$8 the horizon Killing field, $L(\phi)$9 the Cauchy slice normal, and $\phi$0 the induced volume form.

$\phi$1 is constructed as a sum of gravitational and matter perturbations: $\phi$2

Extremality shifts, such as corrections to the bound $\phi$3, are thus determined by spatial integrals of $\phi$4.

Crucially, the sign of extremality corrections is dictated by the dominant energy condition: a decrease in extremal mass requires violation of DEC by the perturbation, linking these effects directly to the weak gravity conjecture and the microphysical properties of the underlying EFT (Aalsma, 2021).

3. Inclusion of Coupling Constants and Extended Thermodynamics

The formalism enables the promotion of coupling constants—cosmological constant $\phi$5, Newton's constant $\phi$6, higher-derivative couplings, gauge couplings—to variational parameters, supporting extended black hole thermodynamics. The variation of the Lagrangian in this setting is: $\phi$7 This leads to modified first laws: $\phi$8 with $\phi$9 the conjugate potential to the coupling $$\delta L(\phi) = E(\phi)\,\delta\phi + d\theta(\phi, \delta\phi) + \sum_k \left( \frac{\partial L}{\partial C_k}\,\delta C_k \right)$$0, obtained as a regulated bulk integral of $$\delta L(\phi) = E(\phi)\,\delta\phi + d\theta(\phi, \delta\phi) + \sum_k \left( \frac{\partial L}{\partial C_k}\,\delta C_k \right)$$1 along the horizon Killing field (Xiao et al., 2023).

This structure robustly recovers the geometric volume/pressure and chemical potential terms in black hole chemistry, can accommodate variable $$\delta L(\phi) = E(\phi)\,\delta\phi + d\theta(\phi, \delta\phi) + \sum_k \left( \frac{\partial L}{\partial C_k}\,\delta C_k \right)$$2 (Chen et al., 6 Aug 2025), brane tension in braneworld scenarios (Kumar, 25 Aug 2025), and provides the correct extended Smarr relations via scaling or Komar-like integrals.

4. Generalized Entropy and Covariant Phase Space Construction

For stationary and non-stationary black holes—including those in higher-derivative gravity or with nonminimal couplings—the extended formalism demands careful treatment of surface charge variations at the horizon. The entropy entering the first law may receive contributions beyond the standard Wald term: $$\delta L(\phi) = E(\phi)\,\delta\phi + d\theta(\phi, \delta\phi) + \sum_k \left( \frac{\partial L}{\partial C_k}\,\delta C_k \right)$$3 where $$\delta L(\phi) = E(\phi)\,\delta\phi + d\theta(\phi, \delta\phi) + \sum_k \left( \frac{\partial L}{\partial C_k}\,\delta C_k \right)$$4 is the Wald entropy, $$\delta L(\phi) = E(\phi)\,\delta\phi + d\theta(\phi, \delta\phi) + \sum_k \left( \frac{\partial L}{\partial C_k}\,\delta C_k \right)$$5 encodes non-Wald (e.g. nonminimal) Noether charge pieces, and $$\delta L(\phi) = E(\phi)\,\delta\phi + d\theta(\phi, \delta\phi) + \sum_k \left( \frac{\partial L}{\partial C_k}\,\delta C_k \right)$$6 captures the presymplectic potential term's integrable contribution. Inclusion of $$\delta L(\phi) = E(\phi)\,\delta\phi + d\theta(\phi, \delta\phi) + \sum_k \left( \frac{\partial L}{\partial C_k}\,\delta C_k \right)$$7 and $$\delta L(\phi) = E(\phi)\,\delta\phi + d\theta(\phi, \delta\phi) + \sum_k \left( \frac{\partial L}{\partial C_k}\,\delta C_k \right)$$8 is essential when fields (e.g., vector "hair" in bumblebee gravity) are non-regular at the bifurcation surface (Liu et al., 21 May 2026).

The formalism also supports a local, horizon-adapted entropy current $$\delta L(\phi) = E(\phi)\,\delta\phi + d\theta(\phi, \delta\phi) + \sum_k \left( \frac{\partial L}{\partial C_k}\,\delta C_k \right)$$9 whose divergence encodes entropy production for dynamical horizons, together with a classification of ambiguities (total derivative and boundary terms, parameter redefinitions) in the definition of entropy. This current transforms covariantly under horizon reparametrizations and is essential for the consistent statement of an ultra-local second law in arbitrary diffeomorphism-invariant theories (Kar et al., 2024).

5. Applications: Perturbative Corrections, Cosmic Censorship, and Holography

The extended Iyer-Wald formalism underpins analysis of:

• Corrections to extremality and black hole entropy from generic perturbations, including higher-derivative and quantum effects, with explicit applications to AdS–Reissner–Nordström and Kerr backgrounds (Aalsma, 2021).
• Second-order perturbative inequalities that prohibit overcharging or overspinning of black holes, preserving the weak cosmic censorship conjecture even when first-order inequalities would permit violation; demonstrated in Einstein–Maxwell–dilaton, heterotic string (Kerr–Sen), and higher-dimensional nonlinear electrodynamics (Jiang et al., 2019, Jiang et al., 2019, Li et al., 2020).
• The construction and resolution of gauge ambiguities in the definition of thermodynamic potentials, via isohomogeneous transformations and careful normalization of Killing fields in spaces such as Kerr–AdS, ensuring integrable first laws (Campos et al., 4 Jul 2025).
• Holographic entanglement entropy and its extended first law in the AdS/CFT context, tracking explicit variations of fundamental and higher-derivative couplings, with implications for field theory central charges and monotones (Caceres et al., 2016, Lan et al., 2017).

6. Covariant Charges, Boundary Conditions, and Gauge Ambiguities

The extended formalism incorporates fluctuating boundaries and background independence, allowing for a fully covariant treatment of black hole charges and the first law—independent of asymptotic structure or the properties of a bifurcation surface (Golshani et al., 2024). Integration constants or ambiguities in the Noether charge (e.g., from total derivatives in the Lagrangian or shifts in the symplectic potential and charge) are classified and shown to not affect physical quantities such as entropy and Smarr relations, provided field-space integrability and appropriate reference solutions are chosen (Kar et al., 2024, Golshani et al., 2024).

7. Summary and Open Directions

The extended Iyer-Wald formalism constitutes a general, covariant, and robust framework for analyzing black hole thermodynamics, entropy, and extremality under arbitrary action perturbations, variable couplings, and boundary or gauge ambiguities. It underlies current approaches to black hole chemistry, tests of the weak cosmic censorship conjecture, and the study of generalized entropy and holographic monotones in higher-curvature and quantum gravity, with a consistently explicit map from fundamental action parameters to physical corrections. Future work aims to further clarify the role of magnetic/dilaton charges, fully dynamical horizons, ambiguities associated with higher-derivative regularization, and the formalism's interplay with quantum corrections and holography.

---

References:

(Aalsma, 2021, Xiao et al., 2023, Golshani et al., 2024, Chen et al., 6 Aug 2025, Campos et al., 4 Jul 2025, Kar et al., 2024, Liu et al., 21 May 2026, Jiang et al., 2019, Jiang et al., 2019, Kumar, 25 Aug 2025, Caceres et al., 2016, Lan et al., 2017, Li et al., 2020)