[論文レビュー] Comparing powers and symbolic powers of ideals

Cristiano Bocci, Brian Harbourne|ArXiv.org|Jun 25, 2007

Commutative Algebra and Its Applications参考文献 22被引用数 7

ひとこと要約

この論文は、多項式環における斉次イデアルの記号的べきと通常のべきを比較するために、再発不変量 ρ(I) を導入し、その分析を行う。α(I)、reg(I)、γ(I) などの不変量を活用することで、I^{(m)} ⊆ I^r が成り立つ構造的条件を確立し、一般の点配置に対して ℙ² で I^{(3)} ⊆ I² が成り立つことを証明するとともに、[ELS] および [HH1] の包含関係の上限が最適であることを示している。本研究は、ρ(I) > 1 を満たす非単項式イデアルについて、ρ(I) の正確な計算を初めて行っている。

ABSTRACT

We develop tools to study the problem of containment of symbolic powers $I^{(m)}$ in powers $I^r$ for a homogeneous ideal $I$ in a polynomial ring $k[{\bf P}^N]$ in $N+1$ variables over an algebraically closed field $k$. We obtain results on the structure of the set of pairs $(r,m)$ such that $I^{(m)}\subseteq I^r$. As corollaries, we show that $I^2$ contains $I^{(3)}$ whenever $S$ is a finite generic set of points in ${\bf P}^2$ (thereby giving a partial answer to a question of Huneke), and we show that the containment theorems of Ein-Lazarsfeld-Smith and Hochster-Huneke are optimal for every fixed dimension and codimension.

研究の動機と目的

• 多項式環における斉次イデアルについて、I^{(m)} ⊆ I^r の包含問題を理解すること。
• 記号的べきが通常のべきに含まれるようなペア (r, m) の集合の構造を分析すること。
• 再発 ρ(I) = sup{m/r : I^{(m)} ⊈ I^r} を決定し、幾何学的および代数的不変量を用いて境界を確立すること。
• Huneke が提起した、ℙ² における任意の有限個の点に対して I^{(3)} ⊆ I² が成り立つかどうかという問いを解決し、一般の配置では成り立つことを示すこと。
• [ELS] および [HH1] で得られた ρ(I) の上界が、すべての次元および余次元において最適であることを証明すること。

提案手法

• I^{(m)} が I^r に含まれないような m/r の比の上限として再発 ρ(I) を定義する。
• Seshadri 定数に類似した不変量 γ(I) を導入し、再発の下界および上界を評価する。
• 正則性 reg(I) および初期次数 α(I) を用いて、I^{(m)} ⊆ I^r が成り立つ十分条件を導出する。
• 予想的基準（例：補題 2.3.4）を適用し、α(I^{(m)}) にかかわる次数比較に包含関係を還元する。
• Seshadri 定数および幾何的制約（例：Bézout の定理からのもの）を活用して、α(I^{(m)}) を推定する。
• 大規模な t に対する漸近的解析を用い、特定の比の条件下で、すべての十分に大きな t に対して I^{(mt)} ⊆ I^{rt} が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 k[ℙ^N] における斉次イデアル I に対して、どのペア (r, m) について I^{(m)} ⊆ I^r が成り立つか。
• RQ2 Huneke が提起した問い、すなわち ℙ² における任意の有限個の点に対して I^{(3)} ⊆ I^2 が成り立つかどうか。
• RQ3 ρ(I) > 1 を満たす非単項式イデアルについて、再発 ρ(I) の正確な値は何か。
• RQ4 [ELS] および [HH1] で得られた ρ(I) ≤ N の上界が、すべての次元および余次元において最適であるか。
• RQ5 ℙ² における一般の点配置について、再発 ρ(I) を明示的に計算できるか。

主な発見

• ℙ² における任意の有限で一般の点集合 S に対して、包含関係 I^{(3)} ⊆ I² が成り立つ。これは Huneke の問いに対する部分的な肯定的解答である。
• I が零次元的部分スキームを定めるとき、α(I)/γ(I) ≤ ρ(I) ≤ reg(I)/γ(I) が成り立つ。
• 本研究は、ρ(I) > 1 を満たす非単項式イデアルについて、ρ(I) の正確な値を初めて計算しており、例えば、放物線上の 5 点に対して ρ(S₅) = 6/5 が得られている。
• ℙ² において n ≥ 10 個の一般の点に対しては、m/r ≥ 3/2 ならば I^{(m)} ⊆ I^r が成り立ち、この境界は最適である。
• [ELS] および [HH1] で得られた ρ(I) の上界が最適であることが示されており、任意の N に対して ρ(I) = N を満たす例を構成することで確認されている。
• 本論文は、ℙ² において s 条の一般の直線の対称的交点 s²/2 個の点からなるイデアル I に対して、s > 4 のとき I^4 が I^{(6)} を含まないことを示している。