[论文解读] Normal Hilbert Polynomials : A survey

Mousumi Mandal, Shreedevi K. Masuti+1 more|arXiv (Cornell University)|May 15, 2012

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

一句话总结

这篇综述论文全面概述了局部诺特环中理想正常希尔伯特多项式的理论，重点讨论了正常希尔伯特系数，尤其是 $\overline{e}_1(I)$ 及其在解析无分支和科恩-麦克aul伊环中的性质。论文通过单项理想将这些系数与多面体的艾赫拉特多项式联系起来，并利用正规化环的科恩-麦克aul伊性质证明了正常希尔伯特系数的非负性。

ABSTRACT

We survey some of the major results about normal Hilbert polynomials of ideals. We discuss a formula due to Lipman for complete ideals in regular local rings of dimension two, theorems of Huneke, Itoh, Huckaba, Marley and Rees in Cohen-Macaulay analytically unramified local rings. We also discuss recent works of Goto-Hong-Mandal and Mandal-Singh-Verma concerning the positivity of the first coefficient of the normal Hilbert polynomial in unmixed analytically unramified local rings. Results of Moral{é}s and Villarreal linking normal Hilbert polynomial of monomial ideals with Ehrhart polynomials of polytopes are also presented.

研究动机与目标

• 系统化并总结局部诺特环中理想正常希尔伯特多项式的主要成果。
• 研究在无混合解析无分支局部环中正常希尔伯特系数（特别是 $\overline{e}_1(I)$）的行为及其非负性。
• 探索单项理想正常希尔伯特多项式与有理多面体艾赫拉特多项式之间的联系。
• 呈现并解释关于正性猜想和各种环结构下等式 $\overline{e}_1(I) = e_1(I)$ 的关键定理。
• 将利普曼、哈内克、伊藤、赫卡巴、马雷利、里斯、/goto-洪-曼德尔以及莫拉莱斯-维拉雷亚尔的研究成果统一到一份全面的综述中。

提出的方法

• 利用整闭包滤子 $\{\overline{I^n}\}$ 定义正常希尔伯特多项式 $\overline{P}_I(x)$，使其在 $n$ 足够大时与 $\lambda(R/\overline{I^n})$ 一致。
• 应用赫卡巴-马雷利定理，以关联分次环 $G(\mathcal{I})$ 的深度来界定 $e_1(\mathcal{I})$。
• 通过牛顿多面体 $Q$ 建立单项理想与有理多面体之间的双射，将 $\overline{I^n}$ 与 $nQ$ 中的格点联系起来。
• 应用艾赫拉特理论：$nS \setminus nP$ 中的格点数量给出 $\lambda(R/\overline{I^n}) = E_S(n) - E_P(n)$，其中 $S$ 和 $P$ 为多面体。
• 应用霍奇斯特定理，证明单项理想 $I$ 的正规化环 $\overline{\mathcal{R}}(I)$ 是科恩-麦克aul伊环，从而推出其关联分次环 $\overline{G}(I)$ 也是科恩-麦克aul伊环。
• 利用布里安孔-斯科达定理推导出 $\overline{I^{n+d}} \subseteq I^{n+1}$，从而保证希尔伯特级数具有非负系数。

实验结果

研究问题

• RQ1 在无混合解析无分支局部环中，正常陈数 $\overline{e}_1(I)$ 在什么条件下是非负的？
• RQ2 在科恩-麦克aul伊解析无分支局部环中，等式 $\overline{e}_1(I) = e_1(I)$ 何时对理想 $I$ 成立？
• RQ3 单项理想的正常希尔伯特系数与其关联多面体的艾赫拉特多项式有何关系？
• RQ4 正常希尔伯特多项式作为两个艾赫拉特多项式之差的几何与代数意义是什么？
• RQ5 在什么条件下，正常约化数 $\overline{r}(I)$ 不超过一或二？

主要发现

• 在多项式环 $k[x_1,\ldots,x_d]$ 中的单项理想 $I$，其正常希尔伯特多项式满足 $\overline{P}_I(n) = E_S(n) - E_P(n)$，其中 $S$ 和 $P$ 是与牛顿多面体相关联的有理多面体。
• 多项式 $\overline{P}_I(x)$ 的首项系数为 $\operatorname{vol}(S) - \operatorname{vol}(P)$，常数项为零。
• 在多项式环中的单项理想，所有正常希尔伯特系数 $\overline{e}_i(I)$（$i = 0,1,\ldots,d-1$）均为非负。
• 正常希尔伯特级数 $\overline{F}_I(t)$ 是有理函数，其分子为具有非负系数的多项式，这是由于 $\overline{G}(I)$ 的科恩-麦克aul伊性质所致。
• 系数 $\overline{e}_1(I)$ 是非负的，且当且仅当关联分次环 $\overline{G}(I)$ 的深度至少为 $d-1$ 时为零，此结论由赫卡巴-马雷利定理给出。
• 在二维正则局部环中，利普曼公式给出了 $\overline{e}_1(I)$ 的精确表达式，其与理想 $I$ 的奇异点解析的算术亏格相关。