多项式理想及其渐近合冲

设 $I$ 为一个多项式理想。本文研究多项式理想幂的同调移位理想的渐近行为。我们证明 $I$ 的第一个同调移位代数 $\text{HS}_1(\mathcal{R}(I))$ 作为 $I$ 的 Rees 代数 $\mathcal{R}(I)$ 上的模，由一次齐次分量生成。我们猜想 $I$ 的第 $i$ 个同调移位代数 $\text{HS}_i(\mathcal{R}(I))$ 在次数 $\le i$ 的齐次分量上生成，并在许多重要情形下验证了该猜想。我们证明 $I$ 具有第 1 个同调强持续性性质，并猜想 $\text{HS}_i(I^k)$ 的关联素理想序列 $\{\text{Ass}\,\text{HS}_i(I^k)\}_{k>0}$ 在 $k\ge i$ 时构成一个递增链。该猜想在 $i=1$ 时以及对许多多项式理想族得到了验证。最后，我们研究了分量式多项式理想，并证明若 $I$ 是分量式多项式理想，则 $\text{HS}_1(I)$ 仍是分量式多项式理想。