ルート系

この項目では、数学におけるルート系について説明しています。植物の根系については「根」をご覧ください。

数学において，ルート系（英: root system，仏: système de racines）とはある幾何学的な性質を満たすユークリッド空間のベクトルの配置である．これはリー群やリー環の理論において基本的な概念である．リー群（や代数群のような類似物）やリー環は20世紀の間に数学の多くの部分で重要になってきたから，ルート系の一見すると特別な性質に反してそれらは多くの分野に応用される．さらに，ディンキン図形によるルート系の分類体系は（(特異点論)（英語版）のような）リー理論とあからさまなつながりの全くない数学の分野において現れる．最後に，ルート系はスペクトルグラフ理論におけるように，それ自身重要である^[1]．

定義と基本的な例

 

ルート系 A₂ の6つのベクトル．

最初の例として，図に示されているような，2次元ユークリッド空間 R² における6つのベクトルを考える．これらのベクトルは空間全体を張る．任意のルート β に垂直な直線を考えると，その直線による R² の鏡映は任意の他のルート α を別のルートに写す．さらに，写り先は α + nβ に等しい，ただし n は整数である（この場合 n は 1 である）．これら6つのベクトルは以下の定義を満たし，したがってルート系をなす；このルート系は A₂ と呼ばれる．

定義

V を有限次元ユークリッドベクトル空間とし，(・, ・) を標準ユークリッド内積とする．V のルート系 (root system) とは，非零ベクトルの有限集合 Φ であって，以下の条件を満たすもののことである^[2][3]：

1. 集合 Φ はベクトル空間 V を張る．
2. 任意の x ∈ Φ に対して，その実数倍で Φ に属するものは ±x のみ．
3. 任意の x ∈ Φ に対して，集合 Φ は x に垂直な超平面を通る鏡映で閉じている．
4. （整数性）任意の x, y ∈ Φ に対して，x を通る直線への y の射影は x の半整数倍である．

条件3と4を書く同値な方法は以下である：

3. 任意の x, y ∈ Φ に対して，集合 Φ は元 ${\displaystyle \sigma _{x}(y)=y-2{\tfrac {(x,y)}{(x,x)}}x}$  を含む．
4. 任意の x, y ∈ Φ に対して，数 ${\displaystyle \langle y,x\rangle :=2{\tfrac {(x,y)}{(x,x)}}}$  は整数である．

ルート系 Φ に含まれるベクトルはルート（root）と呼ばれる．著者によってはルート系の定義に条件2と3のみを課す^[4]．この文脈では，整数性（条件4）も満たすルート系は結晶的（crystallographic）と呼ばれる^[5]．別の著者は条件 2 を省く；このとき条件 2 を満たすルート系は被約（reduced）と呼ばれる^[6]．この記事では，すべてのルート系は被約かつ結晶的と仮定する．

性質3より，整数性条件は次のように述べても同値である：β とその鏡映 σ_α(β) との差は α の整数倍である．性質4によって定義される演算

${\displaystyle \langle \cdot ,\cdot \rangle \colon \Phi \times \Phi \to \mathbb {Z} }$ 

は内積ではないことに注意．対称であるとは限らず，第一変数についてのみ線型である．

階数 2 のルート系

ルート系 A1 × A1	ルート系 D2
ルート系 A2	ルート系 G2
ルート系 B2	ルート系 C2

ルート系 Φ の階数 (rank) は V の次元である．

2つのルート系は，それらの張るユークリッド空間を共通のユークリッド空間の互いに直交する部分空間と見ることで，つなげることができる．そのような結合から生じないルート系は既約 (irreducible) といわれる．例えば右に描かれているルート系 A₂, B₂, G₂ は既約である．

2つのルート系 (E₁, Φ₁) と (E₂, Φ₂) が同型 (isomorphic) であるとは，可逆な線型変換 E₁ → E₂ であって，Φ₁ と Φ₂ に送り，ルートの各対に対して，数 ⟨x, y⟩ が保たれるものが存在することをいう^[6]．

