[論文レビュー] Effective base point free theorem for log canonical pairs--Kollár type theorem

Osamu Fujino|ArXiv.org|Sep 4, 2007

Analytic Number Theory Research参考文献 4被引用数 12

ひとこと要約

この論文は、新しいコhomological技術を用いて、Kollárの有効基点自由定理を Kawamata log terminal 対から log canonical 対へ一般化する。プロジェクト型 log canonical 対 $(X,\Delta)$ と、$aL-(K_X+\Delta)$ が nef かつ log big であるようなネフな Cartier 級数 $L$ に対して、次元 $n$ とパrameter $a$ のみに依存する有効整数 $m = m(n,a)$ が存在し、$|mL|$ が基点自由であることを示す。明示的な境界 $m(n,a) = 2^{n+1}(n+1)!(\lceil a\rceil + n)$ が与えられる。この結果は、双有理幾何における基礎的ツールをより広い log canonical 設定へ拡張する。

ABSTRACT

We prove Kollár's effective base point free theorem for log canonical pairs.

研究の動機と目的

• Kollárの有効基点自由定理を、元来 kawamata log terminal 対に対して成り立つものから、より広い log canonical 対のクラスへ拡張すること。
• 基点自由性を保証する整数 $m$ の有効的境界を、次元 $n$ とパrameter $a$ のみに依存する形で確立すること。
• 埋め込まれた単純正交交差対に対して、修正版の X 法と、一般化された消失定理およびトーショントル自由定理を含む新しいコhomological 手法を適用すること。
• プロジェクト型準同型 $\pi: X \to V$ に対して、主定理の相対的バージョンを確立し、同様の仮定のもとで $\mathcal{O}_X(mL)$ が $\pi$-生成されることを保証すること。

提案手法

• 新しいコhomological 技術に適合するように再定式化された Kollár の修正された基点自由性手法を、log canonical 対へ適応する。
• 特異点の解消 $f: Y \to X$ を用い、例外的集合と関連する除数が単純正交交差除数をなすようにする。
• 重要な仮定として、$aL - (K_X + \Delta)$ が nef かつ log big であることを用い、lc 中心の幾何と写像 $g: X \to S$ による像を制御する。
• 一般化された消失定理（定理 3.3）を適用し、$q > 0$ および $j \geq a$ に対して $H^q(X, \mathcal{I}_C \otimes \mathcal{O}_X(jL)) = 0$ を示し、制限写像の全射性を保証する。
• log canonical 対に対する基点自由定理（定理 1.3）を用い、$l \gg 0$ に対して $|lL|$ が基点自由であることを保証し、基点集合の次元に関する帰納的削減を可能にする。
• 境界 $m(n,a) = 2^{n+1}(n+1)!(\lceil a\rceil + n)$ を用い、Corollary 2.2.2 を繰り返し適用することで、基点集合の次元を段階的に低下させ、最終的に基点自由性を達成する。

実験結果

リサーチクエスチョン

• RQ1 Kollárの有効基点自由定理は、kawamata log terminal 対から log canonical 対へ拡張可能か？
• RQ2 ネフな Cartier 級数 $L$ が、log canonical 対で $aL - (K_X + \Delta)$ が nef かつ log big を満たすとき、$|mL|$ が基点自由であるような有効的境界 $m(n,a)$ は何か？
• RQ3 X 法とコhomological 手法は、特に lc 中心を含む log canonical 特異点を扱うためにどのように適合可能か？
• RQ4 プロジェクト型準同型 $\pi: X \to V$ に対して、有効基点自由定理の相対的バージョンは存在するか？
• RQ5 一般化された消失定理とトーショントル自由定理は、log canonical 設定における Kawamata–Viehweg の消失定理の代替として果たす役割は何か？

主な発見

• 有効基点自由定理は log canonical 対に対しても成り立つ：$L$ がプロジェクト型 log canonical 対 $(X,\Delta)$ 上のネフな Cartier 級数で、$aL - (K_X + \Delta)$ が nef かつ log big ならば、ある $m = m(n,a)$ に対して $|mL|$ は基点自由である。
• 明示的な境界が与えられる：$m(n,a) = 2^{n+1}(n+1)!(\lceil a\rceil + n)$ であり、これは次元 $n$ とパrameter $a$ のみに依存する。
• 証明は、修正された基点自由性手法と、一般化された消失定理およびトーショントル自由定理を含む新しいコhomological パッケージに依存する。
• 制限写像 $H^0(X, \mathcal{O}_X(jL)) \to H^0(C, \mathcal{O}_C(jL))$ は $j \geq a$ に対して全射であり、有限回のステップで一般の超曲面が lc 中心を避けることを保証する。
• Corollary 2.2.2 を繰り返し適用することで、$|mL|$ の基点集合の次元が段階的に低下し、最終的に消失する。これにより、$|2^{n+1}(n+1)!(\lceil a\rceil + n)L|$ が基点自由であることが証明される。
• 相対的バージョンの定理が確立された：同様の仮定のもとで、$\mathcal{O}_X(mL)$ は $m = m(n,a)$ に対して $\pi$-生成である。これは、$\pi: X \to V$ への結果の拡張を示している。