[论文解读] Betti numbers of Stanley--Reisner rings with pure resolutions

Gábor Hegedüs|arXiv (Cornell University)|Sep 2, 2010

Commutative Algebra and Its Applications参考文献 21被引用 3

一句话总结

本文推导了具有纯解析的斯坦利-雷泽纳环的贝蒂数和希尔伯特-萨默尔示性数的显式公式，这些公式以底层单纯复形的 h-向量表示。关键贡献在于通过对偶性和解析理论，为弦图的团复形和科亨-麦克劳克林单纯复形的 h-向量建立线性方程与不等式。

ABSTRACT

Let $Δ$ be simplicial complex and let $k[Δ]$ denote the Stanley--Reisner ring corresponding to $Δ$. Suppose that $k[Δ]$ has a pure free resolution. Then we describe the Betti numbers and the Hilbert--Samuel multiplicity of $k[Δ]$ in terms of the $h$--vector of $Δ$. As an application, we derive a linear equation system and some inequalities for the components of the $h$--vector of the clique complex of an arbitrary chordal graph. As an other application, we derive a linear equation system and some inequalities for the components of the $h$--vector of Cohen--Macaulay simplicial complexes.

研究动机与目标

• 以单纯复形的 h-向量表示具有纯解析的斯坦利-雷泽纳环的贝蒂数和希尔伯特-萨默尔示性数。
• 为弦图的团复形的 h-向量建立线性方程与不等式。
• 为科亨-麦克劳克林单纯复形的 h-向量推导类似的约束条件。
• 通过使用对偶性和解析理论，将代数不变量与复形的组合数据联系起来。
• 通过纯解析，将弗罗贝格对线性解析的刻画推广到高维复形。

提出的方法

• 利用伊贡-雷纳定理，将单纯复形的亚历山大对偶与斯坦利-雷泽纳环的解析类型联系起来。
• 应用希尔伯特-塞尔定理，通过 h-向量与二项式系数表达希尔伯特级数与示性数。
• 利用单纯复形 Δ 及其亚历山大对偶 Δ* 之间的对偶性，推导出贝蒂数与示性数的公式。
• 利用斯坦利-雷泽纳环具有纯解析的条件，推导出涉及二项式系数与 h-向量分量的显式公式。
• 应用弦图可表征为拟森林的团复形的性质，将图论性质与代数不变量联系起来。
• 通过将纯解析条件与示性数公式中二项式系数的符号交替性相结合，推导出不等式与方程。

实验结果

研究问题

• RQ1 如何以底层单纯复形的 h-向量表示具有纯解析的斯坦利-雷泽纳环的贝蒂数？
• RQ2 弦图的团复形的 h-向量受到哪些线性方程与不等式的约束？
• RQ3 科亨-麦克劳克林单纯复形的贝蒂数与希尔伯特-萨默尔示性数如何与它的 h-向量相关？
• RQ4 亚历山大对偶在将解析数据转化为 h-向量的组合约束中起什么作用？
• RQ5 能否利用纯解析条件，推导出贝蒂数关于 h-向量分量的普遍不等式？

主要发现

• 具有纯解析的斯坦利-雷泽纳环的贝蒂数由公式 $\beta_i = \sum_{\ell=0}^{2+i} (-1)^{\ell+i+1} h_{2+i-\ell} \binom{n-d}{\ell} $ 给出，其中 $n$ 为顶点数，$d$ 为复形的维数。
• 对于弦图的团复形，h-向量满足 $\sum_{\ell=0}^{j} (-1)^\ell h_{j-\ell} \binom{n-d}{\ell} = 0$，当 $j=1$ 或 $p+2 < j \leq n$ 时成立，其中 $p$ 为射影维数。
• 环 $k[\Delta^*]$ 的希尔伯特-萨默尔示性数为 $e(k[\Delta^*]) = \frac{(-1)^{k^*}}{k^*!} \sum_{i=0}^p (-1)^i \beta_i^* (n-d+i)^{k^*} $，其中 $k^*$ 由条件 $\binom{n}{k^*} \neq f_{k^*-1}$ 但 $\binom{n}{k^*-1} = f_{k^*-2}$ 定义。
• 对于科亨-麦克劳克林复形，不等式 $\sum_{\ell=0}^{t+i} (-1)^{\ell+i+1} \binom{k^*}{\ell} h^*_{t+i-\ell} \geq \binom{p}{i} $ 对所有 $0 \leq i \leq p$ 成立，其中 $t = n-d$。
• 弦图的团复形的 h-向量满足方程 $\sum_{\ell=0}^{2+i} (-1)^{\ell+i+1} \binom{n-d}{\ell} h_{2+i-\ell} \geq \binom{p}{i} $，对所有 $0 \leq i \leq p$ 成立，该式源于其补图的边理想的 2-线性解析。
• 科亨-麦克劳克林单纯复形的 h-向量分量受恒等式 $\binom{n}{k^*} - f_{k^*-1} = \frac{(-1)^{k^*}}{k^*!} \sum_{i=0}^p (-1)^i \beta_i^* (n-d+i)^{k^*} $ 约束，该恒等式将组合学与代数不变量联系起来。