The Stueckelberg Mechanism in Biquaternionic Form

Introduction

The companion article The Proca Equation: Massive Spin 1 in Biquaternionic Form writes the massive vector field and records its obstruction: the mass term $-\tfrac12\mu^2A_\mu A^\mu$ is not invariant under the abelian gauge transformation $\tilde{A}\mapsto\tilde{A}-\tilde{\nabla}\Gamma$, so a Proca field is a gauge field with the gauge symmetry broken by hand. The companion article The Higgs Mechanism in Biquaternionic Form removes the obstruction by coupling the vector to a central scalar whose potential has a non-zero vacuum value; the mass is then generated by the scalar, and the would-be Goldstone phase is removed by the gauge transformation. The Stueckelberg mechanism is the third possibility, and it is the one that lies most naturally in the algebra: it restores the abelian gauge symmetry by adding to the vector a scalar that shifts under the gauge transformation, so that the invariant combination is not $A_\mu$ alone but $A_\mu-\partial_\mu\sigma$, and the mass term built from that combination is gauge invariant. No potential, no vacuum expectation value and no radial mode are required. The scalar is the would-be Goldstone boson, kept in the theory rather than frozen.

The interest of the mechanism for the framework is exactly this economy. The algebra's scalars are central, and the central scalar is the only scalar the abelian gauge structure of the companion articles can carry. The Higgs mechanism uses the radial mode of that scalar and needs a potential and a vacuum value; the Stueckelberg mechanism uses the phase and needs only the shift. In the abelian sector the two are the two ends of one construction: the Higgs mechanism with the radial mode taken infinitely heavy reduces to the Stueckelberg mechanism, and conversely the Stueckelberg model embeds in the abelian Higgs as its low-energy limit. This article derives the invariant mass term, carries out the gauge fixing and the degree-of-freedom count, relates the mechanism to the abelian Higgs, and states what the algebra supplies and what does not carry over to the non-abelian case.

We use the conventions of the companion articles. The biquaternion algebra is $\mathbb{B}=\mathbb{C}\otimes_\mathbb{R}\mathbb{H}$ with basis $e_0=1,e_1,e_2,e_3$, $e_k^2=-e_0$, $e_je_k=-\delta_{jk}e_0+\varepsilon_{jkl}e_l$, and central $i$. The sectors are $\mathbb{M}_-=\mathrm{span}_\mathbb{R}\{ie_0,e_1,e_2,e_3\}$ (material) and $\mathbb{M}_+=\mathrm{span}_\mathbb{R}\{e_0,ie_1,ie_2,ie_3\}$ (informational), and the center is $\mathbb{C}_{\mathbb{B}}=\mathrm{span}_\mathbb{R}\{e_0,ie_0\}$. The abelian connection is $\tilde{A}=ie_0A_0+\mathbf{A}\in\mathbb{M}_-$ with components $A_\mu$, transforming as $\tilde{A}'=\tilde{A}-\tilde{\nabla}\Gamma$ with $\Gamma$ a real central scalar, so that $A'_\mu=A_\mu-\partial_\mu\Gamma$; the covariant derivative is $D=\tilde{\nabla}+\tfrac{iq}{\hbar}\tilde{A}$ with $\kappa=q/\hbar$; the field strength is $\tilde{F}=\tilde{\nabla}^{\natural}\tilde{A}-\mathrm{Sc}(\tilde{\nabla}^{\natural}\tilde{A})$, with components $F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu$. The gradient and d'Alembertian are $\tilde{\nabla}=e_0\partial_{ict}+e_k\partial_k$ and $\Box=\tilde{\nabla}\tilde{\nabla}^{\natural}=\partial_{ict}^2+\Delta$; the $ict$ metric is $\eta=\mathrm{diag}(-1,+1,+1,+1)$, and the bilinear form on $\mathbb{M}_-$ is $\langle\tilde{Q},\tilde{P}\rangle=\mathrm{Sc}(\tilde{Q}\tilde{P}^{\natural})$. Natural units $\hbar=c=1$ are used where no dimensionful quantity is displayed. The informational trace formula $\mathrm{Tr}(\tilde{P}\tilde{H})=2\,\mathrm{Sc}(\tilde{P}\tilde{H})$ is kept distinct from the matrix trace.

