[论文解读] Containment problem for points on a reducible conic in $\mathbb{P}^2$

Annika Denkert, Mike Janssen|arXiv (Cornell University)|Jul 31, 2012

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

一句话总结

本文解决了在ℙ²中可约圆锥（一对直线）上定义的两类特殊点构型——近乎完备交与近乎共线子概形——的符号幂与普通幂的理想包含问题。通过代数几何与理想理论技术，本文对所有满足 I^{(m)} ⊆ I^r 的 m 与 r 给出了完整刻画，结果依点的分布而异，提供了明确的界限并解决了这些情形下关于再生率与包含关系的开放问题。

ABSTRACT

Given an ideal $I$ in a Noetherian ring, one can ask the containment question: for which $m$ and $r$ is the symbolic power $I^{(m)}$ contained in the ordinary power $I^r$? C. Bocci and B. Harbourne study the containment question in a geometric setting, where the ideal $I$ is in a polynomial ring over a field. Like them, we will consider special geometric constructs. In particular, we obtain a complete solution in two extreme cases of ideals of points on a pair of lines in $\mathbb{P}^2$; in one case, the number of points on each line is the same, while in the other all the points but one are on one of the lines.

研究动机与目标

• 解决在ℙ²中可约圆锥上定义的齐次理想的包含问题 I^{(m)} ⊆ I^r。
• 计算两种极端构型的再生率 ρ(I)：近乎完备交与近乎共线子概形。
• 回答 [HH1, BCH] 中关于非光滑圆锥情形下符号幂与普通幂包含关系的开放问题。
• 对这些特定点构型，完整刻画所有满足 I^{(m)} ⊆ I^r 的 m 与 r。

提出的方法

• 作者分析了定义零维子概形 Z 的根理想 I 的结构，其中 Z 是一个完备交与一个额外点的并集。
• 他们利用 Z 在两条直线上的几何分解，特别关注交点与共线点。
• 该方法涉及多项式环中形式的因式分解，并通过分析每一点的消去阶来确定其是否属于符号幂与普通幂。
• 他们应用了乘子理想与符号幂理论的技术，特别是利用 [ELS, HH2] 中的包含关系 I^{(rN)} ⊆ I^r 作为一般性界。
• 对每种构型，他们推导出关于次数与指数的不等式，以确定当 H ∈ I^{(m)} 时是否蕴含 H ∈ I^r，使用形式的递归因式分解。
• 通过将齐次形式构造为在相关点处阶为 m 的形式的乘积，证明包含关系，从而表明其属于 M^t (I^{(m)})^t。

实验结果

研究问题

• RQ1 对于ℙ²中两条直线上 2n+1 个点的近乎完备交，哪些 m 与 r 满足 I^{(m)} ⊆ I^r？
• RQ2 对于 n+1 个点的近乎共线子概形（其中 n 个共线，一个在直线外），满足 I^{(m)} ⊆ I^r 的所有 m 与 r 的完整集合是什么？
• RQ3 这两种构型的再生率 ρ(I) 是多少？它如何依赖于点的数量？
• RQ4 这些构型的理想是否对所有 m ≥ r 满足 I^{(m)} ⊆ I^r，还是存在例外？
• RQ5 结果能否肯定回答 [HH1, BCH] 中关于可约圆锥情形下符号幂包含关系的开放问题？

主要发现

• 对于 n > 1 的近乎完备交，I^{(m)} ⊆ I^r 当且仅当 m ≥ r，其行为与完备交一致。
• 对于 n ≥ 3 的近乎共线子概形，I^{(m)} ⊆ I^r 依赖于 n：当 m ≥ r 且 r ≥ n 时成立，但当 r < n 时对某些 m < r 的情形会失败。
• 近乎完备交的再生率 ρ(I) 恰好为 1，表明其具有最优的包含行为。
• 对于 n ≥ 3 的近乎共线子概形，再生率 ρ(I) 为 n，显示出对共线点数量的强依赖性。
• 本文确认了在近乎共线情形下 I^{(t(m+1)−1)} ⊆ M^{t−1}(I^{(m)})^t 成立，提供了紧致的包含界。
• 结果肯定地解决了 [HH1, BCH] 中关于非光滑圆锥构型下符号幂包含关系的开放问题。