Physlib.Relativity.PauliMatrices.Relations
5 declarations
In the context of complex Lorentz tensors for , the contraction of two Pauli matrices over their common Lorentz vector index satisfies the following identity: where: - and are the Pauli matrices (intertwining Lorentz vectors and Weyl spinors). - are left-handed (undotted) spinor indices. - are right-handed (dotted) spinor indices. - is the left-handed spinor metric tensor (). - is the right-handed spinor metric tensor ().
In the context of complex Lorentz tensors for , the contraction (trace) over the spinor indices of two Pauli matrices, one with covariant spinor indices and the other with contravariant spinor indices, is proportional to the Minkowski metric: where: - and are Pauli matrices acting as intertwining operators between Lorentz vectors and Weyl spinors. - are covariant Lorentz vector indices. - is a left-handed (undotted) spinor index and is a right-handed (dotted) spinor index. - is the covariant Minkowski metric.
In the theory of complex Lorentz tensors for the group , the contraction of two Pauli matrices over their spinor indices is equal to twice the covariant Minkowski metric: where: - is a Pauli matrix with a covariant Lorentz index and contravariant spinor indices and . - is a Pauli matrix with three covariant indices (Lorentz index and spinor indices and ). - is the covariant Minkowski metric.
In the framework of complex Lorentz tensors for , the Pauli matrices satisfy a symmetric anticommutation-like relation. For contravariant Lorentz indices , left-handed spinor indices , and a right-handed spinor index , it holds that: where is the contravariant Minkowski metric and is the unit tensor (Kronecker delta) for left-handed Weyl spinors.
In the framework of complex Lorentz tensors for , the Pauli matrices satisfy the following anticommutation identity involving right-handed (dotted) spinor indices: where: - are indices representing Lorentz vectors (covariant and contravariant respectively). - is a left-handed (undotted) spinor index, over which the terms are contracted. - are right-handed (dotted) spinor indices (covariant and contravariant respectively). - is the mixed Minkowski metric, acting as a Kronecker delta for vector indices. - is the Kronecker delta (unit tensor) for right-handed Weyl spinors.
