---
title: Fronsdal Model for Higher-Spin Fields
url: https://www.emergentmind.com/topics/fronsdal-model
type: topic
---

# Fronsdal Model for Higher-Spin Fields

to=arxiv_search хадоуjson code 】!【"Fronsdal model higher spin AdS Fronsdal current exchanges reducible higher spin modes"]
to=arxiv_search 】【。】【”】【json
{"query":"Fronsdal model higher spin AdS Fronsdal current exchanges reducible higher spin modes","max_results":5,"sort_by":"relevance"}
The Fronsdal model is the standard metric-like formulation of free massless higher-spin gauge fields. In its bosonic form, it describes a totally symmetric rank-$s$ tensor by means of a second-order differential operator, subject to a double-trace constraint on the field and a trace constraint on the gauge parameter. In anti-de Sitter space, the model includes specific curvature-dependent “mass-like” terms fixed by gauge invariance, and it furnishes the irreducible free-field sector that appears in triplet decompositions, unfolded higher-spin systems, and several holographic reformulations [1007.0747, 1905.06325].

## 1. Free metric-like structure

For a totally symmetric rank-$s$ bosonic field $\phi_{\mu_1\cdots\mu_s}(x)$ on $AdS_D$, the Fronsdal Lagrangian can be written in metric-like form as
$$
L_{\rm Fr}[\phi]
= \tfrac12\,\phi^{\mu_1\cdots\mu_s}\,\mathcal F_{\mu_1\cdots\mu_s}
-\tfrac12\,s\,\phi'^{\mu_1\cdots\mu_{s-2}}\,\mathcal F'_{\mu_1\cdots\mu_{s-2}}
+\tfrac12\,s(s-1)\,\phi''^{\mu_1\cdots\mu_{s-4}}\,\mathcal F''_{\mu_1\cdots\mu_{s-4}}
+\text{mass-like terms}\propto 1/L^2.
$$
Its kinetic tensor is
$$
\mathcal F_{\mu_1\cdots\mu_s}
=
\Box\,\phi_{\mu_1\cdots\mu_s}
-s\,\nabla_{(\mu_1}\nabla\!\cdot\!\phi_{\mu_2\cdots\mu_s)}
+\tfrac12\,s(s-1)\,\nabla_{(\mu_1}\nabla_{\mu_2}\phi'_{\mu_3\cdots\mu_s)}
-\frac1{L^2}\Big[\alpha_s\,\phi_{\mu_1\cdots\mu_s}
+\beta_s\,g_{(\mu_1\mu_2}\phi'_{\mu_3\cdots\mu_s)}\Big],
$$
with
$$
\alpha_s=s^2+(D-6)s-2(D-3),\qquad \beta_s=s(s-1).
$$
Here $\phi'$ and $\phi''$ denote the single and double traces, and $\nabla\!\cdot\!\phi$ is the divergence. In this presentation, $\phi\,\mathcal F$ supplies the kinetic bulk term and the cross-derivative pieces, $\phi'\mathcal F'$ subtracts the trace part to enforce the double-trace constraint, and $\phi''\mathcal F''$ restores the relative normalization required for propagation of the transverse, traceless polarizations on AdS [1007.0747].

The gauge symmetry is
$$
\delta\phi_{\mu_1\cdots\mu_s}=\nabla_{(\mu_1}\Lambda_{\mu_2\cdots\mu_s)},
$$
with traceless gauge parameter $\Lambda'=0$, while the field itself is double-traceless, $\phi''=0$. These constraints are the defining algebraic conditions of the model: they guarantee that the equations of motion $\mathcal F=0$ describe the irreducible, unitary spin-$s$ representation of the AdS isometry group [1007.0747].

In flat space, the same structure reduces to the familiar Fronsdal operator
$$
\mathcal F_{\mu_1\cdots\mu_s}[\varphi]
=
\Box\,\varphi_{\mu_1\cdots\mu_s}
-s\,\partial_{(\mu_1}\partial\!\cdot\!\varphi_{\mu_2\cdots\mu_s)}
+\tfrac{s(s-1)}2\,\partial_{(\mu_1}\partial_{\mu_2}\varphi'_{\mu_3\cdots\mu_s)},
$$
with gauge transformation $\delta\varphi_{\mu_1\cdots\mu_s}=\partial_{(\mu_1}\Lambda_{\mu_2\cdots\mu_s)}$. Gauge invariance follows from the Bianchi identity
$$
\partial\!\cdot\!\mathcal F
=
\tfrac{s-1}{2}\,\partial\,\mathcal F',
$$
together with $\Lambda'=0$ and $\varphi''=0$ [2507.04226].

## 2. AdS realization and boundary data

A covariant AdS formulation writes the Fronsdal equation for a totally symmetric field $\Phi_{I_1\cdots I_s}$ on $AdS_{d+1}$ as
$$
\nabla_I\nabla^I\,\Phi_{I_1\cdots I_s}
-s\,\nabla_I\nabla_{(I_1}\Phi_{I_2\cdots I_s)}{}^I
+\tfrac{s(s-1)}2\,\nabla_{(I_1}\nabla_{I_2}\Phi'_{I_3\cdots I_s)}
-2(s-1)(s+d-2)\,\Phi_{I_1\cdots I_s}=0.
$$
The corresponding AdS mass is fixed by matching the quadratic Casimir of $O(2,d)$:
$$
(m_sL)^2=\Delta(\Delta-d)-s.
$$
This makes explicit that the Fronsdal operator is the bulk realization of the same conformal module that characterizes the dual conserved current [1503.06864].

Near the AdS boundary $z\to 0$, the coordinate-index field behaves as
$$
\widehat\varphi_{\mu_1\cdots\mu_s}(z,x)
=
z^{\Delta_-}\,\varphi^{(-)}_{\mu_1\cdots\mu_s}(x)
+z^{\Delta_+}\,\varphi^{(+)}_{\mu_1\cdots\mu_s}(x)
+O(z^{\Delta_-+2}),
\qquad
\Delta_\pm=(2-s,\;d-2+s).
$$
In the exact-renormalization-group construction of the free $U(N)$ vector model, the linearized Hamiltonian RG system is canonically equivalent to these second-order Fronsdal equations, with the alternate boundary condition fixing $\varphi^{(-)}$ as the source for the conserved current and $\varphi^{(+)}$ as the vev data [1503.06864].

This relation is structurally significant because it identifies first-order RG flow and second-order local bulk dynamics as different canonical frames of the same system. A plausible implication is that the Fronsdal model is not merely a convenient field equation, but also a representation-theoretic normal form for several distinct bulk reconstructions.

## 3. Irreducible extraction from reducible triplets

One important use of the Fronsdal model is as the irreducible sector obtained from reducible higher-spin systems. In the AdS triplet formulation, one starts with three fields
$\phi_{\mu_1\cdots\mu_s}$, $C_{\mu_1\cdots\mu_{s-1}}$, and $D_{\mu_1\cdots\mu_{s-2}}$. After eliminating $C$ through its algebraic equation, one expands the original fields as
$$
\phi=\sum_{k=0}^{\lfloor s/2\rfloor} p_k(D,s)\,g^k\,Y^{(s-2k)},
\qquad
D=\sum_{k=0}^{\lfloor (s-1)/2\rfloor} q_k(D,s-1)\,g^k\,\Lambda^{(s-1-2k)},
$$
where the new fields $Y^{(s-2k)}$ satisfy the Fronsdal double-trace constraints. The coefficients $q_k$ are fixed so that each $Y^{(s-2k)}$ transforms as a pure Fronsdal field,
$$
\delta Y^{(s-2k)}=\nabla\,\Lambda^{(s-1-2k)},
\qquad
\Lambda'=0.
$$
Substituting the ansatz back into the triplet Lagrangian yields a direct sum of Fronsdal Lagrangians for spins $s,s-2,\dots$, with normalization factors $Q(s,k,D)$ ensuring canonically normalized propagators [1007.0747].

The same decomposition underlies the construction of cubic couplings to matter. For two scalars $\phi_1,\phi_2$ and an irreducible spin-$s$ Fronsdal field $Y_{\mu_1\cdots\mu_s}$ on $AdS_D$, the cubic vertex is
$$
L_{00s}=g_s\int d^Dx\,\sqrt g\;Y^{\mu_1\cdots\mu_s}\,J_{\mu_1\cdots\mu_s}[\phi_1,\phi_2],
$$
where the current $J$ is totally symmetric and traceless. Lifting this result back to the reducible triplet amounts to multiplying each spin-$(s-2k)$ contribution by $Q(s,k,D)$, inverting the field redefinition, and summing over $k$; the resulting triplet vertex is gauge invariant under the full triplet gauge symmetry [1007.0747].

This decomposition isolates the physical double-traceless transverse modes from auxiliary components and allows interaction data to be transferred algebraically from irreducible Fronsdal fields to reducible systems.

## 4. Unfolded and master-field reformulations

In Vasiliev theory, Fronsdal fields emerge from master fields on the correspondence space $X_4\times Z_4\times Y_4$. The dynamical variables are a master one-form $\mathfrak A$ and a zero-form $\Phi$, obeying
$$
d\mathfrak A+\mathfrak A\star\mathfrak A+\Phi\star J=0,
\qquad
d\Phi+[\mathfrak A,\Phi]_\pi=0.
$$
Locally, solutions can be written in gauge-function form,
$$
\mathfrak A=G^{-1}\star dG,
\qquad
\Phi=G^{-1}\star\Phi'\star\pi(G).
$$
At linear order around $AdS_4$, one extracts
$$
W^{(1)}(x;Y):=[U^{(1)}]_{Z=0},
\qquad
C^{(1)}(x;Y):=[\Phi^{(1)}]_{Z=0}.
$$
Vasiliev’s Central On-Mass-Shell Theorem states that these objects carry precisely an infinite tower of on-shell Fronsdal gauge fields and their generalized Weyl tensors. The gluing equation relating the zero-form to the one-form curvature reproduces the spin-$s$ Fronsdal equation together with the identification of $C_{\alpha(2s)}(x)$ as the on-shell Weyl tensor [1905.06325].

An explicit off-shell unfolded version replaces the metric-like field by a one-form $\omega(Y|x)$ and a zero-form $C(Y|x)$ in an auxiliary spinor fiber. The free system is then deformed by external current modules $J(Y,p|x)$ and $T(Y,p,q|x)$, which collect traceless Fronsdal currents, traces, divergences, and descendants. In the primary $\tau=0$ sector and de Donder gauge, the off-shell equations reduce to two decoupled wave equations,
$$
(\Box-\lambda^2[s^2-4])\,\phi_{\alpha(s)\dot\alpha(s)}=g\,J_{\alpha(s)\dot\alpha(s)},
$$
$$
(\Box-\lambda^2[s^2-4+4s])\,\phi^e_{\alpha(s-2)\dot\alpha(s-2)}=g\,T_{\alpha(s-2)\dot\alpha(s-2)},
$$
from which bulk-to-bulk propagators can be extracted directly [2012.06570].

These unfolded constructions show that the Fronsdal model is the metric-like shadow of a larger first-order system. They also clarify how on-shell, off-shell, and current-coupled formulations can be related without abandoning the standard spin-$s$ gauge symmetry.

## 5. Cubic currents and the locality problem

At the interacting level, the free Fronsdal equation acquires bilinear current sources. In the local second-order Vasiliev frame, one finds schematically
$$
F_{\mu_1\cdots\mu_s}[\phi]
+\sum_{s_1,s_2\ge 0} g_{s;s_1,s_2}(\eta)\,
J_{\mu_1\cdots\mu_s}^{(s_1,s_2)}[\phi]
=0,
$$
where the source is a gauge-invariant current bilinear in spin-$s_1$ and spin-$s_2$ fields. The cubic correction decomposes into two derivative structures: a “maximal-derivative” contribution with $s+s_1+s_2$ derivatives and a “minimal-derivative” contribution with $s+|s_1-s_2|$ derivatives. Its coefficients depend on the Vasiliev phase $\eta=e^{i\varphi}$ through $\cos(2\varphi)$ and $\sin(2\varphi)$. For the A- and B-models, $\varphi=0$ or $\varphi=\pi/2$, so the parity-violating term vanishes; for $\varphi=\pi/4$, the maximal-derivative vertex is purely parity odd [1706.04605].

For matter couplings, the AdS scalar-scalar-spin-$s$ vertex gives a concrete Fronsdal current exchange:
$$
L_{00s}=g_s\int d^Dx\,\sqrt g\;Y^{\mu_1\cdots\mu_s}J_{\mu_1\cdots\mu_s}[\phi_1,\phi_2],
$$
with $J$ totally symmetric and traceless. This vertex provides the basic building block that can then be lifted to reducible triplets by the decomposition described above [1007.0747].

A recurrent misconception is that the Fronsdal programme automatically extends to a local interacting higher-spin theory. The more precise picture is narrower. In the comparison between Vasiliev’s equations and standard metric-like cubic vertices, the back-reaction projected onto the Fronsdal operator contains an infinite higher-derivative tail. When one attempts to rewrite this pseudo-local tail in the finite basis of local cubic vertices, one encounters divergent sums of coefficients, described as “naked infinities” [1508.04139].

The obstruction becomes sharper at quartic order. Under the assumption that the non-linear symmetry arises from gauging a global higher-spin algebra, the Noether completion of the free Fronsdal action on AdS develops a classical non-local obstruction: the quartic vertex inherits the non-locality of the full infinite higher-spin exchange and cannot be rendered local by finite-derivative counterterms. In this sense, the free Fronsdal action and cubic vertices are under control, while local quartic completion fails within the standard Fronsdal-Noether framework [1704.07859].

## 6. Projectors, hidden symmetries, and deformed models

The Fronsdal model is also associated with a universal transverse-traceless projector structure. In $D$ dimensions, the Behrends–Fronsdal spin projection operator onto rank-$j$ symmetric, traceless, transverse tensors is generated by
$$
\Theta^{(j)}(x,y)
=
\sum_{A=0}^{\lfloor j/2\rfloor}
a_A^{(j)}\,
[\Theta^{(xx)}]^A
[\Theta^{(xy)}]^{\,j-2A}
[\Theta^{(yy)}]^A,
$$
with coefficients determined by a closed recursion. The same projector appears in Fronsdal’s massless spin-$s$ framework when constructing the kinetic term subject to the double-tracelessness constraint, and its transversality makes the gauge invariance manifest in momentum space [1902.02570].

A distinct line of work reformulates higher-spin dynamics by a first-order Penrose-type action and constructs a canonical map to Fronsdal theory. In that approach, the Fronsdal field $h_{m_1\cdots m_s}$ is canonically equivalent to a complex first-order system built from a self-dual curvature spinor and a mixed-spinor gauge field. Because the first-order action is conformally invariant, one can push these transformations forward to Fronsdal theory, obtaining symmetries that satisfy the conformal algebra but act non-locally on $h$. For spins $s\le 3/2$ the non-local part trivializes, while the first genuinely non-local case is $s=2$ [1702.04277].

A recent deformation is the partially broken Fronsdal model for integer spin $s\ge 3$. It introduces parameters away from the “Fronsdal point” while preserving an irreducible massless spectrum. The gauge symmetry is reduced to a traceless parameter obeying
$$
\partial\!\cdot\!\partial\!\cdot\bar\Lambda=0,
$$
yet no extra propagating gauge invariants appear: for $s=3$ this is shown by a gauge-invariant analysis, and for $s\ge 4$ by a light-cone gauge argument. In $D=4$, only the helicities $\pm s$ propagate, as in the standard model, but the reduced symmetry permits more general source couplings than the Fronsdal theory [2507.04226].

Taken together, these developments show that the Fronsdal model is both rigid and extensible. Its free gauge structure, double-trace algebra, and AdS representation content remain the fixed reference point, while reducible decompositions, unfolded embeddings, non-local hidden symmetries, and partially broken deformations all treat the Fronsdal system as the benchmark notion of an irreducible massless higher-spin field.

Source: https://www.emergentmind.com/topics/fronsdal-model