ルート系 Φ のルートに直交する超平面による鏡映によって生成される V の等長変換の群

${\displaystyle W=\langle \,\sigma _{\alpha }\mid \alpha \in \Phi \,\rangle }$ 

を Φ のワイル群と呼ぶ．ワイル群は有限集合 Φ に忠実に作用するから，必ず有限群である．

ルート系 Φ のルート格子 (root lattice) とは，Φ で生成される V の部分 Z 加群である．それは V の格子である．

階数 2 の例

階数 1 のルート系は1つしかない，すなわち2つの非零ベクトルからなる {α, −α} である．このルート系は A₁ と呼ばれる．

階数 2 では，σ_α(β) = β + nα, n = 0, 1, 2, 3 に応じて，4つの可能性がある^[7]．ルート系はそれが生成する格子によっては決定されないことに注意：A₁ × A₁ と B₂ はともに(正方格子)を生成するし，A₂ と G₂ はともに(六角格子)（英語版）を生成する．5種類ある(2次元格子)のうち2つだけである．

Φ が V のルート系で，U が Ψ = Φ ∩ U で張られる V の部分空間であるときにはいつでも，Ψ は U のルート系である．したがって，階数 2 の4つのルート系の完全なリストは，任意の階数のルート系から選ばれた任意の2つのルートの幾何学的可能性を示している．特に，2つのそのようなルートの角度は，必ず 0, 30, 45, 60, 90, 120, 135, 150, 180 度のいずれかである．

歴史

ルート系の概念は最初1889年頃(ヴィルヘルム・キリング)（英語版） (Wilhelm Killing) によって導入された（ドイツ語，Wurzelsystem^[8]）^[9]．彼は複素数体上のすべての単純リー環を分類しようとしたときにそれらを用いた．キリングはもともと分類で間違いを犯していて，例外型の階数 4 のルート系を2つ挙げていたが，実際には1つしかなく，今では F₄ と呼ばれるものである．カルタンが後にこの誤りを，キリングの2つのルート系が同型であることを示すことで，訂正した^[10]．

キリングはカルタン部分環（と今では呼ばれているもの）H を考えることによって，リー環 L の構造を研究した．そして彼は特性多項式 det(ad_Lx − t), ただし x ∈ H, の根を研究した．ここでここで「根」(root) は H の関数として考える，あるいは実際双対ベクトル空間 H^∗ の元として考える．根のこの集合は上で定義されたように H^∗ のルート系をなす，ただし内積はキリング形式である^[9]．

ルート系の公理の初等的な結果

 

⟨β, α⟩ に対する整数性条件は垂直線の1つの上の β に対してしか満たされず，⟨α, β⟩ に対する整数性条件は赤い円の1つの上の β に対してしか満たされない．（Y 軸上の）α に直交する任意の β は自明に両方を 0 で満たすが，既約ルート系を定義しない．
鏡映を法として，与えられた α に対し，β の非自明な可能性は5つしかなく，単純ルートの集合において α と β の間の可能な角度は3つしかない．サブスクリプトの文字は，与えられた β が最初のルートとして，α が二番目のルートとして（あるいは F₄ における中2つのルートとして）仕えることができるようなルート系の列に対応する．

2つのルートの間の角度の余弦は整数の平方根の半整数倍に制限される．なぜならば，⟨β, α⟩ と ⟨α, β⟩ はともに仮定により整数で，

${\displaystyle {\begin{aligned}\langle \beta ,\alpha \rangle \langle \alpha ,\beta \rangle &=2{\frac {(\alpha ,\beta )}{(\alpha ,\alpha )}}\cdot 2{\frac {(\alpha ,\beta )}{(\beta ,\beta )}}=4{\frac {(\alpha ,\beta )^{2}}{\vert \alpha \vert ^{2}\vert \beta \vert ^{2}}}\\&=4\cos ^{2}(\theta )=(2\cos(\theta ))^{2}\in \mathbb {Z} \end{aligned}}}$ 

