[論文レビュー] Castelnuovo-Mumford regularity and related invariants

Ngô Viêt Trung|arXiv (Cornell University)|Jul 26, 2019

Commutative Algebra and Its Applications参考文献 18被引用数 4

ひとこと要約

本稿は、標準的次数付き代数上の次数付き加群の文脈において、Castelnuovo-Mumford正則性および関連する不変量—弱正則性、$a^*$-不変量、および部分正則性—について包括的な紹介を提供する。局所コホロジー、フィルター正則列、およびグレブナー基底を用いた同値な特徴づけを確立し、特徴が0の体上では、逆辞書的順序に関する一般化初期イデアルの最小生成元によって、イデアルの正則性および$a^*$-不変量が決定されることを証明する。

ABSTRACT

These notes are an introduction to some basic aspects of the Castelnuovo-Mumford regularity and related topics such as weak regularity, a*-invariant and partial regularities.

研究の動機と目的

• 可換代数および代数幾何学におけるCastelnuovo-Mumford正則性および関連不変量の統一的かつアクセス可能な紹介を提供すること。
• 局所コホロジー、Tor/Ext加群、およびフィルター正則列を用いた正則性の同値定義を確立すること。
• 計算的に取り扱いやすい全正則性の代替手段としての弱正則性および部分正則性を導入し、分析すること。
• グレブナー基底および一般化初期イデアルを用いた、正則性および関連不変量の効果的な計算手法の開発。
• 特徴が0の体上の多項式環におけるイデアルの正則性および$a^*$-不変量を、その一般化初期イデアルの最小生成元によって特徴づけること。

提案手法

• 局所コホロジー加群を用いた正則性の定義：$\operatorname{reg}(M) = \max\{a_i(M) + i \mid i \geq 0\}$、ここで$a_i(M)$は$i$番目の局所コホロジー加群の非ゼロとなる最大次数である。
• 正則性計算を有限長の商加群に還元するためにフィルター正則列を導入する。特にArtin環上の基底環において有用である。
• 弱正則性を$\operatorname{g-reg}(M) = \max\{a_i(M) + i \mid i \geq 1\}$として定義し、シフトされた次数における局所コホロジーの消滅を制御する。
• $a^*$-不変量を$a^*(M) = \max\{a_i(M) \mid i \geq 0\}$として定義し、シフトなしの局所コホロジーの最大次数を捉える。
• 部分正則性$\operatorname{reg}_t(M) = \max\{a_i(M) + i \mid i \leq t\}$および$a_t^*(M) = \max\{a_i(M) \mid i \leq t\}$を定義し、次数構造に対するより細かい制御を可能にする。
• 特に逆辞書的順序および一般化初期イデアル（Gin）を用いたグレブナー基底技術を用いて、正則性および関連不変量の効果的な計算を行う。

実験結果

リサーチクエスチョン

• RQ1 正則性の異なる定義—分解の次数、局所コホロジー、およびTor/Ext加群—はどのように同値であるか？
• RQ2 フィルター正則列は、次数付き加群の正則性計算をどのように簡略化するか？
• RQ3 弱正則性は正則性の有限基準をどのように提供し、代数幾何学における幾何的正則性とどのように関係するか？
• RQ4 特に多項式環において、$a^*$-不変量と正則性の正確な関係は何か？
• RQ5 特徴が0の体上では、イデアルの正則性および$a^*$-不変量を、その一般化初期イデアルから効果的に計算できるか？

主な発見

• 次数付き加群$M$の正則性は、$i = 0,\dots,s$における$b_i(M) - i$の最大値に等しく、ここで$b_i(M)$は$i$番目のシンジーギー加群の生成元の最大次数である。
• $n$変数の多項式環において、$a^*(M) = \max\{b_i(M) - i \mid i = 0,\dots,s\} - n$である。これは、$a^*$が正則性のシフトなしのバージョンであることを示している。
• 部分正則性$\operatorname{reg}_t(M)$は$\max\{b_i(M) - i \mid i \geq n - t\}$に等しく、これは$t$番目のシンジーギー加群の正則性に対応する。
• 特徴が0の体上では、$\operatorname{reg}(I) = \max\{\deg(x^A) \mid x^A \in \operatorname{Min}(\operatorname{Gin}(I))\}$である。つまり、正則性は一般化初期イデアルの最小生成元の最高次数によって決定される。
• 特徴が0の体上では、$a^*(I) = \max\{\deg(x^A) + m(x^A) \mid x^A \in \operatorname{Min}(\operatorname{Gin}(I))\} - n - 1$である。ここで$m(x^A)$は非ゼロの指数を持つ最大添え字である。
• 商$\tilde{J}_i / J_i$を用いて定義される不変量$c_i(I)$は、$\operatorname{reg}(R/I) = \max\{c_i(I) \mid i = 0,\dots,n\}$を満たし、$\operatorname{in}(I)$のラティスベクトルから組合せ論的に計算可能である。