[论文解读] Polyhedral products for shifted complexes and higher Whitehead products

Kouyemon Iriye, Daisuke Kishimoto|arXiv (Cornell University)|May 19, 2015

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

一句话总结

本文针对移位复形 $K$ 的情形，提供了多面体积 $Η_K(C\underline{X},\underline{X})$ 的楔分解，使得到 $\mathcal{Z}_K(Σ\underline{X},*)$ 的压紧映射可显式描述为至多包含一个高阶积的迭代 Whitehead 积的楔和。作为关键结果，该工作推广了 Hardie 的高阶 Whitehead 积的雅可比恒等式。

ABSTRACT

This paper studies the map between polyhedral products $\mathcal{Z}_K(C\underline{X},\underline{X}) o\mathcal{Z}_K(Σ\underline{X},*)$ induced from the pinch maps $(CX_i,X_i) o(ΣX_i,*)$, which is the higher order Whitehead product if $K$ is the boundary of a simplex. When $K$ is a shifted complex, a wedge decomposition of $\mathcal{Z}_K(C\underline{X},\underline{X})$ is given by the authors. Based on this decomposition, when $K$ is shifted, the induced pinch map is explicitly described as a wedge of iterated Whitehead products each of which includes at most one higher product. As a corollary, the Jacobi identity of Whitehead products including higher products due to Hardie is generalized.

研究动机与目标

• 理解当 $K$ 为移位复形时，多面体积 $\mathcal{Z}_K(C\underline{X},\underline{X})$ 的结构。
• 描述由压紧映射诱导的映射 $\mathcal{Z}_K(C\underline{X},\underline{X}) \to \mathcal{Z}_K(Σ\underline{X},*)$，特别是在高阶 Whitehead 积的背景下。
• 利用多面体积的分解，推广 Hardie 的高阶 Whitehead 积的雅可比恒等式。
• 提供压紧映射作为具有可控复杂度的迭代 Whitehead 积的楔和的结构描述。

提出的方法

• 利用移位复形的组合结构，推导出多面体积 $\mathcal{Z}_K(C\underline{X},\underline{X})$ 的楔分解。
• 在多面体积层面分析由压紧映射 $(CX_i, X_i) \to (ΣX_i, *)$ 诱导的映射。
• 将所得映射表示为迭代 Whitehead 积的楔和，其中每个积至多包含一个高阶积。
• 应用该分解，推广 Whitehead 积的雅可比恒等式，扩展 Hardie 的早期结果。
• 利用移位复形的性质，确保分解是显式且可计算的。
• 利用单纯复形 $K$ 的结构，控制所得 Whitehead 积的复杂度。

实验结果

研究问题

• RQ1 当 $K$ 为移位复形时，如何对多面体积 $\mathcal{Z}_K(C\underline{X},\underline{X})$ 进行分解？
• RQ2 压紧映射 $\mathcal{Z}_K(C\underline{X},\underline{X}) \to \mathcal{Z}_K(Σ\underline{X},*)$ 的显式形式在 Whitehead 积的术语下是什么？
• RQ3 在移位复形的背景下，是否可以推广高阶 Whitehead 积的雅可比恒等式？
• RQ4 移位复形对诱导映射中迭代 Whitehead 积的结构施加了何种约束？
• RQ5 每个迭代 Whitehead 积中至多包含一个高阶积的存在，如何影响该映射的代数结构？

主要发现

• 当 $K$ 为移位复形时，显式构造了 $\mathcal{Z}_K(C\underline{X},\underline{X})$ 的楔分解。
• 诱导的压紧映射 $\mathcal{Z}_K(C\underline{X},\underline{X}) \to \mathcal{Z}_K(Σ\underline{X},*)$ 被描述为至多包含一个高阶积的迭代 Whitehead 积的楔和。
• 该分解使得映射能以已知同伦运算的形式进行精确的代数描述。
• 原本由 Hardie 提出的 Whitehead 积的雅可比恒等式，在此背景下被推广以包含高阶积。
• 移位复形的结构确保了所得 Whitehead 积在复杂度上是最小的，且迭代组合受到控制。
• 结果表明，移位复形的多面体积的同伦类型具有计算上可处理的分解。