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

Xiangjun Wang, Qibing Zheng|arXiv (Cornell University)|Jun 20, 2010

Advanced Combinatorial Mathematics参考文献 13被引用 6

一句话总结

本文引入了单纯复形补集的同调理论，并通过Taylor分解建立了其与Stanley-Reisner面环的Tor代数之间的同构。该研究为广义moment-angle复形的上同调提供了计算框架，特别表明上同调环结构由单纯复形补集的同调决定，且对特定例子计算出了明确的Poincaré级数与Betti数。

ABSTRACT

A simplicial complement P is a sequence of subsets of [m] and the simplicial complement P corresponds to a unique simplicial complex K with vertices in [m]. In this paper, we defined the homology of a simplicial complement $H_{i,σ}(Λ^{*,*}[P], d)$ over a principle ideal domain k and proved that $H_{*,*}(Λ[P], d)$ is isomorphic to the Tor of the corresponding face ring k(K) by the Taylor resolutions. As applications, we give methods to compute the ring structure of Tor_{*,*}^{k[x]}(k(K), k)$, $link_{K}σ$, $star_{K}σ$ and the cohomology of the generalized moment-angle complexes.

研究动机与目标

• 在主理想整环上定义并研究单纯复形补集的同调。
• 建立单纯复形补集同调与Stanley-Reisner面环的Tor代数之间的同构。
• 为当包含映射是常值同伦时的广义moment-angle复形的上同调提供计算方法。
• 利用单纯复形补集的同调确定Tor_{*,*}^{k[x]}(k(K_P),k)的环结构。
• 通过单纯复形补集同调计算moment-angle复形及其相关拓扑不变量（如K_P中单形的链与星复形）的上同调模。

提出的方法

• 在主理想整环k上定义一个双分次链复形(Λ[𝐏], d)，其中Λ[𝐏]是单纯复形补集𝐏 = {σ₁,…,σₛ} ⊆ [m]上的外代数。
• 通过生成元上的边界算子∂ᵢ及单项式商x_{S_u} / x_{S_{∂ᵢ(u)}}在Λ[𝐏] ⊗ₖ k[x]上引入微分d。
• 将Taylor分解(Λ[𝐏] ⊗ₖ k[x], d)用作k[x]/I_P的自由分解，其中I_P是Stanley-Reisner理想。
• 在与k张量后计算链复形的同调H_{*,τ}(Λ^{*,τ}[𝐏], d)，从而得到Tor群。
• 应用同构H^*(Z_K(𝐗,𝐀), k) ≅ ⨁_{ω∈K_P} ⨁_{τ} H_{*,τ}(Λ^{*,τ}[E_ω𝐏], d)来计算广义moment-angle复形的上同调。
• 利用谱序列及球面的同伦型，将上同调与相关链与星复形的单纯复形的约化同调联系起来。

实验结果

研究问题

• RQ1 当包含映射A_i → X_i同伦于常值时，如何计算广义moment-angle复形的上同调？
• RQ2 单纯复形补集的同调与相应Stanley-Reisner面环的Tor代数之间有何关系？
• RQ3 Tor_{*,*}^{k[x]}(k(K_P),k)的环结构如何由单纯复形补集的同调产生？
• RQ4 广义moment-angle复形Z_K(𝐗,𝐀)的上同调模结构如何通过单纯复形补集同调来表达？
• RQ5 如何利用该框架显式计算moment-angle复形的Betti数与Poincaré级数？

主要发现

• 同调H_{*,τ}(Λ^{*,τ}[𝐏], d)同构于Tor_{*,*}^{k[x]}(k(K_P), k)，为Tor代数提供了新的计算工具。
• 对于单纯复形补集𝐏 = {{1,2},{3,4},{5,6}}，上同调环H^*(Z_K(D²,S¹), k)为三个生成元上的外代数，Poincaré级数为1 + 3x³ + 3x⁶ + x⁹，总Betti数为8。
• 对于广义moment-angle复形Z_K(S²,S¹)，其上同调为自由k-模，Poincaré级数为1 + 6x² + 9x³ + 12x⁴ + 36x⁵ + 35x⁶ + 36x⁷ + 54x⁸ + 27x⁹。
• Z_K(S²,S¹)的总Betti数被计算为216，展示了该方法在非平凡情形下的有效性。
• Z_K(𝐗,𝐀)的上同调分解为K_P中单形ω的直和，每个直和项同构于单纯复形补集E_ω𝐏的同调。
• 该方法成功通过相关单纯复形补集的同调计算了链与星复形子复形的上同调。