[論文レビュー] Algebraic properties of the path ideal of a tree

Jing Jane He, Adam Van Tuyl|ArXiv.org|Feb 5, 2009

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

ひとこと要約

本稿では、有向木のパスイデアルが単体的木の facet イデアルであることを確立し、商環が逐次 Cohen-Macaulay であり、Betti 数が特徴値に依存しないことを保証する。線グラフのパスイデアルの射影次元についての正確な公式が導出され、既知の辺イデアルの結果を一般化し、任意の木に対して下界が得られる。

ABSTRACT

The path ideal (of length t >=2) of a graph G is the monomial ideal, denoted I_t(G), whose generators correspond to the directed paths of length t in G. We study some of the algebraic properties of I_t(G) when G is a tree. We first show that I_t(G) is the facet ideal of a simplicial tree. As a consequence, the quotient ring R/I_t(G) is always sequentially Cohen-Macaulay, and the Betti numbers of R/I_t(G) do not depend upon the characteristic of the field. We study the case of the line graph in greater detail at the end of the paper.

研究の動機と目的

• 有向木におけるパスイデアルの代数的性質を調査すること。
• 木のパスイデアルが単体的木の facet イデアルであることを示すこと。
• パスイデアルの商環が逐次 Cohen-Macaulay であり、特徴値に依存しない Betti 数を持つことを確立すること。
• 線グラフのパスイデアルの射影次元について閉形式の公式を導出すること。
• 任意の木におけるパスイデアルの射影次元および算術的ランクの下界を提供すること。

提案手法

• 有向木のパスイデアルを、長さ t の有向パスに対応する facet を持つ純粋単体的複体の facet イデアルとして解釈する。
• 木の唯一のパス性質を用いて、この単体的複体が単体的木であることを示す。
• 単体的森の facet イデアルの理論を応用し、逐次 Cohen-Macaulay 性と Betti 数の特徴値に依存しない性質を導出する。
• 特殊なクラスのパスイデアルにおいて、射影次元の再帰的公式を導出するために Betti 分割技術を用いる。
• 線グラフの場合、生成子の重複とよい分割の組合せ的解析を用いて、射影次元の正確な公式を導出する。
• Hochster の公式と単体的ホモロジーを用いて、線グラフと一般の木との間の Betti 数を比較し、射影次元の下界を得る。

実験結果

リサーチクエスチョン

• RQ1 有向木のパスイデアルは単体的木の facet イデアルか？
• RQ2 木のパスイデアルの商環は逐次 Cohen-Macaulay のままであるか？
• RQ3 パスイデアルの Betti 数はベース体 k の特徴値に依存しないか？
• RQ4 線グラフのパスイデアルの射影次元について正確な公式を導出できるか？
• RQ5 任意の木におけるパスイデアルの射影次元および算術的ランクにどのような下界を確立できるか？

主な発見

• 有向木 $ \tau $ のパスイデアル $ I_t(\tau) $ は単体的木の facet イデアルであり、$ R/I_t(\tau) $ が逐次 Cohen-Macaulay であることを示唆する。
• ベース体 $ k $ の特徴値に依存しない、$ I_t(\tau) $ の次数付き Betti 数が、単体的森構造のおかげで成立する。
• 線グラフ $ L_n $ 上の $ I_t(L_n) $ の射影次元についての正確な公式が導出され、$ n \mod (t+1) $ に依存する。
• 特に $ n \equiv d \pmod{t+1} $ で $ 0 \leq d \leq t-1 $ のとき、$ \operatorname{pd}(R/I_t(L_n)) = \frac{2(n-d)}{t+1} $；$ n \equiv t \pmod{t+1} $ のとき、$ \frac{2n - (t-1)}{t+1} $ である。
• 高さ $ n-1 $ の任意の根付き木 $ \Gamma $ に対して、$ I_t(\Gamma) $ の射影次元は $ I_t(L_n) $ のそれ以上であることが示され、下界が得られる。
• 例として $ n \equiv 2 \pmod{4} $ かつ $ t=3 $ の場合、生成子のよい分割が存在しないことがあり、特定の分解技法の限界を示唆する。