ディンキン図形

テンプレート:仮リンクという数学の分野において、ディンキン図形（ディンキンずけい、テンプレート:Lang-en-short）とは、二重あるいは三重の辺（二重あるいは三重の線で描かれる）を持ち得るグラフの一種であり、テンプレート:仮リンク (テンプレート:Ru, テンプレート:En) にちなんで名づけられた。多重辺は制約条件により有向である。

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

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

• 
  有限ディンキン図形
• 
  アファイン（拡大）ディンキン図形

半単純リー環の分類

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

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

関連した分類

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

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

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

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

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

• ルート系によって生成されるテンプレート:仮リンク、例えば テンプレート:仮リンク。これは自然に定義されるが、1対1ではない――例えば、テンプレート:Math と テンプレート:Math はともにテンプレート:仮リンクを生成する。
• 付随する多胞体――例えば テンプレート:仮リンク は "the E₈ polytope" とも呼ばれる。その頂点は テンプレート:Math ルート系から生じ、対称変換群として テンプレート:Math コクセター群を持つからである。
• 付随する二次形式あるいは多様体――例えば、テンプレート:仮リンクは テンプレート:Math 格子で与えられる交叉形式を持つ。

これら後者の表記はほとんど例外図形に付随する対象に使われる。古典図形 (テンプレート:Math) に付随する対象は代わりに伝統的な名前を持っているのである。

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

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

例: A₂

テンプレート:Math, テンプレート:Dynkin ルート系。

例えば、記号 テンプレート:Math は以下を意味する：

• 2つのつながった頂点をもつディンキン図形 テンプレート:Dynkin, これはテンプレート:仮リンクとも解釈できる。
• テンプレート:Math (120度) の角度で2つの単純ルートがあるルート系。
• ランク 2 のリー環 ${𝔰𝔩}_{2+1}={𝔰𝔩}_3.$
• ルートの対称性（ルートに直交する超平面での鏡映）のワイル群、（位数 6 の）対称群 テンプレート:Math に同型。
• 生成元と関係式 $⟨r_1,r_2\mid (r_1{)}^2=(r_2{)}^2=(r_i{r}_j{)}^3=1⟩$ によって表示される抽象コクセター群。

制約条件

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

コクセター図形との関係

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

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

部分的に向き付けられている

ディンキン図形は「部分的に向き付けられている」――任意の多重辺（コクセターの用語では "4" 以上でラベル付けられている辺）は向き付け（一方の頂点から他方を指す矢印）を持つ；したがってディンキン図形は underlying コクセター図形（無向グラフ）よりも「多くの」データを持っている。

ルート系のレベルでは、向き付けは短い方のベクトルに向かって指すことに対応する；"3" でラベル付けられた辺は向き付けされない、なぜならば対応するベクトルは同じ長さでなければならないからである。（注意：著者によってはこの慣習を逆にして矢印が長いベクトルを指すこともある。）

結晶的制限

ディンキン図形は追加の制限を満たさなければならない、すなわち可能な辺のラベルは 2, 3, 4, 6 のみである。これはコクセター図形は持たない制限で、したがって有限群のすべてのコクセター図形がディンキン図形から来るわけではない。

ルート系のレベルでは、これはルートが格子をなすテンプレート:仮リンクに対応する。

もう1つの違いは、様式上のものでしかないが、ディンキン図形は伝統的に、辺に "テンプレート:Mvar" とラベル付けずに、（テンプレート:Math に対して）二重あるいは三重の辺で描く。

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

	crystallographic	point group
有向	ディンキン図形
無向	無向ディンキン図形	有限群のコクセター図形

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

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

	crystallographic	point group
有向	ルート系
無向	ワイル群	テンプレート:仮リンク

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

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

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

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

同型

連結ディンキン図形のテンプレート:仮リンク。

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

明らかに、族を テンプレート:Math あるいは テンプレート:Math から始めることができ、空の図形と頂点が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$

これらの同型は単純・半単純リー環の同型に対応し、リー群の同型にも対応する。それらは テンプレート:仮リンクに文脈を与えもする。

自己同型

最も対称的なディンキン図形は テンプレート:Math であり、これは テンプレート:仮リンク を生じる。

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

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

A_n.

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

D_n.

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

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

E₆.

テンプレート:Math の自己同型群は図形を反転させることに対応し、テンプレート:仮リンクを用いて表せるテンプレート:Sfn。

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

