Berezinian

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:

*operatorname{Ber}(XY) = operatorname{Ber}(X)operatorname{Ber}(Y)
*operatorname{Ber}(e^X) = e^{operatorname{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 = egin{bmatrix}A & 0 \ 0 & Dend{bmatrix}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:operatorname{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 = egin{bmatrix}A & B \ C & Dend{bmatrix}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"0 (the even subalgebra of "R"). In this case the Berezinian is given by:operatorname{Ber}(X) = det(A-BD^{-1}C)det(D)^{-1}or, equivalently, by:operatorname{Ber}(X) = det(A)det(D-CA^{-1}B)^{-1}.These formulas are well-defined since we are only taking determinants of matrices whose entries are in the commutative ring "R"0.

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 = egin{bmatrix}0 & I \ -I & 0end{bmatrix}.Then the Berezinian of "X" is defined as:operatorname{Ber}(X) = operatorname{Ber}(JX) = det(C-DB^{-1}A)det(-B)^{-1}.

Properties

*The Berezinian of "X" is always a unit in the ring "R"0.
*operatorname{Ber}(X)^{-1} = operatorname{Ber}(X^{-1})
*operatorname{Ber}(X^T) = operatorname{Ber}(X) where X^T denotes the supertranspose of "X".
*operatorname{Ber}(Xoplus Y) = operatorname{Ber}(X)mathrm{Ber}(Y)

ee also

*Berezin integration


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Supermatrix — In mathematics and theoretical physics, a supermatrix is a Z2 graded analog of an ordinary matrix. Specifically, a supermatrix is a 2 times;2 block matrix with entries in a superalgebra (or superring). The most important examples are those with… …   Wikipedia

  • Determinant — This article is about determinants in mathematics. For determinants in epidemiology, see Risk factor. In linear algebra, the determinant is a value associated with a square matrix. It can be computed from the entries of the matrix by a specific… …   Wikipedia

  • Berezin integral — In mathematical physics, a Berezin integral is a way to define integration for functions of Grassmann variables. It is not an integral in the Lebesgue sense; it is called integration for some analogue properties and since it is used in physics in …   Wikipedia

  • Supermanifold — In physics and mathematics, supermanifolds are generalizations of the manifold concept based on ideas coming from supersymmetry. Several definitions are in use, some of which are described below. Physics In physics, a supermanifold is a manifold… …   Wikipedia

  • Supertrace — In the theory of superalgebras, if A is a commutative superalgebra, V is a free right A supermodule and T is an endomorphism from V to itself, then the supertrace of T , str( T ) is defined by the following tangle diagram::More concretely, if we… …   Wikipedia

  • List of mathematics articles (B) — NOTOC B B spline B* algebra B* search algorithm B,C,K,W system BA model Ba space Babuška Lax Milgram theorem Baby Monster group Baby step giant step Babylonian mathematics Babylonian numerals Bach tensor Bach s algorithm Bachmann–Howard ordinal… …   Wikipedia

  • Felix Berezin — Felix Alexandrovich Berezin ( ru. Феликс Александрович Березин) (25 April 1931 ndash; July 14 1980) was a Soviet Russian mathematician and physicist known for his contributions to the theory of supersymmetry and supermanifolds as well as to the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”