ディンキン図形

リー理論という数学の分野において、ディンキン図形とは、二重あるいは三重の辺を持ち得るグラフの一種であり、イェヴゲニ・ディンキン  にちなんで名づけられた。多重辺は制約条件により有向である。

ディンキン図形は代数閉体上の半単純リー環を分類する手段として主に興味を持たれている。これはワイル群を生じる、すなわち多くの有限鏡映群を生じる。ディンキン図形は他の文脈においても現れる。

「ディンキン図形」という用語には曖昧さがある。ある場合にはディンキン図形は有向であると仮定され、この場合それらはルート系や半単純リー環に対応するが、他の場合には有向でないと仮定され、この場合ワイル群に対応する；有向図形 Bsub, Csub は同じ無向図形を生じ、これは BCsub と呼ばれる。この記事では、「ディンキン図形」は「向き付けられた」ディンキン図形を意味し、「向き付けられていない」ディンキン図形は明示的にそう呼ぶ。

Image:Finite Dynkin diagrams.svg|有限ディンキン図形 Image:Affine Dynkin diagrams.png|アファインディンキン図形

1. 半単純リー環の分類
------------

ディンキン図形の基本的な興味はそれらが代数閉体上の半単純リー環を分類することである。そのようなリー環はそのルート系を通じて分類され、それはディンキン図形によって表せる。そしてディンキン図形は満たさなければならない制約条件によって下記のように分類される。

グラフの辺の向きを落とすことはルート系をそれが生成する有限鏡映群、いわゆるワイル群で置き換えることに対応し、したがって無向ディンキン図形はワイル群を分類する。

2. 関連した分類
---------

ディンキン図形は多くの異なる関係する対象を分類すると解釈でき、表記 "A//n//, B//n//, ...}}" は文脈に応じて「すべての」そのような解釈を指すのに使われる；この曖昧さは混乱のもととなりうる。

中心的な分類は、単純リー環はルート系を持ち、それに付随してディンキン図形があることである；これら3つは全て例えば B//n//}} と呼ばれる。

「無」向ディンキン図形はコクセター図形の形であり、ワイル群と対応し、これはルート系に付随する有限鏡映群である。したがって B//n//}} は無向図式、ワイル群、あるいは抽象的なコクセター群も意味する。

ワイル群は抽象的にコクセター群と同型であるが、同型写像は単純ルートの順序付きの選び方に依存することに注意。ディンキン図形の表記は標準的なものがあるが、コクセター図形・群の表記は様々で、ディンキン図形の表記と一致することもしないこともあることにも注意。

最後に、付随する対象が同じ表記で呼ばれることも「時には」あるが、これはつねに規則正しくされるわけではない。例えば：

ルート系によって生成されるルート格子、例えば E8格子。これは自然に定義されるが、1対1ではない――例えば、A2}} と G2}} はともに六角格子を生成する。
付随する多胞体――例えば Gosset 4 21 polytope は "the E8 polytope" とも呼ばれる。その頂点は E8}} ルート系から生じ、対称変換群として E8}} コクセター群を持つからである。
付随する二次形式あるいは多様体――例えば、E8多様体は E8}} 格子で与えられる交叉形式を持つ。これら後者の表記はほとんど例外図形に付随する対象に使われる。古典図形  に付随する対象は代わりに伝統的な名前を持っているのである。

添え字  は、図形の頂点の個数、基底の単純ルートの個数、ルート格子とルート系の線型包の次元、コクセター群の生成元の個数、リー環のランクに等しい。しかしながら、n}} はリー環の定義加群の次元には等しくない――ディンキン図形の添え字をリー環の添え字と混同してはいけない。例えば、Bsub は に対応し、これは自然に9次元空間に作用するが、リー環としてはランク 4 をもつ。

Simply laced ディンキン図形は、多重辺を持たないもの  であり、さらに多くの数学的対象を分類する；ADE分類の議論を参照。

2.1. 例: A2
----------

例えば、記号 Asub は以下を意味する：

2つのつながった頂点をもつディンキン図形 node, これはコクセター図形とも解釈できる。
2//π///3}}  の角度で2つの単純ルートがあるルート系。
ランク 2 のリー環
ルートの対称性のワイル群、対称群 //S//sub に同型。
生成元と関係式 によって表示される抽象コクセター群。

3. 制約条件
-------

ディンキン図形はいくつかの制約条件を満たさなければならない；これらは本質的に有限コクセター・ディンキン図形によって満たされるものに結晶的条件を付け加えたものである。