Companion article The Proca Equation: Massive Spin 1 in Biquaternionic Form, for the massive field equation, the Lorenz condition and the obstruction of the explicit mass term.
Companion article Canonical Quantization of the Biquaternion Proca Field, for the three polarizations, the second-class constraint structure and the propagator.
Companion article The Higgs Mechanism in Biquaternionic Form, for the central scalar, its potential, its vacuum value and the abelian mass generation.
Companion article Goldstone's Theorem in Biquaternionic Form, for the would-be Goldstone mode and its removal by the gauge transformation.
Companion article The Gauge Principle in Biquaternionic Form, for the abelian gauge structure from the central phase.
Companion article Maxwell's Equations in the Biquaternionic Formulation, for the massless abelian field and its gauge invariance.
Companion article The Photon in Biquaternionic Form, for the massless neutral vector field.
Companion article The Anti-Hermitian Subspace M- as the Material Sector, for the material-sector carrier of the connection.
Companion article The Hermitian Subspace M+ as the Informational Sector, for the sector structure and the trace.

The Proca Obstruction

The Mass Term and Its Non-Invariance

The Proca Lagrangian of the companion article is $$ \mathcal{L}_{\mathrm{P}}=-\tfrac14F_{\mu\nu}F^{\mu\nu}-\tfrac12\mu^2A_\mu A^\mu, \qquad F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu , $$ with the field equation $\partial_\mu F^{\mu\nu}-\mu^2A^\nu=0$ and the Lorenz condition $\partial_\mu A^\mu=0$ as a consequence of taking the divergence. The field strength is gauge invariant, but the mass term is not: $$ A_\mu A^\mu\longmapsto (A_\mu-\partial_\mu\Gamma)(A^\mu-\partial^\mu\Gamma) =A_\mu A^\mu-2A^\mu\partial_\mu\Gamma+\partial_\mu\Gamma\partial^\mu\Gamma , $$ so that the transformation changes the action by a term proportional to $\mu^2$. The Proca field is therefore a gauge field whose gauge symmetry is explicitly broken by the mass; the theory is consistent, but the symmetry is absent.

Where the Extra Degree of Freedom Comes From

A massless vector has two polarizations and a massive vector has three. The third polarization of the Proca field is present as a dynamical mode of the four-component field: the primary constraint $\pi^0\approx0$ and the deformed Gauss law $\partial_i\pi^i+\mu^2A_0\approx0$ are second class, with bracket $\{\pi^0,\partial_i\pi^i+\mu^2A_0\}=-\mu^2\delta^{(3)}$, and they remove the two phase-space directions that a massless vector would remove differently, leaving three. Equivalently, the massive wave equation $(\Box-\mu^2)\tilde{A}=0$ in the Lorenz gauge propagates all three polarizations, with the completeness relation $$ \sum_{r=1}^{3}\varepsilon^r_\mu\varepsilon^r_\nu=\eta_{\mu\nu}+\frac{p_\mu p_\nu}{\mu^2}, \qquad P^2=P,\quad\mathrm{tr}\,P=3,\quad P_{\mu\nu}p^\nu=0 , $$ the longitudinal projector being the term that the mass creates. In the Stueckelberg description the same third polarization is carried, before gauge fixing, by a scalar field; the two descriptions are the same physics in different variables, and this is the sense in which the Stueckelberg scalar is "the longitudinal mode made manifest".

The Shift Field and the Invariant Mass Term

The Stueckelberg Field

Let $\tilde{\sigma}=\sigma e_0$ be a real central scalar, and let it transform by a shift under the abelian gauge transformation: $$ \tilde{A}'=\tilde{A}-\tilde{\nabla}\Gamma , \qquad \sigma'=\sigma-\Gamma , \qquad \Gamma\in\mathbb{R}. $$ The combination $$ B_\mu=A_\mu-\partial_\mu\sigma $$ is then gauge invariant, $$ B'_\mu=A'_\mu-\partial_\mu\sigma'=A_\mu-\partial_\mu\Gamma-\partial_\mu\sigma+\partial_\mu\Gamma=A_\mu-\partial_\mu\sigma=B_\mu , $$ a cancellation that was checked explicitly on polynomial test fields, and the Stueckelberg Lagrangian is $$ \mathcal{L}_{\mathrm{S}}=-\tfrac14F_{\mu\nu}F^{\mu\nu}-\tfrac12\mu^2\big(A_\mu-\partial_\mu\sigma\big)\big(A^\mu-\partial^\mu\sigma\big). $$ It is invariant under the abelian gauge transformation for any $\Gamma$, because $F_{\mu\nu}$ and $B_\mu$ are. The symmetry is the original abelian symmetry, not a new one: the Stueckelberg field transforms with the same parameter as the connection, so the gauge group is unchanged and the mass term is now compatible with it.

