[论文解读] Invariants of Cohen-Macaulay rings associated to their canonical ideals

Laura Ghezzi, Shirô Gotô+2 more|arXiv (Cornell University)|Jan 19, 2017

Commutative Algebra and Its Applications被引用 5

一句话总结

本文为具有典范理想（canonical ideal）的科亨-麦克唐纳（Cohen-Macaulay）局部环引入了新的不变量——典范次数、根集（roots）以及基于雷思代数（Rees algebra）的典范次数。研究证明，典范次数与典范理想的选取无关，且当且仅当环为哥罗恩斯坦（Gorenstein）时其值为零，从而将经典不变量（如类型和约化数）推广，用于度量环与哥罗恩斯坦性的偏离程度。

ABSTRACT

The purpose of this paper is to introduce new invariants of Cohen-Macaulay local rings. Our focus is the class of Cohen-Macaulay local rings that admit a canonical ideal. Attached to each such ring R with a canonical ideal C, there are integers--the type of R, the reduction number of C--that provide valuable metrics to express the deviation of R from being a Gorenstein ring. We enlarge this list with other integers--the roots of R and several canonical degrees. The latter are multiplicity based functions of the Rees algebra of C.

研究动机与目标

• 为存在典范理想的科亨-麦克唐尔局部环定义新的数值不变量，以改进类型和约化数等经典不变量。
• 通过典范理想的雷思代数导出基于多重性的典范次数作为不变量。
• 将环的根集定义为满足存在某个分式理想 L 使得 L^n ≅ C 的正整数 n 的集合，并研究其结构。
• 研究典范次数在环运算（如完备化、多项式扩张和超平面截面）下的行为。
• 探讨典范次数在高维环中的推广，并提出替代定义，包括通过关联的分次环（associated graded ring）的定义。

提出的方法

• 将典范次数 cdeg(R) 定义为对高度一素理想求和：cdeg(R) = Σ [e₀(Cₚ) − λ((R/C)ₚ)] ⋅ deg(R/p)，该定义与典范理想 C 的选取无关。
• 利用希尔伯特系数 e₀(I) 和长度函数 λ，通过高度一素理想处的局部数据计算典范次数。
• 当 C 关于某极小约化 (a) 为等多的（equimultiple）时，有 cdeg(R) = deg(C/(a)) = e₀(m, C/(a))，从而将其与标准多重性理论联系起来。
• 通过关联分次环引入典范次数 ∗：cdeg∗_C(R) = deg(gr_C(R)) − deg(R/C)，并证明当 C 为等多时，其与 cdeg(R) 相等。
• 将理论应用于单项式环，并利用 Macaulay2 在具体例子中进行计算验证。
• 定义相对典范次数 cdeg♯_C(R) = min{cdeg(R/(x))}，其中 (x) 取遍模 C 的参数系，并证明其值为零当且仅当 R 为哥罗恩斯坦。

实验结果

研究问题

• RQ1 如何定义典范次数，使其与典范理想的选取无关？
• RQ2 典范次数与类型和约化数等经典不变量之间存在何种关系？
• RQ3 典范次数能否有意义地推广至维数 ≥ 2 的环？其主要障碍是什么？
• RQ4 具有典范理想的科亨-麦克唐尔环的根集结构如何？其与类型的关联为何？
• RQ5 典范次数是否当且仅当环为哥罗恩斯坦时为零？该结论能否推广至相对情形？

主要发现

• 典范次数 cdeg(R) 是在高度一素理想上定义良好的、有限的和，且与典范理想 C 的选取无关。
• 当 C 关于某极小约化 (a) 为等多时，有 cdeg(R) = deg(C/(a)) = e₀(m, C/(a))，从而提供一个可计算的表达式。
• cdeg(R) ≥ r(R) − 1，其中 r(R) 为科亨-麦克唐尔类型，且等号成立当且仅当 R 为几乎哥罗恩斯坦（almost Gorenstein）。
• cdeg(R) = 0 当且仅当 R 为哥罗恩斯坦，从而为哥罗恩斯坦性提供了一个精确的判别准则。
• 通过关联分次环定义的典范次数 ∗ 满足：当 C 为等多时，cdeg∗_C(R) = cdeg(R)，且其与 C 的选取无关。
• 对于具有典范理想 C 的环 R，其相对典范次数 cdeg♯_C(R) 为零当且仅当 R 为哥罗恩斯坦。