手术理论

手术理论回答"高维流形如何分类"：把流形沿嵌入球面切开再粘回一个环面，通过逐步"手术"（surgery）化简流形，直到能用奇异同调与同伦群等代数不变量完全判定。它是 20 世纪几何拓扑最深刻的部分之一。

需先掌握拓扑流形、奇异同调（Poincaré 对偶）与同伦群（h-配边条件需要同伦等价）。

手术与柄分解

手术：在 $n$ 维流形 $M$ 中取嵌入 $S^k\times D^{n-k}$，挖去内部，把 $D^{k+1}\times S^{n-k-1}$ 沿边界粘回。这改变 $M$ 的同调与同伦型，是 Morse 理论中"经过临界点"的拓扑版本。任何闭流形可由 $S^n$ 经有限次手术得到（等价地：有柄分解）。手术保持配边关系：$M$ 手术得到 $M'$ 当且仅当 $M,M'$ 配边（cobordant）；手术的可解性由 Wall 的 $L$ 群测量。

h-配边定理

$n\ge 5$ 时，若紧 $n$ 维流形 $W$ 以 $M_0,M_1$ 为边界，且 $W$ 与 $M_0,M_1$ 都同伦等价（"h-配边"），则 $W\cong M_0\times[0,1]$（Smale）。推论：Poincaré 猜想在 $n\ge 5$ 成立——同伦球面同胚于标准球面。Whitney trick（把两个相交曲面"抹平"）是证明的核心，它在四维失效导致困难。

拓扑与光滑的差异

• Milnor 怪球：$S^7$ 上存在多个不等价的光滑结构（$\Theta_7\cong\mathbb{Z}/28$）；同伦球面研究引出配边理论
• 四维：Freedman 证明了单连通闭四维流形的拓扑分类；而 $\mathbb{R}^4$ 上有不可数多个互不等价的光滑结构（exotic $\mathbb{R}^4$），Donaldson 用规范场论证明许多拓扑四维流形没有光滑结构——四维是光滑与拓扑分离最剧烈的地方
• 三维以下：每个拓扑流形有唯一的光滑结构（Munkres 定理），故三维流形与几何化无需区分两者

应用

手术理论是高维流形分类的主工具，也是纽结理论中 Dehn 手术（沿纽结补空间做手术得到新三维流形）的来源；h-配边与 s-配边定理把代数 $K$ 理论（Whitehead 挠率）引入几何。