结果族 336：Spectral scalar curvature, Urysohn width, and macroscopic dimension · 学科：Differential geometry · 验证状态：暂无形式化证明，请以社区核验为准
一根无限长的”面包”（比如球面×直线那样的三维空间）没法谈直径，但它远看仍然只是”一串切片”。这篇论文证明：满足谱曲率条件的三维空间，无论多长、要不要定向、是不是紧致，都能连续地贴到一张图（一维网络）上，且被贴到同一点的所有材料直径不超过 @@M@@500/\sqrt\lambda@@——宏观尺寸完全被曲率信号按 @@M@@\lambda@@ 缩放地钉住。
关键词卡片
@@M@@-4\Delta+\mathrm{Scal}\ge\lambda@@：曲率与测试函数能量加权后的整体下界，局部允许为负看个具体例子
为什么用宽度而非直径：@@M@@S^2\times\mathbb R@@ 满足 @@M@@\mathrm{Scal}=2\gt0@@，却无限长。把它投影到直线，每根纤维恰是一个单位球面，直径 @@M@@\pi@@——正是定理要保证的那种映射。数字版：谱下界 @@M@@\lambda=1@@ 时纤维直径 @@M@@\le500@@；@@M@@\lambda=\tfrac14@@ 时 @@M@@\le1000@@。
为什么值得关心
三维是最贴身也最难的维数（反例 @@M@@S^2\times\mathbb R@@ 就在这里）；本文不需要定向、spin、紧性或有界几何假设，用加权极小曲面把 Gromov 纲领的谱版在三维补齐。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”无限长的面包远看是一串切片”落到实处：对象是一个三维、完备、无边的空间，配一套量长规则；曲率信号不要求每点都鼓——允许局部凹陷——只要求它与测试函数的能量加权后整体压过某个正数 λ。要做的事：找一个连续的粘贴，把整个空间贴到一张一维网络（图）上，且贴到同一处的所有材料，包括相距最远的两块，直径不超过一个按 λ 缩放的固定倍数。
第二级台阶
| 用本科术语精确化：谱条件是二次型不等式 ∫(4 | ∇φ | ² + Scal·φ²) ≥ λ∫φ²，对一切紧支撑光滑函数成立，即算子 −4Δ + Scal ≥ λ；逐点下界 Scal ≥ λ 是其特例。Urysohn 1-宽度 UW₁ 定义为：在所有到至多一维单纯复形的连续映射中，整根纤维直径上确界的下确界。之所以谈宽度而非直径，是因为 S²×ℝ 这类空间曲率为正却无限长——把每个球面切片压到图上一点，纤维直径恰为 π，尺寸信号没有被破坏。证明用的”刀”是稳定极小曲面：面积最小的分隔膜，及其带体积奖惩项的变体 μ-泡泡。 |
第三级台阶
定理的语境：Gromov 的环面稳定化框架给过可定向情形的三维图宽度定理，逐点曲率下另有 Chodosh–Li 的加权 μ-泡泡切割与 Liokumovich 等人的 Morse 水平集估计，但谱条件此前没有直接的图宽度结论。定理断言：满足谱条件的三维完备无边流形可连续映到一维复形，整根纤维直径 ≤ 500/√λ，且一律按原度量度量——不许换共形度量正是难点所在；不可定向、非紧、无穷远处无任何几何界都在覆盖之列。证明把 Schoen–Yau 的稳定曲面方法全面加权化：正上解给出权 t 与密度 e⁻ᵗ，沿极大稳定曲面族切割、加倍相容磨光后用 μ-泡泡切出直径受界的分离界面，最后借板层覆盖与图粘合把纤维收拢。
证明三维谱宽度定理：满足 @@M@@-4\Delta+\mathrm{Scal}\ge\lambda>0@@（二次型意义）的任意完备无边三维流形都可连续映到一张图（一维复形），整根纤维直径 @@M@@\le500/\sqrt\lambda@@，且不需要定向、spin、紧性或有界几何假设。
正标量曲率下界不能约束三维流形的直径——@@M@@\mathbb S^2\times\mathbb R@@ 是基本反例——恰当的尺寸度量是 Urysohn @@M@@1@@-宽度（Urysohn width）：允许流形沿一张图延伸，但每点原像必须小，且直径按整根纤维（fiber）计算，含不同连通分支之间的距离。Gromov 在《Four lectures》中用环面稳定化（torus stabilization）框架给出过三维图宽度定理，但限于可定向流形、且允许延拓中带平均凸边界；逐点曲率情形另有 Chodosh–Li 的加权 @@M@@\mu@@-泡泡（@@M@@\mu@@-bubble）切割，以及 Liokumovich–Maximo、Liokumovich–Wang 的 Morse 水平集估计。谱条件 @@M@@-4\Delta+\mathrm{Scal}\ge\lambda@@ 允许曲率局部为负，此前没有针对它的直接图宽度结论。难点有二：既不能换度量（纤维必须用原度量度量），又必须控制整根纤维而非各连通分支。
定理：设 @@M@@(M^3,g)@@ 连通完备无边，@@M@@\lambda>0@@，且对一切紧支撑光滑 @@M@@\phi@@ 有
@@M@@D\int_M\bigl(4|\nabla_g\phi|_g^2+\mathrm{Scal}_g\phi^2\bigr)\,\mathrm{dvol}_g\ge\lambda\int_M\phi^2\,\mathrm{dvol}_g，@@
则存在维数至多 @@M@@1@@ 的单纯复形 @@M@@K@@ 与连续映射 @@M@@f:M\to K@@，使 @@M@@\diam_g f^{-1}(y)\le500/\sqrt\lambda@@ 对所有 @@M@@y\in K@@ 成立。逐点下界 @@M@@\mathrm{Scal}\ge\lambda@@ 是特例；常数 @@M@@500@@ 只是方便的选取，未加优化。
证明是 Schoen–Yau 稳定极小曲面方法的全面加权化。先由 Fischer-Colbrie–Schoen 型地态构造得到正上解 @@M@@v@@，令 @@M@@t=-2\log v@@，则 @@M@@D(g,t)=\mathrm{Scal}+2\Delta t-|dt|^2\ge1@@；密度 @@M@@e^{-t}@@ 定义加权面积，而宽度始终用原度量度量。
第一步是加权稳定曲面估计。满足 @@M@@H-\nu t=\mu@@ 的稳定曲面的 Jacobi 算子有正第一特征函数，它把环境不等式传递成曲面上的二维不等式 @@M@@D(k,U)\ge c@@（充分条件为 @@M@@D(h,T)+\mu^2-2|d\mu|\ge c>0@@）；再用共形测地指标论证（Schoen–Yau 半径估计的加权版），把任意两点的原度量距离压到 @@M@@2\pi/\sqrt c@@，闭稳定曲面因此只能是球面或射影平面，并有局部”逃逸”版本。
第二步沿极大稳定曲面族切割。用 Zorn 引理取”无有限子族断开 @@M@@M@@“的极大局部有限族，切割后每块 @@M@@P@@ 中任何紧致双侧整齐嵌入（neatly embedded）超曲面都分离 @@M@@P@@。证明在定向覆盖上做反称积分电流（integral current）极小化，以 Thom 形检测不分离性，用边界极小叶层的面积不增回缩把正则性延伸过切割边界，最后逃逸估计使检出的曲面自动紧致化，与极大性矛盾。
第三步加倍与 @@M@@\mu@@-泡泡。把 @@M@@P@@ 沿边界加倍并相容磨光：加权切片密度的一阶法向导数在缝合处为零（这正由边界的加权极小性保证），反射加卷积磨光保住 @@M@@D\ge1/2@@ 且 @@M@@\frac14g\le h\le4g@@；在距离环带内用余切压力 @@M@@\mu=\cot\frac{\pi(\rho-a)}{b-a}@@ 极小化加权周长减体积项，压力在带两端发散从而消除相位约束，正则性理论给出有限个分离界面 @@M@@F_i@@，每个直径 @@M@@\le4\pi@@。
第四步板层与图。诸余区域的关联图是树，故存在单一界面把基点与任一距离板层（slab）连通分量隔开；每条极小路径必穿过它且剩余长度 @@M@@<93@@，于是板层分量直径 @@M@@\le2\cdot93+4\pi<220@@。以重数 @@M@@\le2@@ 的板层覆盖与从属单位分解把每块映入局部有限图；切割面是球面或射影平面，其有限基本群在图的自由基本群中必平凡，故领域边界映射可零伦收缩，再按 Gromov 的有界界面粘合引理补新边。锚点控制保证整根纤维 @@M@@\le440+2(2\pi+2)<500@@；一般 @@M@@\lambda@@ 由度量伸缩换算。
本文暂无形式化证明，请以社区核验为准；按 OpenAI 官方声明，未经形式化的结果可能有问题。它与两篇高维姊妹篇共享”谱到权”的转换（地态构造），但技术路线独立：高维走图方程拉伸加分区定理，本文走加权极小曲面切割——三维恰好使”闭稳定曲面直径有界”成立。三篇合并给出结果族 336 对 @@M@@n\ge3@@ 的完整谱宽度叙述。
问 1：证明里最关键、最脆弱的一步是什么？
（答：是加倍后的相容磨光（第 4 节）。切割出的块 P 沿边界加倍才能消除边界正则性问题，磨光变量取法向切片加权面积密度的对数——加权极小性恰使其一阶法向导数在缝合处为零，反射加卷积磨光才能同时保住曲率不等式 D ≥ 1/2 与双边度量夹逼 ¼g ≤ h ≤ 4g。若磨光破坏曲率不等式，后续 μ-泡泡的余切压力切割整体失效；这一”极小性换相容性”的机关是全文最精巧也最易出错的一环。）
问 2：为什么不能换一个共形正曲角度量再套逐点结果？
（答：引言明确指出本定理关心的是原度量 g 下的纤维直径；共形变换会扭曲距离，即便得到新度量下的宽度界，也换不回原度量的估计。这就是谱条件必须被”就地”消耗的原因：上解 v 给出权 t = −2 log v 与面积密度 e⁻ᵗ，一切极小化都在这个加权框架里做，而宽度始终用原尺度量。）
问 3：与已有工作相比真正的新意是什么？
（答：Gromov 的 Four lectures 图宽度定理限可定向、允许延拓中带平均凸边界；Chodosh–Li 的 μ-泡泡与 Liokumovich–Maximo/Wang 的 Morse 水平集都在逐点曲率下；Hirsch–Kazaras–Khuri–Zhang 的谱带不等式控制的是边界分离而非任意完备流形的纤维。本文首次直接从谱条件出发，覆盖不可定向与非紧情形，且对权 t 及其导数无任何全局界。）
问 4：整根纤维与逐连通分支的结论差在哪里？
（答：UW₁ 的定义对整根纤维取直径——不同连通分支间的距离也计入。Liokumovich 等人的水平集结论按 Morse 纤维的连通分支陈述，过 Reeb 图后各分支被区分开；本文的图粘合一节专门加了领区条件：同一老图点的所有领区块必须落在同一个覆盖集附近，新边只连接同一次切割的两侧领区——正是这些附加约束让粘合后控制的是整根纤维而非仅分支。）
问 5：这类 AI 生成证明最可能出错的模式是什么？
（答：本文未形式化且横跨几何测度论与极小曲面正则性：反称积分电流极小化、Thom 形检测不分离、边界极小叶层的面积不增回缩、逃逸估计紧致化，层层相扣；常数链 2π/√c、93、220、440+2(2π+2) 最终并入 500（作者自注未优化），任何一环放缩失误都会传导到最终常数。Zorn 极大切割族的局部有限性也是需要单独核实的技术点。）
问 6：切割面为什么必是球面或射影平面，这步起什么作用？
（答：加权稳定曲面估计把闭稳定曲面的原度量直径压到 2π/√c，而直径有界且单侧闭曲面在高斯曲率为正的加权意义下拓扑受限于球面与射影平面；这用在图粘合时——这两类曲面基本群有限，映入自由基本群的图必零伦，领区边界映射才能收缩粘合。若切割面允许更高亏格，零伦论证即不成立。）
问 7：谁会用到它？
（答：三维标量曲率与坍缩理论的研究者：它补上 Gromov 宏观维度纲领谱版的 n = 3 一角，与两篇高维姊妹篇（图方程拉伸 + 分区定理路线）合并成 n ≥ 3 的完整谱宽度叙述；加权 μ-泡泡技术对其他谱型约束问题（带不等式、宽度与面积联合估计）也有直接的工具价值。）
总评
这是把 Schoen–Yau 方法推进到谱条件并覆盖全部三维情形的扎实工作，与姊妹篇拼图后纲领意义完整；最大风险是几何测度论细节密集且未形式化，相容磨光与图粘合两节是核验时最该放大的地方。