The Hodge conjecture for Fermat fourfolds of odd degree at most 199

技術要約：次数199以下の奇数次フェルマー四元体におけるホッジ予想

問題設定
本論文は、奇数 $m$ に対するフェルマー四元体 $X^4_m = \{x_0^m + \dots + x_5^m = 0\} \subset \mathbb{P}^5$ に関するホッジ予想を扱う。具体的には、すべての有理ホッジ $(2,2)$-類が代数的（すなわち、代数サイクル類の生成系で張られる）であることを証明することを目的としている。ホッジ予想は、小さな次数 ($m \le 20$)、素数次数、および Shioda, Katsura, Aoki, da Silva の研究による特定の合成次数の場合には既知であるが、3 で割り切れる非平方の合成次数（例：$m=33, 39, 45, \dots$）において、$m=199$ までの範囲に大きな空白が存在していた。主な課題は、「ギャップ・クラス（gap classes）」、すなわち、既知の基準（decomposability, quasi-decomposability, または Aoki の格子計算における standard なもの）のいずれにも該当しないホッジ・キャラクターを特定することにある。

手法
著者は、網羅的な列挙と3つの異なる幾何学的閉包メカニズムを組み合わせた、コンピュータ支援による証明戦略を採用している。手法は以下の通り進行する：

1. 網羅的センサス（Exhaustive Census）： マシンによるセンサスを用いて、すべての奇数 $m$ ($21 \le m \le 199$、ただし $m=23$ は古典的なため除外) について、グレード3のホッジ $(2,2)$-キャラクターのガロア軌道代表元を列挙する。このセンサスは 78,299 個の代表元を分類し、既知の代数性基準（decomposability, quasi-decomposability, および standard なサイクル）によってフィルタリングを行う。
2. 3つの閉包メカニズム： 既知の基準を生き残った軌道に対して、本論文は3つの新しい代数性メカニズムを導入し、検証する：
   • $\ast$-Split 基準 (Theorem 1.2): ホッジ・キャラクターのマルチセットが2つのゼロ和の3つ組（zero-sum triples）に分裂する場合、対応する有理ホッジ・ブロックは、Shioda–Katsura 構造写像の下でのフェルマー曲線の積 ($X^1_m \times X^1_m$) の $(1,1)$-部分構造の像であることが示される。これにより、曲面の因子からの代数性が四元体へと輸送される。
   • 2ペア・スタンダード閉包 (Theorem 2.3): あるキャラクターが、2つの消失ペア（vanishing pairs）を付加した後、Aoki の standard な六つ組（sextuple）とグレード2のホッジ四つ組（quadruple）に分解される場合、その代数性は Aoki の格子計算と線形サイクルの性質から従う。
   • レベル・リフト閉包 (Theorem 1.4): $m=33$ における例外的なケースにおいて、非準分解的（non-quasi-decomposable）かつ非標準的な唯一の証拠（witness）をレベル $m=66$ へとリフトする。レベル 66 において、リフトされたクラスは自己対合要素（self-paired element）を介して分解され、Theorem 1.3 の条件を満たす。その後、有限射影 $X^4_{66} \to X^4_{33}$ を通じて、代数性が $m=33$ へと降下される。
3. 検証と再現性： センサスの検証は、3つの独立した実装によって行われる：
   • 主要なアルゴリズムによるセンサス。
   • 構造化配列を用いたミッドル・イン・ザ・ミドル（meet-in-the-middle）アプローチによる、アルゴリズム的に独立した第2の実装。
   • $m \le 143$ に対する直接的な総当たり列挙（すべてのソート済みゼロ和六つ組の生成）。
   • 各軌道には、モジュラー核の証拠（modular kernel witnesses）や、終端軌道の再検証可能なネガティブ・スクリーニングを含む、軌道ごとの証明書（certificate）が付随している。

主要な結果

• 主定理 (Theorem 1.1): すべての奇数次数 $3 \le m \le 199$ のフェルマー四元体 $X^4_m$ について、ホッジ予想は成立する。
• ギャップ・クラスの分類： センサスは、標準的な機構を超えた13個の軌道を特定した。
  • 6つは $\ast$-split 基準によって閉じられている（$m=39$ における最初の軌道を含む）。
  • 3つは2ペア・スタンダード閉包によって閉じられている（$m=45$ および $m=105$ における $Q(\zeta_{21})$ 軌道を含む）。
  • $m=33$ における一つの原始的な軌道（およびそのインフレーションである 99, 165）は、レベル・リフト閉鎖メカニズムによって閉じられている。
  • 残りの軌道は、これらの原始的な軌道のインフレーションであることが示されている。
• 定義体の体への障害 (Theorem 1.6 & Corollary 1.7): 本論文は、$m=33$ のクラスにおける定義体の体に対する正確な障害を示す。$m=33$ の例外的なブロックに非自明に射影する $\mathbb{Q}(\zeta_{33})$ 上で定義された代数サイクルは存在しないことを証明している。具体的には、67 の上の素数における幾何学的フロベニウス写像は、1の原始6乗根として作用する。したがって、証明サイクルが定義される任意の体 $L$ は、67 の上のすべての素数において剰余次数が6で割り切れる必要がある。これにより、da Silva の Question 1 に対し、否定的に回答している：$\mathbb{Q}$ 上で定義された候補サイクルは、この特定のホッジ・クラスには射影されない。
• 標準サイクルの特定： Aoki の standard なキャラクターは、奇数 $m$ における「AP ファミリー」（パディングされた算術級数キャラクター）と正確に一致することを確立している (Proposition 1.9)。

意義と主張
本論文は、これまで未解決の合成次数の範囲を含んでいた、次数199 までの奇数次フェルマー四元体に関するホッジ予想の完全な証明を提供するものであると主張している。

• 新しいメカニズム： $\ast$-split 基準および $m=33$ の証拠に対するレベル・リフト閉鎖は、既知の文献（Shioda, Katsura, Aoki, da Silva）からは導出できない新しいメカニズムとして提示されている。
• 明示的な提示： Aoki の標準的な格子計算の外にある7つの「ギャップ・クラス」（具体的には $m=33, 39, 105$）について、明示的な提示と代数性の証明書を提供している。
• 計算の厳密性： 78,299 個の代表元の分類においてブラックボックス的な仮定を行わないよう、独立したアルゴリズムによるセンサスの再現性と、すべての軌道に対するマシンチェックされた証拠を提供することで、その重要性が強調されている。
• 限界： 著者は、代数性は証明されているものの、$X^4_{33}$ 上のサイクルの明示的な定義方程式は提供されていないこと（サイクルはレベル 66 で構築され、輸送されている）を明記している。また、$m=45$ および $m=105$ におけるフロベニウスの位数に関する計算上の観察は、定理ではなく観察事項であると述べているが、これらはこれらのサイクルもまた $\mathbb{Q}(\zeta_m)$ 上では有理的ではないことを示唆している。

本研究は、精緻化された幾何学的対応関係と網羅的な計算検証を組み合わせることで、指定された境界までの奇数次フェルマー四元体における既知の代数性メカニズムの空白を効果的に埋めるものである。