1

I've been struggling with the use of Grassmann numbers in QFT e.g. Peskin and Schroeder. They are introduced as "numbers" whose product is antisymmetric, and associative (this isn't said, but used in following calculations), furthermore, they can be multiplied by complex numbers in the usual way. This all means that they are a complex algebra that alternates and is associative. My problem is that this isn't enough to specify what they are and how they behave.

Example: The exterior algebra $\Lambda \mathbb{C^2}$ has the property that the product of any three elements must vanish. The exterior algebra $\Lambda \mathbb{C^3}$ does not have this property. Both satisfy the conditions for Grassmann numbers.

So, it seems to me that the Grassmann numbers described in field theory are underspecified. Have I got something confused? If not, how should they be accurately specified?

Qmechanic
  • 220,844

1 Answers1

1

It is perhaps conceptionally simplest to define the algebra of supernumbers as (a copy of) an exterior algebra $$\Lambda_{\infty}~=~\bigwedge\!{}^{\Large\bullet} V_1 ,$$ where $V_1$ is an infinite-dimensional$^1$ $\mathbb{C}$-vector space. Then

  • $\bigwedge^{0} V_{1} \cong \mathbb{C}$ is called the body,

  • $\bigwedge^{>0} V_{1}$ is the soul,

  • $\mathbb{C}^{1|0} \cong \bigwedge^{\rm even} V_{1}$ is the vector space of Grassmann-even/bosonic supernumbers/$c$-numbers, and

  • $\mathbb{C}^{0|1} \cong \bigwedge^{\rm odd} V_{1}$ is the the vector space of Grassmann-odd/fermionic supernumbers/$a$-numbers,

cf. Refs. 1 & 2. See also this related Phys.SE post.

References:

  1. planetmath.org/supernumber.

  2. Bryce DeWitt, Supermanifolds, Cambridge Univ. Press, 1992.

--

$^1$ We choose infinite dimensions to avoid the truncation problem that OP is alluding to. However, note that infinite dimensions leads to delicate issues of mathematical analysis.

Qmechanic
  • 220,844