Manuscript X-F-ST@1 · X-F-ST.tex · proposition · e71f03ef
Proposition: A local variational test fails for the unchanged law
A necessary distinction: source response versus variational map · lines 1079–1126 · proof included or linked
X-F-ST@1#prop:nonvariational
The source-switched mixed operator is not, for all smooth backgrounds , the Hessian of a local action on unrestricted off-shell fluctuations.
Consequently (eq:response) cannot be identified, on the stated off-shell domain, with the first variational Møller correction of an unspecified switched action merely because its unswitched source was obtained from (eq:fluctuation).
Proof. For fixed , a quadratic-action Hessian is formally self-adjoint under the tensor-density pairing. Proposition prop:Q gives
There is no general equality with .
An explicit admissible local example is . For a positive constant , the four-dimensional Einstein density obeys . Hence . The background gauge-fixing quadratic action at also scales as : its density contributes , the lower metric , and the two divergence factors . Therefore
In an open part of the ramp where ,
is a nonzero differential operator. It is detected by compact variations in that open set. Thus is not formally self-adjoint.
Displayed formulas in this passage
unlabeled · line 1097
unlabeled · line 1114
unlabeled · line 1118