Homotopy transfer for massive Kaluza-Klein modes

This paper develops an $L_{\infty}$ algebra-based homotopy transfer algorithm to systematically construct gauge-invariant fields for massive Kaluza-Klein modes to arbitrary perturbative order, demonstrating the method on toroidal compactifications as a precursor to applications in exceptional field theory.

The Gist

Imagine you are trying to listen to a symphony, but the orchestra is playing in a massive, echoing cathedral. The music you hear is a jumbled mix of the actual melody (the "zero modes" or the main tune) and thousands of echoing reverberations bouncing off the walls (the "massive Kaluza-Klein modes").

In the world of theoretical physics, specifically Kaluza-Klein theory, scientists try to understand how our universe might have hidden, tiny dimensions curled up like a tiny donut (a torus). When they look at gravity in this setup, they see not just the smooth, familiar gravity we know, but an infinite tower of "echoes" or extra particles. These echoes are real, but they are messy to study because they are tangled up with "gauge redundancies"—mathematical tricks that make the same physical situation look different depending on how you label it.

This paper, "Homotopy transfer for massive Kaluza-Klein modes," is like a new set of noise-canceling headphones and a clever audio engineer's manual. Here is what the authors did, explained simply:

1. The Problem: A Messy Mix of Signals

When physicists try to write down the rules for these extra particles (the massive modes), the equations are a mess. They contain:

• The Real Physics: The actual massive particles we want to study.
• The "Ghost" Noise: Pure mathematical artifacts (gauge modes) that don't represent real particles but make the equations look complicated.

It's like trying to find a specific instrument in a recording where the microphone is picking up the sound of the wind, the hum of the lights, and the echo of the room all mixed together. To understand the music, you need to separate the real instruments from the noise.

2. The Solution: "Homotopy Transfer"

The authors use a mathematical tool called Homotopy Transfer. Think of this as a sophisticated filter or a translation algorithm.

• The Input: The messy, raw data of the universe (fields with infinite symmetries).
• The Process: The algorithm takes this messy data and "transfers" it into a new language.
• The Output: A clean, new set of variables. These new variables are gauge invariant. In plain English, this means they are "immune" to the confusing mathematical tricks. They represent the actual physical particles, stripped of all the redundant noise.

3. The "Higgs Mechanism" Revealed

One of the biggest mysteries in this theory is: How do these extra particles get their mass?
In physics, mass often comes from a process called the Higgs mechanism. Imagine a particle trying to move through a crowd. If the crowd is empty, it moves fast (massless). If the crowd is thick, it gets slowed down and feels heavy (massive).

• In this paper, the authors show exactly how the "crowd" (the extra dimensions) interacts with the particles.
• They demonstrate that the "ghost" noise (the gauge modes) gets "eaten" by the particles. Just like a caterpillar eating a leaf and turning into a butterfly, the particles absorb the mathematical noise and transform into heavy, massive particles.
• The authors provide a step-by-step recipe (an algorithm) to see exactly how this "eating" happens for different types of particles (spin-2, vectors, etc.).

4. The "Magic" Simplicity

The authors discovered something surprisingly simple. Usually, when you change your variables to make things cleaner, the math gets incredibly complicated. You expect the new equations to look totally different.

• The Surprise: They proved that you can just take the original, messy equations and swap the old variables for the new, clean ones.
• The Result: The equations look almost exactly the same! The only difference is that some terms automatically become zero because the new variables have built-in rules (constraints) that the old ones didn't have.
• Analogy: It's like taking a tangled ball of yarn, labeling the knots, and then realizing that if you just pull the string tight in a specific way, the knots disappear, and the string becomes straight without you having to rewrite the laws of physics.

5. Why This Matters (According to the Paper)

The authors call this a "proof of concept." They tested their method on a simple shape (a torus/donut).

• The Goal: They want to use this method to study much more complex shapes, like those found in the AdS/CFT correspondence (a famous theory connecting gravity to quantum mechanics).
• The Benefit: By having these clean, "gauge-invariant" variables, physicists can finally calculate how these massive particles interact with each other in a way that is physically meaningful. This is crucial for understanding how gravity and quantum mechanics might fit together.

Summary

In short, this paper provides a mathematical toolkit to clean up the messy equations of extra-dimensional physics. It separates the "real" massive particles from the "fake" mathematical noise, showing exactly how they get their mass. The best part is that the toolkit is surprisingly easy to use: you just swap the variables, and the physics becomes clear, revealing the hidden "Higgs mechanism" that gives these extra particles their weight.

Technical Summary

Technical Summary: Homotopy transfer for massive Kaluza-Klein modes

Problem Statement
The paper addresses the challenge of treating massive Kaluza-Klein (KK) modes in higher-dimensional field theories to arbitrary orders in perturbation theory. While the expansion of higher-dimensional fields (such as gravity) into harmonics on a compact space yields a lower-dimensional theory coupled to an infinite tower of massive fields, the resulting interaction terms typically mix physical massive modes with pure gauge (Stückelberg) modes. This mixing obscures the physical meaning of the fields and complicates the identification of the Higgs mechanism that renders higher KK modes massive. Existing methods, such as "Kaluza-Klein spectrometry" in exceptional field theory, often infer mass spectra from naive mass terms and Goldstone mode counting without explicitly exhibiting the underlying Higgs mechanism or the necessary field reorganization. Furthermore, writing higher-order interaction vertices in terms of gauge-invariant fields is crucial for applications like the AdS/CFT correspondence, where gauge-invariant fields map to gauge-invariant correlation functions, yet a systematic algorithm for this reorganization to all orders has been lacking.

