物理 『栖岸计划』稳定同伦论（核心篇）
温馨提示：本系列难度较大，更新偏慢，若看不懂请务必踏踏实实学习课内知识
稳定同伦论本质是研究拓扑空间在无限次悬垂（可以理解为拉伸维度）后保持不变的同伦性质
它将复杂的拓扑问题转化为可控的代数问题
本篇只讲解核心概念，看不懂可以先另一篇预备知识
1. 稳定同伦群：稳定化后的核心不变量
（1）定义
空间$X$的第$k$个稳定同伦群：$\pi_k^s(X) = \lim_{n\to\infty} \pi_{n+k}(\Sigma^n X)$
其中$\Sigma^n X$是$X$的$n$次悬垂，极限是沿着悬垂同态取的
即当$n$足够大时，后面的映射都是同构，极限就是那个固定的群
🌰：球面的第$k$个稳定同伦群（也叫第$k$个稳定茎）：$\pi_k^s = \pi_k^s(S^0)$
$= \lim_{n\to\infty}\pi_{n+k}(S^n)$，
其中$S^0$是0维球面（两个点），它的$n$次悬垂就是$S^n$
（2）核心性质
1. 有限性：Serre定理告诉我们，对$k\gt 0$，$\pi_k^s$都是有限群，只有$\pi_0^s=\mathbb{Z}$是无限群
这意味着我们可以按素数$p$把稳定同伦群分解，分别计算每个素数的分量，再拼起来
2. 分次环结构：稳定同伦群$\pi_*^s = \bigoplus_{k\in\mathbb{Z}} \pi_k^s$构成一个分次交换环
乘法由smash积诱导：对$\alpha\in\pi_k^s$，$\beta\in\pi_l^s$，它们的乘积$\alpha\wedge\beta\in\pi_{k+l}^s$，是两个稳定映射的smash积，也叫Toda乘积
3. 分次交换性：$\alpha\beta = (-1)^{kl} \beta\alpha$，这是稳定化后才有的优良性质，不稳定的同伦群没有这么规整的乘法结构
（3）前几个经典的稳定同伦群
稳定茎 ； 稳定同伦群
$k=0$ ； $\pi_k^s=\mathbb{Z}$
$k=1$ ； $\pi_k^s=\mathbb{Z/2Z}$
$k=2$ ； $\pi_k^s=\mathbb{Z/2Z}$
$k=3$ ； $\pi_k^s=\mathbb{Z/24Z}$
$k=4$ ； $\pi_k^s=0$
$k=5$ ； $\pi_k^s=\mathbb{Z/2Z}$
$k=6$ ； $\pi_k^s=\mathbb{Z/2Z}$
$k=7$ ； $\pi_k^s=\mathbb{Z/240Z}$
这些群的阶数和数论中的伯努利数有深刻联系，比如$\pi_{2n-1}^s$的挠部分的阶数，和伯努利数的分母直接相关
2. 稳定等价：稳定同伦论的相等
有了稳定同伦群，我们可以定义稳定同伦论里的等价关系：
定义：两个带基点的有限$\text{CW}$复形$X$和$Y$是稳定等价的，如果存在正整数$n$，使得$\Sigma^n X$和$\Sigma^n Y$同伦等价
简单讲就是两个空间稳定等价，就是把它们都悬垂足够多次之后，就变成同伦等价的了
稳定等价比同伦等价宽松
经典🌰：Hopf映射$\eta:S^3\to S^2$的映射锥$C_\eta = S^2 \cup_\eta D^4$，它和$S^2\vee S^4$不同伦等价，但悬垂一次之后，$\Sigma C_\eta \simeq S^3\vee S^5$，所以它们是稳定等价的
核心结论：两个有限$\text{CW}$复形稳定等价，当且仅当它们的稳定同伦群完全同构（对所有$k$，$\pi_k^s(X)\cong\pi_k^s(Y)$）
3. 谱与稳定同伦范畴
普通的拓扑空间只能做有限次悬垂，无限次悬垂之后就不再是普通的空间了
为了描述无限悬垂的对象，我们引入了谱（Spectrum）的概念，它是稳定同伦论的基本研究对象
（1）谱的严格定义
一个谱E是一列带基点的$\text{CW}$复形$\{E_n\}_{n\in\mathbb{Z}}$，加上一列连续的结构映射：
$\sigma_n: \Sigma E_n \to E_{n+1}$
也就是每个空间的悬垂，都映射到下一个空间
直观一点：谱就是一串逐步实现悬垂的空间，它把无限悬垂的过程，拆解成了每一步的结构映射
（2）经典的谱🌰
1. 球谱$\mathbb{S}$：稳定同伦范畴的单位元
定义为$E_n = S^n$，结构映射$\sigma_n:\Sigma S^n=S^{n+1}\to S^{n+1}$是恒等映射。球谱的同伦群就是球面的稳定同伦群：$\pi_k(\mathbb{S})=\pi_k^s$
2. Eilenberg-MacLane谱$H\mathbb{Z}$：对应普通的奇异上同调
定义为$E_n=K(\mathbb{Z},n)$（Eilenberg-MacLane空间满足$\pi_n(K(\mathbb{Z},n))=\mathbb{Z}$，其他同伦群都是0），结构映射$\Sigma K(\mathbb{Z},n)\to K(\mathbb{Z},n+1)$是同伦等价
它的同伦群只有$\pi_0(H\mathbb{Z})=\mathbb{Z}$，其他都是0
3. 复K-理论谱KU：对应拓扑K-理论
它的结构映射满足$\pi_k(KU)=\mathbb{Z}$当$k$是偶数，$\pi_k(KU)=0$当$k$是奇数，完美对应K-理论的周期性质
（3）谱的同伦群
对于谱$E$，它的第$k$个同伦群定义为：
$\pi_k(E) = \lim_{n\to\infty} \pi_{n+k}(E_n)$
极限由结构映射诱导：$\pi_{n+k}(E_n) \xrightarrow{\Sigma}\pi_{n+k+1}(\Sigma E_n)\xrightarrow{(\sigma_n)_*}\pi_{n+k+1}(E_{n+1})$
这个定义对应了空间的稳定同伦群：空间$X$的悬挂谱$\Sigma^\infty X$，定义为$E_n=\Sigma^n X$，结构映射是恒等，它的同伦群$\pi_k(\Sigma^\infty X)=\pi_k^s(X)$，正好是X的稳定同伦群
（4）稳定同伦范畴
稳定同伦范畴（也叫谱的同伦范畴），是稳定同伦论的核心框架：
对象：所有的谱
态射：谱之间的映射的同伦类（稳定映射）
核心性质：
1. 悬垂是等价：悬垂函子$\Sigma$是稳定同伦范畴的自等价，有逆函子$\Sigma^{-1}$（去悬垂）
这是稳定范畴和普通拓扑空间范畴的核心区别
在稳定范畴里，维度不再是固定的，我们只关心相对的分次度数，悬垂不会改变对象的等价类
2. 三角范畴结构：稳定同伦范畴是一个三角范畴，每个态射都可以嵌入一个正合三角，对应拓扑中的上纤维序列，我们可以用同调代数的工具来研究它
3. 对称幺半结构：谱之间可以定义smash积$\wedge$，球谱$\mathbb{S}$是这个乘法的单位元$（\mathbb{S}\wedge E\simeq E）$
这个结构是稳定同伦环、广义上同调乘法的基础
4. 广义上同调与Brown表示定理
稳定同伦论的一个核心意义，是它和广义上同调理论的一一对应，这就是Brown表示定理
（1）广义上同调理论
普通的奇异上同调满足Eilenberg-Steenrod公理，其中有一条维数公理：$H^n(pt)=0当n\neq0$，$H^0(pt)=\mathbb{Z}$
如果我们去掉维数公理，保留其他所有公理（同伦公理、正合公理、切除公理、可加性公理），得到的上同调理论就叫广义上同调理论
经典🌰：
拓扑K-理论：$K^0(X)$是$X$上复向量丛的稳定等价类，$K^n(X)=K^0(\Sigma^n X)$，满足$K^{2n}(pt)=\mathbb{Z}$，$K^{2n+1}(pt)=0$，不满足维数公理
复配边理论：研究流形的配边等价类，也是广义上同调理论
（2）Brown表示定理
每一个广义上同调理论$h^*$，都唯一对应一个谱$E$，使得对所有$\text{CW}$复形$X$，有$h^n(X) = [\Sigma^\infty X, \Sigma^n E]$，也就是从X的悬挂谱到E的n次平移谱的稳定映射同伦类
反过来，每一个谱$E$，都定义了一个广义上同调理论$E^*(X)=[\Sigma^\infty X, \Sigma^* E]$，和对应的广义同调理论$E_*(X)=\pi_*(\Sigma^\infty X \wedge E)$
这个定理的意义：所有广义上同调理论，都可以用谱来表示，而谱的性质都在稳定同伦范畴里研究
稳定同伦论是所有广义上同调理论的统一框架，这也是它在现代数学中如此重要的原因。
5. 核心计算工具
球面稳定同伦群的计算是代数拓扑的核心问题之一，目前最主要的工具是谱序列：
1. Adams谱序列：最经典的计算工具，它的$E_2$项是Steenrod代数上的Ext群：
$E_2^{s,t} = \text{Ext}_{A}^{s,t}(\mathbb{Z}/p, \mathbb{Z}/p)$
收敛到球面稳定同伦群的p局部化
它把拓扑计算转化为纯代数的同调代数计算，是计算低维稳定同伦群的标准方法
2. Adams-Novikov谱序列：用复配边谱$MU$或Brown-Peterson谱$BP$代替普通上同调，得到的谱序列收敛速度更快，能计算更高维的稳定同伦群，是现代稳定同伦论的核心工具
3. 动机同伦方法：近年来，数学家利用代数几何中的动机同伦理论，把稳定同伦群的计算推进到了$k\leq90$的范围
复旦大学王国祯、加州大学徐宙利等人证明了第61个稳定茎平凡，解决了61维球面微分结构的唯一性问题，是该领域的重大突破
总结：
稳定同伦论的核心，是通过无限次悬垂的稳定化操作，把复杂、混乱的不稳定同伦群，转化为具有规整代数结构的稳定同伦群
通过引入谱和稳定同伦范畴，把拓扑空间的同伦问题，转化为具有良好代数性质的范畴问题
这个理论解决了微分拓扑中的核心问题（如怪球分类），为现代数学的众多分支提供了统一的框架和工具