[论文解读] Whitehead products in moment-angle complexes

Kouyemon Iriye, Daisuke Kishimoto|arXiv (Cornell University)|Jun 29, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 4

一句话总结

该论文证明了在同伦纤维丛 $\mathcal{Z}_K \to DJ_K \to (\mathbb{C}P^\infty)^m$ 中，纤维包含映射 $χ_K: \mathcal{Z}_K \to DJ_K$ 对于一大类单纯复形（包括对偶壳化复形和完全可填充复形）被识别为一系列迭代高阶怀特黑德积的楔和。该结果推广并修正了此前格布里奇与特里奥尔特的工作，采用了一种基于多面体积和同伦上积的新方法。

ABSTRACT

In toric topology, to a simplicial complex $K$ with $m$ vertices, one associates two spaces, the moment-angle complex $\mathcal{Z}_K$ and the Davis-Januszkiewicz space $DJ_K$. These spaces are connected by a homotopy fibration $\mathcal{Z}_K o DJ_K o(\mathbb{C}P^\infty)^m$. In this paper, we show that the map $\mathcal{Z}_K o DJ_K$ is identified with a wedge of iterated (higher) Whitehead products for a certain class of simplicial complexes $K$ including dual shellable complexes. We will prove the result in a more general setting of polyhedral products.

研究动机与目标

• 推广并修正格布里奇与特里奥尔特的结果，即对于某些单纯复形，映射 $\widetilde{w}: \mathcal{Z}_K \to DJ_K$ 同伦于一系列迭代高阶怀特黑德积的楔和。
• 将此识别结果推广至更大一类单纯复形，包括对偶壳化复形和完全可填充复形。
• 提供比以往方法更严格且更简洁的证明，因为先前的方法因涉及有理同伦理论时可能存在推理漏洞而受到批评。
• 在多面体积的更广泛背景下建立该结果，从而实现对 $\mathcal{Z}_K$ 和 $DJ_K$ 的更系统化的同伦分析。

提出的方法

• 作者利用多面体积的框架来推广 $\mathcal{Z}_K$ 和 $DJ_K$ 的构造，从而实现更灵活且强大的同伦分析。
• 他们引入了“完全可填充”单纯复形的概念，定义为：存在一组极小非面，当其被添加后，其几何实现成为可缩的。
• 关键技术工具是一个涉及同伦上积与合适偏序集的神经复形的同伦上积分解的同伦交换图。
• 证明依赖于对顶点数的归纳法，使用子集的“收缩排序”，将问题约化为迭代怀特黑德积。
• 他们应用高阶怀特黑德积的自然性，以及同伦上积与时刻角复形 $\mathcal{Z}_M(\underline{X})$ 之间的同伦等价 $\epsilon_M^{-1}$。
• 通过点空间范畴中的同伦等价序列与图表追踪，确立了 $\widetilde{w}$ 作为迭代怀特黑德积的识别。

实验结果

研究问题

• RQ1 在何种条件下，单纯复形 $K$ 的纤维包含映射 $\mathcal{Z}_K \to DJ_K$ 同伦于一系列迭代高阶怀特黑德积的楔和？
• RQ2 格布里奇与特里奥尔特的结果（适用于定向 MF-复形）能否推广至更大一类单纯复形，并以更简单且更严谨的证明实现？
• RQ3 是否存在对 $\mathcal{Z}_K$ 和 $DJ_K$ 的同伦刻画，以怀特黑德积形式表达，且超越单纯形边界的情形？
• RQ4 ‘可填充’或‘完全可填充’复形的概念与 $\mathcal{Z}_K$ 的同伦型及映射 $\widetilde{w}$ 的结构有何关联？
• RQ5 能否将 $\widetilde{w}$ 识别为怀特黑德积的结果推广至多面体积的一般设定？

主要发现

• 对于任意完全可填充单纯复形 $K$，纤维包含映射 $\widetilde{w}: \mathcal{Z}_K \to DJ_K$ 被识别为一系列迭代高阶怀特黑德积的楔和，推广了先前的结果。
• 对于完全可填充复形 $K$，复合映射 $S^{|σ|+|I|-1} \to \mathcal{Z}_K \xrightarrow{\widetilde{w}} DJ_K$ 同伦于带符号的迭代怀特黑德积 $[[\cdots[\widetilde{w}_{\sigma}, \widetilde{a}_{i_1}], \cdots], \widetilde{a}_{i_k}]$，其中 $i_1 < \cdots < i_k$ 是 $I - \sigma$ 的收缩排序。
• 证明依赖于通过偏序集的子集族的神经复形实现的 $\mathcal{Z}_K$ 的新同伦上积分解，从而可将问题归纳约化为更简单的情形。
• 作者建立了同伦等价 $\epsilon_M^{-1}: W_M(\underline{X}) \to \mathcal{Z}_M(\underline{X})$，该等价保持迭代怀特黑德积的结构。
• 该结果在多面体积的一般设定下成立，表明 $\widetilde{w}$ 作为怀特黑德积的识别是时刻角复形同伦型的内在性质。
• 本文通过用严格的同伦等价和图表追踪替代有理同伦理论的论证，修正了格布里奇与特里奥尔特早期工作中可能存在的漏洞。