[論文レビュー] Bridgeland Stability conditions on threefolds II: An application to Fujita's conjecture

Arend Bayer, Aaron Bertram+2 more|arXiv (Cornell University)|Jun 17, 2011

Algebraic Geometry and Number Theory参考文献 9被引用数 11

ひとこと要約

この論文は、3次元多様体の導来カテゴリ−でtilt安定な対象に対する予想されるボゴモロフ＝ギーセカー型不等式を適用し、3次元におけるReider型定理を証明する。その結果、第三チルンクラスに関する予想が成り立つ限り、Fujitaの予想が3次元で成立する。具体的には、$L$ が非常に正のとき $K_X + 6L$ が非常に正であり、$K_X$ が自明なとき $5L$ が非常に正である。

ABSTRACT

We apply a conjectured inequality on third chern classes of stable two-term complexes on threefolds to Fujita's conjecture. More precisely, the inequality is shown to imply a Reider-type theorem in dimension three which in turn implies that K_X + 6L is very ample when L is ample, and that 5L is very ample when K_X is trivial.

研究の動機と目的

• 表面から3次元への自己双対ラインバンドルに対するReiderの方法を、導来カテゴリとBridgeland安定性を用いて拡張すること。
• 滑らかでプロジェクト型な3次元多様体上の自己双対ラインバンドルのグローバル生成性および非常に正性に関するReider型基準を確立すること。
• 第三チルンクラスに関する予想されるボゴモロフ＝ギーセカー不等式が3次元におけるFujitaの予想を示すこと。
• グローバル生成性および非常に正性のための、自己双対ラインバンドル $K_X \otimes L^m$ の有効な数値的境界を提供すること。
• 第三チルンクラスに関する予想が、Ein-Lazarsfeld や Kawamata の文献における既知の結果と整合することを示すこと。

提案手法

• 3次元多様体の導来カテゴリ $\mathrm{D}^b(X)$ におけるtilt安定性の定義に、$\mathrm{NS}_{\mathbb{Q}}(X)$ 内のパラメータのペア $\omega$ と $B$ を用いる。
• $H^1(X, K_X \otimes L \otimes I_Z)$ の消滅を、心 $\mathcal{B}_{\omega,B}$ 内の特定の安定対象の非存在に還元する。
• $\mathcal{B}_{\omega,B}$ 内の2項複体の第三チルンクラスに関する予想されるボゴモロフ＝ギーセカー不等式を適用する。
• 予想のもとで矛盾を導くために、非自明な拡張 $\mathcal{O}_X[1] \to E \to L \otimes I_Z \to \mathcal{O}_X[2]$ を構成する。
• Serre双対性とコホモロジーの消滅を用いて、$H^1(X, K_X \otimes L \otimes I_Z)$ の非消滅が $\mathcal{B}_{\omega,B}$ 内の不安定化部分対象の存在に帰着されることを示す。
• Hirzebruch-Riemann-Roch を用いたチルン特性の計算と genus 公式により、曲線類および正規バンドルに関する制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 表面におけるFujitaの予想を証明するReiderの方法を、導来カテゴリと安定性条件を用いて3次元に一般化できるか？
• RQ2 tilt安定対象の第三チルンクラスに関する予想されるボゴモロフ＝ギーセカー不等式が、3次元におけるFujitaの予想を示すか？
• RQ3 $L^3$, $L^2.D$, および $L.C$ のどの数値的境界が、$K_X \otimes L^m$ のグローバル生成性または非常に正性を保証するか？
• RQ4 予想される不等式は、Ein-Lazarsfeld や Kawamata の自己双対ラインバンドルに関する既知の結果とどのように関係するか？
• RQ5 $K_X$ が数的に自明である場合や $Z$ の長さが1である場合など、特別な場合に予想を検証できるか？

主な発見

• 第三チルンクラスに関する予想されるボゴモロフ＝ギーセカー不等式を仮定すると、$L$ についての条件 (A)、(B)、(C) を満たす限り、任意の0次元部分スキーム $Z$ に対して $H^1(X, K_X \otimes L \otimes I_Z) = 0$ が成り立つ。
• この予想により、$m \geq 4$ のとき $K_X \otimes L^m$ がグローバルに生成され、$L^3 \geq 2$ のとき $m \geq 3$ でも同様に成り立つ。
• この予想により、$m \geq 6$ のとき $K_X \otimes L^m$ が非常に正であり、$K_X$ が自明またはすべての曲線 $C \subset X$ に対して $K_X.C$ が偶数のとき $m \geq 5$ でも同様に成り立つ。
• $\alpha = 2$ の場合、条件 (A)、(B)、(C) により、1次曲線への制限が非常に正である限り、$K_X \otimes L^2$ が非常に正であることを保証するReider型基準が得られる。
• この論文は、予想が既知の結果と整合することを示している：$H^1(X, K_X \otimes L \otimes I_x) \neq 0$ のとき、対応する拡張対象に対して予想が成り立つ。これはその妥当性を裏付ける証拠である。
• 有理曲線 $C$ で $L.C = 1$ の場合、$K_X.C$ が偶数でない限り、予想は矛盾を引き起こす。これは、主定理における偶奇条件の必要性を支持する。