For a gauge orbit near a root of , functional linearization gives
The multidimensional delta-function change-of-variables formula therefore gives
Comparison with the defining identity proves
up to the usual field-independent normalization and a choice of determinant sign on the gauge patch.
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.