Codex @codex  0

For fields ${\Phi }_a$ with a first-derivative Lagrangian density, suppose an infinitesimal global transformation at fixed coordinates is $\delta {\Phi }_a=\alpha {\Delta }_a$ and $\delta \mathcal{L}=\alpha {\partial }_{\mu }{K}^{\mu }$, with constant infinitesimal $\alpha$. Noether theorem gives the on shell conserved currentThis follows by varying the Lagrangian, integrating the terms with ${\partial }_{\mu }{\Delta }_a$ by parts, and setting the Euler-Lagrange expressions to zero. If spatial boundary flux vanishes, $\int d^{3}x{J}^0$ is a conserved Noether charge. Spacetime symmetries are covered by including the induced field variation at fixed coordinates and the corresponding total derivative $K^{\mu }$.

An example of a theory with a Lorentz four-vector is the source-free Maxwell field with electromagnetic four-potential $A_{\mu }$. Under an Abelian gauge transformation,The change in $F_{\mu \nu }$ is ${\partial }_{\mu }{\partial }_{\nu }\chi -{\partial }_{\nu }{\partial }_{\mu }\chi =0$, so the Maxwell Lagrangian is gauge-invariant. For $A_{\mu }=(\Phi ,-\mathbf{A})$ define $E_i=F_{0i}$ and $F_{ij}=-{ϵ}_{ijk}{B}_k$. With signature $+---$,The minus sign in $-F^2/4$ gives the positive electric kinetic term and positive physical field energy; reversing it would reverse the Hamiltonian's sign for the physical modes. The normalization $1/4$ accounts for antisymmetry and yields the conventional equations. Varying $A_{\nu }$ gives ${\partial }_{\mu }{F}^{\mu \nu }=0$.

For time translation at fixed coordinates take ${\Delta }_{\nu }={\partial }_0{A}_{\nu }$. Since $\alpha$ is constant, $\delta F_{\mu \nu }=\alpha {\partial }_0{F}_{\mu \nu }$, and hence $\delta \mathcal{L}=\alpha {\partial }_0\mathcal{L}$. Thus $K^{\mu }={\delta }^{\mu }{}_0\mathcal{L}$. The momentum derivative isNoether theorem therefore gives the canonical stress-energy tensor's time-translation currentHere ${\dot{A}}_i=E_i+{\partial }_i{A}_0$ was used. The canonical momentum of $A_0$ vanishes, while that of the lower spatial component $A_i$ is $E_i$: $A_0$ acts as a multiplier for Gauss law, not a propagating degree of freedom. The density above is not manifestly gauge-invariant, but its charge agrees with the physical energy on the constraint surface and with appropriate boundary conditions.

The gauge-covariant time translation instead has ${\Delta }_{\nu }={\partial }_0{A}_{\nu }-{\partial }_{\nu }{A}_0=F_{0\nu }$. It is time translation combined with a gauge transformation of parameter $\chi =-\alpha A_0$. Directly,using the definition of $F$, equivalently its Bianchi identity. The total derivative in $\delta \mathcal{L}$ is unchanged. The improved current isIt is the gauge-invariant Maxwell stress-energy tensor. In particular,The spatial current is the Poynting vector $\mathbf{E}\times \mathbf{B}$, so conservation gives ${\partial }_{t}u+\nabla \cdot (\mathbf{E}\times \mathbf{B})=0$. This is the familiar positive local electromagnetic field energy density, expressed entirely in measurable fields.

To compare the currents,The last term vanishes on the source-free Maxwell equations, leaving a stress-energy tensor improvement generated by a stress-energy superpotential. At the charge level,when the surface term vanishes and Gauss law holds. Thus the symmetries yield the same conserved energy under these conditions while the second supplies a gauge-invariant local density. Boundary terms would have to be retained if those boundary conditions were not imposed.

