Table of Contents
Fetching ...

Unified BRST description of AdS gauge fields

K. B. Alkalaev, M. Grigoriev

TL;DR

This work presents a unified BRST framework for free bosonic AdS gauge fields with arbitrary mixed symmetry, achieving a local, gauge-invariant description that preserves manifest $o(d-1,2)$ symmetry. By employing a twisted Howe dual realization of $o(d-1,2)$ and $sp(2n)$ and an ambient-space setup, the authors derive a BRST operator that encodes both spacetime isometries and the Howe dual algebra, enabling a coherent reduction to known Minkowski and unfolded formulations. They construct a parent formulation that encompasses ambient, hyperboloid, and unfolded descriptions as reductions, and prove the Brink–Movshev–Vasiliev (BMV) conjecture within this BRST context by showing that the AdS Weyl module decomposes into admissible Poincaré Weyl modules. The framework also accommodates non-unitary and partially-massless cases through $Q_p$-cohomology, offering a robust algebraic handle on spectra and paving the way for studying interactions via higher-spin algebras. This algebraic, BRST-centric perspective is poised to clarify connections to string theory limits and to guide construction of consistent nonlinear theories for mixed-symmetry AdS fields.

Abstract

A concise formulation for mixed-symmetry gauge fields on AdS space is proposed. It is explicitly local, gauge invariant, and has manifest AdS symmetry. Various other known formulations (including the original formulation of Metsaev and the unfolded formulation) can be derived through the appropriate reductions and gauge fixing. As a byproduct, we also identify some new useful formulations of the theory that can be interesting for further developments. The formulation is presented in the BRST terms and extensively uses Howe duality. In particular, the BRST operator is a sum of the term associated to the spacetime isometry algebra and the term associated to the Howe dual symplectic algebra.

Unified BRST description of AdS gauge fields

TL;DR

This work presents a unified BRST framework for free bosonic AdS gauge fields with arbitrary mixed symmetry, achieving a local, gauge-invariant description that preserves manifest symmetry. By employing a twisted Howe dual realization of and and an ambient-space setup, the authors derive a BRST operator that encodes both spacetime isometries and the Howe dual algebra, enabling a coherent reduction to known Minkowski and unfolded formulations. They construct a parent formulation that encompasses ambient, hyperboloid, and unfolded descriptions as reductions, and prove the Brink–Movshev–Vasiliev (BMV) conjecture within this BRST context by showing that the AdS Weyl module decomposes into admissible Poincaré Weyl modules. The framework also accommodates non-unitary and partially-massless cases through -cohomology, offering a robust algebraic handle on spectra and paving the way for studying interactions via higher-spin algebras. This algebraic, BRST-centric perspective is poised to clarify connections to string theory limits and to guide construction of consistent nonlinear theories for mixed-symmetry AdS fields.

Abstract

A concise formulation for mixed-symmetry gauge fields on AdS space is proposed. It is explicitly local, gauge invariant, and has manifest AdS symmetry. Various other known formulations (including the original formulation of Metsaev and the unfolded formulation) can be derived through the appropriate reductions and gauge fixing. As a byproduct, we also identify some new useful formulations of the theory that can be interesting for further developments. The formulation is presented in the BRST terms and extensively uses Howe duality. In particular, the BRST operator is a sum of the term associated to the spacetime isometry algebra and the term associated to the Howe dual symplectic algebra.

Paper Structure

This paper contains 25 sections, 6 theorems, 71 equations.

Key Result

Proposition 5.1

The space of all totally traceless elements $\Psi = \Psi(Y,A|\,b)$ satisfying is isomorphic to the space of all $z,w_i$-independent totally traceless elements. Here $m$ denotes any integer. The isomorphism sends $\Psi$ to the traceless component of $\Psi|_{z=w_i=0}$.

Theorems & Definitions (9)

  • Proposition 5.1
  • proof
  • Definition 5.2
  • Lemma 5.3
  • Lemma 5.4
  • Proposition 5.5
  • proof
  • Lemma 5.6
  • Lemma 5.7