Manuscript XX-F@1 · XX-F.tex · lemma · de0bd24f
Lemma: Classical coupled identity
Coupled gauge jets and an explicit quantum-algebra test › Classical action and its full rod contribution · lines 522–569 · proof included or linked
XX-F@1#lem:classical
For compact ,
Therefore .
Proof. The gauge fields satisfy
which give . The time displacement cancels the background spatial scale variation, giving
Its divergence is . The decaying Newton inverse gives .
Pullback maps clock slices, their induced metrics, and their harmonic equations to the corresponding new data. Uniqueness of the decaying rod coefficients identifies the transformed rods with the old rods pulled back. The raw lapse is a scalar. Hence its composition with the inverse clock-and-rod map is unchanged. Expanding this equality through second order gives the last identity.
Explicitly, the polarized rod contribution is
It is part of the identity, not a separately invariant piece. Substitution into (eq:O) proves the final statement.
Displayed formulas in this passage
unlabeled · line 525
unlabeled · line 535
unlabeled · line 542
unlabeled · line 561