まずはディンキン図形 - Wikipediaという項目を見て欲しい。英語版の翻訳に過ぎないのだが、とりあえず全部詰め込んでおくか、という内容で全く整理されていない。それはディンキン図形が数学の様々な分野で現れるため、それぞれ都合よく解釈され、類推として拡張されてしまったことによる影響だろう。「おっこれA型じゃーん」「じゃあE型の対応物あるんじゃね？」「お、そうだな。調べたらあったからE型って名前付けとくわ」みたいな。なので今回は全ての核となる部分のみに着目し、リー代数とかルート系とかそういった話は一切せずに、非常に良く纏まった美しい分類の証明を紹介しようと思う。ベクトル空間の基本的な性質のみで示すことが出来る。

許容集合とはユークリッド空間 ${ \mathbb{R}^{n} }$ の正規基底 ${ \lbrace v_{1}, \dotsc, v_{n} \rbrace }$ （独立かつ全体空間を張り、長さが ${ 1 }$ のベクトルたち）であって、ベクトルたちの成す角が ${ \frac{\pi}{2}, \frac{2\pi}{3}, \frac{3\pi}{4}, \frac{5\pi}{6} }$ の何れかとなるものを指す。つまり90度、120度、135度、150度の開きしか認めない。

そんなものは本当にあるのかと思うかもしれないが、少なくとも ${ n=1 }$ の場合は角度の条件は意味をなさないし、 ${ n=2 }$ の場合も角度に応じて（角度を保つ線型写像による同型を除き） ${ 4 }$ 種類あることが分かる。 ${ n=3 }$ の場合も、上記の組み合わせでできるものや、そうでないものを作ることが出来る。

角度の条件は ${ \langle v_{i}, v_{j} \rangle\le 0 }$ かつ ${ 4\langle v_{i}, v_{j} \rangle^{2}\in \lbrace 0, 1, 2, 3 \rbrace }$ と書き換えることができる。そこで ${ v_{i} }$ を頂点とし、辺に ${ 4\langle v_{i}, v_{j} \rangle^{2} }$ という重みを付けたグラフ（重みゼロは結ばないこととする）を考え、これを許容図形と呼ぶことにする。慣例として重み ${ 2 }$ は二重線、重み ${ 3 }$ は三重線で書く。（辺が複数あるという意味ではない。）

定理連結な許容図形はA型、BまたはC型、D型と呼ばれる無限系列（古典型）と、E6型、E7型、E8型、F4型、G2型と呼ばれる（無限系列ではないという意味での）例外型しかない。

はてなブログの仕様的に各々の図をtexで書くのは難しいですのでちょっと誤魔化します。ディンキン図形 - Wikipediaにあるグラフのうち、向きを表す矢印を落としたものに対応します。丸の数が ${ n }$ に対応し、黒丸で分岐しています。分岐後は～の後に書いてあります。

A型：○ー・・・ー○

BまたはC型：○ー・・・ー○＝○

D型：○ー・・・ー●ー○、～●ー○

E6型：○ー○ー●ー○ー○、～●ー○

E7型：○ー○ー●ー○ー○ー○、～●ー○

E8型：○ー○ー●ー○ー○ー○ー○、～●ー○

F4型：○ー○＝○ー○

G2型：○≡○

AからGまでの文字に意味はありません。これは単にカルタンが分類定理を発表したときに付けた番号にすぎません。

定理の証明

補題一つの頂点から、重みも考慮して、 ${ 4 }$ 本以上の辺は出ない。

（証明） ${ v=\sum v_{i} }$ を考えると、独立性より ${ v\neq 0 }$ が従うから

$0\lt \langle v, v\rangle = \sum_{i} \langle v_{i}, v_{i} \rangle+2\sum_{i\lt j}\langle v_{i}, v_{j} \rangle = n+\sum_{i\lt j}2\langle v_{i}, v_{j} \rangle$

となる。二つの頂点 ${ v_{i}, v_{j} }$ が辺で結ばれているなら ${ 2\langle v_{i}, v_{j} \rangle }$ は ${ -1, -\sqrt{2}, -\sqrt{3} }$ の何れかである。特に ${ -1 }$ 以下なので、和の項数は ${ n-1 }$ を超えることが出来ない。ところがグラフは連結なので ${ n-1 }$ 個のペアが必要となる。つまり辺はちょうど ${ n-1 }$ 本ある。するとオイラーの定理などを使ってグラフにループがないことが分かる。

頂点 ${ c }$ から ${ v_{1}, \dotsc, v_{k} }$ （必要なら並び替えて）に向かって辺が出ているとする。ループは存在しないので ${ i\neq j }$ なら ${ \langle v_{i}, v_{j} \rangle=0 }$ となる。さて、再び独立性より ${ c }$ は ${ v_{1}, \dotsc, v_{k} }$ の線型和で書くことが出来ない。 ${ c }$ の ${ v_{1}, \dotsc, v_{k} }$ が張る空間の直交補空間への射影を考える。正規化したものを ${ v_{0} }$ と書けば、 ${ v_{0}, \dotsc, v_{k} }$ は正規直交基底を為す。このとき ${ c=\sum_{i=0}^{n}\langle c, v_{i} \rangle v_{i} }$ と表せるが、 ${ \langle c, v_{0} \rangle\neq 0 }$ である。故に ${ c }$ より出る重みを込めた辺の本数は

