Manuscript X-A-conv-ST@1 · X-A-conv-ST.tex · section · 8ca47088

The independent action identity

Strict positivity and the evaluated classical obstruction › The independent action identity · lines 996–1008

For the scalar sign check alone,

δ^{(0)}_{ξ} \int g ℓ_{sc, 1} + δ^{(1)}_{ξ} S_{sc, 0} = \int (g - 1) (□_{η} ϕ) X_{ξ} ϕ + \int (\partial_{μ} g) T^{μν} ξ_{ν} = 0.

The calculation is off shell and retains its switch terms.

Displayed formulas in this passage

unlabeled · line 999
$δ^{(0)}_{ξ} \int g ℓ_{sc, 1} + δ^{(1)}_{ξ} S_{sc, 0} = \int (g - 1) (□_{η} ϕ) X_{ξ} ϕ + \int (\partial_{μ} g) T^{μν} ξ_{ν} = 0.$