[論文レビュー] Containment results for ideals of various configurations of points in P^N

Cristiano Bocci, Susan Cooper+1 more|arXiv (Cornell University)|Sep 9, 2011

Commutative Algebra and Its Applications参考文献 15被引用数 14

ひとこと要約

この論文は、射影空間における点のイデアルの記号的冪の包含関係に関する新しい予想（予想3.9）を提示し、それを検証する。これは、HarbourneとHunekeによる最近の予想を拡張するものであり、Seshadri定数と正則性推定値を用いた記号的冪および通常の冪の境界を介して、$ℝ^N$ 内のさまざまな点配置（一般および特殊な点配置を含む）に対してその予想を証明する。

ABSTRACT

Guided by evidence coming from a few key examples and attempting to unify previous work of Chudnovsky, Esnault-Viehweg, Eisenbud-Mazur, Ein-Lazarsfeld-Smith, Hochster-Huneke and Bocci-Harbourne, Harbourne and Huneke recently formulated a series of conjectures that relate symbolic and regular powers of ideals of fat points in ${\bf P}^N$. In this paper we propose another conjecture along the same lines (Conjecture 3.9), and we verify it and the conjectures of Harbourne and Huneke for a variety of configurations of points.

研究の動機と目的

• $ℝ^N$ 内の重み付き点のイデアルの記号的冪と通常の冪の関係に関する最近の予想を拡張・統合すること。
• 点のイデアルに対して、記号的冪が最大イデアル冪と通常の冪の積に含まれる形式の新しい予想（予想3.9）を提示すること。
• さまざまな$ℝ^N$ 内の点配置について、新しい予想および既存の予想（例：Harbourne-Huneke予想）を検証すること。
• 特徴0におけるSeshadri定数とCastelnuovo-Mumford正則性を用いて、既知の包含関係を強化すること。
• 一般および特殊な点集合（直線数配置を含む）の分析を通じて、理論的および計算的証拠を提供すること。

提案手法

• $ℝ^N$ 内の点のイデアルに対して、形式 $I^{(t(m+1))} \subseteq M^t (I^{(m)})^t$ の新しい包含予想（予想3.9）を提示する。
• 一般点に対して、$\varepsilon(n) \geq 1/\sqrt{n+1}$ というSeshadri定数の境界を用いて、$\alpha(I^{(m)})$ および $\operatorname{reg}(I^{(m)})$ を評価する。
• 正則性の境界を適用する：$ℝ^2$ 内の $n > 9$ 個の一般点に対して、$\operatorname{reg}(I^{(m)}) \leq (m+1)\sqrt{n+1} - 2$。
• Lemma 2.6 を活用する。この補題は、$\alpha(J) > t \cdot \operatorname{reg}(I) + t$ ならば $J \subseteq M^t I^t$ であると述べている。
• Lemma 2.4 における不等式 $\alpha(I^{(r)}) \geq \alpha(I^{(m)}) + r - m$ を用いて、記号的冪の次数を比較する。
• 既知の結果を適用する：特徴0において、$I^{(Nt + (m-1)t)} \subseteq (I^{(m)})^t$ および $I^{(Nt + (m-1)t + s)} \subseteq M^s (I^{(m)})^t$ が成り立つ。

実験結果

リサーチクエスチョン

• RQ1 一般点のイデアルについて、$ℝ^2$ 内で新しい予想 $I^{(t(m+1))} \subseteq M^t (I^{(m)})^t$ が成り立つかどうか。
• RQ2 既知の例を超えた点配置について、Harbourne-Huneke予想を検証できるか。
• RQ3 $n$ 個の一般点のイデアルについて、$\alpha(I^{(m)})$ の鋭い下界は何か。
• RQ4 Seshadri定数とCastelnuovo-Mumford正則性は、記号的冪の包含関係をどのように制約するか。
• RQ5 特徴0において、$I^{(t(N+m-1)+s)} \subseteq M^s (I^{(m)})^t$ が成り立つ条件は何か。

主な発見

• Seshadri定数と正則性の境界を用いて、$n \geq 10$ 個の一般点と $ℝ^2$ 内で $1 \leq m \leq \sqrt{n+1} - 1$ の場合、予想3.9が検証された。
• 16個以上の一般点について、$\alpha(I^{(t(m+1))}) \geq t(m+1)\sqrt{n}$ および $\operatorname{reg}(I^{(m)}) \leq (m+1)\sqrt{n+1} - 2$ により、$I^{(t(m+1))} \subseteq M^t (I^{(m)})^t$ が成り立つ。
• 特徴0において、すべての $s,t,m \geq 1$ に対して $I^{(t(N+m-1)+s)} \subseteq M^s (I^{(m)})^t$ が成り立ち、既知の包含関係を強化する。
• $\alpha(I^{(m)}) \geq m$ は、$\alpha(I^{(m)})/m \geq 1$ を保証するのに十分であり、予想される下界 $\alpha(I^{(m)})/m \geq (\alpha(I) + N - 1)/N$ を支持する。
• $n > 9$ で平方数でない場合、$\operatorname{reg}(I^{(m)}) \leq (m+1)\sqrt{n+1} - 2$ が成り立つ。これにより、Lemma 2.6 を用いた包含関係の検証が可能になる。
• 特徴0において、第二著者の別個の研究に基づき、$ℝ^2$ 内の直線数配置について予想3.5が検証された。