结果族 336：Spectral scalar curvature, Urysohn width, and macroscopic dimension · 学科：Differential geometry · 验证状态：暂无形式化证明，请以社区核验为准
一个处处鼓胀的空间，从很远的地方看会”矮掉两维”——就像一根粗绳子远看只是一条线。Gromov 猜想：正标量曲率的 @@M@@n@@ 维空间一定能整体连续地压到 @@M@@n-2@@ 维骨架上，且被压到同一点的原材料不超过固定长度。姊妹篇已在”每点曲率都正”时证明此结论；本文把它推广到宽松得多的”谱条件”——允许局部凹陷，只要能量加权的整体为正。
关键词卡片
@@M@@-4\Delta+\mathrm{Scal}\ge1@@：曲率与测试函数的能量加权平均后为正——局部可以取负值看个具体例子
定理数字版：@@M@@n\ge4@@ 且谱下界为 @@M@@\lambda@@ 时，存在到 @@M@@n-2@@ 维复形的连续映射，整根纤维直径 @@M@@\le C_n/\sqrt\lambda@@，按原尺度量。代入 @@M@@n=4@@：四维空间宏观上塌成二维骨架；若 @@M@@\lambda=\tfrac14@@，纤维界放大为 @@M@@2C_n@@。逐点条件 @@M@@\mathrm{Scal}\ge\lambda@@ 只是特例——谱条件严格更弱。
为什么值得关心
曲率信号从”逐点”放宽到”谱”，正曲率的空间坍缩现象仍然成立；定理不需要定向、spin、紧性或”有界几何”假设，紧与非紧流形一并适用。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”粗绳远看是一条线”落到实处：对象是一个 n 维、完备无边的空间，配一套量长规则；”鼓胀”不再要求每点都鼓——允许局部凹陷——只要求曲率与测试函数的能量加权之后整体为正；要做的事是找一个连续的压缩，把整个空间拍到一张 n−2 维的骨架上，且被拍到同一点的所有原材料，两两距离不超过一个只依赖维数的界。
第二级台阶
| 用本科术语精确化：标量曲率 Scal 是度量给每点的平均弯曲数；谱条件是一条二次型不等式：对一切紧支撑光滑函数 φ，∫(4 | ∇φ | ² + Scal·φ²) ≥ ∫φ²，即算子 −4Δ + Scal ≥ 1。Urysohn d-宽度 UW_d 定义为：在所有到至多 d 维单纯复形的连续映射中，整根纤维（含全部连通分支）直径上确界的下确界。完备性保证测地延伸，不设定向、spin 或有界几何假设。 |
第三级台阶
主定理的语境：Gromov 的宏观维度纲领猜想正曲率迫使空间在受控尺度上矮掉两维；姊妹篇已在逐点曲率条件下证得一致结论——逐点条件蕴含谱条件，反之不然，故本文是严格推广，且对紧与非紧流形一并成立。假设挡住的麻烦是：谱条件只给一个正上解 v，取 w = −2 log v 后加权漂移表达式 D(g,w) ≥ 1，但 w 的取值与振荡完全不受控。结论用这些术语说：满足谱条件的流形必有 UW_{n−2}(M,g) ≤ C_n；若谱下界为 λ，界按 C_n/√λ 缩放。证明的关键是在不对 w 做任何全局控制的前提下，用”二次储备”与带符号压力律的局部拉伸，把分区定理所需的稳定化曲率下界构造出来。
对每个 @@M@@n\ge4@@ 证明了：满足谱型标量曲率不等式 @@M@@-4\Delta+\mathrm{Scal}\ge1@@ 的完备无边 @@M@@n@@ 维流形都可连续映射到 @@M@@n-2@@ 维单纯复形，且整根纤维的直径被仅依赖 @@M@@n@@ 的常数控制——把 Gromov 的均匀 Urysohn 宽度结论从逐点曲率条件推广到了谱条件。
正标量曲率（positive scalar curvature）应当迫使流形在受控尺度上坍缩掉两个维度，这是 Gromov 自 1986 年起倡导的宏观维度（macroscopic dimension）纲领的量化猜想：@@M@@\mathrm{Scal}\ge1@@ 的完备流形应可连续映到 @@M@@n-2@@ 维多面体，且整根纤维的直径有只依赖 @@M@@n@@ 的上界。同族姊妹篇已在逐点假设下证明该结论。谱条件 @@M@@-4\Delta+\mathrm{Scal}\ge1@@（二次型意义）允许标量曲率在部分区域取负值，只要求它与测试函数的能量加权后整体为正；系数 @@M@@4@@ 与 Perelman 的 @@M@@\mathcal F@@-泛函、Gromov 的环面稳定化（torus stabilization）理论天然相合，Hirsch–Kazaras–Khuri–Zhang 的谱带不等式也属此类条件。此前的宽度结论多需紧性或拓扑假设（如 Chodosh–Li–Liokumovich 在四、五维对万有覆盖的定性结果），而谱条件的新困难在于：它只提供一个正上解，对其取值与振荡没有任何控制。
主定理：对每个整数 @@M@@n\ge4@@ 存在有限常数 @@M@@C_n@@，使得任一满足
@@M@@D\int_M\bigl(4|\nabla_g\phi|_g^2+\mathrm{Scal}_g\phi^2\bigr)\,\mathrm{dvol}_g\ge\int_M\phi^2\,\mathrm{dvol}_g\qquad(\phi\in C_c^\infty(M;\mathbb R))@@
的连通完备无边光滑黎曼 @@M@@n@@-流形 @@M@@(M,g)@@，都存在到维数至多 @@M@@n-2@@ 的单纯复形的连续映射 @@M@@f@@，使整根纤维（fiber，含全部连通分支）满足 @@M@@\diam_g f^{-1}(y)\le C_n@@，即 Urysohn @@M@@(n-2)@@-宽度（Urysohn width）@@M@@\UW_{n-2}(M,g)\le C_n@@。若谱下界为 @@M@@\lambda>0@@，纤维界为 @@M@@C_n/\sqrt\lambda@@。逐点条件 @@M@@\mathrm{Scal}\ge\lambda@@ 蕴含谱条件，反之不然，故这是严格推广；定理不需定向、spin、有界几何假设，紧与非紧流形一并适用。
整体策略是：把谱条件转化为姊妹篇分区定理（论文中作为已知结果引入）所需的输入——一个稳定化标量曲率有下界、且诸集合对充分分离的放大度量 @@M@@h\ge g@@，全程不对权重做任何全局控制。
先做”从谱到权”的转换：由 Allegretto–Piepenbrink 理论的穷竭列论证得到正光滑函数 @@M@@v@@ 满足 @@M@@-4\Delta_g v+\mathrm{Scal}_g v\ge v@@；令 @@M@@w=-2\log v@@，则加权漂移表达式 @@M@@\mathcal D(g,w)=\mathrm{Scal}+2\Delta w-|dw|^2\ge1@@。但 @@M@@w@@ 可以无界，而后续拉伸构造需要随漂移平方增长的”储备”。第一个新构造（二次储备命题）补上缺口：在乘积 @@M@@(M,h)\times\mathbb R@@ 中解规定平均曲率（prescribed mean curvature）的图方程，压力取 @@M@@p=10(u-w)@@，即正比于图高与目标函数之差；先经图角度方程的极值原理、紧流形上的连续法，再在非紧情形用极坐标闸函数与对角序列，得到整体光滑解。标量比较引理把放大度量的曲率增益写成水平集几何量的平方和，配方后即得 @@M@@\mathcal D(h^+,t^+)\ge\mathcal D(h,w)+(t^+)^2-C(n)@@，其中 @@M@@C(n)=100n+203@@ 只依赖维数——压力的平方恰好覆盖新漂移的平方。
第二个新构造是带符号的压力律 @@M@@F(x,t)@@：不直接造 @@M@@F@@ 而是反解其反函数，用”磨光最大值”构造辅助函数，使 @@M@@F_x\ge A_0N(t)@@（其中 @@M@@N(t)=\sqrt{t^2+T^2}@@），并在两个区域分别满足 @@M@@F_x\le b_0N(t)^2@@ 或 @@M@@-FF_t\ge P_0F_x@@ 的二择一。局部拉伸引理据此在紧支撑内把集合对的距离放大 @@M@@1.004@@ 倍，曲率损失由固定背景度量的迹（trace）下降与任意小的可和误差支付；由于储备只取正部 @@M@@(V(t')-V(t))_+@@，漂移变号时估计也不失效。
最后组装：取极大 @@M@@D@@-分离中心网，逐轮拉伸并在每轮后更换工作尺度以恢复储备，极限给出 @@M@@\mathcal D(h,t)\ge1/2@@ 且诸分离达标；再用单位分解把 @@M@@-t@@ 分解为局部有限的对数翘曲（log warp）并细分使梯度平方和 @@M@@\le1/10@@，多翘曲公式把稳定化标量曲率抬到 @@M@@2/5@@。于是分区定理的全部假设成立，其输出映射的整根纤维在原度量 @@M@@g@@ 下至多 @@M@@4D+2@@。
本文主结果暂无 Lean 形式化证明，请以社区核验为准；按 OpenAI 官方声明，未经形式化的结果可能有问题。论文的拓扑坍缩部分（分区定理）整体引自同族姊妹篇《Positive scalar curvature and uniform codimension-two width》，本文的新贡献集中于两处分析构造：二次储备命题与带符号压力律的拉伸估计。另一姊妹篇以加权极小曲面方法处理 @@M@@n=3@@，三篇合并覆盖 @@M@@n\ge3@@ 的完整谱宽度结论。
问 1：证明里最关键、最脆弱的一步是什么？
（答：是二次储备命题（Proposition pre:reserve）。谱条件经 Allegretto–Piepenbrink 给出正上解 v 与漂移 w = −2 log v，满足 D(g,w) ≥ 1，但 w 可以无界、无任何振荡控制；拉伸构造却需要随漂移平方增长的储备。该命题在乘积流形上解压力为 p = 10(u−w) 的规定平均曲率图方程——紧情形走连续法、非紧情形用极坐标闸函数加对角序列——得到 D(h⁺,t⁺) ≥ D(h,w) + (t⁺)² − C(n)，C(n) = 100n+203 只依赖维数。非紧情形的全局解存在性是全文最大的分析风险点。）
问 2：谱条件与逐点条件相比弱在哪里，为什么这是实质推广？
（答：逐点 Scal ≥ 1 蕴含谱条件，但谱条件允许标量曲率在部分区域取负，只要求与测试函数能量加权后整体为正——系数 4 与 Perelman 的 𝓕-泛函、Gromov 环面稳定化天然相合。此前的宽度结论或需紧性（Liokumovich–Maximo 的闭流形）、或需拓扑假设（Chodosh–Li–Liokumovich 的 π₂ = 0 万有覆盖），且多为定性；本文对任意完备流形给只依赖 n 的一致常数。）
问 3：带符号的漂移为什么需要新的压力律？
（答：漂移 t 可正可负时，储备 V(t) = t² + T² 在 t 增大时未必增加，旧的拉伸估计（要求漂移为正储备单调）直接失效。论文不直接造压力 F 而是反解其反函数，用磨光最大值构造辅助函数，使 F_x ≥ A₀N(t) 且在两个区域满足 F_x ≤ b₀N(t)² 或 −FF_t ≥ P₀F_x 的二择一；局部估计只保留储备差的正部 (V(t′)−V(t))₊，漂移变号时也不失效。）
问 4：n ≥ 4 的限制从哪里来？
（答：来自几何输入：分区定理（姊妹篇的稳定化宽度定理）在高维运行，其 μ-泡/极小超曲面机制在 n = 3 时需要不同处理；n = 3 的谱宽度结论由另一姊妹篇以加权极小曲面方法单独给出，三篇合并覆盖 n ≥ 3。本文自身没有讨论 n = 3 的技术障碍细节，属于分工而非遗漏。）
问 5：这类 AI 生成证明最可能出错的模式是什么？
（答：一是层层依赖：拓扑坍缩整体引自姊妹篇的分区定理，那也是同批 AI 手稿，错误会级联；二是魔法常数的簿记：C(n) = 100n+203、放大倍数 1.004、梯度平方和 ≤ 1/10、终界 D(h,t) ≥ 1/2 与稳定化下界 2/5，这些数字在”逐轮拉伸—换尺度恢复储备—望远镜迹下降”的多轮组装中环环相扣；三是非紧情形对角序列的局部有限性论证。全文未形式化，每一处都需独立复核。）
问 6：整根纤维（含全部分支）的口径为什么重要？
（答：Urysohn 宽度的定义对整根纤维取直径，若只控制每个连通分支，不同分支可以相距任意远，空间在宏观上并未真的”矮掉两维”。引言明确强调本文结论按原度量 g 控制整根纤维，且不对共形因子或权重在无穷远的行为做任何控制——这是比分支版本强得多、也更贴宏观维度纲领本意的结论。）
总评
这项工作把 Gromov 宽度纲领从逐点曲率推进到谱条件，覆盖任意完备流形且常数一致，是宏观维度理论的重要一级台阶；最大风险是核心分析构造（非紧储备方程）难度极高且证明链搭在同批未形式化的姊妹篇上，需两处同时核验。