[论文解读] Powers of Ideals and Fibers of Morphisms

David Eisenbud, Joe Harris|ArXiv.org|Jul 26, 2008

Commutative Algebra and Its Applications参考文献 10被引用 3

一句话总结

本文建立了一个公式，将有限态射的纤维的Castelnuovo-Mumford正则性与态射的全局不变量联系起来，特别是证明了最大纤维正则性比最小的 $\epsilon$ 多 1，使得对充分大的 $t$ 有 $\mathfrak{m}^{t+\epsilon} \subset I^t$。该研究澄清了齐次理想幂的渐近正则性公式 $\operatorname{reg}(I^t) = dt + \epsilon$ 中神秘常数 $\epsilon$ 的含义。

ABSTRACT

Let X\subset PP^n be a projective scheme over a field, and let phi:X --> Y be a finite morphism. Our main result is a formula in terms of global data for the maximum of the Castelnuovo-Mumford regularity of the fibers of ϕ, considered as subschemes of \PP^n. From an algebraic point of view, our formula is related to the theorem of Cutkosky-Herzog-Trung and Kodiyalam showing that for any homogeneous ideal I in a standard graded algebra S, the regularity of I^t can be written as dt+εfor some non-negative integers d, ε, and all large t. In the special case where I contains a power of S_+ and is generated by forms of a single degree, our formula gives an interpretation of ε: it is one less than the maximum regularity of a fiber of the morphism associated to I. These formulas have strong consequences for ideals generated by generic forms.

研究动机与目标

• 理解齐次理想幂的Castelnuovo-Mumford正则性的渐近行为。
• 解释公式 $\operatorname{reg}(I^t) = dt + \epsilon$ 中常数 $\epsilon$ 的几何或代数意义，该常数此前一直神秘莫测。
• 将有限态射纤维的正则性与全局数据联系起来，特别是通过层论中的上同调消失性来实现。
• 在 $I$ 由同一 degree 的形式生成时，以纤维正则性为依据，对 $\epsilon$ 提供几何解释。
• 支持并细化关于光滑射影概形的通用线性投影的纤维正则性界猜想。

提出的方法

• 利用 Serre 的消去定理与 Nakayama 引理，将 $\mathbb{P}^s$ 上整体截面映射的满射性等价于纤维上的满射性。
• 应用定理 2.1，将 $\operatorname{Sym}_t(V) \otimes W \to H^0(\mathcal{L}^t \otimes M)$ 的满射性与截面的纤维满射性联系起来。
• 将 0-维纤维 $\phi^{-1}(p)$ 的正则性转化为最小的 $\epsilon$，使得 $H^1(\mathcal{I}_Z(\epsilon)) = 0$，这等价于 $H^0(\mathcal{O}_{\mathbb{P}^n}(\epsilon)) \to H^0(\mathcal{O}_Z(\epsilon))$ 的满射性。
• 将问题约化为分析 $H^0(\mathcal{O}_{\mathbb{P}^n}(\epsilon)) \otimes \operatorname{Sym}_t(V) \to H^0(\mathcal{L}^t(\epsilon))$ 对充分大的 $t$ 的满射性，从而将其与理想幂 $I^t$ 联系起来。
• 利用 $\operatorname{reg}(R/I^t)$ 是满足 $\mathfrak{m}^s \not\subset I^t$ 的最大 $s$ 这一事实，将正则性与包含关系 $\mathfrak{m}^{t+\epsilon} \subset I^t$ 联系起来。
• 应用代数几何中关于稳定映射与纤维次数的结果，对通用形式的情形（特别是低维情形）界定正则性。

实验结果

研究问题

• RQ1 在齐次理想幂的渐近公式 $\operatorname{reg}(I^t) = dt + \epsilon$ 中，常数 $\epsilon$ 的几何或代数意义是什么？
• RQ2 有限态射 $\phi: X \to \mathbb{P}^s$ 的纤维最大正则性如何用态射的全局不变量表示？
• RQ3 当 $I$ 由同一 degree 的形式生成且包含一个非零因子时，$\epsilon$ 在代数或几何上代表什么？
• RQ4 能否对光滑射影概形的通用线性投影的纤维正则性进行统一有界，若有，由哪个不变量界定？
• RQ5 包含关系 $\mathfrak{m}^{t+\epsilon} \subset I^t$ 与线性投影 $\phi$ 的纤维 $\phi^{-1}(y)$ 的正则性之间的确切关系是什么？

主要发现

• 有限态射 $\phi: X \to \mathbb{P}^s$ 的纤维最大正则性比最小的 $\epsilon$ 多 1，使得对所有充分大的 $t$ 有 $\mathfrak{m}^{t+\epsilon} \subset I^t$，其中 $I$ 是定义 $\phi$ 的线性形式生成的理想。
• 对于由 $F[x,y]$ 中 degree $d$ 的形式生成且 $\gcd(V) = 1$ 的理想 $I$，当 $t$ 充分大时，有 $\operatorname{reg}(I^t) = dt + r - 1$，其中 $r$ 是生成形式的任意 codimension-1 子空间的 $\gcd$ 的最大 degree。
• 在高维情形下，若 $I$ 是 $\mathfrak{m}$-主理想，则 $\epsilon = r - 1$，其中 $r$ 是使得 $H^1_{\mathfrak{m}}(R/(V'))$ 在 codimension-1 子空间 $V' \subset V$ 上非零的最大 degree。
• Beheshti 与 Eisenbud 的猜想在 $c > n$ 时成立，且在许多情形下已被证实：若 $I$ 是标准分次环 $R$（维数为 $n+1$）中 $n+1+c$ 个一般线性形式生成的理想，则对充分大的 $t$ 有 $\mathfrak{m}^{t+\lfloor n/c \rfloor} \subset I^t$。
• 对于 $R = F[x_0,\dots,x_n]$ 且 $I = (f_1,\dots,f_{n+2})$，其中 $f_i$ 为一般 degree $d$ 的形式，且 $n \leq 14$，则对所有充分大的 $t$ 有 $\mathfrak{m}^{t+n} \subset I^t$，该结论基于稳定映射理论的纤维次数界。
• 0-维纤维 $Z = \phi^{-1}(p)$ 的正则性比最小的 $\epsilon$ 多 1，使得 $H^1(\mathcal{I}_Z(\epsilon)) = 0$，这等价于 $H^0(\mathcal{O}_{\mathbb{P}^n}(\epsilon)) \to H^0(\mathcal{O}_Z(\epsilon))$ 的满射性。