[论文解读] Homotopy types of moment-angle complexes for flag complexes

Jelena Grbić, Taras Panov+2 more|arXiv (Cornell University)|Nov 5, 2012

Advanced Combinatorial Mathematics参考文献 15被引用 17

一句话总结

本文证明了对于旗复形 $K$，其时刻角复形 $\mathcal{Z}_K$ 同伦等价于球面的楔和当且仅当其面环 $\mathbf{k}[K]$ 是 Golod 环，给出了球面数量的组合公式。此外，当 $K$ 为五边形的边界时，$\mathcal{Z}_K$ 同胚于五个 $S^3 \times S^4$ 的连通和，且 $\Omega\mathcal{Z}_K$ 的庞特里亚金代数在十个生成元下满足单个关系。

ABSTRACT

We study the homotopy types of moment-angle complexes, or equivalently, of complements of coordinate subspace arrangements. The overall aim is to identify the simplicial complexes K for which the corresponding moment-angle complex Z_K has the homotopy type of a wedge of spheres or a connected sum of sphere products. When K is flag, we identify in algebraic and combinatorial terms those K for which Z_K is homotopy equivalent to a wedge of spheres, and give a combinatorial formula for the number of spheres in the wedge. This extends results of Berglund and Joellenbeck on Golod rings and homotopy theoretical results of the first and third authors. We also establish a connection between minimally non-Golod rings and moment-angle complexes Z_K which are homotopy equivalent to a connected sum of sphere products. We go on to show that for any flag complex K the loop spaces of Z_K and DJ(K) are homotopy equivalent to a product of spheres and loops on spheres when localised rationally or at any odd prime.

研究动机与目标

• 确定哪些单纯复形 $K$ 使得时刻角复形 $\mathcal{Z}_K$ 同伦等价于球面的楔和或球面乘积的连通和。
• 利用代数与组合准则，刻画旗复形 $K$ 使得 $\mathcal{Z}_K$ 同伦等价于球面的楔和。
• 建立极小非 Golod 环与同伦等价于球面乘积连通和的时刻角复形之间的联系。
• 描述旗复形 $K$ 的 $\Omega\mathcal{Z}_K$ 和 $\Omega\mbox{$D{ m J}$}(K)$ 的有理数与 $p$-局部同伦类型，表明它们是球面与球面环路的乘积。

提出的方法

• 利用 Buchstaber 和 Panov 的同伦极限构造，将 $\mathcal{Z}_K$ 和 $\mbox{$D{ m J}$}(K)$ 建模为多面体积。
• 应用代数拓扑技术分析 $\mathop{\mathrm{Tor}}\nolimits$-代数 $H^*(\mathcal{Z}_K)$ 与 Yoneda 代数 $\mathop{\mathrm{Ext}}\nolimits_{\mathbf{k}[K]}(\mathbf{k},\mathbf{k})$。
• 利用图积代数结构描述庞特里亚金代数 $H_*(\Omega\mbox{$D{ m J}$}(K))$ 及其交换子代数 $H_*(\Omega\mathcal{Z}_K)$。
• 利用萨默尔森积的 Hurewicz 像识别 $H_*(\Omega\mathcal{Z}_K)$ 的生成元，并将其与 $\mathcal{Z}_K$ 中的迭代 Whitehead 积联系起来。
• 应用雅可比恒等式与上同调计算，推导生成元之间的关系，如 $\sum_{i=1}^5 [a_i, b_i] = 0$，这些关系编码了连通和的拓扑结构。
• 利用 Poincaré 系数公式 $P(H_*(\Omega\mathcal{Z}_K); t) = \frac{1}{1 - 5t^2 - 5t^3 + t^5}$ 区分 $H_*(\Omega\mathcal{Z}_K)$ 的单关系代数结构与自由代数。

实验结果

研究问题

• RQ1 对于哪些旗复形 $K$，时刻角复形 $\mathcal{Z}_K$ 同伦等价于球面的楔和？
• RQ2 确保 $\mathcal{Z}_K$ 具有球面楔和同伦类型的 $K$ 的组合准则是什么？如何计算球面的数量？
• RQ3 在有理数或素数 $p \neq 2$ 局部下，$\Omega\mathcal{Z}_K$ 与 $\Omega\mbox{$D{ m J}$}(K)$ 的同伦类型如何确定？
• RQ4 $H_*(\Omega\mathcal{Z}_K)$ 中关系 $\sum_{i=1}^5 [a_i, b_i] = 0$ 的拓扑意义是什么？它与连通和分解有何关联？
• RQ5 当 $K$ 为五边形边界时，$H_*(\Omega\mathcal{Z}_K)$ 的 Poincaré 系数如何反映庞特里亚金代数的代数结构？

主要发现

• 对于旗复形 $K$，$\mathcal{Z}_K$ 同伦等价于球面的楔和当且仅当其面环 $\mathbf{k}[K]$ 是 Golod 环，建立了精确的代数-拓扑对应关系。
• 对于旗复形 $K$，$\mathcal{Z}_K$ 的楔和分解中球面的数量由 $K$ 的 1-骨架的组合公式给出，推广了 Berglund 与 Jöllenbeck 的结果。
• 当 $K$ 为五边形边界时，$\mathcal{Z}_K$ 同胚于 $(S^3 \times S^4)^{\mathbin{\#}5}$，其上胞腔的粘合映射由五个 Whitehead 积之和实现。
• 当 $K$ 为五边形边界时，$\Omega\mathcal{Z}_K$ 的庞特里亚金代数有十个生成元 $a_i, b_i$，分别位于度数 2 和 3，满足单个关系 $\sum_{i=1}^5 [a_i, b_i] = 0$，该关系由连通和结构拓扑实现。
• $H_*(\Omega\mathcal{Z}_K)$ 的 Poincaré 系数为 $\frac{1}{1 - 5t^2 - 5t^3 + t^5}$，表明其为具有单个关系的代数结构，与自由代数不同。
• 对于任意旗复形 $K$，环路空间 $\Omega\mathcal{Z}_K$ 与 $\Omega\mbox{$D{ m J}$}(K)$ 在有理数与 $p$-局部下同伦等价于球面与球面环路的乘积，表明其具有高度结构化的有理同伦类型。