[論文レビュー] 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 $-純であることを証明する。この結果は、オオタニの定理を拡張し、正の特性を持つ多項式環におけるグレブナー基底とフォビオウス巾の性質を用いて、$ 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 $-純性を調査すること。
• オオタニの $ F $-純性に関する定理を、閉グラフを超えるより広いクラスのグラフへ拡張すること。
• ハラリーの分類を用いて、5頂点および6頂点の連結弱く閉じたグラフを分類すること。

提案手法

• すべての $ i < j < k $ に対して、$ \{i,k\} \in E(G) $ ならば $ \{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 $-純性を検証する。
• ハラリーの連結グラフ分類を用いて、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 $-純である。これは、閉グラフに対するオオタニの結果を一般化する。
• 弱く閉じた条件により、$ Y_1(1,\ldots,n)X_n \in (J_G^{[p]} : J_G) \setminus \mathfrak{m}^{[p]} $ が保証され、これが $ F $-純性を示唆する。
• すべての完全多部グラフは弱く閉じており、したがってこのようなグラフに対して $ S/J(G) $ は $ F $-純である。
• ビッグクラウドおよび長さ $ \geq 5 $ のサイクルは弱く閉じていないことが確認され、弱く閉じたグラフはこれらの構造を避けることがわかる。
• ハラリーの分類を用いて、5頂点および6頂点のすべての連結弱く閉じたグラフを分類した。その結果、弱く閉じたグラフは閉グラフの真の上位集合であることが明らかになった。
• $ p=2 $ のとき、$ S/J_{C_5} $ は $ F $-純でないが、$ p=2,3,5 $ のとき $ S/J_{C_6} $ は $ F $-純でない。これは $ F $-純性が特性に依存することを示唆している。