 Matrix diagonalization ghost determinant

Imposing vanishing off-diagonal entries with auxiliary integrations and an off-diagonal Grassmann Gaussian integral gives a determinant of the commutator map on the off-diagonal matrix units. Its eigenvalues are ${\lambda }_i-{\lambda }_j$, $i\ne j$. Up to a constant sign, their product is the squared Vandermonde determinant. It contributes $-2{\sum }_{i<j}\log |{\lambda }_i-{\lambda }_j|$ to the eigenvalue action, encoding repulsion between distinct eigenvalues. Diagonal zero modes and constant normalization factors must be treated separately.