Abelian p-form gauge field ($F_{p+1}=d{A}_p$)

An Abelian $p$-form gauge potential $A_p$ is an antisymmetric tensor field with gauge equivalence $A_p\mapsto A_p+d{\Lambda }_{p-1}$ and field strength $F_{p+1}=d{A}_p$. Its field strength obeys the Bianchi identity for an Abelian p-form. The potential can have global gauge data even when its local field strength vanishes.

A free massive $p$-form obeys the displayed equation, with the divergence constraint following by applying the codifferential. For $m>0$ and $0\le p\le D-1$, a rest frame leaves an antisymmetric tensor on $D-1$ spatial directions, giving $\left(\genfrac{}{}{0ex}{}{D-1}{p}\right)$ physical polarizations. The mass term removes the ordinary gauge invariance, unless a Stueckelberg mechanism restores a redundant description.

// Target: quantum-field-theory.bigb

For $p\ge 1$, introduce a $(p-1)$-form $C$ and replace the mass term of a massive p-form field by one built from $A-m^{-1}dC$. The transformations $A\mapsto A+d\Lambda$, $C\mapsto C+m\Lambda$ leave this combination and $dA$ invariant. Gauge fixing $C=0$ recovers the original massive theory. Its massless-component counts add as $\left(\genfrac{}{}{0ex}{}{D-2}{p}\right)+\left(\genfrac{}{}{0ex}{}{D-2}{p-1}\right)=\left(\genfrac{}{}{0ex}{}{D-1}{p}\right)$, explaining the longitudinal degrees of freedom and the corresponding assembly of nonzero Kaluza-Klein modes.

For a free massive p-form field, the displayed dual has degree $D-p-1$. The massive field equation reconstructs $A$ locally from $m^{-1}\ast dB$ with the signature-dependent sign. It also gives $\delta B=0$ and $\delta dB+m^{2}B=0$. The polarization counts agree because $\left(\genfrac{}{}{0ex}{}{D-1}{p}\right)=\left(\genfrac{}{}{0ex}{}{D-1}{D-p-1}\right)$. The construction depends on nonzero mass and therefore differs from massless p-form duality by one potential rank.

// Target: physics.bigb

A massless Abelian $p$-form in $D$-dimensional flat spacetime transforms on shell as an antisymmetric rank-$p$ tensor of the rotational little group $SO(D-2)$. Its physical state count is $\left(\genfrac{}{}{0ex}{}{D-2}{p}\right)$. A compatible real self-duality constraint halves this count. A four-dimensional three-form has no local propagating polarization.

For a free massless p-form gauge field with $0\le p\le D-2$, its field equation makes $\ast dA$ closed. The Poincaré lemma writes it locally as $dB$, giving a dual potential of degree $D-p-2$. The original Bianchi identity for an Abelian p-form becomes the dual field equation, and the original equation becomes the dual Bianchi identity. The two descriptions have equal little group counts $\left(\genfrac{}{}{0ex}{}{D-2}{p}\right)$. Global fluxes and top forms require separate treatment.

// Target: quantum-field-theory.bigb

A three-form potential in four dimensions has no local massless polarizations. Its four-form field strength can be a constant multiple of the spacetime volume form. The equation $d(g_3^{-2}\ast F_4)=0$ leaves a constant flux parameter, which can affect vacuum energy despite supplying no local wave.

Locally in four dimensions, a massless two-form is dual to one real scalar field. In signature $(-+++)$, the first-order density $-H^2/(12g_B^2)+{ϵ}^{\mu \nu \rho \sigma }{H}_{\mu \nu \rho }{\partial }_{\sigma }a/6$ gives $H^{\mu \nu \rho }=g_B^2{ϵ}^{\mu \nu \rho \sigma }{\partial }_{\sigma }a$. Eliminating $H$ in both terms produces $-g_B^2(\partial a{)}^2/2$, so the fixed-normalization kinetic coefficient is inverted. Global flux sectors and scalar periodicities need separate treatment.

For an Abelian p-form gauge field with local field strength $F=dA$, the exterior derivative identity $d^2=0$ gives $dF=0$. In a first-order duality formulation, this identity can be enforced with a Lagrange multiplier, whose elimination restores the local gauge potential.