整数と半整数によるE8(SO16)の分解
なぜE8「248」が特別なのか
数学者キリングやカルタンがリー群を分類した際、対称性のパターンを網羅していくと、「既存の型（A, B, C, D 型）」に当てはまらない、独立した巨大な対称性が5つだけ見つかりました。それが例外型（G_2, F_4, E_6, E_7, E_8）です。その中で最も複雑で、かつ数学的にこれ以上拡張できない「完成された形」が E_8 でした。
- E_8 は「自身の随伴表現」と「最小表現」が一致するという性質を持っています。
- 簡単に言うと、「自分自身の対称性を説明するために必要な次元数」と「自分自身が作用する最小の空間の次元数」がどちらも 248 で一致しているのです。
E8例外型リー群（およびそのリー環）は248次元を持ち、そのルート系の240個のベクトルは 112 + 128 に分解されます。
1. E8が248次元になるロジック
リー環としての E8 の次元は、「カルタン部分環（ランク）」と「ルート（非ゼロの根）」の総数によって決定されます。
- ランク（Rank）： E_8という名前の通り、ランクは 8 です。これは、同時に可換である独立な生成子の数（対角成分のようなもの）が 8 個であることを意味します。
- ルート数（Roots）： E_8 のルート系は 240 個のベクトルとスピノルで構成されます。
- 計算：$$\text{Dimension} = \text{Rank} + \text{Number of Roots} = 8 + 240 = 248$$
つまり、8次元の「核」の周囲に、240の「対称性の方向」が展開されている構造です。
2. 240 = 112 + 128 の分解ロジック
この分解は、E8 の内部構造を D_8（SO(16) のリー環） というサブ構造の視点から見たときに現れます。240個のルート（長さ √2 の格子点）は、以下の2つの異なる性質を持つ集合に分かれます。
① 112：古典的ルート（SO(16)のウェイト）
8次元の基底ベクトル e_1, e_2, …., e_8 を用いると、112個は以下の形式で記述されます。8次元のうち２つが決まり、残り6次元は0となります。
- ± e_i ,±e_j （1 ≤ i < j ≤ 8）
- 組み合わせ： 2^2 *8C2 = 4 * 28 = 112
- これは SO(16)のルート系であり、格子の座標がすべて整数（符号付き）のグループです。
8次元のスロットに対して ( ±1, ± 1, 0, 0, 0, 0, 0, 0) を配置する全パターンは、以下のステップで決まります。
ステップ1：位置の選択（どの2か所に「0以外」を置くか）
8つの次元（x_1, x_2, …, x_8）から、±1 を入れる2つの場所を選びます。8*7/2=28通り
ステップ2：値の選択（どの符号を組み合わせるか）
選んだ2か所に対して、可能な符号のパターンは以下の 4通り です。
- $(+1, +1)$ ： 同符号（正）
- $(-1, -1)$ ： 同符号（負）
- $(+1, -1)$ ： 異符号
- $(-1, +1)$ ： 異符号
ステップ3：総計
28* 4 = 112 通り
② 128：スピン表現（エクセプショナルな点）
残りの128個は、E8 を特徴づける「半整数」の座標を持つグループです。
E8を構成するスピノル要素は、以下の条件を満たすベクトルとして定義されます。
(± 1/2, ±1/2, ±1/2, ±1/2, ±1/2, ±1/2, ±1/2, ±1/2)
- 1/2(± e_1 ±e_2 … ±e_8)
- ただし、符号のマイナスの個数が偶数であるという制約（偶数パリティ）がつきます。
- 組み合わせ： 2^{8-1} = 2^7 = 128
- これは SO(16) のスピノル表現（Spinor representation）に対応します。
最後の1個が、全体のバランスをとるための調整役（パリティビット）になる
1. 自由な選択は「7個目」まで
8次元の座標 $(x_1, x_2, \dots, x_8)$ の各成分に $\pm 1/2$ を入れていく場面を想像してください。
- 1番目 (x_1)： + か – の 2通り
- 2番目 (x_2)： + か – の 2通り
- …
- 7番目 (x_7)： + か – の 2通り
ここまでの組み合わせは、2^7 通りあります。
2. 8個目は「自動的」に決まる
- もし7番目まででマイナスが「奇数個」だったら…全体のバランスを偶数にするために、8番目 (x_8) は必ず マイナス にならなければなりません（選択肢はありません）。
- もし7番目まででマイナスが「偶数個」だったら…そのまま偶数を保つために、8番目 (x_8) は必ず プラス にならなければなりません（やはり選択肢はありません）。
つまり、8番目の成分には自由がなく、前の7個の状態によって一意に決まってしまうのです。
単純に 8か所すべてに $\pm 1/2$ を入れると、組み合わせは 2^8 = 256 通りになります。
しかし、E8のスピノルとして採用されるのは、その半分の 128個 だけです。
ここには「偶数性の制約（Even-ness constraint）」というルールが働いています。
- ルール: 「負の符号（-1/2）」の個数が、合計で偶数個でなければならない。
- 例：すべてが +1/2（マイナスが0個＝偶数）→ OK
- 1つだけ -1/2 で他が +1/2（マイナスが1個＝奇数）→ NG
- 2つが -1/2 で他が +1/2（マイナスが2個＝偶数）→ OK
この制約によって、全体 $2^8 = 256$ のちょうど半分である 128個 が選ばれます。
3. 計算結果
自由な選択ができるのは 7箇所だけなので、組み合わせの総数は以下のようになります。
$$\underbrace{2 \times 2 \times \dots \times 2}_{7\text{個}} \times \underbrace{1}_{8\text{個目}} = 2^7 = 128$$
補足：なぜこれが「スピノル」なのか
この「全体の符号の積（パリティ）を一定に保つ」という操作は、物理学における「カイラリティ（chirality 手性 てしょう）」の選択に対応しています。
- 2^8 = 256 通りある全スピノルのうち、
- 左巻き（偶数パリティ）が 128 通り
- 右巻き（奇数パリティ）が 128 通り
E_8 のルート系は、このうちの片方（偶数側）だけを「128次元のスピノル表現」として取り込んでいるため、合計が 112 + 128 = 248 になります。
- 112（D8構造）： 既知の対称性、予測可能な線形的な広がり。
- 128（スピノル）： 高次のひねり（Twist）を伴う、非自明な接続。
112の延長線上にない128を統合することで、初めて E8 という「例外的な（Exceptional）」整合性が完成します。E8 格子は 8次元空間において最も効率的に球を詰め込める（記述密度が最大）構造であることが証明されていますが、これはまさにコルモゴロフ的最小記述が物理的・幾何学的な実体を伴って顕現した姿と言えるでしょう。
1. 「格子の整合性」の問題（Even Self-Dual）
「なぜ片巻き（片方のパリティ）だけになるのか」という疑問は、数学的には『既約（きやく）』な構造を保つための最小条件」として説明できます。
E_8 のルート系は、数学的には「偶自己双対格子（Even Self-Dual Lattice）」という非常に特殊な条件を満たす必要があります。
- 偶（Even）: すべてのベクトルの長さの2乗が偶数であること。
- 自己双対（Self-Dual）: 格子の密度が完璧で、隙間も重なりもないこと。
もし、偶数パリティ（128個）と奇数パリティ（128個）の両方を入れてしまうと、ベクトル同士の内積に「奇数」や「分数」が混じってしまい、格子条件が崩れてしまいます。E_8 という一つのまとまった群として成立するためには、どちらか片方の「巻き方」に統一しなければならないのです。
2. SO(16) との関係（表現の分解）
E_8 ⊃SO(16)の分解を前提とすると
SO(16) のスピノル表現は、数学的に半スピノル（Weyl spinor）と呼ばれる2つの独立した空間に分かれます。
- S^+（偶数パリティ）：128次元
- S^-（奇数パリティ）：128次元
E_8 を構成する際、この S^+ と S^- は数学的に「別物」として扱われます。E_8という一つのリー環を閉じる（計算がループして外に漏れないようにする）ためには、このうちの片方だけを SO(16) の随伴表現（112次元）と合体させる必要があります。両方入れると、それは E_8 ではなく別の巨大な（そして性質の異なる）代数になってしまいます。
3. 三位一体（Triality）の拡張
より高次の視点では、「三位一体性（Triality）」という概念が関係しています。
これは SO(8) などで顕著な性質ですが、「ベクトル表現」「右巻きスピノル」「左巻きスピノル」を数学的に区別できないほど対称に扱う性質です。
E_8は、この「特定の巻き方のスピノル」をあたかも「通常のベクトル（ルート）」と同じように扱うことで、248次元という巨大な対称性を生み出しています。つまり、「片巻きを選ぶこと」が、E_8 が E_8 たるアイデンティティ（例外的な対称性）を生む条件なのです。
数学的な「必然」
数学的に言えば、「なぜ片巻きなのか」という問いへの答えは「両方混ぜると E_8の持つ『自己双対性』と『シンプルさ（既約性）』が壊れてしまうから」となります。
物理学的に見れば、この「片方のパリティしかない」という数学的制約が、私たちの宇宙に「左巻きの素粒子しか弱い力を感じない」といったパリティ対称性の破れをもたらす根源的な理由ではないか、と考える理論家もいます。