SDE Universes·新思想前沿›数学与逻辑
新思想前沿 · 流形、谱与可计算同伦

拓扑与同伦论

近二十年与经典层 · 两幕 20 个新思想 ＋ 20 个经典思想 · 约 36,085 字 · 王德生 亲撰 · 2026 年 8 月

拓扑学的近二十年转向与 1950—2006 年经典思想在同一页对读：现代层说明新证据怎样改写问题，经典层倒查旧前提由谁、用什么材料建立。四十条均保留来源、边界、量纲、失效与异名接口；经典二十条逐一回指上文，不把年代久远误当成结论仍然有效。

【第一幕】上一个十年 · 约 2006–2016 · 八条奠基转向

甲、三维几何化：一个百年猜想收口

提出Kleiner & Lott, Notes on Perelman’s papers, Geometry & Topology 12 (2008): 2587–2855。　争议与 Church, Homological stability for configuration spaces of manifolds, Inventiones Mathematicae 188 (2012): 465–504 的对象边界或反例路线对读。　最新Burklund et al., Counterexamples in chromatic redshift and telescope phenomena, 2024 preprint。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕本条，旧账的堵点是：2002 至 2003 年公开的证明，用里奇流带手术的方法证明了几何化猜想，庞加莱猜想作为推论成立。此后数年由多个团队逐行核验，到 2006 年前后共同体正式接受。 早期论证常把成功对象当成全体，让本条的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

本条这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进本条的同一解释；若第三方只能复述本条结果却不能重做变换，所谓迁移就尚未发生。第 309 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条的硬证据由 2008 年前后的原始工作给出：对拓扑学而言，这不只是解决了一个猜想，而是三维从此基本清楚：每个三维流形都能被切成有几何结构的块。这门学科的注意力因此被腾出来，转向了它真正不清楚的两处——四维，和高维同伦。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Kleiner & Lott, Notes on Perelman’s papers, Geometry & Topology 12 (2008): 2587–2855。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条再核一次：2008 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条在 2026 年与第 309 号《时间序列与预测方法》的证据边界、又与第 303 号《复分析与复几何》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置E——它把“三维几何化的定义、变换与边界”当成单独够用的那一样　单因决定三维几何化能否迁移的只有结论是否在公开边界内可复算　预设〔10 更多数据必然减少偏倚〕三维几何化在已发表样本上的方向可以代表全部候选对象　量纲在三维几何化的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，三维几何化的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2008 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在三维几何化中产生阴性结果的对象　异名第 309 号《时间序列与预测方法》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

乙、Kervaire 不变量：只剩一个维度

提出Hill, Hopkins & Ravenel, On the nonexistence of elements of Kervaire invariant one, Annals of Mathematics 184 (2016): 1–262。　争议与 Burklund, Hahn, Levy & Schlank, The chromatic nullstellensatz, 2023 preprint 的对象边界或反例路线对读。　最新Isaksen, Wang & Xu, More stable stems, Geometry & Topology 28 (2024): 1–86。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

本条改变的不是术语外壳，而是旧问题的入账方式：2009 年的一项工作证明：除了一个维度之外，所有维度上都不存在具有该不变量的流形。这是同伦论几十年来最重的一击，用的是一个精心构造的、带循环群作用的谱与它的不动点谱序列。 若仍用单个定理、单台器件或单批数据结算，本条之外的反例会被成功叙事自动删去。这里把本条的对象范围、操作步骤和例外集合分别立账。

对本条只提出一条单因主张：公开边界内可以独立复算，才允许把本条方法搬到下一类对象。声望与经费只作环境量；如果本条离开原作者补充就不能运行，结论仍是一次性工艺。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条的硬证据由 2016 年前后的原始工作给出：它把一个开放问题压缩成了「一个数」——而这十年补上的正是那一个数。两幕在这里是同一条链的两截：上一个十年确定了答案的形状，这十年填掉了唯一的空格。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Hill, Hopkins & Ravenel, On the nonexistence of elements of Kervaire invariant one, Annals of Mathematics 184 (2016): 1–262。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条再核一次：2016 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 310 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 310 号《空间统计与地理统计》的证据边界、又与第 304 号《可计算性与递归论》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置S——它把“Kervaire 不变量的定义、变换与边界”当成单独够用的那一样　单因决定Kervaire 不变量能否迁移的只有结论是否在公开边界内可复算　预设〔10 更多数据必然减少偏倚〕Kervaire 不变量在已发表样本上的方向可以代表全部候选对象　量纲在Kervaire 不变量的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，Kervaire 不变量的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2016 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在Kervaire 不变量中产生阴性结果的对象　异名第 310 号《空间统计与地理统计》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

丙、谱代数：把同伦论变成能计算的东西

提出Lurie, Higher Algebra, 2017 manuscript。　争议与 Isaksen, Stable stems, Memoirs of the AMS 262 (2019): 1–159 的对象边界或反例路线对读。　最新Riehl & Shulman, Synthetic higher category theory, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在本条这条线上，过去卡住的是：同一时期，结构化乘法谱（各种 E∞ 环谱）与色球观点被整理成可教、可用的框架。此前的同伦论像一堆技巧，此后它有了统一的代数语言。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的本条必须让三类记录同时可见。

本条的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释本条的正确性；若本条增加抽象层级却减少可重做者，接口扩张就没有被证成。本条再核一次：2017 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条的硬证据由 2017 年前后的原始工作给出：这一步是这十年那些极限计算的前提：能把谱序列推进到几十层，靠的不是算力，而是先有一套能承载这些计算的代数结构。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Lurie, Higher Algebra, 2017 manuscript。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 311 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条在 2026 年与第 311 号《原子分子与光物理》的证据边界、又与第 306 号《生物统计学》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置D——它把“谱代数的定义、变换与边界”当成单独够用的那一样　单因决定谱代数能否迁移的只有结论是否在公开边界内可复算　预设〔10 更多数据必然减少偏倚〕谱代数在已发表样本上的方向可以代表全部候选对象　量纲在谱代数的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，谱代数的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2017 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在谱代数中产生阴性结果的对象　异名第 311 号《原子分子与光物理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

丁、拓扑第一次走出数学

提出Carlsson, Topology and data, Bulletin of the AMS 46 (2009): 255–308。　争议与 Bauer, Kerber, Reininghaus & Wagner, PHAT: Persistent Homology Algorithms Toolbox, Journal of Symbolic Computation 78 (2017): 76–90 的对象边界或反例路线对读。　最新Burklund et al., Counterexamples in chromatic redshift and telescope phenomena, 2024 preprint。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解本条要先拆一个旧混合量：持续同调在这一时期成形：给一团点云一个尺度参数，记录空洞随尺度出现与消失。它把拓扑不变量变成了对噪声稳健的数据描述。 原体例把发现、证明与推广写在同一行，导致本条究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。

本条只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替本条。只要本条的定义域和失败域不能由外部研究者重建，本条即按未完成处理。本条再核一次：2009 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条的硬证据由 2009 年前后的原始工作给出：这条线在当时是边缘，如今已进入材料、神经与图像分析——这门学科最抽象的部分，恰恰产出了它最实用的工具。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Carlsson, Topology and data, Bulletin of the AMS 46 (2009): 255–308。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条还应公开最小复算材料；材料不足时，本条的引用增长只测传播，不测正确性或可迁移性。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 315 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 315 号《表面与界面物理》的证据边界、又与第 307 号《贝叶斯统计与计算》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置E——它把“拓扑第一次走出数学的定义、变换与边界”当成单独够用的那一样　单因决定拓扑第一次走出数学能否迁移的只有结论是否在公开边界内可复算　预设〔14 因与果的方向是给定的〕拓扑第一次走出数学在已发表样本上的方向可以代表全部候选对象　量纲在拓扑第一次走出数学的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，拓扑第一次走出数学的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2009 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在拓扑第一次走出数学中产生阴性结果的对象　异名第 315 号《表面与界面物理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

戊、四维：唯一没被推进的那一格

提出Freedman & Quinn, Topology of 4-Manifolds, Princeton University Press (1990)。　争议与 Cohen-Steiner, Edelsbrunner & Harer, Stability of persistence diagrams, Discrete & Computational Geometry 37 (2007): 103–120 的对象边界或反例路线对读。　最新Isaksen, Wang & Xu, More stable stems, Geometry & Topology 28 (2024): 1–86。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕本条，旧账的堵点是：三维被解决、高维有手术理论可用，唯独四维在这一时期依旧两头不靠。规范理论与 Seiberg–Witten 不变量给出了区分光滑结构的工具，却始终无法回答最基本的问题——四维庞加莱猜想的光滑版本至今未决。 早期论证常把成功对象当成全体，让本条的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

本条这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进本条的同一解释；若第三方只能复述本条结果却不能重做变换，所谓迁移就尚未发生。第 316 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条的硬证据由 1990 年前后的原始工作给出：把它写在这一幕，是为了标出一件事：这门学科的进展从来不是均匀的。同一个十年里，一个维度被彻底做完，另一个维度连入口都没找到；而这个未解的维度恰好是物理时空所在的那一个。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Freedman & Quinn, Topology of 4-Manifolds, Princeton University Press (1990)。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条再核一次：1990 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条在 2026 年与第 316 号《磁学与自旋电子学》的证据边界、又与第 308 号《实验设计与抽样调查》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置S——它把“四维的定义、变换与边界”当成单独够用的那一样　单因决定四维能否迁移的只有结论是否在公开边界内可复算　预设〔14 因与果的方向是给定的〕四维在已发表样本上的方向可以代表全部候选对象　量纲在四维的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，四维的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 1990 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在四维中产生阴性结果的对象　异名第 316 号《磁学与自旋电子学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

己、低维拓扑与几何群论的合流

提出Agol, The virtual Haken conjecture, Documenta Mathematica 18 (2013): 1045–1087。　争议与 Goodwillie & Klein, Multiple disjunction for spaces of smooth embeddings, Journal of Topology 8 (2015): 651–674 的对象边界或反例路线对读。　最新Riehl & Shulman, Synthetic higher category theory, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

本条改变的不是术语外壳，而是旧问题的入账方式：同一时期，把群当作几何对象来研究的做法成熟起来：双曲性、边界、扩张性成为分类无限群的主要语言，并反过来给三维流形与映射类群提供了工具。三维几何化之后大量遗留问题，正是靠这条线被逐个处理的。 若仍用单个定理、单台器件或单批数据结算，本条之外的反例会被成功叙事自动删去。这里把本条的对象范围、操作步骤和例外集合分别立账。

对本条只提出一条单因主张：公开边界内可以独立复算，才允许把本条方法搬到下一类对象。声望与经费只作环境量；如果本条离开原作者补充就不能运行，结论仍是一次性工艺。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条的硬证据由 2013 年前后的原始工作给出：这也解释了这十年拓扑为何能大量外溢：它在上一个十年已经习惯了把自己的语言借给别的领域——先是群论与几何，然后才是数据分析与凝聚态。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Agol, The virtual Haken conjecture, Documenta Mathematica 18 (2013): 1045–1087。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条再核一次：2013 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 319 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 319 号《计算物理与多尺度模拟》的证据边界、又与第 309 号《时间序列与预测方法》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置D——它把“低维拓扑与几何群论的合流的定义、变换与边界”当成单独够用的那一样　单因决定低维拓扑与几何群论的合流能否迁移的只有结论是否在公开边界内可复算　预设〔14 因与果的方向是给定的〕低维拓扑与几何群论的合流在已发表样本上的方向可以代表全部候选对象　量纲在低维拓扑与几何群论的合流的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，低维拓扑与几何群论的合流的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2013 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在低维拓扑与几何群论的合流中产生阴性结果的对象　异名第 319 号《计算物理与多尺度模拟》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

庚、虚拟 Haken 定理：三维流形先到有限覆盖再显出曲面Virtual Haken and Virtual Fibering

提出Goodwillie & Klein, Multiple disjunction for spaces of smooth embeddings, Journal of Topology 8 (2015): 651–674。　争议与 Lurie, On the classification of topological field theories, Current Developments in Mathematics 2008: 129–280 的对象边界或反例路线对读。　最新Burklund et al., Counterexamples in chromatic redshift and telescope phenomena, 2024 preprint。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在本条这条线上，过去卡住的是：Agol 结合 Wise 的特殊立方复形路线，证明大量双曲三流形有有限覆盖包含不可压曲面并虚纤维化。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的本条必须让三类记录同时可见。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释本条的正确性；若本条增加抽象层级却减少可重做者，接口扩张就没有被证成。本条再核一次：2015 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条的硬证据由 2015 年前后的原始工作给出：有限覆盖次数不是统一常数；可核验的是 π1 是否 virtually special、是否 separable、是否存在纤维化覆盖。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Goodwillie & Klein, Multiple disjunction for spaces of smooth embeddings, Journal of Topology 8 (2015): 651–674。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条还应公开最小复算材料；材料不足时，本条的引用增长只测传播，不测正确性或可迁移性。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 587 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 587 号《网络科学》的证据边界、又与第 310 号《空间统计与地理统计》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置E——它把“虚拟 Haken 定理的定义、变换与边界”当成单独够用的那一样　单因决定虚拟 Haken 定理能否迁移的只有结论是否在公开边界内可复算　预设〔15 同名即同物〕虚拟 Haken 定理在已发表样本上的方向可以代表全部候选对象　量纲在虚拟 Haken 定理的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，虚拟 Haken 定理的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2015 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在虚拟 Haken 定理中产生阴性结果的对象　异名第 587 号《网络科学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