であるからである．

2cosθ ∈ [−2, 2] であるから，cosθ として可能な値は 0, ±1/2, ±√3/2, ±√4/2 = ±1 のみであり，対応する角度は 90°, 60° あるいは 120°, 45° あるいは 135°, 30° あるいは 150°, 0° あるいは 180°, である．条件2により α のスカラー倍でルートになるのは 1 倍と −1 倍だけであり，0° あるいは 180° で，これらの角度は 2α や −2α には対応しない．

正ルートと単純ルート

ルート系 Φ が与えられると，必ず，正ルート（positive root）の集合を（何通りも）取ることができる．これは Φ の部分集合 Φ⁺ であって，以下を満たすものである：

• 各ルート α ∈ Φ に対して，ルート α と −α のうちちょうど1つが Φ⁺ に含まれる．
• 任意の2つの相異なる α, β ∈ Φ⁺ であって α + β がルートであるものに対して，α + β ∈ Φ⁺ である．

正ルートの集合 Φ⁺ が選ばれると， −Φ⁺ の元は負ルート（negative root）と呼ばれる．

Φ⁺ の元が単純ルート（simple root）であるとは，Φ⁺ の2つの元の和で書けないことをいう．単純ルート全体の集合 Δ は V の基底であって，Φ の任意のベクトルが係数がすべて非負かすべて非正の Δ の元の線型結合であるという性質を持つ^[11]．正ルートの各選択に対して，対応する単純ルートの集合は次のような一意的なルートの集合 Δ である：正ルート全体はちょうど，非負係数の Δ の元の線型結合として表せるもの全体であり，これらの線型結合は一意である．

ルートの半順序

 

E₆ ルート半順序集合のハッセ図．辺のラベルは足された単純ルートの位置．

正ルート全体の集合は α ≤ β を β − α が単純ルートの非負線型結合であることとして自然に順序付けられる．この半順序集合は

${\displaystyle \operatorname {deg} {\biggl (}\sum _{\alpha \in \Delta }\lambda _{\alpha }\alpha {\biggr )}=\sum _{\alpha \in \Delta }\lambda _{\alpha }}$ 

によって(次数付けられ)（英語版），多くの注目すべき組合せ論的性質を持つ．その1つはこの半順序集合から対応するワイル群の基本不変式の次数を決定できることである^[12]．ハッセグラフはルート半順序集合の順序の可視化である．

双対ルート系とコルート

「(ラングランズ双対群)（英語版）」も参照

Φ が V のルート系であるとき，ルート α のコルート α^∨ は

${\displaystyle \alpha ^{\vee }={2 \over (\alpha ,\alpha )}\,\alpha }$ 

によって定義される．コルートの集合も V のルート系 Φ^∨ をなし，双対ルート系（あるいはときどき逆ルート系）と呼ばれる．定義により (α^∨)^∨ = α であるから，Φ は Φ^∨ の双対ルート系である．Φ^∨ で張られる V の格子はコルート格子と呼ばれる．Φ と Φ^∨ は同じワイル群 W を持ち，s ∈ W に対して，

${\displaystyle (s\alpha )^{\vee }=s(\alpha ^{\vee })}$ 

である．Δ が Φ の単純ルートの集合であれば，Δ^∨ は Φ^∨ の単純ルートの集合である^[13]．

ディンキン図形によるルート系の分類

 

すべての既約ディンキン図形の絵

ルート系が既約であるとは，2つの真の部分集合の和集合 Φ = Φ₁ ∪ Φ₂ であって，すべての α ∈ Φ₁ と β ∈ Φ₂ に対して (α, β) = 0 となるようなものに分割できないことをいう．

既約ルート系は(イェヴゲニ・ディンキン)（英語版）にちなんで名づけられているディンキン図形というグラフと対応する．これらのグラフの分類は単純な組合せ論であり，既約ルート系の分類をもたらす．