4. コクセター図形との関係
--------------

ディンキン図形は有限コクセター群のコクセター図形と密接に関係し、しばしば同じ用語を使う。

ディンキン図形は有限群のコクセター図形と2つの重要な点において異なる：

部分的に向き付けられている: ディンキン図形は「部分的に向き付けられている」――任意の多重辺は向き付けを持つ；したがってディンキン図形は underlying コクセター図形よりも「多くの」データを持っている。ルート系のレベルでは、向き付けは短い方のベクトルに向かって指すことに対応する；"3" でラベル付けられた辺は向き付けされない、なぜならば対応するベクトルは同じ長さでなければならないからである。結晶的制限: ディンキン図形は追加の制限を満たさなければならない、すなわち可能な辺のラベルは 2, 3, 4, 6 のみである。これはコクセター図形は持たない制限で、したがって有限群のすべてのコクセター図形がディンキン図形から来るわけではない。ルート系のレベルでは、これはルートが格子をなす結晶学的制限定理に対応する。もう1つの違いは、様式上のものでしかないが、ディンキン図形は伝統的に、辺に "p}}" とラベル付けずに、二重あるいは三重の辺で描く。

用語「ディンキン図形」は時には「有向」グラフを、時に「無向」グラフを意味する。正確を期すため、この記事では「ディンキン図形」は「有向」を意味し、underlying 無向グラフ「無向ディンキン図形」と呼ぶ。するとディンキン図形とコクセター図形は以下のように関係する：

これが意味するのは、有限群のコクセター図形は鏡映によって生成される点群に対応し、一方ディンキン図形は結晶学的制限定理に対応する追加の制限を満たさなければならず、また、コクセター図形は無向であるが、一方ディンキン図形は有向であることである。

図形によって分類される対応する数学的対象は：

右上の空白は、underlying 無向グラフが任意のコクセター図形である有向グラフに対応しており、形式的に定義することはできるが、ほとんど議論されておらず、興味ある数学的対象のことばでの単純な解釈を持たないようである。

上から下への自然な写像――ディンキン図形から無向ディンキン図形へ、あるいはルート系から付随するワイル群へ――と左から右への自然な写像――無向ディンキン図形からコクセター図形へ、あるいはワイル群から有限コクセター群へ――が存在する。

下への写像は全射であるが、単射ではない、なぜなら B//n//}} と C//n//}} の図形は同じ無向図形に写り、結果のコクセター図形とワイル群はしたがってときどき BC//n//}} と書かれる。

右への写像は単に包含であり――無向ディンキン図形はコクセター図形の特別な場合であり、ワイル群は有限コクセター群の特別な場合である――全射ではない、なぜならばすべてのコクセター図形が無向ディンキン図形ではなく、したがってすべての有限コクセター群がワイル群ではないからである。

5. 同型
-----

ディンキン図形は慣習的にはリストに重複が無いように番号づけられる：Asub に対しては //n// ≥ 1}}, Bsub に対しては //n// ≥ 2}}, Csub に対しては //n// ≥ 3}}, Dsub に対しては //n// ≥ 4}}, そして Esub は 1=//n// = 6}} から始まる。しかしながら族は小さい n}} に対しても定義でき、図形の例外同型を、そしてリー環と付随するリー群の対応する例外同型を生じる。

明らかに、族を 1=//n// = 0}} あるいは 1=//n// = 1}} から始めることができ、空の図形と頂点が1つの図形はそれぞれ1つずつしかないから、それらはすべて同型である。連結ディンキン図形の他の同型は：

これらの同型は単純・半単純リー環の同型に対応し、リー群の同型にも対応する。それらは En に文脈を与えもする。

6. 自己同型
-------

異なる図形の間の同型に加えて、いくつかの図形は自分自身への同型すなわち「自己同型」も持つ。図形自己同型はリー環の外部自己同型に対応する、つまり、外部自己同型群 1=Out = Aut/Inn}} は図形の自己同型の群に等しいFulton。

非自明な自己同型を持つ図形は、A//n// , D//n// , E6 である。D4 を除くすべてのこれらの場合において、ただ1つの非自明な自己同型が存在し、D4 に対しては、自己同型群は3文字の対称群である――この現象はtrialityと呼ばれる。すべてのこれらの図形自己同型が、図形がどのように平面に慣習的に描かれるかのユークリッド対称性として実現できるということは起こるが、これはそれらがどのように描かれるかの人工物に過ぎず、内在的な構造ではない。