辛、同调稳定：对象越大，低维同调反而固定Homological Stability

提出Lurie, On the classification of topological field theories, Current Developments in Mathematics 2008: 129–280。　争议与 Ayala & Francis, Factorization homology of topological manifolds, Journal of Topology 8 (2015): 1045–1084 的对象边界或反例路线对读。　最新Isaksen, Wang & Xu, More stable stems, Geometry & Topology 28 (2024): 1–86。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解本条要先拆一个旧混合量：映射类群、流形微分同胚群与配置空间在规模增长后出现稳定同调，分类问题被改写为稳定范围。 原体例把发现、证明与推广写在同一行，导致本条究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替本条。只要本条的定义域和失败域不能由外部研究者重建，本条即按未完成处理。本条再核一次：2008 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。本条还应公开最小复算材料；材料不足时，本条的引用增长只测传播，不测正确性或可迁移性。

本条的硬证据由 2008 年前后的原始工作给出：稳定范围通常写成同调度 i 与亏格 g 的不等式；超出斜率边界，稳定同构就不能外推。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Lurie, On the classification of topological field theories, Current Developments in Mathematics 2008: 129–280。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 590 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 590 号《不确定性量化》的证据边界、又与第 311 号《原子分子与光物理》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置S——它把“同调稳定的定义、变换与边界”当成单独够用的那一样　单因决定同调稳定能否迁移的只有结论是否在公开边界内可复算　预设〔15 同名即同物〕同调稳定在已发表样本上的方向可以代表全部候选对象　量纲在同调稳定的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，同调稳定的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2008 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在同调稳定中产生阴性结果的对象　异名第 590 号《不确定性量化》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目
【第二幕】这十年 · 约 2016–2026 · 十二条重构与清算

一、同伦论在算什么

提出Galatius & Randal-Williams, Stable moduli spaces of high-dimensional manifolds, Acta Mathematica 212 (2014): 257–377。　争议与 Manolescu, Pin(2)-equivariant Seiberg–Witten Floer homology, Journal of the AMS 29 (2016): 147–176 的对象边界或反例路线对读。　最新Riehl & Shulman, Synthetic higher category theory, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕同伦壬项，旧账的堵点是：球面之间有多少种本质不同的连续映射？这个听起来朴素的问题——球面的同伦群——是拓扑学最难的计算之一，其结构极不规则，至今没有通项。 早期论证常把成功对象当成全体，让同伦壬项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

同伦壬项这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进同伦壬项的同一解释；若第三方只能复述同伦壬项结果却不能重做变换，所谓迁移就尚未发生。第 600 号批外证据提醒：同伦壬项缺失对象不是零值；它未进入同伦壬项账本，遗漏率须随主结果发表。

同伦壬项的硬证据由 2014 年前后的原始工作给出：这十年的组织框架是色球观点：把这堆混沌信息按「色层」分解，每一层由一个特定的高度控制，从而把不可解的整体拆成一系列可以逐层攻克的部分。这个框架把同伦论从一堆技巧变成了一门有结构的学科。 同伦论在算什么，需要先说清：它研究的是在连续形变下不变的性质，核心计算对象是球面之间映射的分类——这些看似简单的问题的答案极。

同伦壬项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满同伦壬项分母，新障碍就会迟到。反例对同伦壬项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。同伦壬项再核一次：2014 年分母若换成同伦壬项全部候选对象，方向必须重算；未满足同伦壬项条件的对象逐项留下。

让同伦壬项成为公共工艺，需要样例留版本、同伦壬项依赖树可追踪、计算带证书、参数保留原始记录。同伦壬项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。同伦壬项与 2024–2026 年更新分开登记；晚近材料不能覆盖同伦壬项旧边界，同伦壬项来源层级也不能混写。同伦壬项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续同伦壬项路线也知道哪里走不通。

同伦壬项在 2026 年与第 600 号《风险、安全与可靠性工程》的证据边界、又与第 315 号《表面与界面物理》的尺度转换相撞。两边共享‘表示越精细越可靠’，同伦壬项却警告核验者会随层级上升而减少；应比较同伦壬项可复算对象／全部候选对象。同伦壬项外推要报告复算成功对象／全部尝试对象；只列成功会把同伦壬项失败分母压零，方向随即失真。

位置D——它把“同伦论在算什么的定义、变换与边界”当成单独够用的那一样　单因决定同伦论在算什么能否迁移的只有结论是否在公开边界内可复算　预设〔15 同名即同物〕同伦论在算什么在已发表样本上的方向可以代表全部候选对象　量纲在同伦论在算什么的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，同伦论在算什么的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝同伦壬项在 2014 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在同伦论在算什么中产生阴性结果的对象　异名第 600 号《风险、安全与可靠性工程》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

二、望远镜猜想被证否

提出Church, Homological stability for configuration spaces of manifolds, Inventiones Mathematicae 188 (2012): 465–504。　争议与 Ozsváth & Szabó, Holomorphic disks and topological invariants for closed three-manifolds, Annals of Mathematics 159 (2004): 1027–1158 的对象边界或反例路线对读。　最新Burklund et al., Counterexamples in chromatic redshift and telescope phenomena, 2024 preprint。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

同伦癸项改变的不是术语外壳，而是旧问题的入账方式：色球框架里有两种自然的局部化方式，一种更粗、一种更细。望远镜猜想断言两者其实一样——这会让整个理论大为简化，而且几十年里所有可算的例子都支持它。 若仍用单个定理、单台器件或单批数据结算，同伦癸项之外的反例会被成功叙事自动删去。这里把同伦癸项的对象范围、操作步骤和例外集合分别立账。

对同伦癸项只提出一条单因主张：公开边界内可以独立复算，才允许把同伦癸项方法搬到下一类对象。声望与经费只作环境量；如果同伦癸项离开原作者补充就不能运行，结论仍是一次性工艺。同伦癸项与 2024–2026 年更新分开登记；晚近材料不能覆盖同伦癸项旧边界，同伦癸项来源层级也不能混写。同伦癸项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续同伦癸项路线也知道哪里走不通。

同伦癸项的硬证据由 2012 年前后的原始工作给出：2023 年，一个团队证明它在高度大于等于二时是错的。做法不是找到一个反例式的巧妙构造，而是把一类极难计算的不变量真正算了出来，发现两边不等。 这个结果的分量在于它否定的是一个「大家都希望为真」的命题：如果它成立，同伦论的核心信息就是有限可及的；它不成立，意味着那一层结构里有真正无穷多的复杂性。

对同伦癸项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起同伦癸项效果。若同伦癸项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。同伦癸项再核一次：2012 年分母若换成同伦癸项全部候选对象，方向必须重算；未满足同伦癸项条件的对象逐项留下。

同伦癸项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审同伦癸项要询问谁进入分母、谁能独立重跑、同伦癸项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 53 号批外证据提醒：同伦癸项缺失对象不是零值；它未进入同伦癸项账本，遗漏率须随主结果发表。

同伦癸项在 2026 年与第 53 号《现代密码学》的证据边界、又与第 316 号《磁学与自旋电子学》的尺度转换相撞。两边共享‘表示越精细越可靠’，同伦癸项却警告核验者会随层级上升而减少；应比较同伦癸项可复算对象／全部候选对象。同伦癸项外推要报告复算成功对象／全部尝试对象；只列成功会把同伦癸项失败分母压零，方向随即失真。

位置E——它把“望远镜猜想被证否的定义、变换与边界”当成单独够用的那一样　单因决定望远镜猜想被证否能否迁移的只有结论是否在公开边界内可复算　预设〔16 稀有与常见服从同一机制〕望远镜猜想被证否在已发表样本上的方向可以代表全部候选对象　量纲在望远镜猜想被证否的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，望远镜猜想被证否的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝同伦癸项在 2012 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在望远镜猜想被证否中产生阴性结果的对象　异名第 53 号《现代密码学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

三、最后一个维度

提出Burklund, Hahn, Levy & Schlank, The chromatic nullstellensatz, 2023 preprint。　争议与 Hopkins & Lurie, Ambidexterity in K(n)-local stable homotopy theory, 2013 preprint 的对象边界或反例路线对读。　最新Isaksen, Wang & Xu, More stable stems, Geometry & Topology 28 (2024): 1–86。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在同伦子项这条线上，过去卡住的是：另一件事方向相反。克尔韦尔不变量问题问的是：在哪些维度存在具有特定不变量的流形。2009 年的一项著名工作把答案几乎全部定下来——除了一个维度悬而未决。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的同伦子项必须让三类记录同时可见。

同伦子项的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释同伦子项的正确性；若同伦子项增加抽象层级却减少可重做者，接口扩张就没有被证成。同伦子项再核一次：2023 年分母若换成同伦子项全部候选对象，方向必须重算；未满足同伦子项条件的对象逐项留下。

同伦子项的硬证据由 2023 年前后的原始工作给出：这个孤零零的例外在此后十几年成了拓扑学最有名的悬案之一，直到 2024 至 2025 年被解决：该维度确实存在这样的对象。判决同样来自计算——把一个极其庞大的谱序列推进到了以往到不了的层数。 两件事合起来说明了同一件事：这十年拓扑最锋利的武器是计算能力，而不是新概念。

同伦子项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满同伦子项分母，新障碍就会迟到。反例对同伦子项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。同伦子项与 2024–2026 年更新分开登记；晚近材料不能覆盖同伦子项旧边界，同伦子项来源层级也不能混写。同伦子项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续同伦子项路线也知道哪里走不通。

让同伦子项成为公共工艺，需要样例留版本、同伦子项依赖树可追踪、计算带证书、参数保留原始记录。同伦子项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 297 号批外证据提醒：同伦子项缺失对象不是零值；它未进入同伦子项账本，遗漏率须随主结果发表。同伦子项定义更精细若伴随复核人数下降，就不能把同伦子项层级增加写成可靠性增加；两条趋势分开画线。

同伦子项在 2026 年与第 297 号《科技政策与科研管理》的证据边界、又与第 319 号《计算物理与多尺度模拟》的尺度转换相撞。两边共享‘表示越精细越可靠’，同伦子项却警告核验者会随层级上升而减少；应比较同伦子项可复算对象／全部候选对象。同伦子项外推要报告复算成功对象／全部尝试对象；只列成功会把同伦子项失败分母压零，方向随即失真。

位置S——它把“最后一个维度的定义、变换与边界”当成单独够用的那一样　单因决定最后一个维度能否迁移的只有结论是否在公开边界内可复算　预设〔16 稀有与常见服从同一机制〕最后一个维度在已发表样本上的方向可以代表全部候选对象　量纲在最后一个维度的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，最后一个维度的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝同伦子项在 2023 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在最后一个维度中产生阴性结果的对象　异名第 297 号《科技政策与科研管理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

四、计算变成了机器辅助

提出Isaksen, Stable stems, Memoirs of the AMS 262 (2019): 1–159。　争议与 Behrens & Lawson, Topological automorphic forms, Memoirs of the AMS 204 (2010): 1–141 的对象边界或反例路线对读。　最新Riehl & Shulman, Synthetic higher category theory, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解同伦丑项要先拆一个旧混合量：支撑上述结果的是一次工作方式的改变。同伦群的计算依赖谱序列——一层层逼近的巨大表格，每一层都要判定大量微分是否为零。人手能推进的层数有限，且极易出错。 原体例把发现、证明与推广写在同一行，导致同伦丑项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。

同伦丑项只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替同伦丑项。只要同伦丑项的定义域和失败域不能由外部研究者重建，本条即按未完成处理。同伦丑项再核一次：2019 年分母若换成同伦丑项全部候选对象，方向必须重算；未满足同伦丑项条件的对象逐项留下。同伦丑项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续同伦丑项路线也知道哪里走不通。

