Real Grassmann Gaussian integral
ID: real-grassmann-gaussian-integral
For an antisymmetric matrix , a Berezin integral extracts the top coefficient of the exponential. Expansion into pairings gives the Pfaffian, with a constant sign depending on the order of the differentials. This is a polynomial in the entries of , not the positive square root of its determinant: in dimension two it is proportional to and changes sign with that entry. The identity determines its square but does not discard its orientation.
New to topics? Read the docs here!