[论文解读] 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$ 个一般点的理想，其符号幂的 Harbourne–Huneke 猜想，表明对所有 $r \geq 1$，有 $I^{(Nr)} \subset M^{(N-1)r}I^r$。作为推论，Chudnovsky 猜想在 $\mathbb{P}^3$ 中的一般点上成立，且给出了 Waldschmidt 常数 $\gamma(I)$ 的显式下界。证明方法使用了 Cremona 变换和基本点上的单项式理想技巧。

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$ 中一般点的理想以及至多 $N+1$ 个一般点在 $\mathbb{P}^N$ 中的理想满足 Harbourne–Huneke 猜想。
• 建立一般点理想符号幂的包含关系 $I^{(Nr)} \subset M^{(N-1)r}I^r$。
• 为 $\mathbb{P}^3$ 中一般点提供 Chudnovsky 猜想的肯定答案。
• 计算 $\mathbb{P}^3$ 中一般点理想 Waldschmidt 常数 $\gamma(I)$ 的下界。

提出的方法

• 利用 Cremona 变换关联不同次数和重数的线性系统。
• 通过线性自同构将一般点的配置约化为基本点。
• 通过单项式次数约束，显式描述符号幂 $I^{(m)}$ 为单项式理想。
• 构造分解 $x^{(a_0,\dots,a_N)} = y \cdot z$，其中 $y \in I^r$ 且 $\deg(z) \geq (N-1)r$，以证明包含关系。
• 应用 Waldschmidt 常数的极限定义 $\gamma(I) = \lim_{m \to \infty} \alpha(I^{(m)})/m$ 推导下界。
• 利用单项式理想的交集性质：$I \cap J = \text{span of monomials in } I \cap J$。

实验结果

研究问题

• RQ1 Harbourne–Huneke 猜想 $I^{(Nr)} \subset M^{(N-1)r}I^r$ 是否对 $\mathbb{P}^3$ 中一般点的理想成立？
• RQ2 该猜想能否推广至 $\mathbb{P}^N$ 中至多 $N+1$ 个一般点？
• RQ3 Chudnovsky 猜想 $\alpha(I^{(m)}) \geq m(\alpha(I) + N - 1)/N$ 是否对 $\mathbb{P}^3$ 中一般点成立？
• RQ4 $\mathbb{P}^3$ 中一般点理想 Waldschmidt 常数 $\gamma(I)$ 的有效下界是什么？
• RQ5 如何利用单项式基描述一般点理想符号幂的结构？

主要发现

• 对于 $\mathbb{P}^3$ 中任意数量的一般点，Harbourne–Huneke 猜想成立，且对所有 $r \geq 1$ 有 $I^{(3r)} \subset M^{2r}I^r$。
• 该猜想对 $\mathbb{P}^N$ 中至多 $N+1$ 个一般点也成立，且有 $I^{(Nr)} \subset M^{(N-1)r}I^r$。
• Chudnovsky 猜想在 $\mathbb{P}^3$ 中的一般点上被证实，且对 $s$ 个点（$s \geq 5$）有 $\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}$。
• Waldschmidt 常数满足 $\gamma(I) \geq \gamma(I(1^{\times n}))$（$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)}$ 生成。