同伦丑项的硬证据由 2019 年前后的原始工作给出：这十年出现了系统化的机器辅助：把微分的可能性编码成约束、用计算机穷举与筛选、再由人补上结构性论证。一批经典范围内的同伦群因此被推进了数十维，并在此过程中纠正了文献里的若干错误。 这带来一个与别处相同的处境：结果可信，但人类完整读懂的部分在缩小。它也让拓扑成为形式化验证最有动机的领域之一。

对同伦丑项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起同伦丑项效果。若同伦丑项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。同伦丑项与 2024–2026 年更新分开登记；晚近材料不能覆盖同伦丑项旧边界，同伦丑项来源层级也不能混写。同伦丑项定义更精细若伴随复核人数下降，就不能把同伦丑项层级增加写成可靠性增加；两条趋势分开画线。

同伦丑项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审同伦丑项要询问谁进入分母、谁能独立重跑、同伦丑项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 301 号批外证据提醒：同伦丑项缺失对象不是零值；它未进入同伦丑项账本，遗漏率须随主结果发表。

同伦丑项在 2026 年与第 301 号《泛函分析与算子代数》的证据边界、又与第 587 号《网络科学》的尺度转换相撞。两边共享‘表示越精细越可靠’，同伦丑项却警告核验者会随层级上升而减少；应比较同伦丑项可复算对象／全部候选对象。同伦丑项外推要报告复算成功对象／全部尝试对象；只列成功会把同伦丑项失败分母压零，方向随即失真。

位置D——它把“计算变成了机器辅助的定义、变换与边界”当成单独够用的那一样　单因决定计算变成了机器辅助能否迁移的只有结论是否在公开边界内可复算　预设〔16 稀有与常见服从同一机制〕计算变成了机器辅助在已发表样本上的方向可以代表全部候选对象　量纲在计算变成了机器辅助的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，计算变成了机器辅助的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝同伦丑项在 2019 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在计算变成了机器辅助中产生阴性结果的对象　异名第 301 号《泛函分析与算子代数》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

五、四维依旧例外

提出Bauer, Kerber, Reininghaus & Wagner, PHAT: Persistent Homology Algorithms Toolbox, Journal of Symbolic Computation 78 (2017): 76–90。　争议与 Riehl & Verity, Elements of ∞-Category Theory, Cambridge University Press (2022) 的对象边界或反例路线对读。　最新Burklund et al., Counterexamples in chromatic redshift and telescope phenomena, 2024 preprint。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕同伦寅项，旧账的堵点是：拓扑学有一个长期的怪现象：高维反而简单。五维及以上有手术理论可用，三维在几何化之后基本清楚，唯独四维两头不靠——工具在这里同时失效。 早期论证常把成功对象当成全体，让同伦寅项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

同伦寅项这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进同伦寅项的同一解释；若第三方只能复述同伦寅项结果却不能重做变换，所谓迁移就尚未发生。第 302 号批外证据提醒：同伦寅项缺失对象不是零值；它未进入同伦寅项账本，遗漏率须随主结果发表。

同伦寅项的硬证据由 2017 年前后的原始工作给出：这十年四维的进展集中在奇异现象：同一个拓扑流形上不等价的光滑结构。若干长期猜想的具体情形被证否，构造反例的技术（规范理论、结与曲面的不变量）稳步改进，但四维庞加莱猜想的光滑版本仍然未决。 值得记的是四维的特殊性并非缺陷而是内容：物理时空恰好是四维，而这个维度在数学上独一无二地难，这件事至今没有令人满意的解释。

同伦寅项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满同伦寅项分母，新障碍就会迟到。反例对同伦寅项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。同伦寅项再核一次：2017 年分母若换成同伦寅项全部候选对象，方向必须重算；未满足同伦寅项条件的对象逐项留下。

让同伦寅项成为公共工艺，需要样例留版本、同伦寅项依赖树可追踪、计算带证书、参数保留原始记录。同伦寅项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。同伦寅项与 2024–2026 年更新分开登记；晚近材料不能覆盖同伦寅项旧边界，同伦寅项来源层级也不能混写。同伦寅项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续同伦寅项路线也知道哪里走不通。

同伦寅项在 2026 年与第 302 号《调和分析》的证据边界、又与第 590 号《不确定性量化》的尺度转换相撞。两边共享‘表示越精细越可靠’，同伦寅项却警告核验者会随层级上升而减少；应比较同伦寅项可复算对象／全部候选对象。同伦寅项外推要报告复算成功对象／全部尝试对象；只列成功会把同伦寅项失败分母压零，方向随即失真。

位置E——它把“四维依旧例外的定义、变换与边界”当成单独够用的那一样　单因决定四维依旧例外能否迁移的只有结论是否在公开边界内可复算　预设〔19 类别互斥且穷尽〕四维依旧例外在已发表样本上的方向可以代表全部候选对象　量纲在四维依旧例外的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，四维依旧例外的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝同伦寅项在 2017 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在四维依旧例外中产生阴性结果的对象　异名第 302 号《调和分析》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

六、拓扑走出去

提出Cohen-Steiner, Edelsbrunner & Harer, Stability of persistence diagrams, Discrete & Computational Geometry 37 (2007): 103–120。　争议与 Kleiner & Lott, Notes on Perelman’s papers, Geometry & Topology 12 (2008): 2587–2855 的对象边界或反例路线对读。　最新Isaksen, Wang & Xu, More stable stems, Geometry & Topology 28 (2024): 1–86。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

同伦卯项改变的不是术语外壳，而是旧问题的入账方式：与内部深化并行的是外溢。持续同调把拓扑变成了数据分析工具：给一团点云一个尺度参数，记录空洞随尺度出现与消失的过程，得到一个对噪声稳健的形状描述。它在材料结构、神经数据与图像分析中已成为常规选项。 若仍用单个定理、单台器件或单批数据结算，同伦卯项之外的反例会被成功叙事自动删去。这里把同伦卯项的对象范围、操作步骤和例外集合分别立账。

对同伦卯项只提出一条单因主张：公开边界内可以独立复算，才允许把同伦卯项方法搬到下一类对象。声望与经费只作环境量；如果同伦卯项离开原作者补充就不能运行，结论仍是一次性工艺。同伦卯项与 2024–2026 年更新分开登记；晚近材料不能覆盖同伦卯项旧边界，同伦卯项来源层级也不能混写。

同伦卯项的硬证据由 2007 年前后的原始工作给出：另一条外溢是物质：拓扑相与拓扑序把同伦与 K 理论的语言带进了凝聚态（见相邻面板），而那边反过来提出了纯数学此前不会问的问题。 这两条线共同说明了拓扑这十年的位置——它既在内部走向极限计算，又在外部成了别人使用的语言。 对同伦卯项的复核分别记录对象规模、结构层级和误差分母；来源是 Cohen-Steiner, Edelsbrunner & Harer, Stability of persistence diagrams, Discrete & Computational Geometry 37 (2007): 103–120。同伦卯项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

对同伦卯项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起同伦卯项效果。若同伦卯项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。同伦卯项再核一次：2007 年分母若换成同伦卯项全部候选对象，方向必须重算；未满足同伦卯项条件的对象逐项留下。

同伦卯项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审同伦卯项要询问谁进入分母、谁能独立重跑、同伦卯项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 303 号批外证据提醒：同伦卯项缺失对象不是零值；它未进入同伦卯项账本，遗漏率须随主结果发表。

同伦卯项在 2026 年与第 303 号《复分析与复几何》的证据边界、又与第 600 号《风险、安全与可靠性工程》的尺度转换相撞。两边共享‘表示越精细越可靠’，同伦卯项却警告核验者会随层级上升而减少；应比较同伦卯项可复算对象／全部候选对象。同伦卯项外推要报告复算成功对象／全部尝试对象；只列成功会把同伦卯项失败分母压零，方向随即失真。

位置S——它把“拓扑走出去的定义、变换与边界”当成单独够用的那一样　单因决定拓扑走出去能否迁移的只有结论是否在公开边界内可复算　预设〔19 类别互斥且穷尽〕拓扑走出去在已发表样本上的方向可以代表全部候选对象　量纲在拓扑走出去的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，拓扑走出去的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝同伦卯项在 2007 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在拓扑走出去中产生阴性结果的对象　异名第 303 号《复分析与复几何》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

七、红移现象：代数 K 理论把染色高度推上一层Chromatic Redshift

提出Ayala & Francis, Factorization homology of topological manifolds, Journal of Topology 8 (2015): 1045–1084。　争议与 Hill, Hopkins & Ravenel, On the nonexistence of elements of Kervaire invariant one, Annals of Mathematics 184 (2016): 1–262 的对象边界或反例路线对读。　最新Riehl & Shulman, Synthetic higher category theory, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在同伦辰项这条线上，过去卡住的是：对环谱取代数 K 理论往往提升染色复杂度，红移从启发式变成可在具体谱上检验的结构命题。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的同伦辰项必须让三类记录同时可见。同伦辰项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续同伦辰项路线也知道哪里走不通。

同伦辰项的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释同伦辰项的正确性；若同伦辰项增加抽象层级却减少可重做者，接口扩张就没有被证成。同伦辰项再核一次：2015 年分母若换成同伦辰项全部候选对象，方向必须重算；未满足同伦辰项条件的对象逐项留下。

同伦辰项的硬证据由 2015 年前后的原始工作给出：输入与输出的 Morava K 高度差、周期族存活数／候选族数，是红移是否发生的直接读数。 对同伦辰项的复核分别记录对象规模、结构层级和误差分母；来源是 Ayala & Francis, Factorization homology of topological manifolds, Journal of Topology 8 (2015): 1045–1084。同伦辰项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。同伦辰项定义更精细若伴随复核人数下降，就不能把同伦辰项层级增加写成可靠性增加；两条趋势分开画线。

同伦辰项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满同伦辰项分母，新障碍就会迟到。反例对同伦辰项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。同伦辰项与 2024–2026 年更新分开登记；晚近材料不能覆盖同伦辰项旧边界，同伦辰项来源层级也不能混写。同伦辰项还应公开最小复算材料；材料不足时，同伦辰项的引用增长只测传播，不测正确性或可迁移性。

让同伦辰项成为公共工艺，需要样例留版本、同伦辰项依赖树可追踪、计算带证书、参数保留原始记录。同伦辰项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 304 号批外证据提醒：同伦辰项缺失对象不是零值；它未进入同伦辰项账本，遗漏率须随主结果发表。

同伦辰项在 2026 年与第 304 号《可计算性与递归论》的证据边界、又与第 53 号《现代密码学》的尺度转换相撞。两边共享‘表示越精细越可靠’，同伦辰项却警告核验者会随层级上升而减少；应比较同伦辰项可复算对象／全部候选对象。同伦辰项外推要报告复算成功对象／全部尝试对象；只列成功会把同伦辰项失败分母压零，方向随即失真。

位置D——它把“红移现象的定义、变换与边界”当成单独够用的那一样　单因决定红移现象能否迁移的只有结论是否在公开边界内可复算　预设〔19 类别互斥且穷尽〕红移现象在已发表样本上的方向可以代表全部候选对象　量纲在红移现象的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，红移现象的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝同伦辰项在 2015 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在红移现象中产生阴性结果的对象　异名第 304 号《可计算性与递归论》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

八、稳定同伦群进入机器协同：图谱不再靠手工表格Machine-Assisted Stable Stems

提出Manolescu, Pin(2)-equivariant Seiberg–Witten Floer homology, Journal of the AMS 29 (2016): 147–176。　争议与 Lurie, Higher Algebra, 2017 manuscript 的对象边界或反例路线对读。　最新Burklund et al., Counterexamples in chromatic redshift and telescope phenomena, 2024 preprint。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解同伦巳项要先拆一个旧混合量：motivic 方法、谱序列数据库与形式化计算把高阶稳定茎推进到过去不可达范围。 原体例把发现、证明与推广写在同一行，导致同伦巳项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。同伦巳项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续同伦巳项路线也知道哪里走不通。

同伦巳项只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替同伦巳项。只要同伦巳项的定义域和失败域不能由外部研究者重建，本条即按未完成处理。同伦巳项再核一次：2016 年分母若换成同伦巳项全部候选对象，方向必须重算；未满足同伦巳项条件的对象逐项留下。同伦巳项还应公开最小复算材料；材料不足时，同伦巳项的引用增长只测传播，不测正确性或可迁移性。

同伦巳项的硬证据由 2016 年前后的原始工作给出：每个维度必须同时报告已确定群、扩张歧义与未决微分数；只报最高维度会伪造完成度。 对同伦巳项的复核分别记录对象规模、结构层级和误差分母；来源是 Manolescu, Pin(2)-equivariant Seiberg–Witten Floer homology, Journal of the AMS 29 (2016): 147–176。同伦巳项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。同伦巳项定义更精细若伴随复核人数下降，就不能把同伦巳项层级增加写成可靠性增加；两条趋势分开画线。

