nLab Fierz identity

Redirected from "Fierz identities".
Contents

Context

Spin geometry

Representation theory

Contents

Idea

What are called Fierz identities in physics are the relations that hold between multilinear expression in spinors. For example for all Majorana spinors ψ\psi in Lorentzian spacetime dimension 4,5,7,11, then the following identity holds (example below):

(ψ¯Γ abψ)(ψ¯Γ bψ)=0. \left(\overline{\psi} \wedge \Gamma_{a b} \psi\right) \wedge \left(\overline{\psi} \wedge \Gamma^b \psi\right) \;=\; 0 \,.

(Here ()¯\overline{(-)} denotes the Majorana conjugate, Γ a\Gamma_a are a Clifford representations, the “\wedge”-signs denotes symmetrization in the spinor components and summation over repeated indices is understood. The details of this are discussed below.)

In D’Auria-Fré-Maina-Regge 82 it was pointed out that all Fierz identities may be understood as expressing the product operation in the representation ring of the spin group (in some given dimension): for {S i} iI\{S_i\}_{i \in I} denoting isomorphism classes of irreducible spin representations, then, by definition of irreps, their tensor product of representations decomposes again as a direct sum of irreducible representations

S iS j=kC ij kS k S_i \otimes S_j = \underset{k}{\oplus} C_{i j}{}^k S_k

with “Clebsch-Gordan coefficientsC ij kC_{i j}{}^k. These coefficients are effectively the Fierz identities.

For example for Lorentzian dimension 11 with (12) 5(\tfrac{1}{2})^5 denoting the unique irreducible Majorana spinor representation, then one finds (D’Auria-Fré 82b, section 3) that the symmetric part in the quadruple tensor product of this representation with itself decomposes as a direct sum of irreps as follows

{(12) 5(12) 5(12) 5(12) 5} sym(0) 5(1) 3(0) 2(1) 4(0)(1) 5(2)(0) 4(2)(1)(0) 3(2) 2(0) 3(2) 2(1) 3(2) 5 \left\{ (\tfrac{1}{2})^5 \otimes (\tfrac{1}{2})^5 \otimes (\tfrac{1}{2})^5 \otimes (\tfrac{1}{2})^5 \right\}_{sym} \;\simeq\; (0)^5 \;\oplus\; (1)^3 (0)^2 \;\oplus\; (1)^4 (0) \;\oplus\; (1)^5 \;\oplus\; (2) (0)^4 \;\oplus\; (2)(1)(0)^3 \;\oplus\; (2)^2 (0)^3 \;\oplus\; (2)^2 (1)^3 \;\oplus\; (2)^5

where the symbols refer to Young diagrams canonically labeling representations (details are in example below).

The point is that the expression (ψ¯Γ abψ)(ψ¯Γ bψ) \left(\overline{\psi} \wedge \Gamma_{a b} \psi\right) \wedge \left(\overline{\psi} \wedge \Gamma^b \psi\right) from above is a spinor quadrilinear which transforms in the vector representation (1)(0) 4(1)(0)^4 (due to its one free spacetime index). But that vector representation (1)(0) 4(1)(0)^4 is missing from the direct sum above, meaning that the spinor quadrilinear has vanishing components in this vector representation, hence that this expression vanishes identically.

In terms of cochains on super-Minkowski spacetimes

We discuss Fierz identities as identities among multispinorial elements of the Chevalley-Eilenberg algebra CE( d1,1|N)CE(\mathbb{R}^{d-1,1\vert N}) of super-Minkowski spacetime d1,1|N\mathbb{R}^{d-1,1\vert N}, regarded as the super-translation supersymmetry super Lie algebra. In this form Fierz identities encode cocycles in the supersymmetry super-Lie algebra cohomology, such as those which serve as higher WZW terms characterizing super p-branes. We follow Castellani-D’Auria-Fré 82, section II.8.

Bilinear Fierz identities

