[论文解读] 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(K_n) = ×{n-1}{i} 给出（当 i ≤ n-1 时），所有更高阶的贝蒂数为零。
• 对于完全二部图 K_{m,n}，贝蒂数显式计算为 β_i(K_{m,n}) = ×{m+n-2}{i} - ×{m-1}{i} - ×{n-1}{i} + ×{m+n-2}{i-1}（当 i ≥ 1 时）。
• 环图 C_n 的贝蒂数通过计数诱导子图和连续段确定，β_i(C_n) = ×{n}{i} - ×{n}{i-1}（当 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'' 中的叶数。
• 任何森林的投射维数不依赖于基域的特征，因为贝蒂数是组合确定的。