図形の他の写像
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/17 01:16 UTC 版)
A2 ルート系 G2 ルート系 図形のいくつかの追加の写像は以下に詳述するように意味のある解釈を持つ。しかしながら、ルート系のすべての写像が図形の写像として生じるわけではない。 例えば、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). 最後に、図式の双対性は、存在すれば、矢印の向きの反転に対応する:Bn と Cn は双対であり、F4 や G2 や simply-laced ADE 図形は自己双対である。
※この「図形の他の写像」の解説は、「ディンキン図形」の解説の一部です。
「図形の他の写像」を含む「ディンキン図形」の記事については、「ディンキン図形」の概要を参照ください。
- 図形の他の写像のページへのリンク