[论文解读] An elementary illustrated introduction to simplicial sets

Greg Friedman|arXiv (Cornell University)|Sep 24, 2008

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

一句话总结

本文提供了一种直观、基于几何动机的单纯集与单纯同伦理论的导论，通过视觉示例和组合洞察，弥合了拓扑直觉与抽象代数定义之间的差距。它强调单纯集如何推广几何单纯复形，并通过图示化、以例子为导向的阐述，为理解 Kan 复形与同伦群奠定基础，使代数拓扑初学者更容易掌握高级主题。

ABSTRACT

This is an expository introduction to simplicial sets and simplicial homotopy theory with particular focus on relating the combinatorial aspects of the theory to their geometric/topological origins. It is intended to be accessible to students familiar with just the fundamentals of algebraic topology.

研究动机与目标

• 通过将组合定义与它们的几何起源联系起来，帮助具备基础代数拓扑知识的学生克服学习单纯集的初始困难。
• 解决单纯集的抽象公理化表述与其拓扑根源之间的脱节问题，这常常让初学者感到沮丧。
• 提供视觉化和具体的几何路标，阐明单纯理论中组合构造的含义。
• 为准备学习梅（May）、柯蒂斯（Curtis）或戈尔斯与贾丁（Goerss and Jardine）等人的技术性著作的读者，充当概念上的桥梁——类似于‘第零章’。
• 通过几何直觉说明单纯映射、面映射、退化映射和积是如何自然地从有序单纯复形中产生的。

提出的方法

• 以几何单纯复形为基础，引入有序单纯复形，以减少标签冗余并突出结构。
• 定义标准有序单纯形 $|\Delta^n|$，其顶点标记为 $0, 1, \dots, n$，并展示复形中的任意 $k$-单纯形如何作为 $|\Delta^k|$ 在保持顺序的单纯映射下的像而出现。
• 通过将 $k$-面包含于 $n$-单纯形中引入面映射，利用顺序条件 $i_0 < i_1 < \dots < i_k$ 定义有效面。
• 通过坍塌映射（如将一个 2-单纯形坍塌到一个 1-单纯形）说明退化映射，以说明在单纯集中需要退化单纯形的原因。
• 使用几何实现将抽象单纯集与拓扑空间联系起来，并通过其几何实现的积来解释单纯集的积。
• 引入 Kan 复形作为具有锥面填充性质的单纯集，从而能够定义单纯同伦群 $\pi_n(X,*)$。

实验结果

研究问题

• RQ1 如何通过将单纯集的组合定义与它们的几何和拓扑起源联系起来，使其更具直观性？
• RQ2 面映射与退化映射在将几何单纯映射推广到抽象单纯集的过程中起什么作用？
• RQ3 有序单纯复形与标准单纯形 $|\Delta^n|$ 如何作为更一般单纯集的构建模块？
• RQ4 当高维单纯形被坍塌时，退化单纯形以何种方式保留信息？
• RQ5 单纯集的几何实现如何恢复其拓扑直觉？在该构造下，单纯集的积表现出何种行为？

主要发现

• 单纯集通过允许退化单纯形来推广几何单纯复形，这些退化单纯形以组合方式编码了坍塌或冗余的几何数据。
• 面映射自然地源于有序单纯复形中 $k$-面包含于 $n$-单纯形中的结构，其索引满足 $i_0 < i_1 < \dots < i_k$。
• 退化映射（如将一个 2-单纯形坍塌到一个 1-单纯形）对于在抽象单纯集中保留拓扑信息至关重要。
• 带有顶点标记 $0,1,\dots,n$ 的标准 $n$-单纯形 $|\Delta^n|$ 通过保持顺序的映射，作为所有有序单纯复形中 $n$-单纯形的通用模型。
• Kan 复形是所有锥面均可被填充的单纯集，从而能够构造类似于拓扑同伦群的单纯同伦群 $\pi_n(X,*)$。
• 几何实现提供了一种将拓扑空间与单纯集关联起来的方法，且单纯集的积与该实现兼容，从而保持范畴结构。