[論文レビュー] Linear systems with multiple base points in P2

Brian Harbourne, Joaquím Roé|ArXiv.org|Jan 12, 2001

Commutative Algebra and Its Applications参考文献 20被引用数 3

ひとこと要約

本稿は、P²における一般のn点を通り、指定された重複度を持つ曲線の次数に関する新たな上限を確立し、n ≥ 10および大きなmに対して、符号的冪のイデアルのヒルベルト関数および最小自由分解に関する長年の予想の検証を可能にする。曲線の次数dとr個の無限に近い点を持つ構成を用いた、新規の特殊化技法を用いて、著者らはm ≤ (n − 5√n)/2の範囲で予想I.1(a)を証明し、nが平方数または偶数平方数の場合、無限に多くのmに対してヒルベルト関数および分解予想を検証する。

ABSTRACT

Given positive integers $m_1, m_2, ..., m_n$, and $n$ general points $p_i$ of ${\bf CP}^2$, bounds are given for the least degree $t$ among plane curves passing through each point $p_i$ with multiplicity at least $m_i$, and for the least $t$ such that the $n$ multiple points impose independent conditions on curves of degree $t$, often improving substantially what was previously known. As an application, the Hilbert function (resp., minimal free resolution) is determined for symbolic powers $I^{(m)}$ for the ideal $I$ defining $n$ general points of ${\bf CP}^2$ for infinitely many m for each square n (resp., for infinitely many m for each even square n). Four graphs are included showing other values of m and n for which results are given.

研究の動機と目的

• n > 9の一般のn点のイデアルの符号的冪のヒルベルト関数および最小自由分解に関する長年の予想を解決すること。
• 従来の結果が小規模なn、小規模なm、または特殊なnの形（例：4や9の累乗）に依存していたのを、大規模なnおよび大規模なmに拡張すること。
• 複数の基本点を持つ線型系統の最小次数α(n;m)および正則性τ(n;m)をバウンドするための新規な手法を開発すること。
• アルゴリズム的手法により、nが平方数でない場合やmが大きな場合でも、α(n;m)およびτ(n;m)を正確に特定できる境界を提供すること。
• 広範な新しいnおよびmの族に対して、予想I.1(a)、(b)、(c)を検証すること。特に、n ≥ 10の平方数および偶数平方数に対して、それぞれ無限に多くのmに対して検証を実施する。

提案手法

• n個の一般の点のうちr個を、次数dの既約曲線C上に、無限に近い点の順序を段階的に高める形で配置する特殊化技法を導入する。
• 得られた構成を用いて、各n個の一般の点に重複度mを持つ曲線の最小次数α(n;m)を、変更版のアンローディングアルゴリズムによりバウンドする。
• 同じ特殊化フレームワークを用いて、I(n;m)の正則性τ(n;m)の上界を導出し、ヒルシュヴィッツ、ジミリアーノらの先行研究の結果を改善する。
• 境界がα(n;m)およびτ(n;m)を正確に特定する場合に、予想I.1(b)（ヒルベルト関数）およびI.1(c)（最小自由分解）を検証する。
• 多重度列m = (m₁,…,mₙ)およびパラメータd, rを入力として受け取り、α(n;m)の改善された下界およびτ(n;m)の上界を計算するアルゴリズム的手順を実装する。
• 境界が既知の理論的下界（例：m√n）と一致する場合、特定のmおよびnの範囲で予想が正当化されることを活用する。

実験結果

リサーチクエスチョン

• RQ1 n ≥ 10およびm ≥ 0のどの値に対して、P²におけるn個の一般の点のイデアルのm乗符号的冪のヒルベルト関数が、期待値 t+2 choose 2 から n × m+1 choose 2 を引いた値に等しくなるか？
• RQ2 最小自由分解I(n;m)が、α(n;m)およびその近傍のシフトを含むと予想される形に一致する条件は何か？
• RQ3 mが大きく、nが平方数でない場合に、予想された下界α(n;m) ≥ m√nが、4の累乗や小規模なmに限られていた従来の結果を超えて検証可能か？
• RQ4 次数dの曲線にr個の無限に近い点を持つ幾何的特殊化技法を用いて、正則性τ(n;m)をバウンドまたは正確に特定できるか？
• RQ5 α(n;m)およびτ(n;m)の新しい境界が、[R1]、[HHF]、[X]、[B]、[Gi]の既存の境界を上回るか一致する範囲のmおよびnは何か？

主な発見

• 予想I.1(a) — α(n;m) ≥ m√n — は、すべてのm ≤ (n − 5√n)/2およびn ≥ 10に対して検証され、mが小さいかnが4の累乗である必要があった従来の結果を顕著に拡張する。
• n ≥ 10の平方数ごとに、予想I.1(b)（ヒルベルト関数）は無限に多くのmに対して成立し、n ≥ 10の偶数平方数ごとに、予想I.1(c)（最小自由分解）は無限に多くのmに対して成立する。
• 定理I.3によるα(n;m)の新しい境界は、特定の状況で古典的境界⌊m√n⌋ + 1を上回る。n=1000、m=13の場合、標準推定値の412に対し、境界値は424に達する。
• n=190、m=100の場合、定理I.3(b)による境界τ(n;m) ≤ 1390は、[HHF]を除くすべての先行境界を上回り、[R2]、[X]、[B]、[Gi]、[C1]、[Hi1]の境界よりもきつい。
• 本手法は、大規模なmおよび非平方数nに対してα(n;m)またはτ(n;m)を正確に特定できる唯一の既知の手法であり、例II.4および系IV.1で示されたように、その有効性が裏付けられている。
• 図1～4の図的表現は、特にd = ⌊√n⌋およびr = ⌊(n + d²)/2⌋の場合に、予想が検証される(n,m)ペアの密集した複雑な集合をカバーしていることを示している。