[論文レビュー] Effective behavior of multiple linear systems

Sheng-Li Tan|ArXiv.org|Dec 3, 2003

Meromorphic and Entire Functions参考文献 13被引用数 5

ひとこと要約

本稿は、代数的表面における複数の線形系の挙動に対して有効な境界を与える。Zariskiの基礎的業績を拡張し、線形系が $k$-非常に豊か、基点をもたない、または非常に豊かになるような明示的な数値的条件を提示する。主な貢献は、十分に大きな $n$ に対して $|nA+T|$ が所望の幾何的性質を満たすかどうかを決定する不変量 $Τ(A,T)$ を用いた定量的基準である。鋭い例により、この境界は改善できないことが示されている。

ABSTRACT

We give optimal effective bounds for some well-known theorems on complex algebraic surfaces, which are respectively due to Serre, Zariski (1962), Castelnuovo (1897), Artin (1962, 1966), Benveniste (1984), Cutkosky and Srinivas (1993). These theorems are about Riemann-Roch problem (on the behavior of the function dim |nD| of n), vanishing theorems, base-point freeness and k-very ampleness of the linear systems |nD| and |nA+L|, where D is effective, A is nef and big and L is arbitrary. As a consequence, we obtain an effective version of Matsusaka's big theorem, and we give also examples to show that our bound is the best possible one.

研究の動機と目的

• 代数的表面における多重線形系に関する古典的結果の、有効で定量的なバージョンを提供すること。特にZariskiの理論を拡張すること。
• ネフで大きな除数 $A$ と固定除数 $T$ に対して、$|nA+T|$ が $k$-非常に豊か、基点をもたない、または非常に豊かになるような $n$ の明示的な数値的閾値を特定すること。
• 線形系 $|mA|$ による表面の像の射影的正規性に対する有効な基準を確立すること。
• $|nA+T|$ の有効な挙動を制御する数値的不変量 $\mathfrak{m}(A,T)$ を構成し、反例を用いてその鋭さを証明すること。

提案手法

• 線形系のサイズを canonical 除数と $T$ に対して相対的に測る不変量として、$\mathfrak{M}(A,T) = \frac{((K_X - T)A + 2)^2}{4A^2} - \frac{(K_X - T)^2}{4}$ を導入する。
• $\mathfrak{m}(A,T) = \min\{n \in \mathbb{Z} \mid n > \mathfrak{M}(A,T)\}$ を定義し、有効な挙動の閾値として機能させる。
• Zariski分解とコhomology的技法を用いて、$h^1(\mathcal{O}_X(nA + T))$ と基点の挙動を分析する。
• 層コホモロジーの長完全列と理想層を用い、$k$-非常に豊か性の失敗を研究し、違反する部分スキームを含む曲線 $D$ に関する必要条件を導出する。
• 分解 $0 \to \mathcal{O}_X \to E \to \mathcal{I}_{F_1 \cap F_2}(\ell A) \to 0$ を用いたランク2ベクトル束 $E$ の構成により、コホモロジーを制御し、切断環の生成を証明する。
• $k$-非常に豊か性と射影的正規性の理論を適用し、$R_{nm} = R_m^n$ が成り立つ条件を導出し、像が射影的に正規であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ネフで大きな除数 $A$ と固定除数 $T$ に対して、$|nA + T|$ が $k$-非常に豊かになる有効な閾値 $n$ は何か？
• RQ2 Zariskiの多重線形系理論における古典的で無効な境界を、数値的不変量を用いて有効なものにできるか？
• RQ3 表面が $|mA|$ によって写像された像がいつ射影的に正規になるか？
• RQ4 幾何的不変量 $A^2$、$K_X A$、$H^2$ に関して、非常に豊か性および $k$-非常に豊か性の有効な境界はどの程度鋭いか？
• RQ5 境界を改善できるか、それともそれらが最適であることを示す例はあるか？

主な発見

• 本稿は、$n > k + \mathfrak{M}(A,T)$ または $k=0$ で $T \sim K_X + \lambda A$ の場合に $n \geq \mathfrak{M}(A,T)$ ならば、$|nA + T|$ が $k$-非常に豊かであることを示している。閾値は不変量 $\mathfrak{m}(A,T)$ で与えられる。
• 特に $k=0$ の場合、$n > \mathfrak{M}(A,0)$ ならば $|nA|$ は基点をもたず、この境界は二重被覆の例により鋭いことが示されている。
• $X \to \mathbb{P}^2$ を次数 $2d$ の曲線に沿って分岐する二重被覆とする。このとき $nH$ が非常に豊かであるのは $n \geq d$ のときに限る。$Τ(H,0) = d-2$ であるから、$n > 2 + \mathfrak{M}(H,0)$ は $n \geq d$ と同値であり、境界が最適であることが証明される。
• 本稿は、$2m > \max\{2\ell + p + 1, 3\ell + 3 + \frac{K_X A}{A^2}\}$（ただし $\ell = 1 + \mathfrak{m}(A,0)$）ならば $R_{nm} = R_m^n$ であることを証明しており、これにより $|mA|$ による像の射影的正規性が保証される。
• コホモロジー的議論により、$h^1(\mathcal{F}(mA)) \leq 2\dim V$（$V = H^1((m - \ell)A)$）が成り立ち、$k$-非常に豊か性の失敗が制御される。
• ベクトル束 $E$ の構成 $0 \to \mathcal{O}_X \to E \to \mathcal{I}_{F_1 \cap F_2}(\ell A) \to 0$ を用いることで、$H^1$ を制御でき、$R_m = R_\ell R_{m-\ell}$ が成り立つことが示され、結果として環の生成に関する結果が得られる。