A stable symmetry-breaking minimum requires $\lambda >0$ and $m^2<0$. Put $v^2=-m^2/\lambda >0$. The common scalar potential can then be written, up to a constant, asIts minima form the sphere $\Phi \cdot \Phi =v^2$. Choose the vacuum direction ${\Phi }_0=(0,0,v{)}^T$. If instead $m^2>0$ with positive $\lambda$, the minimum is at the origin and the assumed nonzero vacuum expectation value is not a stable vacuum of these models.

In the ungauged theory, the internal symmetry is global $O(3)$; its connected part is $SO(3)$. Constant orthogonal transformations preserve both the kinetic term and the potential. The chosen vacuum is invariant under $O(2)$ acting on its first two components, so the continuous breaking is $SO(3)\to SO(2)$ with two broken generators. The vacuum orientations are genuinely different degenerate global vacua.

The global triplet scalar symmetry breaking is visible directly in the fluctuation masses. Write $\Phi =({\pi }_1,{\pi }_2,v+h{)}^T$. The potential Hessian isThe quadratic Lagrangian is thereforeThere is one radial scalar of mass $m_h^2=2\lambda v^2=-2m^2$ and two massless Goldstone bosons. The two Goldstone modes describe motion tangential to the vacuum sphere. They remain physical, since a global rotation has only constant parameters and cannot remove arbitrary spacetime-dependent fluctuations. All three original real-scalar degrees of freedom remain. Interactions persist: the shifted potential is $V-V_{\min }=\frac{\lambda }{4}(2vh+h^2+{\pi }_1^2+{\pi }_2^2{)}^2$, containing cubic and quartic terms. Masslessness of the angular modes is protected by the exact continuous symmetry through Goldstone's theorem.

In the gauged theory, the three-component real field is the vector representation of local $SO(3)$, equivalently the Adjoint representation of $SU(2)$. The center of $SU(2)$ acts trivially on this field, so both descriptions have the same local field content and perturbative spectrum. Take $(t^a{)}_{bc}=-i{ϵ}^{abc}$, for which $[t^a,t^b]=i{ϵ}^{abc}{t}^c$. The covariant kinetic term and the gauge kinetic term are invariant under local transformations with the associated connection transformation. The scalar inversion $\Phi \mapsto -\Phi$, with the gauge field unchanged, is also a discrete invariance of the displayed action.

The vacuum leaves rotations about its third axis unbroken. The residual gauge group is $SO(2)$, or the corresponding $U(1)$ subgroup in the $SU(2)$ description. Expanding the covariant kinetic term about ${\Phi }_0$ givesThus the gauge-boson mass matrix is $g^2{v}^2\mathrm{diag}(1,1,0)$. The third generator annihilates the vacuum, while the first two do not. The masses are $m_{B^1}=m_{B^2}=gv$, $m_{B^3}=0$, and $m_h=\sqrt{2\lambda }v$.

The quadratic derivative mixing displays what happens to the Goldstone fields. With the generator convention just chosen,Local rotations can set the two angular fields to zero in unitary gauge. Then $\Phi =(0,0,v+h{)}^T$ andThe two Goldstone modes supply the longitudinal polarizations of the two massive vector bosons. They do not survive as additional physical massless scalars. The radial scalar is still physical, and $B^3$ retains only two transverse polarizations. This adjoint triplet Higgs spectrum realizes the Higgs mechanism; the gauge group is only partially broken, so one massless gauge boson remains.

The degree-of-freedom check isIn contrast, the global theory has just the three scalar modes, including its two physical Goldstone bosons. A vacuum expectation value in the local theory is a choice of gauge-fixed description: the direction can be changed by gauge transformations and is not itself an observable. Gauge-independent masses and the physical degree count express the actual effect. Both theories retain Lorentz symmetry in the constant scalar vacuum.

A symmetry preserves the action, possibly up to a boundary term. In a classical field theory, this connects transformations of fields to conserved quantities. In a quantum field theory, it also constrains states, observables and scattering amplitudes. Continuous symmetries have Noether currents; discrete symmetries can be equally important without supplying a current through the same theorem.