ルート系が与えられたとき，前の節にあるように単純ルートの集合 Δ を選ぶ．付随するディンキン図形の頂点は Δ のベクトルに対応する．ベクトルの直交しない各対の間に辺が描かれる．なす角度が 2π/3 ラジアンのときは，無向の一重辺であり，3π/4 のときは有向二重辺であり，5π/6 のときは有向三重辺である．「有向辺」という用語は二重・三重辺は短い方のベクトルを指す記号が付けられることを意味する．

与えられたルート系の単純ルートの集合の可能性は1つではないが，ワイル群はそのような選び方に推移的に作用する^[14]．したがって，ディンキン図形は単純ルートたちの選び方には依らず，ルート系自身によって決定される．逆に，同じディンキン図形をもつ2つのルート系が与えられると，基底のルートから合わせ始めて，2つが実は同じであることを示すことができる．

したがってルート系の分類の問題は可能なディンキン図形の分類の問題に帰着する．ルート系が既約であることとそのディンキン図形が連結であることは同値である．ディンキン図形は基底 Δ のことばで E の内積の情報を持っており，この内積が正定値でなければならないという条件は所望の分類を得るのに必要なすべてであることが判明する．

実際の連結図形は以下のとおりである．サブスクリプトは図形の頂点の個数（したがって対応する既約ルート系の階数）を指し示す．

既約ルート系の性質

Φ	|Φ|	|Φ^<|	I	D	|W|
An (n ≥ 1)	n(n + 1)			n + 1	(n + 1)!
Bn (n ≥ 2)	2n^2	2n	2	2	2^n n!
Cn (n ≥ 3)	2n^2	2n(n − 1)	2^n−1	2	2^n n!
Dn (n ≥ 4)	2n(n − 1)			4	2^n − 1 n!
(E6)（英語版）	72			3	51840
(E7)（英語版）	126			2	2903040
E8（英語版）	240			1	696729600
(F4)（英語版）	48	24	4	1	1152
(G2)（英語版）	12	6	3	1	12

既約ルート系は対応する連結ディンキン図形にしたがって名づけられる．4つの無限族（A_n, B_n, C_n, D_n で，古典型ルート系と呼ばれる）と5つの例外的な場合（例外型ルート系）が存在する^[15]．サブスクリプトはルート系の階数を意味する．

既約ルート系において長さ (α, α)^1/2 の値は高々2種類であり，短いルートと長いルートである．すべてのルートが同じ長さを持っているときは長いと定義し，ルート系は simply laced といわれる．これは A, D, E の場合におこる．同じ長さの任意の2つのルートはワイル群の同じ軌道に入る．Simply laced でない場合 B, C, G, F では，ルート格子は短いルートによって張られ，長いルートは部分格子を張り，これはワイル群で不変で，コルート格子の r²/2 倍に等しい，ただし r は長いルートの長さである．

添付の表において，|Φ^<| は短いルートの個数を表し，I は長いルートによって生成される部分格子のルート格子における指数を表し，D はカルタン行列の行列式を表し，|W| はワイル群の位数を表す．

既約ルート系の明示的な構成

A_n

A₃

	e1	e2	e3	e4
α1	1	−1	0	0
α2	0	1	−1	0
α3	0	0	1	−1

V を座標の和が 0 になる Rⁿ⁺¹ の部分空間とし，Φ を V の長さ √2 の整数ベクトルすなわち Rⁿ⁺¹ において整数座標を持つベクトル全体の集合とする．そのようなベクトルは2つを除くすべての座標が 0 で，1つの座標は 1 で，1つは −1 でなければならず，したがって全部で n² + n 個のルートがある．単純ルートの取り方の1つを標準基底で表すと：1 ≤ i ≤ n に対して α_i = e_i − e_i+1.

α_i に垂直な超平面を通る鏡映 σ_i は隣り合う i 番目と (i + 1) 番目の置換と同じである．そのような互換は全置換群を生成する．隣り合う単純ルートに対して，

σ_i(α_i+1) = α_i+1 + α_i

