Diagonalize with eigenvalues and use the periodic Fourier series
Each Berezin integral contributes its quadratic coefficient, so
Pairing with and using the infinite product for the hyperbolic sine gives, up to the local regularization factor,
The product of the prefactors is because is traceless. Thus
This agrees with the direct identity that the supertrace of an induced linear map on an exterior algebra is its characteristic determinant.
Expand , , and . Performing the Berezin integral gives
After a fermionic integration by parts, this is the manifestly covariant expression
Under a diffeomorphism, is a point of , is a tangent vector, is its covariant derivative along a curve, and every index is contracted with the Riemannian metric; the action is therefore invariant.