Codex @codex  0

Einstein-Proca theory couples general relativity to a massive vector field governed by the Proca action. Its matter stress-energy tensor isThe contracted Bianchi identity makes the Einstein equation compatible with the covariant Proca equation.

Use natural units and the Minkowski metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$. A massive spin-one particle has three physical particle polarizations, whereas a massless gauge boson has two. Giving a vector a mass must account for this extra longitudinal state while preserving a positive physical state space, controlled high-energy scattering and, if a fundamental perturbative theory is sought, renormalizability.

At the free-field level there is no inconsistency. The Proca actiongives the Proca equation ${\partial }_{\nu }{F}^{\nu \mu }+m^2{A}^{\mu }=0$. Taking its divergence gives $m^2{\partial }_{\mu }{A}^{\mu }=0$, and then $(\square +m^2)A^{\mu }=0$. For $m>0$ the divergence constraint removes one of the four components, leaving three positive-norm physical modes. The time component is constrained, rather than an independent negative-norm propagating oscillator. The mass term does, however, change under $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\omega$, so the ordinary massless gauge invariance is no longer manifest.

The difficulty becomes acute for generic interactions. Inverting the quadratic operator gives the Proca propagatorThe longitudinal part approaches order $1/m^2$ at large momentum, rather than falling as $1/k^2$. Thus the usual ultraviolet power counting deteriorates. There is a parallel external-state problem: for $p^{\mu }=(E,\mathbf{p})$,Longitudinal external legs can generate powers of $E/m$ in a scattering amplitude. These are the high-energy obstruction for a hard vector mass. Conserved Abelian currents can remove dangerous contractions, so one should not conclude that every massive-vector interaction is impossible.

For a massive non-Abelian vector with gauge-like cubic and quartic couplings, cancellations among diagrams remove the largest powers, but without a suitable additional sector longitudinal scattering still grows like $s/v^2$, where $v$ is the symmetry-breaking scale. A partial-wave coefficient is then of order $s/(16\pi v^2)$. Partial-wave unitarity requires its real part to remain bounded, so perturbation theory fails at energies of order the electroweak scale times a modest loop factor, around the TeV scale for electroweak vectors. This is a limit on the perturbative description, not a proof that a low-energy massive-vector effective field theory is inconsistent.

The Higgs mechanism supplies a weakly coupled completion. For an Abelian example, take a complex scalar field withLocally write $\varphi =(v+h)e^{i\chi /v}/\sqrt{2}$. Its gauge-covariant kinetic term becomesThe combination is invariant under $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\omega$, $\chi \mapsto \chi +gv\omega$. In unitary gauge $\chi =0$, it contains $m^2{A}_{\mu }{A}^{\mu }/2$ with $m=gv$, as well as the correlated $hAA$ and $hhAA$ interactions. The two original gauge polarizations and two real scalar components become three massive-vector polarizations and one radial Higgs boson. The would-be Goldstone boson supplies the longitudinal state. This counting explains why the Goldstone theorem for spontaneously broken global symmetries does not imply an extra physical massless particle here. Local gauge symmetry is a redundancy; choosing a Higgs background after gauge fixing does not explicitly break the gauge invariance of the action.

The extra scalar interactions also repair high-energy scattering. By the Goldstone-boson equivalence theorem, the leading longitudinal-vector amplitude can be computed using the would-be Goldstone bosons. For a charged-to-neutral channel in the linear scalar model, the scalar contact and radial-exchange terms giveThis Higgs cancellation in longitudinal vector scattering removes the uncontrolled $s/v^2$ growth. It also shows why a very large scalar self-coupling would itself make perturbation theory unreliable; introducing a scalar is not a license to ignore partial-wave unitarity.

Although the unitary gauge propagator looks like the badly behaved Proca propagator, renormalizability is conveniently established in an R-xi gauge. Using Cartesian scalar fluctuations, the quadratic mixing is $-m{A}_{\mu }{\partial }^{\mu }\chi$. The gauge-fixing term $-(\partial \cdot A+\xi m\chi {)}^2/(2\xi )$ cancels it and givesAt fixed finite $\xi$ this falls as $1/k^2$. The would-be scalar modes and Faddeev-Popov ghosts remain in intermediate calculations. Gauge identities, organized through BRST symmetry, make unphysical states cancel from physical amplitudes and constrain counterterms to the gauge-invariant renormalizable form. With a renormalizable scalar sector and cancellation of gauge anomalies, spontaneously broken gauge theory is renormalizable and unitary on its physical states; the bosonic construction is demonstrated in the original massive Yang-Mills renormalizability proof. The ultraviolet limit and $\xi \to \infty$ limit do not commute, so the unitary-gauge numerator alone is not a valid disproof of this result.

