SDE Universes·新思想前沿›数学与逻辑
新思想前沿 · 空间、模空间与导出结构

代数几何

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

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

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

甲、极小模型纲领在特征零收口

提出Birkar et al., Existence of minimal models for varieties of log general type, Journal of the AMS 23 (2010): 405–468。　争议与 Bhatt, p-adic derived de Rham cohomology, 2012 preprint; published developments in JAMS 的对象边界或反例路线对读。　最新Clausen & Scholze, Analytic Stacks, 2024 lecture manuscript (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕本条，旧账的堵点是：2006 年的一项工作证明了一般型簇的典范环是有限生成的，等价地，极小模型纲领在特征零的核心部分成立。这是自意大利学派以来代数几何最长的一条主线终于合拢。 早期论证常把成功对象当成全体，让本条的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

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

本条的硬证据由 2010 年前后的原始工作给出：它的方法论后果比结论更远：证明依赖的是把整个纲领拆成一族互相支撑的归纳命题，而不是逐个情形攻克。此后「先建框架、再让定理从框架里长出来」成为这门学科的默认工作方式——这十年的两次地基重铸用的正是同一套姿态。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Birkar et al., Existence of minimal models for varieties of log general type, Journal of the AMS 23 (2010): 405–468。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

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

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

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

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

乙、叠与模空间成为常规工具

提出Abramovich, Olsson & Vistoli, Tame stacks in positive characteristic, Annales de l’Institut Fourier 58 (2008): 1057–1091。　争议与 Bhatt & Scholze, Prisms and prismatic cohomology, Annals of Mathematics 196 (2022): 1135–1275 的对象边界或反例路线对读。　最新Gaitsgory et al., Geometric Langlands: categorical and derived forms, 2024 manuscript series。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

本条改变的不是术语外壳，而是旧问题的入账方式：同一时期，叠（把「带自同构的对象」当作几何对象）从专门技术变成了写论文时不必解释的语言，模空间的构造与紧化被系统化。 若仍用单个定理、单台器件或单批数据结算，本条之外的反例会被成功叙事自动删去。这里把本条的对象范围、操作步骤和例外集合分别立账。

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

本条的硬证据由 2008 年前后的原始工作给出：这一步很不上镜，却决定了后来的一切：这十年 Fano 模空间之所以能被真正造出来，前提是「模空间该是什么」这个问题在上一个十年已经有了统一答案。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Abramovich, Olsson & Vistoli, Tame stacks in positive characteristic, Annales de l’Institut Fourier 58 (2008): 1057–1091。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

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

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 307 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

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

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

丙、Motivic 与一个百年猜想的解决

提出Voevodsky, Motivic cohomology with Z/2-coefficients, Publications Mathématiques de l’IHÉS 98 (2003): 59–104。　争议与 Clausen & Scholze, Condensed Mathematics, 2019 lecture notes 的对象边界或反例路线对读。　最新Alper, Halpern-Leistner & Heinloth, Moduli spaces and Θ-stratifications, 2025 update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在本条这条线上，过去卡住的是：沃埃沃德斯基建立的 motivic 同伦论把代数几何与代数拓扑接了起来，并由此在 1996 至 2011 年间解决了米尔诺猜想与更一般的 Bloch–Kato 猜想。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的本条必须让三类记录同时可见。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

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

本条的硬证据由 2003 年前后的原始工作给出：这条线是这十年 ∞-范畴普及的直接上游：为了让 motivic 的构造站得住，人们不得不把同伦语言在代数几何里重建一遍。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Voevodsky, Motivic cohomology with Z/2-coefficients, Publications Mathématiques de l’IHÉS 98 (2003): 59–104。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

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

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

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

丁、地基重铸的第一声

提出Toën & Vezzosi, Homotopical Algebraic Geometry II, Memoirs of the AMS 193 (2008): 1–224。　争议与 Birkar, Singularities of linear systems and boundedness of Fano varieties, Annals of Mathematics 193 (2021): 347–405 的对象边界或反例路线对读。　最新Clausen & Scholze, Analytic Stacks, 2024 lecture manuscript (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解本条要先拆一个旧混合量：2012 年前后出现的完美空间，把不同特征的世界之间架起了桥。它在当时还是一个专门工具，直到这十年才铺开成整片领域的语言。 原体例把发现、证明与推广写在同一行，导致本条究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。

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

本条的硬证据由 2008 年前后的原始工作给出：记住这个时间差有用：一次地基级的改动，从提出到成为默认语言，大约要十年。凝聚数学眼下所处的位置，正对应完美空间当年的位置。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Toën & Vezzosi, Homotopical Algebraic Geometry II, Memoirs of the AMS 193 (2008): 1–224。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

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

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

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

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

戊、特征 p 与算术几何的分头推进

提出Scholze, Perfectoid spaces, Publications Mathématiques de l’IHÉS 116 (2012): 245–313。　争议与 Kontsevich & Soibelman, Stability structures, motivic Donaldson–Thomas invariants and cluster transformations, 2008 preprint 的对象边界或反例路线对读。　最新Gaitsgory et al., Geometric Langlands: categorical and derived forms, 2024 manuscript series。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕本条，旧账的堵点是：在特征零收口的同时，特征 p 的世界仍然卡着：消灭定理失效，极小模型纲领的标准工具一件也用不上。这一时期的推进来自 F-奇点——用弗罗贝尼乌斯映射本身去定义奇点的好坏，绕开那些失效的工具。 早期论证常把成功对象当成全体，让本条的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

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

本条的硬证据由 2012 年前后的原始工作给出：与之并行的是算术几何：把代数几何的方法用在数域与有限域上，志村簇、p 进上同调与 Hodge 理论被系统整理。这一侧看似离主流较远，却正是完美空间要解决的问题所在——它要打通的正是这两个特征之间的墙。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Scholze, Perfectoid spaces, Publications Mathématiques de l’IHÉS 116 (2012): 245–313。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

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

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

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

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

己、镜像对称从物理猜想变成数学纲领

提出Kontsevich, Homological algebra of mirror symmetry, ICM Proceedings (1994): 120–139。　争议与 Bridgeland, Stability conditions on triangulated categories, Annals of Mathematics 166 (2007): 317–345 的对象边界或反例路线对读。　最新Alper, Halpern-Leistner & Heinloth, Moduli spaces and Θ-stratifications, 2025 update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

本条改变的不是术语外壳，而是旧问题的入账方式：从弦论那里借来的镜像对称，在这一时期被逐步转成严格的数学：同调镜像对称的表述被精确化，Gromov–Witten 不变量与稳定映射的模空间被系统构造，枚举几何的一批经典问题因此被解决。 若仍用单个定理、单台器件或单批数据结算，本条之外的反例会被成功叙事自动删去。这里把本条的对象范围、操作步骤和例外集合分别立账。

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

本条的硬证据由 1994 年前后的原始工作给出：这条线的方法论意义在于它逼出了导出与高阶的语言：要把两个几何对象「同构」说清楚，普通范畴不够用，必须在导出范畴层面比对。这十年导出方法之所以能成为常规工具，很大一部分动力来自这里。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Kontsevich, Homological algebra of mirror symmetry, ICM Proceedings (1994): 120–139。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

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

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

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

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

庚、导出代数几何：相交失败留下的余量也算几何Derived Algebraic Geometry

提出Bridgeland, Stability conditions on triangulated categories, Annals of Mathematics 166 (2007): 317–345。　争议与 Alper, Good moduli spaces for Artin stacks, Annales de l’Institut Fourier 63 (2013): 2349–2402 的对象边界或反例路线对读。　最新Clausen & Scholze, Analytic Stacks, 2024 lecture manuscript (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在本条这条线上，过去卡住的是：传统纤维积抹掉高阶 Tor 信息，导出结构把它保存在同伦层中，使变形、相交和模空间共享一套记账。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的本条必须让三类记录同时可见。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

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

本条的硬证据由 2007 年前后的原始工作给出：横截相交时高阶同伦为零；非横截时 Tor_i 的非零层数就是被旧空间丢掉的余量。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Bridgeland, Stability conditions on triangulated categories, Annals of Mathematics 166 (2007): 317–345。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

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

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

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

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

辛、移位辛结构：模空间上的几何从偶然变成可传递Shifted Symplectic Structures

提出Alper, Good moduli spaces for Artin stacks, Annales de l’Institut Fourier 63 (2013): 2349–2402。　争议与 Hacon & Xu, On the three dimensional minimal model program in positive characteristic, Journal of the AMS 28 (2015): 711–744 的对象边界或反例路线对读。　最新Gaitsgory et al., Geometric Langlands: categorical and derived forms, 2024 manuscript series。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解本条要先拆一个旧混合量：PTVV 证明映射叠与导出模空间自然携带移位辛结构，为 Donaldson–Thomas 型不变量提供统一来源。 原体例把发现、证明与推广写在同一行，导致本条究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

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

本条的硬证据由 2013 年前后的原始工作给出：位移度数 n、映射源维数 d 与目标辛位移 n-d 构成可核验关系，不是只说存在一个形式。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Alper, Good moduli spaces for Artin stacks, Annales de l’Institut Fourier 63 (2013): 2349–2402。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

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

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

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

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

一、这门学科的工作方式

提出Pantev, Toën, Vaquié & Vezzosi, Shifted symplectic structures, Publications Mathématiques de l’IHÉS 117 (2013): 271–328。　争议与 Gaitsgory & Rozenblyum, A Study in Derived Algebraic Geometry, AMS Mathematical Surveys 221 (2017) 的对象边界或反例路线对读。　最新Alper, Halpern-Leistner & Heinloth, Moduli spaces and Θ-stratifications, 2025 update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕几何壬项，旧账的堵点是：代数几何研究由多项式方程定义的几何对象。它的历史反复呈现同一个模式：每当遇到无法处理的现象，解决办法往往不是更聪明的技巧，而是扩大对象的概念——从簇到概形，从概形到代数空间与叠。 早期论证常把成功对象当成全体，让几何壬项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

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

几何壬项的硬证据由 2013 年前后的原始工作给出：每一次扩概念都伴随着基础的重写，代价高昂、回报巨大。这十年发生的，正是这个模式的又一轮。 这门学科的工作方式值得先说清：研究对象是多项式方程的解集，但真正的工具是把几何问题翻译成环与层的语言，再用同调方法计算。一个典型的研究循环是——先在最简单的例子上算清楚，找出反例划定边界，再猜出一般结构并证明。

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

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

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

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

二、完美空间与 p 进几何

提出Bhatt, p-adic derived de Rham cohomology, 2012 preprint; published developments in JAMS。　争议与 Gross, Hacking & Keel, Mirror symmetry for log Calabi–Yau surfaces I, Publications Mathématiques de l’IHÉS 122 (2015): 65–168 的对象边界或反例路线对读。　最新Clausen & Scholze, Analytic Stacks, 2024 lecture manuscript (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

几何癸项改变的不是术语外壳，而是旧问题的入账方式：第一次重铸围绕素数 p。特征零的世界（有理数、复数）与特征 p 的世界（模 p 的算术）长期各有各的技术，互不通用；而算术几何的许多问题恰恰需要在两者之间往返。 若仍用单个定理、单台器件或单批数据结算，几何癸项之外的反例会被成功叙事自动删去。这里把几何癸项的对象范围、操作步骤和例外集合分别立账。

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

几何癸项的硬证据由 2012 年前后的原始工作给出：完美空间提供了一个中转站：某类特殊的空间同时看得见两个世界，使得特征 p 中较易的证明可以被搬回特征零。这套技术随后被用于 p 进霍奇理论、局部朗兰兹对应的几何化，以及数论那边的一系列结果（见相邻面板）。 对几何癸项的复核分别记录对象规模、结构层级和误差分母；来源是 Bhatt, p-adic derived de Rham cohomology, 2012 preprint; published developments in JAMS。几何癸项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

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

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

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

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

三、凝聚数学：把拓扑换掉

提出Bhatt & Scholze, Prisms and prismatic cohomology, Annals of Mathematics 196 (2022): 1135–1275。　争议与 Scholze & Weinstein, Berkeley Lectures on p-adic Geometry, Princeton University Press (2020) 的对象边界或反例路线对读。　最新Gaitsgory et al., Geometric Langlands: categorical and derived forms, 2024 manuscript series。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在几何子项这条线上，过去卡住的是：第二次重铸更彻底。范畴论意义上，带拓扑的代数结构（拓扑群、拓扑向量空间）表现很差：核与余核不好、极限不交换、无法构成好的阿贝尔范畴，这让同调方法在分析对象上难以施展。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的几何子项必须让三类记录同时可见。

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

几何子项的硬证据由 2022 年前后的原始工作给出：凝聚数学的提议是：不要在集合上加拓扑，而是把「拓扑」这一信息重新编码为一类层。得到的范畴具备一切想要的代数性质，而经典的拓扑对象作为特例被包含进来。 这个纲领的野心在于把泛函分析与解析几何都纳入代数几何的框架。 对几何子项的复核分别记录对象规模、结构层级和误差分母；来源是 Bhatt & Scholze, Prisms and prismatic cohomology, Annals of Mathematics 196 (2022): 1135–1275。几何子项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

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

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

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

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

四、导出方法成为常规

提出Clausen & Scholze, Condensed Mathematics, 2019 lecture notes。　争议与 Halpern-Leistner, The derived category of a GIT quotient, Journal of the AMS 28 (2015): 871–912 的对象边界或反例路线对读。　最新Alper, Halpern-Leistner & Heinloth, Moduli spaces and Θ-stratifications, 2025 update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解几何丑项要先拆一个旧混合量：第三条主线安静得多，影响却同样广。导出代数几何把「取交」「取商」这类会丢信息的操作换成保留全部同伦信息的版本，从而让形变理论、虚拟基本类与模空间的构造有了统一的处理方式。 原体例把发现、证明与推广写在同一行，导致几何丑项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。

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

几何丑项的硬证据由 2019 年前后的原始工作给出：十年前它还是少数人的专门工具，如今它已进入镜像对称、枚举几何、模空间理论的日常表述。判断一个工具是否真正成熟的标准，是它开始出现在别人证明的中间步骤里而无需解释——导出方法已经跨过了这条线。 导出方法成为常规，含义是把此前被丢掉的信息保留下来：传统做法取上同调只保留一个个的群，而导出方法把整个复形连同其相互关。

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

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

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

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

五、真正被造出来的模空间

提出Birkar, Singularities of linear systems and boundedness of Fano varieties, Annals of Mathematics 193 (2021): 347–405。　争议与 Alper, Halpern-Leistner & Heinloth, Existence of moduli spaces for algebraic stacks, 2023 preprint 的对象边界或反例路线对读。　最新Clausen & Scholze, Analytic Stacks, 2024 lecture manuscript (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕几何寅项，旧账的堵点是：不是所有进展都是基础重写。这十年一个具体而漂亮的成果是 Fano 簇模空间的构造。长期以来，人们知道如何为一般型簇与卡拉比-丘簇构造模空间，唯独 Fano 这一类做不出来——因为没有合适的稳定性判据。 早期论证常把成功对象当成全体，让几何寅项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

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

几何寅项的硬证据由 2021 年前后的原始工作给出：解决它的是 K-稳定性：一个原本来自微分几何、与是否存在某类度量等价的条件，被证明也是构造模空间所需的代数稳定性。由此，Fano 簇的模空间被真正造了出来，并且可以被计算。 这条线的意义在于它连接了两个传统：代数几何的构造与微分几何的分析。这十年这类跨界等价被反复发现，而它们通常比纯粹的技术改进走得更远。

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

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

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

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

六、正特征与极小模型

提出Kontsevich & Soibelman, Stability structures, motivic Donaldson–Thomas invariants and cluster transformations, 2008 preprint。　争议与 Birkar et al., Existence of minimal models for varieties of log general type, Journal of the AMS 23 (2010): 405–468 的对象边界或反例路线对读。　最新Gaitsgory et al., Geometric Langlands: categorical and derived forms, 2024 manuscript series。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

几何卯项改变的不是术语外壳，而是旧问题的入账方式：最后一块是特征 p 的极小模型纲领。特征零的情形在 2010 年前后已基本完成，而特征 p 因为消灭定理失效而长期受阻。 若仍用单个定理、单台器件或单批数据结算，几何卯项之外的反例会被成功叙事自动删去。这里把几何卯项的对象范围、操作步骤和例外集合分别立账。

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

几何卯项的硬证据由 2008 年前后的原始工作给出：这十年的推进来自 F-奇点理论——用弗罗贝尼乌斯映射本身来定义奇点的好坏，替代特征零里失效的工具。三维情形在大特征下已被证明，更一般的情形仍在推进。 这条线的实际意义超出内部兴趣：算术几何的许多问题最终落在特征 p 上，而分类理论是理解那里的几何的前提。 另有一条与物理相邻的支线继续推进：镜像对称与枚举几何。

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

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

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

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

七、非阿基米德骨架与热带几何：退化仍留下组合影子Non-Archimedean Skeletons and Tropical Geometry

提出Hacon & Xu, On the three dimensional minimal model program in positive characteristic, Journal of the AMS 28 (2015): 711–744。　争议与 Abramovich, Olsson & Vistoli, Tame stacks in positive characteristic, Annales de l’Institut Fourier 58 (2008): 1057–1091 的对象边界或反例路线对读。　最新Alper, Halpern-Leistner & Heinloth, Moduli spaces and Θ-stratifications, 2025 update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在几何辰项这条线上，过去卡住的是：Berkovich 空间的骨架与热带化把退化族压成带长度和权重的组合对象，使极限行为仍可计算。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的几何辰项必须让三类记录同时可见。几何辰项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续几何辰项路线也知道哪里走不通。

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

几何辰项的硬证据由 2015 年前后的原始工作给出：骨架维数／原空间维数、热带交数／代数交数与丢失分支数／全部分支数构成三项核验。 对几何辰项的复核分别记录对象规模、结构层级和误差分母；来源是 Hacon & Xu, On the three dimensional minimal model program in positive characteristic, Journal of the AMS 28 (2015): 711–744。几何辰项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。几何辰项定义更精细若伴随复核人数下降，就不能把几何辰项层级增加写成可靠性增加；两条趋势分开画线。

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

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

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

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

八、棱柱上同调：p 进上同调理论获得共同母体Prismatic Cohomology

提出Gaitsgory & Rozenblyum, A Study in Derived Algebraic Geometry, AMS Mathematical Surveys 221 (2017)。　争议与 Voevodsky, Motivic cohomology with Z/2-coefficients, Publications Mathématiques de l’IHÉS 98 (2003): 59–104 的对象边界或反例路线对读。　最新Clausen & Scholze, Analytic Stacks, 2024 lecture manuscript (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解几何巳项要先拆一个旧混合量：Bhatt–Scholze 把 crystalline、de Rham 与 étale 信息编码进 prism，比较定理不再逐对搭桥。 原体例把发现、证明与推广写在同一行，导致几何巳项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。几何巳项外推要报告复算成功对象／全部尝试对象；只列成功会把几何巳项失败分母压零，方向随即失真。

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

几何巳项的硬证据由 2017 年前后的原始工作给出：一个 prism 的 I-adic 完备性、Frobenius 与三种专门化是三项独立读数；任一缺失都不能称统一。 对几何巳项的复核分别记录对象规模、结构层级和误差分母；来源是 Gaitsgory & Rozenblyum, A Study in Derived Algebraic Geometry, AMS Mathematical Surveys 221 (2017)。几何巳项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。几何巳项定义更精细若伴随复核人数下降，就不能把几何巳项层级增加写成可靠性增加；两条趋势分开画线。

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

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

几何巳项在 2026 年与第 302 号《调和分析》的证据边界、又与第 319 号《计算物理与多尺度模拟》的尺度转换相撞。两边共享‘表示越精细越可靠’，几何巳项却警告核验者会随层级上升而减少；应比较几何巳项可复算对象／全部候选对象。几何巳项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续几何巳项路线也知道哪里走不通。

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

九、有界性回归主舞台：Fano 族终于能整体控制Boundedness of Fano Varieties

提出Gross, Hacking & Keel, Mirror symmetry for log Calabi–Yau surfaces I, Publications Mathématiques de l’IHÉS 122 (2015): 65–168。　争议与 Toën & Vezzosi, Homotopical Algebraic Geometry II, Memoirs of the AMS 193 (2008): 1–224 的对象边界或反例路线对读。　最新Gaitsgory et al., Geometric Langlands: categorical and derived forms, 2024 manuscript series。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕几何午项，旧账的堵点是：Birkar 证明固定维数 ε-log canonical Fano 族有界，把极小模型纲领从存在性推向族的有限控制。 早期论证常把成功对象当成全体，让几何午项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。几何午项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续几何午项路线也知道哪里走不通。

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

几何午项的硬证据由 2015 年前后的原始工作给出：固定维数 d 与阈值 ε 后，只剩有限型参数空间；若 ε→0，体积与奇点可以重新逃逸。 对几何午项的复核分别记录对象规模、结构层级和误差分母；来源是 Gross, Hacking & Keel, Mirror symmetry for log Calabi–Yau surfaces I, Publications Mathématiques de l’IHÉS 122 (2015): 65–168。几何午项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。几何午项定义更精细若伴随复核人数下降，就不能把几何午项层级增加写成可靠性增加；两条趋势分开画线。

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

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

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

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

十、墙穿越：不变量跳变不再是错误，而是可计算现象Wall-Crossing Structures

提出Scholze & Weinstein, Berkeley Lectures on p-adic Geometry, Princeton University Press (2020)。　争议与 Scholze, Perfectoid spaces, Publications Mathématiques de l’IHÉS 116 (2012): 245–313 的对象边界或反例路线对读。　最新Alper, Halpern-Leistner & Heinloth, Moduli spaces and Θ-stratifications, 2025 update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

几何未项改变的不是术语外壳，而是旧问题的入账方式：稳定条件改变时模空间和计数不变量发生跳变，Kontsevich–Soibelman 公式把跳变本身组织成乘积恒等式。 若仍用单个定理、单台器件或单批数据结算，几何未项之外的反例会被成功叙事自动删去。这里把几何未项的对象范围、操作步骤和例外集合分别立账。几何未项还应公开最小复算材料；材料不足时，几何未项的引用增长只测传播，不测正确性或可迁移性。

对几何未项只提出一条单因主张：公开边界内可以独立复算，才允许把几何未项方法搬到下一类对象。声望与经费只作环境量；如果几何未项离开原作者补充就不能运行，结论仍是一次性工艺。几何未项与 2024–2026 年更新分开登记；晚近材料不能覆盖几何未项旧边界，几何未项来源层级也不能混写。几何未项定义更精细若伴随复核人数下降，就不能把几何未项层级增加写成可靠性增加；两条趋势分开画线。

几何未项的硬证据由 2020 年前后的原始工作给出：墙两侧的不变量差、BPS 电荷分解与路径有序乘积是三种不可互换的量。 对几何未项的复核分别记录对象规模、结构层级和误差分母；来源是 Scholze & Weinstein, Berkeley Lectures on p-adic Geometry, Princeton University Press (2020)。几何未项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。几何未项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续几何未项路线也知道哪里走不通。

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

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

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

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

十一、镜像对称走向同调版：对偶不再只比数值Homological Mirror Symmetry

提出Halpern-Leistner, The derived category of a GIT quotient, Journal of the AMS 28 (2015): 871–912。　争议与 Kontsevich, Homological algebra of mirror symmetry, ICM Proceedings (1994): 120–139 的对象边界或反例路线对读。　最新Clausen & Scholze, Analytic Stacks, 2024 lecture manuscript (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在几何申项这条线上，过去卡住的是：Fukaya 范畴与相干层导出范畴的等价，把物理对偶改写为可逐对象、逐态射核验的范畴命题。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的几何申项必须让三类记录同时可见。几何申项定义更精细若伴随复核人数下降，就不能把几何申项层级增加写成可靠性增加；两条趋势分开画线。

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

几何申项的硬证据由 2015 年前后的原始工作给出：对象对应率、Ext 与 Floer 群的维数配对、A∞ 乘法是否相容构成三层验收。 对几何申项的复核分别记录对象规模、结构层级和误差分母；来源是 Halpern-Leistner, The derived category of a GIT quotient, Journal of the AMS 28 (2015): 871–912。几何申项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。几何申项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续几何申项路线也知道哪里走不通。

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

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

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

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

十二、K 稳定性：存在典范度量被改写为退化判据K-Stability and Canonical Metrics

提出Alper, Halpern-Leistner & Heinloth, Existence of moduli spaces for algebraic stacks, 2023 preprint。　争议与 Pantev, Toën, Vaquié & Vezzosi, Shifted symplectic structures, Publications Mathématiques de l’IHÉS 117 (2013): 271–328 的对象边界或反例路线对读。　最新Gaitsgory et al., Geometric Langlands: categorical and derived forms, 2024 manuscript series。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解几何酉项要先拆一个旧混合量：Yau–Tian–Donaldson 路线把 Kähler–Einstein 度量的存在性接到 test configuration 与 Donaldson–Futaki 不变量。 原体例把发现、证明与推广写在同一行，导致几何酉项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。几何酉项外推要报告复算成功对象／全部尝试对象；只列成功会把几何酉项失败分母压零，方向随即失真。

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

几何酉项的硬证据由 2023 年前后的原始工作给出：负不变量退化数／全部测试退化、最小范数与度量能量斜率共同决定稳定，而非只看一个例子。 对几何酉项的复核分别记录对象规模、结构层级和误差分母；来源是 Alper, Halpern-Leistner & Heinloth, Existence of moduli spaces for algebraic stacks, 2023 preprint。几何酉项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。几何酉项定义更精细若伴随复核人数下降，就不能把几何酉项层级增加写成可靠性增加；两条趋势分开画线。

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

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

几何酉项在 2026 年与第 307 号《贝叶斯统计与计算》的证据边界、又与第 53 号《现代密码学》的尺度转换相撞。两边共享‘表示越精细越可靠’，几何酉项却警告核验者会随层级上升而减少；应比较几何酉项可复算对象／全部候选对象。几何酉项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续几何酉项路线也知道哪里走不通。

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

二十年连起来看

代数几何近二十年的主线，是把病态空间视为需要保留的结构而不是需要删掉的例外：叠记录自同构，导出结构记录相交余量，完美化与凝聚化则重做拓扑地基。 第一幕的八条主要改造问题、证明或实验的入口；第二幕十二条把入口连接到更高层结构、数据基础设施与公开核验。真正连续的不是术语，而是分母越来越明确、失败越来越能被定位。

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

三个常见误解

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

与相邻领域的接口

与第 303 号《复分析与复几何》的接口在可计算表示：同一个对象换表示后，能否保留结构与误差。与第 309 号《时间序列与预测方法》的接口在证据聚合：局部读数怎样进入整体判断而不抹平异常。两处都要求先公开分母，再谈统一。

争议现场

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

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

往下五年看什么

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

可与哪些领域对撞

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

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

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

十条可做的研究命题

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

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

资料核验

  1. Birkar et al., Existence of minimal models for varieties of log general type, Journal of the AMS 23 (2010): 405–468
  2. Abramovich, Olsson & Vistoli, Tame stacks in positive characteristic, Annales de l’Institut Fourier 58 (2008): 1057–1091
  3. Voevodsky, Motivic cohomology with Z/2-coefficients, Publications Mathématiques de l’IHÉS 98 (2003): 59–104
  4. Toën & Vezzosi, Homotopical Algebraic Geometry II, Memoirs of the AMS 193 (2008): 1–224
  5. Scholze, Perfectoid spaces, Publications Mathématiques de l’IHÉS 116 (2012): 245–313
  6. Kontsevich, Homological algebra of mirror symmetry, ICM Proceedings (1994): 120–139
  7. Pantev, Toën, Vaquié & Vezzosi, Shifted symplectic structures, Publications Mathématiques de l’IHÉS 117 (2013): 271–328
  8. Bhatt, p-adic derived de Rham cohomology, 2012 preprint; published developments in JAMS
  9. Bhatt & Scholze, Prisms and prismatic cohomology, Annals of Mathematics 196 (2022): 1135–1275
  10. Clausen & Scholze, Condensed Mathematics, 2019 lecture notes
  11. Birkar, Singularities of linear systems and boundedness of Fano varieties, Annals of Mathematics 193 (2021): 347–405
  12. Kontsevich & Soibelman, Stability structures, motivic Donaldson–Thomas invariants and cluster transformations, 2008 preprint
  13. Bridgeland, Stability conditions on triangulated categories, Annals of Mathematics 166 (2007): 317–345
  14. Alper, Good moduli spaces for Artin stacks, Annales de l’Institut Fourier 63 (2013): 2349–2402
  15. Hacon & Xu, On the three dimensional minimal model program in positive characteristic, Journal of the AMS 28 (2015): 711–744
  16. Gaitsgory & Rozenblyum, A Study in Derived Algebraic Geometry, AMS Mathematical Surveys 221 (2017)
  17. Gross, Hacking & Keel, Mirror symmetry for log Calabi–Yau surfaces I, Publications Mathématiques de l’IHÉS 122 (2015): 65–168
  18. Scholze & Weinstein, Berkeley Lectures on p-adic Geometry, Princeton University Press (2020)
  19. Halpern-Leistner, The derived category of a GIT quotient, Journal of the AMS 28 (2015): 871–912
  20. Alper, Halpern-Leistner & Heinloth, Existence of moduli spaces for algebraic stacks, 2023 preprint
  21. Clausen & Scholze, Analytic Stacks, 2024 lecture manuscript (preprint)
  22. Gaitsgory et al., Geometric Langlands: categorical and derived forms, 2024 manuscript series
  23. Alper, Halpern-Leistner & Heinloth, Moduli spaces and Θ-stratifications, 2025 update (preprint)

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

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

以下二十条是代数几何在 1950 至 2006 年之间立起来的经典思想，与上文近二十年的二十条合成一块面板的两层。它们回答的是另一个问题：上面每一条新做法所替换的，究竟是哪一条老前提，而那条老前提当年又是被谁、用什么材料立起来的。经典层因此不做名人榜，只收至今仍被现代二十条正面使用或正面反对的命题——Zariski 在 1950 年宣布旧基础不可靠，Serre 用层把局部与整体接上，Grothendieck 把模问题改写成函子，Mumford 用稳定性决定谁进得了商空间，Mori 把「翻转的次序要不要紧」变成一个可证的问题，而 Voevodsky 在 2003 年之后自己发现旧论文有错，则给出了这门学科对超长证明最不客气的一次表态。每条一行来源、两段正文、一行五栏碰撞行，末尾点名它在上文哪一条里继续活着。

经一、宣布旧基础不可靠：一门学科的自我停牌Classic 01 · Algebraic Geometry

提出Oscar Zariski，1950 年《国际数学家大会论文集》第 2 卷:77–89《抽象代数几何的基本思想》（马萨诸塞州剑桥）。　流变重建由交换代数、层论与概形分三步接手；意大利学派的多数结论最终被保留，原始论证则大多没有被沿用。　今用本块一「这门学科的工作方式」谈的正是这条命题带来的长期后果。　关键古典代数几何的许多证明依赖不可复核的几何直觉，结论须在严格基础上重证。

1950 年之前，意大利学派用极强的几何直觉推进了曲面分类，其中一部分论证无法被后人复核，个别结论（如 Severi 关于曲面上曲线族维数的断言）后来被证伪。Zariski 在国际数学家大会上挑明：不是结论错了多少，而是证明标准与产出速度已经脱节。他给出的对策是把语言换成交换代数——先能核对，再谈推进。

代价与收益同样明显。收益是三十年内基础被重铸两次（层与概形），代价是旧文献从此需要逐条重证，一代人的产出在新标准下暂时不可引用。它没有主张旧结论是错的：多数命题后来都被重新证明。本块一今天描述的工作方式——先固定对象的定义与可核对性，再问命题——正是从这次停牌之后定型的。

位置D——它把「先换一套可核对的语言」当成单独够用的那一样　预设〔28 记录存在即可核对〕默认已发表的几何论证构成可以继续累加的库存　量纲能在新基础上逐步重证的旧结论数∶原文献中的结论总数　失效当重证工作量超过重新发现的工作量时，旧文献事实上被弃置，其中未被重证的部分既非成立也非否定　异名科学史称「严格化运动」，软件工程称「技术债重构」；另见本块一

经二、消灭定理：正性决定什么必须为零Classic 02 · Algebraic Geometry

提出小平邦彦，1953 年《美国国家科学院院刊》39:1268–1273。　流变Kawamata–Viehweg 在 1980 年代把条件放宽到拟正的对数情形，成为极小模型纲领的日常工具；正特征下反例存在，Raynaud 1978 年给出第一个。　今用本块六「正特征与极小模型」之所以是独立难题，根子就在这条定理换域即失效。　关键在特征零的射影流形上，充分丛的高次上同调消灭。

1953 年之前，判断一个层的高次上同调是否为零，靠的是逐例计算。小平邦彦用调和积分证明：只要丛足够正，高次项必然为零。这条定理把「正性」这一几何性质与「上同调消灭」这一代数结论直接扣上，此后曲面分类、嵌入定理与形变理论中大量的存在性论证，都由它一次性提供了前提。

它的边界是特征：证明用的是复解析方法，正特征下不成立，Raynaud 1978 年给出的反例把这条界钉死。此后特征 p 的代数几何必须另起炉灶，不能借用特征零的任何一条消灭结论。Kawamata–Viehweg 的推广扩大了适用面，却没有跨过这条界。本块六今天把正特征的极小模型当作独立课题来处理，原因即在此——不是难度问题，是前提不成立。

位置S——它把「一条正性条件」当成单独够用的那一样　预设〔14 因与果的方向是给定的〕默认几何上的正性单向决定代数上的消灭，不必逐例重判　量纲满足正性条件而上同调确实消灭的情形数∶所检验的情形总数　失效当基域特征为正时，同样的正性条件不再蕴含消灭，特征零下的整条论证链断开　异名分析学称「正算子的谱隙」，逻辑学称「充分条件的域依赖」；另见本块六

经三、凝聚层：局部信息第一次能粘成整体Classic 03 · Algebraic Geometry

提出Jean-Pierre Serre，1955 年《数学年刊》61:197–278《凝聚代数层》。　流变1960 年代被概形语言吸收，层与上同调此后是这门学科的默认工具；EGA 把它扩展到任意基环。　今用本块四「导出方法成为常规」处理的是同一个动作在导出层面的再一次展开。　关键把代数簇上的函数改写为层，局部数据经上同调粘成整体不变量。

1955 年之前，代数几何的整体结论多半靠具体的射影嵌入与线性系去做，局部与整体之间没有统一的传递机制。Serre 把 Cartan 与 Leray 在解析几何里发展的层论移植过来，证明凝聚层的上同调在射影簇上有限维，并给出计算它的框架。从此「先在局部把问题解决，再算一次上同调看能不能粘起来」成为标准动作。

它的边界写在「凝聚」两个字里：粘合能否成功由上同调障碍决定，而障碍不为零时，局部的成功并不给出整体的解——这一点在模问题上反复出现。本块四今天把同一动作提高到导出层面：相交与粘合失败留下的余量本身被当作对象记录下来，而不再只是一个「粘不上」的判定。可以说现代层做的是把这条经典的障碍项从废料改成材料。

位置S——它把「局部数据加一次上同调」当成单独够用的那一样　预设〔17 局部最优可加总为整体最优〕默认局部处处成立的构造可以粘成整体构造　量纲可粘成整体的局部构造数∶局部处处成立的构造总数　失效当上同调障碍不为零时，局部处处成立仍不给出整体解，粘合失败不是技术问题而是结论　异名微分几何称「层障碍」，分布式系统称「局部一致不蕴含全局一致」；另见本块四

经四、GAGA：两套语言的读数可以互换Classic 04 · Algebraic Geometry

提出Jean-Pierre Serre，1956 年《傅立叶研究所年刊》6:1–42《代数几何与解析几何》。　流变该比较定理被推广到相对情形与形式几何；非阿基米德域上的对应物（刚性解析空间、Berkovich 空间）在 1960 至 1990 年代分批建立。　今用本块七「非阿基米德骨架与热带几何」做的是同一件事在另一套绝对值下的版本。　关键射影代数簇上的凝聚层及其上同调，与其解析化后的对应物同构。

1956 年之前，同一个对象在代数与解析两套语言里各有一套结论，彼此的移用靠个案论证。Serre 证明：对射影簇而言，两套语言给出的凝聚层范畴与上同调完全一致，解析方法得到的结论可以合法地读成代数结论，反之亦然。复解析工具（如 Hodge 理论、消灭定理）由此可以正当地进入代数几何。

边界同样清楚：射影性是硬条件，非紧或非射影情形下两套读数会分叉；这条定理并不宣称代数与解析是一回事，只宣称在指定条件下读数可换算。把它记成「代数即解析」是最常见的误用。本块七今天在非阿基米德域上重演这套比较，其难点恰在于那里的「解析化」需要重新定义——换算关系不是给定的，而是每换一次绝对值就要重建一次。

位置E——它把「两套语言之间的一次比较定理」当成单独够用的那一样　预设〔15 同名即同物〕默认代数与解析两侧同名的对象在任何条件下都指同一个东西　量纲两侧读数一致的情形数∶所比较的情形总数　失效当对象非射影或换到非阿基米德绝对值时，两套读数分叉，换算关系须重新建立　异名物理学称「对偶字典」，测量学称「量纲换算」；另见本块七

经五、Riemann–Roch 被函子化：等式改写成图表交换Classic 05 · Algebraic Geometry

提出Armand Borel 与 Jean-Pierre Serre，1958 年《法国数学会通报》86:97–136（整理 Grothendieck 的证明）。　流变此后被推进到高等 K 理论与算术情形（Arakelov 理论、Gillet–Soulé 1990 年代）；相交理论把它的系数写成可计算的循环类。　今用本块四「导出方法成为常规」把同一条恒等式放进导出范畴，多余项不再靠手工修正。　关键推前与陈特征的次序差别，由 Todd 类一次性修正，等式对一切态射成立。

1958 年之前，Riemann–Roch 是关于一个对象的公式：给一条曲线或一个曲面，算它的截面维数。Grothendieck 把它改写成关于一个态射的命题——先推前再取陈特征，与先取陈特征再推前，两者相差一个只依赖切丛的 Todd 类。公式因此从一张表变成一张交换图，适用范围从个别对象扩到任意射影态射，K 理论也在这一步获得了它在代数几何里的位置。

它的边界在「次序可换」这句话上：修正项恰好只依赖相对切丛，是因为处理的态射足够好；换成奇异对象或非射影态射，修正项不再由 Todd 类给出，等式要重写。这条经典真正留下的是一种做法：不问某个不变量是多少，而问两种算法之间差在哪一项。本块四今天在导出范畴里做的是同一件事，差别在于余项不再靠手工修正，而由构造本身携带。

位置D——它把「两种算法之间的一项修正」当成单独够用的那一样　预设〔6 聚合次序不影响结论〕默认先推前还是先取不变量，差别可以由一个通用修正项吸收　量纲可由 Todd 类修正的态射类数∶所考虑的态射类总数　失效当对象奇异或态射非射影时，修正项不再由切丛决定，交换性本身失效　异名范畴论称「自然变换的相容性」，会计学称「口径差异调节项」；另见本块四

经六、Hilbert 概形：模问题被改写成一个函子Classic 06 · Algebraic Geometry

提出Alexander Grothendieck，1961 年《Bourbaki 讨论班》第 221 号《代数几何中的构造技术与存在性定理 IV：Hilbert 概形》。　流变Artin 1969 年《高等科学研究所数学出版》36:23–58 用逼近定理把可表性放宽到代数空间，模问题此后大多在这一层解决。　今用本块五「真正被造出来的模空间」检查的正是这条路线兑现到哪一步。　关键参数问题写成函子，模空间即该函子的表示对象，存在性由 Hilbert 多项式分层保证。

1961 年之前，「所有某类子簇构成一个空间」是一句直觉描述，构造要逐例去做，且不同构造之间是否给出同一个空间并不清楚。Grothendieck 把提问翻过来：先写下一个把每个基概形映到「其上此类族的集合」的函子，再问它是否可表。可表就得到模空间，且这个空间的泛性质自动保证它唯一。Hilbert 多项式在这里既是分层参数，也是有界性的来源。

它的边界是可表性本身：多数模问题的函子并不可表，原因往往是对象带自同构。解决办法不是修补空间，而是承认商不存在——这正是叠被引入的理由（本块经十）。另一处代价是 Hilbert 多项式作为分层参数会把几何上不相干的对象放进同一层。本块五今天要问的仍是同一件事：一个模空间是被造出来了，还是只被证明了存在。

位置D——它把「一个可表函子」当成单独够用的那一样　预设〔2 单一读数代表复杂对象〕默认 Hilbert 多项式足以分层一族几何对象　量纲函子可表的模问题数∶已写成函子形式的模问题总数　失效当对象带非平凡自同构时函子不可表，模空间不存在，商必须改在叠上取　异名计算机科学称「规格与实现的分离」，测量学称「分层参数的粗细」；另见本块五

经七、奇点消解：特征零可以一直吹到光滑Classic 07 · Algebraic Geometry

提出広中平祐，1964 年《数学年刊》79:109–203 与 205–326。　流变证明后来被多次简化（Bierstone–Milman、Villamayor、Włodarczyk），并被写成可执行算法；正特征三维以上至今未解。　今用本块六「正特征与极小模型」里的许多困难，直接来自这条定理在特征 p 下不可用。　关键特征零的任何代数簇，都可经有限次沿光滑中心的吹胀化为光滑簇。

1964 年之前，奇点是逐类处理的：曲线容易，曲面由 Zariski 做完，高维只有零散结果。広中平祐给出的是一个一般定理——特征零下，任何簇都能通过有限次吹胀变光滑，而且过程可以做到与原簇在光滑处不变。从此「不妨设对象光滑」成为一句合法的开场白，几乎所有需要光滑性的工具因此获得普遍适用性。

它的边界有两层。其一是特征：正特征下三维以上至今未解，这使得算术几何在很多地方无法照抄特征零的论证。其二是构造性：原始证明极长且非算法，几十年后才被改写成可执行的过程，在此之前「存在消解」与「能算出消解」是两件事。本块六今天遇到的正特征困难，多数可以追到这条界上。

位置S——它把「化到光滑之后再谈」当成单独够用的那一样　预设〔29 越精细越接近真实〕默认不断细分（吹胀）总能把病态化掉而不产生新问题　量纲可由有限次吹胀消解的簇类数∶所考虑的簇类总数　失效当基域特征为正且维数不低于三时，消解未知，「不妨设光滑」这句开场白不再合法　异名数值分析称「网格细化」，工程学称「预处理假设」；另见本块六

经八、几何不变量理论：谁有资格进入商空间Classic 08 · Algebraic Geometry

提出David Mumford，1965 年《几何不变量理论》，Springer（第三版 1994 年，与 Fogarty、Kirwan 合作）。　流变稳定性判据后来分出多种版本（斜率稳定、K 稳定、Bridgeland 稳定），每种给出不同的商；判据的选择本身成为研究对象。　今用本块十二「K 稳定性：存在典范度量被改写为退化判据」是这条思路最新的一次兑现。　关键群作用的商只在稳定点上存在，稳定性由一个可检验的数值判据给出。

1965 年之前，「把对称的对象等同起来」这一步在代数几何里没有一般做法：朴素的商往往不是簇，或者把不该等同的对象粘在一起。Mumford 的处理是承认商不能对所有点存在，转而给出一个数值判据，把点分成稳定、半稳定与不稳定三类，只在稳定点上取商。模空间的构造从此有了标准路线，而「哪些对象被排除在外」成了必须公开说明的一栏。

它留下的边界很硬：判据不唯一。换一个线性化、换一个稳定性条件，商就换一个，被排除的对象也换一批——同一族对象可以有多个同样合法的模空间。这一点在 1990 年代之后被正面利用：不同判据之间的差异本身被当作可计算的现象。本块十二今天把典范度量的存在性改写成退化判据，走的正是这条路；而本块十「墙穿越」处理的，就是判据改变时不变量如何跳变。

位置D——它把「一条稳定性判据」当成单独够用的那一样　预设〔1 谁进入分母〕默认哪些点有资格进入商是由判据一次定死的　量纲判据下稳定的对象数∶该族中的对象总数　失效当线性化或稳定性条件改变时，同一族对象给出不同的商，被排除者随之改变　异名经济学称「准入门槛」，统计学称「样本纳入标准」；另见本块十二

经九、标准猜想：一层未被造出来的地基Classic 09 · Algebraic Geometry

提出Alexander Grothendieck，1969 年《代数几何（1968 年孟买讨论会）》，牛津大学出版社:193–199《代数闭链上的标准猜想》。　流变母题范畴的候选构造由 Jannsen 1992 年（Invent. Math. 107:447–452）等给出条件性结果；标准猜想至今未证，Voevodsky 的三角母题范畴绕开了它。　今用本块三「Motivic 与一个百年猜想的解决」正是绕过这层地基而取得的结果。　关键若干关于代数闭链的猜想成立，则各种上同调理论来自同一个母题范畴。

1960 年代，同一个簇上并存好几套上同调理论（Betti、de Rham、étale、晶体），它们给出的数字彼此吻合得过分。Grothendieck 提出的解释是：它们都是同一个更根本对象的不同实现，而要把这个对象造出来，需要几条关于代数闭链的命题成立——他称之为标准猜想。这套设想此后组织了整整一代人的工作，尽管它的地基一直没有被砌上。

它留下的是这门学科最特殊的一种状态：一个被广泛使用、却未被证明存在的对象。后来的处理办法不是补证，而是绕开——Voevodsky 构造的三角母题范畴不依赖标准猜想，代价是它不具备原设想中的全部性质。本块三报告的百年猜想解决，正是这条绕行路线的产物；换句话说，现代层继承的是纲领的成果，而不是它的地基。

位置E——它把「所有实现来自同一个源头」当成单独够用的那一样　预设〔19 类别互斥且穷尽〕默认各套上同调理论穷尽了实现方式，且都来自同一个母题范畴　量纲可由母题解释的上同调理论数∶已知的上同调理论总数　失效当母题范畴的存在性依赖未证猜想时，基于它的论证只在条件式意义上成立　异名物理学称「统一理论的假定」，软件工程称「未实现的接口」；另见本块三

经十、叠：自同构不再被当作多余信息Classic 10 · Algebraic Geometry

提出Pierre Deligne 与 David Mumford，1969 年《高等科学研究所数学出版》36:75–109。　流变Artin 1974 年把条件放宽为代数叠；模空间的紧化（稳定曲线）成为枚举几何的默认框架。　今用本块乙「叠与模空间成为常规工具」讲的正是这套对象从特例变成日常的过程。　关键把带自同构的对象放进叠，曲线模空间因此有紧化且不可约。

1969 年之前，模空间的构造总在自同构处出问题：有额外对称的对象让商变得病态，通行做法是把它们剔除或人为刚化。Deligne 与 Mumford 反过来做——让空间本身记住每个点的自同构群，得到的对象不是簇而是叠；他们用它证明了给定亏格的曲线模空间不可约，并给出稳定曲线这一紧化方式。

它的边界是代价：叠上的直觉、上同调与相交理论都要重建，许多在簇上一句话的事在叠上要花一节。这也是它花了二十年才普及的原因。另一处常见误用是把叠当成「带标记的簇」，忽略它的点本身带群。本块乙今天把叠列为常规工具，但对读者的提醒仍是同一条：剔除对称对象可以让计算变简单，代价是被剔除的那部分不再进入任何结算。

位置S——它把「记住自同构的空间」当成单独够用的那一样　预设〔24 冗余是浪费〕默认对象的自同构是可以压缩掉的多余信息　量纲被叠保留下来的自同构信息量∶朴素商中被抹掉的信息量　失效当自同构群不有限或不可约时，叠的良好性质不成立，紧化方式须重新选择　异名数据库设计称「主键与重复记录」，统计学称「加权去重」；另见本块乙

经十一、纲领的主人离席：写下来的能不能被别人做完Classic 11 · Algebraic Geometry

提出Alexander Grothendieck，1970 年离开高等科学研究所并逐步退出学界；其自述见《收获与播种》（手稿 1985–1986 年，长期以复印本流传）。　流变SGA 的多卷由学生整理出版，未完成的部分（母题、可驯拓扑、伽罗瓦长征）分头由后来者接手，进度极不均衡。　今用本块一「这门学科的工作方式」谈到的分工与门槛，源头就在这次交接。　关键一份写到极致一般的纲领，能否在提出者离开后由他人继续完成。

1970 年前后，这门学科最大的一份在建工程失去了主持者。EGA 未写完，SGA 的部分卷次只有讨论班记录，母题这一层只有设想没有构造。接下来的二十年里，学生与合作者分头整理出版，而依赖提出者判断力的那部分——哪条路值得走、哪个一般化必要——并没有随文本一同交接。

这条经典留下的是一个可检验的问题：写得越一般，是否越容易被别人继续。实际结果是分化的：已成文的部分被完整继承并进入教科书，只在口头与讲义中存在的部分则大量流失，母题一层直到 1990 年代才由另一条路线重建。本块一今天描述的高门槛与长学徒期，正是这次交接留下的结构性后果——它同时解释了为什么这门学科对「把东西写下来」的要求高于多数领域。

位置E——它把「纲领的文本」当成单独够用的那一样　预设〔27 能力可与承载它的人分离〕默认判断力可以随文本一起移交　量纲被后人独立推进的纲领分支数∶纲领提出的分支总数　失效当一项工作的关键判断只存在于提出者的选择中、未进入文本时，文本的完整不保证工作可续　异名组织学称「关键人物风险」，档案学称「隐性知识流失」；另见本块一

经十二、混合 Hodge 结构：奇异对象也有权重Classic 12 · Algebraic Geometry

提出Pierre Deligne，1971 年《高等科学研究所数学出版》40:5–57《Hodge 理论 II》（III 见同刊 44:5–77，1974 年）。　流变Saito 1988–1990 年的混合 Hodge 模把它与反常层合流；p 进类比在 2000 年之后成为算术几何的主线之一。　今用本块八「棱柱上同调：p 进上同调理论获得共同母体」追求的正是这条结构在 p 进侧的对应物。　关键任意复代数簇的上同调带有权重滤过，光滑射影情形的 Hodge 分解由此推广。

1971 年之前，Hodge 理论只对光滑射影簇成立，奇异或开的对象被排除在这套最有力的工具之外。Deligne 证明：任何复代数簇的上同调都带一个权重滤过与一个 Hodge 滤过，两者合起来构成混合 Hodge 结构，光滑射影情形只是权重纯的特例。由此，退化、奇点与开集不再是「不能用 Hodge 理论」的理由，而是权重不纯的读数。

边界在于这套结构是范畴性的而非计算性的：知道有权重滤过，与算得出具体的权重，往往差一整套技术。另一处是复数域——同样的结构在 p 进世界里要重建，而不是翻译。本块八今天要找的共同母体，正是这条命题在 p 进侧缺失的那一半：现代层继承的是「不纯也可以被分层」这个判断，而不是它的复解析证明。

位置S——它把「一个权重滤过」当成单独够用的那一样　预设〔16 稀有与常见服从同一机制〕默认奇异与光滑对象服从同一套权重规律　量纲权重可具体算出的簇类数∶带混合 Hodge 结构的簇类总数　失效当换到 p 进或正特征情形时，权重滤过须重新构造，复解析证明不可迁移　异名信号处理称「多分辨率分解」，会计学称「分层计价」；另见本块八

经十三、一本教科书：门槛被降到一学年Classic 13 · Algebraic Geometry

提出Robin Hartshorne，1977 年《代数几何》，Springer 研究生数学教材第 52 卷。　流变此后有多种替代路线（Shafarevich 的具体优先、Vakil 的《Rising Sea》讲义、Stacks Project），但入门顺序基本沿用它的安排。　今用本块一「这门学科的工作方式」里所说的长学徒期，正是被这本书部分压缩之后的结果。　关键把概形语言压成可在一学年内讲完的顺序，习题承担了其余部分。

1977 年之前，学概形只有两条路：读几千页的 EGA，或者跟一位懂行的人。Hartshorne 把这条路径重排成一本教材：前两章给古典材料与概形，第三章上同调，后两章曲线与曲面，其余压进近千道习题。此后二十年，这门学科的入门口径事实上由这本书决定，包括「先学什么、可以暂时跳过什么」这类判断。

它的边界正是压缩本身：为了讲得完，大量一般性被换成可算的例子，习题承担了教材没写的部分——做不完习题的人，学到的是一套记号而不是一套技术。另一处后果是路径依赖：一代人共享同一套直觉与同一批例子，对该书未强调的方向（如正特征、算术情形）系统性地不熟。本块一今天谈论的门槛与分工，绕不开这本书塑造出来的默认起点。

位置S——它把「一本写定的教材」当成单独够用的那一样　预设〔11 可复现＝可重做〕默认把技术写成教材即可完成能力的迁移　量纲能独立完成核心习题的读者数∶通读全书的读者数　失效当关键技术被压进习题而无人批改时，读完教材与掌握技术之间的落差不进入任何统计　异名教育学称「课程压缩」，软件工程称「教程与生产环境的落差」；另见本块一

经十四、极小模型纲领：允许对象在过程中变坏Classic 14 · Algebraic Geometry

提出森重文，1979 年《数学年刊》110:593–606；三维翻转定理见 1988 年《美国数学会杂志》1:117–253。　流变BCHM 2010 年（JAMS 23:405–468）在特征零一般维数下证明了存在性；终止性猜想至今未解，正特征另起一套。　今用本块甲「极小模型纲领在特征零收口」报告的正是这条路线的兑现。　关键允许出现温和奇点，用收缩与翻转把簇化到极小模型或纤维化。

1979 年之前，双有理分类在二维之外无从下手，原因之一是坚持在光滑对象内部操作——而三维的极小模型往往不是光滑的。森重文的做法是放弃这条要求：允许过程中出现指定类型的奇点，并用「弯折与断裂」这一特征 p 的技巧证明有理曲线的存在，从而把收缩操作做出来。1988 年他补上三维翻转的存在性，纲领因此有了可执行的步骤。

留下的硬问题是终止性：每一步都让对象变好一点，但没有人能证明步骤一定有限。换句话说，这条纲领至今是一套「据信会停」的算法。另一处边界是奇点类型的选择——允许哪些奇点是人为规定的，换一套规定就换一条路线。本块甲今天报告的收口，收的是存在性那一半；而「次序要不要紧、过程会不会停」这一半仍在开着。

位置D——它把「一串局部改善的操作」当成单独够用的那一样　预设〔26 顺序无关〕默认收缩与翻转的执行次序不影响终点，且过程必然停止　量纲已证明终止的情形数∶纲领所涵盖的情形总数　失效当终止性未证时，每步改善不蕴含过程收敛，「极小模型存在」只是条件式结论　异名优化理论称「下降算法的收敛性」，编译原理称「重写系统的终止性」；另见本块甲

经十五、反常层：奇异空间上「正确」的那一类层Classic 15 · Algebraic Geometry

提出Alexander Beilinson、Joseph Bernstein 与 Pierre Deligne，1982 年《Astérisque》第 100 卷《反常层》。　流变分解定理成为奇异空间上的标准工具；Saito 的混合 Hodge 模给出它与经十二的合流版本。　今用本块四「导出方法成为常规」里，多数在奇异对象上仍成立的结论都经过这一层。　关键在奇异空间上换一套 t 结构，Poincaré 对偶与分解定理重新成立。

1982 年之前，奇异空间上的上同调工具大面积失灵：对偶性不成立，纤维分解也没有好形式。三位作者的处理是不修对象而换范畴——在导出范畴上取另一个 t 结构，使得「层」的意义随对象的奇异程度一起改变。在这套定义下，交叉上同调成为自然对象，分解定理给出了紧合映射下上同调如何拆开。

它的边界是这套定义的人为性：t 结构的选择不唯一，换一个可容许函数就换一批反常层，「正确」在这里是相对于要保住的定理而言的。这一点在后来被正面利用——稳定性条件与墙穿越正是同一思路的延伸。本块四今天把导出方法当成常规，前提正是接受了这条经典的做法：遇到病态对象时，先问要保住哪条定理，再据此定义对象。

位置S——它把「换一个 t 结构」当成单独够用的那一样　预设〔9 边界一次划定后保持稳定〕默认「层」这一概念的边界不随对象的奇异程度而改变　量纲在新 t 结构下仍成立的经典定理数∶所要保住的定理总数　失效当所选 t 结构改变时，反常层的类随之改变，基于旧选择的结论不能直接沿用　异名测度论称「可测结构的选择」，工程学称「按需求反推规格」；另见本块四

经十六、相交理论：多余的部分也要记账Classic 16 · Algebraic Geometry

提出William Fulton，1984 年《相交理论》，Springer（Ergebnisse 系列第 2 卷；第二版 1998 年）。　流变超额相交公式成为枚举几何的标准工具；虚拟基本类（1990 年代）把同一思路推广到模空间上的形变障碍情形。　今用本块庚「导出代数几何：相交失败留下的余量也算几何」把这条记账法提升为对象本身。　关键相交不处于期望维数时，用超额相交公式给出仍然正确的相交类。

1984 年之前，相交数的定义依赖「一般位置」这一假设：两个子簇相交得太多，就把它扰动开再算。Fulton 系统地取消了这个假设：不扰动，而是把多出来的维数写进一个显式的修正项，由法丛的陈类给出。相交理论因此对退化情形也成立，枚举几何中那些「解在无穷远处退化」的老麻烦，第一次有了统一的处理办法。

边界在于修正项要算得出来：法丛的信息不足时，公式只是形式上的正确。更深的一点是它仍停在数值层面——超额部分被折算成一个类，而不是被保留为对象。本块庚今天的做法正是把这一步推到底：相交失败留下的余量本身被记成几何对象，带上它的形变与障碍。可以说现代层继承的是这条经典的账本，改掉的是它的结算方式。

位置E——它把「一个显式修正项」当成单独够用的那一样　预设〔25 失败样本不含信息〕默认相交中多余的那部分只需折价，不必作为对象保留　量纲可由超额相交公式算出的退化情形数∶所遇到的退化情形总数　失效当法丛信息不足以确定修正项时，公式仍成立但算不出数，退化情形无法结算　异名会计学称「减值准备」，统计学称「残差建模」；另见本块庚

经十七、计算代数几何：例子第一次可以批量生产Classic 17 · Algebraic Geometry

提出Macaulay 系统（Grayson 与 Stillman，1993 年起）、Magma（Bosma、Cannon 与 Playoust，1993 年）、Singular（Greuel、Pfister 与 Schönemann，1997 年起）。　流变Gröbner 基算法的复杂度上界在最坏情形是双指数的，能算的例子始终受此限制；开源与商业两条路线在可核查性上分道。　今用本块五「真正被造出来的模空间」中的「造出来」，很大程度上指能不能在这类系统里算出来。　关键把消元、准素分解与层上同调做成可调用的算法，猜想可先在成批例子上检验。

1990 年代之前，代数几何里的例子是稀缺品：一个非平凡例子往往是一篇论文。Gröbner 基算法与几套系统把这件事变成批量作业——研究者可以在一个下午里检验几百个情形，再决定要不要去证。这改变了猜想的形成方式：先看数据，再写命题，此前只有零星先例。

它的边界是复杂度：最坏情形下计算量随变量数双指数增长，能算的永远是低维、低次、系数简单的那一批，而这批例子未必代表一般情形。另一处是可核查性——商业系统的内部实现不公开，基于它得到的结论在原则上无法被独立复算。本块五今天区分「被证明存在」与「被造出来」时，用的正是这条界。

位置E——它把「能算出来的那一批例子」当成单独够用的那一样　预设〔10 更多数据必然减少偏倚〕默认算过的例子越多，结论就越接近一般情形　量纲可在现有系统中算完的例子数∶该问题类中的例子总数　失效当计算量随维数与次数双指数增长时，可算样本系统性地偏向低复杂度，扩大算例不消除偏差　异名计算机科学称「可行性边界」，实验科学称「仪器可及范围」；另见本块五

经十八、镜像对称进入数学：物理推导要换成证明Classic 18 · Algebraic Geometry

提出Maxim Kontsevich，1994 年《国际数学家大会论文集（苏黎世）》:120–139《镜像对称的同调代数》；枚举侧见其 1995 年《曲线的模空间》，Progress in Mathematics 129:335–368。　流变Givental 与 Lian–Liu–Yau 在 1996 至 1999 年间分别给出镜像定理的证明；同调版本至今只在若干情形被验证。　今用本块己「镜像对称从物理猜想变成数学纲领」与本块十一「镜像对称走向同调版」都是这条线的延伸。　关键把镜像对称改写成两个范畴之间的等价，枚举结论成为它的数值影子。

1991 年，几位物理学家用共形场论的推理给出了五次三维流形上有理曲线的计数，数字与当时能算的前两项吻合，而推导过程在数学上不成立。Kontsevich 在 1994 年的大会报告里把整件事重新表述：镜像对称应当是 Fukaya 范畴与凝聚层导出范畴之间的等价，那些数字只是这个等价的数值影子。问题因此从「验算」变成「证明一个等价」。

这条经典的边界在于两侧的地位不对称：数值预言在若干情形被严格证明，而同调版本至今只对部分情形成立，Fukaya 范畴本身的构造就极为繁重。它留下的一课是：物理推导的可靠性由物理学家自己的标准认定，进入数学时必须整体重造，而不是补几个收敛性条件。本块己与本块十一今天分别报告这两侧的进度。

位置D——它把「一个范畴等价」当成单独够用的那一样　预设〔7 效果可由参与者自己评定〕默认一个推导在其原学科内被接受即可作为数学起点　量纲已被严格证明的镜像预言数∶物理推导给出的预言总数　失效当两侧范畴的构造本身依赖未完成的技术时，等价陈述可写出而无法被检验　异名科学哲学称「跨学科证据移植」，工程学称「接口重实现」；另见本块己

经十九、一批私人通信被出版：判断力第一次进入公共记录Classic 19 · Algebraic Geometry

提出Pierre Colmez 与 Jean-Pierre Serre 编，2001 年《Grothendieck–Serre 通信集》，法国数学会《数学文献》第 2 卷（英文对照版 2004 年，美国数学会）。　流变此后 SGA 与讲义的电子化、Stacks Project 与 MathOverflow 把「未成文的判断」逐步搬进公共记录，但覆盖面仍远小于论文体系。　今用本块一「这门学科的工作方式」谈到的师承与口传，在这批信里第一次有了可引用的样本。　关键1955 至 1969 年间两人的通信显示，多数关键判断在成文之前已在信中定型。

论文只登结果，不登为什么选这条路。这批通信出版之后，读者第一次能看到概形、étale 上同调、母题这些方向是在什么样的犹豫与反复里被选中的：哪些一般化被认为必要，哪些被判为不值得，哪些猜想在提出时就被知道多半为真。对于一门以「先换基础再做定理」为特征的学科，这些判断本身就是它的技术。

它的边界是幸存者偏差：被保存并出版的是两位核心人物的信，同期大量同样重要的判断没有留下记录，也就无从进入学科史。另一处是时间差——这批信写于 1955 至 1969 年，出版于 2001 年，在此期间它对学界的影响以口传方式发生，无法被引用。本块一今天描述的门槛，一半来自技术难度，另一半正来自这类未成文判断的分布不均。

位置E——它把「已发表的论文」当成单独够用的那一样　预设〔8 缺失即不存在〕默认没有写进论文的判断对学科的走向没有作用　量纲进入公共记录的方法论判断数∶实际支配了选题的判断总数　失效当只有少数人的通信被保存并出版时，据此重建的学科史系统性偏向这几个人　异名历史学称「档案幸存偏差」，组织学称「决策过程不留痕」；另见本块一

经二十、Milnor 猜想被证明：而后作者自己发现旧文有错Classic 20 · Algebraic Geometry

提出Vladimir Voevodsky，2003 年《高等科学研究所数学出版》98:59–104《Z/2 系数的 motivic 上同调》。　流变更一般的 Bloch–Kato 猜想在 2011 年前后由他与 Rost、Weibel 等合作完成；此后他公开说明自己 1990 年代的一篇论文有错并长期未被发现，转而推动形式化。　今用本块丙「Motivic 与一个百年猜想的解决」报告的是前一半，本块一里关于可核对性的讨论承接的是后一半。　关键用 motivic 上同调证明 Milnor 猜想，把 K 理论与伽罗瓦上同调接上。

2003 年之前，Milnor 1970 年提出的猜想连接着代数 K 理论与二次型，两侧各有成熟工具却无法互通。Voevodsky 用他构造的 motivic 上同调与 motivic Steenrod 运算证明了它，并因此获得 2002 年菲尔兹奖。这条证明的特点是长度与深度都超出常规审稿能覆盖的范围——它依赖一整套此前不存在的机器，而这套机器本身也是新的。

这条经典最有价值的部分发生在它成立之后：作者本人后来发现自己 1990 年代的一篇论文有错，而这个错误在同行评议与多年引用中都没有被发现。他由此转向证明的形式化，理由不是不信任同行，而是判断这类证明的规模已经超过人工核对的能力。本块丙记录这条猜想的解决，本块一里关于什么算「被核对过」的讨论，则承接了他给出的这个诊断。

位置D——它把「同行评议通过」当成单独够用的那一样　预设〔22 通过形式审查＝实质合规〕默认发表并被引用等于论证已被逐步核对　量纲被独立复核过的关键构造数∶证明所依赖的关键构造总数　失效当证明依赖的机器本身是新造的、且只有作者一人熟悉时，评议流程不构成实质核对　异名软件工程称「单人维护的关键组件」，质量管理称「检出力不足」；另见本块丙

◎ 这一层怎么用

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

三条使用纪律。其一，年份边界与两幕严格不重叠，提出年份落在 1950 至 2006 年之间，更早的奠基工作（如意大利学派与 Weil 的《代数几何基础》）只在正文里被点名。其二，经典身份不提供豁免——换域即失效的消灭定理、至今未证的标准猜想、终止性仍开着的极小模型纲领，都按原样收录，它们的边界正是这一层最值钱的信息。其三，两层不比高下：只读现代层判断不出新在哪里，只读经典层看不出哪一条已经被换掉。

◎ 经典层资料核验

  1. Zariski, O. The fundamental ideas of abstract algebraic geometry. Proceedings of the International Congress of Mathematicians 1950, vol. 2: 77–89。
  2. Zariski, O. Algebraic Surfaces. Springer, 1935; 2nd supplemented ed. 1971（专著）。
  3. 小平邦彦. On a differential-geometric method in the theory of analytic stacks. Proceedings of the National Academy of Sciences 39 (1953): 1268–1273。
  4. Raynaud, M. Contre-exemple au vanishing theorem en caractéristique p>0. In: C. P. Ramanujam — A Tribute. Tata Institute / Springer, 1978: 273–278。
  5. Serre, J.-P. Faisceaux algébriques cohérents. Annals of Mathematics 61 (1955): 197–278。
  6. Serre, J.-P. Géométrie algébrique et géométrie analytique. Annales de l'Institut Fourier 6 (1956): 1–42。
  7. Borel, A. and Serre, J.-P. Le théorème de Riemann-Roch. Bulletin de la Société Mathématique de France 86 (1958): 97–136。
  8. Grothendieck, A. Techniques de construction et théorèmes d'existence en géométrie algébrique IV: les schémas de Hilbert. Séminaire Bourbaki 221 (1960/61)。
  9. Artin, M. Algebraization of formal moduli I. Publications Mathématiques de l'IHÉS 36 (1969): 23–58。
  10. 広中平祐. Resolution of singularities of an algebraic variety over a field of characteristic zero I, II. Annals of Mathematics 79 (1964): 109–203, 205–326。
  11. Mumford, D. Geometric Invariant Theory. Springer, 1965; 3rd enlarged ed. with Fogarty and Kirwan, 1994（专著）。
  12. Grothendieck, A. Standard conjectures on algebraic cycles. In: Algebraic Geometry (Bombay Colloquium 1968). Oxford University Press, 1969: 193–199。
  13. Jannsen, U. Motives, numerical equivalence, and semi-simplicity. Inventiones Mathematicae 107 (1992): 447–452。
  14. Deligne, P. and Mumford, D. The irreducibility of the space of curves of given genus. Publications Mathématiques de l'IHÉS 36 (1969): 75–109。
  15. Artin, M. Versal deformations and algebraic stacks. Inventiones Mathematicae 27 (1974): 165–189。
  16. Grothendieck, A. Récoltes et Semailles. 手稿, 1985–1986；正式出版 Gallimard, 2022（专著）。
  17. Grothendieck, A. and Dieudonné, J. Éléments de géométrie algébrique. Publications Mathématiques de l'IHÉS 4, 8, 11, 17, 20, 24, 28, 32 (1960–1967)。
  18. Deligne, P. Théorie de Hodge II, III. Publications Mathématiques de l'IHÉS 40 (1971): 5–57; 44 (1974): 5–77。
  19. Saito, M. Mixed Hodge modules. Publications of RIMS 26 (1990): 221–333。
  20. Hartshorne, R. Algebraic Geometry. Graduate Texts in Mathematics 52. Springer, 1977（专著）。
  21. Vakil, R. The Rising Sea: Foundations of Algebraic Geometry. 讲义, 自 2010 年起持续修订（在线专著）。
  22. 森重文. Projective manifolds with ample tangent bundles. Annals of Mathematics 110 (1979): 593–606。
  23. 森重文. Flip theorem and the existence of minimal models for 3-folds. Journal of the American Mathematical Society 1 (1988): 117–253。
  24. Birkar, C., Cascini, P., Hacon, C. and McKernan, J. Existence of minimal models for varieties of log general type. Journal of the AMS 23 (2010): 405–468。
  25. Beilinson, A., Bernstein, J. and Deligne, P. Faisceaux pervers. Astérisque 100 (1982)（专著）。
  26. Fulton, W. Intersection Theory. Ergebnisse der Mathematik 2. Springer, 1984; 2nd ed. 1998（专著）。
  27. Grayson, D. and Stillman, M. Macaulay2, a software system for research in algebraic geometry. 自 1993 年起持续开发。
  28. Bosma, W., Cannon, J. and Playoust, C. The Magma algebra system I: the user language. Journal of Symbolic Computation 24 (1997): 235–265。
  29. Greuel, G.-M., Pfister, G. and Schönemann, H. Singular: a computer algebra system for polynomial computations. 自 1997 年起持续开发。
  30. Mayr, E. and Meyer, A. The complexity of the word problems for commutative semigroups and polynomial ideals. Advances in Mathematics 46 (1982): 305–329。
  31. Kontsevich, M. Homological algebra of mirror symmetry. Proceedings of the ICM Zürich 1994: 120–139。
  32. Kontsevich, M. Enumeration of rational curves via torus actions. In: The Moduli Space of Curves, Progress in Mathematics 129. Birkhäuser, 1995: 335–368。
  33. Candelas, P., de la Ossa, X., Green, P. and Parkes, L. A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory. Nuclear Physics B 359 (1991): 21–74。
  34. Givental, A. Equivariant Gromov-Witten invariants. International Mathematics Research Notices 1996(13): 613–663。
  35. Lian, B., Liu, K. and Yau, S.-T. Mirror principle I. Asian Journal of Mathematics 1 (1997): 729–763。
  36. Colmez, P. and Serre, J.-P. (eds.). Correspondance Grothendieck–Serre. Documents Mathématiques 2. Société Mathématique de France, 2001；英文对照版 American Mathematical Society, 2004（专著）。
  37. Stacks Project 协作组. The Stacks Project. 自 2005 年起持续维护（在线专著）。
  38. Voevodsky, V. Motivic cohomology with Z/2-coefficients. Publications Mathématiques de l'IHÉS 98 (2003): 59–104。
  39. Voevodsky, V. Cohomological theory of presheaves with transfers. In: Cycles, Transfers, and Motivic Homology Theories, Annals of Mathematics Studies 143. Princeton University Press, 2000（专著）。
  40. Milnor, J. Algebraic K-theory and quadratic forms. Inventiones Mathematicae 9 (1970): 318–344。
  41. Weil, A. Foundations of Algebraic Geometry. AMS Colloquium Publications 29, 1946（专著）。
  42. Mumford, D. Abelian Varieties. Oxford University Press / Tata Institute, 1970（专著）。
  43. Kollár, J. and 森重文. Birational Geometry of Algebraic Varieties. Cambridge University Press, 1998（专著）。
  44. Serre, J.-P. Sur la cohomologie des variétés algébriques. Journal de Mathématiques Pures et Appliquées 36 (1957): 1–16。
  45. Griffiths, P. and Harris, J. Principles of Algebraic Geometry. Wiley, 1978（专著）。

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

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