標数 2 では、F₄ の矢印は無視でき、追加の図形の自己同型と対応するテンプレート:仮リンクを生じる。

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

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

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

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

正標数における追加の図形自己同型はテンプレート:仮リンク テンプレート:Math を生じる。

Folding

有限コクセター群の foldings.

アファイン・コクセター群の foldings, 3つの名前の慣習を添えて：第一に、もともとの拡大された集合；第二は箙のグラフの文脈で用いられる；最後はヴィクトル・カッツによって twisted アファイン・リー環のために。

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

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

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

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

• テンプレート:Math

（テンプレート:Math の自己同型は folding を生じない、なぜならば真ん中の2つの頂点は辺で結ばれているが、同じ軌道にあるからである。）

• テンプレート:Math
• テンプレート:Math (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)
• テンプレート:Math

アファイン図形に対して類似の 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 の概念はより一般にテンプレート:仮リンクにも適用できる――特に、ディンキン図形の許される商を テンプレート:Math と テンプレート:Math に一般化できる。幾何学的にはこれは テンプレート:仮リンク の射影に対応する。特に、任意の simply laced ディンキン図形は テンプレート:Math に fold できる、ただし テンプレート:Mvar はテンプレート:仮リンクで、幾何学的にはテンプレート:仮リンクへの射影に対応する。

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

図形の他の写像

A2 ルート系

G2 ルート系

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

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

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

極大部分グラフは以下のようである；図形の自己同型によって関連する部分グラフは "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 E₆, two of these coincide: ${\mathrm{D}}_5\cong {\mathrm{E}}_5$ and are conjugate.
• F₄: B₃, C₃.
• G₂: A₁, in 2 non-conjugate ways (as a long root or a short root).

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

Simply laced

Simply laced ディンキン図形は多様な数学的対象を分類する；これは テンプレート:仮リンクと呼ばれる。

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

佐武図形

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

歴史

テンプレート:仮リンク。

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

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

慣習

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

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

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

階数 2 のディンキン図形

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

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

$A=\left[\begin{array}{cc}2& a_{12}\\ a_{21}& 2\end{array}\right]$

である。多重辺図形はカルタン行列の非対角成分 テンプレート:Math に対応し、描かれる辺の個数は テンプレート:Math に等しく、矢印は テンプレート:Math でない元を指している。

一般カルタン行列は正方行列 テンプレート:Math であって以下を満たすものである：

1. 対角成分に対して、テンプレート:Math.
2. 非対角成分に対して、テンプレート:Math.
3. テンプレート:Math.

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

（連結）有限型は テンプレート:Math で、アファイン型（行列式 0）は テンプレート:Math である。

階数 2 のディンキン図形

グループ の名前	ディンキン図形			カルタン行列		対称性 の位数	関連する simply-laced 群3
	（標準） 多重辺 グラフ テンプレート:Dynkin2	値付き グラフ1	コクセター グラフ2	$\left[\begin{array}{cc}2& a_{12}\\ a_{21}& 2\end{array}\right]$	行列式 (テンプレート:Math)
