Residual Symmetries and Their Algebras in the Kerr-Schild Double Copy

This paper demonstrates that while the Kerr-Schild double copy introduces an enlarged, infinite-dimensional residual symmetry structure in both Yang-Mills and gravity, a fundamental mismatch exists where the gravitational sector's apparent conformal symmetries are shown to be BRST-trivial, leaving only global isometries as physical symmetries, unlike the non-trivial infinite-dimensional algebra found in the gauge theory side.

The Gist

The Big Picture: The "Double Copy" Recipe

Imagine you have a magical cookbook. In this cookbook, there is a recipe called the Double Copy. It says: "If you take a dish made of pure light and electricity (Yang-Mills theory) and follow these specific instructions, you can magically turn it into a dish made of gravity (General Relativity)."

Scientists have known for a while that this recipe works for making specific dishes (like the Schwarzschild black hole solution). But a big question remained: Does the recipe also copy the "kitchen rules" (symmetries)?

In physics, "symmetries" are like the rules of the kitchen. For example, "I can rotate the pot, and the soup tastes the same," or "I can shift the time, and the recipe still works." The authors of this paper wanted to know: If I change the rules for the light/electricity dish, do I get the exact same changes for the gravity dish?

The Discovery: A Mismatch in the Kitchen

The authors found a surprising problem.

1. The Light/Electricity Side (Gauge Theory): When they looked at the rules for the light dish, they found a massive, infinite library of possible moves. It's like having a kitchen where you can change the temperature, the stirring speed, and the ingredients in an infinite number of ways, and the dish still looks the same. It's a huge, chaotic algebra of possibilities.
2. The Gravity Side (Schwarzschild Black Hole): When they looked at the gravity dish (a black hole), they expected a similar huge library. Instead, they found a tiny library. A black hole is very rigid; it only allows a few specific moves (like rotating it or shifting time) without breaking its shape.

The Problem: The Double Copy recipe seemed to promise that the huge library of the light side would map perfectly to the gravity side. But the gravity side only had a tiny library. Where did the rest of the moves go? Did the recipe fail?

The Twist: The "Ghost" Moves

The authors dug deeper into the math and found the answer. The gravity side did seem to have a huge library of moves at first glance. It looked like there were infinite ways to wiggle the black hole's shape while keeping its "Kerr-Schild" structure (a specific mathematical way of describing the black hole).

However, most of these "infinite moves" were fake.

Think of it like this: Imagine you are painting a picture of a black hole.

• Real Symmetries: You can rotate the canvas, and the picture is still the same black hole.
• Fake Symmetries (The CKVs): You can also paint a layer of invisible, transparent varnish over the whole picture. To the naked eye, the picture looks exactly the same. But technically, you changed the surface.

The authors found that the "infinite library" of extra moves on the gravity side was just a bunch of invisible varnish layers. They were mathematical artifacts created by the specific way they chose to write down the equations (the "Kerr-Schild ansatz"). They weren't real physical changes; they were just redundancies.

The Solution: The "Ghost" Filter (BRST Cohomology)

To prove this, the authors used a tool called BRST Cohomology.

The Analogy: Imagine you have a bag of marbles. Some are real, heavy gold marbles (physical symmetries). Some are hollow plastic marbles painted to look like gold (fake symmetries).

• The "Kerr-Schild" method puts all the marbles in the bag.
• The "BRST" method is a special magnet.
• When you run the magnet over the bag, the hollow plastic marbles (the fake symmetries) get sucked out and disappear because they have no "weight" (they are mathematically trivial).
• The real gold marbles (the physical symmetries) stay behind.

The authors built a special "Weyl-compensated" filter (a mathematical gadget) that acted like this magnet. When they applied it:

1. The infinite, chaotic library of fake moves vanished completely.
2. Only the small, finite library of real moves remained.

The Conclusion: What Does This Mean?

The paper concludes that the Double Copy does not map the raw mathematical rules of light to the raw mathematical rules of gravity.

• At the surface level: The rules look totally different. Light has infinite wiggle room; Gravity (in this specific form) looks like it has infinite wiggle room too, but it's a "fake" wiggle room.
• At the deep, physical level: Once you filter out the "fake" wiggle room (the redundancies), the Double Copy works perfectly. The remaining physical symmetries match up exactly.

In simple terms:
The Double Copy is like a translator. If you translate a sentence word-for-word (raw algebra), the grammar might look weird and broken. But if you translate the meaning (physical symmetry) by ignoring the filler words and grammar errors (the fake symmetries), the message is perfect.

The authors showed that the "extra" symmetries appearing in the gravity equations are just mathematical noise caused by the way we write the equations, not real physical features of the universe. Once you clean up the noise, the Double Copy holds true.

Technical Summary

1. Problem Statement

The Kerr-Schild Double Copy (KSDC) is a well-established framework mapping exact classical solutions between Yang-Mills (YM) theory and General Relativity (GR). While the mapping of solutions is understood, the relationship between the underlying residual symmetry structures of these theories remains underexplored.

• The Core Question: Does the KSDC provide a direct mapping between the residual symmetry algebras of the gauge theory and gravity sectors?
• The Specific Tension: In the KSDC ansatz for the Schwarzschild solution, the gravitational side appears to admit an infinite-dimensional algebra of residual diffeomorphisms (specifically, proper Conformal Killing Vectors or CKVs). This contradicts the standard physical understanding that the Schwarzschild spacetime possesses only finite-dimensional global isometries ($SO(3) \times \mathbb{R}$) and no proper conformal symmetries.
• The Goal: To resolve this apparent contradiction, determine the true physical symmetry algebra, and investigate whether the double copy preserves symmetry structures at the level of the ansatz or only after cohomological reduction.

2. Methodology