The Field Content

Expanding the invariant mass term, $$ -\tfrac12\mu^2B_\mu B^\mu =-\tfrac12\mu^2A_\mu A^\mu+\mu^2A^\mu\partial_\mu\sigma-\tfrac12\mu^2\partial_\mu\sigma\partial^\mu\sigma , $$ shows the three pieces: the Proca mass, a derivative mixing between the vector and the scalar, and the scalar's kinetic term — the last being $-\tfrac12(\partial\phi)^2$ after rescaling, the healthy sign of the Klein–Gordon companion. Rescaling the scalar to canonical normalization, $$ \sigma=\frac{\phi}{\mu}, \qquad -\tfrac12\mu^2\partial_\mu\sigma\partial^\mu\sigma=-\tfrac12\partial_\mu\phi\partial^\mu\phi , \qquad +\mu^2A^\mu\partial_\mu\sigma=+\mu A^\mu\partial_\mu\phi , $$ puts the Lagrangian in the form of a massless vector, a massless scalar and a derivative mixing of strength $\mu$: $$ \mathcal{L}_{\mathrm{S}}=-\tfrac14F_{\mu\nu}F^{\mu\nu}-\tfrac12\mu^2A_\mu A^\mu+\mu A^\mu\partial_\mu\phi-\tfrac12\partial_\mu\phi\partial^\mu\phi . $$ The mixing is removed by the gauge transformation that the symmetry permits, and the result is the massive vector alone; this is the content of the gauge fixing below. The Lagrangian has five field components and one gauge symmetry, and it describes three physical polarizations because the scalar and the longitudinal vector are one mode in two variables.

The Equation of Motion and the Constraint

The equation of motion for the vector is $$ \partial_\mu F^{\mu\nu}-\mu^2\big(A^\nu-\partial^\nu\sigma\big)=0 , $$ and the equation for the scalar is $$ \mu^2\partial_\mu\big(A^\mu-\partial^\mu\sigma\big)=0 . $$ Taking the divergence of the vector equation gives $\partial_\nu\partial_\mu F^{\mu\nu}-\mu^2\partial_\nu(A^\nu-\partial^\nu\sigma)=0$, and the first term vanishes identically by the antisymmetry of $F$, so the divergence of the vector equation is the scalar equation. The scalar field is therefore not an independent dynamical degree of freedom in the covariant equations; it is the longitudinal part of the vector, and the count of physical modes is the count of the massive vector. This is the algebraic statement that the Stueckelberg scalar is the would-be Goldstone mode.

Gauge Fixing and the Degree-of-Freedom Count

The Stueckelberg (Unitary) Gauge

The gauge freedom is used to set $\sigma=0$: $$ \sigma\longmapsto 0 \qquad\text{by}\qquad \Gamma=\sigma . $$ In this gauge the Lagrangian reduces to the Proca Lagrangian, $$ \mathcal{L}_{\mathrm{S}}\big|_{\sigma=0}=-\tfrac14F_{\mu\nu}F^{\mu\nu}-\tfrac12\mu^2A_\mu A^\mu , $$ and the count is the Proca count: four components of $A_\mu$, one constraint from the deformed Gauss law, three physical polarizations. The scalar is gone — it has been absorbed into the longitudinal polarization of the vector — and the theory is manifestly that of a massive vector. This is the gauge in which the mechanism is "invisible": it has done its work by making the mass term invariant, and the field that made it invariant has been gauged away.

The Covariant $R_\xi$ Gauges