= σ_i+1(α_i) = α_i + α_i+1

である，つまり，鏡映は1倍を足すことに等しい．しかし，隣り合わない単純ルートに垂直な単純ルートの鏡映はそれを変えず，0倍を引くことである．

A_n ルート格子，つまり A_n ルートによって生成される格子は，成分の和が 0 である Rⁿ⁺¹ の整数ベクトルの集合として最も容易に記述される．

A₃ ルート格子は結晶学者に面心立方 (fcc)（あるいは立方最密）格子と呼ばれている^[16]．

 

ゾムツール・システムにおける A₃ ルート系の模型．

A₃ ルート系は（他の階数 3 のルート系も）ゾムツール・コンストラクション・セットで模型を作れる^[17]．

B_n

B₄

1	−1	0	0
0	1	−1	0
0	0	1	−1
0	0	0	1

V = Rⁿ とし，Φ を V の長さ 1 か √2 のすべての整数ベクトルからなるとする．ルートの総数は 2n² である．単純ルートたちの1つの選び方は：1 ≤ i ≤ n − 1 に対して α_i = e_i − e_i+1 と（A_{n − 1} に対する上の単純ルートの取り方），短ルート α_n = e_n である．

短ルート α_n に垂直な超平面に関する鏡映 σ_n はもちろん単に n 番目の座標の −1 倍である．長単純ルート α_{n − 1} に対し，σ_n−1(α_n) = α_n + α_n−1 であるが，短ルートに垂直な鏡映に対しては，σ_n(α_n−1) = α_n−1 + 2α_n であり，1倍ではなく2倍である．

B_n ルート格子，つまり，B_n ルートによって生成される格子は，すべての整数ベクトルからなる．

B₁ は √2 によるスケーリングによって，A₁ に同型であり，したがって異なるルート系ではない．

C_n

C₄

1	−1	0	0
0	1	−1	0
0	0	1	−1
0	0	0	2

V = Rⁿ とし，Φ を長さ √2 の V のすべての整数ベクトルと，λ を長さ 1 の整数ベクトルとして 2λ の形のすべてのベクトルからなるとする．ルートの総数は 2n² である．単純ルートの1つの選び方は：1 ≤ i ≤ n − 1 に対して α_i = e_i − e_i+1 と（A_{n − 1} に対する単純ルートの上の選び方），長い方のルート α_n = 2e_n である．

鏡映 σ_n(α_n−1) = α_n−1 + α_n であるが，σ_n−1(α_n) = α_n + 2α_n−1 である．

C_n ルート格子，つまり C_n ルートによって生成される格子は，成分の和が偶数な整数ベクトル全てからなる．

C₂ は √2 によるスケーリングと 45 度の回転によって B₂ と同型であり，したがって相異なるルート系ではない．

 
ルート系 B₃, C₃, A₃ = D₃ を立方体と正八面体の中の点として描いたもの

D_n

D₄

1	−1	0	0
0	1	−1	0
0	0	1	−1
0	0	1	1

V = Rⁿ とし，Φ を長さ √2 の V のすべての整数ベクトルからなるとする．ルートの総数は 2n(n − 1) である．単純ルートたちの1つの選び方は：1 ≤ i < n − 1 に対して α_i = e_i − e_i+1 と（A_{n − 1} に対する単純ルートの上の選び方），α_n = e_n + e_n−1 である．

α_n に垂直な超平面を通る鏡映は隣り合う n 番目と n − 1 番目の座標を入れ替え −1 倍するのと同じである．任意の単純ルートと別の単純ルートに垂直なその鏡映との差は二番目のルートの0倍か1倍であり，それより大きくはない．

D_n ルート格子，つまり，D_n ルートによって生成される格子は，成分の和が偶数であるような整数ベクトル全部からなる．これは C_n ルート格子と同じである．

D₃ は A₃ と一致し，したがって相異なるルート系ではない．

D₄ は (triality)（英語版） と呼ばれる追加の対称性を持つ．

