[論文レビュー] Computing multi-point Seshadri constants on P2

Brian Harbourne, Joaquím Roé|ArXiv.org|Sep 4, 2003

Algebraic Geometry and Number Theory参考文献 14被引用数 8

ひとこと要約

本稿では、交線論と有効除援制約を用いて異常曲線を除外することで、任意の高い精度で射影平面 𝔓² 上の多点Seshadri定数を推定する計算的手法を提示する。主な貢献は、n個の一般点における 𝔓² の吹き上げにおける交線形式を用いた体系的なアプローチであり、特にnが平方数でない場合に、ε(n) の改善された下界を導く。n = 10 から 99 までの明示的な下界が提供されている。

ABSTRACT

Working over the complex field and formalizing and sharpening approaches introduced by several authors, we give a method for verifying when a divisor on a blow up of P^2 at general points is nef. The method is useful both theoretically and when doing computer computations. The main application is to obtain significantly improved explicit lower bounds for multipoint Seshadri constants on P^2.

研究の動機と目的

• 射影平面 𝔓² におけるn個の一般点に対して、多点Seshadri定数 ε(n) のより高い精度の下界を計算するための手法を開発すること。
• 特にnが平方数でない場合に、非自明な下界を得ることが長年の課題であることを扱うこと。
• 繰り返し改良可能な体系的な計算フレームワークを提供し、予想される値 1/√n に限りなく近づけること。
• 実際に下界の精度を制限する可能性のある異常曲線クラスを同定し、除外すること。
• 交線論的基準と有効除援検出アルゴリズムを組み合わせることで、既存のε(n)の境界を拡張・改善すること。

提案手法

• n個の一般点における吹き上げ π: X → 𝔓² を用い、除援類群はL（直線の引き戻し）とE₁,…,Eₙ（特異除援）で生成され、負定値の交線形式を備える。
• F(δ) = √(n+δ)L − ∑Eᵢ と定義し、曲線類 [C] = dL − ∑mᵢEᵢ が F(δ)·[C] < 0 を満たすとき、F(δ)-異常と呼ぶ。F(0)-異常クラスは古典的な異常曲線である。
• 本手法は定理1.1に依拠しており、α(mⁿ) ≥ m√n がすべての 1 ≤ m < μ に対して成り立つならば、ε(n) > (1/√n)√(1 − 1/((n−2)μ)) が成り立つ。ここで α(mⁿ) は、n個の一般点の各点で位数mで消える形式の最小次数を表す。
• 候補となる曲線類 C(t,m,k) が有効でないかを [HR1] のアルゴリズムでテストし、もしそうでなければ異常である可能性を除外でき、結果として下界が向上する。
• k=0 のクラス C(t,m,0) に焦点を当てる。k≠0 の場合の制約ははるかに厳しく、発生確率が低い。F(δ)·C(t,m,k) = 0 の条件を用いて、重要な候補を同定する。
• 計算ツールを用いて繰り返しこれらのクラスをテスト・除外することで、Nagataの予想が成り立つものと仮定すれば、1/√n に限りなく近づける。

実験結果

リサーチクエスチョン

• RQ1 n が平方数でない場合に、射影平面 𝔓² 上の多点Seshadri定数 ε(n) の体系的な計算により、精度を高めていく下界を求める手法は可能か？
• RQ2 ε(n) の下界を制限する可能性のある異常曲線の存在を除外するための基準は何か？
• RQ3 交線論的制約と有効除援検出アルゴリズムをどのように組み合わせて、ε(n) の既知の境界を改善できるか？
• RQ4 この手法はどの程度自動化され、1/√n に限りなく近づけるようにスケーリングできるか？
• RQ5 与えられた曲線類 C(t,m,k) が有効で、かつ既約・非特異な除援の類でないことを確認するための効果的な計算戦略はあるか？

主な発見

• n = 10 の場合、本手法により ε(10) ≥ 177/560 = (1/√10)√(1 − 1/10e(177,56,0)) が得られ、e(177,56,0) = 1011.61 であるため、非常にタイトな推定である。
• 本稿では、10 ≤ n ≤ 99 における f(n) の現在最も良い既知の値を提供しており、ε(n) ≥ (1/√n)√(1 − 1/f(n)) と表され、f(n) は小数第2位まで切り捨てられている。
• n = 19, 22 および n−1 が平方数である n > 10 の場合、境界は過去の研究によるが、本手法はそれらを再現し、他のnに対しても拡張可能である。
• n = 41 の場合、f(41) = 1025 は [H] に帰属するが、本手法はそれを確認するが、改善はしていない。
• アルゴリズムは、現在の有効除援テストでは除外できない候補クラス C(t,m,0) を同定しており、これらは各nについての改善の限界を表している。
• すべてのリストアップされたケースで k = 0 であることが示されており、非ゼロkのクラスは現在の境界において無視できるほど小さい。したがって、本手法の精度は計算の可能性にのみ制限されている。