[論文レビュー] Regularity and non-emptyness of linear systems in $\mathbb P^n$

Marcin Dumnicki|ArXiv.org|Feb 7, 2008

Algebraic Geometry and Number Theory参考文献 20被引用数 11

ひとこと要約

本稿では、一般点における指定された重複度をもつ $\mathbb{P}^n$ 内の超曲面の線型系統の正則性 ($\tau_n$) および空でない閾値 ($\alpha_n$) を評価するための新しいアルゴリズム NSglue を提案する。新たな分割定理（定理1）と被覆変換を活用することで、$\alpha_2$、$\tau_2$、$\alpha_3$、$\alpha_4$ の境界が向上し、特に準同次系において顕著な改善が得られ、$\mathbb{P}^2$ 上の複数点のセーシャドリ定数の新たな推定値が得られる。本手法は、従来の手法が処理できなかった多くのケースにおいて優れた性能を示す。

ABSTRACT

The main goal of this paper is to present a new algorithm bounding the regularity and ``alpha'' (the lowest degree of existing hypersurface) of a linear system of hypersurfaces (in $\mathbb P^n$) passing through multiple points in general position. To do the above we formulate and prove new theorem, which allows to show non-specialty of linear system by splitting it into non-special (and simpler) systems. As a result we give new bounds for multiple point Seshadri constants on $\PP^2$.

研究の動機と目的

• 一般点および指定された重複度をもつ $\mathbb{P}^n$ 内の超曲面の線型系統の正則性 ($\\tau_n$) および空でない閾値 ($\\alpha_n$) を評価する新しいアルゴリズムの開発。
• 非特異性の証明を可能にする新たな分割定理（定理1）を理論的基盤として構築し、システムをより単純な非特異成分に分解することで、非特異性の証明を可能にする。
• 特に準同次系においては従来の手法がしばしば失敗するが、$n=2,3,4$ における $\alpha_n$ および $\tau_n$ の既存の境界を向上させること。
• 被覆変換とエクルの基準を用いて、$\mathbb{P}^2$ 上の複数点のセーシャドリ定数に関する新たな定量的境界を導出する。

提案手法

• 本手法の核となるのは、新しい分割定理（定理1）であり、2つのより小さいシステム $L_1$ および $L_2$ が非特異的であり、かつその仮想次元が \\left(\operatorname{vdim}L_1+1\right)\left(\operatorname{vdim}L_2+1\right) \geq 0$ を満たす場合に、システム $\mathcal{L}_n(d;m_1,\\dots,m_r)$ が非特異的であることを保証する。
• NSglue アルゴリズムは、定理1を用いて、整合性のある次数と重複度を持つシステムを「接着」することで、より単純なシステムにおける既知の非特異性基準の適用を可能にする。
• NSsplit アルゴリズムは、複雑なシステムを次数および重複度が低い複数のより小さいシステムに分解することを試み、既知の非特異性基準を適用する可能性を高める。
• 被覆変換（例：3点の組み合わせを用いたナガタのテクニック）を用いて、負の重複度を持つシステムを簡略化し、エクルの基準を適用して空であることを証明する。
• 高次元に適応された [md] および [CMirdeg] の削減技術を組み合わせ、仮想次元および期待次元を用いて線型系統の次元を分析する。
• FreePascal にカスタムクラス（Eclass および Gclass）を実装することで、大規模なシステム群について非特異性の自動テストおよび $\alpha_n$ および $\tau_n$ の境界評価を自動化できる。

実験結果

リサーチクエスチョン

• RQ1 一般点および指定された重複度をもつ $\mathbb{P}^n$ 内の線型系統について、$\alpha_n$ および $\tau_n$ を評価する新しいアルゴリズムを開発できるか？
• RQ2 定理1を用いて、システムをより単純で非特異な成分に分解することで、非特異性を証明する方法は何か？
• RQ3 準同次系において、従来の手法と比較して $\alpha_2$、$\tau_2$、$\alpha_3$、$\alpha_4$ の境界にどの程度の改善が得られるか？
• RQ4 本手法を用いて、$\mathbb{P}^2$ 上の複数点のセーシャドリ定数の新たな下界を計算できるか？

主な発見

• システム $\mathcal{L}_2(31;22,9^{\times 4},4^{\times 3})$ について、既知の非特異性をもつ $\mathcal{L}_2(13;4^{\times 4})$ への還元により、非特異性が確認された。
• 197d - 42(21m + h) < 0$ であるとき、13回の被覆変換の系列を経て仮想次元が負となるように変換することで、$\mathcal{L}_2(d;m^{\times 21},h)$ の空であることを成功裏に証明した。
• 平方数でない $r=10,\\dots,99$ の 90 個の同次系のうち 64 個について、NSglue は予想される空でないか空であるかを確認し、従来の手法を上回った。
• 表1において、NSglue はハーブン＝ロエまたはモンセラットの手法よりも、推定値に近い $\alpha_2$ および $\tau_2$ の境界を達成しており、多くの場合で差が ±1 以内に収束している。
• 定理1とエクルの基準を組み合わせることで、$\mathbb{P}^2$ 上の複数点セーシャドリ定数の新たな境界が得られ、例11でその有効性が示された。
• グラフ的結果から、$1 \leq m \leq 150$、$10 \leq r \leq 450$ の範囲で $\tau_2$ および $\alpha_2$ について高い成功率が得られ、多くのシステムが推定値と一致する境界に到達していることが明らかになった。