スピン群
ウィキペディア フリーな encyclopedia
数学 において、 スピン群(スピンぐん、英: spin group) Spin(n) は特殊直交群 SO(n) の二重被覆であり、従って、以下に記すリー群の短完全系列が存在する。
n > 2 に対し、Spin(n) は単連結であり、よって SO(n) の普遍被覆である。 従って、リー群 Spin(n) の次元は n(n − 1)/2 と特殊直交群と同じであり、リー環も特殊直交群のものと同じである。
Spin(n) は、クリフォード多元環 Cℓ(n) の乗法可逆元からなる部分群として構成できる。 n 次元実ユークリッド空間 Rn の標準的正値 2 次形式に対するクリフォード多元環および偶クリフォード多元環を夫々 Cℓ(n)、Cℓ0(n) と書く。 Cℓ(n) の乗法可逆元全体 Cℓ(n)× は乗法群になり、Cℓ0(n) の乗法可逆元全体 Cℓ0(n)× はその部分群になる。 X∈Cℓ(n)× に対して、
- ψX : Cℓ(n)∋ Y → XYX−1∈Cℓ(n)
は Cℓ(n) の内部自己同型である。 一般クリフォード群
- Γ(n)={X∈Cℓ(n)×|ψX(Rn)⊆Rn}
は、Cℓ(n)× の部分群で、特殊クリフォード群
- Γ0(n)=Γ(n)∩Cℓ0(n)×
も部分群である。 Cℓ(n) の主逆自己同型を J と書くとき、X∈Γ(n) のノルム
- ν(X)=XJ(X)
は Cℓ(n) の中心の可逆元である。 準同型としてのノルム写像 ν の Γ0(n) への制限の核 Ker(ν|Γ0(n)) は、Spin(n) になる。