[论文解读] A generalization of $k$-Cohen-Macaulay complexes

Hassan Haghighi, Rahim Zaare-Nahandi+1 more|ArXiv.org|Dec 21, 2009

Commutative Algebra and Its Applications参考文献 19被引用 4

一句话总结

本文引入并研究了 $k$-CM$_t$ 单纯复形，这是 $k$-Cohen-Macaulay 和 $k$-Buchsbaum 复形的推广。本文证明了：一个复形是 $k$-CM$_t$ 当且仅当其非空面的链接是 $k$-CM$_{t-1}$，并证明了 $(d-1)$-维 $k$-CM$_t$ 复形的 $(d-s-1)$-骨架是 $(k+s)$-CM$_t$，推广了 Hibi 和 Miyazaki 的经典结果。

ABSTRACT

For a positive integer $k$ and a non-negative integer $t$ a class of simplicial complexes, to be denoted by $k$-${ m CM}_t$, is introduced. This class generalizes two notions for simplicial complexes: being $k$-Cohen-Macaulay and $k$-Buchsbaum. In analogy with the Cohen-Macaulay and Buchsbaum complexes, we give some characterizations of ${ m CM}_t(=$1-${ m CM}_t)$ complexes, in terms of vanishing of some homologies of its links and, in terms of vanishing of some relative singular homologies of the geometric realization of the complex and its punctured space. We show that a complex is $k$-${ m CM}_t$ if and only if the links of its nonempty faces are $k$-${ m CM}_{t-1}$. We prove that for an integer $s\le d$, the $(d-s-1)$-skeleton of a $(d-1)$-dimensional $k$-${ m CM}_t$ complex is $(k+s)$-${ m CM}_t$. This result generalizes Hibi's result for Cohen-Macaulay complexes and Miyazaki's result for Buchsbaum complexes.

研究动机与目标

• 引入并形式化一类新的单纯复形 $k$-CM$_t$，其为 $k$-Cohen-Macaulay 和 $k$-Buchsbaum 复形的推广。
• 通过链接的同调消失条件和几何实现的相对奇异同调，刻画 $k$-CM$_t$ 复形。
• 建立递归链接条件：一个复形是 $k$-CM$_t$ 当且仅当其所有非空面链接均为 $k$-CM$_{t-1}$。
• 通过推广 Hibi 和 Miyazaki 的经典结果，证明 $(d-1)$-维 $k$-CM$_t$ 复形的 $(d-s-1)$-骨架是 $(k+s)$-CM$_t$。

提出的方法

• 通过要求大小至少为 $t$ 的面的链接为 $k$-Cohen-Macaulay，来定义 $k$-CM$_t$ 复形。
• 使用同调准则：若对所有满足 $\#\sigma \geq t$ 的 $\sigma$，有 $\tilde{H}_i(\text{lk}_\Delta(\sigma); K) = 0$ 对所有 $i < d - \#\sigma - 1$ 成立，则复形为 $k$-CM$_t$。
• 对几何实现 $|\Delta|$ 及其挖去一点的拓扑空间 $|\Delta| \setminus \{p\}$ 应用相对奇异同调，证明当 $p \notin |\Delta_{t-2}|$ 时，对所有 $i < d-1$ 有同调消失。
• 使用归纳法与链接分解法，证明：若 $\Delta$ 是 $k$-CM$_t$，且 $\sigma_1, \dots, \sigma_\ell$ 是互不相交的面，且每个 $\text{lk}_\Delta(\sigma_i)$ 是 $k$-CM$_{t-1}$，则子复形 $\Delta_1 = \{\tau \in \Delta \mid \tau \not\supseteq \sigma_i \text{ 对所有 } i\}$ 是 $k$-CM$_t$。
• 通过归纳法证明：若 $\Delta$ 是 $(d-1)$-维 $k$-CM$_t$ 复形，则其 $(d-s-1)$-骨架是 $(k+s)$-CM$_t$，利用链接条件和前述结果。
• 利用已知的 Cohen-Macaulay 和 Buchsbaum 复形结果作为特例，验证该推广的合理性。

实验结果

研究问题

• RQ1 如何将 $k$-Cohen-Macaulay 和 $k$-Buchsbaum 单纯复形的概念统一为一个单一的推广？
• RQ2 链接或几何实现的相对同调的何种同调条件能刻画 $k$-CM$_t$ 复形？
• RQ3 是否满足 $k$-CM$_t$ 性质的递归链接条件：$\Delta$ 是 $k$-CM$_t$ 当且仅当其所有非空面链接均为 $k$-CM$_{t-1}$？
• RQ4 Cohen-Macaulay 和 Buchsbaum 复形骨架的经典结果能否推广到 $k$-CM$_t$ 设置下？
• RQ5 在何种条件下，$k$-CM$_t$ 复形的子复形 $\Delta_1 = \{\tau \in \Delta \mid \tau \not\supseteq \sigma_i \text{ 对所有 } i\}$ 也是 $k$-CM$_t$？

主要发现

• 单纯复形 $\Delta$ 是 $k$-CM$_t$ 当且仅当其每个非空面 $\sigma \in \Delta$ 的链接是 $k$-CM$_{t-1}$，从而建立了递归刻画。
• 对纯 $(d-1)$-维单纯复形 $\Delta$，以下条件等价：(i) $\Delta$ 是 $k$-CM$_t$；(ii) 对所有满足 $\#\sigma \geq t$ 的 $\sigma \in \Delta$ 和所有 $i < d - \#\sigma - 1$，有 $\tilde{H}_i(\text{lk}_\Delta(\sigma); K) = 0$；(iii) 对所有 $p \in |\Delta| \setminus |\Delta_{t-2}|$ 和所有 $i < d - 1$，有 $H_i(|\Delta|, |\Delta| \setminus \{p\}; K) = 0$。
• 若 $\Delta$ 是 $d-1$ 维的 $k$-CM$_t$ 复形，则其 $(d-s-1)$-骨架是 $(k+s)$-CM$_t$ 对任意 $s \leq d$ 成立，推广了 Hibi 和 Miyazaki 的结果。
• 当 $\Delta$ 是 $k$-CM$_t$ 复形，且每个 $\text{lk}_\Delta(\sigma_i)$ 是 $k$-CM$_{t-1}$ 时，若 $\sigma_i$ 两两不相交且 $\dim \Delta_1 < \dim \Delta$，则子复形 $\Delta_1 = \{\tau \in \Delta \mid \tau \not\supseteq \sigma_i \text{ 对所有 } i\}$ 是 $k$-CM$_t$。
• $k$-CM$_t$ 类包含 Cohen-Macaulay 复形（$k=1$, $t=0$）和 Buchsbaum 复形（$k=1$, $t=1$）作为特例，并推广了它们的结构性质。
• 该结果推广了 Terai 和 Hibi 的定理：单纯 $(d-1)$-球的 1-骨架是 $d$-连通的，以及 Hibi 的结果：Cohen-Macaulay 复形的 $(d-2)$-骨架是 2-Cohen-Macaulay 的。