[论文解读] The homology of simpicial complements and the cohomology of moment-angle complexes

Qibing Zheng, Xiangjun Wang|arXiv (Cornell University)|Sep 29, 2011

Advanced Combinatorial Mathematics参考文献 11被引用 3

一句话总结

本文引入了单纯复形 $K$ 的单纯补 $\mathbb{P}$，并利用其关联的单项式理想的 Taylor 分解，构造了一个微分分次代数 $(\overline{\Lambda}(\mathbb{P}), d)$，该代数计算了 $\mathrm{Tor}$ 代数 $\mathrm{Tor}_*^{\mathbf{k}[\mathbf{x}]}(\mathbf{k}(K), \mathbf{k})$ 并确定了其乘法结构。关键贡献在于为广义广义 moment-angle 复形 $\mathcal{Z}_K(X,A)$ 的上同调提供了一个新的代数模型，特别地，对 $(X,A) = (S^2, S^1)$ 等情形进行了显式计算，得出总贝蒂数为 216。

ABSTRACT

We use the Taylor resolution of a monomial ideal to compute the Tor algebra of the Stanley-Reisner ring of a simplicial complement of a simplicial complex.

研究动机与目标

• 开发一种新方法，用于计算与单纯复形 $K$ 的 Stanley–Reisner 面环相关的 $\mathrm{Tor}$ 代数 $\mathrm{Tor}_*^{\mathbf{k}[\mathbf{x}]}(\mathbf{k}(K), \mathbf{k})$。
• 将 $K$ 的单纯补 $\mathbb{P}$ 定义为单项式理想的生成系，并利用其 Taylor 分解构造一个 DGA 模型。
• 通过将 $\mathrm{Tor}$ 代数实现为链复形 $\overline{\Lambda}(\mathbb{P})$ 的上同调，确定其代数结构。
• 将广义 moment-angle 复形 $\mathcal{Z}_K(X,A)$ 的上同调与单纯补 $\mathbb{P}$ 的同调联系起来，特别当 $A_i \hookrightarrow X_i$ 为零同伦映射时。
• 在特殊情形下，如 $({X},{A}) = (D^2, S^1)$ 和 $({X},{A}) = (S^2, S^1)$，显式计算 $\mathcal{Z}_K(X,A)$ 的贝蒂数与 Poincaré 级数。

提出的方法

• 单纯补 $\mathbb{P} = \{\sigma_1, \dots, \sigma_s\}$ 被定义为 $[m]$ 的子集序列，生成一个平方自由单项式理想 $\mathcal{I}_{\mathbb{P}}$，且 $K$ 是该理想的关联单纯复形。
• 利用 $\mathcal{I}_{\mathbb{P}}$ 的 Taylor 分解，构造一个在 $\mathbf{k}$ 上的微分分次代数 $(\overline{\Lambda}(\mathbb{P}), d)$，其上同调计算 $\mathrm{Tor}_*^{\mathbf{k}[\mathbf{x}]}(\mathbf{k}(K), \mathbf{k})$。
• 链复形 $\overline{\Lambda}(\mathbb{P})$ 由 $\mathbb{P}$ 中单体对应的外代数生成元构成，其微分 $d$ 通过单项式的最小公倍数定义。
• 通过涉及悬垂与 $E_\omega\mathbb{P}$（即相对于 $\omega \in K$ 的单纯补）的同调的分解，计算广义 moment-angle 复形 $\mathcal{Z}_K(X,A)$ 的上同调，利用同构关系 $H^*(\mathcal{Z}_K(X,A), \mathbf{k}) \cong \bigoplus_{\omega \in K} \bigoplus_{\sigma} H_{*,\sigma}(\overline{\Lambda}^{*,\sigma}(E_\omega\mathbb{P}), d)$。
• 对于 $({X},{A}) = (S^2, S^1)$，通过累加所有 $\omega \in K$ 的贡献计算上同调，每个 $\omega$ 贡献一个分次向量空间，其 Poincaré 级数由 $H_{*,\sigma}(\overline{\Lambda}^{*,\sigma}(E_\omega\mathbb{P}), d)$ 导出。
• 该方法利用了 $\overline{\Lambda}^{*,\sigma}(E_\omega\mathbb{P})$ 是自由 $\mathbf{k}$-模的性质，从而可通过 Poincaré 级数分解显式计算贝蒂数。

实验结果

研究问题

• RQ1 如何在超越 Hochster 公式的基础上，完整计算 $\mathrm{Tor}$ 代数 $\mathrm{Tor}_*^{\mathbf{k}[\mathbf{x}]}(\mathbf{k}(K), \mathbf{k})$ 的代数结构（包括乘法）？
• RQ2 单纯复形 $K$ 的单纯补 $\mathbb{P}$ 在建模 moment-angle 复形上同调中起什么作用？
• RQ3 广义 moment-angle 复形 $\mathcal{Z}_K(X,A)$ 的上同调如何通过 $\omega \in K$ 的单纯补 $E_\omega\mathbb{P}$ 的同调进行分解？
• RQ4 当 $X_i$ 可缩或 $A_i$ 可缩，或 $({X}_i, {A}_i) = (S^2, S^1)$ 时，$\mathcal{Z}_K(X,A)$ 的贝蒂数与 Poincaré 级数是什么？
• RQ5 是否能通过单纯补 $\mathbb{P}$ 的同调完全描述 $\mathcal{Z}_K(D^2, S^1)$ 的上同调？其总贝蒂数是多少？

主要发现

• 上同调环 $H^*(\mathcal{Z}_K(D^2, S^1), \mathbf{k})$ 同构于外代数 $\Lambda(\sigma_1, \sigma_2, \sigma_3)$，其 Poincaré 级数为 $1 + 3x^3 + 3x^6 + x^9$，总贝蒂数为 8。
• 对于 $({X}, {A}) = (S^2, S^1)$，上同调 $H^*(\mathcal{Z}_K(S^2, S^1), \mathbf{k})$ 的 Poincaré 级数为 $1 + 6x^2 + 9x^3 + 12x^4 + 36x^5 + 35x^6 + 36x^7 + 54x^8 + 27x^9$，总贝蒂数为 216。
• $\mathcal{Z}_K(X,A)$ 的上同调同构于 $\omega \in K$ 的 $H_{*,\sigma}(\overline{\Lambda}^{*,\sigma}(E_\omega\mathbb{P}), d)$ 的直和，每个 $\omega$ 贡献一个分次向量空间，其结构取决于单纯补 $E_\omega\mathbb{P}$。
• 当 $\mathbb{P} = \{\{1,2\}, \{3,4\}, \{5,6\}\}$ 时，$E_\phi\mathbb{P}$ 的同调同构于 $\Lambda(\sigma_1, \sigma_2, \sigma_3)$，从而确认了 $H^*(\mathcal{Z}_K(D^2, S^1), \mathbf{k})$ 的外代数结构。
• 对于 $\omega = \{i\}$，其贡献的 Poincaré 级数为 $x^2(1 + x + 2x^3 + 2x^4 + x^6 + x^7)$；对于 $\omega = \{i,j\}$，其为 $x^4(1 + 2x + x^2 + x^3 + 2x^4 + x^5)$；而 $\omega = \{i,j,k\}$ 贡献 $x^6(1 + 3x + 3x^2 + x^3)$。
• 该方法为 Hochster 公式提供了新证明，并通过 DGA $(\overline{\Lambda}(\mathbb{P}), d)$ 显式确定了 $\mathrm{Tor}$ 代数的乘法结构，该 DGA 是 $\mathbf{k}$ 上的向量空间，且尊重代数乘法。