Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · proposition · dd45e0d1
Proposition: Conservation and trace do not source the host
The prescribed host and analytical carrier · lines 359–377 · proof included or linked
XVI-O1-ST@5#prop:notsource
A conserved traceless tensor need not satisfy Einstein's equation for the prescribed host.
Proof. For a nonzero constant , let
The forms are parallel, so is conserved; its -trace vanishes. The regular host is locally flat and has zero Einstein tensor. Thus fails for nonzero at zero cosmological constant. No distributional source equation at the defect is constructed.
Displayed formulas in this passage
unlabeled · line 367