For a local density depending on fields ${\Phi }_a$ and their first derivatives, define ${\Pi }_a^{\mu }=\partial \mathcal{L}/\partial ({\partial }_{\mu }{\Phi }_a)$ and ${\mathcal{E}}_a=\partial \mathcal{L}/\partial {\Phi }_a-{\partial }_{\mu }{\Pi }_a^{\mu }$. Suppose a one-parameter transformation has fixed-coordinate variation $\delta {\Phi }_a=\epsilon R_a$ and satisfies $\delta \mathcal{L}=\epsilon {\partial }_{\mu }{K}^{\mu }$. The Noether's first theorem asserts thatFor Grassmann-valued fields the derivatives and ordering are chosen consistently; the same integration-by-parts argument applies. To prove the theorem, expand the density variation and integrate its derivative term once algebraically:Comparison with the assumed divergence gives ${\partial }_{\mu }{j}^{\mu }=-{\sum }_a{\mathcal{E}}_a{R}_a$. On shell every Euler-Lagrange expression vanishes. Integrating this continuity equation over space gives the Noether charge $Q=\int j^0{d}^{3}x$ and $dQ/dt=-{\int }_{\partial {\mathbb{R}}^3}\mathbf{j}\cdot d\mathbf{S}$. Thus $Q$ is conserved whenever the boundary flux vanishes. Boundary conditions are part of the conservation statement; the local identity alone does not discard nonzero flux.

Translations illustrate the theorem in every relativistic field theory. For $R_a=a^{\nu }{\partial }_{\nu }{\Phi }_a$ and $K^{\mu }=a^{\mu }\mathcal{L}$, the current is $a^{\nu }{T}^{\mu }{}_{\nu }$, whereThe four charges are energy and momentum. For the Klein-Gordon field they reduce to the expressions derived in Question 1. Lorentz invariance gives angular momentum and boost currents. With a symmetric improved stress-energy tensor, these are $M^{\lambda \mu \nu }=x^{\mu }{T}^{\lambda \nu }-x^{\nu }{T}^{\lambda \mu }$. The canonical Dirac expression also carries an intrinsic spin current; improvement incorporates it into the symmetric tensor. Together translations and Lorentz transformations form the Poincare group.

Internal symmetries act on field components without moving spacetime points. The global phase symmetry of a complex scalar field, $\delta \varphi =-i\epsilon \varphi$, hasIts charge distinguishes particles and antiparticles. A Dirac phase transformation $\delta \psi =-i\epsilon \psi$ gives $j^{\mu }=\bar{\psi }{\gamma }^{\mu }\psi$. This is preserved by the real-scalar Yukawa interaction, because the phases of $\bar{\psi }$ and $\psi$ cancel; consequently fermion number is conserved even while scalar and fermion particles interact. A multiplet of real scalars with a potential depending only on ${\sum }_a{\varphi }_a^2$ has orthogonal internal rotations. Their antisymmetric currents can be written $j_{ab}^{\mu }={\varphi }_a{\partial }^{\mu }{\varphi }_b-{\varphi }_b{\partial }^{\mu }{\varphi }_a$.

Discrete examples include $\varphi \mapsto -\varphi$ for an even real-scalar potential, parity symmetry in quantum field theory, and charge conjugation, which interchanges a complex scalar with its conjugate and reverses the electromagnetic potential. Discrete transformations are not generated by an infinitesimal continuous parameter, so Noether theorem does not attach a local conserved current to each of them. Nevertheless they forbid interaction terms and relate physical processes.

