[论文解读] Monomial ideals with linear upper bound regularity

Mircea Cimpoeaş|ArXiv.org|Nov 3, 2006

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

一句话总结

本文为一类新定义的单项式理想——$\overline{\texttt{D}}$-固定理想（即$\overline{\texttt{d}}$-固定理想的和）建立了线性正则性上界。通过证明当$e \geq \text{reg}(I)$时，度数为$e$的截断$ I_{\geq e} $是稳定的，作者推广了Eisenbud-Reeves-Totaro的结果，并利用截断的稳定性与Pardue公式，为$\overline{\texttt{D}}$-固定理想提供了一个新的证明，表明$\text{reg}(I) \leq n(\deg(I)-1)+1$。

ABSTRACT

In this paper, we extend a result of Eisenbud-Reeves-Totaro in the frame of ideals of Borel type. As a consequence, we obtain a linear upper bound for the regularity of a new class of ideals, called $\mathcal D$-fixed ideals.

研究动机与目标

• 将Eisenbud-Reeves-Totaro关于正则性上界的结论，从主$p$-Borel理想推广至更广泛的单项式理想类。
• 引入并研究$\texttt{D}$-固定理想，作为$\texttt{d}$-固定理想与Borel型理想的一个真超类。
• 利用高次截断的稳定性，为$\texttt{D}$-固定理想建立线性正则性上界。
• 通过截断稳定性与Pardue公式，为$\texttt{D}$-固定理想提供一个新的证明，表明$\text{reg}(I) \leq n(\deg(I)-1)+1$。

提出的方法

• 将$\texttt{D}$-固定理想定义为$\texttt{d}$-固定理想的和，其中$\texttt{d}$-固定理想由单项式生成元的整除性条件所定义。
• 通过归纳法对$ I $的序列链长度进行归纳，证明对任意Borel型理想$ I $，当$ e \geq \text{reg}(I) $时，截断$ I_{\geq e} $是稳定的。
• 利用$ I_{\geq e} $的稳定性，推导出对Borel型理想有$ \text{reg}(I) = \min\{e : I_{\geq e}\text{ 是稳定的}\} $。
• 应用Pardue公式计算$\texttt{d}$-固定理想的正则性：$ \text{reg}(I) = \max_q D_q $，其中$ D_q = \alpha_{qs_q}d_{s_q} + (i_q - 1)(d_{s_q} - 1) $，以计算主$\texttt{d}$-固定理想的正则性。
• 利用稳定理想之和仍为稳定的事实，证明当$ I = \sum I_i $且每个$ I_i $为主$\texttt{d}$-固定理想时，若取$ e = \max_i \text{reg}(I_i) $，则$ I_{\geq e} $是稳定的。
• 结合上述结果与已知不等式$ \text{reg}(I_i) \leq n(\deg(I)-1)+1 $，推导出$\texttt{D}$-固定理想的线性正则性上界。

实验结果

研究问题

• RQ1 Eisenbud-Reeves-Totaro的正则性上界能否从主$p$-Borel理想推广至更广泛的单项式理想类？
• RQ2 截断$ I_{\geq e} $的何种结构性质可确保在单项式理想中实现正则性控制？
• RQ3 是否存在一个自然的理想类，其严格包含$\texttt{d}$-固定理想，同时对加法封闭并保持正则性上界？
• RQ4 对所有Borel型理想，是否都有$ I_{\geq e} $在$ e \geq \text{reg}(I) $时稳定？该性质能否用于计算或界定正则性？
• RQ5 能否通过截断稳定性与Pardue公式，为一类新理想重新证明线性正则性上界$ \text{reg}(I) \leq n(\deg(I)-1)+1 $？

主要发现

• 对任意Borel型理想$ I $，当$ e \geq \text{reg}(I) $时，截断$ I_{\geq e} $是稳定的，该结果推广了Eisenbud-Reeves-Totaro的结果。
• 对所有Borel型理想（包括$\texttt{D}$-固定理想），有$ \text{reg}(I) = \min\{e : I_{\geq e}\text{ 是稳定的}\} $。
• 所有$\texttt{D}$-固定理想均为Borel型，且$\texttt{D}$-固定理想的类严格包含$\texttt{d}$-固定理想的类。
• $\texttt{D}$-固定理想$ I $的正则性满足$ \text{reg}(I) \leq n(\deg(I)-1)+1 $，且对某些单项式完备交，等号可取到。
• 对$\texttt{D}$-固定理想$ I = \sum_{i=1}^m I_i $，其中每个$ I_i $为主$\texttt{d}^{(i)}$-固定理想，有$ \text{reg}(I) \leq \max_i \text{reg}(I_i) $，且在截断稳定性条件下该界是紧的。
• 例2.7表明，并非所有局部诺代数单项式理想都是$\texttt{D}$-固定理想，也并非所有单项式完备交都是$\texttt{d}$-固定理想，从而说明这些类之间存在真包含关系。