Metric-like Cubic Vertices for Massless Bosonic Higher-Spin Fields in AdS$_3$

Abstract: We derive parity-even transverse-traceless metric-like cubic vertices for massless bosonic higher-spin fields in AdS$_3$. Starting from the known two- and three-derivative vertices in three-dimensional flat space, we construct their AdS$_3$ extensions by imposing gauge invariance and accounting for dimension-dependent identities. The result is shown to be consistent with minimal coupling to gravity.

• The paper derives all parity-even, metric-like cubic vertices in AdS₃, ensuring gauge invariance for massless bosonic higher-spin fields.
• It employs the Fronsdal formulation along with Schouten identities to systematically classify the two- and three-derivative vertex structures.
• Curvature corrections are integrated to match minimal gravitational couplings, reinforcing applications in AdS₃/CFT₂ holography.

Metric-like Cubic Vertices for Massless Bosonic Higher-Spin Fields in AdS$_3$

Context and Motivation

The study of interacting massless higher-spin (HS) fields is central to exploring consistent extensions of quantum gravity and probing the structure of the AdS/CFT correspondence, especially in dimensions where obstructions to consistent interactions are weakened. Three-dimensional (3D) AdS gravity presents unique features: in particular, all local degrees of freedom for HS fields disappear, and the theory is tightly connected to boundary CFTs with infinite-dimensional symmetry algebras. The metric-like formalism—based on Fronsdal's description using totally symmetric tensors—provides an analogue of standard gravitational formulations, offering a language aligned with both physical intuition and explicit computations.

A central challenge in HS theory is the explicit construction of interacting actions, with the cubic order being pivotal: not only does it encode the basic gauge structure and constraints, but in $d=3$ no independent higher-order vertices arise—meaning cubic structures essentially fix the theory's interaction space. While flat-space vertices are classified in three dimensions, the extension to AdS$_3$ is nontrivial due to curvature-induced modifications, such as the noncommutativity of covariant derivatives and the structure of dimension-dependent identities (Schouten identities). This work closes the gap by deriving all parity-even, transverse-traceless (TT), metric-like cubic vertices for massless bosonic HS fields in AdS$_3$, establishing they are gauge invariant and consistent with minimal coupling to gravity.

Metric-like Formulation and the Role of Schouten Identities

The metric-like (Fronsdal) approach encodes a massless spin-$s$ bosonic field as a totally symmetric, double-traceless tensor $\phi_{\mu_1\cdots\mu_s}$ obeying the Fronsdal equation. In AdS$_3$, gauge invariance of the interacting theory at cubic order requires delicate handling of dimension-dependent identities, which in three dimensions take a more restrictive form than in higher dimensions due to the possibility of antisymmetrizing over more indices than are available, leading to identically vanishing combinations of contractions ("Schouten identities"). This property crucially reduces the space of possible TT cubic vertex structures: in $d=3$, only two- and three-derivative TT parity-even vertices are independent, with higher-derivative candidates vanishing or being DDI-related.

The construction proceeds via index-free generating functions, simplifying the manipulation of the symmetric tensors and their derivatives. The invariance under gauge transformations is enforced by systematically applying Noether's procedure at the cubic order, with the Schouten identities used to classify and remove redundant vertices.

AdS$_3$ Extensions: Curvature Corrections and Gauge Variance

Curvature introduces significant modifications: covariant derivatives no longer commute, resulting in lower-derivative corrections to the naive AdS$_3$ deformations of flat-space cubic vertices. The key technical advance is the derivation of explicit gauge variation formulae for arbitrary cubic vertex operators in the presence of curvature, including all commutator and integration-by-parts subtleties, and a systematic classification of AdS-corrected Schouten identities tailored to the TT cubic sector.

For each vertex, candidate AdS corrections are constructed as all possible lower-derivative contractions consistent with the operator basis arising from flat-space vertices, with undetermined coefficients fixed by demanding invariance under the AdS deformed gauge symmetry. The derivation involves a careful truncation to the sector of polynomial degree in the basic building blocks ($d=3$0, $d=3$1 contractions), discarding traces and divergences by TT reduction.

Explicit Form of AdS$d=3$2 Cubic Vertices

Two-derivative Vertices

The AdS extension of the flat space two-derivative TT vertex $d=3$3 (for spins $d=3$4) takes the form: $d=3$5 where $d=3$6 is the known flat-space vertex, while $d=3$7 is the unique zero-derivative AdS correction. The coefficient of this correction is fixed by gauge invariance and is a symmetric polynomial in the spins (see Eq. (122)-(125) of the original text). Notably, when $d=3$8 and $d=3$9, the flat-space and AdS corrections coincide with the minimal gravitational $_3$0-$_3$1-$_3$2 coupling, and the AdS correction matches the direct expansion of the Fronsdal action in a (weakly perturbed) AdS$_3$3 background.

Three-derivative Vertices

For three-derivative TT vertices, the AdS extension is given by

$_3$4

where $_3$5, and the coefficients $_3$6 are explicitly determined by the spin values (see Eq. (141)), ensuring full gauge invariance in AdS$_3$7.

These results are not only consistent with the flat space classifications in the large-$_3$8 limit, but also with the expectations from topological/Chern-Simons formulations and the structure of asymptotic symmetries in AdS$_3$9 higher-spin gravity.

Implications and Prospects

The explicit identification of all parity-even, metric-like cubic TT vertices for massless bosonic HS fields in AdS$_3$0 is significant both for the Lagrangian formulation and for holographic applications. The results show that, even in the presence of curvature, the space of independent local vertices is highly constrained by the structure of Schouten identities and gauge invariance—in line with the topological character of 3D gravity and higher-spin theories. The agreement with minimal gravitational coupling confirms the internal consistency of the construction.

These findings provide a concrete technical foundation for several further advances:

• Higher-spin holography: The cubic vertices encode the data for boundary OPEs in AdS/CFT, facilitating explicit calculations of three-point functions in the dual CFTs.
• Algebraic structures: The approach outlined here may be generalized to algebraic analyses involving the closure of gauge algebras and the Jacobi identity in HS theories, potentially clarifying the higher-spin symmetry enhancement at the boundary.
• Superextensions and Matter Coupling: The methodology is adaptable to parity-odd, Chern-Simons type, and fermionic cubic vertices [see e.g., "Interactions of massless fermionic fields in three dimensions" (Fredenhagen et al., 2024)], as well as to limited classes of matter-coupled three-dimensional HS theories [see e.g., "Matter-coupled higher spin gravities in 3d: no- and yes-go results" (Sharapov et al., 2024)].
• Automated Symbolic Computation: The systematic use of symbolic computation (e.g., Python, Mathematica) for handling basis reduction, commutators, and DDI evaluation establishes a robust computational toolkit for future HS interaction studies.

Potential future work includes a complete analysis of off-shell extensions, the closure of the full non-linear gauge algebra in AdS$_3$1, higher-derivative corrections (should they arise in generalized settings), as well as potential applications to one-loop quantum computations in HS theories.

Conclusion

This work provides the explicit classification and construction of all parity-even, TT, metric-like cubic vertices for massless bosonic higher-spin fields in AdS$_3$2, including the AdS curvature corrections required by gauge invariance. The results close a significant gap in local higher-spin theory in three dimensions and create new opportunities for explicit computations in AdS$_3$3/CFT$_3$4 holography, deformation theory, and beyond. The approach—combining analytic, algebraic, and computational techniques—offers a template for similar advances in higher dimensions or other sectors of higher-spin gravity.