[论文解读] Weakly closed graphs and F-purity of binomial edge ideals

Kazunori Matsuda|arXiv (Cornell University)|Sep 19, 2012

Commutative Algebra and Its Applications参考文献 24被引用 12

一句话总结

本文引入了弱闭图的概念，作为图论中闭图的推广，并证明当图 $ G $ 为弱闭图时，商环 $ S/J(G) $ 是 $ F $-纯的。该结果推广了Ohtani的定理，通过格罗布纳基技术及正特征域上多项式环中弗罗贝尼乌斯幂的性质，确立了一类新的图，其上 $ F $-纯性成立。

ABSTRACT

Herzog-Hibi-Hreindóttir-Kahle-Rauh introduced the class of closed graph and they proved that the binomial edge ideal $J(G)$ of a graph $G$ has quadratic Gröbner bases if $G$ is closed. In this paper, we introduce the class of weakly closed graph as a generalization of the closed graph and prove that the quotient ring $S/J(G)$ is $F$-pure if $G$ is weakly closed. This fact is a generalization of Ohtani's theorem.

研究动机与目标

• 将闭图的概念推广为弱闭图，同时保持其优良的代数性质。
• 研究弱闭图的二项式边理想对应的商环 $ S/J(G) $ 的 $ F $-纯性。
• 将Ohtani关于 $ F $-纯性的定理推广到比闭图更广泛的图类。
• 利用Harary的分类方法，对具有5个和6个顶点的连通弱闭图进行分类。

提出的方法

• 通过如下条件定义弱闭图：若 $ \{i,k\} \in E(G) $，则对所有 $ i < j < k $，有 $ \{i,j\} \in E(G) $ 或 $ \{j,k\} \in E(G) $。
• 使用单项式的字典序，分析首项理想，证明 $ Y_1(1,\ldots,n)X_n \not\in \mathfrak{m}^{[p]} $。
• 应用引理2.5于模 $ J_G^{[p]} $ 的二项式关系，证明对所有 $ \{i,j\} \in E(G) $，有 $ Y_1(1,\ldots,n)X_n \cdot [i,j] \in J_G^{[p]} $。
• 利用弱闭条件，可在保持模 $ J_G^{[p]} $ 同余的前提下，对单项式中的变量进行置换。
• 利用弗罗贝尼乌斯作用及商理想 $ (J_G^{[p]} : J_G) $，验证 $ S/J_G $ 的 $ F $-纯性。
• 利用Harary对连通图的分类，对5个和6个顶点的所有连通弱闭图进行分类。

实验结果

研究问题

• RQ1 弱闭图类是否比闭图类更广泛地保持 $ S/J(G) $ 的 $ F $-纯性？
• RQ2 能否通过新图类的组合性质，对二项式边理想的 $ F $-纯性条件进行组合刻画？
• RQ3 弱闭条件是否蕴含 $ Y_1(1,\ldots,n)X_n \in (J_G^{[p]} : J_G) \setminus \mathfrak{m}^{[p]} $？
• RQ4 完全多部图是否为弱闭图？这是否意味着其二项式边理想的 $ F $-纯性成立？
• RQ5 具有5个和6个顶点的连通弱闭图的结构是怎样的？

主要发现

• 若图 $ G $ 为弱闭图，则商环 $ S/J(G) $ 是 $ F $-纯的，推广了Ohtani对闭图的结果。
• 弱闭条件确保 $ Y_1(1,\ldots,n)X_n \in (J_G^{[p]} : J_G) \setminus \mathfrak{m}^{[p]} $，从而蕴含 $ F $-纯性。
• 每个完全多部图都是弱闭图，因此对于此类图，$ S/J(G) $ 是 $ F $-纯的。
• 大爪形图与长度 $ \geq 5 $ 的无弦圈都不是弱闭图，确认弱闭图避开了这些结构。
• 利用Harary的分类方法，对5个和6个顶点的所有连通弱闭图进行了分类，结果表明弱闭图是闭图的真超集。
• 当 $ p=2 $ 时，$ S/J_{C_5} $ 不是 $ F $-纯的，但 $ S/J_{C_6} $ 在 $ p=2,3,5 $ 时也不是 $ F $-纯的，表明 $ F $-纯性依赖于特征。