有限 (行列式 > 0)
A1 × A1	テンプレート:Dynkin テンプレート:Dynkin	テンプレート:Dynkin テンプレート:Dynkin	テンプレート:CDD	$\left[\begin{array}{cc}2& 0\\ 0& 2\end{array}\right]$	4	2
A2 （無向）	テンプレート:Dynkin	テンプレート:Dynkin	テンプレート:CDD	$\left[\begin{array}{cc}2& -1\\ -1& 2\end{array}\right]$	3	3
B2	テンプレート:Dynkin	テンプレート:Dynkin		$\left[\begin{array}{cc}2& -2\\ -1& 2\end{array}\right]$	2	4	テンプレート:Math テンプレート:Dynkin
C2	テンプレート:Dynkin	テンプレート:Dynkin		$\left[\begin{array}{cc}2& -1\\ -2& 2\end{array}\right]$	2	4	テンプレート:Math テンプレート:Dynkin
BC2 （無向）	テンプレート:Dynkin		テンプレート:CDD	$\left[\begin{array}{cc}2& -\sqrt{2}\\ -\sqrt{2}& 2\end{array}\right]$	2	4
G2	テンプレート:Dynkin	テンプレート:Dynkin		$\left[\begin{array}{cc}2& -1\\ -3& 2\end{array}\right]$	1	6	テンプレート:Math
G2 （無向）	テンプレート:Dynkin		テンプレート:CDD	$\left[\begin{array}{cc}2& -\sqrt{3}\\ -\sqrt{3}& 2\end{array}\right]$	1	6
アファイン (行列式 = 0)
Aテンプレート:SubSup	テンプレート:Dynkin	テンプレート:Dynkin	テンプレート:CDD	$\left[\begin{array}{cc}2& -2\\ -2& 2\end{array}\right]$	0	∞	${\tilde{A}}_3$
Aテンプレート:SubSup	テンプレート:Dynkin	テンプレート:Dynkin		$\left[\begin{array}{cc}2& -1\\ -4& 2\end{array}\right]$	0	∞	${\tilde{D}}_4$
双曲 (行列式 < 0)
	テンプレート:Dynkin			$\left[\begin{array}{cc}2& -1\\ -5& 2\end{array}\right]$	−1	-
	テンプレート:Dynkin			$\left[\begin{array}{cc}2& -2\\ -3& 2\end{array}\right]$	−2	-
	テンプレート:Dynkin			$\left[\begin{array}{cc}2& -1\\ -6& 2\end{array}\right]$	−2	-
	テンプレート:Dynkin			$\left[\begin{array}{cc}2& -1\\ -7& 2\end{array}\right]$	−3	-
	テンプレート:Dynkin			$\left[\begin{array}{cc}2& -2\\ -4& 2\end{array}\right]$	−4	-
	テンプレート:Dynkin			$\left[\begin{array}{cc}2& -1\\ -8& 2\end{array}\right]$	−4	-
	テンプレート:Dynkin			$\left[\begin{array}{cc}2& -3\\ -3& 2\end{array}\right]$	−5	-
	テンプレート:Dynkin			$\left[\begin{array}{cc}2& -b\\ -a& 2\end{array}\right]$	4 − ab < 0	-
注1: 双曲群 テンプレート:Math に対して、多重辺スタイルは捨てて、辺上の明示的なラベル付け テンプレート:Math を選んだ。これらは通常有限およびアファイングラフには適用されない。 注2: 無向群に対して、テンプレート:仮リンクは交換可能である。それらは通常、対称性の位数によってラベル付けされ、位数 3 はラベルを付けない。 注3: 多くの多重辺群は適切な folding operation を施すことによって階数の高い simply-laced 群から得られる。

有限ディンキン図形

頂点が 1 から 9 の有限ディンキン図形

階数	テンプレート:仮リンク				テンプレート:仮リンク
	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:仮リンク	テンプレート:仮リンク / テンプレート:仮リンク
1	A1  テンプレート:Dynkin2
2	A2  テンプレート:Dynkin2	B2 テンプレート:Dynkin2	C2 = B2 テンプレート:Dynkin2	D2 = A1xA1 テンプレート:Dynkin2		G2  テンプレート:Dynkin2
3	A3 テンプレート:Dynkin2	B3 テンプレート:Dynkin2	C3 テンプレート:Dynkin2	D3 = A3 テンプレート:Dynkin	E3 = A2xA1 テンプレート:Dynkin2
4	A4 テンプレート:Dynkin2	B4 テンプレート:Dynkin2	C4 テンプレート:Dynkin2	D4 テンプレート:Dynkin	E4 = A4 テンプレート:Dynkin2	F4 テンプレート:Dynkin2
5	A5 テンプレート:Dynkin2	B5 テンプレート:Dynkin2	C5 テンプレート:Dynkin2	D5 テンプレート:Dynkin	E5 = D5 テンプレート:Dynkin2
6	A6  テンプレート:Dynkin2	B6  テンプレート:Dynkin2	C6  テンプレート:Dynkin2	D6  テンプレート:Dynkin	E6  テンプレート:Dynkin2
7	A7  テンプレート:Dynkin2	B7  テンプレート:Dynkin2	C7  テンプレート:Dynkin2	D7  テンプレート:Dynkin	E7  テンプレート:Dynkin2
8	A8  テンプレート:Dynkin2	B8  テンプレート:Dynkin2	C8  テンプレート:Dynkin2	D8  テンプレート:Dynkin	E8  テンプレート:Dynkin2
9	A9  テンプレート:Dynkin2	B9  テンプレート:Dynkin2	C9  テンプレート:Dynkin2	D9  テンプレート:Dynkin
10+	..	..	..	..

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

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

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

