Manuscript XI-F@2 · XI-F-v2.tex · lemma · f4899be0
Lemma: Homogeneous reduction of the cubic source
F1: the cubic kernel at the initial surface › Two tools · lines 715–751 · proof included or linked
XI-F@2#lem:ADM, XI-F@2#eq:J300
Let and on an open set . Then on ,
with spatial traces and contractions taken with , and .
Proof. On the metric is with . The nonzero Christoffel symbols of XI-A's convention are and . Direct substitution into gives , with , and , so that and
Since and , and for every ; hence . Expanding and gives , , and , so . Thus and . The signature does not affect ; the Friedmann check for confirms the sign.
Displayed formulas in this passage
XI-F@2#eq:J300 · line 719
unlabeled · line 739