SYSTEMATIC MATHEMATICS

稳定同伦论与广义上同调

本课用 13 个按内容定长单元中的 127 个可见双语章节，从带基点空间、悬挂、环路、纤维、余纤维、序列谱、模型纪律、稳定范畴、有限对偶与稳定茎出发，系统建立广义同调与上同调、Brown 可表性、Steenrod 运算、环谱与模谱、K 理论、配边、正合偶、AHSS 与 Adams 谱序列、色层高度、Morava 理论、幂零性、周期性、Bousfield 局部化、完备化、fracture 方块，以及严格限定范围的等变、参数化、动机、稳定 ∞-范畴与谱代数接口。每个符号都有局部含义；每章都含准确定义、定理或有界结论、按照论证实际需要展开的完整证明路线、失效边界、完整计算、诊断问题、配套练习与解答。十份原创可复核档案保留带类型箭头、有限数据、次数约定、精确算术、未知指数与来源记录。本课是 Stage 5 博士专业核心与研究准备，不冒充完整模型范畴基础、深层色层计算、完整等变或动机理论、望远镜比较结果、tmf、手术理论、Floer 理论或普遍研究前沿精通。

本课程之前: 已完成代数拓扑；范畴论、同调代数与导出方法；抽象代数；线性代数；证明、逻辑与集合论；拓扑，并熟悉向量丛、示性类、正合列、链复形、张量积及谱序列记号。

COURSE FACTSLevel, chapters, units, prerequisite, and outcome
第 1 章

带基点空间与保持基点的映射

目标: 为什么指定 f(+1) 就能确定带基点映射 S⁰→X，却不能确定普通映射？

带基点空间不是“在空间上随手点一个点”，而是一对 (X,x₀)，其中 x₀ 属于数据本身。带基点映射 f:(X,x₀)→(Y,y₀) 必须满足 f(x₀)=y₀。这个等式决定允许哪一个常值映射、哪些同伦算数，以及以后环路与 smash 构造在哪里粘接。

记 Map_*(X,Y) 为带基点映射，记 [X,Y]_* 为带基点同伦类。星号表示条件，不是乘法。带基点同伦 H:X×I→Y 要求每个 t 都满足 H(x₀,t)=y₀。普通同伦可以移动 x₀ 的像，因此未必证明两个映射在 [X,Y]_* 中相同。

带基点空间中的零对象是单点空间 *。从 * 到 X 以及从 X 到 * 都恰有一个带基点映射。这使核式构造、锥、楔和与约化构造比普通空间更像代数对象，但不会因此把带基点空间范畴变成 Abel 范畴。

带基点零维球面 S⁰ 有两个点 {−1,+1}，取 −1 为基点。带基点映射 S⁰→X 完全由 +1 的像决定，因为 −1 被强制送到 x₀。因此 Map_*(S⁰,X) 与 X 的底层点集自然对应。这个小模型以后会解释 S⁰ 为什么是 smash 积的单位。

每当公式出现星号，先记录三件事：哪个对象带有基点、哪支映射必须保持基点、同伦是否在每个时刻也保持基点。稳定同伦论因为这些条件反复出现，常在排版中省略；本课程会持续写明，直到类型检查成为习惯。

对每个带基点空间 (X,x₀)，在非基点 +1 处求值给出自然双射 Map_*(S⁰,X)≅X；在此双射下，带基点常值映射对应 x₀。

定义 ev₊(f)=f(+1)。因为 +1∈S⁰ 且 f 的目标为 X，所以该定义类型正确。

对 x∈X，定义 f_x(−1)=x₀、f_x(+1)=x。定义域是离散空间，因此 f_x 连续；按构造它保持基点。

复合满足 ev₊(f_x)=x；又因为带基点映射已有 f(−1)=x₀，所以 f_{ev₊(f)}=f。对每个带基点 h:X→Y 都有 h∘f_x=f_{h(x)}，从而得到自然性。

设 X={x₀,a,b} 为离散带基点空间，基点是 x₀。列出所有带基点映射 S⁰→X，并指出带基点常值映射。

  1. 基点条件在每种情形中都强制 f(−1)=x₀。
  2. 剩余点 +1 可以分别映到 x₀、a 或 b。
  3. 因此三支映射是 f_{x₀}、f_a 与 f_b。只有 f_{x₀} 把定义域两点都送到 x₀。

结果: 恰有三支带基点映射，在 +1 处求值后分别对应 x₀、a、b；其中 f_{x₀} 是带基点常值映射。