[论文解读] Higher Whitehead products in toric topology

Jelena Grbić, Stephen Theriault|arXiv (Cornell University)|Nov 9, 2010

Topological and Geometric Data Analysis参考文献 19被引用 10

一句话总结

本文通过证明映射 $χ_K: \mathcal{Z}_K \to DJ_K$ 是高阶及迭代怀特黑德积的楔和，从而在紧致拓扑中确定了该映射的同伦类，其中单纯复形 $K$ 的每个缺失面对应一个非平凡的高阶怀特黑德积，其伴随映射在 $H_*(\Omega DJ_K; \mathbb{Q})$ 中具有非零胡列维奇像。关键贡献在于建立了同伦等价 $\mathcal{Z}_K \simeq \bigvee S^n$，并通过怀特黑德积完全描述了其到 $DJ_K$ 的映射结构。

ABSTRACT

In this paper we study the relationship between the moment-angle complex Z_k and the Davis-Januskiewicz space DJ(K) for a class of complexes K named missing-face complexes. If K has n vertices we consider the homotopy fibration sequence Z_k --> DJ(K) --> M where M is a product of n copies of infinite complex projective space. We observe that for such K, Z_k is homotopy equivalent to a wedge of spheres, and then show that under this equivalence the map Z_k --> DJ(K) is homotopic to a wedge sum of higher Whitehead products and iterated Whitehead products.

研究动机与目标

• 通过分析尚未被广泛研究的映射 $\widetilde{w}: \mathcal{Z}_K \to DJ_K$，填补紧致拓扑中的关键空白，尽管 $\mathcal{Z}_K$ 和 $DJ_K$ 已被广泛研究。
• 为一族单纯复形 $K$ 建立 $\widetilde{w}$ 的精确同伦理论描述。
• 证明映射 $\widetilde{w}$ 可实现为高阶及迭代怀特黑德积的楔和，其中 $K$ 的每个缺失面对应一个非平凡的此类积。
• 构建 $\Omega DJ_K$ 的有理模型，以追踪胡列维奇像，从而实现对 $\mathcal{Z}_K$ 的同伦类型及 $\widetilde{w}$ 结构的显式计算。

提出的方法

• 作者使用多面体积构造定义 $\mathcal{Z}_K(\underline{X})$ 和 $DJ_K(\underline{X})$，使其构成一个同伦纤维化 $\mathcal{Z}_K(\underline{X}) \to DJ_K(\underline{X}) \to \prod_{i=1}^n X_i$。
• 将情形特化为每个 $X_i = S^{m_i+1}$，在保持通过胡列维奇像保留几何信息的同时，计算 $\Omega DJ_K(\underline{S})$ 和 $\Omega DJ_K$ 的有理同调。
• 关键技术是构建 $\Omega DJ_K$ 的新有理模型，该模型编码了环路空间的代数结构，包括来自理想 $I$ 的关系以及由 $b_i$ 和 $u_j$ 生成的李代数结构。
• 应用詹姆斯分裂，将环路空间的迭代连通和分解为球面的楔和，与 $\mathcal{Z}_K$ 的楔和分量相匹配。
• 随后证明映射 $\widetilde{w}$ 是高阶怀特黑德积的伴随映射 $\widetilde{w}_i$ 与迭代怀特黑德积 $[\widetilde{w}_i, \tilde{a}_j]$ 的楔和。
• 该识别依赖于验证代数元素 $[u_i, a_j]$ 属于理想 $I$，从而确保相应的怀特黑德积是非平凡的，并对应于实际的同伦类。

实验结果

研究问题

• RQ1 如何用同伦不变量显式描述映射 $\widetilde{w}: \mathcal{Z}_K \to DJ_K$？
• RQ2 缺失面 $K$ 与 $\Omega DJ_K$ 中高阶怀特黑德积结构之间存在何种关系？
• RQ3 能否构建一个跟踪胡列维奇像并能显式计算 $\mathcal{Z}_K$ 的 $\Omega DJ_K$ 的有理模型？
• RQ4 维度大于 1 的缺失面在多大程度上导致迭代怀特黑德积的出现？
• RQ5 为何对于缺失面 $(3,4)$，独立怀特黑德积集合 $\widetilde{W}_{(3,4)}$ 为空？这与理想 $I$ 有何关联？

主要发现

• 对于具有缺失面的单纯复形 $K$，时刻-角复形 $\mathcal{Z}_K$ 同伦等价于球面的楔和：在第一个例子中 $\mathcal{Z}_K \simeq S^3 \vee 2S^5 \vee 2S^6$，在第二个例子中 $\mathcal{Z}_K \simeq S^3 \vee 2S^7 \vee 2S^8$。
• 映射 $\widetilde{w}: \mathcal{Z}_K \to DJ_K$ 实现为高阶怀特黑德积的伴随映射 $\widetilde{w}_1$、$\widetilde{w}_2$、$\widetilde{w}_3$ 与迭代怀特黑德积 $[\widetilde{w}_2, \tilde{a}_4]$、$[\widetilde{w}_3, \tilde{a}_3]$ 的楔和。
• 每个维度大于 1 的 $K$ 的缺失面对应一个非平凡的高阶怀特黑德积，其伴随映射在 $H_*(\Omega DJ_K; \mathbb{Q})$ 中具有非零胡列维奇像。
• 对于维度为 1 的缺失面 $(3,4)$，集合 $\widetilde{W}_{(3,4)}$ 为空，因为对应的怀特黑德积 $[\widetilde{w}_1, \tilde{a}_3]$ 和 $[\widetilde{w}_1, \tilde{a}_4]$ 映射到理想 $I$ 中的元素，使其在同伦中平凡。
• $\Omega DJ_K$ 的有理同调同构于由 $b_i$ 和 $u_j$ 生成的李代数的泛包络代数，模去 $I+J$ 中的关系，其中 $u_j$ 是高阶怀特黑德积伴随映射的胡列维奇像。
• $\mathcal{Z}_K$ 的楔分解与 [GT2] 和 [GT1] 中已知结果一致，通过独立计算验证了其一致性。