[论文解读] Castelnuovo-Mumford regularity and related invariants

Ngô Viêt Trung|arXiv (Cornell University)|Jul 26, 2019

Commutative Algebra and Its Applications参考文献 18被引用 4

一句话总结

本文在标准分次代数上的分次模背景下，全面介绍了Castelnuovo-Mumford正则性及其相关不变量——弱正则性、$a^*$-不变量和部分正则性。通过局部上同调、滤正则序列和格罗布纳基，建立了等价刻画，并证明在特征零下，理想正则性与$a^*$-不变量由其关于反字典序的通用初始理想之最小生成元决定。

ABSTRACT

These notes are an introduction to some basic aspects of the Castelnuovo-Mumford regularity and related topics such as weak regularity, a*-invariant and partial regularities.

研究动机与目标

• 为交换代数与代数几何中的Castelnuovo-Mumford正则性及其相关不变量提供统一且易于理解的导论。
• 通过局部上同调、Tor/Ext模和滤正则序列，建立正则性的等价定义。
• 引入并分析弱正则性和部分正则性，作为完整正则性在计算上更易处理的替代方案。
• 利用格罗布纳基和通用初始理想，发展正则性及相关不变量的有效计算方法。
• 通过理想通用初始理想的最小生成元，刻画特征零域上多项式环中理想的正则性与$a^*$-不变量。

提出的方法

• 通过局部上同调模定义正则性：$\operatorname{reg}(M) = \max\{a_i(M) + i \mid i \geq 0\}$，其中$a_i(M)$为第$i$个局部上同调模的最高非零度数。
• 引入滤正则序列，将正则性计算简化为有限长度商模的计算，尤其适用于阿廷基环。
• 将弱正则性定义为$\operatorname{g-reg}(M) = \max\{a_i(M) + i \mid i \geq 1\}$，用于控制局部上同调在移位度数下的消失性。
• 将$a^*$-不变量定义为$a^*(M) = \max\{a_i(M) \mid i \geq 0\}$，用于捕捉未移位的局部上同调的最大度数。
• 定义部分正则性$\operatorname{reg}_t(M) = \max\{a_i(M) + i \mid i \leq t\}$与$a_t^*(M) = \max\{a_i(M) \mid i \leq t\}$，以实现对分次结构的更精细控制。
• 利用格罗布纳基技术，特别是反字典序与通用初始理想（Gin），有效计算正则性及相关不变量。

实验结果

研究问题

• RQ1 Castelnuovo-Mumford正则性的不同定义——通过分解度数、局部上同调以及Tor/Ext模——如何等价？
• RQ2 滤正则序列在何种意义上简化了分次模正则性的计算？
• RQ3 弱正则性如何提供正则性的有限判定准则？它与代数几何中的几何正则性有何关联？
• RQ4 在多项式环中，$a^*$-不变量与正则性之间的确切关系是什么？
• RQ5 在特征零下，能否从理想通用初始理想的最小生成元有效计算其正则性与$a^*$-不变量？

主要发现

• 分次模$M$的正则性等价于$\max\{b_i(M) - i \mid i = 0,\dots,s\}$，其中$b_i(M)$为第$i$个挠模生成元的最大度数。
• 在$n$个变量的多项式环中，$a^*(M) = \max\{b_i(M) - i \mid i = 0,\dots,s\} - n$，表明$a^*$是正则性的未移位版本。
• 部分正则性$\operatorname{reg}_t(M)$等于$\max\{b_i(M) - i \mid i \geq n - t\}$，对应于第$t$个挠模的正则性。
• 在特征零下，$\operatorname{reg}(I) = \max\{\deg(x^A) \mid x^A \in \operatorname{Min}(\operatorname{Gin}(I))\}$，因此正则性由通用初始理想最小生成元的最高次决定。
• 在特征零下，$a^*(I) = \max\{\deg(x^A) + m(x^A) \mid x^A \in \operatorname{Min}(\operatorname{Gin}(I))\} - n - 1$，其中$m(x^A)$为非零指数的最大下标。
• 通过商模$\tilde{J}_i / J_i$定义的不变量$c_i(I)$满足$\operatorname{reg}(R/I) = \max\{c_i(I) \mid i = 0,\dots,n\}$，且可从$\operatorname{in}(I)$的格点向量组合计算得出。