Given a fixed real spin representation NN, then the odd coordinates {θ α} α=1 dim (N)\{\theta^\alpha\}_{\alpha = 1}^{dim_{\mathbb{R}}(N) } of the super Minkowski spacetime supermanifold d1,1|N\mathbb{R}^{d-1,1\vert N} span, by construction, precisely that representation space, and hence so do the spinorial components of the super vielbein form

ψ α=dθ αΩ li ( d1,1|N)CE( d1,1|N), \psi^\alpha = \mathbf{d}\theta^\alpha \;\;\; \in \Omega^{\bullet}_{li}(\mathbb{R}^{d-1,1\vert N}) \simeq CE(\mathbb{R}^{d-1,1\vert N}) \,,

since in the construction of super differential forms on d1,1|N\mathbb{R}^{d-1,1\vert N}, the de Rham operator d\mathbf{d} acts on the odd coordinates just formally, by sending the generator θ α\theta^\alpha to the new generator named dθ α\mathbf{d} \theta^\alpha.

Therefore we may identify the spin representation NN with the linear span (over \mathbb{R}) of these elements

Ndθ α α=1 dim (N), N \simeq \langle \mathbf{d}\theta^\alpha \rangle_{\alpha = 1}^{dim_{\mathbb{R}}(N) } \,,

were the spin group acts on the elements on the right in the defining way (see at geometry of physics – supersymmetry): a spinorial rotation in a plane ω={ω ab}\omega = \{\omega^{a b}\} by an angle α\alpha acts by

R ω(ψ)exp(α4ω abΓ ab)ψ. R_\omega(\psi) \coloneqq \exp(\tfrac{\alpha}{4} \omega^{a b} \Gamma_{a b} ) \psi \,.

We may build new spin representations from this one by forming multilinear expressions in the super vielbein. For example the elements in CE( d1,1|N)CE(\mathbb{R}^{d-1,1\vert N}) of the form

ψ¯Γ aψ =(C ααΓ a β α)ψ αψ β =(C ααΓ a β α)dθ αdθ β \begin{aligned} \overline{\psi} \wedge \Gamma_a \psi &= \left(C_{\alpha \alpha'} \Gamma_a{}^{\alpha'}_{\beta}\right) \, \psi^\alpha \wedge \psi^{\beta} \\ & = \left(C_{\alpha \alpha'} \Gamma_a{}^{\alpha'}_{\beta}\right) \, \mathbf{d}\theta^\alpha \wedge \mathbf{d}\theta^\beta \end{aligned}

span, as the spacetime index aa ranges in {0,1,,d1}\{0, 1, \cdots, d-1\}, a dd-dimensional real vector space

ψ¯Γ aψ a=0 d1 \left\langle \,\overline{\psi} \wedge \Gamma_a \psi\, \right\rangle_{a = 0}^{d-1}

which still carries a linear action of the spin group, induced from the spin action on the ψ\psi-s:

R ω(ψ¯Γ aψ) =(exp(α4ω abΓ ab)ψ)¯Γ a(exp(α4ω abΓ abψ)) =ψ¯exp(α4ω abΓ ab)Γ aexp(α2ω abΓ ab)ψ =ψ¯(R ω(Γ a))ψ. \begin{aligned} R_\omega(\overline{\psi} \wedge \Gamma_a \psi) & = \overline{\left( \exp(\tfrac{\alpha}{4}\omega^{a b}\Gamma_{a b} ) \psi \right)} \wedge \Gamma_a \left( \exp(\tfrac{\alpha}{4}\omega^{a b}\Gamma_{a b} \psi ) \right) \\ & = \overline{\psi} \wedge \exp(-\tfrac{\alpha}{4} \omega^{a b} \Gamma_{a b}) \Gamma_a \exp(\tfrac{\alpha}{2}\omega^{a b} \Gamma_{a b}) \psi \\ & = \overline{\psi} \wedge (R_\omega(\Gamma_a)) \psi \end{aligned} \,.