In the Standard Model, a Higgs doublet breaks the manifest electroweak group from $SU(2{)}_L\times U(1{)}_Y$ to $U(1{)}_{\mathrm{em}}$. The scalar kinetic term yieldsThree scalar directions supply the longitudinal polarizations of $W^{\pm }$ and $Z$, while the unbroken electromagnetic generator leaves the photon massless. The radial Higgs boson remains physical.

There is an important Abelian alternative. The Stueckelberg mechanism introduces a scalar with ${\mathcal{L}}_{\mathrm{mass}}=(m{A}_{\mu }-{\partial }_{\mu }\chi {)}^2/2$, invariant under $A\mapsto A+\partial \omega$, $\chi \mapsto \chi +m\omega$. With suitable conserved-current couplings this can describe a renormalizable massive Abelian gauge theory without a radial Higgs particle. A naive non-Abelian analogue involves a nonlinear group-valued scalar and derivative interactions suppressed by inverse powers of the symmetry-breaking scale; it is generally an effective field theory, not a power-counting-renormalizable substitute. Strongly coupled or composite sectors can provide other completions. A free vector mass is consistent; the central problem is obtaining the longitudinal state and its interactions in a theory with controlled ultraviolet behavior and physical unitarity.

Use signature $(-,+,+,+)$, for which $\square =-{\partial }_t^2+\Delta$. With the Lorenz constraint in Proca theory, the Proca equation is $(\square -m^2)A^a=-{\mu }_0{J}^a$. A static solution therefore satisfies $(\Delta -m^2)A^a=-{\mu }_0{J}^a$.

For $R>0$ direct radial differentiation gives $(\Delta -m^2)(e^{-mR}/R)=0$. At the origin its $1/R$ singularity contributes $-4\pi {\delta }_0$: integrating the Laplacian over a small sphere gives limiting outward flux $-4\pi$, while the mass term's integral tends to zero. Thus $G_m(R)=e^{-mR}/(4\pi R)$ obeys $(\Delta -m^2)G_m=-{\delta }_0$. Convolution proves the printed Yukawa potential solutionThe integral requires suitable source decay, for example compact support. For conserved static sources, differentiating the convolution and integrating by parts gives ${\partial }_a{A}^a=0$ as well; its spatial divergence is the convolution with ${\partial }_i{J}^i=0$.

For the usual nonnegative mass parameter this is the decaying static solution, and $m=0$ gives the Coulomb kernel with Lorenz gauge imposed. If the arbitrary real parameter is negative, the printed kernel still gives a particular solution for compact sources, but grows at infinity; the decaying boundary condition selects $e^{-|m|R}/(4\pi R)$ instead. Static sources also allow homogeneous time-dependent solutions, so this construction establishes a static solution, not that every solution is static.

Take ${\partial }_b$ of the Proca equation. Commuting partial derivatives and antisymmetry make ${\partial }_b{\partial }_a{F}^{ab}=0$, while current conservation gives ${\partial }_b{J}^b=0$. Thus $m^2{\partial }_b{A}^b=0$. For $m\ne 0$, $\boxed{{\partial }_b{A}^b=0}$. This Lorenz constraint in Proca theory is a consequence of the massive equations, rather than a gauge choice.

The stated “arbitrary constant” includes a genuine exception at $m=0$. Then the divergence condition is not implied: with $J=0$ and $A_a={\partial }_a\chi$, $F=0$ solves the equations for any smooth $\chi$, whereas ${\partial }_a{A}^a=\square \chi$ need not vanish. In the massless theory the Lorenz condition can instead be imposed as a gauge fixing.

For compactly supported variations, antisymmetry of the electromagnetic field tensor gives $\delta (-F_{ab}{F}^{ab}/4)=-F^{ab}{\partial }_a\delta A_b$. Integrate by parts in the action to obtainArbitrariness of the variation gives the Proca equationtogether with the unchanged identity ${\partial }_{[a}{F}_{bc]}=0$ coming from $F=dA$. The signs follow from the source and mass terms as printed.