The symmetric alternative keeps the scalar and fixes a covariant condition, $$ G=\partial_\mu A^\mu-\xi\mu^2\sigma=0 , \qquad \xi\in\mathbb{R}, $$ which is the abelian analogue of the Lorenz gauge of the gauge-field path integral and reduces to it for the massless field. The gauge-fixed Lagrangian, $$ \mathcal{L}_\xi=\mathcal{L}_{\mathrm{S}}-\frac{1}{2\xi}\big(\partial_\mu A^\mu-\xi\mu^2\sigma\big)^2 , $$ has a vector propagator of the Proca form with a gauge-dependent longitudinal part, $$ D_{\mu\nu}(p)=\frac{i}{p^2-\mu^2}\left(\eta_{\mu\nu}-\frac{(\xi-1)p_\mu p_\nu}{p^2-\xi\mu^2}\right), $$ which reduces to the Proca propagator of the companion article as $\xi\to\infty$, and a scalar with an $\xi$-dependent mass $\xi\mu^2$. The gauge parameter interpolates between the unitary gauge at $\xi\to\infty$ (the scalar mass becomes infinite and the scalar decouples, leaving the Proca propagator) and the Landau gauge at $\xi=0$ (the scalar mass vanishes). The physical amplitudes are independent of $\xi$, which is the statement that the scalar and the longitudinal vector together carry one physical mode; the demonstration is the abelian case of the gauge-parameter independence recorded in the gauge-field path-integral companion. One feature distinguishes the abelian case from the non-abelian one and is worth recording: the Faddeev–Popov determinant of an abelian gauge fixing is field independent, so the Stueckelberg model has no ghost. The scalar $\sigma$ and the longitudinal vector are the only unphysical modes, and they cancel among themselves in the gauge-parameter dependence; in the non-abelian case the determinant is field dependent, the ghosts are dynamical, and the cancellation involves the ghost fields in addition. The framework's Stueckelberg mechanism therefore has the simplest possible unphysical sector: one scalar, no ghosts.

The Degree-of-Freedom Count

The count is the same in every gauge and is worth stating in the two ways. $$ \text{fields }(4+1)=5,\quad \text{gauge symmetry }-1,\quad \text{mass-term constraint }-1,\quad \text{physical }=3 . $$ The gauge symmetry removes the scalar by fixing it to a function of the vector — in the unitary gauge to zero — and the mass term's constraint structure removes the timelike component of the vector, leaving the three polarizations that the completeness relation above enumerates. In the $R_\xi$ gauge the same three modes are distributed as two transverse vector modes, one longitudinal mixture of vector and scalar, and an $\xi$-dependent scalar that is not physical; the count is invariant, the distribution is not.

The Relation to the Abelian Higgs

The Higgs Mechanism as the Same Construction with a Potential

The abelian Higgs mechanism of the companion article couples the vector to a complex central scalar with a potential, $$ \mathcal{L}_{\mathrm{H}}=-g^{\mu\nu}(D_\mu\varphi)^*(D_\nu\varphi)-V(\varphi^*\varphi), \qquad V=\beta\left(\varphi^*\varphi-\tfrac{v^2}{2}\right)^2 , \qquad D_\mu=\partial_\mu+i\kappa A_\mu , $$ whose minimum is at $\vert\varphi\vert=v/\sqrt2$. Writing the scalar in polar form, $\varphi=\rho\,e^{i\vartheta}$ with $\rho$ the radial mode and $\vartheta$ the phase, the phase enters the covariant derivative only through $$ \frac{1}{\kappa}\partial_\mu\vartheta $$ in the combination $A_\mu+\tfrac{1}{\kappa}\partial_\mu\vartheta$, and it shifts under a gauge transformation. The Stueckelberg field is precisely this phase, and the Stueckelberg Lagrangian is what remains of the Higgs Lagrangian when the radial mode is removed — held at its vacuum value or given an infinite mass — so that only the phase, with its shift, survives: $$ \varphi=\frac{v}{\sqrt2}e^{i\vartheta}=\frac{v}{\sqrt2}e^{-i\mu\sigma/v}, \qquad \vartheta=-\frac{\mu}{v}\,\sigma , $$ with $\sigma$ normalized as above. Conversely, the abelian Higgs is the ultraviolet completion of the Stueckelberg model: the Stueckelberg mass is a parameter $\mu$, and the Higgs provides a dynamical origin for it, $\mu=\kappa\langle\rho\rangle$, together with a radial mode that the Stueckelberg model omits. The two are the same gauge structure — an abelian vector and a shifting central phase — with different dynamics for the magnitude.

The Explicit Limit