Of course similarly we obtain elements

ψ¯Γ a 1a pψ \overline{\psi} \Gamma_{a_1 \cdots a_p} \psi

which, if they are non-vanishing at all, span the representation

p d \wedge^p \mathbb{R}^d

Now observe that we may say all this more abstractly as follows:

  1. the elements (ψψ¯) αβ(\psi \wedge \overline{\psi})^{\alpha \beta} span the symmetrized tensor product of representations

    {NN} sym(ψψ¯) α β α,β=1 dim (N) \{N \otimes N\}_{sym} \;\simeq\; \langle \, (\psi \wedge \overline{\psi})^\alpha{}_\beta \, \rangle_{\alpha,\beta = 1}^{dim_{\mathbb{R}}(N)}
  2. for given pp \in \mathbb{N}, then the elements of the form ψ¯Γ a 1a pψ\overline{\psi} \wedge \Gamma_{a_1 \cdots a_p} \psi form a subrepresentation thereof, equivalent to the vector representation p d\wedge^p\mathbb{R}^{d}

  3. hence there is a direct sum decomposition

    {NN} sympc p( p d) \left\{N \otimes N\right\}_{sym} \;\simeq\; \underset{p \in \mathbb{N}}{\bigoplus} c_p \left(\wedge^p \mathbb{R}^d\right)

    in the category of representations of the spin group, which expresses the (symmetrized) tensor product of representations of the Majorana spinor representation as a direct sum of skew-symmetrized tensor products of the vector representation.

Indeed this direct sum decomposition is exhaustive:

Proposition

For dd \in \mathbb{N} and NN a Majorana spinor representation of Spin(d1,1)Spin(d-1,1), then the following identity holds:

(ψψ¯) α β=1dim (N)((ψ¯ψ)+(ψ¯Γ aψ)(Γ a) α β+12!(ψ¯Γ a 1a 2ψ)(Γ a 1a 2) α β+). (\psi \wedge \overline{\psi})^\alpha{}_\beta \;=\; \tfrac{1}{dim_{\mathbb{R}}(N)} \left( \left( \overline{\psi}\psi \right) + \left( \overline{\psi} \Gamma_a \psi \right) (\Gamma^a)^\alpha{}_\beta + \tfrac{1}{2!} \left( \overline{\psi} \Gamma_{a_1 a_2} \psi \right) (\Gamma^{a_1 a_2})^\alpha{}_\beta + \cdots \right) \,.
Proof

By the discussion there, the Majorana spinor representation is a real sub-representation of a complex Dirac representation (2 ν)\mathbb{C}^{(2^\nu)}. The latter has the special property that

  1. the Clifford algebra contains the full matrix algebra;

  2. for p1p \geq 1 the Clifford elements Γ a 1a p\Gamma_{a_1 \cdots a_p} have vanishing trace.

The first point implies that there exists coefficients X a 1a pX^{a_1 \cdots a_p} \in \mathbb{C} for pp \in \mathbb{N} such that

ψψ¯=1dim (N)(X+X aΓ a+X abΓ ab+). \psi \wedge \overline{\psi} = \tfrac{1}{dim_{\mathbb{R}}(N)} \left( X + X^a \Gamma_a + X^{a b} \Gamma_{a b} + \cdots \right) \,.

The second condition then implies that multiplying this expression with Γ a 1a p\Gamma^{a_1 \cdots a_p} and taking the trace projects out the coefficient X a 1a pX^{a_1 \cdots a_p}:

