[論文レビュー] Irrational Asymptotic Behaviour of Castelnuovo-Mumford Regularity

Steven Dale Cutkosky|ArXiv.org|Feb 4, 1999

Commutative Algebra and Its Applications参考文献 16被引用数 9

ひとこと要約

この論文は、射影3次元空間内の非特異的曲線の理想層のべきのカステルヌオーヴォ-マウムフォード正則性が、多項式環で観察される線形成長とは対照的に、非常に非線形的かつ無理数的漸近的挙動を示す可能性があることを示している。著者は、I^n の正則性が漸近的に線形でないことを示す明示的な例を構成し、射影的代数的幾何学的多様体においてこのような正則性が予測可能に振る舞うという期待に反する結果を得た。

ABSTRACT

We give examples of nonsingular curves in projective 3 space such that the regularity of powers of their ideal sheaves are highly nonlinear. This is in constrast to the case of an ideal I in a polynomial ring, where the regularity of I^n is a linear polynomial in n for large n.

研究の動機と目的

• 射影的多様体上の理想層のべきのカステルヌオーヴォ-マウムフォード正則性の漸近的挙動を調査すること。
• 特に射影的代数的幾何学の文脈において、n が大きいとき I^n の正則性が線形に増加するとされる一般的な直観に反して、その正則性が線形的でない可能性を挑戦すること。
• 正則性が漸近的に線形でない明示的な非特異的曲線の例を P^3 に構成すること。
• 滑らかな射影的曲線でさえ、正則性関数が無理数的または極めて非線形的成長を示す可能性があることを示すこと。
• 正則性の挙動の違いを、正則性が線形である多項式環と、より一般の射影的設定との間で明確にすること。

提案手法

• 制御された理想層を持つ射影3次元空間内の特定の非特異的曲線の構成。
• そのような曲線の理想層 I のべき I^n のカステルヌオーヴォ-マウムフォード正則性の分析。
• 層コホロロジーと正則性の性質を特に用いた代数的幾何学および可換代数の技術の適用。
• 多項式環における正則性の既知の結果を、構成した反例と対比させる。
• 幾何的議論を用いて、I^n の正則性が多項式的でない非線形の方法で増加することを示す。
• 正則性の漸近的成長率が有理数的でない、つまり無理数的挙動を示すことを証明する。

実験結果

リサーチクエスチョン

• RQ1 P^3 内の滑らかな射影的曲線における理想層のべきのカステルヌオーヴォ-マウムフォード正則性は、非線形的に増加しうるか？
• RQ2 P^3 内の曲線に対して、I^n の漸近的正則性は、多項式環で見られるように、n の線形関数として常に成り立つか？
• RQ3 無理数的または非線形的漸近的正則性を引き起こす幾何的またはコホロロジー的条件は何か？
• RQ4 多項式環における理想と射影的多様体上の理想層における正則性の挙動の違いは何か？
• RQ5 正則性 I^n が線形成長から著しく逸脱する明示的な例を構成できるか？

主な発見

• この論文は、P^3 内の非特異的曲線の理想層が非常に非線形的漸近的正則性を示す明示的な例を構成した。
• これらの例では、I^n の正則性が漸近的に線形ではなく、多項式環で観察される挙動とは対照的である。
• 正則性の漸近的成長が無理数的であることが示され、これは n に対して有理数的線形関数に従わないことを意味する。
• 結果として、I^n の正則性は線形的あるいは多項式的モデルでも捉えきれない方法で増加しうることを示した。
• 構成により、アフィン設定（多項式環）における正則性の挙動と、射影的代数的幾何学における正則性の挙動の根本的な違いが明らかになった。
• これらの発見は、射影的多様体上の理想層の正則性関数が、これまで想定されていたよりもはるかに複雑である可能性を示唆している。