拡大ディンキン図形の集合、追加の頂点は緑（テンプレート:Math に対しては テンプレート:Math, テンプレート:Math に対しては テンプレート:Math）

"Twisted" アファイン形は テンプレート:Math あるいは テンプレート:Math の上付き添え字で名づけられる。 （テンプレート:Mvar はグラフの黄色の頂点の個数）

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

頂点が 2 から 10 までの連結アファインディンキングラフ
（無向グラフでグループ分けしている）

階数	${\tilde{A}}_{1+}$	${\tilde{B}}_{3+}$	${\tilde{C}}_{2+}$	${\tilde{D}}_{4+}$	E / F / G
2	${\tilde{A}}_1$ or $A_1^{(1)}$ テンプレート:Dynkin		$A_2^{(2)}$: テンプレート:Dynkin
3	${\tilde{A}}_2$ or $A_2^{(1)}$ テンプレート:Dynkin2		${\tilde{C}}_2$ or $C_2^{(1)}$ テンプレート:Dynkin2 $D_5^{(2)}$: テンプレート:Dynkin2 $A_4^{(2)}$: テンプレート:Dynkin2		${\tilde{G}}_2$ or $G_2^{(1)}$ テンプレート:Dynkin2 $D_4^{(3)}$ テンプレート:Dynkin2
4	${\tilde{A}}_3$ or $A_3^{(1)}$ テンプレート:Dynkin2	${\tilde{B}}_3$ or $B_3^{(1)}$ テンプレート:Dynkin $A_5^{(2)}$: テンプレート:Dynkin	${\tilde{C}}_3$ or $C_3^{(1)}$ テンプレート:Dynkin2 $D_6^{(2)}$: テンプレート:Dynkin2 $A_6^{(2)}$: テンプレート:Dynkin2
5	${\tilde{A}}_4$ or $A_4^{(1)}$ テンプレート:Dynkin2	${\tilde{B}}_4$ or $B_4^{(1)}$ テンプレート:Dynkin $A_7^{(2)}$: テンプレート:Dynkin	${\tilde{C}}_4$ or $C_4^{(1)}$ テンプレート:Dynkin2 $D_7^{(2)}$: テンプレート:Dynkin2 $A_8^{(2)}$: テンプレート:Dynkin2	${\tilde{D}}_4$ or $D_4^{(1)}$ テンプレート:Dynkin	${\tilde{F}}_4$ or $F_4^{(1)}$ テンプレート:Dynkin2 $E_6^{(2)}$ テンプレート:Dynkin2
6	${\tilde{A}}_5$ or $A_5^{(1)}$ テンプレート:Dynkin2	${\tilde{B}}_5$ or $B_5^{(1)}$ テンプレート:Dynkin $A_9^{(2)}$: テンプレート:Dynkin	${\tilde{C}}_5$ or $C_5^{(1)}$ テンプレート:Dynkin2 $D_8^{(2)}$: テンプレート:Dynkin2 $A_{10}^{(2)}$: テンプレート:Dynkin2	${\tilde{D}}_5$ or $D_5^{(1)}$ テンプレート:Dynkin
7	${\tilde{A}}_6$ or $A_6^{(1)}$ テンプレート:Dynkin2	${\tilde{B}}_6$ or $B_6^{(1)}$ テンプレート:Dynkin $A_{11}^{(2)}$: テンプレート:Dynkin	${\tilde{C}}_6$ or $C_6^{(1)}$ テンプレート:Dynkin2 $D_9^{(2)}$: テンプレート:Dynkin2 $A_{12}^{(2)}$: テンプレート:Dynkin2	${\tilde{D}}_6$ or $D_6^{(1)}$ テンプレート:Dynkin	${\tilde{E}}_6$ or $E_6^{(1)}$ テンプレート:Dynkin
8	${\tilde{A}}_7$ or $A_7^{(1)}$ テンプレート:Dynkin2	${\tilde{B}}_7$ or $B_7^{(1)}$ テンプレート:Dynkin $A_{13}^{(2)}$: テンプレート:Dynkin	${\tilde{C}}_7$ or $C_7^{(1)}$ テンプレート:Dynkin2 $D_{10}^{(2)}$: テンプレート:Dynkin2 $A_{14}^{(2)}$: テンプレート:Dynkin2	${\tilde{D}}_7$ or $D_7^{(1)}$ テンプレート:Dynkin	${\tilde{E}}_7$ or $E_7^{(1)}$ テンプレート:Dynkin
9	${\tilde{A}}_8$ or $A_8^{(1)}$ テンプレート:Dynkin2	${\tilde{B}}_8$ or $B_8^{(1)}$ テンプレート:Dynkin $A_{15}^{(2)}$: テンプレート:Dynkin	${\tilde{C}}_8$ or $C_8^{(1)}$ テンプレート:Dynkin2 $D_{11}^{(2)}$: テンプレート:Dynkin2 $A_{16}^{(2)}$: テンプレート:Dynkin2	${\tilde{D}}_8$ or $D_8^{(1)}$ テンプレート:Dynkin	${\tilde{E}}_8$ or $E_8^{(1)}$ テンプレート:Dynkin2
10	${\tilde{A}}_9$ or $A_9^{(1)}$ テンプレート:Dynkin2	${\tilde{B}}_9$ or $B_9^{(1)}$ テンプレート:Dynkin $A_{17}^{(2)}$: テンプレート:Dynkin	${\tilde{C}}_9$ or $C_9^{(1)}$ テンプレート:Dynkin2 $D_{12}^{(2)}$: テンプレート:Dynkin2 $A_{18}^{(2)}$: テンプレート:Dynkin2	${\tilde{D}}_9$ or $D_9^{(1)}$ テンプレート:Dynkin
11	...	...	...	...

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

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

