On Fujita's conjecture for a general hyperkähler manifold in the standard series of examples

論文要約：ハイパーケーラー多様体におけるフジタ予想と偏極の性質

1. 問題設定 (Problem)

本論文の中心的な課題は、フジタ予想（Fujita's Conjecture）を、複素多様体の重要なクラスであるハイパーケーラー多様体（特に、K3 曲面の $n$ 点ヒルベルトスキーム $K3^{[n]}$ 型および一般化されたクンマー多様体 $Kum_n$ 型）に適用し、その一般元における偏極（polarization）の**基点自由性（base point freeness）と非常豊富性（very ampleness）**を決定することである。

フジタ予想は、コンパクト複素多様体 $X$（次元 $n$）上の ample 線束 $L$ に対し、$K_X \otimes L^{\otimes m}$ が $m \ge n+1$ で基点自由、$m \ge n+2$ で非常豊富であると予測する。

• 既知の結果：K3 曲面（$n=2$）では $m \ge 2$、アーベル多様体では $m \ge 3$ で成立することが知られている。
• 本研究の目的：ハイパーケーラー多様体（次元 $2n$）において、偏極 $H$ 自身、あるいはそのべき $H^{\otimes m}$ がどのような条件で基点自由や非常豊富になるかを、偏極の平方 $2d$ と可分性（divisibility）$t$ の関数として明確にすること。

2. 手法と方法論 (Methodology)

著者は、以下の数学的構成と論理を組み合わせて証明を構築している。

1. タウトロジー的ベクトル束の構成:

   • 曲面 $S$ 上の線束 $L$ に対し、ヒルベルトスキーム $S^{[n]}$ 上のタウトロジー的ベクトル束 $L^{[n]}$ を定義する。
   • $L$ が $(n-1)$-非常に豊富（$(n-1)$-very ample）であれば $L^{[n]}$ が大域的に生成され、$n$-非常に豊富であれば $S^{[n]}$ からグラスマン多様体への埋め込みを誘導することを示す。
   • この埋め込みの行列式線束 $\det L^{[n]}$ が、$S^{[n]}$ 上の基点自由かつ非常豊富な線束 $L^n - \delta$（$\delta$ は例外除数）を与えることを利用する。

2. ハイパーケーラー多様体の格子構造:

   • $K3^{[n]}$ 型および $Kum_n$ 型多様体の第 2 コホモロジー群 $H^2(X, \mathbb{Z})$ が、それぞれ $K3$ 格子やアーベル曲面の格子と直交和 $\mathbb{Z}\delta$ で分解されることを利用する。
   • 偏極 $H$ の可分性 $t$ と平方 $2d$ が、この格子構造においてどのように制約を受けるかを解析する（Proposition 3.2, 3.3, Remark 3.4）。

3. モジュライ空間の連結性と開性:

   • 偏極ハイパーケーラー多様体のモジュライ空間 $\Sigma^n_{d,t}$（$K3^{[n]}$ 型）および $\Upsilon^n_{d,t}$（$Kum_n$ 型）の連結成分の数を数える既知の結果（Debarre, Hassett, Tschinkel 等）を引用。
   • 基点自由性と非常豊富性が、族（family）において**開性質（open property）**であることを利用する（Corollary 4.5）。
   • 戦略：特定のモジュライ空間の連結成分内に、所望の性質（基点自由・非常豊富）を満たす「特殊な例（構成可能な多様体）」が一つでも存在すれば、その連結成分内の「一般元」も同様の性質を持つと結論づける。

4. K3 曲面・アーベル曲面上の既知結果の適用:

   • 曲面 $S$ 上の線束 $L$ に対する $k$-非常に豊富性の条件（Proposition 5.1, 5.2）を、$S^{[n]}$ や $Kum_n$ 上の線束 $aL^n - \delta$ へ転用し、$d$ と $n$ の不等式関係を導出する。

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

論文の主要な結果は、偏極の可分性 $t$ と平方 $2d$、次元 $n$ に基づく明確な閾値（threshold）の提供である。ここで $\tau := \frac{t^2}{2(t-1)}$ と定義する。

定理 0.1 (Theorem 0.1) の要約:

• 可分性 $t=1$ の場合:

  • $K3^{[n]}$ 型（$\Sigma^1_{d,n}$）: $H$ は常に基点自由。$d \ge n+1$ なら $H$ は非常豊富。
  • $Kum_n$ 型（$\Upsilon^1_{d,n}$）: $d \ge 3$ なら $H$ は基点自由。$d \ge n+4$ なら $H$ は非常豊富。
  • さらに、$H^{\otimes (n+2)}$ は常に非常豊富である（Lemma 5.12, Corollary 5.13）。

• 一般の可分性 $t \ge 2$ の場合:
  特定の連結成分が存在し、その一般元 $(X, H)$ に対して以下の条件が成り立つ（モジュライ空間が空でない限り）。

  • $K3^{[n]}$ 型 ($\Sigma^t_{d,n}$):
    • 基点自由: $d \ge (\tau - 1)n + \tau + 1$
    • 非常豊富: $d \ge (\tau - 1)n + 2\tau + 1$
  • $Kum_n$ 型 ($\Upsilon^t_{d,n}$):
    • 基点自由: $d \ge (\tau - 1)n + 2\tau - 1$
    • 非常豊富: $d \ge (\tau - 1)n + 3\tau - 1$

• モジュライ空間の非空性の判定 (Proposition 5.10):

  • $\Sigma^t_{d,n}$ および $\Upsilon^t_{d,n}$ が空でないための必要十分条件を、$t$ が $2(n-1)$ または $2(n+1)$ を割り、$d$ が特定の合同式を満たすこととして明示した。これにより、上記の不等式が実際に適用可能な領域を特定できる。

• 連結成分の特定:

  • $t=1, 2$ や $t=p^a$（$p$ は奇素数）などの特定の条件下では、モジュライ空間が連結（連結成分が 1 つ）であることが示され、上記の結果が「一般元」全体に適用可能となる（Corollary 5.9）。

4. 意義と結論 (Significance)

• フジタ予想の一般化: ハイパーケーラー多様体という高次元かつ非自明なクラスにおいて、フジタ予想の類似形（$K_X$ の代わりに偏極そのものやそのべき）に対する具体的な数値的限界を初めて体系的に提示した。
• 構成可能性と一般性の橋渡し: 具体的な多様体（K3 曲面やアーベル曲面からの構成）の性質を、モジュライ空間の「一般元」の性質へと拡張する論理的枠組みを確立した。特に、開性質と連結成分の構造を利用したアプローチは、同様の問題への応用可能性が高い。
• モジュライ空間の構造理解: 偏極の可分性 $t$ と平方 $2d$ が、モジュライ空間の非空性や連結性にどのように影響するかを詳細に記述し、幾何学的な性質（基点自由・非常豊富）と数論的パラメータの関係を解明した。
• 今後の展望: 本研究で得られた不等式は、特定の $n, t, d$ に対して最適化可能であり、より精密な境界値の探索や、例外ケース（O'Grady 型など）への拡張への道筋を示唆している。

総じて、本論文はハイパーケーラー幾何と線束の理論の交差点において、フジタ予想に関する重要な進展をもたらす技術的な成果である。