[论文解读] The possible extremal Betti numbers of a homogeneous ideal

Jürgen Herzog, Leila Sharifan+1 more|arXiv (Cornell University)|Nov 2, 2011

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

一句话总结

本文对特征为0的域上多项式环中任意齐次理想的可能极值Betti数——包括其位置与取值——提供了完整的数值表征。通过使用广义初等理想理论与强稳定单项式理想，作者建立了整数序列 $ i_p, j_p, b_p $ 的必要且充分条件，使得极值Betti数 $ \beta_{i_p,i_p+j_p} = b_p $ 能够出现，其中关键结果为定理3.7，其给出了涉及二项式系数与Macaulay逆系统的一系列显式不等式。

ABSTRACT

We give a numerical characterization of the possible extremal Betti numbers (values as well as positions) of any homogeneous ideal in a polynomial ring over a field.

研究动机与目标

• 表征在特征为0的域上多项式环中任意齐次理想的可能极值Betti数的位置与取值。
• 研究分量线性理想的Betti表结构，其等价于强稳定理想的Betti表。
• 确定给定Betti数序列作为某齐次理想的极值Betti数出现的必要且充分条件。
• 解决在低维情况下构造具有预设生成元矩阵的强稳定理想时的障碍。
• 通过 $({\bf i},{f j})$-lex理想与Macaulay的逆系统，提供极值Betti数的构造性表征。

提出的方法

• 利用极值Betti数在反字典序下取广义初等理想时保持不变的性质，将问题约化为强稳定理想的情形。
• 使用生成元矩阵 $ \mathcal{M}(I) = (\mu_{ij}(I)) $ 编码强稳定理想的结构，其中 $ \mu_{ij}(I) $ 表示在 $ I_j \cap K[x_1,\dots,x_i] $ 中被 $ x_i $ 整除的单项式数量。
• 应用Murai对具有线性分解的理想Betti数的表征（命题2.3），推导出对 $ \mathcal{M}(I) $ 的必要条件，后文在三变量情况下证明其亦为充分条件（推论2.10）。
• 引入 $({f i},{f j})$-lex理想的概念，通过递归地按字典序添加单项式，以实现预设的极值Betti数。
• 利用Macaulay的逆系统与 $ \SS_d({\bf v}) $ 运算，计算给定次数与最大变量指标的单项式数量，确保与Betti数约束相容。
• 通过归纳法证明定理3.7，表明数值条件 (i)–(iv) 对于存在具有给定极值Betti数的理想而言，既必要又充分。

实验结果

研究问题

• RQ1 序列对 $ (i_p, j_p) $ 与整数 $ b_p $ 必须满足何种数值条件，才能作为某特征为0的域上多项式环中齐次理想的极值Betti数实现？
• RQ2 分量线性理想的Betti表能否被完全表征？其主要障碍是什么？
• RQ3 矩阵 $ \mathcal{M}(I) $ 能否作为强稳定理想的生成元矩阵的必要条件也是充分的？若否，则还需何种额外约束？
• RQ4 是否能通过递归的字典序构造单项式集，来构造具有预设极值Betti数的强稳定理想？
• RQ5 在何种条件下，给定的一组极值Betti数对应于其广义初等理想为 $({f i},{f j})$-lex理想的理想？

主要发现

• 定理3.7表明，极值Betti数序列 $ \beta_{i_p,i_p+j_p} = b_p $ 存在当且仅当条件 (i)–(iv) 成立，其中包括对所有 $ p = 1,\dots,k-1 $ 成立的不等式 $ \SS_{j_p - j_{p+1}}({\bf v}^{p+1}) + b_p \leq \binom{i_p + j_p - 1}{i_p} $，其中 $ \SS_d({\bf v}) $ 表示向量的Macaulay和。
• 在三变量情况下，命题2.6中关于矩阵 $ \mathcal{M}(I) $ 可实现为强稳定理想生成元矩阵的必要条件，亦为充分条件，如推论2.10所示。
• 对于任意 $ (i_p, j_p, b_p) $，存在一个实现这些极值Betti数的 $({f i},{f j})$-lex理想，当且仅当满足定理3.7中的数值条件，且此类理想可递归构造。
• 例3.10表明，对于Betti表中 $ \beta_{2,6} = b $ 与 $ \beta_{3,5} = a $ 的情况，可能的取值为 $ a=2 \Rightarrow b=1,2 $ 与 $ a=1 \Rightarrow b=1,2,3,4 $，而 $ a>2 $ 不可能。
• 本文通过构造一个与分量线性理想具有相同Betti表但非分量线性化的理想，解决了Nagel与Römer提出的问题，表明Betti表不能唯一确定分量线性性。
• 通过 $({f i},{f j})$-lex理想与Macaulay逆系统的使用，对特征为0的情形，该问题得到了完整且构造性的解决。