E₆, E₇, E₈

(122)（英語版） の 72 個の頂点は (E6)（英語版） のルートベクトルを表す （緑の頂点はこの E6 コクセター平面射影では倍増にされている）	(231)（英語版） の 126 個の頂点は (E7)（英語版） のルートベクトルを表す	(421)（英語版） の 240 個の頂点は E8（英語版） のルートベクトルを表す

• E₈ ルート系は次の集合に合同な R⁸ のベクトルの任意の集合である：

${\displaystyle \mathrm {D} _{8}\cup \left\{{\frac {1}{2}}\sum _{i=1}^{8}\varepsilon _{i}\mathbf {e} _{i}:\varepsilon _{i}=\pm 1,\varepsilon _{1}\dotsm \varepsilon _{8}=+1\right\}.}$ 

このルート系は240個のルートを持つ．いま挙げた集合は，E₈ ルート格子の長さ √2 のベクトル全部の集合である．この格子は単に (E₈ 格子)（英語版）や Γ₈ とも呼ばれる．これは R⁸ の次のような点全体の集合である：

1. すべての座標が整数であるか，あるいは，すべての座標が整数でない半整数であり，
2. 8つの座標の和は偶数である．

したがって，

${\displaystyle \mathrm {E} _{8}=\left\{\mathbf {\alpha } \in \mathbf {Z} ^{8}\cup \left(\mathbf {Z} +{\frac {1}{2}}\right)^{8}:|\mathbf {\alpha } |^{2}=\sum \mathbf {\alpha } _{i}^{2}=2,\sum \mathbf {\alpha } _{i}\in 2\mathbf {Z} \right\}.}$ 

• ルート系 E₇ は，E₈ の固定された1つのルートに垂直な E₈ のベクトル全部の集合である．ルート系 E₇ は126個のルートを持つ．
• ルート系 E₆ は，E₇ の固定された1つのルートに垂直な E₇ のベクトル全部の集合ではない，実際，そのようにして D₆ を得る．しかしながら，E₆ は E₈ の適切に選ばれた2つのルートに垂直な E₈ の部分系である．ルート系 E₆ は72個のルートを持つ．

E₈ の単純ルート: 偶座標

1	−1	0	0	0	0	0	0
0	1	−1	0	0	0	0	0
0	0	1	−1	0	0	0	0
0	0	0	1	−1	0	0	0
0	0	0	0	1	−1	0	0
0	0	0	0	0	1	−1	0
0	0	0	0	0	1	1	0
−½	−½	−½	−½	−½	−½	−½	−½

特に便利な E₈ 格子の別の記述は，R⁸ のつぎのような全ての点の集合 Γ'₈ である：

• すべての座標は整数であり，座標の和は偶数である，あるいは，
• すべての座標は整数でない半整数であり，座標の和は奇数である．

格子 Γ₈ と Γ'₈ は同型である；一方から他方へ，任意の奇数個の座標の符号を変えることによって行ける．格子 Γ₈ は E₈ の偶座標系と呼ばれることがあり，格子 Γ'₈ は奇座標系と呼ばれることがある．

E₈ に対する単純ルートの1つの選び方は，上のディンキン図形での頂点の順序によって行を順序づけた偶座標系において：

1 ≤ i ≤ 6 に対して α_i = e_i − e_i+1 と

α₇ = e₇ + e₆

（ D₇ に対する単純ルートの上の選び方）と

α₈ = β₀ = −1/2∑8
i=1 e_i = (−1/2, −1/2, −1/2, −1/2, −1/2, −1/2, −1/2, −1/2).

E₈ の単純ルート: 奇座標

1	−1	0	0	0	0	0	0
0	1	−1	0	0	0	0	0
0	0	1	−1	0	0	0	0
0	0	0	1	−1	0	0	0
0	0	0	0	1	−1	0	0
0	0	0	0	0	1	−1	0
0	0	0	0	0	0	1	−1
−½	−½	−½	−½	−½	½	½	½

