BRST-BV approach to fields in Poincare patch of AdS

Abstract: We use the Poincare parametrization of AdS space to develop a general BRST-BV approach for free fields. A general expression for the BRST-BV Lagrangian of fields with arbitrary masses and symmetry types is obtained. We apply this general framework to study totally symmetric massless, massive, and partially-massless fields with arbitrary integer spin and a continuous-spin field. For these fields, both the constrained and unconstrained BRST-BV formulations are developed. In addition, we demonstrate the matching between the obtained BRST-BV Lagrangian and the metric-like Lagrangian formulated in terms of the modified de Donder divergence. Finally, a realization of AdS space symmetries is obtained within the space of fields and antifields entering the BRST-BV formulation.

• The paper develops a universal algebraic BRST-BV Lagrangian framework for free fields in the AdS Poincaré patch.
• It systematically organizes gauge invariance and mass parameters using spin operators and oscillator techniques to realize so(d,2) symmetry.
• The formalism unifies various symmetry types—including massless, massive, partially-massless, and continuous-spin cases—within a coherent framework.

BRST-BV Formalism for Free Fields in the Poincaré Patch of AdS

Introduction and Motivation

The quantization of gauge fields and string theory in curved backgrounds, such as Anti-de Sitter (AdS) space, has led to sophisticated techniques for maintaining manifest covariance and systematically addressing gauge invariance. The Batalin–Vilkovisky–Becchi–Rouet–Stora–Tyutin (BRST-BV) framework is central to these developments, notably for constructing and quantizing gauge-invariant Lagrangians. The formulation of higher-spin and continuous-spin fields in AdS, particularly in the Poincaré patch parametrization, requires a universal, algebraic approach capable of dealing with various mass and symmetry types, including towers of fields and both constrained (traceless) and unconstrained systems.

This work develops a general BRST-BV Lagrangian formalism for free fields in the Poincaré patch of AdS, encompassing massless, massive, partially-massless, and continuous-spin cases. The approach expresses the BRST charge and action universally in terms of a set of "spin operators" and provides a complete algebraic structure that governs the resulting field dynamics, constraint structure, and symmetry realization.

General BRST-BV Lagrangian Structure

The field content is packaged into a generating functional $\Phi(x, z, \theta, \dots)$ dependent on the AdS Poincaré coordinates, a Grassmann variable $\theta$, and spin-indicating auxiliary variables (oscillators). The field is expanded in $\theta$ and the auxiliary variables to encode all field and antifield components. The BRST-BV action is given by

$$S = \int d^dx\, dz\, d\theta~ \Phi^{\hat\dagger} Q \Phi,$$

with $\Phi^{\hat\dagger} = \Phi^\dagger K$ and $K$ a kernel dependent on spin variables, ensuring hermiticity and proper normalization.

The operator

$$Q = \theta (\Box - M^2) + M^{\eta a} \partial^a + M^\eta + M^{\eta\eta} \partial_\theta$$

contains both kinetic (via $\Box$ and $M^2$) and gauge (via $M^{\eta a}$, $\theta$0, $\theta$1) contributions. The operators $\theta$2 and $\theta$3 implement the $\theta$4 algebra structure, acting only on the spin variables, while $\theta$5 and $\theta$6 encode the AdS radial $\theta$7-dependence and are responsible for different mass/symmetry types.

The core of the construction is the explicit, algebraic definition of the "AdS mass operator" $\theta$8 (and its derivative partners), expressed in terms of the $\theta$9 Casimir $\theta$0, the $\theta$1 and $\theta$2 generators $\theta$3, and an additional spin-vector operator $\theta$4 subject to constraints:

$\theta$5

plus further algebraic constraints involving graded commutators on the $\theta$6. This recasts the construction of invariant Lagrangians and the full BRST charge as an algebraic problem: once an explicit realization of the spin operators is given, all field-theoretic information—gauge transformations, spectrum, equations of motion—follows.

Applications to Symmetry Types and Spin Sectors

Totally Symmetric Massless, Massive, and Partially-Massless Fields

For totally symmetric fields, the formalism simplifies substantially. The spin operator $\theta$7 is either trivial (massless case) or acquires a straightforward dependence on oscillator variables ($\theta$8 or $\theta$9), with its structure enforcing tracelessness or constraint-free representations as needed.

• Constrained formulation: Imposes tracelessness on oscillator indices, yielding irreducible representations. The solution for $$S = \int d^dx\, dz\, d\theta~ \Phi^{\hat\dagger} Q \Phi,$$0 becomes either zero (massless) or a function of auxiliary variables, with the parameterization tied to mass ($$S = \int d^dx\, dz\, d\theta~ \Phi^{\hat\dagger} Q \Phi,$$1), AdS energy ($$S = \int d^dx\, dz\, d\theta~ \Phi^{\hat\dagger} Q \Phi,$$2), spin ($$S = \int d^dx\, dz\, d\theta~ \Phi^{\hat\dagger} Q \Phi,$$3), or partially-massless depth ($$S = \int d^dx\, dz\, d\theta~ \Phi^{\hat\dagger} Q \Phi,$$4).
• Unconstrained formulation: Extends the system to tower-like field content by introduction of more auxiliary oscillators, with appropriate modifications to the hermiticity kernel $$S = \int d^dx\, dz\, d\theta~ \Phi^{\hat\dagger} Q \Phi,$$5. This is fundamental to BRST-BV constructions for higher-spin string fields and continuous-spin systems.

