Maximal variation of linear systems

技術要約：線形系の最大変分

問題設定
本論文は、複素数体 $\mathbb{C}$ 上の滑らかな射影多様体 $X$ 上の線形系 $|L|$ が「最大変分（maximal variation）」を持つための条件を調査している。線束 $L$ は、その要素 $|L|$ が可能な最大数のモジュリ（moduli）を持つ場合、すなわち $\dim |L|$ 個のモジュリを持つ場合に、最大変分を持つと言われる。これは、一般に $S \in |L|$ とすると、$S$ と同型な $S' \in |L|$ は有限個しか存在しないことと同値である。モジュリ理論の観点からは、これは線形系 $|L|$ から超曲面 $S$ のモジュリ空間 $\mathcal{M}$ への自然な有理写像が、生成的に有限（generically finite）であることを要求する。

手法と微分判定法
主要な道具として、超曲面の変形理論から導出された微分判定法を用いる。$S \in |L|$ を一般の要素とする。本論文は、$L$ が最大変分を持つための条件として、線形系の接空間から $S$ のクルニシ・ファミリー（Kuranishi family）の接空間への接写像 $T\mu$ が単射であることを確立している。

この単射性は、制限された接束のコホモロジーに関連している。具体的には、命題 1 は以下を述べている：

• もし $H^0(S, T_X|_S) = 0$ ならば、$L$ は最大変分を持つ。
• 逆に、$H^1(X, \mathcal{O}_X) = 0$ かつ $H^0(S, T_S) = 0$ であるならば、最大変分は $H^0(S, T_X|_S) = 0$ を意味する。

証明では、完全系列 $0 \to T_S \to T_X|_S \to L|_S \to 0$ と、それに付随するコホモロジー列を用いて、接写像の単射性と $T_X|_S$ の大域的切断の消滅を関連付けている。

多様体のクラス別主要結果

1. $\mathbb{P}^n$ 内の超曲面
   次数 $d$ の滑らかな超曲面 $X \subset \mathbb{P}^n$ に対して、$\mathcal{O}_X(1)$ の最大変分の条件は、ヤコビ環 $R = \mathbb{C}[x_0, \dots, x_n]/(\partial F/\partial x_0, \dots, \partial F/\partial x_n)$ の代数的性質に帰着される。

   • 命題 2: $\mathcal{O}_X(1)$ が最大変分を持つための必要十分条件は、一般的な線形形式 $\ell$ に対して乗法写像 $\times \ell: R_{d-1} \to R_d$ が単射であることである。これは、ヤコビ環が弱レフシェッツ特性（Weak Lefschetz Property）を満たすことと同値である。
   • 系 1: 最大変分が確認されているケース：
     • $d \ge n+2$ （その後の Bricalli と Pirola による研究で $d \ge n+1$ に改善）。
     • $d \ge 4$ の $\mathbb{P}^3$ 内の曲面。
     • 3次超曲面（Cubic threefolds）。
     • $\mathbb{P}^n$ 内の次数 $d$ の一般の超曲面。
   • 命題 3: もし $\mathcal{O}_X(1)$ が最大変分を持つならば、すべての $e \ge 1$ に対して $\mathcal{O}_X(e)$ は最大変分を持つ。さらに、$e \ge d$ であれば $\mathcal{O}_X(e)$ は最大変分を持つ。

2. $\mathbb{P}^n$ の二重被覆
   滑らかな次数 $d$ の超曲面 $B$ を分岐集合とする二重被覆 $\pi: X \to \mathbb{P}^n$ について、線束 $\pi^*\mathcal{O}_{\mathbb{P}^n}(1)$ を解析する。

   • 命題 4: $\pi^*\mathcal{O}_{\mathbb{P}^n}(1)$ が最大変分を持つための必要十分条件は、分岐集合 $B$ のヤコビ環における乗法写像が単射であることである（超曲面の場合と同様）。
   • 系 2: 最大変分は $d \ge n+1$ （$n=2$ の場合は $d \ge 6$）において成立する。
   • この結果は、$e \ge d$ のときの $\pi^*\mathcal{O}_{\mathbb{P}^n}(e)$ にも拡張される。