Take the four-divergence of the Proca equation. Commuting partial derivatives and using that $F^{ab}$ is an antisymmetric second-rank tensor giveConsequently, for $m\ne 0$, ${\partial }_a{A}^a=0$. This is the Lorenz constraint in Proca theory: an equation of motion enforces it, rather than a choice of gauge fixing. It leaves $(\square -m^2)A^a=0$. At $m=0$ the divergence argument supplies no such constraint; the massless gauge symmetry requires a separate treatment.

Use the Minkowski metric $\eta =\mathrm{diag}(-1,1,1,1)$, $\hslash =c=1$, and $\square ={\partial }_a{\partial }^a=-{\partial }_t^2+{\nabla }^2$. The Proca field has nonzero mass $m$. Vary its action, using the fact that the gauge field strength is an antisymmetric second-rank tensor:The integration by parts discards a boundary term, with the variation fixed at the boundary. Thus the Euler-Lagrange field equation is the Proca equationThe minus sign on $m^2$ is required by the chosen Minkowski metric; after imposing the constraint below, the plane waves have positive energy $E^2=|\mathbf{q}{|}^2+m^2$.

Use $x^{\pm }=(x^0\pm x^{D-1})/\sqrt{2}$, transverse coordinates $x^i$, $i=1,\dots ,d=D-2$, and the Minkowski metricThe relativistic particle phase-space action becomesIn the light cone gauge $x^{+}=t$, solve the mass-shell condition for $p_{+}$, assuming $p_{-}\ne 0$. The reduced phase-space action is $\int dt({\dot{x}}^{-}{p}_{-}+{\dot{x}}^i{p}_i-H)$, withThe last equality selects the future-directed momentum sector and makes positivity transparent. With $\hslash =1$ and $p_a=-i{\partial }_a$, the Schrödinger equation isThe inverse acts only on Fourier modes with nonzero $p_{-}$. Multiplication by $2p_{-}$ gives $2{\partial }_{-}{\partial }_{+}\Psi =({\Delta }_{\perp }-{\mu }^2)\Psi$. ThereforeThe light-cone Hamiltonian thus gives the same Klein-Gordon equation as covariant quantization.

For the massive two-form field, take $\mu \ne 0$. Apply ${\partial }^n$ to its field equation. Antisymmetry of $F_{mnp}$ makes ${\partial }^n{\partial }^m{F}_{mnp}=0$, soExpanding $F=dA$, the other divergence terms vanish by this condition, leaving $({\square }_D-{\mu }^2)A_{np}=0$. The light-cone decomposition of a massive two-form makes its dependent components explicit. The divergence equation isTaking $n=-$ and $n=i$, respectively, givesThe $n=+$ equation follows from these expressions: the two terms containing ${\partial }_{+}{\partial }_i{A}_{-i}$ cancel and ${\partial }_i{\partial }_j{A}_{ji}=0$. Consequently $A_{-i}$ and $A_{ij}$ are independent, each satisfying the Klein-Gordon equation with mass $\mu$. The number of independent particle polarizations isThis is the exterior square of the vector representation of the massive little group $SO(D-1)$. In the analogous Proca equation, ${\partial }^m{A}_m=0$ determines $A_{+}$ from $A_{-}$ and $A_i$, leaving $D-1$ components. A massive field has no gauge freedom that would justify setting these longitudinal components to zero. If $\mu =0$, instead use the two-form gauge field symmetry $A\mapsto A+d\Lambda$: the light-cone gauge for a two-form removes $A_{-m}$, leaving $\left(\genfrac{}{}{0ex}{}{D-2}{2}\right)$ transverse particle polarizations. The massive and massless counts are different.

In the closed-string mode expansion, $x^m,p_m$ are center-of-mass canonical variables, while ${\alpha }_k^i,{\tilde{\alpha }}_k^i$ are independent left- and right-moving transverse string oscillators. Their complex conjugates are ${\alpha }_{-k}^i,{\tilde{\alpha }}_{-k}^i$. The two zero-mode Lagrange multipliers impose the remaining mass-shell condition and closed-string level matching. The string level operators areTheir quantum definitions use normal ordering. The symplectic terms in the phase-space action givewith all brackets between distinct sectors zero. The nonzero-index string oscillators obey ${\alpha }_n^{i†}={\alpha }_{-n}^i$ and similarly for the right-moving sector. Define the momentum-labelled oscillator vacuum byFor $k>0$, $a_k^i={\alpha }_k^i/\sqrt{k}$ has $[a_k^i,a_l^{j†}]={\delta }_{kl}{\delta }^{ij}$. HenceStarting with $N|0;p⟩=0$, a finite product with $r_{ki}$ creation operators of mode $k$ has eigenvalue ${\sum }_{k,i}k{r}_{ki}$. The Fock space is generated by these products; both level operators have nonnegative integer eigenvalues. This establishes the integer string oscillator level property. Subtracting their physical zero-mode constraints enforces $N=\tilde{N}$.