Methodology
The authors employ the framework of homotopy algebras, specifically $L_\infty$ algebras, to encode the field theory. In this formalism, the action and gauge transformations are expressed via multilinear maps (brackets) $b_n$ acting on a graded vector space. The core technique utilized is homotopy transfer.

1. $L_\infty$ Encoding: The free and interacting theory are encoded in an $L_\infty$ algebra where the differential $b_1$ represents linearized gauge transformations and equations of motion, while higher brackets $b_n$ ($n \geq 2$) encode interactions and non-linear gauge transformations.
2. Chain Complexes: The authors construct a chain complex representing the original theory with infinite-dimensional gauge redundancies (including non-zero modes of diffeomorphisms).
3. Homotopy Transfer Algorithm: They apply a perturbation lemma to transfer the $L_\infty$ structure from the original complex to a "smaller" complex. This involves defining projection ($p$), inclusion ($\iota$), and homotopy ($h$) maps.
   • The projection map $p$ extracts the gauge-invariant combinations of fields.
   • The homotopy map $h$ effectively inverts the differential on non-zero modes, allowing the elimination of pure gauge degrees of freedom.
   • The transferred brackets $\hat{b}_n$ on the new complex define the dynamics of the gauge-invariant fields.
4. Gauge-Invariant Variables: The algorithm yields new field variables $\hat{\Phi}$ defined as a series expansion in the original fields $\Phi$:
   $$\hat{\Phi} = p_1(\Phi) + \frac{1}{2}p_2(\Phi, \Phi) + \frac{1}{3!}p_3(\Phi, \Phi, \Phi) + \dots$$
   These variables are invariant under all non-zero mode gauge transformations (which are spontaneously broken) but transform covariantly under the unbroken zero-mode gauge transformations.

Key Contributions and Results

• Algorithm for Gauge-Invariant Fields: The paper provides a general algorithm to compute gauge-invariant field variables to arbitrary order in perturbation theory. This generalizes previous first and second-order results.
• Explicit Higgs Mechanism: By reorganizing the fields into these gauge-invariant combinations, the authors explicitly display the Higgs mechanism. The pure gauge Stückelberg fields are absorbed, rendering the spin-2, vector, and higher tensor modes massive.
• Equivalence of Actions: A central result is the proof that the action for the gauge-invariant fields, $S_{KK}[\hat{\Phi}]$, is obtained simply by substituting the gauge-invariant variables into the original action $S[\Phi]$. While the field equations are equivalent, the constraints satisfied by $\hat{\Phi}$ (e.g., vanishing internal divergences) cause certain couplings in the original action to vanish in the final form.
• Torus Model Application: As a proof of concept, the authors apply this machinery to linearized gravity on a flat torus $T^d$.
  • They perform a scalar-vector-tensor (SVT) decomposition of the fields.
  • They construct the explicit gauge-invariant variables (e.g., $\hat{h}_{\mu\nu}$, $\hat{a}_{\mu m}$, $\hat{\phi}_{mn}$) using the operator $K$, which acts as the inverse of the internal Laplacian on non-zero modes.
  • They derive the quadratic action in terms of these variables and recover the standard Kaluza-Klein spectrum, confirming the correct counting of degrees of freedom for massive spin-2, spin-1, and spin-0 fields.
  • They extend the analysis to the non-linear theory, showing that the transferred $L_\infty$ brackets for the torus case simplify significantly (higher brackets involving gauge parameters vanish), leading to standard covariant gauge transformations for the zero modes and transport terms for the massive modes.
• Stückelberg Toy Model: An appendix demonstrates the method on the Stückelberg formulation of Proca theory (massive spin-1), illustrating the homotopy transfer from a 4-term complex to a 2-term complex.

Significance and Claims
The paper claims to provide the first systematic, all-orders perturbative technique for isolating physical massive KK modes from gauge redundancies using homotopy transfer. The authors emphasize that this approach:

1. Clarifies the Higgs Mechanism: It explicitly constructs the field redefinitions required to diagonalize the theory and exhibit the mass generation mechanism, which has been subtle even in free theory analyses.
2. Facilitates AdS/CFT Applications: By providing gauge-invariant variables, the framework sets the stage for computing higher-order correlation functions in the AdS/CFT correspondence, where gauge invariance is paramount.
3. Generalizability: While the explicit calculations are performed for a torus background, the techniques are developed in full generality. The authors state that these methods will be applied to a large class of generalized Scherk-Schwarz backgrounds and exceptional field theory in an accompanying paper, aiming to determine KK spectra for backgrounds with little to no symmetry.

The work is presented as the first step in a larger research program to systematize the computation of boundary correlation functions from bulk KK theories, utilizing homotopy transfer not only to define gauge-invariant variables but also to interpret the solution of bulk equations and the resulting on-shell action.