X a 1a p =1p!dim (N)tr N((X+X aΓ a+X abΓ ab+)Γ a 1a p) =1p!tr N(ψψ¯Γ a 1a p) =1p!(ψ¯Γ a 1a pψ). \begin{aligned} X^{a_1 \cdots a_p} & = \frac{1}{p! dim_{\mathbb{R}}(N)} tr_N \left( \left( X + X^a \Gamma_a + X^{a b} \Gamma_{a b} + \cdots \right) \Gamma^{a_1 \cdots a_p} \right) \\ & = \tfrac{1}{p!} tr_N \left( \psi \wedge \overline{\psi} \, \Gamma^{a_1 \cdots a_p} \right) \\ & = \tfrac{1}{p!} \left( \overline \psi \wedge \Gamma^{a_1 \cdots a_p} \psi \right) \end{aligned} \,.

Notice that it is the last step, identifying the trace over ψψ¯Γ a 1a p\psi \wedge \overline{\psi} \Gamma^{a_1 \cdots a_p} with the ψ\psi-ψ\psi component of the matrix Γ a 1a p\Gamma^{a_1 \cdots a_p}, where we use the symmetrization of the spinor tensor product, namely the identity ψ αψ¯ β=ψ¯ βψ α\psi^\alpha \wedge \overline{\psi}_\beta = \overline{\psi}_\beta \wedge \psi^\alpha.

Some of the coefficients in prop. may vanish identically. These are the bilinear Fierz identities, of the form

ψ¯Γ a 1a pψ=0. \overline{\psi} \Gamma_{a_1 \cdots a_p} \psi = 0 \,.
Example

Let d=11d = 11. Write 32\mathbf{32} or (12) 5(\tfrac{1}{2})^5 for the Majorana spinor representation of Spin(d1,1)Spin(d-1,1). Then

{(12) 5(12) 5} sym(1) 1(0) 4 d(1) 2(0) 3 2 d(1) 5 5 d. \left\{ (\tfrac{1}{2})^5 \otimes (\tfrac{1}{2})^5 \right\}_{sym} \;\simeq\; \underset{\simeq \mathbb{R}^d}{\underbrace{(1)^1 (0)^4}} \;\oplus\; \underset{\simeq \wedge^2 \mathbb{R}^d}{\underbrace{(1)^2 (0)^3}} \;\oplus\; \underset{\wedge^5 \mathbb{R}^d}{\underbrace{(1)^5}} \,.

(D’Auria-Fré 82b (3.1))

Proof

Since we know from prop. that the right hand side has to be some direct sum of representations of the form p d\wedge^p \mathbb{R}^d, it is sufficient to check that there is only one choice of sum such that dimensions match on both sides of the equation.

Now the dimension of {NN} sym\{N \otimes N\}_{sym} is that of the space of symmetric 32×3232 \times 32 matrices:

dim ({3232} sym)=12(32×33)=528 dim_{\mathbb{R}} \left( \{\mathbf{32} \otimes \mathbf{32}\}_{sym} \right) \;=\; \frac{1}{2} \left( 32 \times 33 \right) = 528

while the dimension of p d\wedge^p \mathbb{R}^d is the binomial coefficient

dim ( p d)=(11p). dim_{\mathbb{R}}(\wedge^p \mathbb{R}^d) \;=\; \left( 11 \atop p \right) \,.

Hence the claim follows from the fact that

528 =11+55+462 =(111)+(112)+(115). \begin{aligned} 528 & = 11 + 55 + 462 \\ & = \left(11 \atop 1\right) + \left(11 \atop 2\right) + \left(11 \atop 5\right) \end{aligned} \,.

Quadrilinear Fierz identities

Now we consider the direct sum decomposition of the tensor product of representations of four copies of a spin representation. This yields the quadrilinear Fierz identities.

Example

The group Spin(10,1)Spin(10,1) has rank 5, and hence its irreducible vector representations are labeled by Young diagrams consisting of five rows. For instance

(2) 2(1) 2(0) (2)^2 (1)^2 (0)

denotes the representation whose elements may be identified with tensors of the form

X a 1 a 2 a 3 a 4 a 5 X_{\array{ a_1 & a_2 \\ a_3 & a_4 \\ a_5 }}

which are

  1. skew-symmetric in indices in the same column;

  2. symmetric and trace-less in indices in the same row.

