Pauli matrices
2表現で変換する場に対する生成子は （a=1,2,3; σ はパウリ行列）であり、ヒッグス場に対する共変微分は