Infeld–Van der Waerden symbols

Short description: Matrices used for Lorentz group spinors

The Infeld–Van der Waerden symbols, sometimes called simply Van der Waerden symbols, are an invariant symbol associated to the Lorentz group used in quantum field theory. They are named after Leopold Infeld and Bartel Leendert van der Waerden.

The Infeld–Van der Waerden symbols are index notation for Clifford multiplication of covectors on left handed spinors giving a right-handed spinors or vice versa, i.e. they are off diagonal blocks of gamma matrices. The symbols are typically denoted in Van der Waerden notation as [math]\displaystyle{ \sigma^m{}_{\alpha\dot{\beta}}\quad\text{and}\quad\bar{\sigma}^{m\,\dot{\alpha}\beta}. }[/math] and so have one Lorentz index (m), one left-handed (undotted Greek), and one right-handed (dotted Greek) Weyl spinor index. They satisfy [math]\displaystyle{ \begin{align} \sigma^m{}_{\alpha\dot{\beta}}\bar{\sigma}^{n\,\dot{\beta}\gamma} + \sigma^n{}_{\alpha\dot{\beta}}\bar{\sigma}^{m\,\dot{\beta}\gamma} &= 2\delta_\alpha^\gamma g^{mn}, \quad \\ \sigma^m{}_{\alpha\dot{\beta}}\bar{\sigma}^{n\,\dot{\gamma}\alpha} + \sigma^n{}_{\alpha\dot{\beta}}\bar{\sigma}^{m\,\dot{\gamma}\alpha} &= 2 \delta_{\dot \beta}^{\dot \gamma} g^{mn}. \end{align} }[/math] They need not be constant, however, and can therefore be formulated on curved space time.

Background

The existence of this invariant symbol follows from a result in the representation theory of the Lorentz group or more properly its Lie algebra. Labeling irreducible representations by [math]\displaystyle{ (j,\bar{\jmath}) }[/math], the spinor and its complex conjugate representations are the left and right fundamental representations

[math]\displaystyle{ (\tfrac{1}{2},0) }[/math] and [math]\displaystyle{ (0,\tfrac{1}{2}), }[/math]

while the tangent vectors live in the vector representation

[math]\displaystyle{ (\tfrac{1}{2},\tfrac{1}{2}). }[/math]

The tensor product of one left and right fundamental representation is the vector representation,[math]\displaystyle{ (\tfrac{1}{2},0)\otimes(0,\tfrac{1}{2})=(\tfrac{1}{2},\tfrac{1}{2}) }[/math]. A dual statement is that the tensor product of the vector, left, and right fundamental representations contains the trivial representation which is in fact generated by the construction of the Lie algebra representations through the Clifford algebra (see below) [math]\displaystyle{ (\tfrac{1}{2},0)\otimes(0,\tfrac{1}{2})\otimes(\tfrac{1}{2},\tfrac{1}{2})=(0,0)\oplus\cdots . }[/math]

Infeld–Van der Waerden symbols and representations of the Clifford algebra

Consider the space of positive Weyl spinors [math]\displaystyle{ S }[/math] of a Lorentzian vector space [math]\displaystyle{ (T,g) }[/math] with dual [math]\displaystyle{ (T^\vee, g^\vee) }[/math]. Then the negative Weyl spinors can be identified with the vector space [math]\displaystyle{ \bar S^\vee }[/math] of complex conjugate dual spinors. The Weyl spinors implement "two halves of a Clifford algebra representation" i.e. they come with a multiplication by covectors implemented as maps

[math]\displaystyle{ \sigma:T^\vee \to \mathrm{Hom}(S, \bar S^\vee) }[/math]

and

[math]\displaystyle{ \bar\sigma: T^\vee \to \mathrm{Hom}(\bar S^\vee, S) }[/math]

which we will call Infeld–Van der Waerden maps. Note that in a natural way we can also think of the maps as a sesquilinear map associating a vector to a left and righthand spinor

[math]\displaystyle{ \sigma \in T \otimes \bar S^\vee \otimes S^\vee \cong \mathrm{Hom}(\bar S \otimes S, T) }[/math]

respectively [math]\displaystyle{ \bar \sigma \in T \otimes S \otimes \bar S \cong \mathrm{Hom}(S^\vee \otimes \bar S^\vee, T) }[/math].

That the Infeld–Van der Waerden maps implement "two halves of a Clifford algebra representation" means that for covectors [math]\displaystyle{ a,b \in T^\vee }[/math]

[math]\displaystyle{ \bar\sigma(a)\sigma(b) + \bar\sigma(b)\sigma(a) = 2g^\vee(a,b)1_{S} }[/math]

resp.

[math]\displaystyle{ \sigma(a)\bar\sigma(b) + \sigma(b)\bar\sigma(a) = 2g^\vee(a,b)1_{\bar S^\vee} }[/math],

