[論文レビュー] Betti Numbers of Graph Ideals

Sean Jacques|ArXiv.org|Oct 5, 2004

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

ひとこと要約

本稿は、グラフに付随する単項イデアルのベッチ数および射影次元を計算する組合せ的枠組みを確立し、代数的不変量をグラフ的構造に関連付ける。完全グラフ、完全二部グラフ、サイクルグラフのベッチ数について明示的な公式を導出し、部分木分解を用いた再帰的アルゴリズムにより、森のベッチ数および射影次元を計算する手法を提供する。

ABSTRACT

In this thesis we investigate certain types of monomial ideals of polynomial rings over fields. We are interested in minimal free resolutions of these ideals (or equivalently the quotients of the polynomial ring by the ideals) considered as modules over the polynomial ring. There is no simple method of finding such resolutions but in the case of Stanley-Reisner ideals Hochster's formula and its variants provide a way to compute the Betti numbers of these resolutions. Even with these formulae it is not in general possible to find especially explicit or useful descriptions of the Betti numbers. However we restrict our attention to those ideals which are generated by square free monomials of degree 2. The purpose of this is to associate these ideals with graphs. This provides a link between algebraic objects, the monomial ideals, and combinatorial objects, the graphs. This correspondence enables us do define new numerical invariants of graphs: the Betti numbers and projective dimension of the corresponding graph ideals. We find explicit descriptions of the Betti numbers and projective dimensions of cycles and forests. In the case of forests we find a method of describing the Betti numbers in terms of the Betti numbers of subforests. This also leads to a description of the projective dimension of a forests in terms of the projective dimensions of its subforests. It turns out that the projective dimension of forests can be defined in purely combinatorial terms and hence it gives a new combinatorial numerical invariant of forests.

研究の動機と目的

• 平方自由な二次単項式によって生成される単項イデアルを有限単純グラフと関連付けることで、グラフ構造を用いた代数的不変量の研究を可能にする。
• グラフイデアルの最小自由分解を用いて、新たなグラフ不変量としてベッチ数および射影次元を定義する。
• 完全、完全二部、サイクルグラフなどの主要なグラフ族のベッチ数について明示的な公式を導出する。
• 部分木分解を用いた再帰的アルゴリズムを開発し、森のベッチ数および射影次元を計算する。
• 森の射影次元が体の特徴に関する依存性を持たないことを示し、組合せ的再帰に依拠する。

提案手法

• 平方自由な二次単項式イデアルと有限単純グラフの対応関係を用いて、グラフイデアルを定義する。
• ホクスターの公式を適用し、ベッチ数を誘導部分グラフおよびリンクの削減ホモロジーで表現する。
• 細胞的分解を用いて最小自由分解を分析し、特に木イデアルに対して有効である。
• 木を中心頂点と部分木に分解することで、森のベッチ数について再帰的公式を導出する。
• 包含除算法および二項係数の恒等式を用いて、再帰的計算における部分グラフの寄与を統合する。
• 射影次元の再帰的関係を確立する：pd(T) = max{pd(T'), pd(T'') + n} ここで T' と T'' は部分木であり、n は T'' に属する葉の数である。

実験結果

リサーチクエスチョン

• RQ1 グラフに付随する単項イデアルのベッチ数は、どのように組合せ的データを用いて計算できるか？
• RQ2 完全、完全二部、サイクルグラフのベッチ数について、どのような明示的公式が存在するか？
• RQ3 森のベッチ数および射影次元は、その部分木分解から再帰的に計算可能か？
• RQ4 森の射影次元は、その部分森の射影次元とどのように関係するか？
• RQ5 森の射影次元は、基底体の特徴に関する不変量か？

主な発見

• 完全グラフ K_n のベッチ数は、i ≤ n-1 のとき β_i(K_n) = ×{n-1}{i} で与えられ、それ以上のすべてのベッチ数は 0 である。
• 完全二部グラフ K_{m,n} については、i ≥ 1 のとき β_i(K_{m,n}) = ×{m+n-2}{i} - ×{m-1}{i} - ×{n-1}{i} + ×{m+n-2}{i-1} として明示的に計算される。
• サイクルグラフ C_n のベッチ数は、誘導部分グラフおよびランの数え上げにより決定され、i ≥ 1 のとき β_i(C_n) = ×{n}{i} - ×{n}{i-1} である。
• 森について、i 番目のベッチ数は β_{i,d}(T) = β_{i,d}(T') + ×{n-1}{j} β_{i-(j+1),d-(j+2)}(T'') (j を通じて和をとる) を満たす。ここで T' と T'' は部分木である。
• 森 T の射影次元は、pd(T) = max{pd(T'), pd(T'') + n} で与えられ、ここで n は中心頂点に接続された部分木 T'' に属する葉の数である。
• 任意の森の射影次元は、基底体の特徴に関する依存性を持たない。ベッチ数が組合せ的に決定されるからである。