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

定義と基本的な例

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

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

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

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

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

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

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

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

2つのルート系  と  が同型 (isomorphic) であるとは，可逆な線型変換  であって， と  に送り，ルートの各対に対して，数  が保たれるものが存在することをいう．

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

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

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

階数 2 の例

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

階数 2 では，,  に応じて，4つの可能性がある．ルート系はそれが生成する格子によっては決定されないことに注意： と  はともに正方格子を生成するし， と  はともにを生成する．5種類ある2次元格子のうち2つだけである．

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

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

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

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

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

であるからである．

 であるから， として可能な値は  のみであり，対応する角度は ,  あるいは ,  あるいは ,  あるいは ,  あるいは , である．条件2により  のスカラー倍でルートになるのは  倍と  倍だけであり， あるいは  で，これらの角度は  や  には対応しない．

正ルートと単純ルート
ルート系  が与えられると，必ず，正ルート（positive root）の集合を（何通りも）取ることができる．これは  の部分集合  であって，以下を満たすものである：
 各ルート  に対して，ルート  と  のうちちょうど1つが  に含まれる．
 任意の2つの相異なる  であって  がルートであるものに対して， である．

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

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

ルートの半順序

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

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

双対ルート系とコルート

 が  のルート系であるとき，ルート  のコルート  は

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

である． が  の単純ルートの集合であれば， は  の単純ルートの集合である．

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

ルート系が既約であるとは，2つの真の部分集合の和集合  であって，すべての  と  に対して  となるようなものに分割できないことをいう．

既約ルート系はにちなんで名づけられているディンキン図形というグラフと対応する．これらのグラフの分類は単純な組合せ論であり，既約ルート系の分類をもたらす．

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

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

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

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

既約ルート系の性質

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

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

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

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

An

 を座標の和が  になる  の部分空間とし， を  の長さ  の整数ベクトルすなわち  において整数座標を持つベクトル全体の集合とする．そのようなベクトルは2つを除くすべての座標が  で，1つの座標は  で，1つは  でなければならず，したがって全部で  個のルートがある．単純ルートの取り方の1つを標準基底で表すと： に対して .

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

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

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

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

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

Bn

 とし， を  の長さ  か  のすべての整数ベクトルからなるとする．ルートの総数は  である．単純ルートたちの1つの選び方は： に対して  と（ に対する上の単純ルートの取り方），短ルート  である．

短ルート  に垂直な超平面に関する鏡映  はもちろん単に  番目の座標の  倍である．長単純ルート  に対し， であるが，短ルートに垂直な鏡映に対しては， であり，1倍ではなく2倍である．

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

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

Cn

 とし， を長さ  の  のすべての整数ベクトルと， を長さ  の整数ベクトルとして  の形のすべてのベクトルからなるとする．ルートの総数は  である．単純ルートの1つの選び方は： に対して  と（A に対する単純ルートの上の選び方），長い方のルート  である．

鏡映  であるが， である．

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

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

ルート系  を立方体と正八面体の中の点として描いたもの

Dn

 とし， を長さ  の  のすべての整数ベクトルからなるとする．ルートの総数は  である．単純ルートたちの1つの選び方は： に対して  と（A に対する単純ルートの上の選び方）， である．

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

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

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

 は  と呼ばれる追加の対称性を持つ．

E6, E7, E8

 ルート系は次の集合に合同な  のベクトルの任意の集合である：
 
このルート系は240個のルートを持つ．いま挙げた集合は， ルート格子の長さ  のベクトル全部の集合である．この格子は単に や  とも呼ばれる．これは  の次のような点全体の集合である：
すべての座標が整数であるか，あるいは，すべての座標が整数でない半整数であり，
8つの座標の和は偶数である．
したがって，

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

特に便利な  格子の別の記述は， のつぎのような全ての点の集合  である：
すべての座標は整数であり，座標の和は偶数である，あるいは，
すべての座標は整数でない半整数であり，座標の和は奇数である．
格子  と  は同型である；一方から他方へ，任意の奇数個の座標の符号を変えることによって行ける．格子  は  の偶座標系と呼ばれることがあり，格子  は奇座標系と呼ばれることがある．

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

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

 に対する単純ルートの1つの選び方は，上のディンキン図形での頂点の順序によって行を順序づけた奇座標系において：
 に対して 
（ に対する単純ルートの上の選び方）と
, ただし
.
（ を使っても同型な結果を与える． あるいは  を使うと単に  あるいは  を与える． については，その座標の和は  であり，同じことは  に対しても正しく，したがってそれらは座標の和が  になる 7 次元部分空間しか張らない；実は  は基底  において座標  を持つ．）

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

E7 = {α ∈  Z7 ∪ (Z+½)7 :  ∑αi2 + α12 = 2, ∑αi + α1 ∈ 2Z},
E6 = {α ∈  Z6 ∪ (Z+½)6 :  ∑αi2 + 2α12 = 2, ∑αi + 2α1 ∈ 2Z}.

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

F4

 に対して， とし， を長さが  か  のベクトル  であって  の座標がすべて整数ですべて偶数かすべて奇数なもの全体の集合とする．この系には48個のルートがある．単純ルートの1つの選び方は： に対して上で与えられた単純ルートの選び方と，.

 ルート格子，つまり  ルート系によって生成される格子は， の点であってすべての座標が整数であるかまたはすべての座標が整数でない半整数であるようなもの全体の集合である．この格子はの格子に同型である．

G2

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

単純ルートの1つの選び方は：, ただし  に対して  は  に対する単純ルートの上の選び方である．

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

ルート系とリー理論
既約ルート系はリー理論におけるいくつかの関連した対象を分類する，特に
以下を含む単純リー群（を参照）：
複素単純リー群；
付随する複素単純リー環；
中心で割って単純な単連結複素リー群．
各場合において，ルートは随伴表現の非零ウェイトである．

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

例外型ルート系とそれらのリー群とリー環との関係は，, , , ,  を参照．

関連項目

アファインルート系

コクセター群
コクセター行列
ディンキン図形

半単純リー環のルート系
ワイル群

脚注

参考文献

. The classic reference for root systems.

Killing, Die Zusammensetzung der stetigen endlichen Transformationsgruppen Mathematische Annalen, Part 1: Volume 31, Number 2  June 1888, Pages 252-290 ; Part 2: Volume 33, Number 1 March 1888, Pages 1–48 ; Part3: Volume 34, Number 1  March 1889, Pages 57–122 ; Part 4: Volume 36, Number 2  June 1890,Pages 161-189 
 .

関連文献
 Dynkin, E. B.  The structure of semi-simple algebras.  Uspehi Matem. Nauk (N.S.) 2, (1947). no. 4(20), 59–127.

外部リンク
 

ユークリッド幾何学
リー群論
リー環論
数学に関する記事