The $σ_-$ Cohomology Analysis for Coxeter HS $B_2$ model

The dynamical content of equations resulting from rank-two covariant derivatives in $B_2$ Coxeter theory in $AdS_4$ are analyzed in terms of $σ_-$-complexes. Primary fields and gauge-invariant differential operators on primary fields are classified for $(adj \otimes adj)$ one-form fields $ω$ and $(tw\otimes adj)$ zero-form fields $C$. It is shown that one-forms $ω$ in the $(adj \otimes adj)$ sector encode symmetric massless fields and partially massless fields of all spins and depth of masslessness. Gluing of the one-form module to the zero-form modules at the linear vertices is studied.

💡 Research Summary

The paper presents a comprehensive σ₋‑cohomology analysis of the rank‑two covariant derivative equations that arise in the B₂ Coxeter higher‑spin (HS) model formulated on an AdS₄ background. After a brief motivation linking HS theories to string theory and emphasizing the necessity of a curved background for interacting HS fields, the authors introduce the framed Cherednik algebra associated with the B₂ Coxeter group. This algebra is built from idempotents Iₙ, oscillators qₙᵅ, and Klein operators ˆKᵥ for each root vector, and it possesses an sp(2) automorphism guaranteeing Lorentz covariance of the ensuing nonlinear HS equations.

The nonlinear system involves master fields W (a space‑time one‑form), S (a Z‑space one‑form) and B (a zero‑form) with a star‑product defined in (2.11). Expanding around the AdS₄ vacuum (Ω_AdS) yields linearized equations of the form D C = 0 and D ω = Υ(Ω,Ω,C), where D is a covariant derivative composed of the Lorentz part D_L and vierbein‑dependent terms containing matrix operators P^{±}. Because the B₂ group has eight reflections, there are eight distinct covariant constancy equations, each defining a module: the (adj⊗adj) one‑form sector, and the (tw⊗adj) and (adj⊗tw) zero‑form sectors.

The central technical tool is the σ₋ operator, which acts on the highest (or lowest) weight vectors of the commuting sl(2)⊕sl(2) algebra that is Howe‑dual to so(3,2). Cohomology groups Hⁿ(σ₋) classify independent primary fields (H⁰), gauge‑invariant differential operators (H¹), and dynamical equations (H²). For the (adj⊗adj) one‑form module the authors compute:

• H⁰(σ₋): pure gauge parameters,
• H¹(σ₋): primary fields describing symmetric massless and partially‑massless fields of arbitrary spin and depth,
• H²(σ₋): 2‑cocycles that reproduce Fronsdal equations for massless fields and their partially‑massless analogues.

A notable observation is that 2‑cocycles vanish when the monomials have equal numbers of Y₁ and Y₂ oscillators, indicating that topological (non‑propagating) sectors are neatly separated from physical ones. In the zero‑form sectors (tw⊗adj) and (adj⊗tw) the cohomology yields:

• H⁰(σ₋): generalized Weyl tensors together with a scalar 0‑cocycle,
• H¹(σ₋): Klein‑Gordon 1‑cocycle and Biancchi‑type 1‑cocycles for symmetric massless fields.

The analysis uncovers that the modules decompose into a sum of irreducible and reducible indecomposable sl(2)⊕sl(2) representations. The reducible pieces are identified as non‑split extensions, mirroring similar structures found in conformal algebra representations. This suggests a richer representation‑theoretic landscape beyond the standard HS modules.

Section 5 studies the gluing (linear vertices) that couple the one‑form ω to the zero‑forms C. The authors show that the standard homotopy with zero shift generates vertices containing both cohomological and non‑cohomological pieces. By an appropriate field redefinition, one can eliminate the non‑cohomological terms, leaving vertices built solely from the 2‑cocycles. After performing a unitary truncation (restricting to unitary submodules), all Weyl‑type 2‑cocycles and most of the σ₋‑cohomology vanish, and the remaining equations become on‑shell Fronsdal equations. Consequently, the truncated B₂ HS theory encodes several copies of dynamical Fronsdal fields together with an infinite tower of topological massless and partially‑massless fields, in agreement with earlier results.

Appendix A details the structure of the non‑split extension modules, Appendix B exhibits the action of the so(3,2) momentum operator on the lowest‑weight sl(2)⊕sl(2) vectors in the (tw⊗adj) module, and Appendix C presents rank‑one‑like equations for the zero‑form components in the (adj⊗tw) and (tw⊗adj) modules.

In summary, the σ₋‑cohomology framework provides a systematic classification of the dynamical content of the B₂ Coxeter HS model. It confirms that the (adj⊗adj) sector reproduces all symmetric massless and partially‑massless fields, while the (tw⊗adj) and (adj⊗tw) sectors supply the corresponding generalized Weyl tensors and scalar sectors. The identification of non‑split extensions and the careful treatment of linear vertices deepen the understanding of how physical and topological degrees of freedom intertwine in this exotic higher‑spin theory.