Английская Википедия:Fierz identity
Шаблон:Short description In theoretical physics, a Fierz identity is an identity that allows one to rewrite bilinears of the product of two spinors as a linear combination of products of the bilinears of the individual spinors. It is named after Swiss physicist Markus Fierz. The Fierz identities are also sometimes called the Fierz–Pauli–Kofink identities, as Pauli and Kofink described a general mechanism for producing such identities.
There is a version of the Fierz identities for Dirac spinors and there is another version for Weyl spinors. And there are versions for other dimensions besides 3+1 dimensions. Spinor bilinears in arbitrary dimensions are elements of a Clifford algebra; the Fierz identities can be obtained by expressing the Clifford algebra as a quotient of the exterior algebraШаблон:Explain.
When working in 4 spacetime dimensions the bivector <math>\psi \bar{\chi}</math> may be decomposed in terms of the Dirac matrices that span the space:
- <math>\psi \bar{\chi} = \frac{1}{4}( c_S \mathbb{1} + c_V^\mu \gamma_\mu + c_T^{\mu\nu} T_{\mu\nu} + c_A^\mu \gamma_\mu \gamma_5 + c_P \gamma_5 )</math>.
The coefficients are
- <math> c_S = (\bar\chi \psi), \quad
c_V^\mu=(\bar\chi \gamma^\mu \psi), \quad
c_T^{\mu\nu}=-(\bar\chi T^{\mu\nu}\psi), \quad
c_A^\mu =-(\bar\chi \gamma^\mu \gamma_5\psi), \quad
c_P=(\bar\chi \gamma_5 \psi)</math>
and are usually determined by using the orthogonality of the basis under the trace operation. By sandwiching the above decomposition between the desired gamma structures, the identities for the contraction of two Dirac bilinears of the same type can be written with coefficients according to the following table.
Product S V T A P S × S = 1/4 1/4 −1/4 −1/4 1/4 V × V = 1 −1/2 0 −1/2 −1 T × T = −3/2 0 −1/2 0 −3/2 A × A = −1 −1/2 0 −1/2 1 P × P = 1/4 −1/4 −1/4 1/4 1/4
where
- <math>S=\bar\chi \psi, \quad
V=\bar\chi\gamma^\mu\psi, \quad
T= \bar\chi[\gamma^\mu, \gamma^\nu]\psi/2 \sqrt{2}, \quad
A= \bar\chi\gamma_5\gamma^\mu\psi, \quad
P= \bar\chi\gamma_5\psi .</math>
The table is symmetric with respect to reflection across the central element. The signs in the table correspond to the case of commuting spinors, otherwise, as is the case of fermions in physics, all coefficients change signs.
For example, under the assumption of commuting spinors, the V × V product can be expanded as,
- <math>
\left(\bar\chi\gamma^\mu\psi\right)\left(\bar\psi\gamma_\mu \chi\right)= \left(\bar\chi\chi\right)\left(\bar\psi\psi\right)- \frac{1}{2}\left(\bar\chi\gamma^\mu\chi\right)\left(\bar\psi\gamma_\mu\psi\right)- \frac{1}{2}\left(\bar\chi\gamma^\mu\gamma_5\chi\right)\left(\bar\psi\gamma_\mu\gamma_5\psi\right) -\left(\bar\chi\gamma_5\chi\right)\left(\bar\psi\gamma_5\psi\right)~.</math>
Combinations of bilinears corresponding to the eigenvectors of the transpose matrix transform to the same combinations with eigenvalues ±1. For example, again for commuting spinors, V×V + A×A,
- <math>
(\bar\chi\gamma^\mu\psi )(\bar\psi\gamma_\mu \chi )+ (\bar\chi\gamma_5\gamma^\mu\psi) (\bar\psi\gamma_5\gamma_\mu \chi) =-( ~(\bar\chi\gamma^\mu\chi )(\bar\psi\gamma_\mu\psi)+
(\bar\chi\gamma_5\gamma^\mu\chi) (\bar\psi\gamma_5\gamma_\mu\psi )~)~.
</math>
Simplifications arise when the spinors considered are Majorana spinors, or chiral fermions, as then some terms in the expansion can vanish from symmetry reasons. For example, for anticommuting spinors this time, it readily follows from the above that
- <math> \bar{\chi}_1 \gamma^\mu (1+\gamma_5)\psi_2 \bar{\psi}_3 \gamma_\mu (1-\gamma_5) \chi_4 = -2 \bar{\chi}_1 (1-\gamma_5) \chi_4 \bar{\psi}_3 (1+\gamma_5) \psi_2 .</math>
References
- A derivation of identities for rewriting any scalar contraction of Dirac bilinears can be found in 29.3.4 of Шаблон:Cite book
- See also appendix B.1.2 in Шаблон:Cite book
- Шаблон:Cite journal
- Шаблон:Cite arXiv