要約

階数	コンパクト	非コンパクト	計
3	31	93	123
4	3	50	53
5	1	21	22
6	0	22	22
7	0	4	4
8	0	5	5
9	0	5	5
10	0	4	4

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

コンパクト双曲グラフ

階数 3		階数 4	階数 5
線型グラフ (6 4 2): H100(3): テンプレート:Dynkin H101(3): テンプレート:Dynkin H105(3): テンプレート:Dynkin H106(3): テンプレート:Dynkin (6 6 2): H114(3): テンプレート:Dynkin H115(3): テンプレート:Dynkin H116(3): テンプレート:Dynkin	巡回グラフ (4 3 3): H1(3): テンプレート:Dynkin (4 4 3): 3 forms... (4 4 4): 2 forms... (6 3 3): H3(3): テンプレート:Dynkin (6 4 3): 4 forms... (6 4 4): 4 forms... (6 6 3): 3 forms... (6 6 4): 4 forms... (6 6 6): 2 forms...	(4 3 3 3): H8(4): テンプレート:Dynkin H13(4): テンプレート:Dynkin (4 3 4 3): H14(4): テンプレート:Dynkin	(4 3 3 3 3): H7(5): テンプレート:Dynkin

非コンパクト (Over-extended forms)

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

1. Extended ディンキン図形（アファイン）は "+" で与えられ1つの付け加えられた頂点を表す（"~" と同じ）。
2. Over-extended ディンキン図形（双曲）は "^" あるいは "++" で与えられ、2つの付け加えられた頂点を表す。
3. Very-extended ディンキン図形で3つの頂点が付け加えられたものは "+++" で与えられる。

Over-extended（双曲）ディンキン図形のいくつかの例