Uniformity is a notable property: the same operator structure applies to single fields or infinite towers (as required for string field theory), with $$S = \int d^dx\, dz\, d\theta~ \Phi^{\hat\dagger} Q \Phi,$$6, $$S = \int d^dx\, dz\, d\theta~ \Phi^{\hat\dagger} Q \Phi,$$7, and $$S = \int d^dx\, dz\, d\theta~ \Phi^{\hat\dagger} Q \Phi,$$8 promoted to operators acting on the tower.

Continuous-Spin Fields

The formalism generalizes to continuous-spin fields by extending the oscillator algebra and using a pair of labels ($$S = \int d^dx\, dz\, d\theta~ \Phi^{\hat\dagger} Q \Phi,$$9, $\Phi^{\hat\dagger} = \Phi^\dagger K$0) related to the AdS energy and an “internal” spin scale. The construction ensures reality and unitarity only for particular allowed ranges of $\Phi^{\hat\dagger} = \Phi^\dagger K$1, matching light-cone results. The Casimir operators constructed in the BRST-BV formalism reproduce the group-theoretically correct eigenvalues for these nonstandard representations, a nontrivial consistency check.

Gauge Invariance, Constraints, and Matching to Metric-like Formulations

The BRST-BV Lagrangian is demonstrated to be equivalent—after suitable gauge-fixing and elimination of fields with nonzero ghost number—to previously developed metric-like, gauge-invariant Lagrangians based on modified de Donder divergences, e.g., [Metsaev:2008ks, Metsaev:2009hp]. The action's invariance under $\Phi^{\hat\dagger} = \Phi^\dagger K$2 is precisely realized via non-manifest field-dependent representations of the conformal and Lorentz generators, whose explicit forms emerge naturally within the BRST-BV structure.

The spin operator $\Phi^{\hat\dagger} = \Phi^\dagger K$3 encodes all algebra consistent with the field's mass, spin, and gauge structure, including compensators, tracelessness, and partial masslessness as special cases of its operator algebraic structure. The formalism also directly provides the 2nd and 4th order $\Phi^{\hat\dagger} = \Phi^\dagger K$4 Casimir operators acting on the field space, with explicit verification that their eigenvalues match the group-theoretical expectations for each type of irreducible representation constructed.

Numerical and Structural Results

Key structural and numerical findings include:

• Uniform Lagrangian Form: The BRST-BV action admits a compact, universal representation valid for single or towered fields, with the mass/spin labels promoted to operators as necessary, establishing a precise algebraic recipe that can be transferred between massless, massive, partially-massless, and continuous-spin fields.
• Constraint Analysis: For massless and massive cases, the action is classically unitary (all $\Phi^{\hat\dagger} = \Phi^\dagger K$5 for kinetic terms); for partially-massless cases, unitarity cannot be simultaneously achieved with Lagrangian reality, consistent with expectations from the group structure.
• Symmetry Realization: The full $\Phi^{\hat\dagger} = \Phi^\dagger K$6 AdS algebra is represented on the field and antifield space, with conformal/dilatation/boost transformations arising as $\Phi^{\hat\dagger} = \Phi^\dagger K$7, $\Phi^{\hat\dagger} = \Phi^\dagger K$8, and oscillator-dependent differential operators.
• Casimir Spectra: The quadratic and quartic Casimir values derived in the BRST-BV formalism are in explicit agreement with group-theoretical irreducible representation calculi for all cases analyzed.

Theoretical and Practical Implications

The BRST-BV approach developed here establishes an algebraic foundation for studying free higher-spin and continuous-spin fields in AdS backgrounds. The reduction of the problem to algebraic solution-finding, namely for $\Phi^{\hat\dagger} = \Phi^\dagger K$9 and associated spin operators, places all essential data—spectrum, gauge invariance, unitarity—within reach of systematic algebraic computation, with direct implications for both explicit Lagrangian construction and canonically covariant quantization.

Practically, this universal structure is highly suitable for:

• String Field Theory in AdS: Incorporation of infinite towers of higher-spin modes, as is essential in string theory, follows directly, requiring only replenishment or promotion of spin and mass labels.
• Exploration of Interacting Theories: Although the focus is on free fields, the explicit BRST-BV operator construction is a necessary stepping stone to consistent cubic and higher interactions compatible with AdS symmetries and generalizes immediately to mixed-symmetry multiforms.
• Extensions to Supersymmetry and Black Hole Physics: The formal structure is expected to have extensions to supersymmetrized higher-spin theories and to algebraic descriptions relevant for black hole microstate structure and twistor-based approaches.

Conclusion

This work establishes a tightly algebraic, uniform BRST-BV formalism for free fields of arbitrary mass, spin, and symmetry type in the Poincaré patch of AdS. All gauge, mass, and symmetry data are controlled by explicit spin operator algebras, facilitating complete specification of both constrained (traceless) and unconstrained (tower/tensor) formulations. The approach matches and unifies metric-like Lagrangians based on modified de Donder gauges, ensures compatibility with $K$0 symmetry, and supports both irreducible and reducible field content. This universal operator-based framework constitutes a robust platform for both formal explorations (including classification, quantization, and symmetry realization) and for further investigation into interaction vertices, string field constructions, and applications in AdS/CFT and higher-spin gravity.