$\sum_{i=1}^{k} 4\langle c, v_{i} \rangle^{2} \lt 4\sum_{i=0}^{k} \langle c, v_{i} \rangle^{2} = 4\langle c, c \rangle = 4$

となる。 ${ \square }$

これより直ちにG2型が出る。つまり重み3の辺を持つ場合はG2型しか存在しない。

許容集合の部分集合も（適切なユークリッド空間において）許容集合となるが、特に許容図形が○ー・・・ー○となる部分を単純鎖と呼ぶ。

補題 ${ v_{1}, \dotsc, v_{k} }$ の許容図形が単純鎖の場合、これらの頂点を ${ v=\sum v_{i} }$ で置き換えても許容集合となる。

（証明）単純鎖の場合、 ${ j=i+1 }$ のときに限り ${ \langle v_{i}, v_{j} \rangle }$ は正の値を取る。このとき辺の重みは ${ 1 }$ なので、 ${ \langle v_{i}, v_{i+1} \rangle = -\frac{1}{2} }$ を得る。故に

$\langle v, v \rangle = k+2\sum_{i\lt j}\langle v_{i}, v_{j} \rangle = k+2\sum_{i=1}^{k-1}\langle v_{i}, v_{i+1} \rangle=k-(k-1)=1$

だから、 ${ v }$ は単位ベクトルである。また ${ x }$ を単純鎖に属さない別の頂点とすると、グラフにループがないので高々 ${ 1 }$ つの頂点 ${ v_{j} }$ と繋がる。よって

$\langle x, v \rangle = \sum_{i=1}^{k}\langle x, v_{i} \rangle= \langle x, v_{j} \rangle$

となるため、角度を保つ。このことから ${ v_{1}, \dotsc, v_{k} }$ を ${ v }$ で置き換えたものも許容集合となることが分かる。 ${ \square }$

この補題より、例えば○＝○ー・・・ー○＝○が許容図形なら○＝○＝○も許容図形となり、これは矛盾する。同様に重み ${ 2 }$ の辺が二つ以上ある場合、分岐が二つ以上ある場合、重み ${ 2 }$ の辺と分岐を両方持つ場合は、いずれも許容図形にならないことが分かる。言い換えれば、許容図形は既に分類したG2型を除き、単純鎖の場合、重み ${ 2 }$ の辺を ${ 1 }$ 本だけ持つ場合、分岐を ${ 1 }$ 個だけ持つ場合に分けられる。

単純鎖の場合はA型に相当する。

重み ${ 2 }$ の辺を ${ 1 }$ 本だけ持つ場合

許容図形は○ー・・・ー○＝○ー・・・ー○である。頂点を ${ u_{1}, \dotsc, u_{p}, v_{q}, \dotsc, v_{1} }$ と置く。ここでなぜか

$u=\sum_{i=1}^{p} i\cdot u_{i}$

を考える。このとき ${ \langle u_{i}, u_{i+1} \rangle =-\frac{1}{2} }$ だから、

$\begin{align*} \langle u, u \rangle &= \sum_{i=1}^{p}i^{2}\langle u_{i}, u_{i} \rangle+\sum_{i=1}^{p-1}i(i+1)2\langle u_{i}, u_{i+1} \rangle \\ &= \sum_{i=1}^{p}i^{2}-\sum_{i=1}^{p-1}i(i+1) \\ &=\frac{p(p+1)}{2} \end{align*}$

となる。同様に ${ v=\sum j\cdot v_{j} }$ と置けば ${ \langle v, v \rangle=\frac{q(q+1)}{2} }$ となる。

一方 ${ \langle u, v \rangle=pq\langle u_{p}, v_{q} \rangle }$ なので、 ${ \langle u, v \rangle^{2}=\frac{p^{2}q^{2}}{2} }$ であり、有名なCauchy-Shwartzの不等式から（ ${ u, v }$ が独立なので強形が従う）

$\frac{p^{2}q^{2}}{2}\lt \frac{p(p+1)}{2}\frac{q(q+1)}{2} \Leftrightarrow (p-1)(q-1)\lt 2$

を得る。

${ p=q=2 }$ は○ー○＝○ー○となりF4型である。

${ p=1 }$ のときは ${ q }$ は任意となるため、BまたはC型という無限系列を得る。

分岐を ${ 1 }$ 個だけ持つ場合

許容集合は○ー・・・○ー●ー○ー・・・ー○、～●ー○ー・・・ー○である。頂点を ${ u_{1}, \dotsc, u_{p-1}, c, v_{q-1}, \dotsc, v_{1} }$ 、および ${ w_{r-1}, \dotsc, w_{1} }$ と置く。 ${ u=\sum i\cdot u_{i}, v=\sum j\cdot v_{j}, w=\sum k\cdot w_{k} }$ を考える。 ${ c }$ は ${ u_{i}, v_{j}, w_{k} }$ の線型和で書けないので、これらの張る空間の直交補空間への ${ c }$ の射影はゼロでない。つまり ${ u, v, w }$ の正規化を ${ u^{\prime}=\frac{u}{\sqrt{\langle u, u \rangle}}, v^{\prime}=\frac{v}{\sqrt{\langle v, v \rangle}}, w^{\prime}=\frac{w}{\sqrt{\langle w, w \rangle}} }$ とすると、