[論文レビュー] On the binomial edge ideals of proper interval graphs

Herolistra Baskoroputro|arXiv (Cornell University)|Nov 30, 2016

Commutative Algebra and Its Applications参考文献 15被引用数 7

ひとこと要約

本稿では、二項辺イデアルの線形ストランドに関して、適切な区間グラフ（PI グラフ）のベッチ数予想が成り立つことを証明し、正則性が2であるPI グラフについて、予想を完全に確認している。グレブナー基底理論とTor代数を用いて、二項辺イデアルとその辞書式初期イデアルの間で、線形ストランドにおいても、その次数付きベッチ数が一致することを示し、正則性が2の場合には、全ベッチ図も同様に一致することを拡張している。

ABSTRACT

We prove several cases of the Betti number conjecture for the binomial edge ideal $J_G$ of a proper interval graph $G$ (also known as closed graph). Namely, we show that this conjecture is true for the linear strand of $J_G$, and true in general for any proper interval graph $G$ such that the regularity of $S/J_G$ equals two.

研究の動機と目的

• 適切な区間グラフの二項辺イデアルに関して、ベッチ数予想が成り立つことを検証すること。この予想は、イデアルとその辞書式初期イデアルのベッチ数が同一であると述べるものである。
• 任意のPI グラフ $ G $ に対して、$ J_G $ と $ \operatorname{in}_{<}(J_G) $ の線形ストランドのベッチ図が一致することを確立すること。
• 正則性 $ \operatorname{reg}(S/J_G) = 2 $ の場合に、全ベッチ数予想を証明し、コーエン＝マカウル再帰的イデアルに対する先行結果を拡張すること。
• クリーク複体と単項式初期イデアルの構造を活用して、Torモジュールと完全系列を用いてベッチ数を分析すること。

提案手法

• $ S = K[x_1,\dots,x_n,y_1,\dots,y_n] $ 上の辞書式順序を用いて、初期イデアル $ \operatorname{in}_{<}(J_G) $ を定義し、これは二部グラフの単項式辺イデアルである。
• [22] の命題 2.1 を適用して、誘導部分グラフの補グラフの連結成分の数を用いて $ \beta_{i,i+1}(S/J_G) $ を計算する。
• $ J_G $、$ P = J_{K_n} $、および $ Q $ を含む短完全系列を構成し、成分間のTorモジュールとベッチ数を関連付ける。
• $ \operatorname{in}_{<}(J_G) = \operatorname{in}_{<}(P) \cap \operatorname{in}_{<}(Q) $ および $ \operatorname{in}_{<}(P)+\operatorname{in}_{<}(Q) = \operatorname{in}_{<}(P+Q) $ である事実を用いて、Torモジュールにおける同型を導出する。
• 分解 $ J_G = P \cap Q $ から得られる完全系列を用いて、Torモジュール $ \operatorname{Tor}_i(S/J_G)_{i+2} $ と $ \operatorname{Tor}_i(S/\operatorname{in}_{<}(J_G))_{i+2} $ を比較し、次数 $ i+2 $ におけるベッチ数の等価性を示す。
• $ \beta_{i,i+1}(S/J_G) = f_i(\Delta(G)) $（$ \Delta(G) $ の $ (i+1) $-クリークの数）であるという事実を活用し、線形ストランドのベッチ数を等しくする。

実験結果

リサーチクエスチョン

• RQ1 任意の適切な区間グラフについて、二項辺イデアルの線形ストランドにおけるベッチ数予想は成り立つか？
• RQ2 正則性 $ \operatorname{reg}(S/J_G) = 2 $ のPI グラフについて、ベッチ数予想を完全に検証できるか？
• RQ3 正則性 $ \operatorname{reg}(S/J_G) = 2 $ の場合に、$ J_G $ と $ \operatorname{in}_{<}(J_G) $ のベッチ数がすべての次数で一致するか？
• RQ4 PI グラフにおいて、すべての $ i $ に対して $ \beta_{i,i+1}(S/J_G) = \beta_{i,i+1}(S/\operatorname{in}_{<}(J_G)) $ が成り立つか？
• RQ5 クリーク複体の構造は、$ J_G $ 及びその初期イデアルのベッチ数を決定する上で果たす役割は何か？

主な発見

• 任意の適切な区間グラフ $ G $ について、$ J_G $ と $ \operatorname{in}_{<}(J_G) $ の線形ストランドのベッチ数は等しい。$ \beta_{i,i+1}(S/J_G) = \beta_{i,i+1}(S/\operatorname{in}_{<}(J_G)) = f_i(\Delta(G)) $ が成り立ち、ここで $ f_i(\Delta(G)) $ は $ G $ のクリーク複体における $ (i+1) $-クリークの数を表す。
• 任意の正則性 $ \operatorname{reg}(S/J_G) = 2 $ のPI グラフ $ G $ について、全ベッチ数予想が完全に成立する。すなわち、すべての $ i,j $ に対して $ \beta_{ij}(S/J_G) = \beta_{ij}(S/\operatorname{in}_{<}(J_G)) $ が成り立つ。
• 分解 $ J_G = P \cap Q $ から得られる完全系列を用いて、Torモジュールの比較により、$ \beta_{i,i+2}(S/J_G) = \beta_{i,i+2}(S/\operatorname{in}_{<}(J_G)) $ が確立された。
• 初期イデアル $ \operatorname{in}_{<}(J_G) $ が $ \operatorname{in}_{<}(J_G) = \operatorname{in}_{<}(P) \cap \operatorname{in}_{<}(Q) $ を満たすことが示され、これにより完全系列を用いたベッチ数の比較が可能になった。
• $ S/(P+Q) $ の正則性が1に等しいことが計算され、高次のTor次数が消えることが示され、これは次数 $ i+2 $ におけるベッチ数の等価性を確立する上で極めて重要である。
• 証明は、$ Q $ と $ P+Q $ が特別な形をしていることにより、初期イデアル作用の下でもベッチ数の等価性が保たれることに依拠している。