Choose the orientation of the Berezin integral so that
Here the product has increasing ; this explicitly fixes the otherwise convention-dependent overall sign in the compact measure notation.
Since is a diagonalizable matrix, write with . Make the independent changes and . The Grassmann change-of-variables formula gives the two factors and , so the complete measure is unchanged. The exponent becomes . Each summand is even and squares to zero, and the different even summands commute. Consequently,
Only the term containing every generator survives the Berezin integral. Hence the Grassmann Gaussian integral is
Zero eigenvalues give zero on both sides, so invertibility of is unnecessary. In fact the identity extends to all ordinary matrices: the top-degree coefficient of the exponential is the alternating determinant expansion. The assumption that is a diagonalizable matrix makes the proof especially transparent.

Articles by others on the same topic (0)

There are currently no matching articles.