SID[mu]
can be used as input for D-1-dimensional \sigma^{\mu } with D-dimensional Lorentz index \mu and is transformed into
PauliSigma[LorentzIndex[mu,D],D-1]
by
FeynCalcInternal
.
Overview, PauliSigma, SI, SIE.
[\[Mu]] SID
\sigma ^{\mu }
[\[Mu], \[Nu]] - SID[\[Nu], \[Mu]] SID
\sigma ^{\mu }.\sigma ^{\nu }-\sigma ^{\nu }.\sigma ^{\mu }
StandardForm[FCI[SID[\[Mu]]]]
(*PauliSigma[LorentzIndex[\[Mu], D], -1 + D]*)
[\[Mu], \[Nu], \[Rho], \[Sigma]] SID
\sigma ^{\mu }.\sigma ^{\nu }.\sigma ^{\rho }.\sigma ^{\sigma }
[\[Mu], \[Nu], \[Rho], \[Sigma]] // StandardForm
SID
(*SID[\[Mu]] . SID[\[Nu]] . SID[\[Rho]] . SID[\[Sigma]]*)
[\[Alpha]] . (SISD[p] + m) . SID[\[Beta]] SID
\sigma ^{\alpha }.(m+\sigma \cdot p).\sigma ^{\beta }