[論文レビュー] Seshadri constants via Okounkov functions and the Segre-Harbourne-Gimigliano-Hirschowitz Conjecture

Marcin Dumnicki, Alex Küronya+2 more|arXiv (Cornell University)|Mar 31, 2013

Geometry and complex manifolds参考文献 22被引用数 5

ひとこと要約

この論文は、Okounkov体を用いて、射影平面の blown-up 上における一点 Seshadri 定数の有理性と SHGH 猜想の間の新しい関係を確立する。SHGH 猜想が s ≥ 9 個の点について成り立つならば、ある非常に一般な点における非常に一般な線束が無理数の Seshadri 定数を持つ、あるいは s+1 個の点について猜測が成立しない——という結論を導く。これは、Newton–Okounkov 体の不変量と順序関数を用いた、猜測の検証の新たな道筋を提供する。

ABSTRACT

In this note we relate the SHGH Conjecture to the rationality of one-point Seshadri constants on blow ups of the projective plane, and explain how rationality of Seshadri constants can be tested with the help of functions on Newton--Okounkov bodies.

研究の動機と目的

• P² の blown-up 上における一点 Seshadri 定数の有理性と SHGH 猜想との関係を調査すること。
• Okounkov 体およびその上の順序関数を用いて、Seshadri 定数の有理性をテストする方法を検討すること。
• Seshadri 不変量と結びつけることによって、Nagata 型の猜測の妥当性に関する新たな証拠を提供すること。
• 対称的曲線の構成を通じて、点の一般位置の役割を Seshadri 定数の計算において明確にすること。

提案手法

• 表面の許容的フラグに関連する Newton–Okounkov 体の理論を用いて、Seshadri 定数を研究する。
• Okounkov 体上の順序関数 φordP を適用し、消失順序の上限を用いて Seshadri 定数を特徴付ける。
• 一般点の置換に関する対称的曲線の平均化を用いて、多重度が制御された除釈子を構成する。
• 線型系統 dH − ∑miEi の非特異性条件を SHGH 猜想に用いて、Seshadri 定数を分析する。
• 幾何的議論と Zariski 分解技術を用いて、特定の除釈子の Okounkov 体を計算する。
• 吹き出しにおける Okounkov 関数の振る舞いを解析し、不等式と極値ケースを通じて Seshadri 不変量と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 P² の s 個の一般点における一点 Seshadri 定数の有理性は、s+1 個の点における SHGH 猜想の真偽を示唆するか？
• RQ2 Okounkov 体およびその関連する順序関数は、無理数の Seshadri 定数を検出できるか？
• RQ3 点の配置（一般位置）は、Seshadri 定数の有理性にどのような影響を与えるか？
• RQ4 Newton–Okounkov 体の観点から、Seshadri 定数は Nagata 型の猜測とどのように関係するか？
• RQ5 SHGH 猜想が Seshadri 定数の有理性を示唆するのはどのような条件下か？

主な発見

• SHGH 猜想が s ≥ 9 個の一般点について成り立つならば、ある非常に一般な点における非常に一般な線束が無理数の Seshadri 定数を持つ、あるいは s+1 個の点について猜測が成立しない。
• 最大 Seshadri 定数 ε(L,1) の有理性は、Okounkov 体 ∆Y•(L) 上での順序関数 φordP の最大値の有理性と同値である。
• 9 個の一般点における blown-up 上の除釈子 22H −7(E₁+⋯+E₉) に対して、特定の領域 Ω において Okounkov 関数 ϕν(a,b) は 4/15 < a+b で上界に制限され、有理性に反する厳密な不等式を示している。
• f(δ) = (2√(s+1)−s)√(1−sδ²) + s(1−√(s+1))δ + s−2 は、s ≥ 9 に対して 1/√(s+1) < δ < 1/√s の範囲で非負であり、これが証明における主要な矛盾を導く。
• 置換による平均化を通じた対称的曲線の構成により、一般点 P における多重度が保持され、対称的配置間での Seshadri 定数の計算が可能になる。
• P₁ がフラグ直線上にない点での blown-up において、Q-除釈子 Dλ = H − λE₁ の Okounkov 体は半空間との交差によって変化するが、関連する Okounkov 関数 ϕν(a,b) = a+b は変化せず、特定の blown-up における不変性を示している。