Manuscript XI-A@1 · XI-A.tex · lemma · b8211ecc
Lemma: Kinetic sign
One action, one gauge-fixing term, and two sign checks › Explicit quadratic action · lines 529–546 · proof included or linked
XI-A@1#lem:TT
For , , and , the quadratic density becomes
Its time-derivative term has the same sign as .
Proof. The trace and divergence terms in (eq:FP) vanish. Raising both spatial indices contributes two minus signs, so . The stated expression follows.
Displayed formulas in this passage
unlabeled · line 533