A//n//}} に対して、図形の自己同型は直線状の図形の反転である。図形の頂点は基本ウェイトを添え字付け、これらは1=//i// = 1, ..., //n//}} に対して であり、図形の自己同型は duality に対応する。リー環 として実現すると、外部自己同型は負の転置 として表現でき、これは双対表現の作用の仕方である。

D//n//}} に対して、図形の自己同型は Y 字の端の2つの頂点の入れ替えで、2つの カイラリティ  スピン表現を入れ替えることに対応する。リー環 として実現して、外部自己同型は O}} の行列式 −1}} の行列による共役として表せる。 であるから、それらの自己同型は一致し、 は不連結で、自己同型は2つの頂点を入れ替えることに対応する。

D4}} に対して、基本表現は2つのスピン表現に同型であり、結果の3文字の対称群はリー環の自己同型と図形の自己同型の両方に対応する。

E6}} の自己同型群は図形を反転させることに対応し、ヨルダン代数を用いて表せるJacobson。

不連結な図形は、「半」単純リー環に対応し、図形の成分の交換から来る自己同型を持つかもしれない。

正標数では、追加の「図形自己同型」が存在する――粗く言えば、標数 p}} では図形の自己同型を取るときにディンキン図形の重複度 p}} の結合の矢印を無視できることがある。したがって標数 2 では と F4 の位数 2 の自己同型があり、標数 3 では G2 の位数 2 の自己同型がある。しかしすべての状況で適用するわけではない：例えば、そのような自己同型は対応する代数群の自己同型として生じるとは限らず、有限体に値を持つ点のレベルでである。

6.1. 図形の自己同型を通したリー群の構成
----------------------

図形の自己同型は追加のリー群やリー型の群を生じ、これは有限単純群の分類において中心的に重要な群である。

ディンキン図形のことばでのリー群のシュバレー群構成は古典群のいくつか、すなわちユニタリ群と非分裂直交群を生み出さない。Steinberg 群はユニタリ群 2A//n//}} を構成し、他の直交群は 2D//n//}} として構成される、ただしどちらの場合においてもこれは図形自己同型を体自己同型と組み合わせることが必要である。これはまた追加の exotic リー群 2E6}} と 3D4}} も生じ、後者は位数 3 の自己同型を持つ体上でしか定義されない。

正標数における追加の図形自己同型は鈴木・リ群 2B2, 2F4, 2G2}} を生じる。

6.2. Folding
------------

 ディンキン図形で対称性を持つものは、その対称性によって割ることができ、新しい、一般には multiply laced な図形が得られ、この過程を folding  と呼ぶ。リー環のレベルでは、これは外部自己同型群で不変な部分環を取ることに対応し、過程は図形を用いることなしに純粋にルート系を参照して定義できる。さらに、すべての multiply laced 図形は simply-laced 図形を folding して得ることができる。

Folding が可能なための自己同型についての1つの条件は、同じ軌道にあるグラフの相異なる頂点が辺で結ばれてはいけないことである；ルート系のレベルでは、同じ軌道にあるルートは直交していなければならない。図形のレベルでは、これは必要である、なぜならばそうでないと商図形が、2つの頂点を同一視するがそれらの間に辺があるためにループを持つが、ループはディンキン図形では許されていないからである。

商  図形の頂点と辺はもとの図形の頂点と辺の軌道である；2つの入射する辺が同じ辺に写る場合を除いて、辺は1本であり、写像の“分岐点”における重みは入射する辺の個数で、矢印は入射する頂点「を」指し、“分岐点は non-homogeneous point に写る”。例えば、D4}} を G2}} に folding すると、G2}} の辺は、3つの外側の頂点の類から中心の頂点の類に向かう。

有限図形の foldings は以下である：

Dsub 
アファイン図形に対して類似の foldings が存在する、例えば：

Foldings の概念はより一般にコクセター図形にも適用できる――特に、ディンキン図形の許される商を Hsub と Isub に一般化できる。幾何学的にはこれは uniform polytope の射影に対応する。特に、任意の simply laced ディンキン図形は I2}} に fold できる、ただし h}} はコクセター数で、幾何学的にはコクセター平面への射影に対応する。

Folding はリー環についての問題を simply-laced なものと自己同型についての問題に還元でき、これは multiply laced リー環を直接扱うよりも単純かもしれない；これは例えば半単純リー環を構成する際にすることができる。さらなる議論は [1] を参照。