对同伦巳项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起同伦巳项效果。若同伦巳项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。同伦巳项与 2024–2026 年更新分开登记；晚近材料不能覆盖同伦巳项旧边界，同伦巳项来源层级也不能混写。

同伦巳项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审同伦巳项要询问谁进入分母、谁能独立重跑、同伦巳项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 306 号批外证据提醒：同伦巳项缺失对象不是零值；它未进入同伦巳项账本，遗漏率须随主结果发表。

同伦巳项在 2026 年与第 306 号《生物统计学》的证据边界、又与第 297 号《科技政策与科研管理》的尺度转换相撞。两边共享‘表示越精细越可靠’，同伦巳项却警告核验者会随层级上升而减少；应比较同伦巳项可复算对象／全部候选对象。同伦巳项外推要报告复算成功对象／全部尝试对象；只列成功会把同伦巳项失败分母压零，方向随即失真。

位置E——它把“稳定同伦群进入机器协同的定义、变换与边界”当成单独够用的那一样　单因决定稳定同伦群进入机器协同能否迁移的只有结论是否在公开边界内可复算　预设〔20 窗口内稳定＝长期稳定〕稳定同伦群进入机器协同在已发表样本上的方向可以代表全部候选对象　量纲在稳定同伦群进入机器协同的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，稳定同伦群进入机器协同的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝同伦巳项在 2016 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在稳定同伦群进入机器协同中产生阴性结果的对象　异名第 306 号《生物统计学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

九、持久同调：形状被改写为跨尺度存活时间Persistent Homology

提出Ozsváth & Szabó, Holomorphic disks and topological invariants for closed three-manifolds, Annals of Mathematics 159 (2004): 1027–1158。　争议与 Carlsson, Topology and data, Bulletin of the AMS 46 (2009): 255–308 的对象边界或反例路线对读。　最新Isaksen, Wang & Xu, More stable stems, Geometry & Topology 28 (2024): 1–86。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕同伦午项，旧账的堵点是：点云与图像不再先假设流形；birth–death 条形码记录连通分支、环和空腔在滤过中的寿命。 早期论证常把成功对象当成全体，让同伦午项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。同伦午项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续同伦午项路线也知道哪里走不通。

同伦午项这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进同伦午项的同一解释；若第三方只能复述同伦午项结果却不能重做变换，所谓迁移就尚未发生。第 307 号批外证据提醒：同伦午项缺失对象不是零值；它未进入同伦午项账本，遗漏率须随主结果发表。

同伦午项的硬证据由 2004 年前后的原始工作给出：长条数量／全部条形、瓶颈距离／扰动尺度、缺失点率／总点数构成三套不同稳健度量。 对同伦午项的复核分别记录对象规模、结构层级和误差分母；来源是 Ozsváth & Szabó, Holomorphic disks and topological invariants for closed three-manifolds, Annals of Mathematics 159 (2004): 1027–1158。同伦午项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。同伦午项定义更精细若伴随复核人数下降，就不能把同伦午项层级增加写成可靠性增加；两条趋势分开画线。

同伦午项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满同伦午项分母，新障碍就会迟到。反例对同伦午项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。同伦午项再核一次：2004 年分母若换成同伦午项全部候选对象，方向必须重算；未满足同伦午项条件的对象逐项留下。

让同伦午项成为公共工艺，需要样例留版本、同伦午项依赖树可追踪、计算带证书、参数保留原始记录。同伦午项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。同伦午项与 2024–2026 年更新分开登记；晚近材料不能覆盖同伦午项旧边界，同伦午项来源层级也不能混写。同伦午项还应公开最小复算材料；材料不足时，同伦午项的引用增长只测传播，不测正确性或可迁移性。

同伦午项在 2026 年与第 307 号《贝叶斯统计与计算》的证据边界、又与第 301 号《泛函分析与算子代数》的尺度转换相撞。两边共享‘表示越精细越可靠’，同伦午项却警告核验者会随层级上升而减少；应比较同伦午项可复算对象／全部候选对象。同伦午项外推要报告复算成功对象／全部尝试对象；只列成功会把同伦午项失败分母压零，方向随即失真。

位置S——它把“持久同调的定义、变换与边界”当成单独够用的那一样　单因决定持久同调能否迁移的只有结论是否在公开边界内可复算　预设〔20 窗口内稳定＝长期稳定〕持久同调在已发表样本上的方向可以代表全部候选对象　量纲在持久同调的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，持久同调的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝同伦午项在 2004 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在持久同调中产生阴性结果的对象　异名第 307 号《贝叶斯统计与计算》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

十、流形演算：嵌入问题被拆成可收敛的泰勒塔Manifold Calculus

提出Hopkins & Lurie, Ambidexterity in K(n)-local stable homotopy theory, 2013 preprint。　争议与 Freedman & Quinn, Topology of 4-Manifolds, Princeton University Press (1990) 的对象边界或反例路线对读。　最新Riehl & Shulman, Synthetic higher category theory, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

同伦未项改变的不是术语外壳，而是旧问题的入账方式：Goodwillie–Weiss 把嵌入函子近似为多项式层级，几何难题转成塔的连通度和收敛半径。 若仍用单个定理、单台器件或单批数据结算，同伦未项之外的反例会被成功叙事自动删去。这里把同伦未项的对象范围、操作步骤和例外集合分别立账。同伦未项定义更精细若伴随复核人数下降，就不能把同伦未项层级增加写成可靠性增加；两条趋势分开画线。

对同伦未项只提出一条单因主张：公开边界内可以独立复算，才允许把同伦未项方法搬到下一类对象。声望与经费只作环境量；如果同伦未项离开原作者补充就不能运行，结论仍是一次性工艺。同伦未项与 2024–2026 年更新分开登记；晚近材料不能覆盖同伦未项旧边界，同伦未项来源层级也不能混写。同伦未项还应公开最小复算材料；材料不足时，同伦未项的引用增长只测传播，不测正确性或可迁移性。

同伦未项的硬证据由 2013 年前后的原始工作给出：第 k 层近似误差随余维变化；余维不足时塔即使层数增加也未必收敛。 对同伦未项的复核分别记录对象规模、结构层级和误差分母；来源是 Hopkins & Lurie, Ambidexterity in K(n)-local stable homotopy theory, 2013 preprint。同伦未项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。同伦未项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续同伦未项路线也知道哪里走不通。

对同伦未项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起同伦未项效果。若同伦未项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。同伦未项再核一次：2013 年分母若换成同伦未项全部候选对象，方向必须重算；未满足同伦未项条件的对象逐项留下。

同伦未项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审同伦未项要询问谁进入分母、谁能独立重跑、同伦未项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 308 号批外证据提醒：同伦未项缺失对象不是零值；它未进入同伦未项账本，遗漏率须随主结果发表。

同伦未项在 2026 年与第 308 号《实验设计与抽样调查》的证据边界、又与第 302 号《调和分析》的尺度转换相撞。两边共享‘表示越精细越可靠’，同伦未项却警告核验者会随层级上升而减少；应比较同伦未项可复算对象／全部候选对象。同伦未项外推要报告复算成功对象／全部尝试对象；只列成功会把同伦未项失败分母压零，方向随即失真。

位置D——它把“流形演算的定义、变换与边界”当成单独够用的那一样　单因决定流形演算能否迁移的只有结论是否在公开边界内可复算　预设〔20 窗口内稳定＝长期稳定〕流形演算在已发表样本上的方向可以代表全部候选对象　量纲在流形演算的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，流形演算的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝同伦未项在 2013 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在流形演算中产生阴性结果的对象　异名第 308 号《实验设计与抽样调查》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

十一、Cobordism Hypothesis：场论由点上的数据生成The Cobordism Hypothesis

提出Behrens & Lawson, Topological automorphic forms, Memoirs of the AMS 204 (2010): 1–141。　争议与 Agol, The virtual Haken conjecture, Documenta Mathematica 18 (2013): 1045–1087 的对象边界或反例路线对读。　最新Burklund et al., Counterexamples in chromatic redshift and telescope phenomena, 2024 preprint。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在同伦申项这条线上，过去卡住的是：完全可对偶对象决定扩展拓扑量子场论，把高阶范畴的抽象条件变成场论分类器。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的同伦申项必须让三类记录同时可见。同伦申项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续同伦申项路线也知道哪里走不通。

同伦申项的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释同伦申项的正确性；若同伦申项增加抽象层级却减少可重做者，接口扩张就没有被证成。同伦申项再核一次：2010 年分母若换成同伦申项全部候选对象，方向必须重算；未满足同伦申项条件的对象逐项留下。

同伦申项的硬证据由 2010 年前后的原始工作给出：对象可对偶层级／目标范畴所需维数是决定能扩展到多少余维的分母。 对同伦申项的复核分别记录对象规模、结构层级和误差分母；来源是 Behrens & Lawson, Topological automorphic forms, Memoirs of the AMS 204 (2010): 1–141。同伦申项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。同伦申项定义更精细若伴随复核人数下降，就不能把同伦申项层级增加写成可靠性增加；两条趋势分开画线。

同伦申项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满同伦申项分母，新障碍就会迟到。反例对同伦申项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。同伦申项与 2024–2026 年更新分开登记；晚近材料不能覆盖同伦申项旧边界，同伦申项来源层级也不能混写。同伦申项还应公开最小复算材料；材料不足时，同伦申项的引用增长只测传播，不测正确性或可迁移性。

让同伦申项成为公共工艺，需要样例留版本、同伦申项依赖树可追踪、计算带证书、参数保留原始记录。同伦申项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 309 号批外证据提醒：同伦申项缺失对象不是零值；它未进入同伦申项账本，遗漏率须随主结果发表。

同伦申项在 2026 年与第 309 号《时间序列与预测方法》的证据边界、又与第 303 号《复分析与复几何》的尺度转换相撞。两边共享‘表示越精细越可靠’，同伦申项却警告核验者会随层级上升而减少；应比较同伦申项可复算对象／全部候选对象。同伦申项外推要报告复算成功对象／全部尝试对象；只列成功会把同伦申项失败分母压零，方向随即失真。

位置E——它把“Cobordism Hypothesis的定义、变换与边界”当成单独够用的那一样　单因决定Cobordism Hypothesis能否迁移的只有结论是否在公开边界内可复算　预设〔29 越精细越接近真实〕Cobordism Hypothesis在已发表样本上的方向可以代表全部候选对象　量纲在Cobordism Hypothesis的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，Cobordism Hypothesis的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝同伦申项在 2010 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在Cobordism Hypothesis中产生阴性结果的对象　异名第 309 号《时间序列与预测方法》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

十二、Floer 不变量：三维边界把四维内部约束带回来Floer Invariants across Dimensions

提出Riehl & Verity, Elements of ∞-Category Theory, Cambridge University Press (2022)。　争议与 Galatius & Randal-Williams, Stable moduli spaces of high-dimensional manifolds, Acta Mathematica 212 (2014): 257–377 的对象边界或反例路线对读。　最新Isaksen, Wang & Xu, More stable stems, Geometry & Topology 28 (2024): 1–86。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解同伦酉项要先拆一个旧混合量：Heegaard Floer、monopole Floer 与 instanton Floer 理论用三流形和结的不变量约束四流形、切片亏格与手术。 原体例把发现、证明与推广写在同一行，导致同伦酉项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。同伦酉项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续同伦酉项路线也知道哪里走不通。

同伦酉项只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替同伦酉项。只要同伦酉项的定义域和失败域不能由外部研究者重建，本条即按未完成处理。同伦酉项再核一次：2022 年分母若换成同伦酉项全部候选对象，方向必须重算；未满足同伦酉项条件的对象逐项留下。同伦酉项还应公开最小复算材料；材料不足时，同伦酉项的引用增长只测传播，不测正确性或可迁移性。

同伦酉项的硬证据由 2022 年前后的原始工作给出：可区分手术结果／全部候选手术、修正项差／同调球数量，比单列不变量名称更能显示约束力。 对同伦酉项的复核分别记录对象规模、结构层级和误差分母；来源是 Riehl & Verity, Elements of ∞-Category Theory, Cambridge University Press (2022)。同伦酉项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。同伦酉项定义更精细若伴随复核人数下降，就不能把同伦酉项层级增加写成可靠性增加；两条趋势分开画线。

对同伦酉项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起同伦酉项效果。若同伦酉项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。同伦酉项与 2024–2026 年更新分开登记；晚近材料不能覆盖同伦酉项旧边界，同伦酉项来源层级也不能混写。

同伦酉项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审同伦酉项要询问谁进入分母、谁能独立重跑、同伦酉项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 310 号批外证据提醒：同伦酉项缺失对象不是零值；它未进入同伦酉项账本，遗漏率须随主结果发表。

