[論文レビュー] Log rationally connected surfaces

Yi Zhu|arXiv (Cornell University)|Dec 8, 2014

Algebraic Geometry and Number Theory参考文献 10被引用数 3

ひとこと要約

本稿は、複素数体上の対数的有理的連結な対数的表面対に対して、数値的基準を確立する。この基準は、すべての対数接ベクトル束の対称冪の消失および負の対数・カウラー次元という条件によって特徴づけられることを証明する。主な結果は、対数的最小モデルプログラムと曲線の関数体における強い近似性との新しい関係を介して、対数的設定におけるカステルヌオの有理的性基準を一般化する。

ABSTRACT

In this paper, combining the works of Miyanishi-Tsunoda and Keel-McKernan, we prove the log Castelnuovo's rationality criterion for smooth quasiprojective surfaces over complex numbers.

研究の動機と目的

• 複素数体上の対数的有理的連結な対数的表面対の数値的特徴づけを確立すること。
• カステルヌオの古典的有理的性基準を対数的設定に一般化すること。
• 多様体の対数1形式の非存在性と、曲線の関数体上での強い近似問題との関係を明確にすること。
• 対数的最小モデルプログラムにおける対数的ルールドの場合を、アフィン直線のファイブレーションの整数的切断と結びつけることによって解決すること。
• 負の対数・カウラー次元と有限基本群が、対数的有理的連結性を保証するには不十分であることを示すこと。

提案手法

• 三浦・常田およびキール＝マクナーマンの分類結果と対数的最小モデルプログラム（log MMP）を組み合わせ、既知の終局的状況に帰着する。
• 対数的有理的連結性が除集合の codimension 1 の部分集合の削除および除集合の因子的収縮に関して保存されることを用いる。
• P^1 の有限被覆を介した基本変換を用いて、曲線の関数体上での整数的切断を構成する。
• 対数1形式の引き戻しの明示的解析を用いて、特定の状況で消失しないことを示し、消失条件に反する。
• 曲線の関数体上での A^1 および P^1 に対する強い近似結果を活用し、一般点を結ぶ有理曲線を構成する。
• ヴァン・カンペンの定理および対数アーベル多様体論を用いて、反例における対数不正則性および基本群を計算する。

実験結果

リサーチクエスチョン

• RQ1 どのような数値的条件が、C 上の対数的有理的連結な対数的表面対を特徴づけるか？
• RQ2 対数接ベクトル束の対称冪の消失が、対数的有理的連結性とどのように関係するか？
• RQ3 関数体上での強い近似を用いて、log MMP における log ruled ケースが log 有理的連結であることを証明できるか？
• RQ4 log Castelnuovo 基準において、H^0(X, S^12 Ω^1_X(log D)) = 0 という条件は鋭いか？
• RQ5 負の対数・カウラー次元と自明な基本群が、非 log 有理的連結性と共存しうるか？

主な発見

• 対数的カステルヌオの基準が成立する：対数的滑らかな対数的表面対 (X,D) は、すべての m ≥ 1 に対して H^0(X, (Ω^1_X(log D))^⊗m) = 0 であるときかつそのときに限り、対数的有理的連結である。
• H^0(X, S^12 Ω^1_X(log D)) = 0 という条件は鋭く、より低い対称冪では基準が成立しないことから示される。
• 関数体上での基本変換と強い近似を介して整数的切断を構成することにより、log ruled ケースが log 有理的連結であることが証明された。
• π₁(X−D) が自明で、q(X,D) = 0 かつ κ(X,D) = −∞ であるが、(X,D) が log 有理的連結でない反例が存在する。
• log 有理的連結性は有限基本群を意味するが、この条件は十分ではなく、反例によってそれが示された。
• カパンァ–コラール–ミヤオカ–モリの有理的連結性定理の対数的類似は、対数的表面対では成り立たない。これは、対数的ファノ対 (P², {xy=0}) によって示された。