[論文レビュー] Castelnuovo-Mumford regularity of products of ideals

Aldo Conca, Jürgen Herzog|ArXiv.org|Oct 4, 2002

Commutative Algebra and Its Applications参考文献 14被引用数 144

ひとこと要約

本稿では、体上の多項式環における線形形式によって生成されるイデアルの積が線形分解を持つこと、およびそのような積のCastelnuovo-Mumford正則性が reg(IM) ≤ reg(M) + reg(I) を満たすことを確立している。主な貢献は、任意の線形形式のイデアルの積が線形分解を持つことの証明であり、これは主分解と線形商を持つイデアルの理論に基づくもので、多形的および安定イデアルに関する既知の結果を拡張するものである。

ABSTRACT

We discuss the behavior of the Castelnuovo-Mumford regularity under certain operations on ideals and modules, like products or powers. In particular, we show that reg(IM) can be larger than reg(M)+reg(I) even when I is an ideal of linear forms and M is a module with a linear resolution. On the other hand, we show that any product of ideals of linear forms has a linear resolution. We also discuss the case of polymatroidal ideals and show that any product of determinantal ideals of a generic Hankel matrix has a linear resolution.

研究の動機と目的

• 積 IM の Castelnuovo-Mumford 正則性が reg(IM) ≤ reg(M) + reg(I) を満たすかどうかを特定すること。これは自然ではあるが一般には成り立たない不等式である。
• 線形形式または正則列によって生成されるイデアルに対して、正則性の上限が成り立つかを調査すること。
• イデアルの冪に関する正則性の上限に関する既知の結果を、異なるイデアルの積へと拡張すること。
• 線形形式のイデアルの積が線形分解を持つこと、これは驚くべき一般性を持つ結果であることを証明すること。
• 線形商を持つイデアル（多形的または安定イデアルなど）が積に関して望ましい正則性の性質を保つことを示すこと。

提案手法

• Castelnuovo-Mumford 正則性を定義・分析するため、次数付き Betti 数と Tor モジュールを用い、tR_i(M) = max{j | βR_ij(M) ≠ 0} と定義する。
• ほぼ正則列と関連する完全系列を用いて、Tor モジュールの長完全系列を介して正則性の上限を導出する。
• 線形商の概念を適用：連続する生成元の商イデアルが線形形式によって生成されるイデアル。
• 特に単項式上の σ-順序に基づくグレブナー基底技法を用い、積の構造を分析する。
• 単項式の >1-鎖への標準的分解を活用し、γ-関数を定義して初期イデアルの生成元を記述する。
• 特定の全順序 σ に関して、ハンケル行列の小行列式のイデアルの積の初期イデアルが線形商を持つことを証明し、線形分解を示す。

実験結果

リサーチクエスチョン

• RQ1 線形形式によって生成されるイデアルの積に対して、不等式 reg(IM) ≤ reg(M) + reg(I) が成り立つかどうか。
• RQ2 イデアルの積の正則性は、因子の正則性の線形関数として上界を持つことができるか。
• RQ3 多形的イデアルの積は再び多形的であるか。そして、その場合、線形分解を持つのか。
• RQ4 どのような条件下で、線形商を持つ性質がイデアルの積においても保存されるか。
• RQ5 一般のハンケル行列の小行列式のイデアルの積は、線形分解を持つのか。

主な発見

• 線形形式によって生成されるイデアルの任意の積は、線形分解を持つ。これは主分解と >1-鎖への標準的分解の構造に基づく証明による。
• 一般のハンケル行列の小行列式のイデアルの積の初期イデアルは、特定の全順序 σ に関して線形商を持つ。これは線形分解を示唆する。
• 多形的イデアルの積は再び多形的であり、したがって線形分解を持つ。これは多形的和に関する既知の結果の帰結である。
• イデアル I が M に関してほぼ正則列で、R に関して正則である場合、積 IM の正則性は reg(IM) ≤ reg(M) + reg(I) を満たす。
• 次元 ≤1 のイデアルに対しては、不等式 reg(I^k) ≤ k·reg(I) が成り立ち、これはチャンドラーの結果の一般化である。
• ハンケル行列の小行列式 It1⋯Itk の積の初期イデアル J は、γi(m) ≥ γi(t1,…,tp) を満たす単項式によって生成され、σ-順序に関して線形商を持つ。