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

Back to manuscript

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

Nearby in this section