[论文解读] Irrational Asymptotic Behaviour of Castelnuovo-Mumford Regularity

Steven Dale Cutkosky|ArXiv.org|Feb 4, 1999

Commutative Algebra and Its Applications参考文献 16被引用 9

一句话总结

本文证明了在三维射影空间中，非奇异曲线的理想层幂的Castelnuovo-Mumford正则性可表现出高度非线性、无理的渐近行为——这与多项式环中观察到的线性增长形成鲜明对比。作者构造了明确的例子，表明 $ I^n $ 的正则性并非渐近线性，从而挑战了人们对于射影代数几何中此类正则性行为可预测性的预期。

ABSTRACT

We give examples of nonsingular curves in projective 3 space such that the regularity of powers of their ideal sheaves are highly nonlinear. This is in constrast to the case of an ideal I in a polynomial ring, where the regularity of I^n is a linear polynomial in n for large n.

研究动机与目标

• 研究射影代数几何中射影代数簇上理想层幂的Castelnuovo-Mumford正则性的渐近行为。
• 挑战主流直觉，即对于大 $ n $，$ I^n $ 的正则性随 $ n $ 线性增长，特别是在射影代数几何的背景下。
• 构造 $ \mathbb{P}^3 $ 中非奇异曲线的明确例子，其中 $ I^n $ 的正则性并非渐近线性。
• 证明正则性函数可表现出无理或高度非线性的增长，即使对于光滑射影曲线亦然。
• 阐明多项式环中正则性行为（其为线性）与更一般射影设定下正则性行为之间的差异。

提出的方法

• 在三维射影空间中构造具有受控理想层的特定非奇异曲线。
• 分析此类曲线的理想层 $ I $ 的幂 $ I^n $ 的Castelnuovo-Mumford正则性。
• 运用交换代数与代数几何中的技术，特别是层上同调与正则性性质。
• 将多项式环中正则性的已知结果作为对比，用于构造反例。
• 通过几何论证表明 $ I^n $ 的正则性以非多项式、非线性方式增长。
• 证明正则性的渐近增长速率非有理数，因此表现出无理行为。

实验结果

研究问题

• RQ1 在 $ \mathbb{P}^3 $ 中光滑射影曲线上的理想层幂的Castelnuovo-Mumford正则性是否可能非线性增长？
• RQ2 对于 $ \mathbb{P}^3 $ 中的曲线，$ I^n $ 的渐近正则性是否总是 $ n $ 的线性函数，如同在多项式环中那样？
• RQ3 导致正则性呈现无理或非线性渐近行为的几何或上同调条件是什么？
• RQ4 理想在多项式环与射影代数簇上的理想层之间，正则性行为有何不同？
• RQ5 能否构造出 $ I^n $ 的正则性显著偏离线性增长的显式例子？

主要发现

• 本文构造了 $ \mathbb{P}^3 $ 中非奇异曲线的显式例子，其理想层表现出高度非线性的渐近正则性。
• 对于这些例子，$ I^n $ 的正则性并非渐近线性，与多项式环中的行为相反。
• 结果表明，正则性的渐近增长为无理数，即其不遵循 $ n $ 的有理线性函数形式。
• 研究结果表明，$ I^n $ 的正则性可呈现无法用线性甚至多项式模型捕捉的增长方式。
• 该构造揭示了仿射设定（多项式环）中正则性行为与射影代数几何中正则性行为之间存在根本差异。
• 研究结果意味着，射影代数簇上理想层的正则性函数可能比以往认为的要复杂得多。