E₈ に対する単純ルートの1つの選び方は，上のディンキン図形での頂点の順序によって行を順序づけた奇座標系において：

1 ≤ i ≤ 7 に対して α_i = e_i − e_i+1

（A₇ に対する単純ルートの上の選び方）と

α₈ = β₅, ただし

β_j = 1/2(−∑j
i=1 e_i + ∑8
i=j+1 e_i).

（β₃ を使っても同型な結果を与える．β_1,7 あるいは β_2,6 を使うと単に A₈ あるいは D₈ を与える．β₄ については，その座標の和は 0 であり，同じことは α_1...7 に対しても正しく，したがってそれらは座標の和が 0 になる 7 次元部分空間しか張らない；実は −2β₄ は基底 (α_i) において座標 (1, 2, 3, 4, 3, 2, 1) を持つ．）

α₁ との直交性は最初の2つの座標が等しいことを意味するから，E₇ は最初の2つの座標が等しい E₈ の部分集合であり，同様に E₆ は最初の3つの座標が等しい E₈ の部分集合である．これは E₇ と E₆ の明示的な定義を容易にする：

E₇ = {α ∈ Z⁷ ∪ (Z+½)⁷ : ∑α_i² + α₁² = 2, ∑α_i + α₁ ∈ 2Z},

E₆ = {α ∈ Z⁶ ∪ (Z+½)⁶ : ∑α_i² + 2α₁² = 2, ∑α_i + 2α₁ ∈ 2Z}.

α₁ を消して α₂ を消すと，E₇ と E₆ の単純ルートの集合を与えることに注意．しかしながら，単純ルートのこれらの集合は上に書いたのとは異なる E₈ の E₇ および E₆ 部分空間に属する，なぜならばそれらは α₁ あるいは α₂ に直交しないからである．

F₄

F₄ の単純ルート

1	−1	0	0
0	1	−1	0
0	0	1	0
−½	−½	−½	−½

 

(コクセター平面)（英語版）で見た，正二十四胞体（英語版）とその双対の頂点によって定義された，F₄ の 48 個のルートベクトル

F₄ に対して，V = R⁴ とし，Φ を長さが 1 か √2 のベクトル α であって 2α の座標がすべて整数ですべて偶数かすべて奇数なもの全体の集合とする．この系には48個のルートがある．単純ルートの1つの選び方は：B₃ に対して上で与えられた単純ルートの選び方と，α₄ = −(1/2)∑4
i=1  e_i.

F₄ ルート格子，つまり F₄ ルート系によって生成される格子は，R₄ の点であってすべての座標が整数であるかまたはすべての座標が整数でない半整数であるようなもの全体の集合である．この格子は(フルヴィッツ四元数)（英語版）の格子に同型である．

G₂

G₂ の単純ルート

1	−1	0
−1	2	−1

ルート系 G₂ は12個のルートを持ち，六芒星の頂点をなす．上の絵を参照．

単純ルートの1つの選び方は：(α₁, β = α₂ − α₁), ただし i = 1, 2 に対して α_i = e_i − e_i+1 は A₂ に対する単純ルートの上の選び方である．

G₂ ルート格子，つまり，G₂ ルートによって生成される格子は，A₂ ルート格子と同じである．

ルート系とリー理論

既約ルート系はリー理論におけるいくつかの関連した対象を分類する，特に

• 以下を含む単純リー群（(単純リー群一覧)（英語版）を参照）：
  • 複素単純リー群；
  • 付随する複素単純リー環；
  • 中心で割って単純な単連結複素リー群．

各場合において，ルートは随伴表現の非零ウェイトである．

極大トーラス T をもつ単連結単純コンパクトリー群 G の場合には，ルート格子は自然に Hom(T, T) と同一視でき，コルート格子は Hom(T, T) とできる，ただし T は円周群である；Adams (1983) を参照．

