[论文解读] Castelnuovo-Mumford Regularity in Biprojective Spaces

J. William Hoffman, Hao Hao Wang|ArXiv.org|Dec 3, 2002

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

一句话总结

本文引入了在双齐次多项式环上双齐次模的Castelnuovo-Mumford正则性的概念，将经典正则性理论从射影空间推广到双射影空间。通过关于无关理想局部上同调模的消去性定义了弱正则性和强正则性条件，证明强正则性刻画了具有有界移位的极小自由分解，推广了关于齐次模的经典结果。

ABSTRACT

We define the concept of regularity for bigraded modules and bigraded polynomial ring. In this setting we prove analogs of some of the classical results on $m$-regularity for graded modules over polynomial algebras.

研究动机与目标

• 将经典Castelnuovo-Mumford正则性理论从标准齐次多项式环推广到域上双齐次多项式环。
• 为双齐次模定义一个合适的正则性概念，以确保极小自由分解中移位的有界性。
• 通过引入更强的正则性条件来控制多个理想上的上同调消去性，建立双齐次模极小自由分解的结构定理。

提出的方法

• 通过在特定区域 $C_i(p,p') \subset \mathbb{Z}^2$ 内局部上同调 $H^i_{\bf m}(M)_{k,k'}$ 的消去性，定义双齐次模 $M$ 的弱正则性。
• 通过要求 $H^i_I(M)$ 对 $I = (x), (y), (x,y)$ 的消去性，引入强正则性，以确保在对 $x$ 和 $y$ 的一般线性形式取商时保持兼容性。
• 使用无关理想 $\mathbf{m} = (x_i y_j)$ 的幂的Koszul复形构造 $\mathbf{m}^{(\nu)}$ 的分解，从而实现局部上同调 $H^i_{\mathbf{m}}(M)$ 的计算。
• 通过盒积 $K_{\geq 1}(x^\nu) \boxtimes K_{\geq 1}(y^\nu)$ 构造双复形，以利用平坦性和正则序列来分解 $\mathbf{m}^{(\nu)}$。
• 证明强正则性蕴含弱正则性，并证明环 $R$ 本身是强 $(0,0)$-正则的。
• 利用Künneth谱序列验证张量复形的正合性，确保分解是精确的。

实验结果

研究问题

• RQ1 经典的Castelnuovo-Mumford正则性概念能否推广到双齐次多项式环上的双齐次模？
• RQ2 局部上同调消去性在何种条件下能保证双齐次模极小自由分解中移位的有界性？
• RQ3 为何弱正则性无法刻画自由分解？需要何种更强的条件才能实现结构定理？
• RQ4 是否存在一种涉及多个理想（如 $(x), (y), (xy)$）而非仅无关理想的上同调正则性刻画？
• RQ5 能否使用 $x^\nu$ 和 $y^\nu$ 上的Koszul复形构造 $\mathbf{m}^{(\nu)}$ 的分解，且该分解是否能给出 $H^i_{\mathbf{m}}(M)$ 的可计算复形？

主要发现

• 弱正则性通过 $H^i_{\mathbf{m}}(M)_{k,k'}$ 在区域 $C_i(p,p')$ 内的消去性来定义，但不足以刻画具有有界移位的极小自由分解。
• 强正则性被引入为更强的条件，要求 $H^i_I(M)$ 对 $I = (x), (y), (x,y)$ 的消去性，从而确保自由分解的所需结构定理。
• 证明了环 $R = K[x_0,\dots,x_m,y_0,\dots,y_n]$ 是强 $(0,0)$-正则的，推广了经典结果：在齐次情形下 $R$ 是 $0$-正则的。
• 构造了 $\mathbf{m}^{(\nu)}$ 的分解为 $x^\nu$ 和 $y^\nu$ 上Koszul复形的盒积，从而得到 $\mathbf{m}^{(\nu)}$ 的有限自由分解。
• Künneth谱序列确认张量复形是正合的，证明 $K_{\geq 1}(x^\nu) \boxtimes K_{\geq 1}(y^\nu)$ 是 $\mathbf{m}^{(\nu)}$ 的自由分解，从而可计算 $H^i_{\mathbf{m}}(M)$。
• 在强正则性下，极小自由分解的结构定理成立：所有在度 $(p+i, p'+i)$ 的生成元的总度分别有界于 $p+i$ 和 $p'+i$，其中 $i \geq 0$。