On BRST Lagrangian description of partially massless bosonic fields

This paper presents an exhaustive BRST Lagrangian description for partially massless bosonic fields in four-dimensional (A)dS space, demonstrating that the requirements of a Hermitian and nilpotent BRST charge restrict the theory to de Sitter space and yield a gauge-invariant Lagrangian with specific Stückelberg field content that correctly reproduces the mass shell conditions.

The Gist

Imagine the universe as a giant, complex orchestra. In this orchestra, most instruments (particles) are either playing a simple, pure note (massless fields, like light) or a heavy, complex chord (massive fields, like electrons). But there is a mysterious, rare instrument that sits right in the middle: the Partially Massless Field.

This paper is about writing the "sheet music" (the Lagrangian) for these rare instruments so they can play correctly in a specific type of universe: one that is expanding (like our own, known as de Sitter space).

Here is the story of how the authors, Buchbinder, Fedoruk, and Krykhtin, solved this musical puzzle, explained simply.

1. The Problem: The "Impossible" Instrument

In physics, describing particles usually involves two things:

• Mass: How heavy the particle is.
• Spin: How it spins (like a top).

Usually, if a particle has mass, it's "stiff" and hard to change. If it has no mass, it's "free" and has special symmetries (gauge symmetries) that let you tweak the music without changing the song.

Partially massless fields are weird. They have a specific mass that makes them almost free, but not quite. They have some extra symmetries that massive particles don't have, but fewer than massless ones.

• The Catch: These fields only exist in a universe with a specific curvature (like a balloon inflating). They don't work in a flat universe, and they definitely don't work in a universe that is collapsing (Anti-de Sitter space).

The authors wanted to write a mathematical "recipe" (a Lagrangian) to describe how these fields behave, but the standard recipe didn't work because the math was "broken" (it had what physicists call "second-class constraints").

2. The Tool: The "Ghost" Orchestra (BRST)

To fix the broken math, the authors used a powerful technique called BRST quantization.

Think of this like a sound engineer trying to fix a recording.

