半単純リー環のルート系

数学において，被約抽象ルート系と半単純リー環の間には1対1の対応がある．ここで半単純リー環のルート系の構成，そして逆に，被約抽象ルート系からの半単純リー環の構成，が示される．

付随するルート系

g を複素半単純リー環とする．さらに hを gのカルタン部分環とする．このとき hは gに随伴表現において同時対角化可能な線型写像として作用する．h* の元 λ に対して，部分空間 g_λ ⊂ gを

${\displaystyle {\mathfrak {g}}_{\lambda }:=\{X\in {\mathfrak {g}}:[H,X]=\lambda ($H)X{\text{ for all }}H\in {\mathfrak {h}}\}} ${\mathfrak {g}}_{\lambda }:=\{X\in {\mathfrak {g}}:[H,X]=\lambda (H)X{\text{ for all }}H\in {\mathfrak {h}}\}$
で定義する．h* の零でない λ がルートであるとは，部分空間 g_λ が自明でないことをいう．このとき g_λ は λ のルート空間と呼ばれる．カルタン部分環の定義により g₀ = hが保証される．各ルート空間 g_λ は1次元であることを示すことができる．R をすべてのルートの集合とする．h の元は同時対角化可能であるから，次が成り立つ‥

${\mathfrak {g}}={\mathfrak {h}}\oplus \bigoplus _{\lambda \in R}{\mathfrak {g}}_{\lambda }.$${\mathfrak {g}}={\mathfrak {h}}\oplus \bigoplus _{\lambda \in R}{\mathfrak {g}}_{\lambda }.$
カルタン部分環 hは g上のキリング形式から内積を引き継ぐ．これは h* 上の内積を誘導する．この内積について Rは被約抽象ルート系であることを示すことができる．

付随する半単純リー環

E をユークリッド空間とし，R を Eの被約抽象ルート系とする．さらに Δ を単純ルートたちのある選択とする．次の生成元と関係式で複素リー環を定義する．生成元‥

$H_{\lambda },X_{\lambda },Y_{\lambda }{\text{ for }}\lambda \in \Delta ,$$H_{\lambda },X_{\lambda },Y_{\lambda }{\text{ for }}\lambda \in \Delta ,$
シュバレー・セール関係式‥

${\begin{aligned}[][H_{\lambda },H_{\mu }]&=0{\text{ for all }}\lambda ,\mu \in \Delta ,\\\left[H_{\lambda },X_{\mu }\right]&=(\lambda ,\mu )X_{\mu },\\\left[H_{\lambda },Y_{\mu }\right]&=-(\lambda ,\mu )Y_{\mu },\\\left[X_{\mu },Y_{\lambda }\right]&=\delta _{\mu \lambda }H_{\mu },\\\mathrm {ad} _{X_{\lambda }}^{-(\mu ,\lambda )+1}X_{\mu }&=0{\text{ for }}\lambda \neq \mu ,\\\mathrm {ad} _{Y_{\lambda }}^{-(\mu ,\lambda )+1}Y_{\mu }&=0{\text{ for }}\lambda \neq \mu .\end{aligned}}$${\begin{aligned}[][H_{\lambda },H_{\mu }]&=0{\text{ for all }}\lambda ,\mu \in \Delta ,\\\left[H_{\lambda },X_{\mu }\right]&=(\lambda ,\mu )X_{\mu },\\\left[H_{\lambda },Y_{\mu }\right]&=-(\lambda ,\mu )Y_{\mu },\\\left[X_{\mu },Y_{\lambda }\right]&=\delta _{\mu \lambda }H_{\mu },\\\mathrm {ad} _{X_{\lambda }}^{-(\mu ,\lambda )+1}X_{\mu }&=0{\text{ for }}\lambda \neq \mu ,\\\mathrm {ad} _{Y_{\lambda }}^{-(\mu ,\lambda )+1}Y_{\mu }&=0{\text{ for }}\lambda \neq \mu .\end{aligned}}$
︵ここで (λ, μ) で表されている係数はカルタン行列の係数で置き換えられなけるべきである．︶生成されるリー環は半単純でありそのルート系は与えられた Rに同型であることが分かる．

応用

同型により，半単純リー環の分類は被約抽象ルート系を分類するいくぶん簡単な仕事に帰着される．

参考文献

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Root system underlying a semi-simple Lie algebraの本文を含む

• Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, 222 (2nd ed.), Springer 
• V.S. Varadarajan, Lie groups, Lie algebras, and their representations, GTM, Springer 1984.

外部リンク

• Hazewinkel, Michiel, ed. (2001), “Coxeter group”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Coxeter_group 
• Weisstein, Eric W. "Coxeter group". mathworld.wolfram.com (英語).
• Jenn software for visualizing the Cayley graphs of finite Coxeter groups on up to four generators, http://www.jenn3d.org/index.html 
• Popov, V.L.; Fedenko, A.S. (2001), “Weyl group”, Encyclopaedia of Mathematics, SpringerLink, https://www.encyclopediaofmath.org/index.php/Lie_algebra,_semi-simple