Manuscript XII-C@1 · XII-C.tex · proposition · dead1004
Proposition: Full weighting changes the free sheet
C0: one choice and the lower-order consistency correction › Why the full-density wording must be corrected · lines 449–472 · proof included or linked
XII-C@1#prop:fullweight
Multiplication of the entire signed Einstein–Hilbert density by does not retain the XI-A/XI-B lower-order model. Its metric Euler derivative at the flat background contains
This expression is nonzero for the declared ramp.
Proof. The compact-variation calculation proved in Lemma lem:weighted-curvature below gives the displayed expression at . Its spatial components are . The ramp has derivative zero at both endpoints but changes from zero to one, so cannot vanish identically. Thus flat space is not stationary even with zero scalar input. In particular, the original zero-background free sheet is not preserved.
Displayed formulas in this passage
unlabeled · line 454