階数	AEテンプレート:Sub = An−2(1)^	BEテンプレート:Sub = Bn−2(1)^ CEテンプレート:Sub	Cn−2(1)^	DEテンプレート:Sub = Dn−2(1)^	E / F / G
3	AEテンプレート:Sub:テンプレート:Dynkin
4	AEテンプレート:Sub:テンプレート:Dynkin テンプレート:Dynkin テンプレート:Dynkin テンプレート:Dynkin テンプレート:Dynkin		C2(1)^ テンプレート:Dynkin2 A4(2)'^ テンプレート:Dynkin2 A4(2)^ テンプレート:Dynkin2 D3(2)^ テンプレート:Dynkin2		G2(1)^ テンプレート:Dynkin2 D4(3)^ テンプレート:Dynkin2
5	AEテンプレート:Sub:テンプレート:Dynkin テンプレート:Dynkin テンプレート:Dynkin	BEテンプレート:Sub テンプレート:Dynkin2 CEテンプレート:Sub テンプレート:Dynkin2	C3(1)^ テンプレート:Dynkin2 A6(2)^ テンプレート:Dynkin2 A6(2)'^ テンプレート:Dynkin2 D5(2)^ テンプレート:Dynkin2
6	AEテンプレート:Sub テンプレート:Dynkin	BEテンプレート:Sub テンプレート:Dynkin2 CEテンプレート:Sub テンプレート:Dynkin2	C4(1)^ テンプレート:Dynkin2 A8(2)^ テンプレート:Dynkin2 A8(2)'^ テンプレート:Dynkin2 D7(2)^ テンプレート:Dynkin2	DEテンプレート:Sub テンプレート:Dynkin	F4(1)^ テンプレート:Dynkin2 E6(2)^ テンプレート:Dynkin2
7	AEテンプレート:Sub テンプレート:Dynkin	BEテンプレート:Sub テンプレート:Dynkin2 CEテンプレート:Sub テンプレート:Dynkin2		DEテンプレート:Sub テンプレート:Dynkin2
8	AEテンプレート:Sub テンプレート:Dynkin	BEテンプレート:Sub テンプレート:Dynkin2 CEテンプレート:Sub テンプレート:Dynkin2		DEテンプレート:Sub テンプレート:Dynkin2	E6(1)^ テンプレート:Dynkin
9	AEテンプレート:Sub テンプレート:Dynkin	BEテンプレート:Sub テンプレート:Dynkin2 CEテンプレート:Sub テンプレート:Dynkin2		DEテンプレート:Sub テンプレート:Dynkin2	E7(1)^ テンプレート:Dynkin2
10		BEテンプレート:Sub テンプレート:Dynkin2 CEテンプレート:Sub テンプレート:Dynkin2		DEテンプレート:Sub テンプレート:Dynkin2	Eテンプレート:Sub = E8(1)^ テンプレート:Dynkin2

238個の双曲群（コンパクト・非コンパクト）

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

Very-extended

Very-extended 群はローレンツ群であり、有限群に3つの頂点を加えることで定義される。E₈, E₇, E₆, F₄, G₂ は very-extended 群で終わる6つの列を提供する。示されていない他の extended series は各 テンプレート:Mvar に対して異なる列として A_n, B_n, C_n, D_n から定義できる。付随するカルタン行列の行列式は列がどこで有限（正）からアファイン（零）から非コンパクト双曲群（負）に変わるかを決定し、1つのテンプレート:仮リンク次元を用いて定義できるローレンツ群として終わり、M理論において用いられる。

階数 2 の extended series

有限	テンプレート:Math	テンプレート:Math	テンプレート:仮リンク
2	A2テンプレート:Dynkin2	C2テンプレート:Dynkin	G2テンプレート:Dynkin
3	A2+=${\tilde{A}}_2$ テンプレート:Dynkin	C2+=${\tilde{C}}_2$ テンプレート:Dynkin	G2+=${\tilde{G}}_2$ テンプレート:Dynkin
4	A2++ テンプレート:Dynkin	C2++ テンプレート:Dynkin	G2++ テンプレート:Dynkin
5	A2+++ テンプレート:Dynkin	C2+++ テンプレート:Dynkin	G2+++ テンプレート:Dynkin
Det(Mn)	3(3 − n)	2(3 − n)	3 − n

階数 3 と 4 の extended series

有限	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:仮リンク
2		A12 テンプレート:Dynkin						A2 テンプレート:Dynkin2
3	A3 テンプレート:Dynkin2	B3 テンプレート:Dynkin2	C3 テンプレート:Dynkin2		B2A1 テンプレート:Dynkin2		A13 テンプレート:Dynkin2	テンプレート:Dynkin2
4	A3+=${\tilde{A}}_3$ テンプレート:Dynkin	B3+=${\tilde{B}}_3$ テンプレート:Dynkin2	C3+=${\tilde{C}}_3$ テンプレート:Dynkin	A4 テンプレート:Dynkin	B4 テンプレート:Dynkin2	C4 テンプレート:Dynkin2	D4 テンプレート:Dynkin	F4 テンプレート:Dynkin2
5	A3++ テンプレート:Dynkin	B3++ テンプレート:Dynkin2	C3++ テンプレート:Dynkin	A4+=${\tilde{A}}_4$ テンプレート:Dynkin	B4+=${\tilde{B}}_4$ テンプレート:Dynkin2	C4+=${\tilde{C}}_4$ テンプレート:Dynkin2	D4+=${\tilde{D}}_4$ テンプレート:Dynkin	F4+=${\tilde{F}}_4$ テンプレート:Dynkin2
6	A3+++ テンプレート:Dynkin	B3+++ テンプレート:Dynkin2	C3+++ テンプレート:Dynkin	A4++ テンプレート:Dynkin	B4++ テンプレート:Dynkin2	C4++ テンプレート:Dynkin2	D4++ テンプレート:Dynkin	F4++ テンプレート:Dynkin2
7				A4+++ テンプレート:Dynkin	B4+++ テンプレート:Dynkin2	C4+++ テンプレート:Dynkin2	D4+++ テンプレート:Dynkin	F4+++ テンプレート:Dynkin2
Det(Mn)	4(4 − n)	2(4 − n)		5(5 − n)	2(5 − n)		4(5 − n)	5 − n

