Explicit birational geometry of determinantal quartic 3-folds

問題設定
本論文は、$\mathbb{P}^4$における線形行列式による4次三次元多様体（linear determinantal quartic threefolds）の明示的な双有理幾何学を調査している。滑らかな3次三次元多様体は、その中間ヤコビアンおよび関連する平面曲線を通じてよく理解されているが、滑らかな4次三次元多様体の中間ヤコビアンは複雑である。この複雑さを回避するため、著者らは線形行列式による4次多様体の族 $\mathcal{F}$ に研究対象を限定している。$\mathcal{F}$ の一般の元 $Y$ は、結節点（20個のノード）を持ち、非$\mathbb{Q}$-分解可能（non-$\mathbb{Q}$-factorial）であり、かつ有理的である。中心となる問題は、小分解（small resolution）を通じて4次多様体の構造を支配する、次数10・種数11の特定の曲線 $C \subset \mathbb{P}^3$ の外延的幾何学を分析することにより、これらの4次多様体の双有理幾何学およびそのモジュライを理解することである。

手法
著者らは、滑らかな曲線 $C$（次数10、種数11）の $\mathbb{P}^3$ 上のブローアップである多様体 $X = \text{Bl}_C \mathbb{P}^3$ 上の極小モデルプログラム（MMP）を用いている。戦略は、$C$ の行列式表示と $C$ の幾何学との間の対応関係に基づいている。

1. 曲線の分類： 著者らは、次数10・種数11の曲線のヒルベルト・スキーム $\mathcal{H}_{10,11}$ を分析している。彼らは、その一般の点が滑らかで既約な算術的コーエン・マコーレー（ACM）曲線を表す唯一の既約成分を特定した。さらに、この成分の中に以下の2つの特筆すべき因子（divisor）を特定している：

   • $D_1$：半標準的（semicanonical）曲線（$\omega_C \cong \mathcal{O}_C(2)$ を満たす）の軌跡。
   • $D_2$：滑らかな3次曲面に含まれる曲線の軌跡。
     Hartshorne-Rao加群およびリエゾン理論を用いて、このヒルベルト・スキーム内の任意の滑らかな既約曲線が、これら3つのクラス（ACM、半標準的、または3次曲面に含まれるもの）のいずれかに属することを証明している。

2. MMPの実行： 各曲線のクラスに対して、著者らは $X$ 上のMMPを実行している。これには以下が含まれる：

   • $X$ の正定値（nef）、有効（effective）、および移動可能（movable）な錐（cone）の決定。
   • 有効錐の安定基底軌跡分解（SBLD）の計算。
   • これらのチャンバーにおける因子によって誘導される双有理モデル（フロップ、フリップ、および因子収縮）の明示的な記述。
   • $C$ の外延的幾何学（例：割線、曲面に含まれること）を用いた、これらの写像の例外的な軌跡の記述。

3. 明示的な構成： 本論文は、一般の族の元が予測通りに振る舞うことを保証するために、分岐リーマン面の滑らかさやイデアル層の生成などの特定の幾何学的性質を検証するためにMacaulay2を利用している。

主要な貢献と結果

• 双有理モデルの一様な記述： 本論文は、$X$ の双有理幾何学が $C$ の外延的幾何学によって支配されていることを確立している。$X$ の有効錐は、一般に4つの安定基底軌跡チャンバーを持ち、特定の双有理モデルの列へと導かれる。

  • ケース1：一般のACM曲線 ($C \in \mathcal{H}^\circ_{10,11}$):

    • 反標準的写像 $f: X \to Y$ は、正確に20本の $C$ の4割線（4-secant lines）を20個のノードへと収縮し、$\mathbb{P}^4$ 内の線形行列式による4次多様体 $Y$ を得る。
    • 多様体 $X$ はモーリ・ドリーム空間（Mori dream space）である。
    • MMPは、20本の4割線のフロップを経て、$\mathbb{P}^3$ への因子収縮へと進む。これは $X$ と $\mathbb{P}^3$ および $Y$ を結ぶサルコフ・リンク（Sarkisov link）を形成する。
    • 有効錐は、例外的な因子類 $E$ と剛な因子類 $40H - 11E$ によって生成される。

  • ケース2：半標準的曲線 ($C \in D_1$):

    • 反標準的写像 $f_0: X \to Y_0$ は、$\mathbb{P}^4$ 内の2次三次元多様体 $Y_0$ への一般に2対1の射である。
    • 分岐因子は20個のノードを持つ次数8の曲面である。
    • 双有理幾何学は、標準的なフロップではなく、二重被覆構造を反映したガロア・イボリューション（Galois involution/Galois flip）を伴う。
    • この特殊化は、有理的な非$\mathbb{Q}$-分解可能二重2次多様体に対応する。

  • ケース3：3次曲面に含まれる曲線 ($C \in D_2$):

    • 幾何学が大きく変化する：反標準的因子はもはや正定値ではない。
    • 曲線 $C$ は（4割線に加えて）2本の5割線（5-secant lines）を持つ。
    • MMPは、これら2本の5割線の「逆フリップ（inverse flip）」を伴う。これにより、特異な終末的（terminal）三次元多様体 $X^+$ が得られる。
    • その後の因子収縮は、$X^+$ を $\mathbb{P}^4$ 内の4次多様体 $Y_0$ へと写す。これは$\mathbb{Q}$-分解可能であるが、楕円特異点（10個のノードの合体によって形成される）と10個の通常の二重点を持つ。

• モジュライへの含意： 著者らは、線形行列式による4次多様体の族 $\mathcal{F}$ が、有理的な$\mathbb{Q}$-分解可能4次多様体（$D_2$ への特殊化による）および有理的な非$\mathbb{Q}$-分解可能二重2次多様体（$D_1$ への特殊化による）を含むことを示している。彼らは、$X$ の中間ヤコビアンが $C$ のヤコビアンと一致することを示し、これらの特殊化が単なる外延的な退化ではなく、曲線 $C$ のモジュライの変分を反映していることを示唆している。

意義
本論文の主要な貢献は、関連する曲線 $C$ の外延的幾何学を通じて、行列式による4次多様体の双有理幾何学の詳細かつ明示的な記述を提供することにあると著者らは主張している。具体的には：

1. 一般のACM曲線に対する既知のサルコフ・リンクを、$C$ が半標準的曲線または3次曲面上の曲線に特殊化する場合へと一般化した。
2. 非ACM滑らかな曲線に関連するモジュライ空間の中に、2つの既約因子が存在することを特定した。
3. MMPを用いることで、一般的な行列式による4次多様体から、特異な特殊化（二重2次多様体および楕円特異点を持つ$\mathbb{Q}$-分解可能4次多様体）への遷移を明示的に記述できることを示した。
4. これらの多様体のモジュライは曲線 $C$ の幾何学を通じて研究できることを示唆しており、これは、その中間ヤコビアンの複雑さゆえに分析が困難とされる行列式超曲面のモジュライを理解するための新しいアプローチを提示している。

著者らは、一般のケース（ACM）は既知であったものの、ヒルベルト・スキームとHartshorne-Rao加群を用いた非ACMケースの詳細な記述は新しいものであると述べている。彼らは、現在の論文の長さを維持するために、モジュライ空間 $M$ の完全な分析は将来の論文に委ねると明記している。