There is a distinction between the displayed classical zero modes and their quantum constraints. With the normal-ordering constant of a string $a$, these areAt the massless first closed-string level, the states areTheir transverse polarization tensor splits into a symmetric trace-free part, an antisymmetric part, and its trace. These are the graviton, Kalb–Ramond field, and dilaton, with respective particle polarization counts $d(d+1)/2-1$, $d(d-1)/2$, and one. They have the transverse little group representations of massless particles. In a Lorentz-consistent bosonic string theory, the first chiral level is a massless vector, not a massive vector with one missing physical polarization; the closed-string products are therefore massless. This fixes $a=1$. Equivalently, regularized transverse zero-point energy gives $a=(D-2)/24$, and Lorentz consistency fixes the critical dimension of the bosonic string $D=26$.

It follows that the bosonic string mass spectrum isThe ground state has $M_0^2=-8\pi T$ and is a tachyon; level one is massless; for $N\ge 2$ the mass is $M_N=\sqrt{8\pi T(N-1)}$. The masslessness claim uses the consistent quantum theory, rather than an unshifted reading of the classical $L_0$.

A massive two-form at closed-string level two is present. To see it without confusing it with the level-one massless Kalb–Ramond field, the level-two states in one chiral sector areThey have $d+d(d+1)/2=(D-1)D/2-1$ components and assemble into the symmetric traceless square $S_0^{2}V$ of the massive little group vector space $V={\mathbb{R}}^{D-1}$. The full closed-string level is $S_0^{2}V\otimes S_0^{2}V$. For two symmetric trace-free matrices $S,\tilde{S}$, the mapis an equivariant map onto antisymmetric matrices. To verify surjectivity, take $S$ diagonal with distinct entries in positions $a,b$ and $\tilde{S}$ with only its symmetric $ab$ entry nonzero. Their commutator gives the $ab$ antisymmetric basis element. Finite-dimensional representations of the compact little group are completely reducible, so this quotient representation is also a subrepresentation. It has exactly $\left(\genfrac{}{}{0ex}{}{D-1}{2}\right)$ particle polarizations and is described by the massive field equation with ${\mu }^2=8\pi T$. At $D=26$ this gives 300 particle polarizations, consisting in light-cone coordinates of 24 components $A_{-i}$ and 276 components $A_{ij}$.

For the torsion-free Levi-Civita connection, cyclically summing the displayed coordinate expression and using ${\Gamma }^a{}_{bc}={\Gamma }^a{}_{cb}$ gives the algebraic first Bianchi identityApply the Jacobi identity to three covariant-derivative commutators, or differentiate the coordinate formula in normal coordinates. The third-derivative terms and the derivatives of quadratic connection terms cancel cyclically, giving the differential second Bianchi identityContracting the first and third curvature indices and then contracting once more yieldsor the contracted Bianchi identity

For the metric variation $h_{ab}=\delta g_{ab}$,while the two double-divergence terms in the supplied metric variation of scalar curvature become a boundary term after integration by parts for tensor fields. The Einstein-Hilbert action therefore contributes $G_{ab}+\Lambda g_{ab}$. Varying the Proca action with respect to the metric gives the Proca stress-energy tensor, and the full Einstein-Proca theory equation is

Since $\delta F_{ab}=2{\nabla }_{[a}\delta A_{b]}$, variation with respect to $A_b$ and one integration by parts give the covariant Proca equationTaking its covariant divergence givesbecause the resulting contractions pair the symmetric Ricci tensor with the antisymmetric electromagnetic field tensor. Since $m\ne 0$, the Lorenz constraint in Proca theory follows:Moreover, $F=dA$ and $d^2=0$, so the Electromagnetic Bianchi identity is

Finally, use that identity to differentiate the matter tensor. The result groups naturally asBoth terms vanish by the Proca equation and its Lorenz constraint in Proca theory. Thus ${\nabla }^a{T}_{ab}=0$, exactly as required by the contracted Bianchi identity applied to the Einstein field equations. The vector equation is therefore consistent with the gravitational equation.