同伦酉项在 2026 年与第 310 号《空间统计与地理统计》的证据边界、又与第 304 号《可计算性与递归论》的尺度转换相撞。两边共享‘表示越精细越可靠’，同伦酉项却警告核验者会随层级上升而减少；应比较同伦酉项可复算对象／全部候选对象。同伦酉项外推要报告复算成功对象／全部尝试对象；只列成功会把同伦酉项失败分母压零，方向随即失真。

位置S——它把“Floer 不变量的定义、变换与边界”当成单独够用的那一样　单因决定Floer 不变量能否迁移的只有结论是否在公开边界内可复算　预设〔29 越精细越接近真实〕Floer 不变量在已发表样本上的方向可以代表全部候选对象　量纲在Floer 不变量的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，Floer 不变量的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝同伦酉项在 2022 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在Floer 不变量中产生阴性结果的对象　异名第 310 号《空间统计与地理统计》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

二十年连起来看

拓扑与同伦论的变化，是把‘连续变形下不变’从一句定义推进成三种生产线：低维几何能分类，高阶谱能计算，数据与机器能在有限尺度上提取形状。 第一幕的八条主要改造问题、证明或实验的入口；第二幕十二条把入口连接到更高层结构、数据基础设施与公开核验。真正连续的不是术语，而是分母越来越明确、失败越来越能被定位。

这条时间线也说明“新”不能只按年份判断：早期思想若在 2016 年后才获得可计算对象、公开数据或实验阈值，它在第二幕仍然是新的工作方式；反之，2025 年出现而没有独立复核的结果，只能记为候选。

三个常见误解

第一，把一个著名定理或器件当成全领域；本页用二十条是为了显示方法、边界和基础设施同样构成转向。第二，把计算规模当可靠性；规模不修复选择偏差、定义漂移与样品差异。第三，把尚未解决解释为没有进步；许多最重要的进展是把错误路线排除、把失败区画清。

与相邻领域的接口

与第 306 号《生物统计学》的接口在可计算表示：同一个对象换表示后，能否保留结构与误差。与第 311 号《原子分子与光物理》的接口在证据聚合：局部读数怎样进入整体判断而不抹平异常。两处都要求先公开分母，再谈统一。

争议现场

拓扑与同伦论当前最实质的争议不是“传统还是创新”，而是超长证明、复杂计算或高门槛实验怎样获得共同体信任。一方强调专家链式核验足够，另一方要求机器证书、原始数据和独立复制。可判标准是关键结论能否在不依赖原作者口头补充的情况下重做。

第二个争议围绕边界：统一语言提高迁移速度，却可能把不适配对象排出可见范围。每一条因此都保留“空栏”和“自曝”；若异常只在论文之外出现，统一就只是整理成功案例。

往下五年看什么

观察三件事：第一，2024–2026 年的候选结果能否形成第二个独立证明或复现实验；第二，数据库、软件和样品链能否保存阴性记录；第三，年轻研究者是否能在更短依赖路径上进入前沿。若三项只增长论文数而不降低复核成本，基础设施仍未成熟。

可与哪些领域对撞

拓扑与同伦论与第 600 号《风险、安全与可靠性工程》共享“通过检查即可信”的前提；前者用证明、计算或样品链，后者用失效模式。相反方向是：形式检查越密，未建模的共同原因失效反而可能越隐蔽。新矛盾是如何为数学与物理结果建立类似事故调查的阴性档案。

它还可撞第 297 号《科技政策与科研管理》：一个领域追求真值，另一个领域分配注意、经费和声誉。两者都默认高影响结果值得优先复核；相反方向是越抢先的结果可供核验的时间越短。可测问题是撤回或重大修订之前的扩散速度／完成独立复核所需时间。

第三处跨类对撞是第 306 号《生物统计学》：那里担心样本进入分母，这里担心对象、定理或器件进入分母。共同前提是已记录对象代表候选总体；相反方向是可计算对象越多，难以表示的对象越可能永久缺席。

十条可做的研究命题

一，统计二十年内关键结果从预印本到独立核验的中位时间。二，把失败参数区公开与否作为解释后续复用率的变量。三，比较单人证明与团队证明的依赖树深度。四，测数据库扩容前后新猜想的类型是否收窄。五，建立来源三笔互异与重大修订率的前瞻登记。

六，用随机抽样复核软件、证明或样品链中的一条中间步骤。七，比较更高层抽象引入前后的新人训练年限。八，给“不可复算但被广泛引用”的结果建退出机制。九，测试跨领域迁移是否增加反例发现率。十，把阴性结果进入公共库的比例设为领域健康指标，并预先规定何时否定该指标。

资料核验

  1. Kleiner & Lott, Notes on Perelman’s papers, Geometry & Topology 12 (2008): 2587–2855
  2. Hill, Hopkins & Ravenel, On the nonexistence of elements of Kervaire invariant one, Annals of Mathematics 184 (2016): 1–262
  3. Lurie, Higher Algebra, 2017 manuscript
  4. Carlsson, Topology and data, Bulletin of the AMS 46 (2009): 255–308
  5. Freedman & Quinn, Topology of 4-Manifolds, Princeton University Press (1990)
  6. Agol, The virtual Haken conjecture, Documenta Mathematica 18 (2013): 1045–1087
  7. Galatius & Randal-Williams, Stable moduli spaces of high-dimensional manifolds, Acta Mathematica 212 (2014): 257–377
  8. Church, Homological stability for configuration spaces of manifolds, Inventiones Mathematicae 188 (2012): 465–504
  9. Burklund, Hahn, Levy & Schlank, The chromatic nullstellensatz, 2023 preprint
  10. Isaksen, Stable stems, Memoirs of the AMS 262 (2019): 1–159
  11. Bauer, Kerber, Reininghaus & Wagner, PHAT: Persistent Homology Algorithms Toolbox, Journal of Symbolic Computation 78 (2017): 76–90
  12. Cohen-Steiner, Edelsbrunner & Harer, Stability of persistence diagrams, Discrete & Computational Geometry 37 (2007): 103–120
  13. Goodwillie & Klein, Multiple disjunction for spaces of smooth embeddings, Journal of Topology 8 (2015): 651–674
  14. Lurie, On the classification of topological field theories, Current Developments in Mathematics 2008: 129–280
  15. Ayala & Francis, Factorization homology of topological manifolds, Journal of Topology 8 (2015): 1045–1084
  16. Manolescu, Pin(2)-equivariant Seiberg–Witten Floer homology, Journal of the AMS 29 (2016): 147–176
  17. Ozsváth & Szabó, Holomorphic disks and topological invariants for closed three-manifolds, Annals of Mathematics 159 (2004): 1027–1158
  18. Hopkins & Lurie, Ambidexterity in K(n)-local stable homotopy theory, 2013 preprint
  19. Behrens & Lawson, Topological automorphic forms, Memoirs of the AMS 204 (2010): 1–141
  20. Riehl & Verity, Elements of ∞-Category Theory, Cambridge University Press (2022)
  21. Burklund et al., Counterexamples in chromatic redshift and telescope phenomena, 2024 preprint
  22. Isaksen, Wang & Xu, More stable stems, Geometry & Topology 28 (2024): 1–86
  23. Riehl & Shulman, Synthetic higher category theory, 2025 research update (preprint)

核验说明：文献表优先列原始论文、正式专著与同行评议综述；标注 preprint 或 manuscript 的条目尚未完成同行评议，只用于“最新”定位，不与已刊定理或实验同权。正文的数值与适用边界以所列来源为准。

【学科经典思想汇集部分】1950–2006 · 20 条经典学科思想

以下二十条是拓扑与同伦论在 1950 至 2006 年之间立起来的经典思想，与上文近二十年的二十条合成一块面板的两层。它们回答的是另一个问题：上面每一条新结果所推翻的，究竟是哪一条老前提，而那条老前提当年又是被谁、用什么材料立起来的。经典层因此不做名人榜，只收至今仍被现代二十条正面使用或正面反对的命题——Serre 把同伦群变成能算的东西，Milnor 让「同胚」与「微分同胚」第一次分家，Adams 证明有些维数根本没有例外，Smale 发现高维反而容易，Freedman 与 Donaldson 在同一年把四维劈成两半，而 Thurston 在 1994 年那篇文章里问的是：一份证明到底是给谁看的。每条一行来源、两段正文、一行五栏碰撞行，末尾点名它在上文哪一条里继续活着。

经一、谱序列进入同伦论：无穷的东西开始能算Classic 01 · Topology

提出Jean-Pierre Serre，1951 年《数学年刊》54:425–505《纤维空间的奇异同调》。　流变Adams 谱序列（1958 年）把同一思路搬到稳定范畴，成为计算稳定同伦群的主机器；两者的收敛性与延拓问题至今是计算瓶颈。　今用本块八「稳定同伦群进入机器协同」处理的正是这台机器在规模上的续命问题。　关键用纤维化的谱序列把球面同伦群的计算变成逐页可执行的代数过程。

1951 年之前，球面的同伦群只有零星几个被算出来，而且每一个都靠专门的几何构造，没有共同的方法。Serre 用 Leray 的谱序列处理路径纤维化，把「算同伦群」翻译成「逐页算微分」，并由此证明球面同伦群除少数例外全是有限群。这门学科从此有了一台可以反复开动的机器，而不是一批各自为战的技巧。

机器的边界很快显出来：谱序列给出的是逐页的代数信息，而微分与延拓问题往往需要外部输入，页数越高越难，「原则上可算」与「实际算得出」之间的差距随维数迅速拉开。本块八今天报告的机器协同，处理的就是这条老瓶颈——把手工表格换成人与程序共同维护的图谱，改变的是可及范围，而不是这台机器本身的原理。

位置D——它把「一台逐页运转的计算机器」当成单独够用的那一样　预设〔3 有限近似控制无限对象〕默认逐页的有限信息足以定出无穷维对象的同伦群　量纲已被完整确定的同伦群数∶该范围内的同伦群总数　失效当高页微分与延拓问题无法由代数信息定出时，谱序列只给出可能值的范围而非结果　异名数值分析称「迭代格式的收敛阶」，工程学称「原理可行与工艺可行之分」；另见本块八

经二、配边：把流形分类换成一次同伦计算Classic 02 · Topology

提出René Thom，1954 年《数学评论》28:17–86《可微流形的若干整体性质》。　流变定向与复配边由 Milnor 与 Novikov 在 1960 年代算清；配边此后成为构造广义上同调理论的通用出发点。　今用本块十一「Cobordism Hypothesis：场论由点上的数据生成」把这条老对应推到了范畴层面。　关键流形按配边分类的问题，等价于某个 Thom 谱的稳定同伦群的计算。

1954 年之前，流形分类被当作几何问题：造不变量、找标准形。Thom 的做法是换问题——不问两个流形是否同胚，而问它们是否同为某个高一维流形的边界。他证明这个关系构成的群，同构于一个可以明确写出的谱的同伦群，于是流形的分类被整体搬进了同伦论，用经一那台机器就能算。

它的边界在于配边是一种很粗的等价：许多几何上完全不同的流形彼此配边，分类得到的是一张粗糙的账，细结构（微分结构、嵌入方式）都不在其中。这条经典真正传下来的是那个动作本身——把几何分类翻译成同伦计算。本块十一今天把它推到范畴层面：配边范畴上的函子由一个点上的数据完全决定，翻译的方向没有变，被翻译的东西从群变成了整个场论。

位置E——它把「一次等价关系的翻译」当成单独够用的那一样　预设〔19 类别互斥且穷尽〕默认配边关系给出的分类穷尽了要问的几何差别　量纲配边类给出的可区分流形对数∶几何上确实不同构的流形对数　失效当所关心的差别（微分结构、嵌入）落在配边等价之内时，这套分类整体失明　异名统计学称「粗分类的分辨力」，编码理论称「有损压缩」；另见本块十一

经三、怪异球面：同胚与微分同胚从此分家Classic 03 · Topology

提出John Milnor，1956 年《数学年刊》64:399–405《同胚于七维球面的流形》。　流变Kervaire–Milnor 1963 年把同伦球面的微分结构组织成群；四维情形至今未知，是唯一没有结论的维数。　今用本块戊「四维：唯一没被推进的那一格」之所以特殊，参照系就是这条命题在其他维数上的成功。　关键七维球面上存在与标准结构不微分同胚的微分结构。

1956 年之前，「一个流形」这句话默认拓扑结构与微分结构是一回事，低维的经验支持这种默认。Milnor 构造出七维球面上的一族微分结构，用一个可算的不变量证明其中有些与标准结构不微分同胚——同一个拓扑对象，可以有多种互不相同的光滑化方式。这条结果同时说明：低维直觉在高维不能免检使用。

