[论文解读] Loops on polyhedral products and diagonal arrangements

Natalia Dobrinskaya|ArXiv.org|Jan 19, 2009

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

一句话总结

本文建立了多面体产品循环空间同调与单纯复形 $K$ 关联的对角排列同调之间的同调联系。通过为 $\Omega(\mathbb{X}^K)$ 构造一个配置空间模型，将 $H_*(\Omega\mathbb{X}^K)$ 的计算简化为外代数斯坦利-雷伊纳德代数的 Ext-代数，从而得到一个涉及加倍运算和非-$\Sigma$ 结合操作律上的张量积的分次代数同构。

ABSTRACT

In this paper we establish a connection between the loop space homology of the generalization of wedge defined by a simplicial complex K (so called polyhedral product) and the homology of certain diagonal arrangements associated with K. We illustrate these results by finding the presentations of those loop homology algebras for certain K generalizing results of Panov-Ray, Papadima-Suciu, Lemaire. Finally, we show that in the case when the functor is applied to suspensions, this homology splitting comes from the stable homotopy splitting of the loop spaces.

研究动机与目标

• 建立多面体产品循环空间同调与单纯复形 $K$ 关联的对角排列同调之间的同调等价性。
• 通过配置空间引入统一框架，推广关于旗复形与单形骨架的循环同调已知结果。
• 利用带部分碰撞的标记配置空间，为 $\Omega(\mathbb{X}^K)$ 提供几何模型。
• 将计算 $H_*(\Omega\mathbb{X}^K)$ 的问题简化为外斯坦利-雷伊纳德代数的 Ext-代数计算。
• 证明当所有 $X_i$ 为悬垂空间时，同调分裂源于 $\Omega(\mathbb{X}^K)$ 的稳定同伦分裂。

提出的方法

• 构造 $\mathbb{R}^1$ 中带标签与部分碰撞的粒子的配置空间 $\mathbb{C}_K = \sqcup_{I \in \mathbb{N}^m} \mathbb{C}_K(I)$，以编码 $K$ 的组合结构。
• 使用模型 $\Omega(\mathbb{X}^K) \simeq \sqcup \mathbb{C}_K(I) \times \Omega\mathbf{X}^I / \sim$ 将循环空间与配置空间关联。
• 定义编码同调中 Pontryagin 乘积结构的加倍运算 $\mu_{j,k}: \mathbb{C}_K(I) \to \mathbb{C}_K(I + e_j)$。
• 利用余框构造与操作律结构，特别是非-$\Sigma$ 结合操作律 $\mathbb{Ass}$，描述 $H_*(\Omega\mathbb{X}^K)$ 的代数结构。
• 在链复形 $P_K^0(I) \to P_K(I)$ 之间建立收缩，并将其与对角排列的补集 $D_L$ 关联，证明同调上的满射性。
• 证明对角排列包含映射 $D_{K'} \hookrightarrow D_{\tilde{K}}$ 在同调上诱导满射，从而支持谱序列与 Ext-代数计算的使用。

实验结果

研究问题

• RQ1 如何将多面体产品循环空间同调与单纯复形 $K$ 关联的对角排列同调联系起来？
• RQ2 带标签与部分碰撞的配置空间在建模 $\Omega(\mathbb{X}^K)$ 中起什么作用？
• RQ3 在何种条件下，$\Omega(\mathbb{X}^K)$ 的同调可分解为非-$\Sigma$ 结合操作律上的张量积？
• RQ4 加倍运算 $\mu_{j,k}$ 如何编码 $H_*(\Omega\mathbb{X}^K)$ 中的 Pontryagin 乘积结构？
• RQ5 在何种情况下，$\Omega(\mathbb{X}^K)$ 的稳定分裂会诱导出同调分裂，特别是当所有 $X_i$ 均为悬垂空间时？

主要发现

• 本文建立了分次代数同构 $H_*(\Omega\mathbb{X}^K) \cong \bigoplus_{I \in \mathbb{N}^m} H_*(\mathbb{C}_K(I)) \otimes \widetilde{H}_*(\Omega\mathbf{X})^{\otimes I} / \sim$，其中等价关系通过加倍运算 $\mu_{j,k}$ 编码 Pontryagin 乘积。
• 对于旗复形，$\mathbb{C}_K$ 的所有连通分支均为可缩的，从而使得 $H_*(\Omega\mathbb{X}^K)$ 可表示为分次代数的列极限。
• 配置空间 $\mathbb{C}_K$ 的同调在非-$\Sigma$ 结合操作律 $\mathbb{Ass}$ 上自然具有左模与右多重模结构，从而实现操作律形式 $H_*(\Omega\mathbb{X}^K) \cong H_*(\mathbb{C}_K) \otimes_{\mathbb{Ass}} \widetilde{H}_*(\Omega\mathbf{X})$。
• 当所有 $X_i$ 为悬垂空间时，稳定分裂 $\Omega(\Sigma Y_1, \dots, \Sigma Y_m)^K \simeq_s \bigvee_I \mathbb{C}_K(I)_+ \wedge Y_1^{\wedge i_1} \wedge \cdots \wedge Y_m^{\wedge i_m}$ 诱导出同调分裂。
• 对角排列包含映射 $D_{K'} \hookrightarrow D_{\tilde{K}}$ 在同调上诱导满射，这对证明同调映射 $H_*(P_K^0) \to H_*(P_K)$ 的满射性及由此产生的同调同构至关重要。
• 计算 $H_*(\Omega\mathbb{X}^K)$ 的问题被简化为计算 $K$ 的外斯坦利-雷伊纳德代数的 Ext-代数，从而为该问题提供了系统化的代数方法。