[論文レビュー] Seshadri fibrations of algebraic surfaces

Wioletta Syzdek, Tomasz Szemberg|ArXiv.org|Sep 17, 2007

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

ひとこと要約

本稿は、代数的表面におけるSeshadri定数とファイブレーション構造の関係を精緻化し、先行研究で得られた鋭い境界が、ℙ³における立方曲面においてのみ達成されることを示している。他のすべての表面に対しては、より良い境界が成り立ち、著者らは点の数が増加するにつれて最大値に収束する複数点Seshadri定数の最適境界を確立し、Nagata-Biran予想の漸近的版を確認した。

ABSTRACT

We refine results of Hwang, Keum and Szemberg, Tutaj-Gasinska which relate local invariants - Seshadri constants - of ample line bundles on surfaces to the global geometry - fibration structure. We show that the same picture emerges when looking at Seshadri constants measured at any finite subset of the given surface.

研究の動機と目的

• 代数的表面におけるファイブレーション構造を強制するSeshadri定数の既知の境界を精緻化すること。
• 先行研究で得られた鋭い境界が立方曲面を越えて成り立つかどうかを特定すること。
• 単一の点におけるSeshadri定数に関する結果を複数点におけるSeshadri定数へと拡張すること。
• 複数点Seshadri定数の最適境界を確立し、点数が増加するにつれて上界に収束することを確認すること。
• ファイブレーションを持たない表面に対して、Nagata-Biran予想の漸近的確認を提供すること。

提案手法

• Seshadri曲線の自己自己交叉を制限するためにHodge指数定理の使用。
• 複数の点における指定された重複度を持つ曲線の自己自己交叉を推定するために、Lemma 2.3 (Xu) の応用。
• 重複度と点の数を含む数値的不等式を導出するために、Lemma 2.4 (Küchle) の使用。
• 点数に関する帰納法を用いて、単一の点から複数の点へのSeshadri定数の結果を拡張すること。
• 重複度2の場合のSeshadri曲線の有理性を示すためにKodaira-Spencer写像の使用。
• 吹き上げと線分束のnef性に関する幾何的議論を用いて、Seshadri曲線およびそのファイブレーション性質を特徴づけること。

実験結果

リサーチクエスチョン

• RQ1 ファイブレーションを強制するSeshadri定数の鋭い境界が達成される唯一の表面は立方曲面であるか？
• RQ2 立方曲面を除く他の表面に対して、ファイブレーションを強制するSeshadri定数の境界を改善できるか？
• RQ3 点数が増加するにつれて複数点Seshadri定数はどのように振る舞い、上界に収束するか？
• RQ4 ファイブレーションを持たない表面に対して、Nagata-Biran予想を漸近的に確認できるか？
• RQ5 Seshadri定数がちょうど√((r−1)/r)倍の上界に等しい場合、Seshadri曲線の正確な構造は何か？

主な発見

• ℙ³における立方曲面は、Seshadri定数が鋭い境界√(3/4)·ε_upper(L;1)に達する唯一の滑らかな射影的表面であり、他のいかなる表面に対してもこの境界は改善されない。
• 立方曲面を除くすべての表面に対して、ファイブレーションを強制する単一の点Seshadri定数について、√(3/4)より厳密に良い境界が成り立つ。
• 複数点Seshadri定数の最適境界は√((r−1)/r)·ε_upper(L;r)であり、任意の点数rに対して鋭い境界である。
• r ≥ 2の場合、境界√((r−1)/r)·ε_upper(L;r)は最適であり、ℙ²および有理正規スクリュー上の例によって、改善不可能であることが示された。
• Nagata-Biran予想は漸近的に確認された：ファイブレーションを持たない表面に対して、十分大きなrについてε(L;r) ≥ √((r−1)/r)·ε_upper(L;r)が成り立つ。
• 境界√((r−1)/r)·ε_upper(L;r)は、ℙ²でr=2の場合、2点を通る直線によって達成され、有理正規スクリューでは超平面切断によって達成され、最適性が示された。