[论文解读] A simple approach to geometric realization of simplicial and cyclic sets

Amnon Besser|ArXiv.org|May 18, 2003

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

一句话总结

本文通过从单位区间到有限偏序集（posets）的保序映射，对单纯集与循环集给出了几何实现，为标准单纯形提供了自然的拓扑解释。关键贡献是构造了一个函子性、保积的几何实现，通过周期性偏序集（ppsets）自然地将该理论推广至循环集，证明了 $[[n]]$ 的循环实现同胚于 $|\Delta_n| \times S^1$，从而通过序理论基础统一了单纯与循环理论。

ABSTRACT

This is the same version that was previously only on my home page. We give a description of geometric realization which makes it evident that it commutes with products. A similar approach is used to treat cyclic sets. Our approach is similar to those of Drinfeld and Grayson.

研究动机与目标

• 为单纯集的标准单纯形几何实现提供一种自然且组合基础坚实的解释，该解释在同伦论中传统上缺乏依据。
• 通过单位区间到有限偏序集的保序映射空间，建立一个与积可交换的单纯集几何实现函子。
• 通过引入周期性偏序集（ppsets）作为循环设定下的偏序集类比，将该框架扩展至循环集。
• 证明康奈斯的循环范畴同构于度数为1的周期性偏序集的子范畴，从而统一循环与单纯理论。
• 通过圆作用与ppset映射上的拓扑结构，证明循环集的几何实现保持积。

提出的方法

• 将有限偏序集 $P$ 的几何实现定义为从单位区间 $I = [0,1]$ 到 $P$ 的上半连续、保序映射的集合，配备度量拓扑。
• 证明该偏序集上的实现函子自然同构于标准单纯集 $\mathcal{S}(P)$，其中 $\mathcal{S}([n]) = \Delta_n$。
• 引入周期性偏序集（ppsets）作为带有自由 $\mathbb{Z}^k$-作用的偏序集，其中 $k$ 为度数，用于建模循环集。
• 将ppset $P$ 的循环实现定义为从 $\mathbb{R}$ 到 $P$ 的 $\mathbb{Z}$-等变、保序映射的集合，满足周期性，并模去作用。
• 通过实函数的整数部分与小数部分，构造标准循环 $n$-单纯形 $[[n]]$ 的实现与 $|\Delta_n| \times S^1$ 之间的同胚。
• 通过对角圆作用证明循环实现函子与积可交换，即 $||\mathcal{C}(P) \times \mathcal{C}(Q)|| \cong ||\mathcal{C}(P)|| \times ||\mathcal{C}(Q)||$。

实验结果

研究问题

• RQ1 如何在不引入任意假设的前提下，为标准单纯形的几何实现提供一种自然的序理论解释？
• RQ2 能否仅通过保序映射与拓扑结构，证明单纯集的几何实现与积可交换？
• RQ3 循环集的恰当范畴推广是什么？它如何支持几何实现理论？
• RQ4 康奈斯的循环范畴是否同构于度数为1的周期性偏序集的子范畴？
• RQ5 循环集的几何实现是否保持积？若是，该结构如何编码？

主要发现

• 有限偏序集 $P$ 的几何实现自然识别为从 $I = [0,1]$ 到 $P$ 的上半连续、保序映射的集合，配备紧开拓扑。
• 与偏序集 $P$ 关联的单纯集 $\mathcal{S}(P)$ 的几何实现同胚于 $P$ 本身的实现，建立了自然的对应关系。
• 标准循环 $n$-单纯形 $\tilde{\Delta}_n$ 的几何实现为 $|\Delta_n| \times S^1$，其中圆作用在 $|\Delta_n|$ 上平凡。
• 康奈斯的循环范畴同构于具有正阿基米德结构的度数为1周期性偏序集的全子范畴。
• 任意具有正阿基米德结构的紧致正周期性偏序集 $P$ 同胚于 $[[n]]$，其中 $n+1 = |\mathbb{Z} \backslash P|$，从而对这类对象提供了分类。
• 循环集的几何实现保持积：$||\mathcal{C}(P) \times \mathcal{C}(Q)|| \cong ||\mathcal{C}(P)|| \times ||\mathcal{C}(Q)||$，通过斜对角圆作用实现。