[论文解读] Regularity of Symbolic Powers of Edge Ideals

A. V. Jayanthan, Rajiv Kumar|arXiv (Cornell University)|Mar 13, 2019

Commutative Algebra and Its Applications参考文献 10被引用 6

一句话总结

本论文证明，对于特定类别的图——特别是满足顶点覆盖条件的奇圈（长度至少为5）与二分图的团和图——其边理想的符号幂的Castelnuovo-Mumford正则性等于其普通幂的正则性。作者通过将符号幂分解为普通幂的乘积之和，并分析由此产生的正合列，证明当全图与其外子图的诱导匹配数之差至少为3时，有 reg(I^{(s)}) = reg(I^s)。

ABSTRACT

In this article, we prove that for several classes of graphs, the Castelnuovo-Mumford regularity of symbolic powers of their edge ideals coincide with that of their ordinary powers.

研究动机与目标

• 解决N. C. Minh提出的猜想：对所有 s ≥ 1 及所有有限简单图，有 reg(I^{(s)}) = reg(I^s)。
• 将此前关于单圈图、弦图及Cameron-Walker图的结果，扩展至包含单个主导奇圈的更广泛图类。
• 建立符号幂正则性与普通幂正则性相等的条件。
• 利用顶点覆盖与诱导匹配不变量，提供符号幂与普通幂正则性一致的图的结构表征。

提出的方法

• 将符号幂 I^{(s)} 分解为与子图相关理想之普通幂的乘积之和。
• 利用符号Rees代数及对应不可约图的单项生成元，分析 I^{(s)} 的结构。
• 应用涉及商模与列理想的关系正合列，比较滤链中 I_{i-1} 与 I_i 的正则性。
• 通过在滤链步骤上使用归纳法，结合列理想商模正则性的界，证明正则性的稳定性。
• 依赖诱导匹配数 ν(G) 与顶点覆盖数 α(G) 来控制正则性的增长。
• 利用条件 ν(G) − ν(H) ≥ 3（其中 H 为奇圈邻域外的子图）以确保滤链中正则性的稳定性。

实验结果

研究问题

• RQ1 在何种条件下，有限简单图 G 的边理想 s 次符号幂的正则性等于其 s 次普通幂的正则性？
• RQ2 当外子图的诱导匹配数足够小时，是否对通过奇圈与二分图进行团和构造的图，有 reg(I^{(s)}) = reg(I^s) 成立？
• RQ3 能否将Minh的猜想从单圈图与弦图扩展至更一般的含单个主导奇圈的图类？
• RQ4 图的结构，特别是奇圈邻域的结构，如何影响符号幂的正则性？
• RQ5 诱导匹配数在决定边理想符号幂正则性方面起何种作用？

主要发现

• 对于由奇圈 C_{2n+1} 与二分图进行团和构造的图 G，若 ν(G) − ν(H) ≥ 3，则对所有 s ≥ 1 有 reg(I^{(s)}) = reg(I^s)。
• 当奇圈长度至少为 9 时，条件 ν(G) − ν(H) ≥ 3 自动满足。
• 当 G 包含 C_7 圈时，若在该圈上附加一个 P_3，则条件成立。
• 当 C_5 圈存在时，若在同一个顶点上附加两个 P_3，则条件成立；或在相邻顶点上分别附加一个 P_3 与一个 P_2，条件亦成立。
• 当 C_3 圈存在时，若在三角形的每个顶点上各附加一个 P_3，或在同一个顶点上附加两个 P_3，则条件成立。
• 满足正则性等式的图类包括非单圈图，例如通过在奇圈的边上附加 C_4 所构成的图。