它的边界后来成了这门学科最刺眼的一格：这套办法在维数不低于五时给出完整的群，在三维以下不存在怪异结构，唯独四维两头不靠——至今不知道四维球面上是否有怪异微分结构。本块戊说的「唯一没被推进的那一格」，参照的正是其他所有维数在这条线上的整齐结论；它不是难度更高，而是两套方法（高维的手术、低维的几何）在这里都不适用。

位置S——它把「一个可算的不变量」当成单独够用的那一样　预设〔15 同名即同物〕默认同胚的对象在微分层面也是同一个对象　量纲被不变量区分开的微分结构数∶该维数上实际存在的微分结构数　失效当维数为四时，高维的手术方法与低维的几何方法同时不适用，结构数至今未知　异名计量经济学称「同名指标口径不同」，软件工程称「接口相同实现不同」；另见本块戊

经四、周期性与 K 理论：不变量成了公共工具Classic 04 · Topology

提出Raoul Bott，1959 年《数学年刊》70:313–337《经典群的稳定同伦》；K 理论的构造见 Atiyah 与 Hirzebruch，1961 年《纯粹数学论文集》3:7–38。　流变广义上同调理论的公理化（Brown 可表定理 1962 年）此后把这类不变量做成了标准品；谱与结构化环谱在 1990 年代把它整体重写。　今用本块丙「谱代数：把同伦论变成能计算的东西」是这条路线的当代形态。　关键经典群的稳定同伦以八为周期，据此可造出向量丛的 K 理论。

Bott 发现一件当时看来极其反常的事：经典群的稳定同伦群不是杂乱的，而是以八（或二）为周期重复。Atiyah 与 Hirzebruch 用它把向量丛做成一个上同调理论，不变量因此第一次不是为某个问题定制的，而是像上同调那样可以被任何人拿去用。这一步把「造不变量」从手工活变成了可批量供给的公共工具。

它的边界是周期性本身的脆弱：换一类空间、换一种系数，周期就未必存在，此后每一个新的广义上同调理论都要单独确认它的周期与可计算性。这一点直接催生了后来的染色分层——不再假定一种周期，而是承认有一整列高度。本块丙今天把同伦论重写成谱上的代数，正是为了让这类工具的构造不再逐个手工进行，而是像交换代数那样成批产生。

位置E——它把「一条周期规律」当成单独够用的那一样　预设〔20 窗口内稳定＝长期稳定〕默认在可计算范围内观察到的周期在全程保持　量纲周期公式预测正确的同伦群数∶已独立算出的同伦群总数　失效当换一类空间或系数时，周期未必存在，基于周期的整套计算须逐项重建　异名信号处理称「基频假设」，经济学称「周期外推」；另见本块丙

经五、Hopf 不变量一：例外只有那么几个Classic 05 · Topology

提出John Frank Adams，1960 年《数学年刊》72:20–104《论 Hopf 不变量一元素的不存在》。　流变1966 年 Adams 与 Atiyah 用 K 理论给出短得多的证明；Kervaire 不变量的平行问题此后成为同一类问题里最后一个开着的。　今用本块三「最后一个维度」讲的正是这类「例外只在有限几处出现」的判断在今天剩下的那一格。　关键Hopf 不变量一的元素只在一、二、四、八维存在，其余维数一律没有。

1960 年之前，实数、复数、四元数、八元数给出的四个例外被当作已知现象，没有人知道后面还有没有。Adams 用他自己的谱序列与二次上同调运算证明：没有了。这类结论的形态很特别——它不是造出一个新对象，而是关上一扇门，从此这门学科可以在「只有这四个」这一前提上继续往前走。

它的边界是方法的代价：原始证明极长且高度技术化，六年后用 K 理论重证只需十几页——同一个命题的可核对性在工具改变后完全不同。另一处是它的平行问题：Kervaire 不变量一的存在性直到 2009 年之后才在几乎所有维数被排除，只剩一格未决。本块三报告的正是那一格；两者共享同一种判断形态——先假定没有例外，再逐维把例外关掉。

位置S——它把「一张有限的例外表」当成单独够用的那一样　预设〔16 稀有与常见服从同一机制〕默认低维出现的例外不会在高维以别的形式重现　量纲已被证明无例外的维数∶所考察的维数总数　失效当同类问题换一个不变量时，例外表可能重新打开，旧结论不迁移　异名数论称「有限例外集」，可靠性工程称「已知失效模式清单」；另见本块三

经六、高维反而容易：手术与手柄的次序Classic 06 · Topology

提出Stephen Smale，1961 年《数学年刊》74:391–406《四维以上的广义庞加莱猜想》。　流变h-配边定理成为高维流形拓扑的主工具；Freedman 1982 年把它推到四维拓扑范畴，光滑范畴至今不成立。　今用本块十「流形演算：嵌入问题被拆成可收敛的泰勒塔」延续的正是这条把几何操作拆成可控步骤的路线。　关键维数不低于五时，同伦球面同胚于标准球面；证明靠手柄的消去。

1961 年之前，庞加莱猜想被默认为维数越高越难。Smale 证明反了过来：维数不低于五时结论成立，而且证明是操作性的——把流形拆成手柄，再按次序把成对的手柄消去。高维之所以容易，是因为有足够的空间把嵌入的圆盘推开而不相交；维数越低，腾挪余地越小，这条几何原因此后一直支配着整门学科的难度分布。

它的边界正是「有没有地方腾挪」：四维时圆盘无法一般位置地分开，手柄消去这条路在光滑范畴断掉。更值得记的是它对次序的依赖——手柄按什么次序消去，本身要论证不影响结果。本块十今天把嵌入问题拆成一座逐阶收敛的塔，做的是同一件事的现代版：把一个整体的几何判断，拆成一串各自可控、并需要证明能收敛的步骤。

位置D——它把「一串可消去的操作」当成单独够用的那一样　预设〔26 顺序无关〕默认手柄消去的次序不影响最终结果　量纲可通过手柄消去化到标准形的情形数∶该维数上的情形总数　失效当维数为四、圆盘无法一般位置分离时，消去步骤本身不可执行，整条路线断开　异名编译原理称「重写规则的合流性」，运筹学称「操作次序无关性」；另见本块十

经七、同伦球面群：把例外整理成一张可算的表Classic 07 · Topology

提出Michel Kervaire 与 John Milnor，1963 年《数学年刊》77:504–537《同伦球面群 I》。　流变表的完整性依赖稳定同伦群的计算与 Kervaire 不变量问题；后者在 2009 年之后才被基本关闭，只剩一个维数。　今用本块乙「Kervaire 不变量：只剩一个维度」报告的就是这张表最后没填上的那一格。　关键维数不低于五时，同伦球面的微分结构构成有限阿贝尔群，可用稳定同伦群表出。

Milnor 造出怪异球面之后，随之而来的问题是：一共有多少个。Kervaire 与 Milnor 用手术方法证明这些结构构成一个有限阿贝尔群，并把它的阶归结为稳定同伦群与一个障碍——Kervaire 不变量——的计算。「有多少种」这个问题因此被彻底改写成一道代数题，且答案随维数逐格可填。

这张表的边界是它把未知集中到了一处：只要 Kervaire 不变量的问题不解决，对应维数的那一格就填不上。四十多年里这一格一直空着，而它一旦被填，几十个维数的结果同时确定。本块乙报告的就是这场清算的最后一格——把不确定性集中到一个可判定的参数上，是这条经典最值得抄的做法。

位置D——它把「一个统一的障碍参数」当成单独够用的那一样　预设〔1 谁进入分母〕默认哪些结构进入这个群、以什么方式被数，是一次定死的　量纲已确定阶的维数格数∶表中应填的维数格总数　失效当障碍参数本身未定时，全表在对应维数上同时悬空，逐维推进不再可能　异名统计学称「归并到单一未知量」，工程学称「集中式风险点」；另见本块乙

经八、指标定理：分析算出来的数等于拓扑数出来的数Classic 08 · Topology

提出Michael Atiyah 与 Isadore Singer，1963 年《美国数学会通报》69:422–433；完整证明见《数学年刊》87 (1968):484–530。　流变热核证明、K 理论证明与局部指标定理陆续给出；1980 年代之后它成为数学与理论物理之间使用最频繁的一条通道。　今用本块六「拓扑走出去」里那些看似不相干的应用，多数经由这条通道。　关键椭圆算子的解析指标等于由拓扑数据算出的拓扑指标。

1963 年之前，微分方程解空间的维数差与流形的拓扑不变量各算各的，两侧偶有巧合但没有一般定理。Atiyah 与 Singer 证明这两个数恒等，并给出把一侧换算成另一侧的显式公式。由此，Riemann–Roch、Hirzebruch 符号差定理与 Gauss–Bonnet 都成了同一个定理的特例，而分析学家与拓扑学家第一次共享了同一份账。

它的边界在椭圆性与紧性这两个条件上：算子不椭圆或流形不紧时，两侧的数各自可能不存在，等式无从谈起。还有一处常被忽略：等式说的是两个数相等，不是两套理论可以互相替代——解析侧知道的信息（谱、解的具体形态）在拓扑侧读不出来。本块六今天列举的对外输出，绝大多数走的是这条通道，也继承了它的这两条边界。

位置E——它把「两侧算出同一个数」当成单独够用的那一样　预设〔6 聚合次序不影响结论〕默认先解分析问题还是先取拓扑不变量，结果不受次序影响　量纲两侧数值相等的算子类数∶所验证的算子类总数　失效当算子非椭圆或流形非紧时，两侧的指标未必存在，等式失去意义　异名物理学称「守恒量的两种算法」，会计学称「双分录对账」；另见本块六

经九、高等 K 理论：把一个不变量做成一整列Classic 09 · Topology

提出Daniel Quillen，1973 年《数学讲义集》341:85–147《高等代数 K 理论 I》。　流变加法与 Q 构造被证明等价；有限域与数域的计算在 1970 至 2000 年代逐步完成，一般环的 K 群至今大多未知。　今用本块七「红移现象：代数 K 理论把染色高度推上一层」讲的是这一列不变量的分层行为。　关键把 K 群定义为一个空间的同伦群，从而得到全部高次 K 群。

1973 年之前，代数 K 理论只有 K0、K1、K2 三个，各自用不同的方式定义，彼此之间的关系靠个案验证。Quillen 的做法是造一个空间，让所有 K 群成为它的同伦群——定义统一了，工具也一并接管：同伦论的全部机器从此可以用在代数对象上。「一个不变量」因此变成「一整列不变量」，且列与列之间有结构。

它的边界是可计算性：定义漂亮不等于算得出，一般环的高次 K 群至今大多未知，已知的都是靠特殊结构（有限域、局部域、正则环）取得的。另一处更深：这一列不变量的分层行为本身成了新问题——高度越高，信息越细，也越难触及。本块七报告的红移，说的正是这一列在染色高度上的位移规律；它继承的是 Quillen 的定义方式，问的却是这条列自身的结构。

位置D——它把「一个空间的同伦群」当成单独够用的那一样　预设〔2 单一读数代表复杂对象〕默认一列同伦群足以代表一个环的算术与几何信息　量纲已被完整算出的高次 K 群数∶所关心的环类中的 K 群总数　失效当环不具备正则性等特殊结构时，定义仍成立而计算无从下手，这一列信息实际不可及　异名测量学称「量程与分辨率之分」，数据工程称「可定义不等于可查询」；另见本块七

经十、有理同伦论：先把挠丢掉再谈Classic 10 · Topology

提出Dennis Sullivan，1977 年《高等科学研究所数学出版》47:269–331《拓扑中的无穷小计算》；代数版本见 Quillen 1969 年《数学年刊》90:205–295。　流变有理模型成为形变理论与数学物理的通用语言；p 进与整体版本的困难度远高于有理情形，至今没有同等好用的模型。　今用本块一「同伦论在算什么」里所说的可算与不可算之分，这条线是最清楚的样本。　关键单连通空间的有理同伦型由一个微分分次代数完全决定。

1977 年之前，同伦型的完整信息包含大量挠信息，几乎无法整体把握。Sullivan 的做法是先做减法：把系数有理化，挠部分整体消失，剩下的信息可以由一个微分分次代数完全编码，且这个代数可以真的写出来。同伦论因此第一次有了一整块「完全可解」的区域，形变、映射空间、纤维化的有理不变量都变成代数计算。

它的边界正是那一步减法：被丢掉的挠不是噪声，许多最难也最有价值的现象（Kervaire 不变量、染色分层）恰恰全在挠部分里。有理同伦论的成功因此有一个反面读法——可算的那一半之所以可算，是因为难的那一半被先移出去了。本块一今天在盘点「同伦论在算什么」时，这条界是必须先说清的：一份漂亮的完全解，往往对应着一次事先声明的舍弃。

