某些单项理想的符号幂与通常幂之间包含关系的初等方法

本注记旨在为Ein--Lazarsfeld--Smith \cite{ELS} 与 Hochster--Huneke \cite{HH} 关于简单情形下理想的符号幂与通常幂之间包含关系的惊人结果寻找一种初等的解释。自那时起这一研究方向非常活跃，参见例如 \cites{BC,HaH,DST} 及其中的参考文献，目前该主题的文献已相当广泛。所谓“初等”，我们指的是除其他外不使用奇点消解与乘子理想也不使用紧闭包方法的论证。让我们快速回顾该陈述 \cite{ELS}：设 $X$ 为维数 $n$ 的光滑射影簇， $S \subseteq O_X$ 为非零根式理想层，其零概型 $Z\subseteq X$；若 $Z$ 的每个不可约分支的余维数至少为 $e$，则对所有 $m\geq 1$ 有 $$S^{(me)}_Z \subseteq S^m_Z$$。我们的目标是在射影空间中点的情况（如 \cite{PAGII}*{Example 11.3.5} 所问）下重新证明此断言，而不求助于代数几何的深方法。我们不直接处理射影空间的子集，而是聚焦于其上的仿射锥；因此我们的目标变为理解过原点的直线集合的符号幂与通常幂理想。我们最终将一般情形归约为对理想 $$I_{2,n} =(x_ix_j\mid 1\leq i<j\leq n) \subseteq k[x_1,\dots,x_n]$$ 的研究，该理想定义了 $\AA^n_{k}$ 中坐标轴的并。我们在任意域 $k$ 上工作。我们的主要结果如下。设 $\Sigma\subseteq P^{n-1}$ 为不包含于一个超平面中的 $n$ 个点的集合。则对所有正整数 $m$ 有 $$S_{\Sigma}^{(\lceil (2-\frac{2}{n})m \rceil) } \subseteq S^m_{\Sigma}$$。若 $n=3$，则同样的陈述对处于任意位置的三个不同点成立。