リー理論 (英語版 ) という数学 の分野において、ディンキン図形 (ディンキンずけい、英 : Dynkin diagram )とは、二重あるいは三重の辺(二重あるいは三重の線で描かれる)を持ち得るグラフ の一種であり、イェヴゲニ・ディンキン (英語版 ) (Евгений Дынкин , Eugene Dynkin ) にちなんで名づけられた。多重辺は制約条件により有向 である。
ディンキン図形は代数閉 体 上の半単純リー環 を分類する手段として主に興味を持たれている。これはワイル群 を生じる、すなわち(すべてではないが)多くの有限鏡映群 (英語版 ) を生じる。ディンキン図形は他の文脈においても現れる。
「ディンキン図形」という用語には曖昧さがある。ある場合にはディンキン図形は有向であると仮定され、この場合それらはルート系 や半単純リー環に対応するが、他の場合には有向でないと仮定され、この場合ワイル群に対応する;有向図形 Bn , Cn は同じ無向図形を生じ、これは BCn と呼ばれる。この記事では、「ディンキン図形」は「向き付けられた」ディンキン図形を意味し、「向き付けられていない」ディンキン図形は明示的にそう呼ぶ。
有限ディンキン図形
アファイン(拡大)ディンキン図形
半単純リー環の分類
ディンキン図形の基本的な興味はそれらが代数閉体 上の半単純リー環 を分類することである。そのようなリー環はそのルート系 を通じて分類され、それはディンキン図形によって表せる。そしてディンキン図形は満たさなければならない制約条件によって下記のように分類される。
グラフの辺の向きを落とすことはルート系をそれが生成する有限鏡映群 (英語版 ) 、いわゆるワイル群 で置き換えることに対応し、したがって無向ディンキン図形はワイル群を分類する。
関連した分類
ディンキン図形は多くの異なる関係する対象を分類すると解釈でき、表記 "An , Bn , ... " は文脈に応じて「すべての」そのような解釈を指すのに使われる;この曖昧さは混乱のもととなりうる。
中心的な分類は、単純リー環はルート系を持ち、それに付随して(有向)ディンキン図形があることである;これら3つは全て例えば Bn と呼ばれる。
「無」向ディンキン図形はコクセター図形の形であり、ワイル群と対応し、これはルート系に付随する有限鏡映群 (英語版 ) である。したがって Bn は無向図式(特別な種類のコクセター図式)、ワイル群(具体的な鏡映群)、あるいは抽象的なコクセター群も意味する。
ワイル群は抽象的にコクセター群と同型であるが、同型写像は単純ルートの順序付きの選び方に依存することに注意。ディンキン図形の表記は標準的なものがあるが、コクセター図形・群の表記は様々で、ディンキン図形の表記と一致することもしないこともあることにも注意。
最後に、付随する対象が同じ表記で呼ばれることも「時には」あるが、これはつねに規則正しくされるわけではない。例えば:
これら後者の表記はほとんど例外図形に付随する対象に使われる。古典図形 (A, B, C, D ) に付随する対象は代わりに伝統的な名前を持っているのである。
添え字 (n ) は、図形の頂点の個数、基底の単純ルートの個数、ルート格子とルート系の線型包の次元、コクセター群の生成元の個数、リー環のランクに等しい。しかしながら、n はリー環の定義加群(基本表現 (英語版 ) )の次元には等しくない――ディンキン図形の添え字をリー環の添え字と混同してはいけない。例えば、B4 は
s
o
2
⋅
4
+
1
=
s
o
9
{\displaystyle {\mathfrak {so}}_{2\cdot 4+1}={\mathfrak {so}}_{9}}
に対応し、これは自然に9次元空間に作用するが、リー環としてはランク 4 をもつ。
Simply laced ディンキン図形は、多重辺を持たないもの (A, D, E) であり、さらに多くの数学的対象を分類する;ADE分類 (英語版 ) の議論を参照。
例: A2
A2 , ルート系。
例えば、記号 A2 は以下を意味する:
2つのつながった頂点をもつディンキン図形 , これはコクセター図形 とも解釈できる。
2π /3 (120度) の角度で2つの単純ルートがあるルート系 。
ランク 2 のリー環
s
l
2
+
1
=
s
l
3
.
{\displaystyle {\mathfrak {sl}}_{2+1}={\mathfrak {sl}}_{3}.}
ルートの対称性(ルートに直交する超平面での鏡映)のワイル群 、(位数 6 の)対称群 S 3 に同型。
生成元と関係式
⟨
r
1
,
r
2
∣
(
r
1
)
2
=
(
r
2
)
2
=
(
r
i
r
j
)
3
=
1
⟩
{\displaystyle \left\langle r_{1},r_{2}\mid (r_{1})^{2}=(r_{2})^{2}=(r_{i}r_{j})^{3}=1\right\rangle }
によって表示される抽象コクセター群 。
制約条件
この節の
加筆 が望まれています。
(2009年12月 )
ディンキン図形はいくつかの制約条件を満たさなければならない;これらは本質的に有限コクセター・ディンキン図形 (英語版 ) によって満たされるものに結晶的条件を付け加えたものである。
コクセター図形との関係
ディンキン図形は有限コクセター群のコクセター図形と密接に関係し、しばしば同じ用語を使う[ 注 1] 。
ディンキン図形は有限群のコクセター図形と2つの重要な点において異なる:
部分的に向き付けられている
ディンキン図形は「部分的に向き付けられている 」――任意の多重辺(コクセターの用語では "4" 以上でラベル付けられている辺)は向き付け(一方の頂点から他方を指す矢印)を持つ;したがってディンキン図形は underlying コクセター図形(無向グラフ)よりも「多くの」データを持っている。
ルート系のレベルでは、向き付けは短い方のベクトルに向かって指すことに対応する;"3" でラベル付けられた辺は向き付けされない、なぜならば対応するベクトルは同じ長さでなければならないからである。(注意:著者によってはこの慣習を逆にして矢印が長いベクトルを指すこともある。)
結晶的制限
ディンキン図形は追加の制限を満たさなければならない、すなわち可能な辺のラベルは 2, 3, 4, 6 のみである。これはコクセター図形は持たない制限で、したがって有限群のすべてのコクセター図形がディンキン図形から来るわけではない。
ルート系のレベルでは、これはルートが格子をなす結晶学的制限定理 (英語版 ) に対応する。
もう1つの違いは、様式上のものでしかないが、ディンキン図形は伝統的に、辺に "p " とラベル付けずに、(p = 4, 6 に対して)二重あるいは三重の辺で描く。
用語「ディンキン図形」は時には「有向」グラフを、時に「無向」グラフを意味する。正確を期すため、この記事では「ディンキン図形」は「有向」を意味し、underlying 無向グラフ「無向ディンキン図形」と呼ぶ。するとディンキン図形とコクセター図形は以下のように関係する:
crystallographic
point group
有向
ディンキン図形
無向
無向ディンキン図形
有限群のコクセター図形
これが意味するのは、有限群のコクセター図形は鏡映によって生成される点群 に対応し、一方ディンキン図形は結晶学的制限定理 (英語版 ) に対応する追加の制限を満たさなければならず、また、コクセター図形は無向であるが、一方ディンキン図形は(部分的に)有向であることである。
図形によって分類される対応する数学的対象は:
右上の空白は、underlying 無向グラフが(有限群の)任意のコクセター図形である有向グラフに対応しており、形式的に定義することはできるが、ほとんど議論されておらず、興味ある数学的対象のことばでの単純な解釈を持たないようである。
上から下への自然な写像――ディンキン図形から無向ディンキン図形へ、あるいはルート系から付随するワイル群へ――と左から右への自然な写像――無向ディンキン図形からコクセター図形へ、あるいはワイル群から有限コクセター群へ――が存在する。
下への写像は(定義により)全射であるが、単射ではない、なぜなら Bn と Cn の図形は同じ無向図形に写り、結果のコクセター図形とワイル群はしたがってときどき BCn と書かれる。
右への写像は単に包含であり――無向ディンキン図形はコクセター図形の特別な場合であり、ワイル群は有限コクセター群の特別な場合である――全射ではない、なぜならばすべてのコクセター図形が無向ディンキン図形ではなく(抜けている図形は H 3 , H 4 と p = 5, p ≥ 7 に対する I 2 (p ) である)、したがってすべての有限コクセター群がワイル群ではないからである。
同型
連結ディンキン図形の例外同型 (英語版 ) 。
ディンキン図形は慣習的にはリストに重複が無いように番号づけられる:An に対しては n ≥ 1 , Bn に対しては n ≥ 2 , Cn に対しては n ≥ 3 , Dn に対しては n ≥ 4 , そして En は n = 6 から始まる。しかしながら族は小さい n に対しても定義でき、図形の例外同型 (英語版 ) を、そしてリー環と付随するリー群の対応する例外同型を生じる。
明らかに、族を n = 0 あるいは n = 1 から始めることができ、空の図形と頂点が1つの図形はそれぞれ1つずつしかないから、それらはすべて同型である。連結ディンキン図形の他の同型は:
A
1
≅
B
1
≅
C
1
{\displaystyle A_{1}\cong B_{1}\cong C_{1}}
B
2
≅
C
2
{\displaystyle B_{2}\cong C_{2}}
D
2
≅
A
1
×
A
1
{\displaystyle D_{2}\cong A_{1}\times A_{1}}
D
3
≅
A
3
{\displaystyle D_{3}\cong A_{3}}
E
3
≅
A
1
×
A
2
{\displaystyle E_{3}\cong A_{1}\times A_{2}}
E
4
≅
A
4
{\displaystyle E_{4}\cong A_{4}}
E
5
≅
D
5
{\displaystyle E_{5}\cong D_{5}}
これらの同型は単純・半単純リー環の同型に対応し、リー群の同型にも対応する。それらは En 族(英語版 ) に文脈を与えもする[ 1] 。
自己同型
最も対称的なディンキン図形は D4 であり、これは triality (英語版 ) を生じる。
異なる図形の間の同型に加えて、いくつかの図形は自分自身への同型すなわち「自己同型 」も持つ。図形自己同型はリー環の外部自己同型 (英語版 ) に対応する、つまり、外部自己同型群 Out = Aut/Inn は図形の自己同型の群に等しい[ 3] 。
非自明な自己同型を持つ図形は、An (n > 1), Dn (n > 1), E6 である。D4 を除くすべてのこれらの場合において、ただ1つの非自明な自己同型が存在し(Out = C 2 , 位数 2 の巡回群)、D4 に対しては、自己同型群は3文字の対称群 (S 3 , 位数 6)である――この現象は“triality” (英語版 ) と呼ばれる。すべてのこれらの図形自己同型が、図形がどのように平面に慣習的に描かれるかのユークリッド対称性として実現できるということは起こるが、これはそれらがどのように描かれるかの人工物に過ぎず、内在的な構造ではない。
An .
An に対して、図形の自己同型は直線状の図形の反転である。図形の頂点は基本ウェイト を添え字付け、これらは(An −1 に対して)i = 1, ..., n に対して
⋀
i
C
n
{\displaystyle \bigwedge ^{i}C^{n}}
であり、図形の自己同型は duality
⋀
i
C
n
↦
⋀
n
−
i
C
n
{\displaystyle \bigwedge ^{i}C^{n}\mapsto \bigwedge ^{n-i}C^{n}}
に対応する。リー環
s
l
n
+
1
{\displaystyle {\mathfrak {sl}}_{n+1}}
として実現すると、外部自己同型は負の転置
T
↦
−
T
T
{\displaystyle T\mapsto -T^{\mathrm {T} }}
として表現でき、これは双対表現の作用の仕方である[ 3] 。
Dn .
Dn に対して、図形の自己同型は Y 字の端の2つの頂点の入れ替えで、2つの chiral (英語版 ) スピン表現 (英語版 ) を入れ替えることに対応する。リー環
s
o
2
n
{\displaystyle {\mathfrak {so}}_{2n}}
として実現して、外部自己同型は O(2n ) の行列式 −1 の行列による共役として表せる。
A
3
≅
D
3
{\displaystyle \mathrm {A} _{3}\cong \mathrm {D} _{3}}
であるから、それらの自己同型は一致し、
D
2
≅
A
1
×
A
1
{\displaystyle \mathrm {D} _{2}\cong \mathrm {A} _{1}\times \mathrm {A} _{1}}
は不連結で、自己同型は2つの頂点を入れ替えることに対応する。
D4 に対して、基本表現 (英語版 ) は2つのスピン表現に同型であり、結果の3文字の対称群 (S 3 , あるいは位数 6 の二面体群 Dih3 )はリー環の自己同型と図形の自己同型の両方に対応する。
E6 .
E6 の自己同型群は図形を反転させることに対応し、ヨルダン代数 (英語版 ) を用いて表せる[ 3] 。
不連結な図形は、「半」単純リー環に対応し、図形の成分の交換から来る自己同型を持つかもしれない。
標数 2 では、F4 の矢印は無視でき、追加の図形の自己同型と対応する鈴木・リ群 (英語版 ) を生じる。
正標数 では、追加の「図形自己同型」が存在する――粗く言えば、標数 p では図形の自己同型を取るときにディンキン図形の重複度 p の結合の矢印を無視できることがある。したがって標数 2 では
B
2
≅
C
2
{\displaystyle \mathrm {B} _{2}\cong \mathrm {C} _{2}}
と F4 の位数 2 の自己同型があり、標数 3 では G2 の位数 2 の自己同型がある。しかしすべての状況で適用するわけではない:例えば、そのような自己同型は対応する代数群 の自己同型として生じるとは限らず、有限体に値を持つ点のレベルでである。
図形の自己同型を通したリー群の構成
図形の自己同型は追加のリー群やリー型の群 (英語版 ) を生じ、これは有限単純群の分類において中心的に重要な群である。
ディンキン図形のことばでのリー群のシュバレー群 (英語版 ) 構成は古典群のいくつか、すなわちユニタリ群と非分裂直交群 (英語版 ) を生み出さない。Steinberg 群 (英語版 ) はユニタリ群 2 An を構成し、他の直交群は 2 Dn として構成される、ただしどちらの場合においてもこれは図形自己同型を体自己同型と組み合わせることが必要である。これはまた追加の exotic リー群 2 E6 と 3 D4 も生じ、後者は位数 3 の自己同型を持つ体上でしか定義されない。
正標数における追加の図形自己同型は鈴木・リ群 (英語版 ) 2 B2 , 2 F4 , 2 G2 を生じる。
Folding
有限コクセター群の foldings.
アファイン・コクセター群の foldings, 3つの名前の慣習を添えて:第一に、もともとの拡大された集合;第二は箙 のグラフの文脈で用いられる;最後はヴィクトル・カッツ によって twisted アファイン・リー環 のために。
(Simply-laced) ディンキン図形(有限あるいはアファイン )で(下記の1つの条件を満たす)対称性を持つものは、その対称性によって割ることができ、新しい、一般には multiply laced な図形が得られ、この過程を folding (“折り畳み”) と呼ぶ(ほとんどの対称性は 2-fold であるため)。リー環のレベルでは、これは外部自己同型群で不変な部分環を取ることに対応し、過程は図形を用いることなしに純粋にルート系を参照して定義できる[ 6] 。さらに、すべての multiply laced 図形(有限あるいは無限)は simply-laced 図形を folding して得ることができる[ 7] 。
Folding が可能なための自己同型についての1つの条件は、(自己同型の下での)同じ軌道にあるグラフの相異なる頂点が辺で結ばれてはいけないことである;ルート系のレベルでは、同じ軌道にあるルートは直交していなければならない[ 7] 。図形のレベルでは、これは必要である、なぜならばそうでないと商図形が、2つの頂点を同一視するがそれらの間に辺があるためにループを持つが、ループはディンキン図形では許されていないからである。
商 ("folded") 図形の頂点と辺はもとの図形の頂点と辺の軌道である;(とりわけ原子価が2よりも大きい頂点において)2つの入射する辺が同じ辺に写る場合を除いて、辺は1本であり、写像の“分岐点”における重みは入射する辺の個数で、矢印は入射する頂点「を」指し、“分岐点は non-homogeneous point に写る”。例えば、D4 を G2 に folding すると、G2 の辺は、3つの外側の頂点(原子価 1)の類から中心の頂点(原子価 3)の類に向かう。
有限図形の foldings は以下である[ 8] [ 注 2] :
(A2n の自己同型は folding を生じない、なぜならば真ん中の2つの頂点は辺で結ばれているが、同じ軌道にあるからである。)
Dn + 1 → Bn
D4 → G2 (if quotienting by the full group or a 3-cycle, in addition to
D
4
→
B
3
{\displaystyle D_{4}\to B_{3}}
in 3 different ways, if quotienting by an involution)
E6 → F4
アファイン図形に対して類似の foldings が存在する、例えば:
A
~
2
n
−
1
→
C
~
n
{\displaystyle {\tilde {A}}_{2n-1}\to {\tilde {C}}_{n}}
D
~
n
+
1
→
B
~
n
{\displaystyle {\tilde {D}}_{n+1}\to {\tilde {B}}_{n}}
D
~
4
→
G
~
2
{\displaystyle {\tilde {D}}_{4}\to {\tilde {G}}_{2}}
E
~
6
→
F
~
4
{\displaystyle {\tilde {E}}_{6}\to {\tilde {F}}_{4}}
Foldings の概念はより一般にコクセター図形 にも適用できる[ 9] ――特に、ディンキン図形の許される商を Hn と I2 (p ) に一般化できる。幾何学的にはこれは uniform polytope (英語版 ) の射影に対応する。特に、任意の simply laced ディンキン図形は I2 (h ) に fold できる、ただし h はコクセター数 (英語版 ) で、幾何学的にはコクセター平面 (英語版 ) への射影に対応する。
Folding は(半単純)リー環についての問題を simply-laced なものと自己同型についての問題に還元でき、これは multiply laced リー環を直接扱うよりも単純かもしれない;これは例えば半単純リー環を構成する際にすることができる。さらなる議論は Math Overflow: Folding by Automorphisms を参照。
図形の他の写像
A2 ルート系
G2 ルート系
図形のいくつかの追加の写像は以下に詳述するように意味のある解釈を持つ。しかしながら、ルート系のすべての写像が図形の写像として生じるわけではない[ 10] 。
例えば、A2 の G2 へのルート系の包含は2つあり、1つは6つの長いルートへの、もう1つは6つの短いルートへの写像である。しかしながら、G2 図形の2つの頂点は、1つは長いルートに、もう1つは短いルートに対応するが、A2 図形の頂点は等しい長さのルートに対応するから、ルート系のこの写像は図形の写像としては表せない。
ルート系のある包含は1つの図形の別の図形の誘導部分グラフ 、すなわち「頂点は部分集合で、辺はそれらの間の全て」と表せる。なぜならば、ディンキン図形から頂点を取り除くことはルート系から単純ルートを取り除くことに対応し、これは階数が 1 小さいルート系になるからである。対照的に、頂点は変えずに辺を取り除くこと(あるいは辺の重複度を変えること)はルート間の角度を変えることに対応し、これはルート系全体を変えずにはできない。したがって、意味があるように頂点を取り除くことはできるが、辺ではできない。連結図形から頂点を取り除くと、頂点が葉ならば連結図形(単純リー環)になり、あるいは、2つか3つの成分からなる不連結図形(半単純だが単純でないリー環)になるかもしれない(後者は Dn と En に対して)。リー環のレベルでは、これらの包含は部分リー環に対応する。
極大部分グラフは以下のようである;図形の自己同型 によって関連する部分グラフは "conjugate" とラベル付けられている:
An +1 : An , in 2 conjugate ways.
Bn +1 : An , Bn .
Cn +1 : An , Cn .
Dn +1 : An (2 conjugate ways), Dn .
En +1 : An , Dn , En .
For E6 , two of these coincide:
D
5
≅
E
5
{\displaystyle \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).
最後に、図式の双対性は、存在すれば、矢印の向きの反転に対応する[ 10] :Bn と Cn は双対であり、F4 や G2 や simply-laced ADE 図形は自己双対である。
Simply laced
Simply laced ディンキン図形は多様な数学的対象を分類する;これは ADE 分類 (英語版 ) と呼ばれる。
多重辺を持たないディンキン図形、および対応するリー環やリー群は、simply laced と呼ばれる。これらは An , Dn , En 図形であり、そのような図形が分類する現象は ADE 分類 (英語版 ) と呼ばれる。この場合ディンキン図形は、多重辺を持たないから、コクセター図形とちょうど一致する。
佐武図形
この節の
加筆 が望まれています。
(2009年12月 )
ディンキン図形は「複素」半単純リー環を分類する。実半単純リー環は複素半単純リー環の実形 (英語版 ) として分類でき、これらは佐武図形 (英語版 ) によって分類され、これらはディンキン図形から、あるルールに従って、いくつかの頂点を黒でラベル付け、いくつかの他の頂点を対で矢印で結ぶことによって、得られる。
歴史
イェヴゲニ・ディンキン (英語版 ) 。
ディンキン図形はイェヴゲニ・ディンキン (英語版 ) に因んで名づけられており、彼はそれを2つの論文 (1946, 1947) で用いて、半単純リー環の分類を簡素化した[ 11] ;(Dynkin 2000 ) を参照。ディンキンがソビエト連邦を1976年に去った時、当時それは反逆と同等と考えられており、ソビエトの数学者は彼の名前を用いずに「単純ルートの図形」と呼ぶよう指示された[要出典 ] 。
無向グラフは早くにコクセター (1934) によって鏡映群 (英語版 ) を分類するために用いられていた、ここで頂点は単純鏡映に対応する;グラフはヴィット (1941) によって(長さの情報とともに)ルート系に関連して頂点が単純ルートと対応するよう今日用いられているように用いられた[ 11] [ 12] 。ディンキンはそれらを1946年と1947年に用い、1947年の論文でコクセターとヴィットに謝意を表した。
慣習
ディンキン図形はいくつかの方法で描かれる[ 12] ;ここで従う慣習は一般的で、価数 2 の頂点の角度は 180° で、Dn の価数3の頂点の角度は 120° で、En の価数 3 の頂点の角度は 90°/90°/180° で、多重度は 1, 2, 3 本の平行な辺で表され、ルートの長さは辺に向き付けの矢印を描くことで表す。簡単のためだけではなく、この慣習のさらなる利点は、図形自己同型が図形のユークリッド等長同型によって実現されることである。
別の慣習には、多重度を表すのに辺のそばに数を書くもの(コクセター図形で一般に用いられる)、ルート長を表すのに頂点を黒く塗るもの、価数 2 の頂点の角度を 120° にして頂点をより異ならせるものがある。
頂点の番号付けにも慣習がある。最も一般的な現代の慣習は1960年代に発展し、(Bourbaki 1968 ) に描かれている[ 12] 。
階数 2 のディンキン図形
ディンキン図形は一般カルタン行列 と同値である。階数 2 のディンキン図形を対応する 2 × 2 カルタン行列とともに書いたこの表に示されているように。
階数 2 のときは、カルタン行列の形は
A
=
[
2
a
12
a
21
2
]
{\displaystyle A={\begin{bmatrix}2&a_{12}\\a_{21}&2\end{bmatrix}}}
である。多重辺図形はカルタン行列の非対角成分 −a 21 , −a 12 に対応し、描かれる辺の個数は max(−a 21 , −a 12 ) に等しく、矢印は −1 でない元を指している。
一般カルタン行列 は正方行列 A = (aij ) であって以下を満たすものである:
対角成分に対して、aii = 2 .
非対角成分に対して、aij ≤ 0 .
aij = 0 ⇔ aji = 0 .
一般カルタン行列は群が有限型 であるか(それが正定値行列 のとき、すなわちすべての固有値が正のとき)、アファイン型 であるか(それが正定値ではないが、半正定値であるとき、すなわちすべての固有値が非負のとき)、不定値型 であるかを決定する。不定値型はしばしばさらに細分化され、例えばコクセター群がローレンツ型 であるとは、それが1つの負の固有値を持ち全ての他の固有値は正であることをいう。さらに、複数の文献が双曲型 コクセター群に言及しているが、この用語にはいくつかの同値でない定義がある。以下の議論では、双曲型コクセター群はローレンツ型の特別な場合で、ある追加の条件を満たすものである。階数 2 に対しては、行列式が負のすべてのカルタン行列は双曲型コクセター群に対応することに注意。しかし一般には、行列式が負のほとんどの行列は双曲型でもローレンツでもない。
(連結)有限型は (−a 21 , −a 12 ) = (1, 1), (2, 1), (3, 1) で、アファイン型(行列式 0)は (−a 21 , −a 12 ) = (2, 2), (4, 1) である。
有限ディンキン図形
頂点が 1 から 9 の有限ディンキン図形
階数
古典型リー群 (英語版 )
例外型リー群
A1+
B2+
C2+
D2+
E3–8 (英語版 )
G2 (英語版 ) / F4 (英語版 )
1
A1
2
A2
B2
C2 = B2
D2 = A1 xA1
G2
3
A3
B3
C3
D3 = A3
E3 = A2 xA1
4
A4
B4
C4
D4
E4 = A4
F4
5
A5
B5
C5
D5
E5 = D5
6
A6
B6
C6
D6
E6
7
A7
B7
C7
D7
E7
8
A8
B8
C8
D8
E8
9
A9
B9
C9
D9
10+
..
..
..
..
アファインディンキン図形
ディンキン図形の拡張、すなわちアファインディンキン図形 が存在する;これらはアファインリー環 のカルタン行列を分類する。これらは (Kac 1994 , Chapter 4, pp. 47– ) において分類され、特に (Kac 1994 , pp. 53–55 ) にリストされている。アファイン図形は X(1)l , X(2)l , X(3)l と書かれる、ただし X は対応する有限図形の文字で、指数はアファイン図形のどの列にそれらが入っているかに依存する。これらの第一、X(1)l は、もっとも一般的で、拡大ディンキン図形 (extended Dynkin diagram) と呼ばれ、チルダ で表され、時には右上に + の記号をつけることもある[ 14] 、例えば
A
~
5
=
A
5
(
1
)
=
A
5
+
{\displaystyle {\tilde {A}}_{5}=A_{5}^{(1)}=A_{5}^{+}}
のように。(2) と (3) の列は twisted アファイン図形 と呼ばれる。
図形については Dynkin diagram generator を参照。
拡大ディンキン図形の集合、追加の頂点は緑(Bn に対しては n ≥ 3 , Dn に対しては n ≥ 4 )
"Twisted" アファイン形は (2) あるいは (3) の上付き添え字で名づけられる。 (k はグラフの黄色の頂点の個数)
以下が頂点の個数が10個までのアファイン群に対するディンキングラフのすべてである。拡大ディンキングラフは、上の有限グラフに1つの頂点を加えた ~ 族として与えられる。他の有向グラフの変種は、位数の高い群の folding を表す値が (2) か (3) の上付き添え字とともに与えられる。これらは 「twistedアファイン」図形とカテゴライズされる[ 15] 。
頂点が 2 から 10 までの連結アファインディンキングラフ (無向グラフでグループ分けしている)
階数
A
~
1
+
{\displaystyle {\tilde {A}}_{1+}}
B
~
3
+
{\displaystyle {\tilde {B}}_{3+}}
C
~
2
+
{\displaystyle {\tilde {C}}_{2+}}
D
~
4
+
{\displaystyle {\tilde {D}}_{4+}}
E / F / G
2
A
~
1
{\displaystyle {\tilde {A}}_{1}}
or
A
1
(
1
)
{\displaystyle {A}_{1}^{(1)}}
A
2
(
2
)
{\displaystyle {A}_{2}^{(2)}}
:
3
A
~
2
{\displaystyle {\tilde {A}}_{2}}
or
A
2
(
1
)
{\displaystyle {A}_{2}^{(1)}}
C
~
2
{\displaystyle {\tilde {C}}_{2}}
or
C
2
(
1
)
{\displaystyle {C}_{2}^{(1)}}
D
5
(
2
)
{\displaystyle {D}_{5}^{(2)}}
:
A
4
(
2
)
{\displaystyle {A}_{4}^{(2)}}
:
G
~
2
{\displaystyle {\tilde {G}}_{2}}
or
G
2
(
1
)
{\displaystyle {G}_{2}^{(1)}}
D
4
(
3
)
{\displaystyle {D}_{4}^{(3)}}
4
A
~
3
{\displaystyle {\tilde {A}}_{3}}
or
A
3
(
1
)
{\displaystyle {A}_{3}^{(1)}}
B
~
3
{\displaystyle {\tilde {B}}_{3}}
or
B
3
(
1
)
{\displaystyle {B}_{3}^{(1)}}
A
5
(
2
)
{\displaystyle {A}_{5}^{(2)}}
:
C
~
3
{\displaystyle {\tilde {C}}_{3}}
or
C
3
(
1
)
{\displaystyle {C}_{3}^{(1)}}
D
6
(
2
)
{\displaystyle {D}_{6}^{(2)}}
:
A
6
(
2
)
{\displaystyle {A}_{6}^{(2)}}
:
5
A
~
4
{\displaystyle {\tilde {A}}_{4}}
or
A
4
(
1
)
{\displaystyle {A}_{4}^{(1)}}
B
~
4
{\displaystyle {\tilde {B}}_{4}}
or
B
4
(
1
)
{\displaystyle {B}_{4}^{(1)}}
A
7
(
2
)
{\displaystyle {A}_{7}^{(2)}}
:
C
~
4
{\displaystyle {\tilde {C}}_{4}}
or
C
4
(
1
)
{\displaystyle {C}_{4}^{(1)}}
D
7
(
2
)
{\displaystyle {D}_{7}^{(2)}}
:
A
8
(
2
)
{\displaystyle {A}_{8}^{(2)}}
:
D
~
4
{\displaystyle {\tilde {D}}_{4}}
or
D
4
(
1
)
{\displaystyle {D}_{4}^{(1)}}
F
~
4
{\displaystyle {\tilde {F}}_{4}}
or
F
4
(
1
)
{\displaystyle {F}_{4}^{(1)}}
E
6
(
2
)
{\displaystyle {E}_{6}^{(2)}}
6
A
~
5
{\displaystyle {\tilde {A}}_{5}}
or
A
5
(
1
)
{\displaystyle {A}_{5}^{(1)}}
B
~
5
{\displaystyle {\tilde {B}}_{5}}
or
B
5
(
1
)
{\displaystyle {B}_{5}^{(1)}}
A
9
(
2
)
{\displaystyle {A}_{9}^{(2)}}
:
C
~
5
{\displaystyle {\tilde {C}}_{5}}
or
C
5
(
1
)
{\displaystyle {C}_{5}^{(1)}}
D
8
(
2
)
{\displaystyle {D}_{8}^{(2)}}
:
A
10
(
2
)
{\displaystyle {A}_{10}^{(2)}}
:
D
~
5
{\displaystyle {\tilde {D}}_{5}}
or
D
5
(
1
)
{\displaystyle {D}_{5}^{(1)}}
7
A
~
6
{\displaystyle {\tilde {A}}_{6}}
or
A
6
(
1
)
{\displaystyle {A}_{6}^{(1)}}
B
~
6
{\displaystyle {\tilde {B}}_{6}}
or
B
6
(
1
)
{\displaystyle {B}_{6}^{(1)}}
A
11
(
2
)
{\displaystyle {A}_{11}^{(2)}}
:
C
~
6
{\displaystyle {\tilde {C}}_{6}}
or
C
6
(
1
)
{\displaystyle {C}_{6}^{(1)}}
D
9
(
2
)
{\displaystyle {D}_{9}^{(2)}}
:
A
12
(
2
)
{\displaystyle {A}_{12}^{(2)}}
:
D
~
6
{\displaystyle {\tilde {D}}_{6}}
or
D
6
(
1
)
{\displaystyle {D}_{6}^{(1)}}
E
~
6
{\displaystyle {\tilde {E}}_{6}}
or
E
6
(
1
)
{\displaystyle {E}_{6}^{(1)}}
8
A
~
7
{\displaystyle {\tilde {A}}_{7}}
or
A
7
(
1
)
{\displaystyle {A}_{7}^{(1)}}
B
~
7
{\displaystyle {\tilde {B}}_{7}}
or
B
7
(
1
)
{\displaystyle {B}_{7}^{(1)}}
A
13
(
2
)
{\displaystyle {A}_{13}^{(2)}}
:
C
~
7
{\displaystyle {\tilde {C}}_{7}}
or
C
7
(
1
)
{\displaystyle {C}_{7}^{(1)}}
D
10
(
2
)
{\displaystyle {D}_{10}^{(2)}}
:
A
14
(
2
)
{\displaystyle {A}_{14}^{(2)}}
:
D
~
7
{\displaystyle {\tilde {D}}_{7}}
or
D
7
(
1
)
{\displaystyle {D}_{7}^{(1)}}
E
~
7
{\displaystyle {\tilde {E}}_{7}}
or
E
7
(
1
)
{\displaystyle {E}_{7}^{(1)}}
9
A
~
8
{\displaystyle {\tilde {A}}_{8}}
or
A
8
(
1
)
{\displaystyle {A}_{8}^{(1)}}
B
~
8
{\displaystyle {\tilde {B}}_{8}}
or
B
8
(
1
)
{\displaystyle {B}_{8}^{(1)}}
A
15
(
2
)
{\displaystyle {A}_{15}^{(2)}}
:
C
~
8
{\displaystyle {\tilde {C}}_{8}}
or
C
8
(
1
)
{\displaystyle {C}_{8}^{(1)}}
D
11
(
2
)
{\displaystyle {D}_{11}^{(2)}}
:
A
16
(
2
)
{\displaystyle {A}_{16}^{(2)}}
:
D
~
8
{\displaystyle {\tilde {D}}_{8}}
or
D
8
(
1
)
{\displaystyle {D}_{8}^{(1)}}
E
~
8
{\displaystyle {\tilde {E}}_{8}}
or
E
8
(
1
)
{\displaystyle {E}_{8}^{(1)}}
10
A
~
9
{\displaystyle {\tilde {A}}_{9}}
or
A
9
(
1
)
{\displaystyle {A}_{9}^{(1)}}
B
~
9
{\displaystyle {\tilde {B}}_{9}}
or
B
9
(
1
)
{\displaystyle {B}_{9}^{(1)}}
A
17
(
2
)
{\displaystyle {A}_{17}^{(2)}}
:
C
~
9
{\displaystyle {\tilde {C}}_{9}}
or
C
9
(
1
)
{\displaystyle {C}_{9}^{(1)}}
D
12
(
2
)
{\displaystyle {D}_{12}^{(2)}}
:
A
18
(
2
)
{\displaystyle {A}_{18}^{(2)}}
:
D
~
9
{\displaystyle {\tilde {D}}_{9}}
or
D
9
(
1
)
{\displaystyle {D}_{9}^{(1)}}
11
...
...
...
...
双曲型および高次のディンキン図形
コンパクトおよび非コンパクトな双曲ディンキングラフはすべて列挙されている[ 16] 。階数 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) :
H101 (3) :
H105 (3) :
H106 (3) :
(6 6 2):
H114 (3) :
H115 (3) :
H116 (3) :
巡回グラフ
(4 3 3): H1 (3) :
(4 4 3): 3 forms...
(4 4 4): 2 forms...
(6 3 3): H3 (3) :
(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...
M理論 のように理論物理学 において用いられるいくつかの表記は拡大群に対し "~" の代わりに "+" の上付き添え字を用い、これにより higher extensions groups が定義できる。
Extended ディンキン図形(アファイン)は "+" で与えられ1つの付け加えられた頂点を表す("~" と同じ)。
Over-extended ディンキン図形(双曲)は "^" あるいは "++" で与えられ、2つの付け加えられた頂点を表す。
Very-extended ディンキン図形で3つの頂点が付け加えられたものは "+++" で与えられる。
Over-extended(双曲)ディンキン図形のいくつかの例
階数
AEn = An−2 (1)^
BEn = Bn−2 (1)^ CEn
Cn−2 (1)^
DEn = Dn−2 (1)^
E / F / G
3
AE3 :
4
AE4 :
C2 (1)^ A4 (2)'^ A4 (2)^ D3 (2)^
G2 (1)^ D4 (3)^
5
AE5 :
BE5 CE5
C3 (1)^ A6 (2)^ A6 (2)'^ D5 (2)^
6
AE6
BE6 CE6
C4 (1)^ A8 (2)^ A8 (2)'^ D7 (2)^
DE6
F4 (1)^ E6 (2)^
7
AE7
BE7 CE7
DE7
8
AE8
BE8 CE8
DE8
E6 (1)^
9
AE9
BE9 CE9
DE9
E7 (1)^
10
BE10 CE10
DE10
E10 = E8 (1)^
238個の双曲群(コンパクト・非コンパクト)
階数 n ≥ 3 の238個の(コンパクトおよび非コンパクト)双曲群は H(n )i と名付けられ、各階数に対して i = 1, 2, 3, ... とリストされている。
Very-extended
Very-extended 群はローレンツ群 であり、有限群に3つの頂点を加えることで定義される。E8 , E7 , E6 , F4 , G2 は very-extended 群で終わる6つの列を提供する。示されていない他の extended series は各 n に対して異なる列として An , Bn , Cn , Dn から定義できる。付随するカルタン行列 の行列式は列がどこで有限(正)からアファイン(零)から非コンパクト双曲群(負)に変わるかを決定し、1つの時間的 (英語版 ) 次元を用いて定義できるローレンツ群として終わり、M理論 において用いられる[ 17] 。
階数 2 の extended series
有限
A2
C2
G2 (英語版 )
2
A2
C2
G2
3
A2 + =
A
~
2
{\displaystyle {\tilde {A}}_{2}}
C2 + =
C
~
2
{\displaystyle {\tilde {C}}_{2}}
G2 + =
G
~
2
{\displaystyle {\tilde {G}}_{2}}
4
A2 ++
C2 ++
G2 ++
5
A2 +++
C2 +++
G2 +++
Det(Mn )
3(3 − n )
2(3 − n )
3 − n
階数 3 と 4 の extended series
有限
A3
B3
C3
A4
B4
C4
D4
F4 (英語版 )
2
A1 2
A2
3
A3
B3
C3
B2 A1
A1 3
4
A3 + =
A
~
3
{\displaystyle {\tilde {A}}_{3}}
B3 + =
B
~
3
{\displaystyle {\tilde {B}}_{3}}
C3 + =
C
~
3
{\displaystyle {\tilde {C}}_{3}}
A4
B4
C4
D4
F4
5
A3 ++
B3 ++
C3 ++
A4 + =
A
~
4
{\displaystyle {\tilde {A}}_{4}}
B4 + =
B
~
4
{\displaystyle {\tilde {B}}_{4}}
C4 + =
C
~
4
{\displaystyle {\tilde {C}}_{4}}
D4 + =
D
~
4
{\displaystyle {\tilde {D}}_{4}}
F4 + =
F
~
4
{\displaystyle {\tilde {F}}_{4}}
6
A3 +++
B3 +++
C3 +++
A4 ++
B4 ++
C4 ++
D4 ++
F4 ++
7
A4 +++
B4 +++
C4 +++
D4 +++
F4 +++
Det(Mn )
4(4 − n )
2(4 − n )
5(5 − n )
2(5 − n )
4(5 − n )
5 − n
階数 5 と 6 の extended series
有限
A5
B5
D5
A6
B6
D6
E6
4
B3 A1
A3 A1
A2 2
5
A5
D5
B4 A1
D4 A1
A5
6
A5 + =
A
~
5
{\displaystyle {\tilde {A}}_{5}}
B5 + =
B
~
5
{\displaystyle {\tilde {B}}_{5}}
D5 + =
D
~
5
{\displaystyle {\tilde {D}}_{5}}
A6
B6
D6
E6
7
A5 ++
B5 ++
D5 ++
A6 + =
A
~
6
{\displaystyle {\tilde {A}}_{6}}
B6 + =
B
~
6
{\displaystyle {\tilde {B}}_{6}}
D6 + =
D
~
6
{\displaystyle {\tilde {D}}_{6}}
E6 + =
E
~
6
{\displaystyle {\tilde {E}}_{6}}
8
A5 +++
B5 +++
D5 +++
A6 ++
B6 ++
D6 ++
E6 ++
9
A6 +++
B6 +++
D6 +++
E6 +++
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 =A2 A1
4
A3 A1
E4 =A4
5
A5
E5 =D5
6
B5 A1
D5 A1
D6
E6
7
A7
B7
D7
E7
E7
8
A7 + =
A
~
7
{\displaystyle {\tilde {A}}_{7}}
B7 + =
B
~
7
{\displaystyle {\tilde {B}}_{7}}
D7 + =
D
~
7
{\displaystyle {\tilde {D}}_{7}}
E7 + =
E
~
7
{\displaystyle {\tilde {E}}_{7}}
E8
9
A7 ++
B7 ++
D7 ++
E7 ++
E9 =E8 + =
E
~
8
{\displaystyle {\tilde {E}}_{8}}
10
A7 +++
B7 +++
D7 +++
E7 +++
E10 =E8 ++
11
E11 =E8 +++
Det(Mn )
8(8 − n )
2(8 − n )
4(8 − n )
2(8 − n )
9 − n
関連項目
ウィキメディア・コモンズには、
ディンキン図形 に関連するカテゴリがあります。
脚注
注
^ この節では明確にするために一般のクラスを「コクセター・ディンキン図形」ではなく「コクセター図形」と呼ぶ。混乱の可能性が大きく、また簡潔のためである。
^ Stekloshchik の矢印の向きはこの記事とは逆であることに注意。
出典
^ Baez, John (April 13, 1998), This Week's Finds in Mathematical Physics (Week 119) , https://math.ucr.edu/home/baez/week119.html
^ a b c Outer automorphisms of simple Lie Algebras
^ Algebraic geometry and number theory: in honor of Vladimir Drinfeld's 50th Birthday, edited by Victor Ginzburg, p. 47, section 3.6: Cluster folding
^ a b Folding by Automorphisms , John Stembridge, 4pp., 79K, 20 August 2008, Other Articles by John Stembridge
^ これらの foldings の絵と文献については次を参照:(Stekolshchik 2008 , p. 102 , remark 5.4).
^ Zuber, Jean-Bernard. Generalized Dynkin diagrams and root systems and their folding . pp. 28–30.
^ a b Transformations of Dynkin Diagrams , John Armstrong, March 5, 2010
^ a b (Knapp 2002 , p. 758 )
^ a b c Why are the Dynkin diagrams E6, E7 and E8 always drawn the way they are drawn?
^ Notes on Coxeter Transformations and the McKay correspondence , Rafael Stekolshchik, 2005, Section 2.1 The Cartan matrix and its Tits form p. 27. [1]
^ 例えば次を参照: Reflection groups and Coxeter groups, by James E. Humphreys, p. 96
^ [2] Infinite dimensional Lie algebras , Victor Kac
^ Carbone, L, Chung, S, Cobbs, C, McRae, R, Nandi, D, Naqvi, Y, and Penta, D: Classification of hyperbolic Dynkin diagrams, root lengths and Weyl group orbits , J. Phys. A: Math. Theor. 43 155209, 2010, arXiv :1003.0564
^ The symmetry of M-theories , Francois Englert, Laurent Houart, Anne Taormina and Peter West, 2003
参考文献
Dynkin, E. B. (1947), “The structure of semi-simple algebras .” (ロシア語), Uspehi Matem. Nauk , (N.S.) 2 (4(20)): 59–127
Bourbaki, Nicolas (1968), “Chapters 4–6”, Groupes et algebres de Lie , Paris: Hermann
Jacobson, Nathan (1971-06-01), Exceptional Lie Algebras (1 ed.), CRC Press, ISBN 0-8247-1326-5
Humphreys, James E. (1972), Introduction to Lie Algebras and Representation Theory , Birkhäuser, ISBN 978-0-387-90053-7
Fulton, William ; Harris, Joe (1991), Representation theory. A first course , Graduate Texts in Mathematics , Readings in Mathematics, 129 , New York: Springer-Verlag , ISBN 978-0-387-97495-8 , MR 1153249 , ISBN 978-0-387-97527-6
Dynkin, Evgeniĭ Borisovich; Alexander Adolph Yushkevich; Gary M. Seitz; A. L. Onishchik (2000), Selected papers of E.B. Dynkin with commentary , AMS Bookstore, ISBN 978-0-8218-1065-1
Knapp, Anthony W. (2002), Lie groups beyond an introduction (2nd ed.), Birkhäuser, ISBN 978-0-8176-4259-4
Stekolshchik, R. (2008), Notes on Coxeter Transformations and the McKay Correspondence , Springer Monographs in Mathematics, doi :10.1007/978-3-540-77398-3 , ISBN 978-3-540-77398-6
外部リンク