The reduction can be exhibited rather than asserted. Write the Higgs scalar in polar form, $\varphi=\frac{1}{\sqrt2}(\rho+v)e^{i\vartheta}$ with $\rho$ the radial fluctuation, and expand the kinetic term. The phase appears only in the covariant combination $$ D_\mu\varphi=\frac{1}{\sqrt2}e^{i\vartheta}\Big[\partial_\mu\rho+i(\rho+v)\big(\partial_\mu\vartheta+\kappa A_\mu\big)\Big], $$ so the Goldstone enters through $A_\mu+\tfrac{1}{\kappa}\partial_\mu\vartheta$, and the gauge transformation $\varphi\mapsto e^{+i\kappa\Gamma}\varphi$, $A_\mu\mapsto A_\mu-\partial_\mu\Gamma$ shifts $\vartheta\mapsto\vartheta+\kappa\Gamma$, the same transformation law the Stueckelberg field carries. The Stueckelberg field is the rescaled phase, with the sign fixed by the requirement that it shift as $\sigma\mapsto\sigma-\Gamma$ and whose invariant combination is $A_\mu-\partial_\mu\sigma$: $$ \sigma=-\frac{v}{\mu}\,\vartheta, \qquad \mu=\kappa v=\frac{qv}{\hbar}, $$ in terms of which the combination $A_\mu-\partial_\mu\sigma$ is invariant and the mass term takes the invariant form, with the Goldstone kinetic term and the mixing arranged as in the Stueckelberg Lagrangian. The radial mode $\rho$ has the mass $m_h^2=2\beta v^2$ and couples to the vector only through $\rho^2$ terms; taking $m_h\to\infty$ at fixed $v$ removes it from the low-energy theory, and what remains is the Stueckelberg model with the parameter $\mu=\kappa v$. The limit is the precise sense in which the Stueckelberg mechanism is the abelian Higgs with the magnitude frozen.

What Each Mechanism Requires

The comparison isolates the economy of the shift-field description.

	Stueckelberg	Abelian Higgs
field	central scalar $\sigma$	complex central scalar $\varphi$
symmetry of the mass term	shift $\sigma\to\sigma-\Gamma$	phase rotation of $\varphi$
potential	none	$V=\beta(\varphi^*\varphi-v^2/2)^2$
vacuum value	none	$\lvert\varphi\rvert=v/\sqrt2$
mass	parameter $\mu$	$\mu=\kappa v=qv/\hbar$
radial mode	absent (or infinitely heavy)	present, mass $m_h=\sqrt{2\beta}\,v$
Goldstone mode	$\sigma$, kept or gauged away	$\vartheta$, gauged away
parameters	$\mu$	$v$ and $\beta$ (or $v$ and $m_h$)

The Stueckelberg mechanism has one parameter and no potential; the Higgs mechanism has two (equivalently the vacuum value and the radial mass) and a potential. Both give the vector the same mass, and in the limit in which the radial mode decouples the Higgs description reduces to the Stueckelberg one. Neither is more fundamental; the difference is whether the magnitude of the scalar is dynamical.

The Algebra's Reading

The Stueckelberg Field Is the Central Scalar

In the framework's terms the Stueckelberg field is the phase of the central scalar, and it is central: $$ \tilde{\sigma}=\sigma e_0\in\mathbb{C}_{\mathbb{B}}, \qquad \tilde{\varphi}=\rho\,e^{i\tilde{\sigma}}\in\mathbb{C}_{\mathbb{B}} , $$ so it lies in the same two-dimensional center that carries the abelian gauge group. The invariant combination $A_\mu-\partial_\mu\sigma$ is what the covariant derivative of a central scalar produces: the covariant derivative $D_\mu\varphi=(\partial_\mu+i\kappa A_\mu)\varphi$ on a central scalar of constant magnitude $\rho$ has phase $\kappa A_\mu+\partial_\mu\vartheta$, and the gauge-invariant content is the combination $A_\mu+\tfrac{1}{\kappa}\partial_\mu\vartheta$ — the same $B_\mu$ up to the normalization of the phase. The Stueckelberg mass term is therefore the biquaternion norm of the gauge-invariant derivative, $-\tfrac12\mu^2B_\mu B^\mu$, and the algebra contains it because the center contains the scalar and the material sector contains the vector.

Why the Mechanism Is the Natural One for the Framework

Three properties make the Stueckelberg mechanism the framework's natural route to a massive abelian vector.