7. 図形の他の写像
----------

図形のいくつかの追加の写像は以下に詳述するように意味のある解釈を持つ。しかしながら、ルート系のすべての写像が図形の写像として生じるわけではない。

例えば、A2 の G2 へのルート系の包含は2つあり、1つは6つの長いルートへの、もう1つは6つの短いルートへの写像である。しかしながら、G2 図形の2つの頂点は、1つは長いルートに、もう1つは短いルートに対応するが、A2 図形の頂点は等しい長さのルートに対応するから、ルート系のこの写像は図形の写像としては表せない。

ルート系のある包含は1つの図形の別の図形の誘導部分グラフ、すなわち「頂点は部分集合で、辺はそれらの間の全て」と表せる。なぜならば、ディンキン図形から頂点を取り除くことはルート系から単純ルートを取り除くことに対応し、これは階数が 1 小さいルート系になるからである。対照的に、頂点は変えずに辺を取り除くことはルート間の角度を変えることに対応し、これはルート系全体を変えずにはできない。したがって、意味があるように頂点を取り除くことはできるが、辺ではできない。連結図形から頂点を取り除くと、頂点が葉ならば連結図形になり、あるいは、2つか3つの成分からなる不連結図形になるかもしれない。リー環のレベルでは、これらの包含は部分リー環に対応する。

極大部分グラフは以下のようである；図形の自己同型によって関連する部分グラフは "conjugate" とラベル付けられている：

A//n//+1: A//n//, in 2 conjugate ways.
B//n//+1: A//n//, B//n//.
C//n//+1: A//n//, C//n//.
D//n//+1: A//n// , D//n//.
E//n//+1: A//n//, D//n//, E//n//.
For E6, two of these coincide: and are conjugate.
F4: B3, C3.
G2: A1, in 2 non-conjugate ways .最後に、図式の双対性は、存在すれば、矢印の向きの反転に対応する：Bn}} と Cn}} は双対であり、F4}} や G2}} や simply-laced ADE 図形は自己双対である。

8. Simply laced
---------------

多重辺を持たないディンキン図形、および対応するリー環やリー群は、simply laced と呼ばれる。これらは Asub 図形であり、そのような図形が分類する現象は ADE分類と呼ばれる。この場合ディンキン図形は、多重辺を持たないから、コクセター図形とちょうど一致する。

9. 佐武図形
-------

ディンキン図形は「複素」半単純リー環を分類する。実半単純リー環は複素半単純リー環の実形として分類でき、これらは佐武図形によって分類され、これらはディンキン図形から、あるルールに従って、いくつかの頂点を黒でラベル付け、いくつかの他の頂点を対で矢印で結ぶことによって、得られる。

10. 歴史
------

ディンキン図形はイェヴゲニ・ディンキンに因んで名づけられており、彼はそれを2つの論文  で用いて、半単純リー環の分類を簡素化した；Dynkin を参照。ディンキンがソビエト連邦を1976年に去った時、当時それは反逆と同等と考えられており、ソビエトの数学者は彼の名前を用いずに「単純ルートの図形」と呼ぶよう指示されたdate=July 2010}}。

無向グラフは早くにコクセター  によって鏡映群を分類するために用いられていた、ここで頂点は単純鏡映に対応する；グラフはヴィット  によってルート系に関連して頂点が単純ルートと対応するよう今日用いられているように用いられた。ディンキンはそれらを1946年と1947年に用い、1947年の論文でコクセターとヴィットに謝意を表した。

11. 慣習
------

ディンキン図形はいくつかの方法で描かれる；ここで従う慣習は一般的で、価数 2 の頂点の角度は 180° で、D//n// の価数3の頂点の角度は 120° で、E//n// の価数 3 の頂点の角度は 90°/90°/180° で、多重度は 1, 2, 3 本の平行な辺で表され、ルートの長さは辺に向き付けの矢印を描くことで表す。簡単のためだけではなく、この慣習のさらなる利点は、図形自己同型が図形のユークリッド等長同型によって実現されることである。

別の慣習には、多重度を表すのに辺のそばに数を書くもの、ルート長を表すのに頂点を黒く塗るもの、価数 2 の頂点の角度を 120° にして頂点をより異ならせるものがある。

頂点の番号付けにも慣習がある。最も一般的な現代の慣習は1960年代に発展し、Bourbaki に描かれている。

