Manuscript X-E@1 · X-E.tex · proposition · 293fae6a
Proposition: No compactly supported residual gauge
E3: the quadratic operator, its inverse, and the residual algebra › Residual algebra and the action of · lines 1098–1119 · proof included or linked
X-E@1#prop:residual
For a vector field , . Hence iff is a Killing field of . If is compactly supported, this forces . Consequently
and the frozen algebra acts on the gauge-fixed free graviton only as a background transformation of , never as a residual symmetry of .
Proof. and commutes with , , and ; so . is invertible, so the kernel condition is . A compactly supported Killing field of Minkowski space vanishes, so with compactly supported, and Cauchy uniqueness gives .
Displayed formulas in this passage
unlabeled · line 1104