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

Back to manuscript

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

Nearby in this section