[論文レビュー] Characteristic-free bounds for the Castelnuovo-Mumford regularity

Giulio Caviglia, Enrico Sbarra|ArXiv.org|Oct 8, 2003

Commutative Algebra and Its Applications被引用数 5

ひとこと要約

この論文は、多項式環における斉次イデアルのカステルヌオーヴォ・マウムフォード正則性について、特性に依存しない境界を確立する。既知の特徴量ゼロにおける指数的境界 $ abla(\operatorname{reg}(I) \leq (2d)^{2^{n-2}})$ が、任意の底体の特性に関わらず普遍的に成り立つことを証明する。著者らは、弱安定イデアルに基づく新しい組合せ的枠組みを用いてジウスティの特徴量ゼロにおける議論を拡張し、ベイヤー＝スティルマンの正則性基準を適用して、変数の数 $n$ と最大生成子次数 $d$ のみに依存する境界を導出する。これはベイヤーとマウムフォードが提起した長年の問いに答えを提示する。

ABSTRACT

We study bounds for the Castelnuovo-Mumford regularity of homogeneous ideals in a polynomial ring in terms of the number of variables and the degree of the generators. In particular our aim is to give a positive answer to a question posed by Bayer and Mumford, by showing that the known upper bound in characteristic zero holds true also in positive characteristic. We first analyze Giusti's proof, which provides the result in characteristic 0, giving some insight on the combinatorial properties needed in that context. For the general case we provide a new argument which employs Bayer and Stillman criterion for detecting regularity.

研究の動機と目的

• ベイヤーとマウムフォードが提起した、カステルヌオーヴォ・マウムフォード正則性の特徴量ゼロにおける境界が正の特徴量でも成り立つかどうかという問いを解決すること。
• 弱安定イデアルの組合せ的構造と一般初期イデアルの分析を通じて、ジウスティの特徴量ゼロにおける証明を拡張すること。
• 体の特徴量に依存しない、$n$ と $d$ のみに依存する正則性の均一な境界を提供すること。
• 繰り返しコロネートイデアルとアートン環の商の長さ推定を用いて、新しい正則性基準を確立すること。

提案手法

• 任意の特徴量に一般化可能な標準ボレルイデアルの一般化として、弱安定イデアルを導入し、その分析を行う。
• ベイヤー＝スティルマン基準を用いて、連続するコロネートモジュールの長さの増加を観察することで正則性を検出する。
• 連続する線形形式を加えた後のイデアルの正則性を、繰り返しコロネートイデアルの包含関係によって境界づける。
• 次数 $\leq d$ の正則列に関する境界を用いて、アートン環における商モジュールの長さを推定し、$d^c$ の境界を得る。
• 連続する商の正則性に関する再帰的境界 $B_i$ を構成し、$B_i \leq (B_{i-1})^2$ を示し、指数の塔に至る。
• 高さ $c$ のイデアルに対して、最終的な境界 $ abla(\operatorname{reg}(I) \leq (d^c + (d-1)c + 1)^{2^{n-c-1}})$ を導出する。最悪ケースは $c=2$ のときである。

実験結果

リサーチクエスチョン

• RQ1 特徴量ゼロにおける境界 $ abla(\operatorname{reg}(I) \leq (2d)^{2^{n-2}})$ が正の特徴量でも成り立つか。
• RQ2 一般初期イデアルの組合せ的構造を特徴量ゼロを超えて一般化し、正則性境界を証明することができるか。
• RQ3 任意の特徴量における正則性を制御する最小の不変量の集合は何か。
• RQ4 ベイヤー＝スティルマン基準を効果的に用いて特徴量に依存しない境界を導出できるか。
• RQ5 $ abla(\mathbb{P}^n$ における最悪ケースの正則性境界は、高さ 2 のイデアルで達成されるか。

主な発見

• 任意の体 $K$ における $K[X_1,\dots,X_n]$ の斉次イデアル $I$ に対して、$I$ が次数 $\leq d$ で生成される限り、境界 $ abla(\operatorname{reg}(I) \leq (2d)^{2^{n-2}})$ が成り立つ。
• 著者らは、高さ $c$ のイデアル $I$ の正則性が $(d^c + (d-1)c + 1)^{2^{n-c-1}}$ で抑えられることを証明し、従来の特徴量依存の境界を改善する。
• $n=2$ の場合、正則性は $2d-1$ で抑えられ、$n \geq 3$ の場合、最悪ケースの境界は $ abla(\operatorname{ht}(I) = 2$ のとき達成され、$ abla(\operatorname{reg}(I) \leq (d^2 + 2d - 1)^{2^{n-3}} \leq (2d)^{2^{n-2}}$ が得られる。
• 証明は、弱安定イデアルと繰り返しコロネートイデアルの新しい枠組みに依拠しており、正の特徴量におけるボレル固定イデアルの $p$-進構造に依存しない。
• コロネートフィルトレーションにおける連続する商モジュールの長さは $d^c$ で抑えられ、$c$ はイデアルの高さである。これにより、再帰的正則性推定が可能になる。
• 再帰的境界 $B_i \leq (B_{i-1})^2$ は、高さ $n-c-1$ の指数の塔を生じさせ、最終的に二重指数的境界に至る。