Topological Fields in $4d$ Higher Spin Theory

1. Problem Statement

The paper addresses the structure of Higher Spin (HS) gauge theory in four-dimensional Anti-de Sitter space ($AdS_4$). While the free dynamics of massless HS fields are well-understood (via Fronsdal and Fang), their nonlinear interactions remain a complex area of study.

The specific focus of this work is the generating system of equations for HS fields (based on the Vasiliev formalism). In this system, fields are expanded in terms of auxiliary spinor variables and Klein operators ($K$).

• Standard Approach: Usually, one imposes a reduction that eliminates fields depending on Klein operators in a specific way (even/odd parity), leaving only "physical" HS fields.
• The Problem: This paper investigates the sector that is typically discarded or reduced: the topological fields. These are fields that depend on the Klein operators in a specific parity (specifically, one-forms $\omega$ odd in $K$ and zero-forms $C$ even in $K$). The author aims to:
  1. Determine if these fields carry physical degrees of freedom.
  2. Understand their behavior in the presence of interactions (non-zero source terms).
  3. Construct a gauge-invariant action describing the interaction between physical and topological HS fields.

2. Methodology

The author employs the unfolded formalism and the generating system of nonlinear equations for HS fields.

• Generating System: The theory is defined by a set of master equations involving a one-form $W$, a zero-form $B$, and an auxiliary one-form $S$, defined over an extended space including auxiliary spinor variables $Y=(y, \bar{y})$ and $Z=(z, \bar{z})$, along with Klein operators $K$. The equations utilize a non-commutative star product ($\ast$).
• Perturbative Expansion: The analysis is performed by expanding the fields around the $AdS_4$ vacuum solution. The fields are decomposed based on their parity with respect to the Klein operators ($K$-even vs. $K$-odd).
• Linearized Analysis:
  • Homogeneous Case: The author first analyzes the linearized equations for topological fields with zero source terms (RHS = 0).
  • Inhomogeneous Case: The analysis is extended to include non-zero source terms arising from the nonlinear interactions (specifically terms involving the Weyl tensor-like components of the physical fields).
• Gauge Fixing: A rigorous gauge-fixing procedure is applied to demonstrate that the solutions to the homogeneous equations are pure gauge (trivial).
• Action Construction: A cubic action is constructed using the supertrace ($str$) operation and curvature two-forms, ensuring gauge invariance for the coupled system of physical and topological fields.

3. Key Contributions and Results

A. Nature of Topological Fields (Degrees of Freedom)

The paper proves that the topological fields in the $AdS_4$ vacuum possess no local field degrees of freedom.

• Homogeneous Equations: For the linearized equation $D_L \omega - i h (y \bar{y} - \partial \bar{\partial}) \omega = 0$, the author demonstrates via an inductive gauge-fixing argument that all components of the one-form $\omega$ can be eliminated by gauge transformations. Thus, in the absence of sources, the field is pure gauge ($\omega \approx 0$).
• Inhomogeneous Equations: When the RHS is non-zero (driven by the physical zero-form $C$), the field $\omega$ acquires a non-trivial form. However, the paper shows that the solution space is isomorphic to the space of the source $C$. Since $C$ (in the specific module considered) carries a finite number of degrees of freedom (parameterized by constants $C_0$), the resulting topological field $\omega$ also carries only a finite number of degrees of freedom.
• Conclusion: These fields are "topological" because they do not propagate local waves; they act as global moduli or coupling constants for the theory.

B. Explicit Solutions in Poincaré Coordinates

The author provides explicit solutions for the topological fields in Poincaré coordinates for $AdS_4$.

• The $AdS$ connection is represented via a group element $g(y, \bar{y}|x)$.
• The general solution for the zero-form $C$ is given by $C = g^{-1} \ast C_0 \ast g$, where $C_0$ is a constant matrix in the auxiliary space.
• This confirms that the degrees of freedom are entirely determined by the initial data $C_0$, reinforcing the topological nature of the sector.

C. Gauge-Invariant Cubic Action

A significant contribution is the construction of a cubic action ($S^{(3)}$) that describes the interaction between physical HS fields and topological fields.

• Structure: The action is of the form $S = \frac{1}{2} \int str(R \ast \tilde{R})$, where $R$ is the curvature and $\tilde{R}$ is a modified curvature containing specific coefficients $a(n,m)$ and $b(n,m)$.
• Coefficients:
  • For the topological sector ($K$-odd), the coefficients are chosen as $a(n,m) = \delta_{nm}$ (Kronecker delta).
  • For the physical sector ($K$-even), the coefficients follow the standard Vasiliev choice $b(n,m) = \text{sgn}(n-m)$.
• Gauge Invariance: The author proves that this action is invariant under gauge transformations up to cubic order. The proof involves showing that the variation of the action vanishes on-shell, utilizing the properties of the supertrace and the specific structure of the curvature components (specifically that $H_{\alpha\beta} \bar{H}_{\dot{\alpha}\dot{\beta}} = 0$ in 4D).

D. Conserved Charges

Using the constructed action, the paper derives conserved currents and charges associated with the symmetries of the system.

• The conserved current is defined as $J_\xi = str(\xi \ast [\omega, \tilde{R}^{(1)}]_\ast)$.
• The conservation law $D_{AdS} J_\xi = 0$ is shown to be a consequence of the Noether identity and the gauge invariance of the action.

4. Significance

• Justification of Terminology: The work provides a rigorous mathematical proof justifying the term "topological fields" for this specific sector of HS theory, distinguishing them from propagating physical fields.
• Moduli Interpretation: It supports the interpretation (suggested in [14]) that topological fields act as coupling constants (moduli) for the HS theory. Their finite degrees of freedom suggest they parameterize the vacuum or the coupling strengths rather than dynamic excitations.
• Interaction Vertices: By constructing the cubic action, the paper bridges the gap between free topological fields and their interactions with physical HS fields. This is crucial for understanding the full nonlinear structure of HS theory, particularly in contexts involving generalizations to Coxeter groups and potential connections to String Theory.
• Technical Framework: The derivation of linear equations using the homotopy approach (Appendix A) and the explicit gauge-fixing proofs (Appendix B) provide a robust technical toolkit for analyzing similar sectors in higher-spin gravity.

In summary, Kirakosiants demonstrates that the "topological" sector of 4D Higher Spin theory is a consistent, non-propagating sector that interacts with physical fields, carries finite degrees of freedom, and can be described by a gauge-invariant cubic action, thereby enriching the understanding of the full HS algebraic structure.