[論文レビュー] 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$ の弱正則性を定義する。
• $(x), (y), (x,y)$ の各イデアル $I$ に対して $H^i_I(M)$ の消滅を要求することで、強正則性を導入し、$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)$ の計算に使えるか？

主な発見

• 弱正則性は、領域 $C_i(p,p')$ 内で $H^i_{\mathbf{m}}(M)_{k,k'}$ の消滅を用いて定義されるが、有界なシフトを持つ最小自由分解を特徴付けるには不十分である。
• 強正則性は、$I = (x), (y), (x,y)$ に対して $H^i_I(M)$ の消滅を要請するより強い条件として導入され、自由分解の望ましい構造定理を保証する。
• 環 $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)$ の計算が可能になる。
• 強正則性のもとでは、最小自由分解の構造定理が成り立つ：すべての生成子は、$i \geq 0$ に対して $(p+i, p'+i)$ の次数を持つが、それぞれの全次数は $p+i$ および $p'+i$ で有界である。