It requires only the shift. The framework's central scalar has a phase that is a shift field under the central gauge symmetry; the phase rotation is the abelian gauge transformation itself. No potential and no vacuum expectation value are needed, and the framework's algebra does not supply a potential for the central scalar in any case — the potential of the Higgs companion is imported from the scalar sector.
It is the mass term of the Proca field made invariant. The Proca mass is the obstruction the companion article records; the Stueckelberg field is the minimal addition that removes it, and the addition is central, so it does not disturb the sector structure.
It keeps the field content minimal. The Stueckelberg scalar has no self-interaction and no potential; it is the would-be longitudinal mode. The algebra's two real central directions suffice: one is the vector component $A_0$ direction in $\mathbb{M}_-$ and one is the scalar, and the phase shift is the gauge direction that relates them.

What Does Not Carry Over: The Non-Abelian Case

The mechanism as constructed is abelian. Its essential ingredient is that the shift is a single function and the field strength $F_{\mu\nu}$ is invariant by itself; in the non-abelian theory the field strength is not invariant but transforms in the adjoint, $F'_{\mu\nu}=UF_{\mu\nu}U^{-1}$, and a scalar that restores the mass term must transform in the adjoint as well, so that $D_\mu\sigma$ and $F_{\mu\nu}$ sit in the same representation. The Stueckelberg mechanism for a non-abelian group therefore requires a scalar in the adjoint representation, and the non-linear sigma model of the Goldstone fields. The framework's central scalar is a singlet of the compact factor; its covariant derivative is the ordinary derivative and contains no adjoint action, so it cannot supply the invariant combination for the non-abelian directions. The same limitation that prevents the central scalar from breaking the non-abelian group in the Higgs mechanism prevents it from restoring the non-abelian mass term here. The framework's Stueckelberg mechanism is an abelian mechanism, and it reaches the central direction and no other.

What the Algebra Supplies and What It Imports

Supplied by the algebra, and recomputed here. The carrier: the Stueckelberg field as the central scalar $\tilde{\sigma}=\sigma e_0\in\mathbb{C}_{\mathbb{B}}$, and the vector as the material connection $\tilde{A}\in\mathbb{M}_-$. The gauge transformation and the invariant combination: $B_\mu=A_\mu-\partial_\mu\sigma$ is invariant under $\tilde{A}'=\tilde{A}-\tilde{\nabla}\Gamma$, $\sigma'=\sigma-\Gamma$, checked on test fields. The invariant mass term as the biquaternion norm $-\tfrac12\mu^2B_\mu B^\mu$, with the sign of the Proca companion, and its reduction to Proca in the gauge $\sigma=0$. The identification of the Stueckelberg scalar with the phase of the central scalar, hence with the would-be Goldstone mode of the abelian Higgs companion. The constraint structure: the scalar equation is the divergence of the vector equation, so the scalar is the longitudinal mode.

Imported, and left visible. The Stueckelberg construction itself; the $R_\xi$ gauge-fixing condition and the gauge-parameter independence of physical amplitudes; the degree-of-freedom count and the second-class constraint analysis, the latter from the Proca companion; the propagator and the $\xi$-dependent scalar mass; the relation to the abelian Higgs and the limit in which the radial mode decouples; and the non-abelian extension with an adjoint scalar. All are standard and are cited as such.

Not supplied. The mechanism does not generate the mass from a vacuum value: $\mu$ is a parameter, and the framework does not explain its value. It does not extend to the compact factor, because the framework's scalar is a singlet and the non-abelian version requires an adjoint scalar. It does not supply the fermion masses, the mixing angles or any empirical content. As everywhere in the series, no new prediction is made.

Summary

The Proca mass term is not invariant under the abelian gauge transformation, and the Stueckelberg mechanism restores the invariance by introducing a central scalar that shifts. With $\tilde{A}'=\tilde{A}-\tilde{\nabla}\Gamma$ and $\sigma'=\sigma-\Gamma$, the combination $$ B_\mu=A_\mu-\partial_\mu\sigma $$ is invariant — checked explicitly on test fields — and the Stueckelberg Lagrangian $$ \mathcal{L}_{\mathrm{S}}=-\tfrac14F_{\mu\nu}F^{\mu\nu}-\tfrac12\mu^2B_\mu B^\mu $$ is gauge invariant for any $\Gamma$. Expanded and canonically normalized it is a massless vector, a massless scalar and a derivative mixing of strength $\mu$; the scalar's equation is the divergence of the vector's equation, so the scalar is the longitudinal mode. In the unitary gauge $\sigma=0$ the Lagrangian reduces to Proca with three polarizations; in the $R_\xi$ gauge $G=\partial_\mu A^\mu-\xi\mu^2\sigma=0$ the scalar has an $\xi$-dependent mass and the vector propagator $$ D_{\mu\nu}(p)=\frac{i}{p^2-\mu^2}\left(\eta_{\mu\nu}-\frac{(\xi-1)p_\mu p_\nu}{p^2-\xi\mu^2}\right) $$ has a gauge-dependent longitudinal part, with physical amplitudes independent of $\xi$. The count is five fields, one gauge symmetry and one mass-term constraint, leaving three.