so that if we define

[math]\displaystyle{ \gamma = \begin{pmatrix}0 & \bar \sigma \\\sigma & 0 \end{pmatrix}:T^\vee \to \mathrm{End}(S\oplus \bar S^\vee) }[/math]

then

[math]\displaystyle{ \gamma(a)\gamma(b) + \gamma(b)\gamma(a) = 2g^\vee(a,b)1_{S \oplus \bar S^\vee}. }[/math]

Therefore [math]\displaystyle{ \gamma }[/math] extends to a proper Clifford algebra representation [math]\displaystyle{ \mathrm{Cl}(T^\vee, g^\vee) \to \mathrm{End}(S\oplus \bar S^\vee) }[/math].

The Infeld–Van der Waerden maps are real (or hermitian) in the sense that the complex conjugate dual maps

[math]\displaystyle{ \sigma^\dagger(a): S \mathop{\to}\limits^{\bar\ } \bar S \mathop{\longrightarrow}\limits^{\sigma^\vee(a)} S^\vee \mathop{\to}\limits^{\bar\ } \bar S^\vee }[/math]

coincides (for a real covector [math]\displaystyle{ a }[/math]) :

[math]\displaystyle{ \sigma(a) = \sigma(\bar a)^\dagger }[/math].

Likewise we have [math]\displaystyle{ \bar\sigma(a) = \bar\sigma(\bar a)^\dagger }[/math].

Now the Infeld the Infeld–Van der Waerden symbols are the components of the maps [math]\displaystyle{ \bar\sigma }[/math] and [math]\displaystyle{ \sigma }[/math] with respect to bases of [math]\displaystyle{ T }[/math] and [math]\displaystyle{ S }[/math] with induced bases on [math]\displaystyle{ T^\vee }[/math] and [math]\displaystyle{ \bar S^\vee }[/math]. Concretely, if T is the tangent space at a point O with local coordinates [math]\displaystyle{ x^m }[/math] ([math]\displaystyle{ m = 0, \ldots, 3 }[/math]) so that [math]\displaystyle{ \partial_m }[/math] is a basis for [math]\displaystyle{ T }[/math] and [math]\displaystyle{ dx^m }[/math] is a basis for [math]\displaystyle{ T^\vee }[/math], and [math]\displaystyle{ s_\alpha }[/math] ([math]\displaystyle{ \alpha = 0,1 }[/math]) is a basis for [math]\displaystyle{ S }[/math], [math]\displaystyle{ s^\alpha }[/math] is a dual basis for [math]\displaystyle{ S^\vee }[/math] with complex conjugate dual basis [math]\displaystyle{ \bar s^{\dot\alpha} }[/math] of [math]\displaystyle{ \bar S^\vee }[/math], then

[math]\displaystyle{ \sigma(dx^m)(s_\alpha) = \sigma^m_{\alpha\dot\beta}\bar s^{\dot \beta} }[/math]

[math]\displaystyle{ \bar\sigma(dx^m)(\bar s^{\dot\alpha}) = \bar\sigma^{m, \dot\alpha\beta}s_\beta }[/math]

Using local frames of the (co)tangent bundle and a Weyl spinor bundle, the construction carries over to a differentiable manifold with a spinor bundle.

Applications

The [math]\displaystyle{ \sigma }[/math] symbols are of fundamental importance for calculations in quantum field theory in curved spacetime, and in supersymmetry. In the presence of a tetrad [math]\displaystyle{ e^\mu{}_m }[/math] for "soldering" local Lorentz indices to tangent indices, the contracted version [math]\displaystyle{ \sigma^\mu{}_{\alpha\dot{\beta}} }[/math] can also be thought of as a soldering form for building a tangent vector out of a pair of left and right Weyl spinors.

Conventions

In flat Minkowski space, A standard component representation is in terms of the Pauli matrices, hence the [math]\displaystyle{ \sigma }[/math] notation. In an orthonormal basis with a standard spin frame, the conventional components are[math]\displaystyle{ \begin{align} \sigma^0{}_{\alpha\dot{\beta}} \ &\dot{=}\ \delta_{\alpha\dot{\beta}} \,, \\ \sigma^i{}_{\alpha\dot{\beta}} \ &\dot{=}\ (\sigma^i)_{\alpha\dot{\beta}} \,, \\ \bar{\sigma}^{0\,\dot{\alpha}\beta} \ &\dot{=}\ \delta^{\dot{\alpha}\beta} \,, \\ \bar{\sigma}^{i\,\dot{\alpha}\beta} \ &\dot{=}\ -(\sigma^i)^{\dot{\alpha}\beta} \,. \end{align} }[/math] Note that these are the blocks of the gamma matrices in the Weyl Chiral basis convention. There are, however, many conventions.