[论文解读] 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

一句话总结

该论文证明了在诺特 $ G $-分次代数上，多重分次理想幂的 Betti 表在 syzygy 度数趋于无穷时表现出渐近线性行为。通过使用多重分次 Tor 模和 Rees 代数的 Stanley 分解，论文证明了 $ \operatorname{Tor}^S_i(MI_1^{t_1}\cdots I_s^{t_s}, A) $ 的支撑集稳定为一组仿射半群的并集，其生成元线性无关，从而导致多重分次 Betti 数的渐近线性。

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.

研究动机与目标

• 理解诺特 $ G $-分次代数中 $ G $-齐次理想幂的多重分次 Betti 数的渐近行为。
• 将此前仅限于 $ \mathbb{Z} $-分次情形的正则性与 syzygy 度数结果，推广至任意有限生成阿贝尔群 $ G $，如 toric 簇的除子类群。
• 建立 $ MI_1^{t_1}\cdots I_s^{t_s} $ 的非零 $ G $-分次 Betti 数的形状在 $ t_i \to \infty $ 时最终呈现线性。
• 以线性无关的理想生成元度数的元组生成的仿射半群形式，描述 $ \operatorname{Tor}^S_i(MI_1^{t_1}\cdots I_s^{t_s}, A) $ 支撑集的结构。

提出的方法

• 通过多 Rees 代数 $ \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] $-模使用 Stanley 分解。
• 通过将 Rees 代数分解为 Stanley 分量（每个分量对应一组生成元，其差值线性无关），分析 $ \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 模的结构和分次性质，证明多重分次 Betti 数稳定为由理想生成元度数决定的周期性线性模式。

实验结果

研究问题

• RQ1 当 $ t_i \to \infty $ 时，$ MI_1^{t_1}\cdots I_s^{t_s} $ 的多重分次 Betti 表形状是否趋于可预测的线性形式？
• 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 $ 个 syzygy 的度数的渐近行为如何？
• RQ4 Rees 代数的多重分次结构如何影响高次中的 Tor 模支撑集？
• RQ5 在何种条件下，多重分次 Betti 数模式变为线性？其线性性的平移与方向由什么决定？

主要发现

• 当 $ 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} $ 的多重分次 Betti 数表现出渐近线性行为，即其非零度数构成一组线性无关生成元的仿射半群的并集。
• 在等生成情形（每个 $ 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 $ 为诺特环或 $ \ell = 0 $，且结构与基环 $ A $ 无关，仅依赖于理想生成元的度数。