Manuscript X-F-ST@1 · X-F-ST.tex · lemma · e71f03ef
Lemma: Retained first variation and free normalization
The retained action and the invariant-jet boundary · lines 549–598 · proof included or linked
X-F-ST@1#lem:action, X-F-ST@1#eq:Eexp
Let , regarded as an -valued density. Then
The quadratic transverse-traceless spatial action is
In particular its kinetic sign is positive.
Proof. The Palatini identity , together with and , gives the first formula. Differentiating it once at gives the quadratic action and its symmetric Hessian. On trace-free, divergence-free spatial fields ; integration by parts gives the last display.
Displayed formulas in this passage
X-F-ST@1#eq:Eexp · line 554
unlabeled · line 574