[论文解读] On the structure of the fiber cone of ideals with analytic spread one

Teresa Cortadellas, Santiago Zarzuela|ArXiv.org|Mar 2, 2006

Commutative Algebra and Its Applications参考文献 21被引用 3

一句话总结

本文研究诺特局部环中解析维数为一的理想的纤维锥，借助其诺特正规化（即多项式环）上的模结构，完全刻画了纤维锥的性质。主要贡献在于对纤维锥作为模的完整代数描述，从而可基于理想本身的性质显式计算其不变量，如多重性、约化数、Castelnuovo-Mumford正则性，以及科恩-麦克aul伊与格伦斯坦性质。

ABSTRACT

Foa a given local ring, we study the fiber cone of ideals with analytic spread one. In this case, the fiber cone has a strucure as a module over its Noether normalization which is a polynomial ring in one variable over the residue field. One may then apply the structure theorem for graded modules over a graded principal domain to get a complete descriptionof the fiber cone as a module. We analyze this structure in order to study and characterize in terms of the ideal itself the aritmetical properties and other numerical invariants of the fiber cone as multiplicity, reduction number or Castelnuovo-Mumford regularity.

研究动机与目标

• 理解诺特局部环中解析维数为一的理想之纤维锥的结构。
• 利用理想内在性质，刻画纤维锥的算术与数值不变量，如多重性、约化数与Castelnuovo-Mumford正则性。
• 基于理想理论数据，确定纤维锥为科恩-麦克aul伊、格伦斯坦或布赫斯鲍姆的条件。
• 提供纤维锥在其诺特正规化（一个变量的多项式环）上的完整模理论描述。

提出的方法

• 利用主理想环上有限生成分次模的结构定理，将纤维锥描述为在其诺特正规化（即剩余域上一个变量的多项式环）上的模。
• 应用分次模分解分析纤维锥的不变量，包括Hilbert函数、多重性与约化数。
• 利用同构 $ F(I) \to F(I)/(a_1^0, \dots, a_{l-1}^0) $ 将问题约化至解析维数为一的情形。
• 利用等式 $ \lambda(I^2 / JI) = 1 $ 作为 $ \mathfrak{m} $-主理想科恩-麦克aul伊性的关键条件。
• 应用公式 $ \sum_{i=0}^{d} (-1)^i \binom{d}{i} \mu(I^{n+1-i}) = 1 $ 在特定条件下刻画纤维锥的Hilbert函数。
• 利用同构 $ I_{l-1}^n / (\mathfrak{m}_{l-1} I_{l-1}^n + a_l I_{l-1}^{n-1}) \cong I^n / (\mathfrak{m} I^n + J I^{n-1}) $ 将纤维锥的结构与理想的最小生成元联系起来。

实验结果

研究问题

• RQ1 在何种条件下，解析维数为一的理想 $ I $ 的纤维锥 $ F(I) $ 为科恩-麦克aul伊？
• RQ2 如何从理想 $ I $ 计算 $ F(I) $ 的Castelnuovo-Mumford正则性？
• RQ3 纤维锥的多重性与 $ I $ 的幂的生成元个数之间的确切关系为何？
• RQ4 能否完全由 $ I $ 的不变量确定 $ F(I) $ 的约化数与Hilbert函数？
• RQ5 在何种条件下 $ F(I) $ 为格伦斯坦或布赫斯鲍姆？这些性质如何从 $ I $ 中检测？

主要发现

• 当 $ \lambda(I^2 / JI) = 1 $ 时，纤维锥 $ F(I) $ 为科恩-麦克aul伊当且仅当 $ \mathfrak{m}I^2 = J\mathfrak{m}I $，其中 $ J $ 是 $ I $ 的极小约化。
• 当 $ \lambda(I^2 / JI) = 1 $ 时，若 $ F(I) $ 为科恩-麦克aul伊，则对所有 $ 1 \leq n \leq r(I) - 1 $，有 $ \sum_{i=0}^{d} (-1)^i \binom{d}{i} \mu(I^{n+1-i}) = 1 $。
• 纤维锥 $ F(I) $ 的Castelnuovo-Mumford正则性等于约化数 $ r(I) $，即 $ \mathrm{reg}(F(I)) = r(I) $。
• 纤维锥的多重性为 $ e(F(I)) = \sum_{i=0}^{l-1} \binom{l-1}{i} \mu(I^{r-i}) $，其中 $ l $ 为解析维数，$ r $ 为约化数。
• 纤维锥 $ F(I) $ 为科恩-麦克aul伊当且仅当对所有 $ 1 \leq n \leq r(I) $，有 $ \lambda(I^n / (\mathfrak{m}I^n + JI^{n-1})) = \sum_{i=0}^{l} (-1)^i \binom{l}{i} \mu(I^{n-i}) $。
• 纤维锥作为其诺特正规化上模的结构，使得其不变量可完全从理想 $ I $ 重建，尤其在解析维数为一的情形下。