Massive p-form field ($\delta dA+m^{2}A=0,\delta A=0$)

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