ディンキン図形

という数学の分野において、**ディンキン図形**（ディンキンずけい、）とは、二重あるいは三重の辺（二重あるいは三重の線で描かれる）を持ち得るグラフの一種であり、 (, ) にちなんで名づけられた。多重辺は制約条件により有向である。

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

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


ファイル:Finite Dynkin diagrams.svg|有限ディンキン図形
ファイル:Affine Dynkin diagrams.png|アファイン（拡大）ディンキン図形


## 半単純リー環の分類

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

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

## 関連した分類

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

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

「無」向ディンキン図形はコクセター図形の形であり、ワイル群と対応し、これはルート系に付随するである。したがって  は無向図式（特別な種類のコクセター図式）、ワイル群（具体的な鏡映群）、あるいは抽象的なコクセター群も意味する。

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

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

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

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

### 例: A<sub>2</sub>

例えば、記号  は以下を意味する：
* 2つのつながった頂点をもつ**ディンキン図形** （**○-○**）, これは****とも解釈できる。
*  (120度) の角度で2つの単純ルートがある**[[ルート系]]**。
* ランク 2 の**リー環** \mathfrak{sl}_{2+1} = \mathfrak{sl}_3.
* ルートの対称性（ルートに直交する超平面での鏡映）の**[[ワイル群]]**、（位数 6 の）対称群  に同型。
* 生成元と関係式 \left\langle r_1,r_2 \mid (r_1)^2=(r_2)^2=(r_ir_j)^3=1\right\rangle によって表示される抽象**[[コクセター群]]**。

## 制約条件

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

## コクセター図形との関係

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

ディンキン図形は有限群のコクセター図形と2つの重要な点において異なる：
;部分的に向き付けられている: ディンキン図形は「部分的に向き付けられている」――任意の多重辺（コクセターの用語では "4" 以上でラベル付けられている辺）は向き付け（一方の頂点から他方を指す矢印）を持つ；したがってディンキン図形は underlying コクセター図形（無向グラフ）よりも「多くの」データを持っている。
:ルート系のレベルでは、向き付けは短い方のベクトルに向かって指すことに対応する；"3" でラベル付けられた辺は向き付けされない、なぜならば対応するベクトルは同じ長さでなければならないからである。（注意：著者によってはこの慣習を逆にして矢印が長いベクトルを指すこともある。）
;結晶的制限: ディンキン図形は追加の制限を満たさなければならない、すなわち可能な辺のラベルは 2, 3, 4, 6 のみである。これはコクセター図形は持たない制限で、したがって有限群のすべてのコクセター図形がディンキン図形から来るわけではない。
:ルート系のレベルでは、これはルートが格子をなすに対応する。
もう1つの違いは、様式上のものでしかないが、ディンキン図形は伝統的に、辺に "" とラベル付けずに、（ に対して）二重あるいは三重の辺で描く。

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

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

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

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

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

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

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

## 同型

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

明らかに、族を  あるいは  から始めることができ、空の図形と頂点が1つの図形はそれぞれ1つずつしかないから、それらはすべて同型である。連結ディンキン図形の他の同型は：
* A_1 \cong B_1 \cong C_1（○）
* B_2 \cong C_2（○⇒○ = ○⇐○）
* D_2 \cong A_1 \times A_1（○　○）
* D_3 \cong A_3（○-○-○）
* E_3 \cong A_1 \times A_2（○　○-○）
* E_4 \cong A_4（◎-○-○）
* E_5 \cong D_5（○-◎-○-○）

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

## 自己同型

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

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

 に対して、図形の自己同型は直線状の図形の反転である。図形の頂点はを添え字付け、これらは（ に対して） に対して \bigwedge^i C^n であり、図形の自己同型は duality \bigwedge^i C^n \mapsto \bigwedge^{n-i} C^n に対応する。リー環 \mathfrak{sl}_{n+1} として実現すると、外部自己同型は負の転置 T \mapsto -T^{\mathrm T} として表現でき、これは双対表現の作用の仕方である。

 に対して、図形の自己同型は Y 字の端の2つの頂点の入れ替えで、2つの  を入れ替えることに対応する。リー環 \mathfrak{so}_{2n} として実現して、外部自己同型は  の行列式  の行列による共役として表せる。\mathrm{A}_3 \cong \mathrm{D}_3 であるから、それらの自己同型は一致し、\mathrm{D}_2 \cong \mathrm{A}_1 \times \mathrm{A}_1 は不連結で、自己同型は2つの頂点を入れ替えることに対応する。

 に対して、は2つのスピン表現に同型であり、結果の3文字の対称群（, あるいは位数 6 の二面体群 ）はリー環の自己同型と図形の自己同型の両方に対応する。

 の自己同型群は図形を反転させることに対応し、を用いて表せる。

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

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

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

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

