[论文解读] The stable set of associated primes of a complementary edge ideal

Antonino Ficarra|arXiv (Cornell University)|Mar 2, 2026

Commutative Algebra and Its Applications被引用 0

一句话总结

该论文明确确定每个幂次的互补边理想 I_c(G)^k 的相关素，证明持续性并计算 v 函数，同时描述高阶平方自由单项式理想的同调性质。

ABSTRACT

We explicitly determine the associated primes of every power of a complementary edge ideal, prove that they satisfy the persistence property, and compute the $ ext{v}$-function. In the course of the proofs, we completely describe the homological properties of all powers of squarefree monomial ideals generated in degrees large relative to the number of variables defining them.

研究动机与目标

• 激励并形式化研究单项式理想幂次的相关素何时稳定的主题，重点在互补边理想。
• 刻画稳定集 Ass^∞(I_c(G)) 并给出 astab(I_c(G)) 的界限。
• 发展一个通用框架（单项式局部化与深度论证）以分析广义平方自由单项式理想族的持续性。
• 通过稳定集和幂的同伦行为，将图的组合性质与代数不变量联系起来。

提出的方法

• 使用单项式局部化 I(P_F) 将 Ass(I) 与 depth(S_F/I(P_F)^k) 联系到稳定性结果。
• 应用定理 B：若某族 F 的 depth(S_F/I(P_F)^k) 随 k 单调非增，则持续性成立。
• 通过 Betti 分裂将幂 I^k 拆解，以分离来自变量支集不相交的分量的贡献。
• 利用高阶（≥ n-2）生成的平方自由单项式理想的结构，推导 depth 与正则性性质。
• 证明对于 I_c(G) 具有连通分量的情形，某些 Betti 与 depth 计算能给出稳定集。
• 利用线性商、分量线性性及 reg/depth 行为的已知结果，确立定理 C 的（a）–（f）部分。

实验结果

研究问题

• RQ1 对有限图 G 的互补边理想 I_c(G) 的 Ass^∞(I_c(G)) 是多少？
• RQ2 I_c(G) 的幂是否满足持续性性质，如是，其 astab(I_c(G)) 的上界是多少？
• RQ3 随着 k 增大，I_c(G)^k 的 depth 与正则性如何变化，特别是当 I_c(G) 在 ≥ n-2 次生成时？
• RQ4 在什么条件下 I_c(G)^k 的分等 Betti 数对基本域 K 独立？
• RQ5 G 的图论特征（如孤立顶点和二分组件）如何支配 I_c(G)^k 的代数不变量？

主要发现

• I_c(G)^k 的 Ass(c) 形成一个持续序列：Ass(I_c(G)) ⊆ Ass(I_c(G)^2) ⊆ … 。
• 稳定集 Ass^∞(I_c(G)) 恰好等于并集 {P_i: deg_G(i)=0} ∪ {P_F: |F|>1, tilde b(G|_F)=0}。
• astab(I_c(G)) 的上界为 n−2。
• 若 G 具有某些结构，幂 I_c(G)^k 的 depth 与 reg 稳定且有显式公式，且对所有 k≥1，分级 Betti 数不依赖于域 K。
• I_c(G) 满足持续性性质，定理 B 提供了一个用于证明高阶平方自由单项式理想持续性的普遍框架。
• 分析使用单项式局部化 I(P_F)、Betti 分裂和 Tor-消失映射来控制 depth 与 Betti 数的渐近行为。