Grassmann number

From Wikipedia, the free encyclopedia

In mathematical physics, a Grassmann number (also called an anticommuting number) is a quantity θi that anticommutes with other Grassmann numbers but commutes with ordinary numbers xj:

\theta_i \theta_j = -\theta_j \theta_i\qquad\theta_i x_j = x_j\theta_i.

In particular, the square of any Grassmann number vanishes:

(\theta_i)^2 = 0.\,

The integration of Grassmann variables needs to fullfill the following properties:

  • linearity
\int\,[a f(\theta) + b g(\theta) ] d\theta = a \int\,f(\theta) d\theta + b \int\,g(\theta) d\theta
  • partial integrations formula
\int \left[\frac{\partial}{\partial\theta}f(\theta)\right] d\theta = 0

This results in the following rules for the integration of a Grassmann quantity:

\int\, 1 d\theta = 0
\int\, \theta d\theta = 1

Thus we conclude that the operations of integration and differentiation of a Grassmann number are identical.

In the path integral formulation of quantum field theory the following Gaussian integral of Grassmann quantities is needed for fermionic anticommuting fields:

\int \exp\left[\theta^TA\eta\right] d\theta\,d\eta = \mathrm{det}\,A

with A being a N \times N matrix.

The algebra generated by a set of Grassmann numbers is known as a Grassmann algebra (or an exterior algebra). The Grassmann algebra generated by n linearly independent Grassmann numbers has dimension 2n. These concepts are all named for Hermann Grassmann.

Grassmann algebras are the prototypical examples of supercommutative algebras. These are algebras with a decomposition into even and odd variables which satisfy a graded version of commutativity (in particular, odd elements anticommute).

[edit] Matrix representations

Grassmann numbers can always be represented by matrices. Consider, for example, the Grassmann algebra generated by two Grassmann numbers θ1 and θ2. These Grassmann numbers can be represented by 4×4 matrices:

\theta_1 = \begin{bmatrix} 0 & 0 & 0 & 0\\ 1 & 0 & 0 & 0\\ 0 & 0 & 0 & 0\\ 0 & 0 & 1 & 0\\ \end{bmatrix}\qquad \theta_2 = \begin{bmatrix} 0&0&0&0\\ 0&0&0&0\\ 1&0&0&0\\ 0&-1&0&0\\ \end{bmatrix}\qquad \theta_1\theta_2 = -\theta_2\theta_1 = \begin{bmatrix} 0&0&0&0\\ 0&0&0&0\\ 0&0&0&0\\ 1&0&0&0\\ \end{bmatrix}

In general, a Grassmann algebra on n generators can be represented by 2n × 2n square matrices. Physically, these matrices can be thought of as raising operators acting on a Hilbert space of n identical fermions in the occupation number basis. Since the occupation number for each fermion is 0 or 1, there are 2n possible basis states. Mathematically, these matrices can be interpreted as the linear operators corresponding to left exterior multiplication on the Grassmann algebra itself.

[edit] Applications

In quantum field theory, Grassmann numbers are used to define the path integrals of fermionic fields. To this end it is necessary to define integrals over Grassmann variables, known as Berezin integrals.

Grassmann numbers are also important for the definition of supermanifolds (or superspace) where they serve as "anticommuting coordinates".

In other languages