Error-correcting codes over the Mordell-Weil groups of extremal rational elliptic surfaces and the $E_8$ lattice

以下は、提示された論文「KEK-TH-2816 Error-correcting codes over the Mordell-Weil groups of extremal rational elliptic surfaces and the E8 lattice」の技術的な要約です。

1. 研究の背景と問題設定

近年、符号理論（誤り訂正符号）と格子（Lattice）、共形場理論（CFT）、および超弦理論の間の関係に対する関心が再燃しています。特に、有限体や環上の古典的な誤り訂正符号から格子を構成する手法（Construction A やその一般化）は、E8 格子のような重要な数学的対象を構築する鍵となっています。

本論文の核心的な問題は、極限有理楕円曲面（Extremal Rational Elliptic Surfaces, RES）の Mordell-Weil 群（MW 群）上で定義された誤り訂正符号を用いて、E8 格子をどのように構成できるかを明らかにすることです。
Oguiso-Shioda による分類において、特異点格子（Singularity Lattice）$T$ が最大ランク 8 を持つ極限 RES において、MW 群は有限群（巡回群またはその直和）となります。この MW 群を「符号環」と見なし、その上の符号がどのように E8 格子の構成（格子の「接着」）に関与するかを体系的に解明することが目的です。

2. 手法と理論的枠組み

著者らは、以下の理論的枠組みに基づいて解析を行いました。

• Mordell-Weil 格子の構造定理:
  有理楕円曲面の MW 群 $E(K)$ は、特異点格子 $T$ とその直交補 $L$ を用いて $E(K) \simeq L^* \otimes (T'/T)$ と表されます。$T$ のランクが最大（8）の場合、$L^*=1$ となり、MW 群は有限群となります。
• Construction Ag の拡張:
  従来の「Construction Ag」は、特定のリー代数 $g$ の根格子を、その双対商 $\Lambda_W/\Lambda_R \cong \mathbb{Z}_k$ に基づく符号で接着して格子を構成する手法でした。本論文ではこれを以下の 2 点で拡張しています。
  1. 異なるリー代数の接着: 同じ双対商を持つ異なるリー代数（例：$SU(5) \times SU(5)$ や $SU(3) \times E_6$ など）の根格子を、同一の符号で接着する。
  2. 準同型写像の許容: 符号環から格子の商部分への写像が同型（Isomorphism）ではなく、単なる準同型（Homomorphism、核や余核を持つ場合）であっても、E8 格子を構成できることを示す。
• モジュラー不変性の検証:
  各 Oguiso-Shioda 分類ケースに対して、特異点格子に対応するテータ関数の積の和（符号によるインデックスのシフトを考慮）を定義し、モジュラー変換（特に S 変換）下での不変性を確認します。8 次元におけるモジュラー不変格子は E8 格子のみであるという事実から、構成された格子が E8 格子であることを証明します。

3. 主要な結果とケーススタディ

Oguiso-Shioda の分類表（No. 63〜74）に含まれるすべての極限 RES について、E8 格子を構成する符号を特定しました。これらは以下の 3 つのケースに分類されます。

ケース 1: 写像がすべて同型であり、$D_{2N}$ 成分を含まない場合

特異点格子 $T$ が $D_{2N}$ ($SO(4N)$) を含まず、符号環から商格子への写像がすべて同型である場合（No. 65, 67, 68, 69, 72）。

• No. 67 ($SU(5) \times SU(5)$): $\mathbb{F}_5$ 上の自己双対符号（生成行列 $(1, 2)$）を用いて構成。
• No. 68 ($SU(3)^4$): 既知のテトラコード（Tetracode）を用いた構成。これは Construction AC の一般化に相当します。
• No. 69 ($SU(3) \times E_6$) および No. 65 ($SU(2) \times E_7$): 異なるリー代数の根格子を、$\mathbb{Z}_3$ や $\mathbb{Z}_2$ 上の符号で接着。内積の定義をリー代数の基本重みのノルムに応じて調整することで、モジュラー不変性を満たします。
• No. 72 ($SU(4) \times SO(10)$): $\mathbb{Z}_4$ 上の符号を用いた構成。

ケース 2: 写像が準同型（核または余核を持つ）である場合

符号環から商格子への写像が同型ではなく、核（Kernel）や余核（Cokernel）を持つ場合（No. 63, 66, 70, 74）。

• No. 63 ($SU(9)$): MW 群は $\mathbb{Z}_3$ だが、商格子は $\mathbb{Z}_9$。$\mathbb{Z}_3 \to \mathbb{Z}_9$ への写像（余核あり）を用いて符号を定義し、E8 格子を構成。
• No. 66 ($SU(6) \times SU(3) \times SU(2)$): $\mathbb{Z}_6$ 上の符号を用いるが、$SU(3)$や$SU(2)$ 成分への写像は核を持ちます。
• No. 70 ($SU(8) \times SU(2)$): $\mathbb{Z}_4$ 上の符号で、$SU(8)$成分には余核、$SU(2)$ 成分には核を持つ写像を許容します。
• No. 74 ($SU(4)^2 \times SU(2)^2$): $\mathbb{Z}_4 \oplus \mathbb{Z}_2$ 上の符号を扱い、テトラコードの生成行列と類似の構造を持ちます。

ケース 3: $D_{2N}$ 成分を含む場合

特異点格子 $T$ が $D_{2N}$ ($SO(4N)$) を含む場合（No. 64, 71, 73）。

• $D_{2N}$ の商格子 $\Lambda_W/\Lambda_R$ は $\mathbb{Z}_2 \times \mathbb{Z}_2$ となります。
• No. 73 ($SO(8) \times SO(8)$): MW 群 $\mathbb{Z}_2 \times \mathbb{Z}_2$ を用い、2 つの $\mathbb{Z}_2$ 値記号で商格子の要素を指定する符号を構成。
• **No. 64 ($SO(16)$):**$\mathbb{Z}_2 \times \mathbb{Z}_2$ の商格子に対し、MW 群 $\mathbb{Z}_2$ から部分集合への写像（余核あり）を用いて構成。

4. 結論と意義

• 体系的な構成の確立: Oguiso-Shioda による極限有理楕円曲面の全分類ケース（No. 63〜74）において、それぞれに対応する誤り訂正符号を特定し、それらを用いて E8 格子が構成できることを示しました。
• 符号格子構成の一般化: 従来の Construction A や Construction AC、および著者らが以前提案した Construction Ag を大幅に一般化しました。特に、「異なるリー代数の接着」と「同型ではない写像（核・余核を持つ場合）の許容」という 2 つの拡張により、より広範な幾何学的対象から E8 格子を導出可能であることを示しました。
• 物理学的・数学的意義:
  • この構成は、大統一理論（GUT）におけるゲージ群のヒッグス機構（例：$SO(10) \times SU(4)$ や $E_6 \times SU(3)$ への分解）における直交分解の符号論的実装と見なせます。
  • MW 格子は有理楕円曲面の断面のモジュールであり、符号の各「量子ビット（またはクディット）」の幾何学的実現と解釈できます。これは、トーリック符号などのトポロジカル符号との高次元への関連性や、量子情報技術における新たな応用の可能性を示唆しています。

本論文は、代数幾何学（楕円曲面）、リー代数、符号理論、および弦理論の交差点において、E8 格子の多様な構成経路を統一的に記述する重要な成果です。