例外型ルート系とそれらのリー群とリー環との関係は，E₈（英語版）, (E₇)（英語版）, (E₆)（英語版）, (F₄)（英語版）, (G₂)（英語版） を参照．

関連項目

• (ADE分類)（英語版）
• アファインルート系
• (コクセター・ディンキン図形)（英語版）
• コクセター群
• コクセター行列
• ディンキン図形
• (ルートデータ)（英語版）
• 半単純リー環のルート系
• ワイル群

脚注

[脚注の使い方]

1. ^ “Graphs with least eigenvalue −2; a historical survey and recent developments in maximal exceptional graphs”. Linear Algebra and its Applications 356: 189–210. doi:10.1016/S0024-3795(02)00377-4. http://www.sciencedirect.com/science/article/pii/S0024379502003774. 
2. ^ Bourbaki 2002, Ch. VI, Section 1.
3. ^ Humphreys 1972, p. 42.
4. ^ Humphreys 1992, p. 6.
5. ^ Humphreys 1992, p. 39.
6. ^ ^{a b} Humphreys 1972, p. 43.
7. ^ Hall 2015, Proposition 8.8.
8. ^ Killing 1889.
9. ^ ^{a b} Bourbaki 1998, p. 270.
10. ^ Coleman 1989, p. 34.
11. ^ Hall 2015, Theorem 8.16.
12. ^ Humphreys 1992, Theorem 3.20.
13. ^ Hall 2015, Proposition 8.18.
14. ^ これは Hall 2015 Proposition 8.23 から従う．
15. ^ Hall, Brian C. (2003), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Springer, ISBN (0-387-40122-9) .
16. ^ Conway, John Horton; Sloane, Neil James Alexander; & Bannai, Eiichi. Sphere packings, lattices, and groups. Springer, 1999, Section 6.3.
17. ^ Hall 2015, Section 8.9.

参考文献

• (Adams, J.F.) (1983), Lectures on Lie groups, University of Chicago Press, ISBN (0-226-00530-5) 
• Bourbaki, Nicolas (2002), Lie groups and Lie algebras, Chapters 4–6 (translated from the 1968 French original by Andrew Pressley), Elements of Mathematics, Springer-Verlag, ISBN (3-540-42650-7) . The classic reference for root systems.
• Bourbaki, Nicolas (1998). Elements of the History of Mathematics. Springer. ISBN (3540647678) 
• Coleman, A.J. (Summer 1989), “The greatest mathematical paper of all time”, The Mathematical Intelligencer 11 (3): 29–38, doi:10.1007/bf03025189 
• Hall, Brian C. (2015), Lie groups, Lie algebras, and representations: An elementary introduction, Graduate Texts in Mathematics, 222 (2nd ed.), Springer, ISBN (978-3-319-13466-6) 
• Humphreys, James (1992). Reflection Groups and Coxeter Groups. Cambridge University Press. ISBN (0521436133) 
• (Humphreys, James) (1972). Introduction to Lie algebras and Representation Theory. Springer. ISBN (0387900535) 
• Killing, Die Zusammensetzung der stetigen endlichen Transformationsgruppen Mathematische Annalen, Part 1: Volume 31, Number 2 June 1888, Pages 252-290 doi:10.1007/BF01211904; Part 2: Volume 33, Number 1 March 1888, Pages 1–48 doi:10.1007/BF01444109; Part3: Volume 34, Number 1 March 1889, Pages 57–122 doi:10.1007/BF01446792; Part 4: Volume 36, Number 2 June 1890,Pages 161-189 doi:10.1007/BF01207837
• Kac, Victor G. (1994), Infinite dimensional Lie algebras .
• Springer, T.A. (1998). Linear Algebraic Groups, Second Edition. Birkhäuser. ISBN (0817640215) 

関連文献

• Dynkin, E. B. The structure of semi-simple algebras. （ロシア語） Uspehi Matem. Nauk (N.S.) 2, (1947). no. 4(20), 59–127.

外部リンク

   ウィキメディア・コモンズには、ルート系に関するカテゴリがあります。