[论文解读] On the behavior of Castelnuovo-Mumford regularity with respect to some functors

Marc Chardin|ArXiv.org|Jun 19, 2007

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

一句话总结

本文研究了在关键代数函子——Tor、Frobenius 和理想幂作用下，Castelnuovo-Mumford 正则性的行为，给出了基于输入正则性和几何不变量的精确界限。研究建立了在奇异点维数 ≤1 的射影概形中，Cohen-Macaulay 子概形交的正则性新界限，推广了先前的结果，并在理想幂和 Kähler 微分模方面具有应用。

ABSTRACT

We investigate the behavior of Castelnuovo-Mumford regularity with respect to some classical functors : Tor, the Frobenius functor in positive characteristic, taking a power or a product (on ideals). These generalizes and refines previous results on these issues by several authors. As an application we provide results on the regularity of an intersection of subschemes of a projective scheme, under appropriate geometric hypotheses. Results on the rigidity of multiple Tor modules and on the characterization of their vanishing are given, motivated by geometric applications.

研究动机与目标

• 将现有关于 Tor、Frobenius 和理想乘积/幂等经典函子下 Castelnuovo-Mumford 正则性的界限进行扩展和细化。
• 在 Cohen-Macaulay 和维数约束下，为射影概形中子概形交的正则性提供几何估计。
• 建立在正则环上多重 Tor 模的刚性与消去条件，受几何应用的启发。
• 在奇异点和维数约束下，解决 Katzman 关于正特征下 Frobenius 幂正则性增长的猜想。
• 为由齐次理想定义的射影概形的 Kähler 微分模的正则性导出界限。

提出的方法

• 将 Eisenbud-Huneke-Ulrich 关于 Tor 正则性的界限推广至诺特局部环上标准分次代数，假设除一个模外其余所有模均具有有限投射维数。
• 应用谱序列技术和局部上同调分析 Tor 模的正则性，利用 Betti 数次数的界限。
• 利用最小自由解析的结构和雅可比矩阵，推导 Kähler 微分模正则性的界限。
• 通过奇异点和模的维数与支集条件，控制 Frobenius 迭代下的正则性增长。
• 对模的数量进行归纳，并使用递归不等式，以界定理想幂的正则性。
• 应用适当相交和余维条件的概念，将模的正则性与各因子正则性的和联系起来。

实验结果

研究问题

• RQ1 当输入模具有有限投射维数时，Castelnuovo-Mumford 正则性在 Tor 函子下的行为如何？
• RQ2 在奇异点维数 ≤1 的射影概形中，Cohen-Macaulay 子概形交的正则性的精确上界是什么？
• RQ3 能否用原模的正则性和奇异点集来界定正特征下标准分次代数上分次模的 Frobenius 幂的正则性？
• RQ4 在何种条件下可保证正则环上多重 Tor 模的刚性或消去？
• RQ5 如何根据定义理想及其 Betti 数来界定 Kähler 微分模的正则性？

主要发现

• 在奇异点维数 ≤1 的射影概形中，若 Cohen-Macaulay 子概形发生适当相交，则其交的正则性满足：reg(Z) ≤ ∑ᵢ max{reg(Zᵢ), reg(S)−1} + ⌊(dim S −1)/2⌋(reg(S)−1)，当 reg(S) ≤ 1 时等号成立，即 reg(Z) ≤ ∑ᵢ reg(Zᵢ)。
• 在诺特局部环上标准分次代数 S 上，Torᵢ(M,N) 的正则性满足 maxᵢ{reg(Torᵢ(M,N)) − i} = reg(M) + reg(N) − reg(S)，前提是其中一个模具有有限投射维数，且所有正的 Tor 模支集维数 ≤1。
• 在正特征 p 下，标准分次代数 S 上分次模 M 的 Frobenius 幂 Fᵉ(M) 的正则性满足 reg(Fᵉ(M)) ≤ reg(S) + pᵉ(reg(M) + ⌊dim S/2⌋(reg(S)−1) + dim S)，若 dim(Sing(S) ∩ Supp(M)) ≤ 1。
• 在多项式环中，若 dim(R/I) ≤ 2，则理想幂 Iʲ 的正则性满足：当 j=2 时，reg(Iʲ) ≤ max{2reg(I), reg(Iˢᵃᵗ) + 2b₀ − 2}；当 j ≥ 2 时，reg(Iʲ) ≤ max{3reg(I) + (j−3)b₀, reg(Iˢᵃᵗ) + jb₀ − 2}。
• 对于由齐次理想 I 定义的射影曲面 B，其 Kähler 微分模 Ω_B 满足：a₃(Ω_B) ≤ a₃ + 1，a₂(Ω_B) ≤ max{a₂ + 1, a₃ + b₀}，a₁(Ω_B) ≤ max{a₁ + 1, a₂ + b₀, a₃ + b₁}，在一般约化性条件下成立。
• I/I² 的局部上同调模的消去性可推出 Ω_B 正则性的界限：H¹ₘ(I/I²) 在度数 > max{a₁ + b₀, a₂ + b₁, a₃ + b₂, a₃ + d₁ + d₂} 时消去，H²ₘ(I/I²) 在度数 > max{a₂ + b₀, a₃ + b₁} 时消去。