[论文解读] Pontryagin algebras of some moment-angle-complexes

Yakov Veryovkin|arXiv (Cornell University)|Dec 1, 2015

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

一句话总结

本文计算了当 $ \mathcal{K} $ 为五边形或六边形边界时，moment-angle 复形 $ \mathcal{Z}_\mathcal{K} $ 的 Pontryagin 代数 $ H_*(\Omega\mathcal{Z}_\mathcal{K}) $，表明其为一个单关系代数。通过在自由张量代数上的 $ \mu_i $ 的迭代 Whitehead 乘积，作者推导出生成元之间的一个显式单关系，从而为 McGavran 关于 $ \mathcal{Z}_\mathcal{K} $ 的同伦型为球面积的连通和的结果提供了同伦论证明。

ABSTRACT

We consider the problem of describing the Pontryagin algebra (loop homology) of moment-angle complexes and manifolds. The moment-angle complex Z_K is a cell complex built of products of polydiscs and tori parametrised by simplices in a finite simplicial complex K. It has a natural torus action and plays an important role in toric topology. In the case when K is a triangulation of a sphere, Z_K is a topological manifold, which has interesting geometric structures. Generators of the Pontryagin algebra H_*(ΩZ_K) when K is a flag complex have been described in the work of Grbic, Panov, Theriault and Wu. Describing relations is often a difficult problem, even when K has a few vertices. Here we describe these relations in the case when K is the boundary of a pentagon or a hexagon. In this case, it is known that Z_K is a connected sum of products of spheres with two spheres in each product. Therefore H_*(ΩZ_K) is a one-relator algebra and we describe this one relation explicitly, therefore giving a new homotopy-theoretical proof of McGavran's result. An interesting feature of our relation is that it includes iterated Whitehead products which vanish under the Hurewicz homomorphism. Therefore, the form of this relation cannot be deduced solely from the result of McGavran.

研究动机与目标

• 描述当 $ \mathcal{K} $ 为五边形或六边形边界时，moment-angle 复形的 Pontryagin 代数 $ H_*(\Omega\mathcal{Z}_\mathcal{K}) $。
• 为 McGavran 的结果提供同伦论证明，即 $ \mathcal{Z}_\mathcal{K} $ 是球面积的连通和。
• 识别 Pontryagin 代数中的单一定义关系，该关系涉及在 Hurewicz 同态下为零的迭代 Whitehead 乘积。
• 证明该关系无法仅从同调数据中推导出，从而凸显高阶同伦运算的作用。

提出的方法

• 使用旗复形的同构 $ H_*(\Omega(\mathbb{C}P^\infty)^\mathcal{K}) \cong T\langle\mu_1,\dots,\mu_m\rangle / (\mu_i^2=0, \mu_i\mu_j + \mu_j\mu_i = 0 \text{ if } \{i,j\} \in \mathcal{K}) $。
• 应用定理 2.4，将 $ H_*(\Omega\mathcal{Z}_\mathcal{K}) $ 的乘法生成元识别为 $ \mu_i $ 的迭代换位子，且满足特定的指标条件。
• 将所有生成元 $ \alpha_i, \beta_j, \gamma_k, \delta_l $ 表示为张量代数 $ T\langle\mu_1,\dots,\mu_6\rangle $ 中的迭代换位子，并化为标准形式。
• 通过展开所有换位子并令系数为零，建立线性方程组，利用计算代数（使用 [WM]）求解。
• 构造关键关系式 (4.1)，其为度数为 6 的元素的带符号换位子之和，包含 9 个 $ \alpha_i $、8 个 $ \beta_j $、9 个 $ \gamma_k $ 和 8 个 $ \delta_l $，符号由 $ \sigma_j $ 决定。
• 通过验证该关系诱导同伦等价 $ (S^3 \times S^5)^{\#9} \# (S^4 \times S^4)^{\#8} \to \mathcal{Z}_\mathcal{K} $，确认其为单关系代数结构。

实验结果

研究问题

• RQ1 当 $ \mathcal{K} $ 为五边形或六边形边界时，Pontryagin 代数 $ H_*(\Omega\mathcal{Z}_\mathcal{K}) $ 的完整表示是什么？
• RQ2 能否从 Pontryagin 代数结构中恢复 $ \mathcal{Z}_\mathcal{K} $ 作为球面积连通和的同伦型？
• RQ3 Pontryagin 代数中单一定义关系的显式形式是什么？它如何涉及迭代 Whitehead 乘积？
• RQ4 为何该关系不能由 Hurewicz 象推出？这说明了高阶同伦运算的何种作用？
• RQ5 如何利用环路空间同调的代数结构重构 $ \mathcal{Z}_\mathcal{K} $ 的同伦型？

主要发现

• 当 $ \mathcal{K} = \partial\text{pentagon} $ 或 $ \partial\text{hexagon} $ 时，Pontryagin 代数 $ H_*(\Omega\mathcal{Z}_\mathcal{K}) $ 是一个单关系代数，其单一定义关系位于 $ \mu_i $ 生成元的迭代换位子之间。
• 该定义关系由公式 (4.1) 给出，为 17 个带符号换位子之和，其度数为 6，包含 9 个 $ \alpha_i $、8 个 $ \beta_j $、9 个 $ \gamma_k $ 和 8 个 $ \delta_l $，符号 $ \sigma_j $ 已指定。
• 该关系等价于公式 (4.1) 中涉及 20 个嵌套换位子的长表达式，其在张量代数中为零。
• 生成元 $ \alpha_i, \beta_j, \gamma_k, \delta_l $ 显式定义为 $ \mu_i $ 的迭代换位子，且满足 $ \deg \alpha_i = 2 $，$ \deg \beta_j = \deg \delta_j = 3 $，$ \deg \gamma_k = 4 $。
• 关系 (4.1) 无法由 Hurewicz 象推出，因为涉及的迭代 Whitehead 乘积在 Hurewicz 同态下为零，表明存在非平凡的高阶同伦结构。
• 该关系诱导同伦等价 $ (S^3 \times S^5)^{\#9} \# (S^4 \times S^4)^{\#8} \to \mathcal{Z}_\mathcal{K} $，从而确认了连通和结构，并为 McGavran 的结果提供了新的同伦论证明。