12. 階数 2 のディンキン図形
-----------------

ディンキン図形は一般カルタン行列と同値である。階数 2 のディンキン図形を対応する 2 × 2 カルタン行列とともに書いたこの表に示されているように。

階数 2 のときは、カルタン行列の形は

である。多重辺図形はカルタン行列の非対角成分 −//a//21, −//a//12}} に対応し、描かれる辺の個数は max}} に等しく、矢印は −1}} でない元を指している。

一般カルタン行列は正方行列 1=//A// = (//asub であって以下を満たすものである：//

対角成分に対して、1=//asub.//
非対角成分に対して、1=//asub.//
1=//asub.//一般カルタン行列は群が有限型であるか、アファイン型であるか、不定値型であるかを決定する。不定値型はしばしばさらに細分化され、例えばコクセター群がローレンツ型であるとは、それが1つの負の固有値を持ち全ての他の固有値は正であることをいう。さらに、複数の文献が双曲型コクセター群に言及しているが、この用語にはいくつかの同値でない定義がある。以下の議論では、双曲型コクセター群はローレンツ型の特別な場合で、ある追加の条件を満たすものである。階数 2 に対しては、行列式が負のすべてのカルタン行列は双曲型コクセター群に対応することに注意。しかし一般には、行列式が負のほとんどの行列は双曲型でもローレンツでもない。

有限型は 1= = , , }} で、アファイン型は 1= = , }} である。



13. 有限ディンキン図形
-------------



14. アファインディンキン図形
----------------

ディンキン図形の拡張、すなわちアファインディンキン図形が存在する；これらはアファインリー環のカルタン行列を分類する。これらは Kac において分類され、特に Kac にリストされている。アファイン図形は Xsubsup と書かれる、ただし X}} は対応する有限図形の文字で、指数はアファイン図形のどの列にそれらが入っているかに依存する。これらの第一、Xsubsup は、もっとも一般的で、拡大ディンキン図形  と呼ばれ、チルダで表され、時には右上に +}} の記号をつけることもある、例えば のように。}} と }} の列は twisted アファイン図形と呼ばれる。

図形については [2] を参照。

以下が頂点の個数が10個までのアファイン群に対するディンキングラフのすべてである。拡大ディンキングラフは、上の有限グラフに1つの頂点を加えた ~ 族として与えられる。他の有向グラフの変種は、位数の高い群の folding を表す値が  か  の上付き添え字とともに与えられる。これらは 「twistedアファイン」図形とカテゴライズされる。



15. 双曲型および高次のディンキン図形
--------------------

コンパクトおよび非コンパクトな双曲ディンキングラフはすべて列挙されている。階数 3 の双曲グラフはすべてコンパクトである。コンパクト双曲ディンキン図形は階数 5 まで存在し、非コンパクト双曲グラフは階数 10 まで存在する。



15.1. コンパクト双曲ディンキン図形
--------------------



15.2. 非コンパクト 
----------------------------------

M理論のように理論物理学において用いられるいくつかの表記は拡大群に対し "~" の代わりに "+" の上付き添え字を用い、これにより higher extensions groups が定義できる。

Extended ディンキン図形は "+" で与えられ1つの付け加えられた頂点を表す。
Over-extended ディンキン図形は "^" あるいは "++" で与えられ、2つの付け加えられた頂点を表す。
Very-extended ディンキン図形で3つの頂点が付け加えられたものは "+++" で与えられる。

15.3. 238個の双曲群
--------------

階数 //n// ≥ 3}} の238個の双曲群は Hsubsup と名付けられ、各階数に対して 1=//i// = 1, 2, 3, ...}} とリストされている。



15.4. Very-extended
-------------------

Very-extended 群はローレンツ群であり、有限群に3つの頂点を加えることで定義される。E8, E7, E6, F4, G2 は very-extended 群で終わる6つの列を提供する。示されていない他の extended series は各 n}} に対して異なる列として A//n//, B//n//, C//n//, D//n// から定義できる。付随するカルタン行列の行列式は列がどこで有限からアファインから非コンパクト双曲群に変わるかを決定し、1つの時間的次元を用いて定義できるローレンツ群として終わり、M理論において用いられる。



16. 関連項目
--------

ウィキブックス Klassifikation von Wurzelsystemen 

17. 脚注
------

17.1. 注
-------

17.2. 出典
--------

18. 参考文献
--------

19. 外部リンク
---------

[3]
[4]
[5]