[論文レビュー] The eventual shape of Betti tables of powers of ideals

Amir Bagheri, Marc Chardin+1 more|arXiv (Cornell University)|Oct 3, 2011

Commutative Algebra and Its Applications参考文献 11被引用数 3

ひとこと要約

本稿は、Noether的 $ G $-次数代数上の多重度のイデアルの冪におけるベッチ表が、冪が大きくなるにつれて、包絡の次数において最終的になめらかになることを確立する。多重度のTorモジュールとRees代数のスターリング分解を用いて、$ \operatorname{Tor}^S_i(MI_1^{t_1}\cdots I_s^{t_s}, A) $ の台が、線形独立な生成元を持つアフィン半群の和集合に安定化することを証明し、多重度のベッチ数における漸近的線形性が得られる。

ABSTRACT

Let $G$ be a finitely generated abelian group, and let $S = A[x_1, ..., x_n]$ be a $G$-graded polynomial ring over a commutative ring $A$. Let $I_1, ..., I_s$ be $G$-homogeneous ideals in $S$, and let $M$ be a finitely generated $G$-graded $S$-module. We show that, when $A$ is Noetherian, the nonzero $G$-graded Betti numbers of $MI_1^{t_1} ... I_s^{t_s}$ exhibit an asymptotic linear behavior as the $t_i$s get large.

研究の動機と目的

• Noether的 $ G $-次数代数における $ G $-同次イデアルの冪の多重度ベッチ数の漸近的挙動を理解すること。
• これまで $ \mathbb{Z} $-次数の設定に限られていた正則性および包絡次数に関する既知の結果を、例えばトーリック多様体の除数類群のような任意の有限生成アーベル群 $ G $ に拡張すること。
• 指数 $ t_i \to \infty $ のとき、$ MI_1^{t_1}\cdots I_s^{t_s} $ の非ゼロ $ G $-次数ベッチ数の形状が最終的になめらかになることを確立すること。
• イデアル生成子の $ G $-次数の線形独立なタプルによって生成されるアフィン半群の和集合として、$ \operatorname{Tor}^S_i(MI_1^{t_1}\cdots I_s^{t_s}, A) $ の台の構造的記述を提供すること。

提案手法

• 問題を多リース代数 $ \mathcal{R} = \bigoplus_{t_i \geq 0} I_1^{t_1}\cdots I_s^{t_s} $ を用いてモデル化し、$ MI_1^{t_1}\cdots I_s^{t_s} $ を $ \mathcal{R} $ 上の次数付きモジュールとみなす。
• 同型 $ \operatorname{Tor}^S_i(N_{G \times \{\delta\}}, A) \cong H_i(\mathbb{G}_\bullet \otimes_S A)_{G \times \{\delta\}} $ を用いて、$ S $ 上のTorモジュールを $ R = S[T_1,\dots,T_r] $ 上の自由分解の次数付きストランドに結びつける。
• 初期部分モジュールの理論を適用して単項式イデアルのケースに還元し、$ A[T_1,\dots,T_r] $-モジュールにスターリング分解を適用可能にする。
• Rees代数をスターリング成分に分解することで、$ \operatorname{Tor}^S_i(MI_1^{t_1}\cdots I_s^{t_s}, A) $ の台を分析し、各成分は線形独立な差を持つ生成子のタプルに対応する。
• 十分大きな $ t $ に対して、$ \operatorname{Tor}^S_i(MI_1^{t_1}\cdots I_s^{t_s}, A) $ の台が、$ c_1\gamma_{i,1} + \cdots + c_{s_i}\gamma_{i,s_i} + \delta_i $ の形の集合の有限個の和集合に一致することを証明する。ここで $ c_j \in \mathbb{N} $、$ \sum c_j = t - t_i $、かつ $ \gamma_{i,j+1} - \gamma_{i,j} $ は線形独立である。
• Reesモジュールの構造と次数付けを用いて、多重度ベッチ数が、イデアル生成子の次数に支配される周期的で線形なパターンに安定化することを示す。

実験結果

リサーチクエスチョン

• RQ1 指数 $ t_i \to \infty $ のとき、$ MI_1^{t_1}\cdots I_s^{t_s} $ の多重度ベッチ表の形状は、予測可能な線形形式に安定化するか？
• RQ2 $ \operatorname{Tor}^S_i(MI_1^{t_1}\cdots I_s^{t_s}, A) $ の台は、イデアル生成子の $ G $-次数の線形独立なタプルによって生成されるアフィン半群の有限個の和集合として記述可能か？
• RQ3 $ G $ が $ \mathbb{Z} $ でない $ G $-次数設定において、$ MI_1^{t_1}\cdots I_s^{t_s} $ の $ i $-次包絡の次数の漸近的挙動は何か？
• RQ4 高次の次数において、Rees代数の多重度構造がTorモジュールの台にどのように影響するか？
• RQ5 多重度ベッチ数のパターンが線形になる条件は何か？そして、その線形性のシフトと方向を決定するのは何か？

主な発見

• 十分大きな $ t $ に対して、$ \operatorname{Tor}^S_\ell(MI^t, A) $ の台は、$ \bigcup_{c_1 + \cdots + c_{s_i} = t - t_i} c_1\gamma_{i,1} + \cdots + c_{s_i}\gamma_{i,s_i} + \delta_i $ の形の集合の有限個の和集合に一致する。ここで $ \gamma_{i,j+1} - \gamma_{i,j} $ は線形独立である。
• $ MI_1^{t_1}\cdots I_s^{t_s} $ の多重度ベッチ数は、非ゼロの次数が線形独立な生成元を持つアフィン半群の和集合として現れるという意味で、最終的に線形挙動を示す。
• すべての $ I_i $ が単一の次数で生成される等生成の場合、漸近的線形性が明確になり、証明が簡略化される。この場合、$ \operatorname{Tor}^S_i(MI^t, A) $ の台は、線形独立なタプルによって生成される半群のアフィン平行移動の有限個の和集合に一致する。
• $ I = (f_1, f_2, f_3) $ で $ \deg(f_i) = a, b, c $ のとき、$ \operatorname{Tor}_1^S(I^t, A) $ の台は $ (5 + E_t) \cup (10 + E_{t-1}) $ で与えられ、ここで $ E_t = \{2\alpha + 8\beta \mid \alpha + \beta = t, \alpha, \beta \in \mathbb{Z}_+\} $ である。これは明確な線形パターンを示している。
• $ \operatorname{Tor}_1^S(I^t, A) $ の台は $ (13 + E_{t-1}) \cup (18 + E_{t-2}) \cup (10 + E_{t-1}) \cup (7 + E_{t-1}) \cup (12 + E_{t-2}) $ に分解され、アフィン半群構造が確認される。
• 結果は緩い条件下でも成り立つ：$ A $ がNoether的であるか $ \ell = 0 $ であり、構造は基底環 $ A $ に依存せず、イデアル生成子の次数にのみ依存する。