[论文解读] Characteristic-free bounds for the Castelnuovo-Mumford regularity

Giulio Caviglia, Enrico Sbarra|ArXiv.org|Oct 8, 2003

Commutative Algebra and Its Applications被引用 5

一句话总结

本文建立了多项式环中齐次理想的Castelnuovo-Mumford正则性的特征无关界，证明了在特征零下已知的指数界——$\operatorname{reg}(I) \leq (2d)^{2^{n-2}}$——在任意基域特征下均成立。作者通过引入基于弱稳定理想的新型组合框架，扩展了Giusti在特征零下的论证，并应用Bayer-Stillman的正则性判别准则，推导出仅依赖于变量数$n$和最大生成元次数$d$的界，从而解决了Bayer与Mumford长期提出的问题。

ABSTRACT

We study bounds for the Castelnuovo-Mumford regularity of homogeneous ideals in a polynomial ring in terms of the number of variables and the degree of the generators. In particular our aim is to give a positive answer to a question posed by Bayer and Mumford, by showing that the known upper bound in characteristic zero holds true also in positive characteristic. We first analyze Giusti's proof, which provides the result in characteristic 0, giving some insight on the combinatorial properties needed in that context. For the general case we provide a new argument which employs Bayer and Stillman criterion for detecting regularity.

研究动机与目标

• 解决Bayer与Mumford提出的问题：Castelnuovo-Mumford正则性的特征零界是否在正特征下依然成立。
• 通过分析弱稳定理想与一般初始理想的组合结构，扩展Giusti在特征零下的证明。
• 提供仅依赖于$n$与$d$的统一正则性界，与域的特征无关。
• 通过迭代列理想与Artinian商模的长度估计，建立新的正则性判别准则。

提出的方法

• 引入并分析弱稳定理想，将其作为任意特征下标准Borel理想的一般化。
• 利用Bayer-Stillman判别准则，通过连续列模长度的增长来检测正则性。
• 应用迭代列理想包含关系，以界定在逐次添加线性形式后理想正则性的上界。
• 通过在次数$\leq d$的正则序列上的有界性，估计Artinian代数中商模的长度，从而获得$d^c$量级的界。
• 对连续商模的正则性构造递归界$B_i$，证明$B_i \leq (B_{i-1})^2$，从而导出指数塔结构。
• 推导出高度为$c$的理想的最终界$\operatorname{reg}(I) \leq (d^c + (d-1)c + 1)^{2^{n-c-1}}$，最坏情况出现在$c=2$时。

实验结果

研究问题

• RQ1 特征零下的界$\operatorname{reg}(I) \leq (2d)^{2^{n-2}}$是否在正特征下依然成立？
• RQ2 能否将一般初始理想的组合结构从特征零推广至任意特征，以证明正则性界？
• RQ3 控制任意特征下正则性的最小不变量集合是什么？
• RQ4 Bayer-Stillman判别准则能否有效用于推导特征无关的正则性界？
• RQ5 在$\mathbb{P}^n$中，高度为2的理想是否达到最坏情况的正则性界？

主要发现

• 对任意基域$K$的齐次理想$I \subset K[X_1,\dots,X_n]$，若其生成元次数$\leq d$，则有$\operatorname{reg}(I) \leq (2d)^{2^{n-2}}$，且该界与$K$的特征无关。
• 作者证明了高度为$c$的理想$I$的正则性有界$(d^c + (d-1)c + 1)^{2^{n-c-1}}$，该界优于以往依赖特征的界。
• 当$n=2$时，正则性有界$2d-1$；当$n \geq 3$时，最坏情况出现在$\operatorname{ht}(I) = 2$，此时有$\operatorname{reg}(I) \leq (d^2 + 2d - 1)^{2^{n-3}} \leq (2d)^{2^{n-2}}$。
• 证明依赖于弱稳定理想与迭代列理想的新型框架，避免了在正特征下对Borel固定理想$p$-进结构的依赖。
• 列过滤中连续商模的长度有界于$d^c$，其中$c$为理想的高度，从而支持递归正则性估计。
• 递归界$B_i \leq (B_{i-1})^2$导致高度为$n-c-1$的指数塔，最终得出双指数界。