[论文解读] Geometric regularity of powers of two-dimensional squarefree monomial ideals

Dancheng Lu|arXiv (Cornell University)|Aug 22, 2018

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

一句话总结

本文计算了多项式环中二维无平方因子单项式理想的幂的几何正则性，证明了对所有 $ n \geq 1 $ 有 $ \operatorname{g-reg}(S/I^n) = \operatorname{reg}(S/I^{(n)}) $，并确立了当 $ n \geq 2 $ 时，$ S/I^n $ 的 $ a_i $-不变量是 $ n $ 的线性函数。结果通过局部上同调与图论不变量（如围长和度数）导出，显式公式依赖于相关理想的图结构。

ABSTRACT

Let $I$ be a two-dimensional squarefree monomial ideal of a polynomial ring $S$. We evaluate the geometric regularity, $a_i$-invariants for $i\geq 1$ of the power $I^n$. It turns out they are all linear functions in $n$ from $n=2$. Moreover, it is proved $\mbox{g-reg}(S/I^n)= eg(S/I^{(n)})$ for all $n\geq 1$.

研究动机与目标

• 确定二维无平方因子单项式理想 $ I $ 的 $ S/I^n $ 的几何正则性。
• 理解当 $ i \geq 2 $ 且 $ n \geq 2 $ 时 $ S/I^n $ 的 $ a_i $-不变量的行为，证明其关于 $ n $ 为线性函数。
• 建立几何正则性与符号正则性之间的精确关系，证明对所有 $ n \geq 1 $ 有 $ \operatorname{g-reg}(S/I^n) = \operatorname{reg}(S/I^{(n)}) $。
• 通过图论条件刻画 $ S/I_G^n $ 为科恩-麦考利的条件。

提出的方法

• 使用局部上同调模 $ H_{\mathfrak{m}}^i(S/I^n) $ 定义并计算 $ a_i $-不变量。
• 应用定理 2.8 将 $ S/I^n $ 的 $ a_i $-不变量与更大环 $ R = S[y] $ 的不变量关联，实现递归分析。
• 通过图论性质（如围长、直径和顶点度数）计算 $ a_1(S/I_G^n) $ 和 $ a_2(S/I_G^n) $。
• 利用符号幂和斯坦利-雷泽纳理论的已知结果，比较 $ \operatorname{g-reg}(S/I^n) $ 与 $ \operatorname{reg}(S/I^{(n)}) $。
• 利用消去与关系 $ \operatorname{g-reg}(M) = \operatorname{reg}(M / H_{\mathfrak{m}}^0(M)) $ 将问题约化为非零深度模。
• 基于关联图 $ G $ 的围长和度数进行显式情形分析，导出 $ \operatorname{g-reg}(S/I_G^n) $ 的分段线性公式。

实验结果

研究问题

• RQ1 在二维无平方因子单项式理想中，当 $ i \geq 2 $ 且 $ n \geq 2 $ 时，$ S/I^n $ 的 $ a_i $-不变量如何变化？
• RQ2 能否根据相关单纯复形的图不变量显式计算 $ \operatorname{g-reg}(S/I^n) $？
• RQ3 对所有 $ n \geq 1 $，$ S/I^n $ 的几何正则性是否等于第 $ n $ 个符号幂 $ S/I^{(n)} $ 的正则性？
• RQ4 对于哪些图 $ G $，$ S/I_G^n $ 是科恩-麦考利的？其特征能否通过 $ a_1 $-不变量刻画？

主要发现

• 当 $ i \geq 2 $ 时，$ S/I^n $ 的 $ a_i $-不变量是从 $ n = 2 $ 开始关于 $ n $ 的线性函数，其显式系数取决于图结构。
• 对任意二维无平方因子单项式理想 $ I $，对所有 $ n \geq 1 $ 有 $ \operatorname{g-reg}(S/I^n) = \operatorname{reg}(S/I^{(n)}) $，建立了几何正则性与符号正则性之间的强关联。
• 当 $ n \geq 2 $ 时，$ S/I_G^n $ 的几何正则性被显式计算为图 $ G $ 围长的分段线性函数：若围长为 3，则为 $ 3n-1 $；若围长为 4，则为 $ 2n $；否则为 $ 2n-1 $；当 $ n=1 $ 且围长大于等于 5 时，特殊情形为 2。
• $ S/I_G^n $ 的 $ a_1 $-不变量通常不等于 $ S/I_G^{(n)} $ 的对应值，揭示了普通幂与符号幂之间的关键差异。
• 本文刻画了所有使 $ S/I_G^n $ 为科恩-麦考利的图 $ G $ 和 $ n $，并推广了文献 [17] 的结果。
• 公式 $ \operatorname{g-reg}(S/I^n) $ 仅依赖于关联图的围长和度数，对孤立顶点的影响仅通过其对围长和度数的作用体现，无其他依赖。