The author employs a systematic analysis of residual symmetries in both Yang-Mills and Gravity sectors, followed by a BRST cohomological analysis to distinguish physical symmetries from gauge redundancies.

A. Analysis of Residual Symmetries

1. Yang-Mills Side:

   • The author derives residual gauge transformations preserving the Kerr-Schild ansatz $A^a_\mu = \Phi^a k_\mu$.
   • By solving the condition that the transformed field retains the KS form, the gauge parameters $\Lambda^a$ are found to be arbitrary functions of the retarded time $u = t-r$ along outgoing null rays.
   • Result: The residual symmetry algebra is an infinite-dimensional current algebra: $\mathfrak{g}_{res}^{YM} \cong \mathfrak{g} \otimes C^\infty(\mathbb{R})$.

2. Gravity Side (Schwarzschild):

   • The author analyzes infinitesimal diffeomorphisms $\xi^\mu$ preserving the KS metric form $g_{\mu\nu} = \eta_{\mu\nu} + \phi k_\mu k_\nu$.
   • The preservation condition leads to a system of coupled PDEs. The angular components satisfy the conformal Killing equation on the 2-sphere ($S^2$).
   • Decomposition: The solution space splits into two sectors:
     • Killing Sector: Corresponds to standard rotations and time translations (finite-dimensional).
     • Proper CKV Sector: Corresponds to conformal transformations on $S^2$ with coefficients depending on null coordinates.
   • Constraints: Imposing asymptotic flatness (boundedness at $r \to \infty$) and horizon regularity (regularity at $r = 2GM$) restricts the functional dependence of the CKV sector to functions of the null coordinate $u = t-r$.
   • Result: The residual algebra is an infinite-dimensional semidirect product: $\mathfrak{g}_{res}^{GR} \cong \mathfrak{g}_{iso} \ltimes \mathfrak{g}_{CKV}$, where $\mathfrak{g}_{CKV}$ is generated by null-dependent functions.

B. BRST Cohomological Reduction

To reconcile the infinite-dimensional residual algebra with the known finite-dimensional physical symmetries of Schwarzschild spacetime, the author constructs a unified BRST complex:

1. Killing Sector: Standard BRST construction. The algebra acts faithfully, and the cohomology yields the standard Chevalley-Eilenberg cohomology of the isometry algebra ($\mathfrak{so}(3) \oplus \mathbb{R}$).
2. Proper CKV Sector:
   • CKVs do not preserve the metric but induce local Weyl rescalings ($L_\Xi g_{\mu\nu} = \Omega g_{\mu\nu}$).
   • To define a BRST operator, a Weyl compensator field ($\Phi$) is introduced to absorb the conformal variation.
   • The resulting BRST transformation of the metric becomes trivial ($Q_W g_{\mu\nu} = 0$).
   • The compensator and the conformal factor form a BRST doublet (a contractible pair).
3. Conclusion: The CKV sector is BRST-exact (cohomologically trivial). The physical symmetry algebra is recovered as the BRST cohomology of the total complex, which reduces strictly to the Killing sector.

3. Key Contributions

• Identification of Mismatch: Demonstrated that the KSDC does not map the full residual symmetry algebras of Yang-Mills and Gravity directly. The YM side has a current algebra, while the Gravity side has a semidirect product of isometries and null-dependent conformal transformations.
• Resolution of the CKV Paradox: Resolved the apparent contradiction of Schwarzschild spacetime admitting proper conformal symmetries. Showed that these symmetries arise from the Kerr-Schild ansatz structure (a representation artifact) rather than the physical spacetime geometry.
• Weyl-Compensated BRST Formalism: Developed a novel BRST construction involving a minimal Weyl compensator to handle conformal Killing vectors in the context of residual symmetries. This proves that the infinite-dimensional sector is pure gauge redundancy.
• Cohomological Interpretation: Established that the double copy preserves physical symmetries only after a cohomological reduction, distinguishing between "geometric" symmetries of the ansatz and "physical" symmetries of the theory.

4. Results

• Yang-Mills: Residual symmetries form an infinite-dimensional algebra $\mathfrak{g} \otimes C^\infty(\mathbb{R})$.
• Gravity (Ansatz Level): Residual diffeomorphisms form $\mathfrak{g}_{iso} \ltimes \mathfrak{g}_{CKV}$, where $\mathfrak{g}_{CKV}$ is infinite-dimensional and parametrized by functions of $u$.
• Gravity (Physical Level): The BRST cohomology $H(Q_{tot})$ eliminates the CKV sector entirely. The physical symmetry algebra is strictly $\mathfrak{so}(3) \oplus \mathbb{R}$.
• Double Copy Implication: The correspondence between YM and Gravity symmetries is not a direct isomorphism of residual algebras. The "extra" symmetries in the gravity ansatz are gauge redundancies specific to the Kerr-Schild representation, not physical degrees of freedom.

5. Significance

• Theoretical Consistency: The paper clarifies a potential inconsistency in the double copy program regarding symmetry preservation. It confirms that while the ansatz introduces "enlarged" symmetries, the physical content remains consistent with standard GR.
• Methodological Advancement: The introduction of the Weyl-compensated BRST complex provides a robust tool for analyzing symmetries in geometries where conformal rescalings are inherent to the ansatz (like Kerr-Schild).
• Future Directions: The work suggests that future investigations into the double copy (e.g., for Kerr black holes, AdS backgrounds, or asymptotic symmetries) must account for cohomological reductions. It implies that any "symmetry double copy" must be formulated at the level of BRST cohomology rather than raw symmetry algebras.
• Conceptual Insight: It highlights that the Kerr-Schild ansatz introduces a specific type of "parametrization gauge freedom," where infinite-dimensional symmetries are artifacts of the coordinate/field representation rather than physical phenomena.