階数 5 と 6 の extended series

有限	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math
4		B3A1 テンプレート:Dynkin2	A3A1 テンプレート:Dynkin2				A22 テンプレート:Dynkin
5	A5 テンプレート:Dynkin	テンプレート:Dynkin2	D5 テンプレート:Dynkin2		B4A1 テンプレート:Dynkin2	D4A1 テンプレート:Dynkin2	A5 テンプレート:Dynkin
6	A5+=${\tilde{A}}_5$ テンプレート:Dynkin	B5+=${\tilde{B}}_5$ テンプレート:Dynkin2	D5+=${\tilde{D}}_5$ テンプレート:Dynkin2	A6 テンプレート:Dynkin2	B6 テンプレート:Dynkin2	D6 テンプレート:Dynkin2	E6 テンプレート:Dynkin
7	A5++ テンプレート:Dynkin	B5++ テンプレート:Dynkin2	D5++ テンプレート:Dynkin2	A6+=${\tilde{A}}_6$ テンプレート:Dynkin	B6+=${\tilde{B}}_6$ テンプレート:Dynkin2	D6+=${\tilde{D}}_6$ テンプレート:Dynkin2	E6+=${\tilde{E}}_6$ テンプレート:Dynkin
8	A5+++ テンプレート:Dynkin	B5+++ テンプレート:Dynkin2	D5+++ テンプレート:Dynkin2	A6++ テンプレート:Dynkin	B6++ テンプレート:Dynkin2	D6++ テンプレート:Dynkin2	E6++ テンプレート:Dynkin
9				A6+++ テンプレート:Dynkin	B6+++ テンプレート:Dynkin2	D6+++ テンプレート:Dynkin2	E6+++ テンプレート:Dynkin
Det(Mn)	6(6 − n)	2(6 − n)	4(6 − n)	7(7 − n)	2(7 − n)	4(7 − n)	3(7 − n)

階数 7 以上のいくつかの extended series

有限	A7	B7	D7	E7	E8
3					E3=A2A1 テンプレート:Dynkin2
4				A3A1 テンプレート:Dynkin2	E4=A4 テンプレート:Dynkin2
5				A5 テンプレート:Dynkin2	E5=D5 テンプレート:Dynkin2
6		B5A1 テンプレート:Dynkin2	D5A1 テンプレート:Dynkin2	D6 テンプレート:Dynkin2	E6 テンプレート:Dynkin2
7	A7 テンプレート:Dynkin	B7 テンプレート:Dynkin2	D7 テンプレート:Dynkin2	E7 テンプレート:Dynkin2	E7 テンプレート:Dynkin2
8	A7+‍=${\tilde{A}}_7$ テンプレート:Dynkin	B7+=${\tilde{B}}_7$ テンプレート:Dynkin2	D7+=${\tilde{D}}_7$ テンプレート:Dynkin2	E7+=${\tilde{E}}_7$ テンプレート:Dynkin2	E8 テンプレート:Dynkin2
9	A7++ テンプレート:Dynkin	B7++ テンプレート:Dynkin2	D7++ テンプレート:Dynkin2	E7++ テンプレート:Dynkin2	E9=E8+=${\tilde{E}}_8$ テンプレート:Dynkin2
10	A7+++ テンプレート:Dynkin	B7+++ テンプレート:Dynkin2	D7+++ テンプレート:Dynkin2	E7+++ テンプレート:Dynkin2	E10=E8++ テンプレート:Dynkin2
11					E11=E8+++ テンプレート:Dynkin2
Det(Mn)	8(8 − n)	2(8 − n)	4(8 − n)	2(8 − n)	9 − n

関連項目

• テンプレート:仮リンク
• ウィキブックス Klassifikation von Wurzelsystemen (ルート系の分類) テンプレート:De icon

参考文献

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Fulton-Harris
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation

外部リンク

• 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)