正標数における追加の図形自己同型は  を生じる。

### Folding

(Simply-laced) ディンキン図形（有限あるいはアファイン）で（下記の1つの条件を満たす）対称性を持つものは、その対称性によって割ることができ、新しい、一般には multiply laced な図形が得られ、この過程を **folding** (“折り畳み”) と呼ぶ（ほとんどの対称性は 2-fold であるため）。リー環のレベルでは、これは外部自己同型群で不変な部分環を取ることに対応し、過程は図形を用いることなしに純粋にルート系を参照して定義できる。さらに、すべての multiply laced 図形（有限あるいは無限）は simply-laced 図形を folding して得ることができる。

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

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

有限図形の foldings は以下である：
* 
:（ の自己同型は folding を生じない、なぜならば真ん中の2つの頂点は辺で結ばれているが、同じ軌道にあるからである。）
* 
*  (if quotienting by the full group or a 3-cycle, in addition to D_4 \to B_3 in 3 different ways, if quotienting by an involution)
* 

アファイン図形に対して類似の foldings が存在する、例えば：
* \tilde A_{2n-1} \to \tilde C_n
* \tilde D_{n+1} \to \tilde B_n
* \tilde D_4 \to \tilde G_2
* \tilde E_6 \to \tilde F_4

Foldings の概念はより一般ににも適用できる――特に、ディンキン図形の許される商を  と  に一般化できる。幾何学的にはこれは  の射影に対応する。特に、任意の simply laced ディンキン図形は  に fold できる、ただし  はで、幾何学的にはへの射影に対応する。

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

## 図形の他の写像

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

例えば、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* (2 conjugate ways), D*n*.
* E*n*+1: A*n*, D*n*, E*n*.
** For E6, two of these coincide: \mathrm{D}_5 \cong \mathrm{E}_5 and are conjugate.
* F4: B3, C3.
* G2: A1, in 2 non-conjugate ways (as a long root or a short root).

最後に、図式の双対性は、存在すれば、矢印の向きの反転に対応する： と  は双対であり、 や  や simply-laced ADE 図形は自己双対である。

## Simply laced

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

## 佐武図形

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

## 歴史

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

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

## 慣習

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

別の慣習には、多重度を表すのに辺のそばに数を書くもの（コクセター図形で一般に用いられる）、ルート長を表すのに頂点を黒く塗るもの、価数 2 の頂点の角度を 120° にして頂点をより異ならせるものがある。

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

## 階数 2 のディンキン図形

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

階数 2 のときは、カルタン行列の形は
: A = \begin{bmatrix}2&a_{12}\\a_{21}&2\end{bmatrix}
である。多重辺図形はカルタン行列の非対角成分  に対応し、描かれる辺の個数は  に等しく、矢印は  でない元を指している。

**一般カルタン行列**は正方行列  であって以下を満たすものである：
# 対角成分に対して、.
# 非対角成分に対して、.
# .

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

（連結）有限型は  で、アファイン型（行列式 0）は  である。

## 有限ディンキン図形

## アファインディンキン図形

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

図形については Dynkin diagram generator を参照。

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

## 双曲型および高次のディンキン図形

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

### コンパクト双曲ディンキン図形

### 非コンパクト (Over-extended forms)
M理論のように理論物理学において用いられるいくつかの表記は拡大群に対し "~" の代わりに "+" の上付き添え字を用い、これにより higher extensions groups が定義できる。
#**Extended** ディンキン図形（アファイン）は "+" で与えられ1つの付け加えられた頂点を表す（"~" と同じ）。
#**Over-extended** ディンキン図形（双曲）は "^" あるいは "++" で与えられ、2つの付け加えられた頂点を表す。
#**Very-extended** ディンキン図形で3つの頂点が付け加えられたものは "+++" で与えられる。

### 238個の双曲群（コンパクト・非コンパクト）
階数  の238個の（コンパクトおよび非コンパクト）双曲群は  と名付けられ、各階数に対して  とリストされている。

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

## 関連項目

* 
* ウィキブックス  (ルート系の分類) 

## 脚注
### 注

### 出典

## 参考文献
* 
* 
* 
* 
* 
* 
* 
* 

## 外部リンク
* ''Dynkin diagram'' at Encyclopaedia of Mathematics
* John Baez on the ubiquity of Dynkin diagrams in mathematics
* Web tool for making publication-quality Dynkin diagrams with labels (written in JavaScript)