The mechanism is the abelian Higgs with the radial mode removed: the Stueckelberg field is the phase of the central scalar, and the Higgs is its ultraviolet completion with $\mu=\kappa v=qv/\hbar$ and a radial mode of mass $m_h=\sqrt{2\beta}\,v$. In the framework the Stueckelberg field is central, $\tilde{\sigma}=\sigma e_0\in\mathbb{C}_{\mathbb{B}}$, and the invariant mass term is the biquaternion norm of the gauge-invariant derivative; the mechanism requires only the shift, no potential and no vacuum value, which is why it is the framework's natural massive-abelian-vector mechanism. It does not extend to the compact factor: the non-abelian version requires a scalar in the adjoint representation, whereas the framework's scalar is a singlet. The mass $\mu$ remains a parameter, and the mechanism adds no empirical content.

Summary of Notation

Symbol	Meaning
$\mathbb{B}=\mathbb{C}\otimes_\mathbb{R}\mathbb{H}$	Biquaternion algebra, $\cong M_2(\mathbb{C})$
$e_0=1,e_1,e_2,e_3$	Quaternion basis, $e_k^2=-e_0$
$i$	Central scalar imaginary
$\mathbb{M}_-,\mathbb{M}_+$	Material (anti-Hermitian) and informational (Hermitian) sectors
$\mathbb{C}_{\mathbb{B}}=\mathrm{span}_\mathbb{R}\{e_0,ie_0\}$	Center; home of the Stueckelberg scalar
$\tilde{A}\in\mathbb{M}_-$, $\tilde{A}'=\tilde{A}-\tilde{\nabla}\Gamma$	Abelian connection and its gauge law
$\tilde{\sigma}=\sigma e_0\in\mathbb{C}_{\mathbb{B}}$, $\sigma'=\sigma-\Gamma$	Stueckelberg field and its shift
$B_\mu=A_\mu-\partial_\mu\sigma$	Gauge-invariant combination
$\mathcal{L}_{\mathrm{S}}=-\tfrac14F_{\mu\nu}F^{\mu\nu}-\tfrac12\mu^2B_\mu B^\mu$	Stueckelberg Lagrangian
$\mu$	Stueckelberg mass (a parameter)
$\partial_\mu F^{\mu\nu}-\mu^2B^\nu=0$	Vector equation of motion
$\partial_\mu B^\mu=0$	Scalar equation; the divergence of the vector equation
$\sigma=0$	Unitary (Stueckelberg) gauge; reduces to Proca
$G=\partial_\mu A^\mu-\xi\mu^2\sigma$	$R_\xi$ gauge-fixing condition
$\sigma=\phi/\mu$	Canonical normalization of the scalar
$D_{\mu\nu}(p)=\dfrac{i}{p^2-\mu^2}\left(\eta_{\mu\nu}-\dfrac{(\xi-1)p_\mu p_\nu}{p^2-\xi\mu^2}\right)$	Vector propagator in the $R_\xi$ gauge; Proca at $\xi\to\infty$
$m_\sigma^2=\xi\mu^2$	Gauge-dependent scalar mass
$V=\beta(\varphi^*\varphi-v^2/2)^2$, $\vert\varphi\vert=v/\sqrt2$	Abelian Higgs potential and vacuum value
$\mu=\kappa v=qv/\hbar$	Higgs origin of the mass; $\kappa=q/\hbar$
$m_h^2=2\beta v^2$	Radial-mode mass
$\varphi=\rho e^{i\vartheta}$, $\vartheta=-(\mu/v)\,\sigma$	Polar form; $\sigma$ the Stueckelberg field
$\eta_{\mu\nu}=\mathrm{diag}(-1,+1,+1,+1)$	$ict$ metric (level 2)
$\mathrm{Tr}(\tilde{P}\tilde{H})=2\,\mathrm{Sc}(\tilde{P}\tilde{H})$	Informational trace formula, distinct from the matrix trace