Cubic fourfolds containing highly singular hyperplane sections

技術要約：高度に特異な超平面切断を含む3次四重項

問題設定
本論文は、滑らかな複素3次四重項のモジュライ空間 $\mathcal{C}$ における因子（divisor）の分類を扱っている。$\mathcal{C}$ の研究における中心的なテーマは、「特殊な」3次四重項（完全切断とは非ホモロジーな曲面を含むもの、ハセット因子によってパラメータ化されるもの）と「非特殊な」3次四重項の区別である。ハセット因子はよく理解されており、有理性構成に関連付けられているが、非ハセット因子の明示的な方程式として既知のものは乏しい。著者らは、特定の高度に特異な構成（具体的には、トユリナ数（Tjurina number）の総和が6となる特異性）を持つ超平面切断を含む滑らかな3次四重項をパラメータ化する、$\mathcal{C}$ 内の新しい既約因子を構成することを目的としている。そして、これらの因子がハセット因子ではないことを証明する。これは、非特殊な四重項におけるホッジ・アトム（Hodge atoms）の理論によって保証されている、非有理な3次四重項の明示的な例を特定するという広範な目標に寄与するものである。

手法
著者らは、代数幾何学、特異点論、および計算数論を組み合わせた手法を用いている。

1. 幾何学的構成と変形理論：

   • 著者らは、特定の特異性タイプ $K$（ここで $K$ はADE特異性の組み合わせ、または $T_{333}$ 特異性を表す）を持つ超平面切断 $Y$ を含む3次四重項をパラメータ化する軌跡 $D_K \subset \mathcal{C}$ を定義する。
   • 3次三重項（超平面切断）の特異性の分類を利用して、トユリナ数 $\tau(Y) = 6$ となる組み合わせを特定する。
   • これらの軌跡が因子（余次元1）であることを証明するために、周囲の四重項 $X$ の内部における特異な超平面切断 $Y$ の変形理論を分析する。具体的には、大域的から局所的な写像 $\phi: H^0(Y, \mathcal{O}(1)) \to \bigoplus_{p \in \text{Sing}(Y)} T^1_{Y_p}$ を検討する。
   • 計算代数システムMAGMAを用いた明示的な例を用いて、これらの軌跡の一般の元において、写像 $\phi$ が単射であることを示す。この単射性は、これらの軌跡に含まれる一般的な3次四重項が、そのような超平面切断を有限個しか含まないことを意味し、これにより、これらの軌跡が確かに因子であること（または $T_{333}$ の場合は余次元2であること）を裏付ける。

2. 非特殊性の計算的検証（Addington–Auel法）：

   • 構成された因子がハセット因子ではない（すなわち、四重項が特殊ではない）ことを証明するために、著者らはAddingtonとAuelによって開発された計算手法を適用する。
   • この手法は、K3曲面のvan Luijkの研究に基づいている。これには、因子内にある $\mathbb{Q}$ 上で定義された特定の3次四重項 $X$ を選択し、それを素数（具体的には $p=2$）で簡約し、有限体 $\mathbb{F}_{2^m}$ 上の点の数を数えるプロセスが含まれる。
   • レフシェッツの跡公式（Lefschetz trace formula）を用いて、原始的エタール・コホモロジー $H^4_{\text{ét, prim}}$ 上のフロベニウス作用の特性多項式 $\chi(t)$ を計算する。
   • 補題4.3によれば、もし $\chi(t)$ が $\mathbb{Q}$ 上で既約であり、かつその係数のすべてが整数でないならば、その3次四重項は非特殊である。著者らは、各因子の明示的な代表元に対してこの条件を検証するために、CubicLib.m ライブラリを用いてこれを実装している。

主要な貢献と結果

• 新しい因子の構成： 本論文は、$\mathcal{C}$ 内の5つの既約因子を構成している：
  • $D_{E6}$ および $D_{D6}$：それぞれ $E_6$ および $D_6$ 特異性を持つ超平面切断を持つ四重項をパラメータ化する。
  • $D_{D5+A1}$ および $D_{D4+A2}$：$D_5+A_1$ および $D_4+A_2$ 特異性を持つ超平面切断を持つ四重項をパラメータ化する。
  • $D_{D4+2A1}$：この軌跡は、特異な超平面切断の欠損（defect） $\sigma(Y)$ によって区別される、2つの既約成分 $D^0_{D4+2A1}$ と $D^1_{D4+2A1}$ に分裂する。
• 余次元の結果： $D_{T333}$ の軌跡（トランク3の単モジュラー特異性であり、コアランク3およびトユリナ数8を持つ $T_{333}$ 特異性をパラメータ化する）は、$\mathcal{C}$ における余次元2の既約部分多様面であることが証明されている。
• 非ハセット分類：
  • 著者らは、$D_{E6}, D_{D6}, D_{D5+A1}, D_{D4+A2}$, および $D^0_{D4+2A1}$ がハセット因子ではないことを証明する。
  • $D^1_{D4+2A1}$ は、既知のハセット因子 $C_8$（平面を含む四重項をパラメータ化するもの）と一致することを示す。
  • 余次元2の軌跡 $D_{T333}$ は、いかなるハセット因子にも含まれないことが示されている。
• 明示的な方程式： 本論文は、各因子の代表元に対する明示的な多項式方程式を提供しており、これらは非有理な3次四重項の例を生成するために使用できる。

意義
本論文の意義は、主に3次四重項のモジュライ空間における非ハセット因子の既知の景観を拡大することにある。本研究以前には、わずかな数の非ハセット因子のみが明示的に知られていた（例：Ranestad–Voisin、Addington–Auel、およびCosta–Harvey–Kedlayaによって構成されたもの）。5つの新しい既レッド因子を特定し、計算的手法を通じてそれらの非特殊性を証明することで、著者らは非有理な3次四重項の新しい明示的なソースを提供している。

さらに、本結果はコンパクト化された中間ヤコビアンファイブレーションの研究に示唆を与える。著者らは、DruelとMauri [DM26] による最近の研究が、「非常に良い（very good）」3次四重項（平面、3次スクロール、またはコアランク3の特異性を持つ超平面切断を含まないもの）へのハイパーケーラー（hyperkähler）コンパクト化の構成を拡張していると述べている。著者らの結果は、$\mathcal{C} \setminus (C_8 \cup C_{12} \cup D_{T333})$ に含まれる任意の3次四重項が「非常に良い」ものであり、それゆえに、これらの四重項に対してラグランジュ・ファイブレーションを持つOG10型の滑らかな射影的ハイパーケーラー多様体の存在が保証されることを示唆している。本論文は、これらの直接的な幾何学的帰結を超えた将来の応用については推測していない。