Prime Fano $4$-folds with semi-free torus actions

1. 問題設定 (Problem)

代数幾何学における古典的な課題である「与えられた次元の滑らかな複素ファノ多様体の分類」は、次元 3 以下では完了しています。しかし、次元 4 以上では未解決の部分が多く残されています。

本論文は、次元 4 の滑らかな複素素ファノ多様体（Prime Fano 4-folds）に焦点を当て、これらが半自由（semi-free）な $\mathbb{C}^*$-作用（すべての点の安定化群が $\mathbb{C}^*$ または自明群である作用）を許容する場合の分類問題を取り扱います。
既存の研究では、次元 4 のファノ多様体でトーラス作用を持つことが知られている例は限られており（$\mathbb{P}^4, Q^4, W_5, V_{18}$ など）、これらがすべて半自由作用を持つとは限りません。本論文は、半自由 $\mathbb{C}^*$-作用を持つ素ファノ 4 次元多様体が具体的にどのような族に属するかを完全に分類することを目的としています。

2. 手法 (Methodology)

本論文は、代数幾何学的な対象をハミルトニアン $S^1$-作用を持つシンプレクティック多様体として捉え、トポロジーとシンプレクティック幾何学の強力な道具を駆使して解析するアプローチをとっています。

• ハミルトニアンの対応:
  素ファノ多様体 $X$ は反標準束の十分大きなべきに対して射影空間に埋め込めるため、$\mathbb{C}^*$-作用はコンパクト群 $S^1$ のハミルトニアン作用とみなせます。このとき、ケラー形式 $\omega$ を $c_1(X) = [\omega]$ となるように正規化できます。
• 固定点集合の解析:
  ハミルトニアン $H$ の極小値と極大値をとる部分多様体 $M_{\min}, M_{\max}$ の次元 $(d_1, d_2)$ ごとにケースを分けて解析します。$d_1 \le d_2 < 8$ となる 10 の組み合わせのうち、トポロジー的な制約（ベッチ数 $b_2(M)=1$ や符号数など）を用いて不可能なケースを除外します。
• 局所化公式 (Localization Formulas):
  • ABBV 局所化公式 (Atiyah-Bott-Berline-Vergne): 等変コホモロジー類 1 の積分を固定点成分ごとの寄与の和として計算し、固定点成分の位相的性質やノーマル束のチャーン類を決定します。
  • Kirwan の局所化: ベッチ数を固定点成分のベッチ数の和として表現します。
  • Duistermaat-Heckman 定理: 簡約空間上のシンプレクティック形式の変化や、シンプレクティック体積（Duistermaat-Heckman 関数）を解析し、固定点成分の存在やその性質に矛盾が生じるケースを排除します。
• トポロジー的制約:
  交差形式が正定値であること（$b_2(M)=1$ の仮定から導かれる）や、固定点集合の符号数に関する Jannich-Osa の結果などを組み合わせ、固定点成分の次元や数を厳密に制限します。

3. 主要な貢献と結果 (Key Contributions and Results)

本論文は、シンプレクティック幾何学の一般論と代数幾何学の具体的な分類を結びつける重要な結果を導き出しました。

A. シンプレクティック多様体に関する一般定理 (Theorem C)

閉じた単連結な 8 次元シンプレクティック多様体 $M$ が $b_2(M)=1$ を満たし、半自由ハミルトニアン $S^1$-作用を持つ場合、以下の性質が成り立ちます：

1. トッド種数 (Todd genus) は 1 である。
2. 非孤立な固定点成分は、フビニ・スタディ形式を持つ $\mathbb{CP}^1, \mathbb{CP}^2, \mathbb{CP}^1 \times \mathbb{CP}^1, \mathbb{CP}^3$ のいずれかにシンプレクティック同型である。
3. 指数 (Index) $\iota(M) > 1$ である（これはファノ指数の аналог であり、$c_1(M)$ が整数コホモロジー類の $k$ 倍となる最大の $k$）。
4. 4 次ベッチ数 $b_4(M) \le 14$ である。

