同伦论

同伦论研究拓扑空间在连续形变下的性质，将基本群推广到高阶同伦群，并通过纤维化、余纤维化和CW逼近来组织映射。

Definition

同伦论研究拓扑空间和映射在同伦（连续形变）下的性质，利用高阶同伦群（从球面到空间的映射的同伦类）以及纤维化和CW复形的结构，使这些不变量变得可处理。

Scope

本主题定义了高阶同伦群（其在维度至少为二时是阿贝尔群），并发展了计算和关联这些群的工具：纤维化及其长正合序列、连接同伦和同调的Hurewicz定理、Whitehead关于CW复形弱等价的定理，以及障碍理论。它概述了球面的同伦群（一个在很大程度上尚未解决的问题）、表示上同调的Eilenberg-MacLane空间，以及将同伦论抽象化的模型范畴观点。

Core questions

• 高阶同伦群如何扩展基本群，以及为什么它们在维度大于一时是阿贝尔群？
• 纤维化的长正合序列如何从更简单的部分计算同伦群？
• Hurewicz定理关于第一个非零同伦群及其与同调的关系有何阐述？
• 为什么球面的同伦群如此难以计算，以及有什么结构可以组织它们？

Key concepts

• 高阶同伦群及其阿贝尔结构
• 纤维化、余纤维化和纤维化的长正合序列
• Hurewicz定理和Whitehead定理
• Eilenberg-MacLane空间和上同调的可表示性
• CW逼近和障碍理论

Clinical relevance

同伦论是现代拓扑学的抽象骨干，为稳定现象、丛和规范理论的分类空间以及目前广泛应用于代数、代数几何和数学物理的同伦方法提供了语言。

History

Hurewicz在20世纪30年代引入了高阶同伦群；Serre的谱序列以及Whitehead等人的工作使计算成为可能，而Quillen的模型范畴（1967年）将同伦论抽象化为一个远超拓扑学范畴的框架。

Key figures

• Witold Hurewicz
• J. H. C. Whitehead
• Daniel Quillen

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

为什么高阶同伦群是阿贝尔群，而基本群则不一定是？

对于维度至少为二的情况，有足够的空间通过Eckmann-Hilton论证使两个球面相互交换位置，从而强制实现交换性；在维度为一的情况下，环路无法以这种方式相互滑动。

球面的同伦群是否已知？

仅部分已知。尽管付出了巨大的努力，它们只在一定维度范围内被计算出来，而普遍确定它们仍然是拓扑学中最深刻的未解决问题之一。