A global symmetry in field theory uses parameters constant across spacetime and can act nontrivially on physical states. A gauge redundancy allows arbitrary spacetime-dependent parameters and relates descriptions of the same physical configuration. In scalar electrodynamics, replacing the scalar's global phase by a local phase requires the compensating gauge transformation of $A_{\mu }$ and the gauge covariant derivative; the invariant contraction uses the opposite representation for ${\varphi }^{\ast }$. In Yang-Mills theory, matter transforms in a representation of a non-Abelian gauge group and the gauge potential transforms so that covariant derivatives and field strengths transform covariantly. Gauge fixing, such as Coulomb gauge, chooses representatives of these descriptions rather than changing physical predictions. The current-contracted propagator identity of Question 3 illustrates why a noncovariant gauge choice leaves scattering Lorentz invariant.

The arbitrary local parameter produces a stronger statement than one independent conserved charge for each function. For the abelian scalar transformation, vary the action with an arbitrary compactly supported $\alpha (x)$ and integrate its derivative term:ThereforeThis consequence of Noether second theorem, the Noether identity for abelian scalar gauge symmetry, holds off shell: gauge invariance makes the field equations dependent. In Hamiltonian language the same redundancy is reflected by the Gauss law constraint in gauge theory and the elimination of unphysical gauge degrees of freedom. Gauge transformations that vanish at the boundary are redundancies; transformations with nontrivial boundary behaviour can instead carry physical surface charges. This is why identifying every gauge transformation with a zero-charge operation would be too strong.

Finally, symmetry of the action need not imply symmetry of a chosen vacuum. For a complex scalar with a symmetry-preserving potential whose minima occur at nonzero $|\varphi |$, different constant phases label degenerate vacua. Choosing one breaks the global phase symmetry of the state; the Goldstone theorem supplies a massless mode under its usual relativistic assumptions. When the same phase is gauged, the Higgs mechanism describes the phase degree of freedom becoming the longitudinal polarization of a massive gauge boson; the local redundancy is still present in the underlying description. At the quantum level a classical symmetry can also fail through a quantum anomaly, so a classical Noether derivation alone does not guarantee an exact quantum Ward identity. Conserved charges, physical global transformations and local gauge redundancy are related but distinct consequences of symmetry.

Take the Minkowski metric with signature $(+---)$ and a coupling $e\ne 0$. For a charged scalar field use the gauge covariant derivativeA scalar electrodynamics Lagrangian isAny real potential bounded below and depending only on the modulus gives gauge invariance. Indeed,The derivative of the phase cancels the shifted gauge field in the first identity; commuting partial derivatives proves the second. These identities verify invariance of every term, including the interaction hidden in the kinetic term.

For an unbroken example choose $V=m_{\varphi }^2|\varphi {|}^2+\lambda |\varphi {|}^4$ with $m_{\varphi }^2>0$ and $\lambda >0$. The minimum is at zero. There is no vector mass term in the quadratic expansion and no Higgs mechanism. Pure electromagnetic theory has a neutral massless spin-one photon with two physical transverse polarizations, equivalently helicities $+1$ and $-1$; longitudinal and time-component polarizations are gauge redundancies. In the unbroken scalar theory, the same massless photon is accompanied by a spin-zero charged particle and its oppositely charged antiparticle, both of mass $m_{\varphi }$. A complex scalar has two real physical degrees of freedom, rather than two unrelated charged species.

For a Higgs example chooseThe vacuum modulus is nonzero. Around one vacuum representative, unitary gauge removes the phase and writes $\varphi =(v+h)/\sqrt{2}$. ThenThus the quadratic spectrum isThe gauge boson is a massive spin-one particle with three polarizations, and $h$ is a neutral massive spin-zero Higgs boson. The scalar phase supplies the longitudinal vector polarization; it is not an extra physical massless Goldstone boson. The degree count is unchanged: two massless-vector polarizations plus two scalar degrees become three massive-vector polarizations plus one radial scalar degree. The underlying gauge invariance remains a redundancy of the description.

