一、洛伦兹群
洛伦兹群SO(3,1)为闵可夫斯基空间的保度规群,其定义为ΛηΛᵀ=η,其中η=diag(1,-1,-1,-1)。6个自由度分为3个旋转自由度和3个推动自由度,旋转生成元J=σ/2,推动生成元K=iσ/2(这里省略了J和K和σ的指标),其中σ是带指标的三个泡利矩阵。
其旋转变换表达为R=exp(iα•J),
推动变换表达为B=exp(iβ•Κ),
则一般形式的洛伦兹变换
Λ=exp(iα•J+iβ•Κ)
=exp(iσ/2)•(α+iβ)
=exp(iσ/2)•{θexp(iφ)}
对应新的生成元定义为σ•exp(iφ)/2和σ•exp(-iφ)/2,
对应复四元数A₀exp(iφ₀)+A₁exp(iφ₁)i+A₂ exp(iφ₂)j+A₃exp(iφ₃)k,复四元数的实部代表旋转部分,虚部代表推动部分,而且可以看到φ并不会影响其模长,也就是不会影响其拉格朗日量。同时,由于复数的存在,自然而然引出了自旋的概念,exp(iφ)和exp(-iφ)分别表示自旋的两个方向,即左手和右手,也引出了旋量的概念。

洛伦兹群SO(3,1)为闵可夫斯基空间的保度规群,其定义为ΛηΛᵀ=η,其中η=diag(1,-1,-1,-1)。6个自由度分为3个旋转自由度和3个推动自由度,旋转生成元J=σ/2,推动生成元K=iσ/2(这里省略了J和K和σ的指标),其中σ是带指标的三个泡利矩阵。
其旋转变换表达为R=exp(iα•J),
推动变换表达为B=exp(iβ•Κ),
则一般形式的洛伦兹变换
Λ=exp(iα•J+iβ•Κ)
=exp(iσ/2)•(α+iβ)
=exp(iσ/2)•{θexp(iφ)}
对应新的生成元定义为σ•exp(iφ)/2和σ•exp(-iφ)/2,
对应复四元数A₀exp(iφ₀)+A₁exp(iφ₁)i+A₂ exp(iφ₂)j+A₃exp(iφ₃)k,复四元数的实部代表旋转部分,虚部代表推动部分,而且可以看到φ并不会影响其模长,也就是不会影响其拉格朗日量。同时,由于复数的存在,自然而然引出了自旋的概念,exp(iφ)和exp(-iφ)分别表示自旋的两个方向,即左手和右手,也引出了旋量的概念。
