Fermionic elimination [fdip-009I]

What remains after some fermion variables are eliminated? The paired Grassmann integral replaces a Gaussian normalizer by a determinant, but the effective quadratic form is still a Schur complement. The eliminated block must be invertible; the full matrix need not be positive or invertible for this algebraic identity.

A commuting complex field supplies the inverse determinant when the Hermitian part of its matrix is positive. This is an ordinary convergent integral on twice as many real coordinates. Its cancellation with the Grassmann determinant uses the same matrix in both quadratic forms. A non-Hermitian accretive matrix usually gives a complex weight, so this cancellation does not construct a positive joint probability law.

The logarithm of the determinant needs an additional choice. On the accretive cone there is a unique analytic logarithm normalized at the identity; it need not be the principal scalar logarithm of the determinant. The four-cycle makes these distinctions concrete with the same effective matrix as in real Gaussian elimination.