BV-BRST Lagrangian and the Infrared Triangle
Gauge symmetries, ghost fields, and the cohomological structure underlying soft theorems, Ward identities, and gravitational memory
1. The BRST Formalism
The Becchi–Rouet–Stora–Tyutin (BRST) formalism provides a systematic method for quantizing gauge theories while preserving unitarity. The central idea is to promote the gauge symmetry to a global fermionic symmetry by introducing ghost fields.
For a gauge theory with gauge parameters $\epsilon^a$, we introduce Faddeev–Popov ghost fields $c^a$ (Grassmann-odd, ghost number $+1$), anti-ghosts $\bar{c}^a$ (ghost number $-1$), and Nakanishi–Lautrup auxiliary fields $b^a$ (ghost number $0$). The BRST transformation $\delta_B$ acts as:
$$\delta_B \phi^i = c^a R^i{}_a(\phi), \qquad \delta_B c^a = -\tfrac{1}{2} f^a{}_{bc}\, c^b c^c$$
$$\delta_B \bar{c}^a = b^a, \qquad \delta_B b^a = 0$$
Here $R^i{}_a(\phi)$ generates the gauge transformation on fields $\phi^i$, and $f^a{}_{bc}$ are the structure constants of the gauge algebra. The fundamental property of BRST is nilpotency:
$$\delta_B^2 = 0$$
This nilpotency ensures that physical states lie in the BRST cohomology $H^*(\delta_B)$: they are $\delta_B$-closed but not $\delta_B$-exact.
2. BRST for DeTurck Diffusion
Ricci flow $\partial_t g_{ij} = -2R_{ij}$ is invariant under time-dependent diffeomorphisms. DeTurck's trick fixes this gauge freedom by adding a Lie derivative term. In BRST language, the gauge condition is:
$$F^i = W^i \;=\; g^{jk}\bigl(\Gamma^i{}_{jk} - \hat{\Gamma}^i{}_{jk}\bigr) = 0$$
where $\hat{\Gamma}$ is the connection of a fixed background metric $\hat{g}$. The ghost kinetic operator is obtained by varying $F^i$ under an infinitesimal diffeomorphism generated by the ghost $c^j$:
$$\mathcal{O}^i{}_j = \Delta_L \delta^i{}_j + R^i{}_j$$
where $\Delta_L$ is the Lichnerowicz Laplacian. The full BRST-fixed Lagrangian for Perelman's system becomes:
$$\mathcal{L}_{\rm BRST}^{\rm RF} = \bigl(R + |\nabla f|^2\bigr) e^{-f}\,d\mu_g + \bar{c}_i\bigl(\Delta_L \delta^i{}_j + R^i{}_j\bigr) c^j\, e^{-f}\,d\mu_g + b_i\, W^i\, e^{-f}\,d\mu_g$$
The first term is Perelman's $\mathcal{F}$-functional density. The ghost sector encodes the diffeomorphism gauge-fixing, and $b_i$ enforces the DeTurck gauge $W^i = 0$ as an equation of motion.
3. BRST for BMS Gauge Fixing
At null infinity $\mathscr{I}^+$, the residual gauge symmetry is the BMS group. The BMS ghost decomposes according to the BMS algebra:
$$\xi^\mu = \bigl(f(\theta^A),\; Y^A(\theta^B)\bigr)$$
where $f$ is the supertranslation ghost and $Y^A$ the superrotation ghost. The BMS gauge-fixing conditions in Bondi gauge are:
$$g_{rr} = 0, \qquad g_{rA} = 0, \qquad \partial_r\!\left(\frac{\det g_{AB}}{r^4}\right) = 0$$
The BRST Lagrangian at $\mathscr{I}^+$ takes the form:
$$\mathcal{L}_{\rm BRST}^{\rm BMS} = S_{\rm BS}[g] + \bar{c}_\mu \,\frac{\delta F^\mu}{\delta \xi^\nu}\, c^\nu + b_\mu\, F^\mu$$
where $S_{\rm BS}$ is the Bondi–Sachs action and $F^\mu = 0$ are the three Bondi gauge conditions. The ghost operator $\delta F^\mu / \delta \xi^\nu$ encodes how BMS transformations deform the gauge slice.
4. The Infrared Triangle as BRST Cohomology
Strominger's infrared triangle — connecting soft theorems, asymptotic symmetries, and memory effects — acquires a clean cohomological interpretation in the BRST framework. Each vertex of the triangle corresponds to a different aspect of $\delta_B$-cohomology:
Soft Theorem = BRST-closed amplitude
$$\delta_B \mathcal{A}_{n+1}^{\rm soft} = 0 \quad \Longleftrightarrow \quad \lim_{\omega \to 0} \omega\, \mathcal{A}_{n+1} = S^{(0)} \mathcal{A}_n$$
Ward Identity = BRST-exact charge conservation
$$\delta_B Q_Y = 0 \quad \Longleftrightarrow \quad \langle \text{out} | Q_Y^+ - Q_Y^- | \text{in} \rangle = 0$$
Spin Memory = BRST-closed, not exact
$$\delta_B \Delta\Psi = 0, \qquad \Delta\Psi \neq \delta_B(\cdots) \quad \Longleftrightarrow \quad \Delta\Psi \in H^1(\delta_B) \setminus \{0\}$$
The spin memory $\Delta\Psi$ represents a nontrivial cohomology class precisely because it records a permanent physical effect (the angular displacement of test gyroscopes) that cannot be removed by a gauge transformation.
5. The BV Master Action
The Batalin–Vilkovisky (BV) formalism extends BRST by introducing antifields$\phi^*_i$ for every field $\phi^i$. The antifields carry ghost number $-1 - \text{gh}(\phi^i)$and act as sources for BRST transformations. We construct the BV master action combining the Perelman and Bondi–Sachs sectors:
$$S_{\rm BV} = \underbrace{\int_\Sigma \bigl(R + |\nabla f|^2\bigr) e^{-f}\,d\mu_g}_{\text{Perelman } \mathcal{F}} \;+\; \underbrace{\int_{\mathscr{I}^+} \bigl(N_{AB} N^{AB} + \text{boundary}\bigr)\, du\, d^2\Omega}_{\text{Bondi--Sachs}}$$
$$\quad +\; g^*_{ij}\, \mathcal{L}_c g^{ij} + f^*\, c^k \partial_k f + c^*_a\bigl(-\tfrac{1}{2} f^a{}_{bc}\, c^b c^c\bigr) + \bar{c}^*_a\, b^a$$
The antifield terms $g^*_{ij}\, \mathcal{L}_c g^{ij}$ and $f^*\, c^k \partial_k f$ encode the BRST transformations of the metric and dilaton. The master action satisfies the classical master equation:
$$(S_{\rm BV},\; S_{\rm BV}) = 0$$
where the BV antibracket is defined by:
$$(F, G) = \frac{\delta^R F}{\delta \phi^i}\frac{\delta^L G}{\delta \phi^*_i} - \frac{\delta^R F}{\delta \phi^*_i}\frac{\delta^L G}{\delta \phi^i}$$
6. Ghost Number Grading and the BV Complex
The BV formalism assigns a ghost number $\mathrm{gh}$ and an antifield number $\mathrm{afn}$to every field. The total grading determines the structure of the BV complex:
$$\mathrm{gh}(g_{\mu\nu}) = 0, \quad \mathrm{gh}(c^\mu) = 1, \quad \mathrm{gh}(\bar{c}_\mu) = -1, \quad \mathrm{gh}(b_\mu) = 0$$
$$\mathrm{gh}(g^*_{\mu\nu}) = -1, \quad \mathrm{gh}(c^*_\mu) = -2, \quad \mathrm{gh}(\bar{c}^*_\mu) = 0, \quad \mathrm{gh}(b^*_\mu) = -1$$
The BV differential $s = (S_{\rm BV}, \cdot\,)$ has ghost number $+1$ and squares to zero, giving a cochain complex. The physical content is captured by the cohomology at each ghost number:
$$H^{-1}(s) = \text{gauge equivalences}, \quad H^0(s) = \text{observables}, \quad H^1(s) = \text{anomalies/memory}$$
The identification $H^1(s) = \text{memory effects}$ is a key insight of this framework. Memory effects are cohomologically nontrivial precisely because they represent permanent physical changes that are $s$-closed (gauge-invariant) but not $s$-exact (cannot be removed by a gauge transformation).
The quantum BV master equation incorporates the measure and reads:
$$\tfrac{1}{2}(S_{\rm BV}, S_{\rm BV}) = \hbar\, \Delta_{\rm BV}\, S_{\rm BV}, \qquad \Delta_{\rm BV} = (-1)^{\epsilon_i}\frac{\partial^2}{\partial \phi^i\, \partial \phi^*_i}$$
where $\Delta_{\rm BV}$ is the odd Laplacian and $\epsilon_i$ is the Grassmann parity of $\phi^i$. At the classical level ($\hbar = 0$), this reduces to the classical master equation.
7. BRST Ward Identities
The BRST symmetry generates Ward identities for gravitational scattering amplitudes. For any BRST-invariant operator $\mathcal{O}$, the Ward identity reads:
$$\langle \delta_B \mathcal{O} \rangle = 0 \quad \Longrightarrow \quad \sum_i \langle \mathcal{O}_1 \cdots (\delta_B \mathcal{O}_i) \cdots \mathcal{O}_n \rangle = 0$$
Applied to the supertranslation charge $Q_f = \oint_{S^2} f\, m_B\, d\Omega$, the Ward identity reproduces Weinberg's soft graviton theorem:
$$\langle \text{out} | [Q_f, \mathcal{S}] | \text{in} \rangle = 0 \quad \Longleftrightarrow \quad \lim_{\omega \to 0} \omega\, \mathcal{A}_{n+1} = \left(\sum_k \frac{p_k \cdot \epsilon}{p_k \cdot q}\right) \mathcal{A}_n$$
For the superrotation charge $Q_Y = \oint_{S^2} Y^A N_A\, d\Omega$, the Ward identity gives the subleading soft graviton theorem (Cachazo–Strominger):
$$\langle \text{out} | [Q_Y, \mathcal{S}] | \text{in} \rangle = 0 \quad \Longleftrightarrow \quad \lim_{\omega \to 0} (1 + \omega\partial_\omega)\, \mathcal{A}_{n+1} = S^{(1)} \mathcal{A}_n$$
The BRST framework thus provides a unified derivation: both soft theorems are consequences of a single BRST symmetry, with the leading and subleading theorems corresponding to the supertranslation and superrotation sectors of the ghost field respectively.
8. Physical Observables as BV Cohomology
Physical observables in the BV formalism are elements of the zeroth cohomology of the BV differential $s = (S_{\rm BV}, \cdot\,)$:
$$\text{Phys. Obs.} = H^0\bigl(s\bigr) = H^0\bigl((S_{\rm BV}, \cdot\,)\bigr)$$
The BV cohomology unifies the Perelman and Bondi–Sachs sectors: an observable is$s$-closed if it is invariant under both diffeomorphisms (DeTurck sector) and BMS transformations (null infinity sector). Examples include:
- The Perelman entropy $\mathcal{W}(g, f, \tau)$ — invariant under $\delta_B$ by diffeomorphism invariance of the functional
- The Bondi mass loss $dm_B/du = -\frac{1}{8\pi G}\oint N_{AB} N^{AB}\, d\Omega$ — gauge-invariant at $\mathscr{I}^+$
- The spin memory $\Delta\Psi$ — a nontrivial class in $H^1(s)$
The isomorphism between $H^*(s)$ computed in the Perelman sector and in the Bondi–Sachs sector is the cohomological content of the infrared triangle.
$$H^0(s)\big|_{\Sigma} \;\cong\; H^0(s)\big|_{\mathscr{I}^+} \;\cong\; \ker \delta_B / \operatorname{im} \delta_B$$