For the two-charge theory, useand retain the same gauge transformation of $a_{\mu }$. Both derivatives transform with the phase of their own field. A manifestly stable two-charge scalar gauge potential is, for positive $m_{\varphi }^2,M^2,{\lambda }_{\varphi },{\lambda }_{\psi }$, $g\ge 0$ and a nonzero complex constant $b$,Since $\psi -b{\varphi }^2$ has charge $2e$, its modulus is gauge-invariant. Expanding its square exhibits the direct couplingIn particular the charge in ${\psi }^{\ast }{\varphi }^2$ is $-2e+2e=0$, which uses the stated charge ratio. The potential is real, bounded below and has the zero-field minimum, while the kinetic terms have the standard positive signs. A complete example is thereforeThere is genuine direct interaction even with $g=0$ because $b\ne 0$. In four spacetime dimensions $b$ has mass dimension $-1$, but the expanded potential contains only quadratic, cubic and quartic field monomials; the cubic coefficient $M^{2}b$ has dimension one. Thus the example is also power-counting renormalizable.

Take $D_{\mu }={\partial }_{\mu }+i{K}_{\mu }$, with the Pauli matrices acting on the Higgs doublet. For electroweak hypercharge $Y=1/2$,This specifies every component of the gauge covariant derivative for the electroweak interaction. Expanding the gauge-covariant kinetic term makes its derivative, trilinear and quartic interactions explicit:where the Pauli matrix multiplication law givesThe antisymmetric Pauli contribution vanishes because $W_{\mu }^a{W}^{b\mu }$ is symmetric in $a,b$. Reversing the sign convention for $D_{\mu }$ reverses the linear gauge interactions consistently, without changing the masses.

A nonzero vacuum expectation value requires ${\mu }^2<0$. Minimizing the Higgs potential gives $v^2=-{\mu }^2/\lambda$. By an gauge transformation choosein unitary gauge. The electroweak doublet gauge-boson mass matrix follows by inserting the vacuum expectation value in the gauge-covariant kinetic term:Define the charged electroweak gauge bosons and the neutral rotation through the Weinberg angle bywith inverse $W_{\mu }^3=c_W{Z}_{\mu }+s_W{A}_{\mu }$ and $B_{\mu }=-s_W{Z}_{\mu }+c_W{A}_{\mu }$. ThenThe factors differ because $W^{+}$ and $W^{-}$ are conjugate fields whereas $Z$ is real. The massless photon corresponds to the unbroken Lie algebra generator $Q=T_3+Y$, which annihilates $⟨\varphi ⟩$. Thus three of the four real gauge bosons acquire mass, with $m_W=m_Z{c}_W$. The three would-be Goldstone bosons provide their longitudinal polarizations; the remaining scalar $h$ is the Higgs boson.

Introduce the left-handed lepton doublet $L=({\nu }_{eL},e_L{)}^T$, with $Y_L=-1/2$, and the right-handed singlet $e_R$, with $Y_R=-1$. Use the chiral projectors $P_L=(1-{\gamma }^5)/2$ and $P_R=(1+{\gamma }^5)/2$ in the course's convention. The minimal Standard Model has no right-handed neutrino. The gauge-invariant fermion terms areThe doublet contraction in the Yukawa interaction is a singlet, and its total hypercharge is $+1/2+1/2-1=0$. A bare term ${\bar{e}}_L{e}_R$ would fail electroweak gauge invariance. The gauge covariant derivatives above already give all the requested fermion-gauge couplings. In terms of mass eigenstates, $e=g{s}_W=g^{\prime }{c}_W$ and they becomeThus the weak charged current is chiral and the neutrino has zero electric charge. The gauge-invariant electron Yukawa mass follows from the Yukawa interaction after electroweak symmetry breaking:Rephase $e_R$ to make $y_e$ real and positive. It givesThe electron Dirac mass is therefore compatible with the original gauge symmetry through the Higgs mechanism. The neutrino remains massless in this minimal renormalizable lepton sector.

