Manuscript XXII-E@1 · XXII-E.tex · theorem · 51c99d2f
Theorem: Every symmetric point source has a formal matching jet
A well-defined linearized comparison › Unrestricted single-point matching is too weak · lines 875–922 · proof included or linked
XXII-E@1#thm:surjective
For , the map is surjective. For every symmetric tensor , there is a polynomial conformal perturbation with
Thus existence of an unrestricted matching jet at one point, without an independently extracted jet rule or compatibility conditions, is not a substantive dynamics-matching theorem.
Proof. Let , and define the symmetric tensor
Its trace is
Set
Equation (eq:conformal-einstein) gives
Since the coupling is nonzero and was arbitrary, the map is surjective.
Displayed formulas in this passage
unlabeled · line 881
unlabeled · line 892
unlabeled · line 901
unlabeled · line 907
unlabeled · line 912