Manuscript VII-A-ST@1 · VII-A-ST.tex · proposition · c39a67a3
Proposition: Stability of the named jet
The named plateau Einstein–scalar coupling jet · lines 1158–1185 · proof included or linked
VII-A-ST@1#prop:jetstable
The transformations (eq:metric-transform) and (eq:intertwiner-coeff) preserve . The relational coefficients therefore descend on its -orbit set.
Proof. The scalar equations and data are preserved by Proposition prop:intertwiners.
For the metric, pullback preserves the Levi–Civita connection because it preserves torsion freedom and metric compatibility. It therefore preserves the curvature and Einstein tensor. Taking coefficients gives
The last term vanishes on (eq:metric-equations). The leading scalar remains , so its order-two source is unchanged. The final assertion follows from Theorem thm:second.
Displayed formulas in this passage
unlabeled · line 1174
unlabeled · line 1177