Take the divergence of the Ampère-Maxwell equation and use that the divergence of a curl is zero:
The last step uses Gauss's law. Thus the charge continuity equation is exactly
For a direct justification that this four-current is a four-vector, take one locally comoving population of electric charges, with rest charge density and four-velocity . Invariance of electric charge and length contraction give and , hence . Summing populations preserves the four-vector rule. In particular, and . The Lorentz invariance of its four-divergence then explains why charge conservation holds in every inertial frame. A single zero-divergence condition alone would not determine a field's transformation law; the physical charge density and current density provide the additional content.
Use and Minkowski metric , with the wave speed equal to one. Regarding as a scalar field, the symmetric canonical stress-energy tensor is
It obeys on the wave equation. For a scalar field the intrinsic spin current vanishes. The total orbital Lorentz current and its integrated angular-momentum tensor are
Because there is only one spatial dimension, its only independent possibly nonzero component is
where . The corresponding flux is . Symmetry and conservation of give
Thus is conserved provided the boundary flux vanishes and the integrals exist. For example, localized wave packets on an infinite line have this property. One can also check directly that , so the two terms in have cancelling derivatives.
The significance is the boost charge of a one-dimensional scalar field. There is no independent spatial rotation or ordinary spatial angular-momentum component in one dimension. Instead, the action has the mathematical Lorentz invariance of a massless wave field with invariant speed , and generates its boost. Its conservation says that the center of energy moves uniformly. This is a symmetry of the ideal wave-field model, rather than an assertion of fundamental vacuum Lorentz symmetry for a material rod. Fixed boundaries can break it, and a general solution with nonvanishing boundary flux need not conserve the integrated charge.
Goldstone's theorem states that a spontaneously broken continuous internal global symmetry in field theory of a local relativistic quantum field theory produces massless Goldstone bosons. For a Lorentz invariance vacuum breaking to its stabilizer , there are independent symmetry-required massless directions. Additional accidentally massless modes are possible. A gauge redundancy does not obey this physical-state counting, and nonrelativistic systems need not have one independent mode per broken generator.
For the classical proof, consider real scalar fields with a positive canonical kinetic term and an invariant smooth scalar potential . An infinitesimal generator satisfies
Let be a stationary vacuum and differentiate this identity with respect to . At , the term proportional to vanishes, leaving
The Hessian matrix is the scalar mass matrix. An unbroken generator has ; broken generators span the tangent space of the vacuum manifold . Each independent nonzero tangent vector is a zero eigenvector of . The quadratic Euler-Lagrange equations in these directions are , giving the massless dispersion relation . This proves the classical result and explains why the Goldstone bosons describe motion along the degenerate minima rather than against a restoring curvature.
All daughter particles are massless, so the parent mass supplies the only kinematic scale at tree level. Each vertex has two derivatives, making its scattering amplitude scale as . For the four- vertex, symmetrizing over the derivative-bearing legs yields a sum of pairwise four-momentum products, which is proportional to by four-momentum conservation.
For massless daughters, the Lorentz invariance Lorentz-invariant phase-space measure scales as : each contributes two powers and the four-dimensional Dirac delta removes four powers. Including the parent factor gives . Thus
The unspecified factors are dimensionless angular integrals and identical-particle factors. Each result has mass dimension one, as a decay width must in natural units.
Work in the parent rest frame, . For massless daughters, the spatial Dirac delta fixes and . The Lorentz invariance two-body Lorentz-invariant phase-space measure becomes
The factor in the last step is the Jacobian of the energy-conservation Dirac delta. Consequently the labelled two-body decay width is
For two identical final particles, the full angular integral counts each unordered final state twice, so the physical decay width includes an additional factor . This factor is needed for both channels in part e; it is separate from any vertex combinatorics already included in the Feynman rule.
The real scalar field action has spacetime translations and Lorentz invariance, together giving Poincaré symmetry. With a real scalar transformation law it also has parity and time reversal. A generic polynomial potential has no continuous internal symmetry. The additional field reversal is a symmetry precisely when every nonzero odd-power coupling vanishes. The free massless special case also admits a constant shift of ; generic interactions remove it.
In mass units, and the dimensionless action requires . Normalizing the kinetic term fixes the classical mass dimension of the scalar field:
For each interaction, , so
These are classical or engineering scaling dimensions; quantum corrections can change the scaling of operators and couplings. The scale transformation prescribed later has field weight one, which equals this canonical weight only at .
The joint energy-momentum spectrum lies in the closed forward light cone. In axiomatic quantum field theory, this condition permits analytic continuation of Wightman functions in suitable complex spacetime domains. Together with Lorentz invariance, microcausality and the positivity of the physical state space, it is one of the hypotheses behind the CPT theorem.
Scalar-valued function Created 2026-10-18 Updated 2026-10-20
A scalar-valued function is a function whose codomain is a field, typically the real numbers or complex numbers. Its output is a single scalar, while its input can belong to an arbitrary set. For example, the square of the norm of a vector is real-valued. In a relativistic application, being scalar-valued alone does not establish Lorentz invariance: the transformation of the input and of the complete quantity must also be specified.
For electromagnetic deep inelastic scattering with an unpolarized target, Lorentz invariance, parity and current conservation leave two independent deep-inelastic structure functions. With and , both tensor structures are transverse to . Terms with a free index disappear on contraction with a conserved leptonic tensor, although such terms can still be necessary to make the full hadronic tensor transverse.
For a massive spin-zero one-particle state with covariant normalization and a Lorentz scalar field, Lorentz invariance makes independent of the on-shell four-momentum within a fixed species. A Lorentz boost to the rest frame, invariance of the vacuum state and scalar transformation at the origin prove this. Translation covariance of a quantum field then supplies the plane-wave factor. With noncovariant normalization, the boost law and the displayed momentum independence acquire energy factors.