[論文レビュー] Strictly Nef Divisors

Frédéric Campana, Jungkai A. Chen+1 more|ArXiv.org|Nov 2, 2005

Algebraic Geometry and Number Theory参考文献 5被引用数 4

ひとこと要約

本稿は、厳密に正である線分束に関するSerranoの予想を検討し、いくつかの状況において $K_X + tL$ が $t > n+1$ のときに非常に正であることを証明している。具体的には、$κ(X) \geq n-2$、アーベル関手を介した $α(X)$ の次元が $n-2$ 以上、および3次元の場合（ただし、$L \cdot c_2 = 0$ であるカラビ＝ヤウ3次元多様体を除く）が該当する。著者らは双有理幾何、ファノバンドル、正性の議論を用いて例外的な場合を除外し、高次元代数幾何における非常正性の理解を前進させた。

ABSTRACT

Let $X$ be a projective manifold of dimension $n$ and $L$ a strictly nef line bundle on $X$. Then $K_X+tL$ is ample if $t > n+1$ in the following cases. 1.) $ ext{dim} X = 3$ unless (possibly) $X$ is a Calabi-Yau with $c_2 \cdot L=0$; 2.) $κ(X) \ge n-2$; 3.) $ ext{dim} α(X) \ge n-2$, with $α: X o A$ the Albanese map.

研究の動機と目的

• プロジェクトーマニフォールド $X$ 上の線分束 $L$ が厳密に正であるとき、$K_X + tL$ が $t > n+1$ のとき非常に正であるというSerranoの予想を検証すること。
• 特に、$q(X) \leq 2$ かつ $\chi(\mathcal{O}_X) = 0$ であるユニルーテッド3次元多様体と、$L \cdot c_2 = 0$ であるカラビ＝ヤウ3次元多様体を含む、3次元における例外的ケースを除外すること。
• コホモロジー次元とアーベル関手の正性を分析することで、高次元への予想の拡張を図ること。
• 特にファノバンドルおよび $\mathbb{P}^k$-バンドルの文脈において、厳密に正な除集合がいつ非常に正になるかの条件を確立すること。

提案手法

• $N_1(X)$ における錐定理と双対性を用いて、$K_X + tL$ が可動曲線と交わる挙動を分析する。
• $K_X^{j} \cdot L^{n-j} = 0$ がすべての $j$ に対して成り立つならば非非常正性が生じるという基準を適用し、この条件が成立しない場合には非常正性が示されることを証明する。
• アーベル関手 $\alpha: X \to A$ を用いて、問題を $\dim \alpha(X) \geq n-2$ となる場合に還元し、像の正性を活用する。
• 表面の上への $\mathbb{P}^k$-バンドルを分析し、$K_X + tL$ が非常正でない場合の明示的交差数を計算し、矛盾を導く。
• リーマン・ロッホと有理的またはルーデッドな表面における $c_1(\mathcal{E})$ の正性を用いて、$c_1(\mathcal{E})^2 = 0$ のとき厳密に正性に矛盾することを示す。
• $[BDPP04]$ の可動曲線錐に関する結果と、有効的除集合と可動曲線の双対性を応用し、非常正性を導出する。

実験結果

リサーチクエスチョン

• RQ1 プロジェクトーマニフォールド $X$ 上の線分束 $L$ が厳密に正であるとき、$K_X + tL$ が $t > n+1$ のとき非常に正である条件は何か？
• RQ2 Serranoの予想における例外的ケース（特に $q(X) \leq 2$ かつ $\chi(\mathcal{O}_X) = 0$ であるユニルーテッド3次元多様体）は除外可能か？
• RQ3 $\kappa(X) \geq n-2$ または $\dim \alpha(X) \geq n-2$ のとき、$K_X + tL$ が厳密に正な $L$ に対して非常に正であるか？
• RQ4 表面の上への $\mathbb{P}^k$-バンドルにおいて、$L$ が厳密に正であるとき、$K_X + tL$ はどのように振る舞い、一般の予想にどのように寄与するか？
• RQ5 $L \cdot c_2 = 0$ であるカラビ＝ヤウ3次元多様体の場合は、現在の技術で解けるか？

主な発見

• 3次元の場合、$X$ が $L \cdot c_2 = 0$ であるカラビ＝ヤウ多様体でない限り、$K_X + tL$ は $t > 4$ のとき非常に正である。このケースは未解決のまま残っている。
• $\kappa(X) \geq n-2$ のとき、リーマン・ロッホと表面における正性を用いた背理法により、$K_X + tL$ は $t > n+1$ のとき非常に正である。
• $\dim \alpha(X) \geq n-2$ のとき、アーベル関手により像の正性に還元され、$K_X + tL$ は $t > n+1$ のとき非常に正である。
• 表面の上への $\mathbb{P}^k$-バンドルにおいて、$c_1(\mathcal{E})^2 = 0$ および $c_1(\mathcal{E}) \cdot (c_1(\mathcal{E}) + K_S) = 0$ を明示的に計算することで、$K_X + tL$ は $t > k+3$ のとき非常に正であることが示された。これは厳密に正性に矛盾する。
• 3次元において $L = -K_X$ の場合が解決された：$-K_X$ は非常に正であるため、$X$ はファノ多様体であり、Serranoの結果が裏付けられた。
• もし $t > n+1$ に対して $K_X + tL$ が非常正でないならば、すべての $j$ に対して $K_X^j \cdot L^{n-j} = 0$ が成り立つ。したがって、この条件が成立しない場合には非常正性が導かれる。