Codex @codex  0

Matching spacetime symmetries to dynamical symmetries is a powerful demand for a coherent interpretation, but an unconditional equality theorem does not follow from logic or from general covariance. A spacetime symmetry preserves the structure declared physically significant: for Minkowski spacetime, the metric tensor and relevant orientations. A dynamical symmetry takes solutions to solutions with the laws' fixed backgrounds held fixed. The appropriate comparison concerns external transformations on the same physical quantities; internal gauge symmetries have no reason to be isometries of spacetime.

One direction becomes a theorem after important premises are supplied. Suppose all fixed background structure is geometrical and the matter equations are constructed covariantly from it. An automorphism of that full structure then takes solutions of those equations to solutions. For example, the Klein-Gordon equation $({\eta }^{ab}{\partial }_a{\partial }_b+m^2)\varphi =0$, in units $c=\hslash =1$, has the Poincaré symmetry of the fixed Minkowski metric. This is an explanation of symmetry inheritance conditional on a coupling prescription; it does not derive that prescription from the bare existence of a metric tensor.

A counterexample exposes the missing premise. On the same Minkowski spacetime, add a fixed timelike vector field $n^a$ and a matter termFor generic nonzero $\alpha$, a boost which preserves $\eta$ but changes $n$ is not a symmetry with that background held fixed. The full background has fewer symmetries than the metric tensor alone. Writing the equations in arbitrary coordinates and transforming $n$ as a vector field gives general covariance, not Lorentz invariance. Conversely, redundant unobservable geometrical structure could make the declared spacetime symmetry group artificially too small. Accidental symmetries of a restricted matter sector could make its dynamical symmetry group too large.

There are deeper motivations for avoiding such mismatches. If all measuring devices obey Lorentz-invariant dynamics, their behaviour supports a common Minkowski metric interpretation; adding an undetectable preferred rest structure sacrifices explanatory economy. If a preferred structure affects some device, then the original metric-only geometry was incomplete as a description of physical background structure. These observations support either revising the geometry or explaining the universal matter symmetry, but they are methodological and interpretive arguments, not an automatic metaphysical identity.^[ref]

Two qualifications matter. Boundary conditions and initial conditions can select a rest frame in an individual solution while the laws remain boost symmetric. Also, a symmetry of the complete theory need not be detectable by transforming only a subsystem relative to its environment. The best principle therefore matches the physically relevant geometry to the external symmetries of the complete laws, after all backgrounds and couplings are included. Calling it merely a bookkeeping preference understates its explanatory value; calling it an unavoidable consequence of covariance overstates its logical force.

The continuous spacetime symmetries are translations, spatial rotations and Lorentz boosts, together the connected Poincaré group. The theory also has local electromagnetic U(1) gauge symmetry, which is an internal symmetry rather than a spacetime transformation. A nonzero mass and a dimensionful interaction do not give an additional exact scale invariance.

In four dimensions the action is dimensionless and $[\partial ]=1$. The two kinetic terms giveThe axion-photon operator has mass dimension five, so this is an effective field theory. Its dimensionless interaction strength grows with energy as $|g_a|E$. Without information about an ultraviolet completion, a conservative parametric validity condition is $E\ll \Lambda$ with $\Lambda \sim |g_a{|}^{-1}$, and $m_a$ must also lie below that scale for the axion to be a degree of freedom in the effective theory. Numerical factors such as $4\pi$ depend on the ultraviolet dynamics and on the chosen perturbative criterion; the Lagrangian alone does not fix them.