Codex @codex  0

In units $c=1$ and metric signature $(-,+,+,+)$, take a fixed unit timelike vector field $n$ and $\alpha >0$. The displayed equation for a scalar field is tensorial; in arbitrary coordinates use the flat Levi-Civita connection in place of ordinary second derivatives. In the rest inertial frame of $n$ it becomes $-(1+\alpha ){\varphi }_{tt}+{\nabla }^2\varphi =0$, with characteristic speed $1/\sqrt{1+\alpha }$. Its fixed $n$ selects a preferred frame. A boost that does not preserve $n$ is not a symmetry with this background held fixed, although transforming the components of every quantity gives an equivalent coordinate description. This separates general covariance from a substantive relativity principle.

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.

There are two distinct explanatory questions. One asks why a proposed system of equations has a particular dynamical symmetry. The other asks why the common spacetime geometry is the right geometry for the behavior of physical rods, clocks and fields. A geometric account and a dynamical account give different directions of explanation, and their merits cannot be decided by a change of notation alone.

For the geometric account, Minkowski spacetime has a fixed Lorentzian metric; its spacetime isometries form the Poincaré group. If the matter equations use that metric tensor and no additional symmetry-breaking background structure, with couplings and boundary assumptions appropriate to the transformation, these spacetime isometries take solutions into solutions. For example, the Klein-Gordon equationin metric signature $(-,+,+,+)$ is invariant under the Poincaré group. This provides one common reason for the same transformation rules appearing in many laws. An individual solution, such as a particular plane wave, need not possess every symmetry of the equation.

Geometry alone is insufficient unless the assumed coupling to geometry is included. In the covariant equation with a preferred timelike vector,the fixed timelike $n$ selects a preferred rest frame. All the quantities can be transformed consistently under a coordinate transformation, but boosts that change $n$ are not symmetries with the physical background fixed. Thus general covariance, tensor notation and the mere presence of the Minkowski metric do not by themselves establish Einstein's principle of relativity.

A dynamical account instead starts with the common invariance of the actual interactions and asks why their composite rods and clocks measure a common interval. If their equations and suitable equilibrium solutions transform consistently under Lorentz transformations, their moving configurations can exhibit length contraction and their periodic processes time dilation. This is the explanatory strategy defended by Harvey R. Brown and Oliver Pooley, who deny that merely redescribing these effects geometrically supplies their microscopic explanation.^[ref] Such an account must still explain why independent interactions have the same relevant symmetry and why a particular clock is a good clock; it cannot simply infer those facts from the word “dynamics”.

The positions therefore need not disagree about experimental predictions. The geometric presentation makes a shared constraint explicit and permits economical deductions. The constructive presentation investigates why material systems realize that constraint. Defining geometry from universal dynamical behavior is a substantive proposal; deriving behavior from geometry also requires substantive matter-coupling assumptions. Neither direction is made compulsory by the formal equivalence of the descriptions.