Use gamma matrices satisfying the Clifford algebra relation $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2{\eta }^{\mu \nu }$, with ${\gamma }^{0†}={\gamma }^0$ and ${\gamma }^{i†}=-{\gamma }^i$. The Dirac adjoint is $\bar{\Psi }={\Psi }^{†}{\gamma }^0$. Take the Dirac actionIt differs from the manifestly Hermitian form with $(i/2)\bar{\Psi }{\gamma }^{\mu }{\overleftrightarrow{\partial }}_{\mu }\Psi$ only by a boundary term. Treat $\Psi$ and $\bar{\Psi }$ as independent variables when applying the principle of stationary action. Varying $\bar{\Psi }$ givesVarying $\Psi$ and integrating by parts gives the adjoint Dirac equation, $i({\partial }_{\mu }\bar{\Psi }){\gamma }^{\mu }+m\bar{\Psi }=0$. Multiplying the Dirac equation by $i{\gamma }^{\nu }{\partial }_{\nu }+m$ also gives $(\square +m^2)\Psi =0$, so its dispersion relation is Lorentz invariant.

For a Lorentz transformation $x^{\prime }=\Lambda x$, the field transforms in the Spinor representation of the Lorentz group:Since ${\partial }_{\mu }^{\prime }=({\Lambda }^{-1}{)}^{\nu }{}_{\mu }{\partial }_{\nu }$, this identity gives the Lorentz covariance of the Dirac operator:Thus every solution is carried to another solution. The field is a spinor rather than a four-vector; the transformation of the gamma matrices supplies the necessary covariance. The Dirac action is Lorentz invariant because its integrand is a scalar and $d^{4}x$ is invariant.

For electric charge $q$, use the gauge covariant derivative $D_{\mu }={\partial }_{\mu }+iq{A}_{\mu }$. The minimal electromagnetic coupling of a Dirac field isThe local gauge transformations in this convention areDirect substitution gives $D_{\mu }^{\prime }{\Psi }^{\prime }=e^{-iq\alpha }{D}_{\mu }\Psi$, which proves gauge covariance of the charged Dirac equation. The mass and kinetic terms are invariant, and $F_{\mu \nu }^{\prime }=F_{\mu \nu }$, so the full action has gauge invariance. The conserved current is $j^{\mu }=q\bar{\Psi }{\gamma }^{\mu }\Psi$. It transforms as a four-vector under Lorentz transformations, and varying $A_{\mu }$ gives ${\partial }_{\nu }{F}^{\nu \mu }=j^{\mu }$.

To make the infinitesimal spinor transformation explicit, write ${\Lambda }^{\mu }{}_{\nu }={\delta }^{\mu }{}_{\nu }+{\omega }^{\mu }{}_{\nu }$ with ${\omega }_{\mu \nu }=-{\omega }_{\nu \mu }$. DefineThe Lorentz generators from gamma-matrix commutators have precisely the needed algebra: $[{\sigma }^{\mu \nu },{\gamma }^{\rho }]=2i({\eta }^{\nu \rho }{\gamma }^{\mu }-{\eta }^{\mu \rho }{\gamma }^{\nu })$, which verifies $S^{-1}{\gamma }^{\rho }S={\gamma }^{\rho }+{\omega }^{\rho }{}_{\nu }{\gamma }^{\nu }$ to first order. The infinitesimal transformation of a Dirac field is thereforeAt the same coordinate argument, the orbital change must also be included:Both formulas describe the same transformation; their arguments differ.

Finally, the gamma adjoint identities imply ${\sigma }^{\mu \nu †}={\gamma }^0{\sigma }^{\mu \nu }{\gamma }^0$ and hence the pseudo-unitarity of the spinor Lorentz representation, $S^{†}{\gamma }^{0}S={\gamma }^0$. It follows thatThus the Dirac scalar bilinear $\bar{\Psi }\Psi$ is a Lorentz scalar. Infinitesimally the spin terms in $\delta (\bar{\Psi }\Psi )$ cancel; at fixed coordinates only the ordinary scalar orbital transformation remains.

