闭曲面分类定理

切开曲面以后，可以把它摊成一个边成对粘合的多边形。词中的交错反向配对产生把手，同向配对产生交叉帽。分类的难点在于证明任何边界词都能整理为这两类基本片段，而且过程中没有改变空间的同胚型。

Euler 示性数只能在模型已被证明穷尽以后读取参数。提前列出 $2-2g$ 与 $2-k$，不会证明还有没有其他曲面。存在性来自切粘变换，唯一性才由不变量负责。

允许的切粘动作 ​

给边重命名、循环移动边界词的起点、把整圈行走方向反转，都不改变商空间。沿多边形内部一条弧切开，会在两张新面边界产生一对新字母 $d,d^{-1}$；沿这对边重新粘合恢复原面。反过来，属于两张不同面的反向配对边可以消去，将两面并成一面。这些操作都是对同一曲面的不同切分，不是只保持同伦的任意塌缩。

允许消去连续片段 $a{a}^{-1}$：这两条边粘合形成一个可展平的折返，切开其尖端的小三角片后重新粘回即可消去该边。若只剩这个片段，模型为球面；空词也约定为一张圆盘边界全部压成一点的球面模型。

从三角剖分到一面一顶点 ​

有限三角剖分的面邻接图连通。在其中选生成树，沿树的共有边逐次拼合三角形，每次将一张新三角形接到已有圆盘的一条边，最后得到一张多边形；未拼合的原边成为成对识别的边。顶点处可能仍有多个等价类。

还可将一骨架中的生成树缩成一个顶点，而保持曲面同胚型。这里使用的是嵌入曲面中的有限树：它有闭圆盘正则邻域，逐条删除叶边可证明这一点。将这个正则邻域记为 $D_0$，在其中取逐渐变细的闭圆盘正则邻域 $D_j$，满足 $T\subset \mathrm{int}{D}_{j+1}\subset D_{j+1}\subset \mathrm{int}{D}_j$ 且 $\bigcap _j{D}_j=T$。有限多边形树可用越来越细的边条带与顶点小盘构造这些邻域；从叶子开始接入矩形条带不会制造把手，所以各个 $D_j$ 仍为圆盘。

相邻边界之间是多边形环带，沿连接内外边界的一条弧切开成为圆盘，可将其同胚到标准圆环。逐层选择这些同胚，使公共边界上的参数相同，将 $D_j\setminus \mathrm{int}{D}_{j+1}$ 映到半径 $2^{-j}$ 与 $2^{-j-1}$ 之间的圆环。

把 $T$ 整体映到中心，得到从 $D_0/T$ 到圆盘的连续双射；在中心连续是因为整个 $D_j$ 的像半径不超过 $2^{-j}$。源紧、目标 Hausdorff，故它是同胚，外边界参数可预先固定。于是将这个局部同胚与邻域外恒等拼合，给出整个曲面的同胚。它不推广为任意空间中任意可缩子集的塌缩。

在缩树后的分解中重新沿面邻接树拼合，就得到一面、一顶点的多边形表示。边始终恰好出现两次，且顶点周围的边角拼成一个圆周；这项流形局部条件会在下面排除遗漏的边对。

同向边对抽出交叉帽 ​

如果某字母同向出现两次，边界可写成 $aUaV$，其中 $U,V$ 为不含 $a$ 的词。沿新对角线切成边界 $aUb$ 与 $b^{-1}aV$ 的两面；将第二面反向读成 $a^{-1}b{V}^{-1}$，再沿 $a,a^{-1}$ 粘合，得到

符号 $\sim$ 在这里表示存在上述切粘产生的同胚。相邻同向对 $bb$ 就是一枚交叉帽。把已经提取的块保留，重复处理未提取的同向对，每次固定两次字母出现，有限步结束。

交错反向边对抽出把手 ​

若剩余边都反向成对，考虑一对 $a,a^{-1}$。若没有另一对边跨越它们，即一个字母的两次出现永远都在同一段内，那么顺着顶点识别检查，$a$ 的两端分属不同顶点类；这与一顶点表示矛盾。折返 $a{a}^{-1}$ 已被消去，所以必须存在交错边对，词可写为

切粘的基本移动为

证明是沿新边切成 $aPc$ 与 $c^{-1}Q{a}^{-1}R$，再沿 $a$ 粘合，得到 $PcR{c}^{-1}Q$；循环换起点并令 $d=c^{-1}$ 就是上式。

在交错词中可以逐字核验三次移动：