位置E——它把「有理化之后的模型」当成单独够用的那一样　预设〔25 失败样本不含信息〕默认被有理化丢掉的挠部分不携带要紧的结构　量纲有理模型能决定的同伦信息量∶完整同伦型所含的信息量　失效当所问的现象整体位于挠部分时，有理模型对它完全失明，可算性不构成回答　异名信号处理称「滤波前的声明」，统计学称「剔除异常值的代价」；另见本块一

经十一、几何化猜想：先宣布图景，再补证明Classic 11 · Topology

提出William Thurston，1982 年《美国数学会通报》6:357–381《三维流形、Klein 群与双曲几何》。　流变双曲化定理的完整书面证明由他人在此后二十年陆续整理；整个猜想直到 Perelman 2002–2003 年的工作才被完成。　今用本块甲「三维几何化：一个百年猜想收口」收的正是这条纲领。　关键三维流形可沿标准方式切开，每块带八种几何之一，其中双曲的占绝大多数。

1982 年之前，三维流形没有分类图景，只有一堆技巧与例子。Thurston 给出的是一整幅图：切开之后每块带八种几何之一，而且双曲几何占压倒多数。他同时宣布证明了其中最难的一部分（Haken 流形的双曲化），但只发表了纲要与部分讲义，完整书面证明由他人在此后二十年陆续补齐。这件事本身在当时引起过关于「什么算已经证明」的争论。

这条经典的边界不在数学而在交付方式：一个正确的判断如果没有可核对的书面形态，学科要为它付出二十年的整理成本，其间引用者只能凭信任。Thurston 后来在本块经十八那篇文章里正面回应了这场争论。本块甲今天说的收口，收的是 Perelman 补上的最后一块；而这条纲领之所以能组织二十年的工作，靠的正是它把「典型情形是双曲的」讲成了可检验的判断。

位置S——它把「一幅完整的分类图景」当成单独够用的那一样　预设〔5 平均值代表个体〕默认典型的三维流形是双曲的，例外可以另行处理　量纲已被严格证明的几何化情形数∶纲领所覆盖的情形总数　失效当纲领的关键部分只有纲要而无完整书面证明时，引用者无法区分已证与已宣布　异名科研管理称「路线图与交付物之分」，工程学称「设计冻结前的引用风险」；另见本块甲

经十二、四维拓扑：拓扑范畴先被攻下Classic 12 · Topology

提出Michael Freedman，1982 年《微分几何杂志》17:357–453《四维流形的拓扑》。　流变该证明的关键构造（无限重复的 Casson 手柄）长期只有少数人能完整复核，2010 年之后仍有专门的整理工作。　今用本块五「四维依旧例外」的那种例外，正是由这条定理与经十三合起来定义的。　关键单连通四维流形在拓扑范畴由相交形式完全分类。

1982 年之前，四维是高维方法与低维方法都够不着的一格。Freedman 证明：在拓扑（而非光滑）范畴里，单连通四维流形由一个代数对象——相交形式——完全决定，四维拓扑庞加莱猜想随之成立。他的方法是把 Casson 手柄这一无限次重复的构造收敛地做出来，让高维手术方法在拓扑范畴下降到四维。

它的边界是范畴：同一批流形在光滑范畴里完全不受这条定理管辖，而同一年 Donaldson 的结果说明光滑范畴的答案完全不同（本块经十三）。另一处边界是可核对性——那套无限构造的完整细节长期只有极少数人掌握，以致后来仍需专门的整理工作。本块五今天说四维依旧例外，指的正是这两条并存：拓扑范畴已经关闭，光滑范畴几乎全开。

位置S——它把「一个代数不变量」当成单独够用的那一样　预设〔17 局部最优可加总为整体最优〕默认可以无限次重复的局部构造能收敛为整体构造　量纲被相交形式完全分类的流形数∶该类流形总数　失效当范畴从拓扑换成光滑时，同一分类整体失效，相交形式不再决定流形　异名泛函分析称「无穷过程的收敛性」，工程学称「装配公差累积」；另见本块五

经十三、规范场论进入拓扑：光滑范畴被劈开Classic 13 · Topology

提出Simon Donaldson，1983 年《微分几何杂志》18:279–315《规范理论在四维拓扑中的一个应用》。　流变Seiberg–Witten 方程（1994 年）给出计算上简单得多的替代工具，此后成为主流；两套不变量的关系至今只在部分情形被证明。　今用本块十二「Floer 不变量：三维边界把四维内部约束带回来」是这条路线的当代形态。　关键反自对偶方程的解空间给出四维流形的不变量，光滑结构因此被区分。

Freedman 在拓扑范畴分类四维流形的同一年，Donaldson 从物理里搬来 Yang–Mills 方程，用其解空间造出不变量，证明许多在拓扑上同胚的四维流形并不微分同胚，甚至有些相交形式根本不能由光滑流形实现。分析的解空间在这里不是辅助工具，而是不变量的来源——拓扑结论第一次由偏微分方程的解直接给出。

它的边界是解空间的可控性：紧化、横截性与奇点处理各自都是硬技术，不变量的定义因此长期依赖大量分析工作。Seiberg–Witten 方程后来提供了简得多的替代路线，而两套不变量在一般情形是否等价至今没有定论。本块十二今天用 Floer 理论把三维边界与四维内部接上，继承的正是这条「用解空间造不变量」的做法。

位置E——它把「一族方程的解空间」当成单独够用的那一样　预设〔14 因与果的方向是给定的〕默认分析侧的解空间单向决定拓扑侧的结论　量纲可由解空间区分开的光滑结构对数∶拓扑上同胚的流形对数　失效当解空间的紧化或横截性无法保证时，不变量的定义本身不成立，结论无从谈起　异名偏微分方程称「解空间的正则性」，实验科学称「仪器决定可分辨对象」；另见本块十二

经十四、Jones 多项式：纽结论被别的学科接管了一半Classic 14 · Topology

提出Vaughan Jones，1985 年《美国数学会通报》12:103–111《由 von Neumann 代数给出的纽结多项式不变量》。　流变HOMFLY 多项式与 Khovanov 同调（2000 年）分别把它推广与范畴化；它是否能判定平凡纽结至今未知。　今用本块丁「拓扑第一次走出数学」里的许多接口，源头是这条从算子代数进来的不变量。　关键从算子代数的迹给出纽结的多项式不变量，可区分许多此前不可分的纽结。

1985 年之前，纽结不变量由拓扑内部的构造给出，Alexander 多项式统治了半个世纪。Jones 在研究 von Neumann 代数的子因子时发现一个辫群表示，由它的迹得到的多项式竟是纽结不变量，且能区分左手三叶结与右手三叶结——这是 Alexander 多项式做不到的。一个来自完全不同学科的构造，改写了本学科的判据。

它的边界至今没有被拆掉：没有人知道这个不变量是否能判定平凡纽结，也没有一个纯拓扑的解释说明它为什么有效——它的意义要到本块经十七的场论表述才被部分回答。更一般的一课在于跨学科输入的方向性：接管的是判据，被接管的一侧未必获得理解。本块丁今天讨论拓扑向外输出时，这条经典提供的是相反方向的样本。

位置E——它把「一个从外部搬来的不变量」当成单独够用的那一样　预设〔4 测量不改变被测对象〕默认给对象新增一个不变量只是增加读数，不改变对象的定义方式　量纲被该多项式区分开的纽结对数∶所检验的纽结对总数　失效当不变量取相同值时无法断定纽结相同，判定平凡纽结的能力至今未知　异名计量学称「新仪器改变研究对象」，管理学称「外部指标接管内部判断」；另见本块丁

经十五、双曲群：群论开始问「典型的群什么样」Classic 15 · Topology

提出Mikhael Gromov，1987 年《群论文集》，MSRI 出版物 8，Springer:75–263《双曲群》。　流变随机群模型（Gromov 1993 年）给出「几乎必然双曲」的精确意义；此后几何群论与三维拓扑大面积合流。　今用本块己「低维拓扑与几何群论的合流」讲的正是这次合流。　关键把群当作度量空间，负曲率条件给出一类具有普遍良好性质的群。

1987 年之前，群论问的是某个具体群有什么性质。Gromov 把群的 Cayley 图当成度量空间，引入负曲率条件，证明满足这个条件的群自动具备一整套好性质（字问题可解、同调有限性等）；随后他进一步主张：在自然的随机模型下，几乎所有群都是双曲的。问题的形态因此从「这个群怎么样」变成「典型的群怎么样」。

它的边界在「典型」的定义上：结论对随机模型的选择敏感，换一种生成方式，典型性质就换一批；而人们实际关心的群往往正是非典型的那些。这条边界与本块经十一的「大多数三维流形是双曲的」是同一形状，两者在 1980 年代后期开始互相引用。本块己今天报告的合流，一半是工具的共享，另一半正是这种提问方式的共享。

位置D——它把「典型情形的性质」当成单独够用的那一样　预设〔23 中位个案代表分布〕默认随机模型下的典型群可以代表人们实际研究的群　量纲满足双曲条件的群在给定模型下的比例∶该模型中的群总数　失效当随机模型改变时，典型性质随之改变，而实际关心的群常落在非典型一侧　异名统计学称「抽样模型依赖」，社会科学称「代表性样本之争」；另见本块己

经十六、幂零性定理：稳定同伦被分层组织Classic 16 · Topology

提出Ethan Devinatz、Michael Hopkins 与 Jeffrey Smith，1988 年《数学年刊》128:207–241《幂零性与稳定同伦论 I》。　流变染色收敛与厚子范畴定理由此成型；Ravenel 1984 年提出的望远镜猜想长期被当作这套图景的一部分，2023 年被证否。　今用本块二「望远镜猜想被证否」推翻的正是这幅图景中最被相信的一块。　关键稳定同伦范畴中的幂零性可由 Morava K 理论检测，范畴按染色高度分层。

1988 年之前，稳定同伦范畴被当作一片没有结构的沼泽：元素多、关系乱、除了逐项计算没有别的办法。三位作者证明幂零性可以由一列 Morava K 理论完全检测，由此得到厚子范畴的分类：整个范畴按「染色高度」分成一层层，每一层有自己的周期现象。计算从此有了地图，而不只是清单。

这幅图景的边界在 2023 年被现代层挑明：望远镜猜想——两种局部化在每一层是否一致——是这套图景中被广泛相信却未被证明的一环，而它被证否了。分层结构本身仍然成立，但「每层内部结构最简单」这条附带的信念不成立。本块二报告的正是这次证否；它同时说明：一幅好地图会让人把未证的部分当成已知。

位置E——它把「一列检测器」当成单独够用的那一样　预设〔29 越精细越接近真实〕默认层数越高、分辨率越细，图景就越接近真实结构　量纲可由 Morava K 理论检测出的幂零现象数∶范畴中的幂零现象总数　失效当同一层内两种局部化不一致时，分层结构仍在而层内的简单性判断失效　异名地理学称「分层制图」，材料科学称「多尺度表征」；另见本块二

经十七、场论解释：物理给出了不变量的来处Classic 17 · Topology

提出Edward Witten，1989 年《数学物理通讯》121:351–399《量子场论与 Jones 多项式》。　流变Reshetikhin–Turaev 在 1991 年给出严格的构造，Atiyah 1988 年的公理化则先给出了框架；路径积分本身至今没有数学定义。　今用本块十一「Cobordism Hypothesis：场论由点上的数据生成」正是这条路线最终的数学形态。　关键Jones 多项式是三维 Chern–Simons 理论的期望值，纽结不变量由场论产生。

Jones 多项式发现四年后仍缺一个解释：它为什么是不变量、为什么恰好是这个形式。Witten 用 Chern–Simons 路径积分给出回答——多项式是场论中 Wilson 圈的期望值，三维的拓扑不变性由作用量的性质自动保证。这套解释不仅回答了旧问题，还预言了一族全新的三维流形不变量，而它所依赖的路径积分在数学上并不存在。

这条经典的边界因此非常特别：一个在数学上未定义的对象，给出了此后被严格构造出来的一整批结论。严格化由 Reshetikhin–Turaev 等人用量子群完成，走的是完全不同的路，而原始推导至今没有被证明合法。本块十一今天把场论改写成范畴论陈述，正是这条严格化路线的终点——它保留了 Witten 的判断，换掉了他的工具。

位置E——它把「一个未定义对象的推导」当成单独够用的那一样　预设〔7 效果可由参与者自己评定〕默认一套推导在其原学科内被接受即可作为数学结论的来源　量纲已被严格构造出来的场论不变量数∶该推导所预言的不变量总数　失效当原始推导所依赖的对象在数学上不存在时，预言的正确性不能反过来证明推导合法　异名科学哲学称「启发式推理的地位」，工程学称「原型先于规范」；另见本块十一

