論文「トーリック多様体に対するカノニカル性基準とカノニカル 4-単体の分類」の技術的概要

Marco Ghirlanda によるこの論文は、代数幾何学、特にトーリック多様体の特異点理論と鏡像対称性の文脈において重要な役割を果たす「カノニカル多面体」の分類に関する研究です。主に、Reid–Shepherd-Barron–Tai 基準をトーリック多様体の局所類群作用に適用することで、任意次元のカノニカルおよびターミナルな擬重付射影空間（fake weighted projective spaces）の分類アルゴリズムを確立し、4 次元における具体的な分類結果と、それらに関連する Calabi–Yau 超曲面の性質を報告しています。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細にまとめます。

1. 問題設定と背景

• カノニカル多面体: 原点を内部の唯一の格子点とする格子多面体（lattice polytope）を指します。これらは、Calabi–Yau 超曲面の候補となるニュートン多面体として、鏡像対称性の研究において中心的な役割を果たします。
• 既存の課題: 反射的（reflexive）な多面体の分類は既に行われていますが、より一般的な「カノニカル」な場合の分類、特に高次元（4 次元以上）における完全な分類は困難でした。
• 対象: 本論文は、Picard 数が 1 である Q-因子性（Q-factorial）な射影トーリック多様体、すなわち「擬重付射影空間（fake weighted projective spaces）」に焦点を当てています。これらは Fano 多様体であり、そのニュートン多面体は原点を内部に持つ単体（simplex）に対応します。

2. 手法と理論的枠組み

論文の核心は、特異点のカノニカル性（およびターミナル性）を判定するための新しい基準の確立と、それを計算機アルゴリズムに落とし込むことです。

2.1. Reid–Shepherd-Barron–Tai 基準の適用

著者は、商特異点（quotient singularities）のカノニカル性を判定する既知の Reid–Shepherd-Barron–Tai 基準を、トーリック多様体の構造に適用しました。

• Cox の商構成: $n$ 次元の Q-因子性射影トーリック多様体 $X$ を、$X = \hat{X}/H$ という商として表現します。ここで $\hat{X} \subset \mathbb{C}^r$ は開トーリック部分多様体、$H$ は対角的に作用する擬トーラス（quasitorus）です。
• 局所類群と安定化群: 多様体の固定点 $x_i$ に対応する局所類群 $\text{Cl}(X, x_i)$ を、$H$ の部分群 $H_i$ の指標群として特定します。
• Age（年齢）の概念: $h \in H_i$ が $\mathbb{C}^r$ に作用する際の固有値の指数の和を「age」と定義します。

2.2. 主要定理（特異点の判定基準）

定理 1.1 (および定理 2.7): $X$ がカノニカル（terminal）であるための必要十分条件は、すべての固定点 $x_i$ に対応する部分群 $H_i$ の非自明な元 $h$ に対して、$\text{age}(h) \ge 1$（terminal の場合は $> 1$）が成り立つことです。
この基準は、多様体の幾何学的性質を、代数的な「局所類群の作用」の「age」の計算に帰着させます。

2.3. 分類アルゴリズムの構築

Picard 数が 1 の場合（擬重付射影空間）に上記基準を特化し、整数論的な条件として再定式化しました（定理 3.2）。

• 重みベクトルとねじれベクトル: 多様体は重みベクトル $w$ とねじれベクトル $\eta$（torsion vector）で記述されます。
• アルゴリズム 3.10:
  1. 既知の境界条件（Sylvester 数など）を用いて、カノニカルな重みベクトルの有限集合を生成します。
  2. 各重みベクトルに対して、行最小（row-minimal）なねじれベクトルを探索します。
  3. 再帰的に行を追加し、各段階で定理 3.2 の条件（$\sum R_{ij} \ge \mu_1 w_i$ など）を満たすか確認しながら、同型を除いた最小の次数行列（degree matrix）を構築します。
  4. このプロセスにより、任意次元のカノニカルおよびターミナルな擬重付射影空間を列挙します。

3. 主要な結果

3.1. 4 次元における完全分類

本論文の最大の成果は、4 次元のカノニカルな擬重付射影空間の完全な分類です。

• 結果: 同型を除いて、710,450 個のカノニカルな 4 次元擬重付射影空間が存在することが判明しました。
• 計算環境: 中程度のスペックのコンピュータ（16 スレッド）で約 12 分以内に計算が完了しました。
• 既存結果との整合性: 3 次元のカノニカルな 225 個およびターミナルな 35,947 個（Kasprzyk の結果）を再現し、その正しさを確認しました。

3.2. Fine 内部（Fine interior）の解析

得られた 710,450 個のカノニカル単体について、Batyrev が導入した「Fine 内部」$F(\Delta)$ を計算し、その次元分布を分析しました。

• 次元分布:
  • 0 次元: 387,310 個
  • 1 次元: 112,672 個
  • 2 次元: 95,713 個
  • 3 次元: 70,130 個
  • 4 次元: 44,625 個
  • 0 次元が最も多いものの、3 次元の場合ほど支配的ではなく、すべての次元が存在することが確認されました。

3.3. Calabi–Yau 多様体とストリング・オイラー数

Fine 内部が 0 次元（単一の格子点）である場合、対応する双有理モデルは Calabi–Yau 多様体となります。

• 対象: 387,310 個の単体（Fine 内部が 0 次元のもの）。
• ストリング・オイラー数: これらに対して Batyrev の組合せ論的公式を適用して計算した結果、94,233 個の異なる値が得られました。
• 整数性: そのうち整数となるのはわずか852 個のみでした。これは、多くの Calabi–Yau 多様体が非整数のストリング・オイラー数を持つことを示唆しています。

3.4. Fine 内部の同値類

4 次元のカノニカル単体 710,450 個から生じる、ユニモジュラ同値を除いた Fine 内部の数は、次元ごとに以下の通りです。

• 1 次元: 46 個
• 2 次元: 2,178 個
• 3 次元: 7,825 個
• 4 次元: 16,072 個
  特に 1 次元の Fine 内部（線分）の具体的なリスト（例：$[-7/8, 7/8]$ など）が提示され、これらが対応するモデルの双有理同値性を区別する不変量となることが示されました。

4. 意義と貢献

1. 理論的進展: トーリック多様体のカノニカル性を、局所類群の作用（age）という代数的な観点から完全に特徴づける基準を確立しました。これは、特異点の分類を群論的な計算に還元する強力な枠組みを提供します。
2. 計算機分類の達成: 4 次元という高次元において、カノニカルな単体の完全なリストを生成するアルゴリズムを実装し、71 万を超える具体的な例を列挙することに成功しました。これは、手作業や従来の手法では不可能だった規模の分類です。
3. 鏡像対称性への寄与: 得られた多面体は Calabi–Yau 超曲面のニュートン多面体候補です。Fine 内部の分布やストリング・オイラー数の統計的性質を明らかにすることで、鏡像対称性における双対ペアの構造や、Calabi–Yau 多様体のモジュライ空間の理解に新たなデータを提供しました。
4. データ公開: 710,450 個の多面体の定義データが公開されており、今後の研究における標準的なベンチマークや検証材料として利用可能です。

総じて、この論文は代数幾何学の分類問題において、理論的な基準の確立と大規模な計算機実験を巧みに融合させ、4 次元トーリック幾何の地図を大幅に拡大した画期的な研究です。