3. K3 曲面およびハイパーケーラー多様体

   • 命題 5: K3 曲面上の任意のアンプルな線束は最大変分を持つ。
   • 命題 6: 次元 $>2$ のハイパーケーラー多様体上の任意のアンプルな線束は最大変分を持つ。
   • 手法: 証明は、秋喜・中野（Akizuki-Nakano）の消滅定理に基づいている。これらの多様体では $T_X \cong \Omega^1_X$ であるため、$H^0(T_X) = 0$ および $H^1(T_X \otimes L^{-1}) = 0$ であり、これが $H^0(T_X|_S) = 0$ を強制する。

4. アーベル多様体

   • 命題 7: アーベル多様体上の任意のアンプルな線束は最大変分を持つ。
   • 手法: 証明は、合成写像 $\tilde{u}: H^0(T_X) \to H^1(\mathcal{O}_X)$ が同型であることを示すことにより、$T\mu$ が単射であることを実証している。この写像は、第1 Chern クラス $c_1(L)$ とのカップ積として識別され、レフシェッツの定理によりこれは同型である。

追加の例および反例

• 肯定的な結果:
  • $H^0(X, T_X) = 0$ かつ $L$ がアンプルであれば、$L^m$ は十分大きな $m$ に対して最大変分を持つ。
  • $\Omega^1_X$ がアンプルであれば、すべての線束は最大変分を持つ。
  • $\Omega^1_X$ が大域的に生成される一般型曲面のとき、任意の非常にアンプルな線束は最大変分を持つ。
  • $\text{Pic}(X) = \mathbb{Z} \cdot [K_X]$ かつ $c_1^2 > c_2$ である一般型曲面に対して、線束 $K_X^r$ ($r \ge 1$) は最大変分を持つ。
  • $H^0(T_{X_i}) = 0$ かつ $\dim X_i \ge 2$ である積 $X_1 \times X_2$ は、任意のアンプルな束に対してこの条件を満たす。
• 反例:
  • 連結な線形群 $G$ による非自明な作用を持つ多様体（$G$ が $|L|$ に非自明に作用する場合）は、最大変分を持たない。
  • 非常にアンプルなランク 2 の束 $E$ を持つ曲線 $C$ 上の射影束 $\mathbb{P}(E)$ では、線形系はモジュリを持たない。
  • 一般型多様体上の特定のペンシル（例：フェルマー超曲面の特定の吹出し）は、モジュリを持たないことがある。

意義と範囲
本論文は、$H^0(S, T_X|_S)$ の消滅を通じて、線形系がいつ最大変分を達成するかを決定するための統一的な枠組みを提供している。著者は K3 曲面、ハイパーケーラー多様体、アーベル多様体については決定的な結果を確立しているが、超曲面と二重被覆に関する結果は、弱レフシェッツ特性の予想に依存した部分的なものとして提示されている。

著者は、後続の研究である Bricalli と Pirola [B-P] がより一般的な定理を提供していることを指摘している。すなわち、滑らかな射影多様体 $X$ で $h^{n,0} \neq 0$ かつ $h^{n-1,0} = 0$ である場合、任意の非常にアンプルな線束は最大変分を持つ。この結果は、本論文におけるいくつかの境界（特に超曲面に関するもの）を改善している。

本論文は、以下の予想で締めくくられている：$X$ が非ユニルーレド（not uniruled）であれば、 $X$ 上のあらゆるアンプルな線束は最大変分を持つ。これは、最大変分の存在が、有理曲線を持たない多様体においては一般的な性質であることを示唆しており、反例は主に対称性や特定のファイブレーション構造から生じるものである。