[論文レビュー] Symbolic powers of ideals of generic points in P^3

Marcin Dumnicki|arXiv (Cornell University)|May 2, 2011

Commutative Algebra and Its Applications参考文献 5被引用数 4

ひとこと要約

本稿は、$\mathbb{P}^3$ 内の一般点のイデアルおよび $\mathbb{P}^N$ 内の最大 $N+1$ 個の一般点のイデアルについて、ハーブーン＝フーンケの予想を証明し、すべての $r \geq 1$ に対して $I^{(Nr)} \subset M^{(N-1)r}I^r$ を示している。その結果、$\mathbb{P}^3$ 内の一般点について、シュードノフスキーの予想が成り立ち、ワルドシュミット定数 $\gamma(I)$ の明示的な下界が得られる。証明は、基本的点への還元に用いられるクレモナ変換と単項イデアルの技法を用いている。

ABSTRACT

B. Harbourne and C. Huneke conjectured that for any ideal $I$ of fat points in $P^N$ its $r$-th symbolic power $I^{(r)}$ should be contained in $M^{(N-1)r}I^r$, where $M$ denotes the homogeneous maximal ideal in the ring of coordinates of $P^N$. We show that this conjecture holds for the ideal of any number of simple (not fat) points in general position in $P^3$ and for at most $N+1$ simple points in general position in $P^N$. As a corollary we give a positive answer to Chudnovsky Conjecture in the case of generic points in $P^3$.

研究の動機と目的

• $\mathbb{P}^3$ 内の一般点のイデアルおよび $\mathbb{P}^N$ 内の最大 $N+1$ 個の一般点のイデアルについて、ハーブーン＝フーンケの予想を検証すること。
• 一般点のイデアルの符号的冪について、包含関係 $I^{(Nr)} \subset M^{(N-1)r}I^r$ を確立すること。
• $\mathbb{P}^3$ 内の一般点について、シュードノフスキーの予想に肯定的な答えを与えること。
• $\mathbb{P}^3$ 内の一般点のイデアルのワルドシュミット定数 $\gamma(I)$ の下界を計算すること。

提案手法

• 異なる次数および重複度の線型系を関係付けるためにクレモナ変換を用いる。
• 線型自己同型を用いて、一般の配置を基本的点に還元する。
• 単項式の次数制約を用いて、符号的冪 $I^{(m)}$ を単項式イデアルとして明示的に記述する。
• 包含関係を証明するために、$x^{(a_0,\dots,a_N)} = y \cdot z$ の因子分解を構成し、$y \in I^r$ かつ $\deg(z) \geq (N-1)r$ となるようにする。
• ワルドシュミット定数の極限定義 $\gamma(I) = \lim_{m \to \infty} \alpha(I^{(m)})/m$ を応用して、下界を導出する。
• 単項式イデアルの交差性質を用いる：$I \cap J = \text{span of monomials in } I \cap J$。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{P}^3$ 内の一般点のイデアルについて、ハーブーン＝フーンケの予想 $I^{(Nr)} \subset M^{(N-1)r}I^r$ は成り立つか？
• RQ2 この予想は、$\mathbb{P}^N$ 内の最大 $N+1$ 個の一般点に拡張可能か？
• RQ3 $\mathbb{P}^3$ 内の一般点について、シュードノフスキーの予想 $\alpha(I^{(m)}) \geq m(\alpha(I) + N - 1)/N$ は成り立つか？
• RQ4 $\mathbb{P}^3$ 内の一般点のイデアルのワルドシュミット定数 $\gamma(I)$ の有効な下界は何か？
• RQ5 一般点のイデアルの符号的冪は、どのように単項式基底を用いて記述できるか？

主な発見

• $\mathbb{P}^3$ 内の任意の数の一般点について、ハーブーン＝フーンケの予想が成り立つ。$r \geq 1$ に対してすべての $I^{(3r)} \subset M^{2r}I^r$ が成り立つ。
• $\mathbb{P}^N$ 内の最大 $N+1$ 個の一般点についても、同様に予想が成り立つ。$I^{(Nr)} \subset M^{(N-1)r}I^r$ が成り立つ。
• $\mathbb{P}^3$ 内の一般点について、シュードノフスキーの予想が確認され、$s \geq 5$ の $s$ 個の点について $\gamma(I) \geq \frac{s+1}{3}$ が成り立つ。
• $\mathbb{P}^3$ 内の $s \geq 8$ 個の一般点について $\gamma(I) \geq 2$；$s=5$ の場合 $\gamma(I) \geq \frac{5}{3}$。
• ワルドシュミット定数は、$\gamma(I) \geq \gamma(I(1^{\times n}))$ を満たし、$\gamma(I^{(r)}) = r\gamma(I)$ が成り立つ。
• 基本的点のイデアルの符号的冪 $I^{(m)}$ は、$\sum a_j = t$ かつ $k=0,\dots,n-1$ に対して $a_k \leq t - m$ を満たす単項式 $x^{(a_0,\dots,a_N)}$ によって生成される。