Manuscript Em02-E@1 · Em02-E-v1.tex · proof · f3795050

Proof

Classical covariance and the quadratic kernel bridge › A quadratic coefficient is not separately the full gauge identity · lines 1003–1013

Back to manuscript

Proof. Differentiate

O_{f}^{'} (Γ) [L_{ξ} Γ] = 0

first at $Γ_{0}$ , and then in direction $η$ . The first derivative gives the first identity. The direction derivative gives the second, since the derivative of $L_{ξ} Γ$ is $L_{ξ} η$ .

Displayed formulas in this passage

unlabeled · line 1005
$O_{f}^{'} (Γ) [L_{ξ} Γ] = 0$

Nearby in this section

section: A quadratic coefficient is not separately the full gauge identity
section: A quadratic coefficient is not separately the full gauge identity