第一步取 $P=U,Q=bV$。第二步先把起点移到 $b$，取 $P=VU,Q=a_1^{-1}W$，再把起点移回 $a_1$。第三步先把起点移到 $a_1^{-1}$，将它视为规则中的字母 $a$，取 $P=WVU,Q=b_1^{-1}Z$，新字母命名为 $a_2^{-1}$。最后一行只是循环换起点。令 $c=a_2,d=b_1$ 就得到一枚把手和余词 $ZWVU$。 新字母 $c,d$ 组成一枚把手。每次固定四次边出现，余下词缩短；已有块不必再拆开。若还有未归类的反向对，它要么交错而能再抽出把手，要么隔出另一顶点类而违背一顶点条件。因此这一步确实穷尽剩余边，不能只凭示意图断言“最后一定整理完”。

混合类型归为纯交叉帽 ​

若同时出现交叉帽与把手，需继续用切粘恒等式

它可用前面同向对公式直接核验，而不是额外假设：

每行允许循环移位、整词反向和新字母重命名；中间的新同向对继续按同一公式提取。因此一枚交叉帽加一枚把手等于三枚交叉帽。重复后，要么完全由把手组成，要么完全由交叉帽组成，给出主陈述的存在性。

标准词中截取一个把手或交叉帽块，其小邻域是分别去掉圆盘的环面或射影平面；沿余下圆周接回正是连通和。这说明多边形标准模型与主陈述的连通和模型一致，而不是两套未经比较的名称。

用同调完成唯一性 ​

胞腔边界理路胞腔同调Cellular homology由 CW 骨架过滤构造以胞腔为基的链复形，并计算与奇异同调自然同构的群。把二维附着词送到各一胞腔的指数和。可定向模型每个字母一正一负，故 ${\partial }_2=0$，得到

球面可视为 $g=0$ 的单独模型，$H_1=0,H_2=\mathbb{Z}$。

不可定向模型的边界向量为 $(2,\dots ,2{)}^T$，它单射，且余核为

因为 $(1,\dots ,1)$ 是本原整数向量，可扩成整数基，故该余核确为一个二阶因子加 $k-1$ 个自由因子。不同可定向模型由 $H_1$ 秩区分；不同不可定向模型同样由秩区分；两家之间由 $H_2$ 区分。于是标准模型两两不同胚，唯一性完成。

把各面定向跨边传递，可定向标准词的反向边界配对保持相容；同向对则绕过一枚交叉帽后翻转方向，所以不可定向。这与局部定向理路流形定向Orientation of a manifold对各切空间一致选择正向基等价类的结构。一致。最后才由胞腔计数理路欧拉示性数Euler characteristic以胞腔交替计数或同调群秩交替和定义的拓扑不变量。读出 $\chi ({\mathrm{\Sigma }}_g)=2-2g$、$\chi (N_k)=2-k$。

Klein瓶与一次混合变换 ​

Klein 瓶的边界词可取 $aba{b}^{-1}$。用同向对公式 $aUaV\sim cc{V}^{-1}U$，取 $U=b,V=b^{-1}$，立得 $ccbb$，所以它是 $N_2$。整数同调为 $H_1=\mathbb{Z}\oplus \mathbb{Z}/2,H_2=0$。

$T^2\mathrm{\#}{\mathbb{RP}}^2$ 的词有一枚把手和一枚交叉帽，按上面的混合变换等于 $N_3$；它不是一个新的第四家族。相反，${\mathrm{\Sigma }}_2$ 与 $N_4$ 都有 $\chi =-2$，却分别有 $H_2=\mathbb{Z}$ 与零，不能只凭 Euler 数判为同胚。

列表的适用边界 ​

若有边界，还必须记录边界圆周个数；若不连通，要逐连通分支分类；若不紧，可能有无限亏格或不同的端空间，有限参数列表不再充分。任意二维 CW 复形也未必是曲面：例如两个球面楔在一点时，楔点没有平面邻域，不能输入这个分类定理。

给一个闭曲面多边形表示时，可按“检查局部流形条件、读方向配对、做有限切粘、计算同调复核”的顺序工作。只有已经知道输入确为闭连通曲面，才可用可定向性与 Euler 数直接定位到唯一模型。

对于本单元的环面与 ${\mathbb{RP}}^2$，分类提供它们在曲面列表中的位置，实际同调仍由附着矩阵计算。模二换系数会把不可定向模型的乘二边界变为零，但不会把其整数拓扑类型改变成可定向曲面。