Write again (12) 5(\tfrac{1}{2})^5 for the Majorana spinor representation. Then the following identity holds in the representation ring:

{(12) 5(12) 5(12) 5(12) 5} sym(0) 5 (2)(0) 4 (1) 3(0) 2(2)(1)(0) 3 (1) 4(0)(2) 2(0) 3 (1) 5 (2) 2(1) 3 (2) 5 \left\{ (\tfrac{1}{2})^5 \otimes (\tfrac{1}{2})^5 \otimes (\tfrac{1}{2})^5 \otimes (\tfrac{1}{2})^5 \right\}_{sym} \;\simeq\; \left. \array{ (0)^5 \\ \oplus \\ (2) (0)^4 \\ \oplus \\ (1)^3 (0)^2 \oplus (2)(1)(0)^3 \\ \oplus \\ (1)^4 (0) \oplus (2)^2 (0)^3 \\ \oplus \\ (1)^5 \\ \oplus \\ (2)^2 (1)^3 \\ \oplus \\ (2)^5 } \right.

(D’Auria-Fré 82b (3.3))

Proof

As before, this is supposed to follow already by matching total dimensions on both sides

32×33×34×354×3×2=1 + 65 + 165+429 + 330+1144 + 462 + 17160 + 32604 \frac{32 \times 33 \times 34 \times 35}{4 \times 3 \times 2} \;=\; \left. \array{ 1 \\ + \\ 65 \\ + \\ 165 + 429 \\ + \\ 330 + 1144 \\ + \\ 462 \\ + \\ 17160 \\ + \\ 32604 } \right.

More in detail we have the following decompositions, in the notation from above.

(1)(ψ¯Γ a 1ψ)(ψ¯Γ a 2ψ)=X a 1 a 2 (65)+111δ a 1a 2X (1) \left(\overline{\psi} \wedge \Gamma_{a_1} \psi\right) \wedge \left( \overline{\psi} \wedge \Gamma_{a_2} \psi \right) \;=\; X^{(\mathbf{65})}_{\array{a_1 \\ a_2}} + \frac{1}{11} \delta_{\array{a_1 a_2}}X^{(\mathbf{1})}

Here for instance the symbol X a 1 a 2 (65)X^{(\mathbf{65})}_{\array{a_1 \\ a_2}} denotes the projection of the term on the left into the direct summand given by the representation (2)(0) 4(2)(0)^4 of dimension 6565. Similarly:

(2)(ψ¯Γ a 1a 2ψ)(ψ¯Γ a 3)=X a 1 a 2 a 3 (429)+X a 1a 2a 3 (165) \left(\overline{\psi} \wedge \Gamma_{a_1 a_2} \psi\right) \wedge \left(\overline{\psi} \wedge \Gamma_{a_3}\right) \;=\; X^{(\mathbf{429})}_{\array{ a_1 & a_2 \\ a_3}} + X^{(\mathbf{165})}_{\array{a_1 a_2 a_3}}
(3)(ψ¯Γ a 1a 2ψ)(ψ¯Γ a 3a 4)=X a 1a 2 a 3a 4 (1144)+X a 1a 2a 3a 4 (330)+49δ [a 1 [a 3X a 2] a 4] (65)211δ a 1 a 2 a 3 a 4X (1) \left( \overline{\psi}\Gamma_{a_1 a_2} \psi \right) \left( \overline{\psi} \Gamma_{a_3 a_4} \right) \;=\; X^{(\mathbf{1144})}_{\array{a_1 a_2 \\ a_3 a_4}} + X^{(\mathbf{330})}_{\array{a_1 a_2 a_3 a_4}} + \tfrac{4}{9}\delta_{\array{ [a_1 \\ [a_3} } X^{(\mathbf{65})}_{\array{a_2] \\ a_4] } } - \tfrac{2}{11} \delta_{\array{a_1 & a_2 \\ a_3 & a_4}} X^{(\mathbf{1})}
(4)(ψ¯Γ a 1a 5ψ)(ψ¯Γ a 6ψ)=ϵ a 1a 6 b 1b 5X b 1b 5 (462)+X a 1 a 5 a 6 (4290)+157δ a 6[a 1X a 2 a 5 (330) \left( \overline{\psi} \wedge \Gamma_{a_1 \cdots a_5} \psi \right) \wedge \left( \overline{\psi} \wedge \Gamma_{a_6} \psi \right) \;=\; \epsilon_{a_1 \cdots a_6}{}^{b_1 \cdots b_5} X^{(\mathbf{462})}_{b_1 \cdots b_5} + X^{(\mathbf{4290})}_{\array{a_1 & \cdots & a_5 \\ a_6}} + \frac{15}{7} \delta_{a_6 [ a_1} X^{(\mathbf{330})}_{\array{a_2 & \cdots & a_5}}

and some more.

(D’Auria-Fré 82b table 2)

As a corollary:

Example

For d=11d = 11 then

  1. the following Fierz identity holds:

    (ψ¯Γ abψ)(ψ¯Γ bψ)=0. \left( \overline{\psi} \wedge \Gamma_{a b} \psi \right) \wedge \left( \overline{\psi} \wedge \Gamma^b \psi \right) \;= \; 0 \,.

    (this is the cocycle condition for the higher WZW term of the M2-brane (Bergshoeff-Sezgin-Townsend 87), AETW 87)

  2. the following Fierz identity holds:

    (ψ¯Γ a 1a 4bψ)(ψ¯Γ bψ)=3(ψ¯Γ [a 1a 2ψ)(ψ¯Γ a 3a 4]ψ) \left( \overline{\psi} \wedge \Gamma_{a_1 \cdots a_4 b} \psi \right) \wedge \left( \overline{\psi} \wedge \Gamma^{b} \psi \right) \;=\; 3 \left( \overline{\psi} \Gamma_{[a_1 a_2} \psi \right) \wedge \left( \overline{\psi} \Gamma_{a_3 a_4]} \psi \right)

    (this is the cocycle condition for the higher WZW term of the M5-brane (BLNPST 97, FSS 15)).

(D’Auria & Fré 1982b (3.13) and (3.28); Naito, Osada & Fukui 1986, (2.27) and (2.28))

Proof

The first identity is the result of equation (2) after tracing over the indices a 2a_2 and a 3a_3. Under this trace both summands on the right of (2) vanish: X a 1 a 2 a 3 (429)X^{(\mathbf{429})}_{\array{ a_1 & a_2 \\ a_3}} because it is trace-free in indices in a column, and X a 1a 2a 3 (165)X^{(\mathbf{165})}_{\array{a_1 a_2 a_3}} because it is skew-symmetric in all indices.

The second identity follows from taking the trace over the indices a 5anda 6a_5 and a_6 in (4) and of skew-symmetrizing over all indices in (3). By the symmetry properties of the tensors on the right of both equations, in both cases all tensors vanish except, in both cases, the contribution proportional to X [a 1a 3] (330)X^{(\mathbf{330})}_{[a_1 \cdots a_3]}, which both identities share. So it only remains to check that the proportionality factor is 3, as claimed. By writing out the skew-symmetrization in the last term in (4) one finds:

157δ a 1a 6δ a 6[a 1X a 2a 5] (330) =157δ a 1 [a 1X a 2a 5] (330) =15715! {σpermutation of{1,,5}}(1) |σ|δ a 1 a σ(1)X a σ(2)a (σ(5)) =15715! {σpermutation of{1,,4}}(1) |σ|(δ a 1 a 1=11X a σ(1)a σ(4) (330)4δ a 1 a σ(1)X a 1a σ(2)a σ(4)) =157(114)1514! {σpermutation of{1,,4}}(1) |σ|X a σ(1)a σ(4) (330)X a 1a 4 (330) =3X a σ(1)a σ(4) (330) \begin{aligned} \frac{15}{7} \delta^{a_1 a_6} \delta_{a_6 [a_1} X^{(\mathbf{330})}_{a_2 \cdots a_5]} & = \frac{15}{7} \delta^{a_1}{}_{[a_1} X^{(\mathbf{330})}_{a_2 \cdots a_5]} \\ & = \frac{15}{7} \frac{1}{5!} \sum_{ \left\{\sigma \atop { {\text{permutation of}} \atop {\{1,\cdots , 5\}} } \right\}} (-1)^{\vert \sigma\vert } \delta^{a_1}{}_{a_{\sigma(1)}} X_{a_{\sigma(2)} \cdots a_{(\sigma(5))}} \\ & = \frac{15}{7} \frac{1}{5!} \sum_{\left\{\sigma \atop { {\text{permutation of}} \atop {\{1,\cdots , 4\}} } \right\} } (-1)^{\vert \sigma\vert } \left( \underset{= 11}{\underbrace{\delta^{a_1}_{a_1}}} X^{(\mathbf{330})}_{a_{\sigma(1)}\cdots a_{\sigma(4)}} - 4 \delta^{a_1}{}_{a_{\sigma(1)}} X_{a_1 a_{\sigma(2)} \cdots a_{\sigma(4)}} \right) \\ & = \frac{15}{7} (11-4) \frac{1}{5} \; \underset{X^{(\mathbf{330})}_{a_1\cdots a_4}}{ \underbrace{ \frac{1}{4!} \sum_{ \left\{ \sigma \atop { {\text{permutation of}} \atop {\{1,\cdots , 4\}} } \right\} } (-1)^{\vert \sigma\vert} X^{(\mathbf{330})}_{a_{\sigma(1)}\cdots a_{\sigma(4)}} } } \\ & = 3 \; X^{(\mathbf{330})}_{a_{\sigma(1)} \cdots a_{\sigma(4)}} \end{aligned}

where we used that X a 1a 4 (330)X^{(\mathbf{330})}_{a_1 \cdots a_4} is already skew-symmetric in all indices.

Example

On D=5 N = 2 super Minkowski spacetime (5d supergravity) there are quadrilinear Fierz identities of this form:

(Castellani-D’Auria-Fré 91 (III.5.50)).

References

Named after Markus Fierz.

The interpretation of Fierz identities as relations satisfied by Clebsch-Gordan coefficients in the representation ring of the spin group originates in

where it was applied to Spin(4,1)Spin(4,1) (relevant in D=5 supergravity).

By this method the Fierz identities for Spin(9,1)Spin(9,1) (relevant in heterotic supergravity and type II supergravity) are discussed in

see also appendix C of

and the Fierz identities for Spin(10,1)Spin(10,1) (relevant in 11-dimensional supergravity) were tabulated in

see also

A textbook account of the representation ring method and summary of these results is in

See also:

  • C. C. Nishi, Simple derivation of general Fierz-type identities, Am. J. Phys. 73 (2005) 1160-1163 [arXiv:hep-ph/0412245]

  • Calin Lazaroiu, Elena-Mirela Babalic, Ioana-Alexandra Coman, The geometric algebra of Fierz identities in arbitrary dimensions and signatures, JHEP09(2013)156 (arXiv:1304.4403)

  • Elena-Mirela Babalic, Ioana-Alexandra Coman, Calin Lazaroiu, A unified approach to Fierz identities, AIP Conf. Proc. 1564, 57 (2013) (arxiv:1303.1575)

From the point of view of division algebras and supersymmetry the Fierz identities that give the vanishing of trilinear and of quadratic terms in spinors in certain dimensions are discussed in

The recognition of some Fierz identities as cocycle conditions defining the higher WZW terms of the super p-branes is due to

Last revised on June 25, 2024 at 14:45:52. See the history of this page for a list of all contributions to it.