结果族 335：Gromov’s integral scalar-curvature bound for simplicial volume · 学科：Differential geometry · 验证状态：暂无形式化证明，请以社区核验为准
想象给封闭空间”充气”：正标量曲率相当于每个点都往外鼓，像球面那样。四十多年前 Gromov 与 Lawson 猜想：有一类”摊开后没有洞”的空间（比如高维环面），无论怎么设计量长规则都充不起来。本文证明了这个猜想——不需要 spin、基本群或维数上限等任何附加假设，并进一步说：这类空间就算只要求”不瘪”（曲率非负），也只剩完全平坦一条路。
关键词卡片
看个具体例子
主定理的数字版：若 @@M@@\mathrm{Scal}\ge\kappa\gt0@@，则 @@M@@(c_M)_*[M]=0\in H_n(B\pi_1(M);\mathbb Q)@@。代入 @@M@@M=T^n@@（@@M@@n@@ 维环面，万有覆盖是可缩的 @@M@@\mathbb R^n@@）：它不容许处处正曲率的度量；更强地，@@M@@T^n@@ 上任何 @@M@@\mathrm{Scal}\ge0@@ 的度量都必平坦——这正是刚性推论。
为什么值得关心
它一举解决了 Gromov–Lawson 非对称猜想，扫清了此前各路线的 spin、维数与基本群限制；其”非负曲率⇒单纯体积为零”的推论，正是姊妹篇定量积分不等式的关键输入。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”充气”的比喻落到实处：对象是一个封闭的空间，配一套量长规则；”往外鼓”指规则给出的每点平均弯曲度严格为正，像球面；”摊开后没有洞”指这个空间的万有覆盖可以连续缩成一点，像环面的覆盖是平坦大欧氏空间。定理要说的是：这类”摊平无洞”的空间，无论换哪套规则都鼓不起来；退一步只要求”不瘪”（平均弯曲非负），也只剩完全平坦一条路。
第二级台阶
用本科术语精确化：M 是闭连通定向光滑流形，其万有覆盖的deck变换群即基本群 Γ = π₁(M)；分类映射 c_M 把 M 送到 Γ 的分类空间 BΓ——一个基本群为 Γ、万有覆盖可缩的 CW 复形。若 (c_M)₍*₎[M] 在 n 维有理同调 H_n(BΓ; ℚ) 中非零，称 M 有理本质；万有覆盖可缩（aspherical）时 c_M 是同伦等价，必有理本质。标量曲率 Scal 是度量在每点给出的平均弯曲数。
第三级台阶
主定理在此语境陈述：n ≥ 2 的闭连通定向流形若容许处处 Scal > 0 的度量，则它必有理非本质——不设 spin、不设基本群与维数限制，群可含挠。严格正这一假设挡住的麻烦由环面给出：平坦环面 Scal ≡ 0 却有理本质，故不能放宽为非负。四个推论由此顺流而下：非对称流形不容许正曲率（Gromov–Lawson 猜想）；其上的非负曲率度量必平坦；到非对称目标有非零度映射的流形不容许正曲率；非负曲率迫使实单纯体积为零。结论用这些术语说：正曲率会抹掉流形在基本群拓扑中留下的一切有理痕迹。
证明了有理本质 (rationally essential) 闭流形不容许正标量曲率度量，从而解决 Gromov–Lawson 非对称猜想：闭非对称流形上非负标量曲率度量必平坦、实单纯体积为零——全程无需 spin、基本群或维数限制。
哪些闭流形容许正标量曲率 (positive scalar curvature) 度量，是黎曼几何的核心问题。Schoen–Yau 用稳定极小超曲面做降维，Gromov–Lawson 用 Dirac 算子与可放大性 (enlargeability) 给出经典障碍；Chodosh–Li 在 2024 年用广义肥皂泡把非对称障碍推进到 4、5 维。Gromov 与 Lawson 在 1983 年前后猜测：闭的非对称 (aspherical，即万有覆盖可缩) 流形不容许正标量曲率度量。Hanke 在 2011 年把它提炼为更一般的同调形式——有理本质流形不容许正标量曲率；Gromov 与 Yau 也先后陈述过这一同调障碍。此前的各条路线分别受制于 spin 条件、极小超曲面正则性（维数 @@M@@\le 7@@）或基本群假设，始终无法在全部维数、全部群上一举成立。
主定理：设 @@M@@M^n@@（@@M@@n\ge 2@@）为闭连通定向光滑流形。若 @@M@@M@@ 容许严格正标量曲率的黎曼度量，则分类映射 (classifying map) @@M@@c_M:M\to B\pi_1(M)@@ 把有理基本类打到零：@@M@@(c_M)_*[M]=0\in H_n(B\pi_1(M);\mathbb{Q})@@，即 @@M@@M@@ 是有理非本质 (rationally inessential) 的。定理不需要 spin、万有覆盖 spin 或基本群假设，群可含挠、分类空间可以没有有限维模型。四个推论：(1) Gromov–Lawson 非对称猜想：闭光滑非对称流形（可否定向皆可）不容许正标量曲率度量；(2) 刚性：闭非对称流形上的非负标量曲率度量必平坦 (flat)；(3) 目标映射障碍：若存在到闭非对称流形 @@M@@N@@ 的非零度连续映射，则 @@M@@M@@ 不容许处处严格正的标量曲率，特别地连通和 @@M@@N\#P@@ 亦然；(4) 单纯体积消失：正维数的闭定向光滑流形若有非负标量曲率度量，则其实单纯体积 @@M@@\|M\|=0@@。
反证，设 @@M@@\mathrm{Scal}\ge\kappa\gt 0@@ 且 @@M@@M@@ 有理本质。第一步构造比较数据与局部度数：在充分大的词度量比较尺度 @@M@@R@@ 处，借助带 @@M@@\Gamma@@-主覆盖的辅助流形得到覆盖 @@M@@X\to M\times C@@，检测闭上链在 @@M@@X@@ 上给出紧支撑上同调类；相对对偶与有理实现产生闭参数流形 @@M@@A@@，与 @@M@@X@@ 作纤维积得 @@M@@Z=X\times_C A@@。其上的紧支撑映射 @@M@@G:Z\to\mathbb{R}^q@@ 满足 @@M@@\deg(G,\Omega,0)\ne 0@@、在 @@M@@\partial\Omega@@ 上 @@M@@\|G\|_\infty\gt 3@@，且沿纤维方向 @@M@@\max_i|dG_i|\le J/R@@、@@M@@\log q\le JR@@，常数 @@M@@J@@ 与 @@M@@R@@ 无关。第二步做图缩短 (shortening)：给每个坐标配一个反比扭曲圆 (warped circle)，图变形沿该坐标微分的方向放大纤维度量并释放有利的标量项，再用非线性椭圆方程把坐标替换成微分更短的新坐标；处理全部 @@M@@q@@ 个坐标的一轮称为一”趟” (pass)。关键在于各坐标造成的逆度量减少在 @@M@@n@@ 维纤维余切空间上望远镜式叠加，总迹不超过 @@M@@n@@、与坐标个数无关，从而避免付出 @@M@@q@@ 倍标量代价。逐趟把 @@M@@L@@ 除以 4、@@M@@w@@ 除以 2，坐标误差与标量损失均为可求和级数，总纤维标量损失 @@M@@O((2+\log q)R^{-2})=O(R^{-1})@@ 被 @@M@@\kappa@@ 吸收；同时在参数流形上放大度量压小参数方向微分，最终得到 @@M@@Z\times\T^{kq}@@ 上标量曲率 @@M@@\ge\kappa/2@@ 的稳定化度量，以及映到 @@M@@S^q@@、紧集外常值的非零度映射 @@M@@F_k@@，其微分按 @@M@@4^{-k}@@ 指数缩小。第三步制造与圆圈个数无关的障碍：拉回球面中固定的环面管道得紧带 @@M@@W@@，加倍并保留圆因子，得到映到 @@M@@S^1\times\T^{q-1}\times\T^{kq}@@ 的非零度闭流形；圆因子的常值放大是局部等距、不损失标量曲率，故 Cecchini–Schick 局部环面定理（@@M@@2\pi\epsilon\ge\sqrt\chi\,\mathrm{Length}(J)@@，无 spin、无维数上限）给出的阈值 @@M@@\delta(q,\kappa/2)@@ 不依赖圆圈总数 @@M@@kq@@。先取 @@M@@R@@ 足够大以固定 @@M@@q@@ 与全部比较数据，再取 @@M@@k@@ 足够大使 @@M@@F_k@@ 的微分低于阈值，与该障碍矛盾，定理得证。推论 (2) 另走一步：约化引理给出正标量曲率或 Ricci 平凡二择一，后者经 Cheeger–Gromoll 分裂定理与可缩性排除非平凡分裂因子，故度量平坦。
本文是本家族”定性”的一半：其推论 (4)（非负标量曲率 @@M@@\Rightarrow@@ 实单纯体积为零）正是姊妹篇《An integral scalar curvature bound for real simplicial volume》整个定量论证唯一引用的外部结果，两篇互相咬合成 Gromov 猜想（定性消失 + 定量积分不等式）的完整证明。终局几何工具是已发表的 Cecchini–Schick 局部环面定理，其余构造均为本文新创。两篇均无 Lean 形式化证明；按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明里最关键、最脆弱的一步是什么？
（答：是图缩短中”趟”的望远镜求和（第 4–6 节）。给 q 个坐标逐个配反比扭曲圆、放大纤维度量并缩短坐标微分时，若每个坐标都独立付出最坏标量代价，总损失带 q 因子、正曲率下界即被吃掉。论文的解法是让逆度量的减少在 n 维纤维余切空间上望远镜式叠加，总迹不超过 n、与坐标个数无关，一趟损失仅 C(n+1)(2+log q)L²/w²。这个”与 q 无关”的求和是全证明的心脏；迹记账差一处，矛盾就不成立。）
问 2：终局为何能不依赖圆圈个数 kq？
（答：障碍来自 Cecchini–Schick 局部环面定理，其阈值条件（2πε ≥ √χ·Length）只要求标量下界与全微分界在目标一段弧的全原像上成立；圆因子的常值放大是局部等距、不损标量。于是阈值 δ(q, κ/2) 只依赖 q 与 κ/2，与圆圈总数无关。先取 R 足够大固定 q 与比较数据，再取 k 使微分 4⁻ᵏJ/R 低于阈值——这个”先 R 后 k”的顺序论证一旦颠倒即成循环。）
问 3：严格正为什么不能放宽为非负？
（答：平坦环面 Scal ≡ 0 却有理本质，说明主定理在非负处必然失真。但推论层面非负仍够用：约化引理把非负曲率分解为”严格正”或”Ricci 平凡”两支，前者走主定理，后者经 Cheeger–Gromoll 分裂定理加可缩性排除非平凡分裂因子，得到非对称流形上非负 ⇒ 平坦、以及一般流形上单纯体积为零。）
问 4：与已有工作相比真正的新意是什么？
（答：Schoen–Yau 的极小超曲面路线受正则性限制在 7 维以内；Gromov–Lawson 的 enlargeability 需要 spin 覆盖；Chodosh–Li 用 μ-泡做到 4、5 维；Ma–Wang–Xie–Yu–Zhu 需要 spin 万有覆盖；Bi–Zhu 需要完备性与 Lipschitz 假设。本文首次在全部维数、全部群（可含挠、分类空间可无有限维模型）上证明有理非本质障碍——Hanke 2011 年猜想的完整形式。）
问 5：有理本质与 enlargeability 不是一回事，证明如何绕开？
（答：Brunnbauer–Hanke 造出有理本质却不 enlargeable 的流形，所以不能借 enlargeability 的收缩映射。本文的替代路线是把上同调配对经参数流形与纤维积改造成局部度数非零的紧支撑映射 G（度数、边界范数 > 3、纤维微分 ≤ J/R 三件套），再用图变形亲自把映射”缩短”出来——收缩映射是造出来的，不是假设来的。）
问 6：这类 AI 生成证明最可能出错的模式是什么？
（答：本文未形式化且构造层叠：比较数据（Γ-主覆盖、纤维积、加倍反射）、非线性椭圆方程替换坐标、可求和误差级数、参数流形上放大度量压小参数微分——每层都有多重参数（R、q、L、w、k）联动，任何一处的常数独立性（如 J 与 R 无关）声明失实都会连锁失效。幸运的是终局工具 Cecchini–Schick 定理已发表，风险集中在本文自创的中间构造。）
问 7：谁会用到它？
（答：标量曲率几何社区：它一举解决 Gromov–Lawson 非对称猜想并覆盖目标映射与连通和障碍；更直接的下游是姊妹篇——其推论”非负曲率 ⇒ 单纯体积为零”是 Gromov 积分不等式定量证明的唯一外部输入，两文合成完整闭环。）
总评
这是标量曲率障碍理论多年僵局的破局之作：扫清 spin、维数、基本群全部附加假设，且为定量积分猜想供弹；最大风险在全篇未形式化、中间构造极长，望远镜求和与参数顺序论证是必须被独立复核的两处命门。