B. 素ファノ 4 次元多様体の完全分類 (Theorem A & B)

上記のシンプレクティックな結果を代数幾何学に応用し、以下の完全分類を得ました。

定理 A: 半自由 $\mathbb{C}^*$-作用を持つ滑らかな複素素ファノ 4 次元多様体 $X$ は、以下の 4 つの族のいずれかに含まれる：

1. $\mathbb{P}^4$ (射影空間)
2. $Q^4$ (4 次元二次曲面)
3. $W_5$ (次数 5 の del Pezzo 4 次元多様体)
4. $X^m_8$ (ムカイ 4 次元多様体、種数 8、次数 14)

定理 B (FP-同値による精密化):
各多様体は、特定の標準的な作用と「固定点同値 (FP-equivalent)」であることが示されました。

• $\mathbb{P}^4$: 2 種類の半自由作用（例 4.7, 4.9）。
• $Q^4$: 2 種類の半自由作用（例 4.2, 4.11）。
• $W_5$: 1 種類の半自由作用（例 4.4）。
• $X^m_8$: 半自由作用を持つものが存在し、例 4.12 で記述される作用と FP-同値（Alexander Kuznetsov による例の提供）。

除外された族:
以前に候補として挙がっていた $V_{18}$ (種数 10) や $X^m_7, X^m_9$ などは、Duistermaat-Heckman 関数の解析やチャーン類の積分値の矛盾により、半自由 $\mathbb{C}^*$-作用を持つことができないことが証明されました。

4. 技術的詳細と証明の鍵

• 指数の制約: 定理 C の結果 $\iota(M) > 1$ は極めて重要です。これにより、指数が 1 のファノ多様体を除外し、Mukai や Wilson による指数 2 以上の素ファノ 4 次元多様体の既知の分類リスト（16 族）に絞り込むことができました。
• $b_4(M)$ の上限: 6 章の Duistermaat-Heckman 解析により、$b_4(M) \le 14$ が示されました。これにより、$b_4$ が大きい族（例：$X^m_7$ は $b_4=12$ だが、他の制約と組み合わせて除外）の排除が可能になりました。
• 固定点成分の構造: 各ケース $(d_1, d_2)$ において、固定点成分が $\mathbb{CP}^k$ や $\mathbb{CP}^1 \times \mathbb{CP}^1$ などの特定の多様体に限定されることを示し、そのノーマル束のチャーン類を計算することで、各ファノ族のトポロジー的不変量（$c_1^4$ の積分値など）との整合性を検証しました。

5. 意義 (Significance)

1. 次元 4 における分類の進展: 次元 3 では完了している「無限代数群作用を持つファノ多様体の分類」を、次元 4 の「半自由 $\mathbb{C}^*$-作用」に限定して初めて完全に行いました。
2. シンプレクティック幾何と代数幾何の融合: ハミルトニアンの局所化や Duistermaat-Heckman 定理といったシンプレクティック幾何学の手法を、複素代数多様体の分類問題に適用し、強力な制約条件を導出しました。
3. ムカイ多様体 $X^m_8$ の重要性: 従来の研究ではあまり注目されていなかった $X^m_8$ が、半自由作用を持つ唯一の非自明な族（$W_5$ 以外）として特定されました。これは、$X^m_8$ が $\mathbb{C}^4$ のコンパクト化（compactifications of $\mathbb{C}^4$）を含むことを示唆しており、幾何学的な構造の理解に新たな視点を提供します。
4. 反例の排除: $V_{18}$ などの有名なファノ多様体が半自由作用を持たないことを証明したことは、既存の分類リストの精査と、作用の存在可能性に関する理解を深める上で重要です。

結論として、本論文は、半自由トーラス作用という対称性の強い条件下で、次元 4 の素ファノ多様体が極めて限られた族に収束することを示し、代数幾何学とシンプレクティック幾何学の交差点における重要なマイルストーンとなっています。