• The original recording (the physical field) is noisy.
• The sound engineer adds "ghost tracks" (extra mathematical variables that aren't real particles) to cancel out the noise.
• If done correctly, the ghost tracks cancel the errors perfectly, leaving a clean, perfect song.

In this paper, the "ghosts" are mathematical tools called ghosts and auxiliary fields. They aren't real particles you can catch; they are just mathematical scaffolding to make the equations work.

3. The Big Discovery: The Universe Must Be Expanding

The authors tried to build their "ghost orchestra" to fix the equations. They followed the rules of the BRST method, which requires the math to be perfectly balanced (Hermitian) and consistent (Nilpotent).

Here is the plot twist:
When they tried to balance the equation, the math screamed "NO!" if the universe was collapsing (Anti-de Sitter space). The numbers turned negative or imaginary, which is physically impossible.
However, when they assumed the universe was expanding (de Sitter space), the numbers balanced perfectly.

The Metaphor: Imagine trying to build a house of cards.

• If you try to build it on a shaking, sinking floor (Anti-de Sitter), the cards collapse immediately.
• If you build it on a smooth, expanding floor (de Sitter), it stands perfectly.
• Conclusion: Partially massless fields only exist in an expanding universe. The math proves it.

4. The "Stückelberg" Trick: Removing the Clutter

Once they built the house of cards (the full Lagrangian) in the expanding universe, they realized it was full of extra cards (auxiliary fields) that weren't part of the final song.

They used a technique called the Stückelberg mechanism.

• Analogy: Imagine you are sculpting a statue out of a block of marble. The block contains the statue, but also a lot of extra stone you don't need.
• The authors showed that by using the "gauge symmetries" (the extra freedom they found earlier), they could chip away all the extra stone (the auxiliary fields).
• What was left? Just the pure, physical statue: the partially massless field with its specific spin and mass.

5. The Final Result: A New Sheet Music

The paper ends with the final "sheet music" (the Lagrangian).

• It describes a field with Spin $s$ and a specific Depth $t$.
• It shows that this field has a specific number of "notes" (physical states) that lie between a heavy particle and a light particle.
• It proves that the equations of motion (how the field moves) match exactly what physicists expected for these strange particles.

Summary in a Nutshell

The authors took a confusing, "broken" set of equations for a weird type of particle and used a mathematical "ghost orchestra" to fix it. They discovered that this orchestra only plays in tune if the universe is expanding (de Sitter space). If the universe were collapsing, the music would be noise. They then stripped away the extra "ghost" notes to reveal the pure, physical song of the partially massless field.

Why does this matter?
It helps us understand the fundamental rules of the universe. It tells us that certain types of particles are forbidden in some universes but allowed in others, giving us clues about the nature of gravity, the Big Bang, and the ultimate fate of our cosmos.

Technical Summary

Here is a detailed technical summary of the paper "On BRST Lagrangian description of partially massless bosonic fields" by Buchbinder, Fedoruk, and Krykhtin.

1. Problem Statement

The paper addresses the construction of a consistent, gauge-invariant Lagrangian formulation for partially massless (PM) bosonic fields in four-dimensional (A)dS space.

• Context: PM fields are higher-spin fields that exist only in spaces with constant curvature ((A)dS). They occupy an intermediate regime between purely massless and purely massive fields. They possess specific gauge symmetries that depend on a "depth" parameter $t$ and a spin $s$.
• Challenge: Standard BRST (Becchi-Rouet-Stora-Tyutin) quantization methods rely on a system of first-class constraints to construct a nilpotent BRST charge. However, for massive (and partially massless) fields, the constraints defining the mass-shell often form a second-class algebra, making the direct construction of a Hermitian and nilpotent BRST charge impossible.
• Goal: To develop a universal BRST procedure that converts these second-class constraints into first-class ones, thereby deriving a real, gauge-invariant Lagrangian for PM fields and proving the consistency of the theory (specifically regarding unitarity and the choice of background space).

2. Methodology

The authors employ the BRST-BFV (Batalin-Fradkin-Vilkovisky) formalism combined with a conversion procedure for second-class constraints.

A. Spin-Tensor Formalism in (A)dS$_4$

• Instead of using conventional totally symmetric tensor fields $\phi_{\mu_1 \dots \mu_s}$, the authors utilize two-component spin-tensors $\phi_{\alpha(s)\dot{\beta}(s)}$ in 4D.
• Advantage: In this formalism, the tracelessness condition (crucial for irreducible representations) is automatically satisfied due to the properties of Pauli matrices, simplifying the algebraic structure significantly.

B. Fock Space Representation

• The field equations and gauge transformations are reformulated in terms of vectors in a Fock space constructed using bosonic creation/annihilation operators ($c, \bar{c}, a, \bar{a}$).
• The mass-shell conditions (Klein-Gordon type and divergence-free conditions) are expressed as operator constraints ($l_0, l, l^+$) acting on these Fock space vectors.
• The commutator algebra of these constraints is shown to contain second-class constraints when the mass parameter $m \neq 0$.

C. Conversion Procedure

To resolve the second-class nature of the constraints:

1. Extension of Fock Space: The authors introduce new bosonic oscillators ($b, b^\dagger$) and fermionic ghost coordinates ($\eta, \eta^\dagger, \eta_0$) and their conjugate momenta.
2. Constraint Deformation: The original constraints are deformed by adding terms dependent on the new oscillators ($b, b^\dagger$) to form a new set of constraints ($L_0, L, L^+$).
3. First-Class Algebra: The deformation functions are determined such that the new constraints form a closed first-class algebra, allowing for the construction of a BRST charge.

D. Construction of the BRST Charge

• A Hermitian and nilpotent BRST charge $Q$ is constructed using the converted first-class constraints.
• Crucial Step: The conditions of Hermiticity and Nilpotency ($Q^2=0$) are imposed on the BRST charge. These conditions are not merely algebraic requirements but impose strict constraints on the theory's parameters (mass and curvature).

3. Key Contributions and Results

A. Selection of de Sitter (dS) Space

The most significant result is the derivation that partially massless higher-spin theories are only consistent in de Sitter (dS) space, not Anti-de Sitter (AdS) space.

• The requirement that the BRST charge be Hermitian and nilpotent leads to a condition on the theory parameters (Eq. 4.44):
  $$\kappa [ (s-t-1)(s+t) - (s-k)(s+k-1) ] \geq 0$$
• For dS space ($\kappa > 0$), this inequality holds for the physical spectrum, ensuring unitarity.
• For AdS space ($\kappa < 0$), the inequality is violated for the necessary physical states, implying that the BRST charge cannot be both Hermitian and nilpotent. Thus, the Lagrangian formulation for PM fields is impossible in AdS within this framework.

B. Derivation of the Lagrangian

• The authors construct the gauge-invariant Lagrangian $\mathcal{L} = \langle \bar{\Psi}_s | Q | \Psi_s \rangle$.
• The resulting theory contains a "triplet" of fields: the physical field, Stueckelberg fields (auxiliary gauge fields), and other auxiliary fields.
• Stueckelberg Mechanism: The expansion of the Fock space vectors reveals $(s-t)$ Stueckelberg fields. By fixing the gauge, these auxiliary fields are eliminated.
• Gauge Transformation Order: The elimination of these fields results in the physical field having a gauge transformation of order $(s-t)$ in derivatives:
  $$\delta \phi_{\mu(s)} \sim \nabla^{s-t} \lambda$$
  This matches the known properties of PM fields, where the depth $t$ determines the order of the gauge symmetry.

C. Reproduction of Mass-Shell Conditions

The paper rigorously proves that the BRST equations of motion and gauge transformations, after eliminating all auxiliary and gauge degrees of freedom, exactly reproduce the original mass-shell conditions for partially massless fields in dS space:

1. The correct mass parameter $m^2_t = \kappa(s-t-1)(s+t)$.
2. The correct divergence-free condition.
3. The correct gauge transformation laws.

D. Component Form Lagrangian

The authors provide the explicit component Lagrangian in terms of multi-spinor fields (Eq. 6.3). While cumbersome, this serves as a generalization of the Fronsdal Lagrangian to the partially massless case, explicitly showing the kinetic terms, mass terms, and mixing terms between the physical and Stueckelberg fields.

4. Significance

• Unified Framework: The paper provides a systematic, BRST-based method to derive Lagrangians for partially massless fields, moving beyond ad-hoc constructions.
• Unitarity Proof: It offers a rigorous proof that unitary partially massless higher-spin theories can only exist in de Sitter space. This resolves ambiguities regarding the viability of these fields in AdS backgrounds.
• Handling Second-Class Constraints: The successful application of the conversion procedure to PM fields demonstrates a robust method for quantizing systems with second-class constraints in the context of higher-spin gravity.
• Foundation for Interactions: By establishing a consistent free Lagrangian, this work lays the necessary groundwork for future studies on constructing interaction vertices (cubic vertices) for partially massless fields, which is a major open problem in higher-spin theory.

In summary, the paper successfully bridges the gap between the algebraic definition of partially massless representations and a concrete, gauge-invariant Lagrangian formulation, while simultaneously proving that such theories are intrinsically tied to the de Sitter geometry.