Con el fin de describir invariante formas de Dirac spinors $S$ uno puede encontrar trivial subrepresentations en $S \otimes S$. Si utilizamos $S \cong (1/2, 0) \oplus (0, 1/2)$
\begin{multline} [(1/2, 0) \oplus (0, 1/2)] \otimes [(1/2, 0) \oplus (0, 1/2)] =\\ (0, 0) \oplus (1, 0) \oplus (1/2, 1/2) \oplus (1/2, 1/2) \oplus (0, 1) \oplus (0, 0) \end{multline}
Por lo tanto, la representación de la teoría predice la existencia de dos formas invariantes. Generalmente se afirma que esto de dos formas son $$ D_1(\chi, \psi)=\bar{\chi}\psi=\chi^T\gamma_0\psi=\chi_R^T\psi_L+\chi_L^T\psi_R $$ y $$ D_2(\chi, \psi)=\bar{\chi}\gamma_5\psi=\chi^T\gamma_0 \gamma_5\psi=\chi_R^T\psi_L-\chi_L^T\psi_R $$
La forma $D_1$ es simétrica y es una forma cuadrática (con complejo de conjugación en el primer argumento) se utiliza generalmente para la construcción de Dirac del Lagrangiano.
De otro lado, se sabe que en Weyl spinors también se puede encontrar una antisimétrica invariante formas dado como $$ \chi^T_L\sigma_2\psi_L . $$ Permítanme usar para construir uno de los más anti-simétrica invariante la forma en Dirac spinors como una suma de dos formas en Weyl spinors $$ D_3(\chi, \psi)=\chi^T_L\sigma_2\psi_L+\chi^T_R\sigma_2\psi_R $$
Formulario de $D_3$ no es una combinación lineal de $D_1$ $D_2$ y por lo tanto tengo una contradicción con la teoría de la representación de la predicción. Donde he cometido un error?