[論文レビュー] Examples of non--effective rays at the boundary of the Mori cone of blow--ups of the plane

Ciro Ciliberto, Rick Miranda|arXiv (Cornell University)|Nov 4, 2021

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

ひとこと要約

本稿では、$ d \geq 4 $ に対して、$ d - m $ の重複度を持つ一点と、一般の $ m(2d - m) $ 点を通る平面曲線の線型系が、$ 2 \leq m \leq d - 2 $ のとき、任意の正の倍数に対しても効果的でないことを証明している。退化技法と $ m $ に関する帰納法を用いて、その対応する $ \mathbb{P}^2 $ の吹き上げのネロン＝セベリ空間における射線がネフではあるが効果的でないことを示し、モーリー錐の境界に位置する非効果的射線の新しい例を提供している—ナガタの定理を一般化している。

ABSTRACT

In this paper we prove that no multiple of the linear system of plane curves of degree $d\geq 4$ with a point of multiplicity $d-m$ (with $2 \leq m \leq d$) and $m(2d-m)$ simple general points is effective.

研究の動機と目的

• 13個の一般点での平面の吹き上げ上の特定の線型系の効果性に関するマサレンティとメラが提起した問いを解決すること。
• 一般点における高重複度を持つ線型系の非効果性に関するナガタの定理を一般化すること。
• $ \mathbb{P}^2 $ の吹き上げのネロン＝セベリ空間におけるネフではあるが効果的でない射線の明示的例を構成すること。
• 退化法とクレモナ変換を用いて、このような非効果的射線を系統的に同定する方法を提供すること。
• ゼロ自己交差を持つ複数の基点を持つ線型系の文脈におけるモーリー錐の構造をより深く理解すること。

提案手法

• ドメイン上の曲面族に退化法を適用し、中心特異点が $ \mathbb{P}^2 $ とヒルツェブルク面 $ F_1 $ のコピーに分解するようにする。これにより極限線型系を解析する。
• $ \mathcal{O}_X(-lP) $ を用いたねじれ族を導入し、異なる極限バンドルを生成することで、成分間の複数の一致条件を可能にする。
• 極限で複数の $ (-1) $-曲線が分離する場合、特に $ m = 2 $ の場合に適応可能な精密一致条件を適用する。
• クレモナ変換を用いて、$ \mathbb{P}^2 $ 上の極限系を、$ (n+1)^2 $ 個の重複度 $ t $ の点に加え、追加の制約を持つ系に変換する。
• 帰納法と特殊化を用いて、結果の系が空であることを証明し、任意の曲線が重複度条件を満たすためには固定曲線を含まなければならないことから、自明でない限り矛盾が生じることを示す。
• $ m $ に関する帰納法を用い、$ m > 2 $ の場合を $ m = 2 $ の場合に還元する。$ m = 2 $ の場合は退化法と極限系の詳細な解析により取り扱う。

実験結果

リサーチクエスチョン

• RQ1 線型系が $ d \geq 4 $ の曲線で、重複度 $ d - m $ の点と一般点 $ m(2d - m) $ を通る場合、$ 2 \leq m \leq d - 2 $ に対して、任意の正の倍数について効果的であるか？
• RQ2 ゼロ自己交差と高重複度制約を持つ線型系の非効果性を、退化法を用いて証明できるか？
• RQ3 ネロン＝セベリ空間における $ \mathbb{P}^2 $ の吹き上げのネフ射線が非効果的であるための条件は何か？ また、このような射線はどのように構成できるか？
• RQ4 クレモナ変換と精密一致条件は、退化議論における極限線型系の解析にどのように寄与するか？
• RQ5 $ m = 2 $ の場合を、より高い $ m $ に対する非効果性の帰納的証明の基盤として用いることができるか？

主な発見

• すべての $ d \geq 4 $ および $ 2 \leq m \leq d - 2 $ に対して、$ k\xi_{d,m} $ は任意の $ k \geq 1 $ に対して効果的でない。つまり、この線型系の任意の正の倍数に非自明な切断は存在しない。
• 一般点 $ m(2d - m) + 1 $ での吹き上げのネロン＝セベリ空間における $ \xi_{d,m} $ が生成する射線はネフではあるが効果的でない。これはモーリー錐の境界上に位置する。
• $ m = 2 $ の場合は帰納法の重要な基底ケースであり、複数の $ (-1) $-曲線を含む極限系の詳細な解析と退化法により証明されている。
• クレモナ変換後の $ \mathbb{P}^2 $ 上の極限系が、任意の曲線が重複度条件を満たすためには固定曲線を含まなければならないことから、矛盾が生じる（自明でない限り）ことにより、空であることが示された。
• $ m \geq 3 $ の場合、帰納法により $ m = 2 $ の場合に還元され、$ \mathbb{P}^2 $ 成分上のカーネル系が、二重曲線に沿って消えることから空であることが示された。
• 退化パrameter の $ t = 0 $ の場合も除外されている。このとき対応する切断は $ \mathbb{P}^2 $ 成分上で恒等的に消える必要があるため、極限曲線の非存在性が確認された。