Berezinian

In mathematics and theoretical physics, the Berezinian or superdeterminant is a generalization of the determinant to the case of supermatrices. The name is for Felix Berezin. The Berezinian plays a role analogous to the determinant when considering coordinate changes for integration on a supermanifold.

Definition

The Berezinian is uniquely determined by two defining properties:

• $\mathrm{Ber}(XY)=\mathrm{Ber}(X)\mathrm{Ber}(Y)$
• $\mathrm{Ber}(e^X)=e^{\mathrm{str(X)}}$

where str(X) denotes the supertrace of X. Unlike the classical determinant, the Berezinian is defined only for invertible supermatrices.

The simplest case to consider is the Berezinian of a supermatrix with entries in a field K. Such supermatrices represent linear transformations of a super vector space over K. A particular even supermatrix is a block matrix of the form

$X=\left[\begin{array}{cc}A& 0\\ 0& D\end{array}\right]$

Such a matrix is invertible if and only if both A and D are invertible matrices over K. The Berezinian of X is given by

$\mathrm{Ber}(X)=\det (A)\det (D{)}^{-1}$

For a motivation of the negative exponent see the substitution formula in the odd case.

More generally, consider matrices with entries in a supercommutative algebra R. An even supermatrix is then of the form

$X=\left[\begin{array}{cc}A& B\\ C& D\end{array}\right]$

where A and D have even entries and B and C have odd entries. Such a matrix is invertible if and only if both A and D are invertible in the commutative ring R₀ (the even subalgebra of R). In this case the Berezinian is given by

$\mathrm{Ber}(X)=\det (A-B{D}^{-1}C)\det (D{)}^{-1}$

or, equivalently, by

$\mathrm{Ber}(X)=\det (A)\det (D-C{A}^{-1}B{)}^{-1}.$

These formulas are well-defined since we are only taking determinants of matrices whose entries are in the commutative ring R₀. The matrix

$D-C{A}^{-1}B$

is known as the Schur complement of A relative to $\left[\begin{array}{cc}A& B\\ C& D\end{array}\right].$

An odd matrix X can only be invertible if the number of even dimensions equals the number of odd dimensions. In this case, invertibility of X is equivalent to the invertibility of JX, where

$J=\left[\begin{array}{cc}0& I\\ -I& 0\end{array}\right].$

Then the Berezinian of X is defined as

$\mathrm{Ber}(X)=\mathrm{Ber}(JX)=\det (C-D{B}^{-1}A)\det (-B{)}^{-1}.$

Properties

• The Berezinian of $X$ is always a unit in the ring R₀.
• $\mathrm{Ber}(X^{-1})=\mathrm{Ber}(X{)}^{-1}$
• $\mathrm{Ber}(X^{st})=\mathrm{Ber}(X)$ where $X^{st}$ denotes the supertranspose of $X$.
• $\mathrm{Ber}(X\oplus Y)=\mathrm{Ber}(X)\mathrm{B}\mathrm{e}\mathrm{r}(Y)$

Berezinian module

The determinant of an endomorphism of a free module M can be defined as the induced action on the 1-dimensional highest exterior power of M. In the supersymmetric case there is no highest exterior power, but there is a still a similar definition of the Berezinian as follows.

Suppose that M is a free module of dimension (p,q) over R. Let A be the (super)symmetric algebra S*(M*) of the dual M* of M. Then an automorphism of M acts on the ext module

$Ex{t}_A^p(R,A)$

(which has dimension (1,0) if q is even and dimension (0,1) if q is odd)) as multiplication by the Berezinian.

See also

• Berezin integration

References

• Berezin, Feliks Aleksandrovich (1966), The method of second quantization, Pure and Applied Physics, 24, Boston, MA: Academic Press, ISBN 978-0-12-089450-5, https://books.google.com/books?id=fAlRAAAAMAAJ 
• Deligne, Pierre; Morgan, John W. (1999), "Notes on supersymmetry (following Joseph Bernstein)", in Deligne, Pierre; Etingof, Pavel; Freed, Daniel S. et al., Quantum fields and strings: a course for mathematicians, Vol. 1, Providence, R.I.: American Mathematical Society, pp. 41–97, ISBN 978-0-8218-1198-6, https://books.google.com/books?id=TQIsyvw1KnsC&pg=PA41 
• Manin, Yuri Ivanovich (1997), Gauge Field Theory and Complex Geometry (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-61378-7