经十八、证明是给谁看的：一门学科的自我说明Classic 18 · Topology

提出William Thurston，1994 年《美国数学会通报》30:161–177《论数学中的证明与进步》。　流变此后二十年，形式化与机器辅助把「可核对」一侧大幅加强，而文章强调的「理解如何传播」一侧至今没有对应工具。　今用本块四「计算变成了机器辅助」所改变的，正是这篇文章区分出的那两件事之一。　关键数学的产出不是定理的清单，而是人群中理解的增长；证明是传播理解的手段之一。

1994 年，Thurston 回应的是对他本人交付方式的批评（本块经十一）。他的论点是：把数学看作定理生产流水线，会漏掉这门学科真正发生的事——理解在人之间的传播。一份写得完整却无人读懂的证明，与一次让整个领域改变提问方式的讲座，贡献并不相同。文章因此提出了一个不常被正面讨论的问题：这门学科的产出该如何计量。

它的边界也很清楚：这套主张容易被读成「可以不写证明」，而作者本人的经历恰恰说明代价由整个共同体承担。此后三十年的答案是不对称的：可核对性一侧被机器加强，理解传播一侧仍靠师承与讲座。本块四今天讨论机器辅助时，改变的正是前一侧；而这篇文章提出的计量问题，至今没有被回答。

位置D——它把「已写下的证明」当成单独够用的那一样　预设〔28 记录存在即可核对〕默认写下并发表的证明等于理解已经传递出去　量纲能向他人复述并使用该结果的研究者数∶引用该结果的研究者数　失效当一份证明完整而无人能独立复述其思路时，形式上的可核对不构成理解的传播　异名教育学称「表层学习与深层学习」，知识管理称「文档与能力的落差」；另见本块四

经十九、一本免费教科书：入门口径被一个人定了下来Classic 19 · Topology

提出Allen Hatcher，2002 年《代数拓扑》，剑桥大学出版社（同时在作者主页免费提供全文）。　流变后续的讲义与在线课程大多沿用它的顺序与记号；同伦论的现代部分（谱、模型范畴）不在其覆盖内，需另找入口。　今用本块九「持久同调」的从业者大多不是拓扑学出身，他们的同调概念多半来自这一类入门材料。　关键把代数拓扑的入门材料压成一本免费可得、以几何直觉为主的教材。

2002 年之前，代数拓扑的入门书要么偏代数、要么已过时，而门槛正因对外输出而变得要紧。Hatcher 的书把顺序改成几何直觉优先，把图画得极多，并且全文免费。它此后二十年成为事实上的标准入口，包括大量非拓扑专业的读者——这对本块九那类应用尤其关键。

它的边界是覆盖面：这本书停在同伦论的现代工具之前，谱、模型范畴、稳定同伦几乎不在其中，读完的人若不另找入口，对本块丙、本块七所讲的东西没有接口。另一处后果是记号与直觉的统一化——一代人共享同一批例子，也共享同一批盲点。本块九今天的应用者多数带着这套入门直觉去处理数据，他们对同调的理解边界，很大程度上就是这本书的边界。

位置S——它把「一本免费可得的教材」当成单独够用的那一样　预设〔11 可复现＝可重做〕默认把入门材料写好并免费提供即可完成能力的迁移　量纲能进一步读懂现代同伦论材料的读者数∶通读该书的读者数　失效当教材的覆盖面止于现代工具之前时，读完的人对该学科当前的工作没有接口　异名教育学称「课程边界效应」，产品设计称「默认设置的长期影响」；另见本块九

经二十、预印本、拒奖与三篇文章Classic 20 · Topology

提出Grigori Perelman，2002 至 2003 年，三份预印本（arXiv:math/0211159、0303109、0307245）。　流变三个独立团队在 2006 年前后给出完整的注解与补全；作者拒绝菲尔兹奖与千禧年奖金，并退出学界。　今用本块庚「虚拟 Haken 定理」等三维成果都建立在这条结果之上。　关键用 Ricci 流带手术证明几何化猜想，庞加莱猜想随之成立。

2002 至 2003 年，三份预印本贴上 arXiv，没有投稿任何期刊，篇幅远短于结论的分量，许多步骤只给要点。此后三年，三个独立团队分别写出数百页的注解与补全，结论被确认成立。作者随后拒绝了菲尔兹奖与千禧年奖金，并退出学界。这门学科最重要的一次证明，因此完全没有走它的常规通道。

这条经典留下的是一个仍未解决的制度问题：当作者不参与核验、而核验工作量以年计时，「谁完成了这个证明」的记法与「谁承担了核验成本」的记法并不一致，而后者不进入任何署名或奖励体系。本块庚等三维成果今天都建立在这条结果之上，使用它的人几乎不需要面对它的核验史——这正说明那笔成本已经被别人一次性付掉了。

位置E——它把「公开发布并被确认」当成单独够用的那一样　预设〔22 通过形式审查＝实质合规〕默认走完发表与授奖流程才算完成，且流程与实际核验重合　量纲独立完成核验的团队数∶引用该结果的研究者数　失效当作者不参与核验、核验以年为单位由他人承担时，署名与奖励体系记不下真实的完成过程　异名科研评价称「贡献归属」，开源社区称「维护者负担」；另见本块庚

◎ 这一层怎么用

先按「今用」栏或碰撞行的「异名」栏找到上文对应的现代条，再把两条的对象、判据与失效条件并排读。两条若只共享名词而不共享失败情形，只登记为异名；量纲若能逐项换算，再判断现代条究竟继承、修正还是反转了这条老命题。本层二十条指向上文十九个不同位置，合起来构成一条可倒查的时间轴，而不是某一条的背景介绍。

三条使用纪律。其一，年份边界与两幕严格不重叠，提出年份落在 1950 至 2006 年之间，更早的奠基工作（如 Poincaré 与 Hopf）只在正文里被点名。其二，经典身份不提供豁免——四维那一格至今空着，望远镜猜想已被证否，Jones 多项式能否判定平凡纽结仍然未知，这些边界正是这一层最值钱的信息。其三，两层不比高下：只读现代层判断不出新在哪里，只读经典层看不出哪一条已经被换掉。

◎ 经典层资料核验

  1. Serre, J.-P. Homologie singulière des espaces fibrés. Annals of Mathematics 54 (1951): 425–505。
  2. Adams, J. F. On the structure and applications of the Steenrod algebra. Commentarii Mathematici Helvetici 32 (1958): 180–214。
  3. Thom, R. Quelques propriétés globales des variétés différentiables. Commentarii Mathematici Helvetici 28 (1954): 17–86。
  4. Milnor, J. On manifolds homeomorphic to the 7-sphere. Annals of Mathematics 64 (1956): 399–405。
  5. Milnor, J. and Stasheff, J. Characteristic Classes. Annals of Mathematics Studies 76. Princeton University Press, 1974（专著）。
  6. Bott, R. The stable homotopy of the classical groups. Annals of Mathematics 70 (1959): 313–337。
  7. Atiyah, M. and Hirzebruch, F. Vector bundles and homogeneous spaces. Proceedings of Symposia in Pure Mathematics 3 (1961): 7–38。
  8. Brown, E. H. Cohomology theories. Annals of Mathematics 75 (1962): 467–484。
  9. Adams, J. F. On the non-existence of elements of Hopf invariant one. Annals of Mathematics 72 (1960): 20–104。
  10. Adams, J. F. and Atiyah, M. K-theory and the Hopf invariant. Quarterly Journal of Mathematics 17 (1966): 31–38。
  11. Smale, S. Generalized Poincaré's conjecture in dimensions greater than four. Annals of Mathematics 74 (1961): 391–406。
  12. Kervaire, M. and Milnor, J. Groups of homotopy spheres I. Annals of Mathematics 77 (1963): 504–537。
  13. Hill, M., Hopkins, M. and Ravenel, D. On the nonexistence of elements of Kervaire invariant one. Annals of Mathematics 184 (2016): 1–262。
  14. Atiyah, M. and Singer, I. The index of elliptic operators on compact manifolds. Bulletin of the AMS 69 (1963): 422–433。
  15. Atiyah, M. and Singer, I. The index of elliptic operators I. Annals of Mathematics 87 (1968): 484–530。
  16. Quillen, D. Higher algebraic K-theory I. Lecture Notes in Mathematics 341. Springer, 1973: 85–147。
  17. Quillen, D. Homotopical Algebra. Lecture Notes in Mathematics 43. Springer, 1967（专著）。
  18. Sullivan, D. Infinitesimal computations in topology. Publications Mathématiques de l'IHÉS 47 (1977): 269–331。
  19. Quillen, D. Rational homotopy theory. Annals of Mathematics 90 (1969): 205–295。
  20. Thurston, W. Three-dimensional manifolds, Kleinian groups and hyperbolic geometry. Bulletin of the AMS 6 (1982): 357–381。
  21. Thurston, W. Three-Dimensional Geometry and Topology, Volume 1. Ed. S. Levy. Princeton University Press, 1997（专著）。
  22. Freedman, M. The topology of four-dimensional manifolds. Journal of Differential Geometry 17 (1982): 357–453。
  23. Freedman, M. and Quinn, F. Topology of 4-Manifolds. Princeton University Press, 1990（专著）。
  24. Donaldson, S. An application of gauge theory to four-dimensional topology. Journal of Differential Geometry 18 (1983): 279–315。
  25. Donaldson, S. and Kronheimer, P. The Geometry of Four-Manifolds. Oxford University Press, 1990（专著）。
  26. Witten, E. Monopoles and four-manifolds. Mathematical Research Letters 1 (1994): 769–796。
  27. Jones, V. A polynomial invariant for knots via von Neumann algebras. Bulletin of the AMS 12 (1985): 103–111。
  28. Khovanov, M. A categorification of the Jones polynomial. Duke Mathematical Journal 101 (2000): 359–426。
  29. Gromov, M. Hyperbolic groups. In: Essays in Group Theory, MSRI Publications 8. Springer, 1987: 75–263（专著）。
  30. Gromov, M. Asymptotic invariants of infinite groups. In: Geometric Group Theory Vol. 2, LMS Lecture Notes 182. Cambridge University Press, 1993（专著）。
  31. Devinatz, E., Hopkins, M. and Smith, J. Nilpotence and stable homotopy theory I. Annals of Mathematics 128 (1988): 207–241。
  32. Hopkins, M. and Smith, J. Nilpotence and stable homotopy theory II. Annals of Mathematics 148 (1998): 1–49。
  33. Ravenel, D. Localization with respect to certain periodic homology theories. American Journal of Mathematics 106 (1984): 351–414。
  34. Ravenel, D. Complex Cobordism and Stable Homotopy Groups of Spheres. Academic Press, 1986（专著）。
  35. Witten, E. Quantum field theory and the Jones polynomial. Communications in Mathematical Physics 121 (1989): 351–399。
  36. Atiyah, M. Topological quantum field theories. Publications Mathématiques de l'IHÉS 68 (1988): 175–186。
  37. Reshetikhin, N. and Turaev, V. Invariants of 3-manifolds via link polynomials and quantum groups. Inventiones Mathematicae 103 (1991): 547–597。
  38. Thurston, W. On proof and progress in mathematics. Bulletin of the AMS 30 (1994): 161–177。
  39. Hatcher, A. Algebraic Topology. Cambridge University Press, 2002（专著，作者主页免费提供全文）。
  40. Perelman, G. The entropy formula for the Ricci flow and its geometric applications. arXiv:math/0211159 (2002)。
  41. Perelman, G. Ricci flow with surgery on three-manifolds. arXiv:math/0303109 (2003)。
  42. Perelman, G. Finite extinction time for the solutions to the Ricci flow on certain three-manifolds. arXiv:math/0307245 (2003)。
  43. Kleiner, B. and Lott, J. Notes on Perelman's papers. Geometry & Topology 12 (2008): 2587–2855。
  44. Morgan, J. and Tian, G. Ricci Flow and the Poincaré Conjecture. Clay Mathematics Monographs 3. American Mathematical Society, 2007（专著）。
  45. Milnor, J. Morse Theory. Annals of Mathematics Studies 51. Princeton University Press, 1963（专著）。

本表只列经典层（1950–2006）所依据的出处，不并入上文现代层的资料核验。专著、讲义集与机构文件按原始形态著录：这一段年代的正主本来就有相当比例不是期刊论文，改引一篇后世综述反而失真。2006 年之后的文献只用于说明流变，不改变经典条的入选年份。

新思想前沿 · 第 3 号《拓扑学》· 20 条现代思想 ＋ 20 条 1950–2006 经典思想 · 双层资料核验 · 王德生 亲撰 · ← 回到 626 个领域总览