[论文解读] The polyhedral product functor: a method of computation for moment-angle complexes, arrangements and related spaces

Abbas Bahri, Martin Bendersky+2 more|ArXiv.org|Nov 29, 2007

Advanced Combinatorial Mathematics参考文献 16被引用 49

一句话总结

本文提出了一类广义矩心复形——与单纯复形相关的多面体积函子——的悬垂的几何分解，实现了稳定的分裂，从而在所有上同调理论中诱导出同调分解。关键贡献在于一种自然的几何分裂，其扩展了斯坦利-雷思纳环的分解，并推广了波特与加内亚的同伦理论结果。

ABSTRACT

This article gives a natural decomposition of the suspension of generalized moment-angle complexes or {\it partial product spaces} which arise as {\it polyhedral product functors} described below. In the special case of the complements of certain subspace arrangements, the geometrical decomposition implies the homological decomposition in Goresky-MacPherson \cite{goresky.macpherson}, Hochster\cite{hochster}, Baskakov \cite{baskakov}, Panov \cite{panov}, and Buchstaber-Panov \cite{buchstaber.panov}. Since the splitting is geometric, an analogous homological decomposition for a generalized moment-angle complex applies for any homology theory. This decomposition gives an additive decomposition for the Stanley-Reisner ring of a finite simplicial complex and generalizations of certain homotopy theoretic results of Porter \cite{porter} and Ganea \cite{ganea}. The spirit of the work here follows that of Denham-Suciu in \cite{denham.suciu}.

研究动机与目标

• 建立广义矩心复形（即以单纯复形为指标的多面体积函子）的悬垂几何分解。
• 证明该几何分裂在戈雷斯基-麦克唐纳、霍奇斯特及其他人的意义下，对任意同调理论均诱导出同调分解。
• 通过多面体积函子，将斯坦利-雷思纳环的加法分解推广至更广泛的拓扑与代数设定。
• 通过涉及环路空间与并和的纤维丛，将构造与经典群论结果（特别是库罗什定理）联系起来。
• 将波特与加内亚的同伦理论结果推广至矩心复形与子空间构型的设定。

提出的方法

• 将广义矩心复形 $ Z(K; (∑X, ∑A)) $ 定义为单纯形 $ \sigma \in K $ 上的余极限，其中每个 $ D(\sigma) $ 是空间 $ X_i $ 或 $ A_i $ 的乘积，具体取决于 $ i \in \sigma $。
• 构造多面体积函子 $ D: K \to CW_* $，为每个单纯形 $ \sigma \in K $ 赋予乘积空间 $ \prod_{i=1}^m Y_i $，其中若 $ i \in \sigma $，则 $ Y_i = X_i $，否则为 $ A_i $。
• 证明 $ Z(K; (∑X, ∑A)) $ 的悬垂具有通过 $ \Omega X * \Omega Y $ 的结合结构与怀特黑德乘积映射实现的稳定分裂，基于几何分解。
• 建立包含映射 $ X \vee Y \to X \times Y $ 的同伦纤维同伦等价于 $ \Omega X * \Omega Y $，其为球面楔和的悬垂。
• 利用丹汉-苏修纤维丛与加内亚型构造，将映射 $ \pi_1(A \amalg B) \to \pi_1(A \times B) $ 的核与自由群联系起来，从而关联至库罗什定理。
• 证明涉及 $ Z(K; (∑X_*, ∑A_*)) $ 的图中映射 $ h $ 为同胚，从而证明多面体积函子的几何实现为具有相容包含关系的余极限。

实验结果

研究问题

• RQ1 广义矩心复形的悬垂是否可实现几何分裂，从而对所有同调理论诱导出同调分解？
• RQ2 多面体积函子结构如何与斯坦利-雷思纳环及其加法分解相关联？
• RQ3 包含映射 $ X \vee Y \to X \times Y $ 的同伦纤维具有何种拓扑意义？其如何与群论结果关联？
• RQ4 矩心复形的几何分裂在何种意义上推广了波特与加内亚的同伦理论结果？
• RQ5 由多面体积函子导出的纤维丛如何用于重新证明经典定理（如关于群自由积的库罗什定理）？

主要发现

• 广义矩心复形 $ Z(K; (∑X, ∑A)) $ 的悬垂具有几何分裂，其在任意同调理论中均诱导出同调分解。
• 该分解统一地恢复并推广了戈雷斯基-麦克唐纳、霍奇斯特、巴斯科沃、巴赫斯图伯与帕诺夫、以及布赫施塔伯-帕诺夫的同调分裂结果。
• 有限单纯复形的斯坦利-雷思纳环可通过多面体积函子实现加法分解，其推广超越上同调，涵盖其他代数不变量。
• 包含映射 $ X \vee Y \to X \times Y $ 的同伦纤维具有 $ \Omega X * \Omega Y $ 的同伦型，其为球面楔和的悬垂，该结构是分裂的基础。
• 涉及 $ Z(K; (∑X_*, ∑A_*)) $ 的图中映射 $ h $ 为同胚，确认了多面体积函子作为具有相容包含关系的余极限的几何实现。
• 自然映射 $ \pi_1(A \amalg B) \to \pi_1(A \times B) $ 的核为自由群，且怀特黑德乘积映射实现了该核，从而提供了库罗什定理的拓扑证明。