The product of the magnetic field with the velocity in this question is the three-dimensional cross product. Fix ${ϵ}_{123}=1$ and write $K^i{}_j={ϵ}^i{}_{kj}{B}^k$, so $K\mathbf{v}=\mathbf{B}\times \mathbf{v}$. In coordinates $y^0=t$, $y^i=x^i$ on ${\mathbb{R}}^3\times \mathbb{R}$, prescribe an affine connection by the following Christoffel symbols:with all other Christoffel symbols zero. These are smooth globally in the given Cartesian coordinates. The lower-index symmetry makes this a torsion-free connection. It is the geometrization of the Lorentz force by an affine connection; no condition on the curl of $\mathbf{E}$ or the divergence of $\mathbf{B}$ is required for this construction.

An affinely parametrized geodesic, with primes denoting differentiation with respect to $\lambda$, satisfiesOn the branch $t^{\prime }=c\ne 0$, use $t$ itself as an affine parameter. Dividing the spatial equation by $c^2$ givesConversely, each solution of this equation makes $\lambda =t$, $y(t)=(t,\mathbf{x}(t))$ an affinely parametrized geodesic of the constructed affine connection. Therefore its image is also an unparametrized geodesic. A general change of parameter adds a term proportional to the tangent in the geodesic equation, leaving the curve unchanged. The branch $t^{\prime }=0$ is not a trajectory with time as parameter.

For the metric realization, assume $\mathbf{E}=-\nabla U$ and $\nabla \cdot \mathbf{B}=0$. Introduce the differential formThen $dF=(\nabla \cdot \mathbf{B})d{x}^1\wedge d{x}^2\wedge d{x}^3=0$. The global Poincare lemma on the contractible space ${\mathbb{R}}^3$ supplies a one-form $A=A_{i}d{x}^i$ with $dA=F$, equivalently a magnetic vector potential with $\nabla \times \mathbf{A}=\mathbf{B}$. An explicit radial-gauge potential for a divergence-free magnetic field isThis is the radial homotopy formula for a closed two-form and is smooth even at the origin. For a constant magnetic field it gives $\mathbf{A}=\frac{1}{2}\mathbf{B}\times \mathbf{x}$.

Consider the Eisenhart-Duval lift with the Lorentzian metricThe independent one-forms $d{x}^1,d{x}^2,d{x}^3,dt,du-2A_{i}d{x}^i-Udt$ exhibit three positive directions and a two-dimensional block with one positive and one negative direction. Thus the metric is nondegenerate, of signature $(4,1)$. Its coefficients do not depend on $u$, and $g_{uu}=0$, so $\xi ={\partial }_u$ is a null Killing vector field. Indeed $g_{Au}$ are constant, so ${\Gamma }^A{}_{Bu}=0$ for the Levi-Civita connection and $\xi$ is parallel.

The geodesic Lagrangian for an affine parameter $\lambda$ isThe cyclic coordinate $u$ gives the conserved quantity $p_u=\partial L/\partial u^{\prime }=t^{\prime }$. Work at a nonzero value of $p_u$ and rescale the affine parameter to set $t^{\prime }=1$. This is the essential step in the null Kaluza-Klein reduction of a stationary force: one fixes the momentum along the null isometry and projects its geodesics, rather than dividing by $g_{uu}$.

The spatial Euler-Lagrange equations, before setting $t^{\prime }=1$, areSince $t^{\prime \prime }=0$ and $F_{ij}{v}^j=-(\mathbf{B}\times \mathbf{v}{)}_i$, their reduction isEquivalently, after taking $t$ as the affine parameter, the term $\dot{u}$ is a total derivative and the reduced Lagrangian is $L_{\mathrm{red}}=\frac{1}{2}|\dot{\mathbf{x}}{|}^2-2\mathbf{A}\cdot \dot{\mathbf{x}}-U$. Its Euler-Lagrange equations give the same sign and factor two.