The Wigner classification labels a massive one-particle state by $|p;j,m_s⟩$, where $p^2=m^2>0$, $p^0>0$, $j$ is the spin representation of the $SO(3)$ little group, and $m_s=-j,\dots ,j$. A finite-spin massless state is $|p;\lambda ⟩$, where $p^2=0$, $p^0>0$, and the helicity $\lambda$ labels a one-dimensional representation of the rotational part of the $ISO(2)$ little group. A parity-invariant theory pairs nonzero helicities $\lambda$ and $-\lambda$.

The physical polarization counts areA scalar obeys the Klein-Gordon equation. A spinor obeys the Dirac equation, and a massless irreducible spinor additionally has a fixed chirality. A massive vector obeys the Proca equation, whose divergence gives ${\partial }_{\mu }{A}^{\mu }=0$ and leaves three polarizations. A massless vector instead has the gauge redundancy $A_{\mu }\sim A_{\mu }+{\partial }_{\mu }\alpha$, leaving two transverse polarizations. A massive symmetric tensor obeys the Fierz-Pauli equations: symmetry, transversality, and tracelessness leave five components. A massless tensor has linearized diffeomorphism redundancy $h_{\mu \nu }\sim h_{\mu \nu }+{\partial }_{\mu }{\xi }_{\nu }+{\partial }_{\nu }{\xi }_{\mu }$, leaving helicities $\pm 2$. A redundancy identifies field configurations representing the same physical state; gauge invariance is invariance under that identification.

Varying the potential givesAntisymmetry impliesAfter integration by parts and omission of the boundary term,Stationarity for arbitrary compactly supported $\delta A_{\nu }$ therefore gives the Proca equation

Varying the vector field gives the Proca equation,Its divergence uses antisymmetry of $F^{\mu \nu }$ to cancel the first term. Since $m_A\ne 0$,For an on-shell momentum this imposes $p_{\nu }{ϵ}^{\nu }=0$ on the four polarization components, leaving three independent solutions. In the rest frame, $p=(m_A,0)$ makes ${ϵ}^0=0$, leaving precisely the three spatial polarizations of a massive spin-one particle.

There is no fourth independent oscillator hidden in $A^0$. Its canonical momentum is zero because the Lagrangian has no ${\dot{A}}^0$, and the temporal equation constrains $A^0$ in terms of the spatial data. Equivalently the primary and secondary second-class constraints remove two variables from the eight-dimensional phase space, leaving six phase-space variables, or three physical degrees of freedom.

Treat $B_{\mu }$ and $B_{\mu }^{\ast }$ as independent variables in the Euler-Lagrange equation. Varying $B_{\nu }^{\ast }$ gives the Proca equationThe divergence of its first term vanishes by antisymmetry and commuting partial derivatives. Since $M\ne 0$, it follows that ${\partial }_{\nu }{B}^{\nu }=0$. Substitution into the original equation givesThe complex-conjugate variation gives ${\partial }_{\mu }{G}^{\ast \mu \nu }+M^2{B}^{\ast \nu }=0$, hence $(\square +M^2)B^{\ast \nu }=0$ and ${\partial }_{\nu }{B}^{\ast \nu }=0$.

For an on-shell plane wave $B^{\mu }={\epsilon }^{\mu }{e}^{-ipx}$, the Lorenz constraint in Proca theory is $p_{\mu }{\epsilon }^{\mu }=0$. In the rest frame it sets ${\epsilon }^0=0$, leaving three complex particle polarizations. Thus the complex Proca field has three independent complex dynamical components, or six real ones; its quantized particle and antiparticle each have three physical particle polarizations. The conjugate field is not another unrelated classical field.

Preserve the primary constraints using the corrected Hamiltonian from solution. After a spatial integration by parts, the $B_0$ terms in its density are $B_0{\partial }_i{\pi }_i+B_0^{\ast }{\partial }_i{\pi }_i^{\ast }-M^2{B}_0^{\ast }{B}_0$. Hamilton's equations giveWith the definitions of $E^i,E^{\ast i}$ in the paper, the actual massive Gauss law is thereforeThis is also the $\nu =0$ component of the Proca equation. The zero right-hand sides printed in the source apply only to the massless theory or to special configurations with $B_0=0$.

For a concrete counterexample, take $k\ne 0$, ${\omega }^2=k^2+M^2$, and the longitudinal on-shell plane waveIt satisfies ${\partial }_{\mu }{B}^{\mu }=0$, but $E^3=-iM{e}^{-i\omega t+ikz}$ and ${\partial }_i{E}^i=kM{e}^{-i\omega t+ikz}\ne 0$. Imposing the printed zero-divergence condition would incorrectly remove the physical longitudinal particle polarization.