$P^{n-1}$ 中 $n$ 个一般点的理想的符号幂
Symbolic powers of the ideal of$n$ general points in $P^{n-1}$
浏览论文内容
中文总结 AI 辅助
本文完全解决了射影空间中一般点理想普通幂与符号幂的 Hilbert 级数差问题，给出闭式公式、极小生成元及包含阈值，并推广到 n+1 个点情形，提出并验证了 Waldschmidt 常数公式。
中文摘要 AI 辅助
Fröberg--Lundqvist--Oneto--Shapiro 的问题 L 询问射影空间中一般点的理想的普通幂与符号幂的 Hilbert 级数之差。我们完全解决了 $\PP^{n-1}$ 中 $n$ 个一般点的情形。除了给出 $\HS(S/I^m)-\HS(S/I^{(m)})$ 的闭式公式外，我们还确定了 $I^{(m)}$ 的所有极小单项式生成元，并描述了符号 Rees 代数。我们还证明了包含关系 $I^{(m)}\subseteq I^r$ 仅由初始次数决定。这给出了精确的包含阈值、Waldschmidt 常数 $\walpha$、复兴数 $\Res$ 和渐近复兴数 $\aRes$：$\walpha(I)=\frac{n}{n-1}$，$\Res(I)=\aRes(I)=\frac{2(n-1)}{n}$。我们还迈出了超越 $n$ 个点的第一步：对于 $\PP^{n-1}$ 中 $n+1$ 个一般点——同样是一个刚性、非单项式构型——我们确定了定义二次曲面，完全解决了 $n=3$ 的情形（一个完全交集，对所有 $m$ 有 $J^{(m)}=J^m$ 且复兴数为 1），并对所有 $n$ 提出了精确的 Waldschmidt 常数公式 $\walpha=\frac{n+1}{n-1}$，在我们能检查的每种情况下都通过计算验证了该公式。
英文摘要
Problem L of Fröberg--Lundqvist--Oneto--Shapiro asks for the difference between the Hilbert series of ordinary and symbolic powers of the ideal of general points in projective space. We solve this completely for \(n\) general points of \(\PP^{n-1}\). Besides a closed formula for \[ \HS(S/I^m)-\HS(S/I^{(m)}), \] we determine all minimal monomial generators of \(I^{(m)}\), and describe the symbolic Rees algebra. We also show that containment \(I^{(m)}\subseteq I^r\) is detected solely by initial degrees. This gives the exact containment threshold, the Waldschmidt constant \(\walpha\), the resurgence \(\Res\), and the asymptotic resurgence \(\aRes\): \[ \walpha(I)=\frac{n}{n-1}, \qquad \Res(I)=\aRes(I)=\frac{2(n-1)}{n}. \] We also take the first step beyond \(n\) points: for \(n+1\) general points of \(\PP^{n-1}\) --- again a rigid, non-monomial configuration --- we identify the defining quadrics, resolve the case \(n=3\) completely (a complete intersection, with \(J^{(m)}=J^m\) for all \(m\) and resurgence \(1\)), and propose an exact Waldschmidt-constant formula \(\walpha=\frac{n+1}{n-1}\) for all \(n\), verified computationally in every case we could check.
