Quillen有限偏序纤维引理

为什么增加一个中间偏序 ​

构造一个包含源和目标两份标签的偏序 $M_f=P\bigsqcup Q$。同名元素也必须标明来自哪侧，不能合并。保留各侧原有比较，跨侧规定

不设从目标侧到源侧的比较。保序性保证这些规则传递，因而确实给一个偏序。

$M_f$ 像一座桥：每个源点都接到它的目标像以及像上方的点。我们将用两种次序拆掉这座桥。

• 先从上往下删源侧点，最终只剩目标侧；每步上方都有一个最小点 $f(x)$
• 改从下往上删目标侧点，最终只剩源侧；每步下方恰为式 (1) 的原像偏序

第一种拆法总能保证不改同伦型；第二种正好需要纤维可缩的假设。这解释了为什么局部条件是“整个下理想原像”，而不是某个单独标签的原像。

删除顶点的拓扑理由 ​

对任意有限复形 $K$ 中的顶点 $v$，其闭星是 link 的锥：每个含 $v$ 的单形由一个 link 单形添上 $v$ 得到。若 link 的实现 $L$ 非空且可缩，那么删除 $v$ 保持同伦型，事实上有固定剩余子复形的强形变收缩理路形变收缩Deformation retract · Strong deformation retract在整个同伦过程中固定子空间，把母空间连续压到该子空间。。

这可以写成明确公式。把锥表示为 $(\ell ,s)$，其中 $s=0$ 是底部 $L$，$s=1$ 的全部点合为锥顶。取收缩 $H:L\times [0,1]\to L$，满足 $H(\ell ,0)=\ell$、$H(\ell ,1)={\ell }_0$。对时间 $t$，定义

唯一的 $0/0$ 情形是 $s=1,t=0$，按原锥顶解释。对 $t>0,s=1$，第一坐标总是 ${\ell }_0$，与锥顶的代表无关；趋近该例外点时第二坐标趋于 $1$，所以在锥商空间中连续。$s=0$ 始终固定，$t=0$ 为恒等，$t=1$ 整个锥落到底部。与其余复形上的恒等映射粘合，便得到所需强收缩。

在序复形中，顶点 $x$ 的 link 是严格下集与严格上集序复形的 join：一条避开 $x$ 却可添入 $x$ 的链，正分成 $x$ 下方和上方两段。只要其中一段的序复形非空且可缩，link 就可缩。若另一段为空，link 就是第一段；若两段非空，可先收缩其中一因子，再将所得锥收缩到点。因此不必要求上下两侧都可缩。

每个精确纤维都是一点，结论仍可失败 ​

取源 $P=\{u,v\}$ 为两点反链，目标 $Q=\{0<1\}$ 为两点链，令 $f(u)=0,f(v)=1$。这是保序映射，因为源没有非平凡比较；两个精确纤维都是一点。

然而 $P_1=\{u,v\}$ 仍是反链，其序复形是两个不连通点，不可缩。源实现有两个连通分支，目标实现是一条线段，不可能同伦等价。这个例子直接拒绝“只检查 $f^{-1}(y)$”的捷径。

有最大元是一份简单但充分的纤维证据 ​

若 $P_y$ 有最大元 $m_y$，任何链都可添入 $m_y$，所以 $\mathrm{\Delta }{P}_y$ 是锥，当然可缩。证书可以只列 $m_y$，再检查它确实位于纤维且每个纤维元素不大于它。

但存在最大元不是定理的必要条件。一个V形偏序 $a<c,b<c$ 有最大元；把全部比较反转后只有最小元，仍可缩。更一般的纤维可以由多步合法删点收缩；若连这种日志都找不到，也不能仅凭搜索失败判不可缩。

空目标与必要性边界 ​

$Q=\varnothing$ 时，存在函数 $P\to Q$ 已迫使 $P=\varnothing$，两边为空实现，唯一映射是同伦等价。除此退化情形，定理的每个纤维都必须非空；空空间不作为可缩空间处理。

这些条件是充分条件，不是对所有同伦等价映射的必要条件。比如一点映到两点链的最大点，两边实现都可缩，故该映射是同伦等价；但最小目标点的下理想原像为空，不能通过本页的下纤维验收。报告应为“此证书条件不满足”，而不是“映射一定不是同伦等价”。

两份删点次序完成证明 ​

取源的线性扩张 $x_1,\dots ,x_n$，即 $x_i<x_j$ 时 $i<j$。从 $M_f$ 中按 $x_n,\dots ,x_1$ 删除源点。轮到 $x_i$ 时，比它大的源点已经删除；剩余严格上集恰为

有最小元 $f(x_i)$。前面的 link 论证说明每次删除是同伦等价，所以目标包含 $j:Q\hookrightarrow M_f$ 诱导同伦等价。

再从完整的 $M_f$ 重新开始。取目标线性扩张 $y_1,\dots ,y_m$，按这个正序删除目标点。轮到 $y_i$ 时，比它小的目标点已经删除；严格下集恰为 $P_{y_i}$。由假设及 link 论证，每次删除同样保持同伦型。所以源包含 $i:P\hookrightarrow M_f$ 也诱导同伦等价。

最后，式 (3) 给出点态比较 $i(x)\le jf(x)$。有限偏序同伦将其变成 $|\mathrm{\Delta }i|\simeq |\mathrm{\Delta }j|\circ |\mathrm{\Delta }f|$。选 $|\mathrm{\Delta }j|$ 的同伦逆，便知 $|\mathrm{\Delta }f|$ 是两个同伦等价的复合，证明式 (2)。因此得到的是指定的映射 $f$，不是只知道源和目标碰巧具有同一同伦型。

可执行证书应包括什么 ​

对每个目标点，重新从原 $f$ 与目标比较计算 $P_y$；附一份可缩理由，例如最大元、最小元、有效删点日志或另行给出的连续收缩。随后记录映射柱的跨侧比较和两条删除次序。验收每一步时应重算当前严格上/下集，不能相信记录者自填的邻域列表。

可缩性远强于有理同调全零。只核 Betti 数不能替代这里的假设，也不能自动给同伦逆。本单元程序对用到的纤维采用可直接检查的锥点或删点日志，再额外计算整数边界和域上同调作为交叉证据。

有限子复形覆盖的神经定理理路有限子复形覆盖的神经定理Nerve theorem for finite subcomplex covers · Finite simplicial nerve lemma · 有限覆盖神经定理对所有非空交集可缩的有限子复形覆盖，构造保同伦型的神经及具体反序面映射，指出仅检查各块或两两交集为何不够。将下纤维变成覆盖成员的交集；Dowker关系对偶理路Dowker关系复形对偶Dowker relation duality · Dowker complexes · 关系的共同见证复形从有限关系的共同列见证与共同行见证建立两侧复形，给出同伦等价的反序面映射，并证明关系扩张时诱导同调自然相容。则把它变成一个全部子集组成的单形。这两种应用都能明确解释每个局部纤维，而非把引理用作黑箱。

偏序、覆盖与关系复形证书任务：终点把每个下理想原像与两份映射柱删除日志交给独立检查，错误的精确点纤维会被明确拒绝。