PhyslibSearch

Physlib.Relativity.PauliMatrices.Relations

5 declarations

theorem

σναβ˙σναβ˙=2ϵααϵβ˙β˙\sigma_{\nu}{}^{\alpha \dot{\beta}} \sigma^{\nu \alpha' \dot{\beta}'} = 2 \epsilon^{\alpha \alpha'} \epsilon^{\dot{\beta} \dot{\beta}'}

#pauliCo_contr_pauliContr

In the context of complex Lorentz tensors for SL(2,C)SL(2, \mathbb{C}), the contraction of two Pauli matrices over their common Lorentz vector index ν\nu satisfies the following identity: σναβ˙σναβ˙=2ϵααϵβ˙β˙ \sigma_{\nu}{}^{\alpha \dot{\beta}} \sigma^{\nu \alpha' \dot{\beta}'} = 2 \epsilon^{\alpha \alpha'} \epsilon^{\dot{\beta} \dot{\beta}'} where: - σναβ˙\sigma_{\nu}{}^{\alpha \dot{\beta}} and σναβ˙\sigma^{\nu \alpha' \dot{\beta}'} are the Pauli matrices (intertwining Lorentz vectors and Weyl spinors). - α,α\alpha, \alpha' are left-handed (undotted) spinor indices. - β˙,β˙\dot{\beta}, \dot{\beta}' are right-handed (dotted) spinor indices. - ϵαα\epsilon^{\alpha \alpha'} is the left-handed spinor metric tensor (ϵL\epsilon_L). - ϵβ˙β˙\epsilon^{\dot{\beta} \dot{\beta}'} is the right-handed spinor metric tensor (ϵR\epsilon_R).

theorem

σμβ˙ασναβ˙=2ημν\sigma_{\mu \dot{\beta} \alpha} \sigma_\nu{}^{\alpha \dot{\beta}} = 2 \eta_{\mu\nu}

#pauliCoDown_trace_pauliCo

In the context of complex Lorentz tensors for SL(2,C)SL(2, \mathbb{C}), 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: σμβ˙ασναβ˙=2ημν \sigma_{\mu \dot{\beta} \alpha} \sigma_\nu{}^{\alpha \dot{\beta}} = 2 \eta_{\mu\nu} where: - σμβ˙α\sigma_{\mu \dot{\beta} \alpha} and σναβ˙\sigma_\nu{}^{\alpha \dot{\beta}} are Pauli matrices acting as intertwining operators between Lorentz vectors and Weyl spinors. - μ,ν\mu, \nu are covariant Lorentz vector indices. - α\alpha is a left-handed (undotted) spinor index and β˙\dot{\beta} is a right-handed (dotted) spinor index. - ημν\eta_{\mu\nu} is the covariant Minkowski metric.

theorem

σμαβ˙σνβ˙α=2ημν\sigma_{\mu}{}^{\alpha \dot{\beta}} \sigma_{\nu \dot{\beta} \alpha} = 2 \eta_{\mu \nu}

#pauliCo_trace_pauliCoDown

In the theory of complex Lorentz tensors for the group SL(2,C)SL(2, \mathbb{C}), the contraction of two Pauli matrices over their spinor indices is equal to twice the covariant Minkowski metric: σμαβ˙σνβ˙α=2ημν \sigma_{\mu}{}^{\alpha \dot{\beta}} \sigma_{\nu \dot{\beta} \alpha} = 2 \eta_{\mu \nu} where: - σμαβ˙\sigma_{\mu}{}^{\alpha \dot{\beta}} is a Pauli matrix with a covariant Lorentz index μ\mu and contravariant spinor indices α\alpha and β˙\dot{\beta}. - σνβ˙α\sigma_{\nu \dot{\beta} \alpha} is a Pauli matrix with three covariant indices (Lorentz index ν\nu and spinor indices β˙\dot{\beta} and α\alpha). - ημν\eta_{\mu \nu} is the covariant Minkowski metric.

theorem

σμαβ˙σνβ˙α+σναβ˙σμβ˙α=2ημνδαα\sigma^{\mu \alpha \dot{\beta}} \sigma_{\nu \dot{\beta} \alpha'} + \sigma^{\nu \alpha \dot{\beta}} \sigma_{\mu \dot{\beta} \alpha'} = 2 \eta^{\mu \nu} \delta^{\alpha}_{\alpha'}

#pauliContr_mul_pauliContrDown_add

In the framework of complex Lorentz tensors for SL(2,C)SL(2, \mathbb{C}), the Pauli matrices σ\sigma satisfy a symmetric anticommutation-like relation. For contravariant Lorentz indices μ,ν\mu, \nu, left-handed spinor indices α,α\alpha, \alpha', and a right-handed spinor index β˙\dot{\beta}, it holds that: σμαβ˙σνβ˙α+σναβ˙σμβ˙α=2ημνδαα \sigma^{\mu \alpha \dot{\beta}} \sigma_{\nu \dot{\beta} \alpha'} + \sigma^{\nu \alpha \dot{\beta}} \sigma_{\mu \dot{\beta} \alpha'} = 2 \eta^{\mu \nu} \delta^{\alpha}_{\alpha'} where ημν\eta^{\mu \nu} is the contravariant Minkowski metric and δαα\delta^\alpha_{\alpha'} is the unit tensor (Kronecker delta) for left-handed Weyl spinors.

theorem

σμβ˙ασναβ˙+σνβ˙ασμαβ˙=2ημνδβ˙β˙\sigma_{\mu \dot{\beta} \alpha} \sigma^{\nu \alpha \dot{\beta}'} + \sigma_{\nu \dot{\beta} \alpha} \sigma^{\mu \alpha \dot{\beta}'} = 2 \eta_{\mu}^{\nu} \delta_{\dot{\beta}}^{\dot{\beta}'}

#auliContrDown_pauliContr_mul_add

In the framework of complex Lorentz tensors for SL(2,C)SL(2, \mathbb{C}), the Pauli matrices σ\sigma satisfy the following anticommutation identity involving right-handed (dotted) spinor indices: σμβ˙ασναβ˙+σνβ˙ασμαβ˙=2ημμνδβ˙β˙β˙ \sigma_{\mu \dot{\beta} \alpha} \sigma^{\nu \alpha \dot{\beta}'} + \sigma_{\nu \dot{\beta} \alpha} \sigma^{\mu \alpha \dot{\beta}'} = 2 \eta_{\mu}^{\phantom{\mu}\nu} \delta_{\dot{\beta}}^{\phantom{\dot{\beta}}\dot{\beta}'} where: - μ,ν\mu, \nu are indices representing Lorentz vectors (covariant and contravariant respectively). - α\alpha is a left-handed (undotted) spinor index, over which the terms are contracted. - β˙,β˙\dot{\beta}, \dot{\beta}' are right-handed (dotted) spinor indices (covariant and contravariant respectively). - ημμν\eta_{\mu}^{\phantom{\mu}\nu} is the mixed Minkowski metric, acting as a Kronecker delta δμν\delta_{\mu}^{\nu} for vector indices. - δβ˙β˙β˙\delta_{\dot{\beta}}^{\phantom{\dot{\beta}}\dot{\beta}'} is the Kronecker delta (unit tensor) for right-handed Weyl spinors.