[论文解读] Normalisation for the fundamental crossed complex of a simplicial set

Ronald Brown, Rafael Sivera|ArXiv.org|Nov 23, 2006

Topological and Geometric Data Analysis参考文献 42被引用 6

一句话总结

本文建立了单纯集的基本交叉复形的正规化定理，将经典 Eilenberg-Mac Lane 对单纯阿贝尔群的正规化推广至非交换情形。通过利用同伦加法引理（HAL）并构造未正规化与正规化的交叉复形，作者证明了从未正规化复形到正规化复形的商映射是一个同伦等价，且正规化复形由非退化单纯形自由生成。

ABSTRACT

Crossed complexes are shown to have an algebra sufficiently rich to model the geometric inductive definition of simplices, and so to give a purely algebraic proof of the Homotopy Addition Lemma (HAL) for the boundary of a simplex. This leads to the {\it fundamental crossed complex} of a simplicial set. The main result is a normalisation theorem for this fundamental crossed complex, analogous to the usual theorem for simplicial abelian groups, but more complicated to set up and prove, because of the complications of the HAL and of the notion of homotopies for crossed complexes. We start with some historical background, {and give a survey of the required basic facts on crossed complexes.}

研究动机与目标

• 通过交叉复形建立同伦加法引理（HAL）的纯代数框架。
• 定义单纯集的基本交叉复形，以捕捉非阿贝尔同伦数据。
• 建立类似于经典 Eilenberg-Mac Lane 定理的正规化定理，但适用于交叉复形。
• 证明正规化的基本交叉复形由非退化单纯形自由生成，且与未正规化版本同伦等价。
• 为在非阿贝尔情形下应用可 acyclic 模型理论提供基础，借助交叉复形。

提出的方法

• 将未正规化的基本交叉复形 $\Pi^\Upsilon K$ 构造为单纯集 $K$ 的所有单纯形上的自由复形。
• 将正规化的基本交叉复形 $\Pi K$ 定义为 $\Pi^{0N}K$ 关于退化元素子复形 $DK$ 的商复形。
• 利用同伦加法引理（HAL）描述交叉复形中的边界映射，以代数方式编码单纯形的边界。
• 引入算子 $\phi = \phi^0 \phi^1 \cdots \phi^k \cdots$ 以定义正规化映射，确保 $\phi DK = 0$。
• 利用可 acyclic 模型结构，证明商映射 $p: \Pi^\Upsilon K \to \Pi K$ 是同伦等价，并存在截面 $q$。
• 利用具有群胚作用和张量积结构的交叉复形，代数化建模高阶同伦结构。

实验结果

研究问题

• RQ1 同伦加法引理能否在交叉复形的范畴内被完全代数化地表述并证明？
• RQ2 如何构造一个反映其几何单纯结构的单纯集的基本交叉复形，以代数方式实现？
• RQ3 是否存在类似于经典单纯阿贝尔群正规化的交叉复形正规化过程？
• RQ4 正规化的基本交叉复形是否保留了未正规化版本的同伦信息？如果是，如何实现？
• RQ5 正规化交叉复形能否被描述为由非退化单纯形自由生成？且商映射是否为同伦等价？

主要发现

• 同伦加法引理（HAL）在交叉复形范畴内被代数化确立，为单纯集中的边界关系提供了非阿贝尔推广。
• 未正规化的基本交叉复形 $\Pi^\Upsilon K$ 是单纯集 $K$ 的所有单纯形上的自由复形，其边界映射由 HAL 定义。
• 正规化的基本交叉复形 $\Pi K$ 同构于 $\Pi^{0N}K / DK$，其中 $DK$ 是由退化单纯形生成的子复形。
• 商映射 $p: \Pi^\Upsilon K \to \Pi K$ 是同伦等价，并存在截面 $q$，从而确立了正规化定理（定理 11.7）。
• 正规化交叉复形 $\Pi K$ 由 $K$ 的非退化单纯形的像自由生成，其边界映射由 HAL 确定。
• 作为推论，从厚几何实现到标准几何实现的投影是一个同伦等价，从而代数化地确认了一个经典拓扑结果。