结果族 346：Sharp singular-set bounds for stationary integral varifolds · 学科：Differential geometry · 验证状态：暂无形式化证明，请以社区核验为准
还是那层肥皂膜：随机在膜上戳一个点，拿放大镜看会看到什么？这篇论文的回答令人安心——几乎每个点附近，膜就是若干层完全重合的平整光滑曲面；真正”长得糟糕”的点虽然有，却少到用膜的尺子量出来体积为零。
关键词卡片
看个具体例子
最直观的例子是两张斜交平面：膜是 2 维（@@M@@m=2@@），奇异集是一条 1 维交线。拿 2 维的尺子量一条线，答案是 0——去掉这条缝后，每个点附近都是一张平滑平面。哪怕某处叠了七层（重数 7），好点看到的就是整整七层完全重合的同一张光滑曲面。公式卡（@@M@@m=2@@ 数字版）：坏点集 @@M@@=@@ 1 条直线，2 维面积 @@M@@=0@@，即 @@M@@\mathcal H^{2}(\operatorname{Sing}V)=0@@。定理断言这对一切维数成立：@@M@@\mathcal H^{m}(\operatorname{Sing}V)=0@@，在单位球面上同样成立。
为什么值得关心
“奇异集是否零测”被 Simon 在 2018 年讲义中列为公开问题，本文解决了它；此前最强的已知结论只给出零测集之外的可数光滑覆盖，而本文断言：几乎每点的整个邻域就是一张乘上整数重数的光滑极小图——结论强得多。姊妹篇再把”零测”强化为”维度至多 @@M@@m-1@@“，两篇合成完整图景。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读里那层肥皂膜，现在换成正式的研究对象：一个允许叠层、自交与缝合的”广义曲面”，每个位置带着整数层重数；所谓”平稳”，是说它已滑到面积无法再一阶减小的平衡位置。我们要问的只是：在膜上随意挑一个点、用放大镜对准它，局部看到的会不会是若干层完全重合的光滑面片？把所有”看不清”的坏点收集起来，它们到底占多大地方？
第二级台阶
用本科测度论的语言说：积分 m-varifold 是带整数重数的 m 维测度；平稳等价于它的一阶变分为零。奇异集 Sing V 由那些”局部不是某个固定正整数倍的光滑嵌入极小子流形”的点组成；量它的尺子是 m 维 Hausdorff 测度 H^m——零测就是体积为零。
第三级台阶
定理在几乎不设前提的语境下陈述：对欧氏开集里任意平稳积分 m-varifold，维数与余维数取任意正整数，不需要稳定性、极小性、可定向性或任何密度上界。结论是 H^m(Sing V)=0：几乎所有支撑点的整个邻域里，varifold 恰是同一张光滑极小图的固定整数倍。”不加假设”正是难点所在——高整数密度的点恰是 Allard 正则性理论失效之处；球面版本则通过造锥化归为欧氏情形。
本文证明：任意正维数与余维数的平稳积分 @@M@@m@@-varifold，其奇异集 (singular set) 的 @@M@@m@@ 维 Hausdorff 测度为零——几乎所有支撑点附近，varifold 恰是某个光滑嵌入极小子流形的固定正整数倍；单位球面上同样成立。
平稳积分 varifold (stationary integral varifold) 是带整数重数 (multiplicity) 的测度论极小曲面：一阶变分 (first variation) 为零，却允许自交、高重数与奇点。Allard 正则性理论能处理密度为一的点，但高整数密度的点无从下手——把 varifold 除以密度并不保持 Allard 定理所需要的几乎处处下密度界。Simon 2018 年讲义已把”广义平均曲率为零时奇异集是否 @@M@@\mathcal H^m@@-零测”列为公开问题，Brena、Decio、De Lellis 于 2025 年将其记录为 Conjecture 1.2，并提出”以极小图高阶逼近加唯一延拓”的路线图。此前最强的相关结论——Brena–De Lellis–Franceschini 的光滑可求长性 (smooth rectifiability)——只给出零测集之外的可数光滑覆盖，不断言几乎每点的整个邻域等于一张极小图；Hirsch–Spolaor 只在余维一、密度至多二的电流情形得到几乎处处正则。
定理。 对开集 @@M@@U\subset\mathbb{R}^{m+n}@@ 中任意平稳积分 @@M@@m@@-varifold（@@M@@m,n\ge1@@），
@@M@@D\mathcal H^m(\operatorname{Sing}V)=0 .@@
不需要稳定性、极小性、可定向性、密度上界或余维数假设。推论（球面）。 在完整单位球面 @@M@@S^{m+n}@@ 上对切向变分平稳的积分 varifold，其球面奇异集满足 @@M@@\mathcal H^m_{g_{\mathrm{round}}}(\operatorname{Sing}_S V)=0@@，同样不需要质量、密度或重数上界，也不需要可定向性或 mod-2 循性。
全文的引擎是带符号超余估计 (signed excess)。设 @@M@@\pi@@ 为到基平面的投影，@@M@@M=\pi_\#\mu-Q\,\mathrm dy@@ 是带符号质量差（而非绝对值超余），@@M@@D@@ 是倾斜投影测度。当总超余质量不超过 @@M@@d=e^{-T}@@ 时，定理给出 @@M@@\int w\,(2M-D)\le d\exp[-F_Q(T)]@@，其中 @@M@@F_Q(T)=\exp_{2Q}\!\big(\sqrt{\log_{2Q}T}\,\big)@@ 增长快于对数的任何幂：保留符号使误差被压到任何多项式改进都达不到的水平。其证明按参考整数 @@M@@Q@@ 归纳：先用热位势 (heat potential) 构造把”违反点”指派到中心与尺度的接触测度 (contact measure)；若 @@M@@Q@@ 个法向高度分成互相分离的组，则在小组球内得到整数计数更小的真实平稳限制，可调用归纳假设并在远离组处赢得少量倾斜；沿选定路径把阻尼带符号质量平均的上确界与”到至多 @@M@@Q@@ 个代表高度的截断平方距离矩”比较，代表点至多合并 @@M@@Q-1@@ 次，故某个高度区间内无合并，从而在许多尺度上产生定量法向通量；法向平稳性又阻止这些通量集中在超额密度过高的集合上；最后用二进打包 (packing) 论证证明承载这些尺度的集合小得无法支撑原始接触质量，闭合归纳。
正则性部分取 @@M@@\mu@@-几乎处处满足典型点假设（伸缩后收敛到 @@M@@Q@@ 重平面，且其它重数的质量相对密度趋于零）的点，先逐尺度用极小图拟合支撑：对平均高度作 Jacobi 型椭圆正则化并解非线性修正（承接 BDLF 的构造），相邻拟合在高度误差的二阶意义下相容；把每个点的首次失败尺度做成 Lipschitz”帐篷”函数 @@M@@t@@，粘合成单张 @@M@@C^J@@ 中心图 @@M@@S@@。关键结构事实是：一次失败会在每个固定内球中强制出现两个法向分离、且各自重数严格小于 @@M@@Q@@ 的投影 entry——这一步本身要用带符号估计加上一段有限半径的唯一延拓型频率论证。同时，多重数缺陷测度控制影响区域 @@M@@\{t>0\}@@ 的体积密度为 @@M@@o(r^m)@@，在影响区域之外支撑高度为零。
最后是向内引导：在中心上定义加权高度 @@M@@H@@、带符号质量 @@M@@A@@、频率 @@M@@P=A/H@@ 与倾斜量 @@M@@E,R@@；对薄外圈求解径向散度方程，以保持带符号比较中倾斜项的系数 @@M@@1@@，推出频率近单调与高度倍增；再沿一列频率受控的半径，用分离配置与高阶高度矩把失败区域的消失体积转化为消失投影质量，与高度下界矛盾。于是支撑局部落在 @@M@@S@@ 上，常返性 (constancy) 与椭圆正则性把它升级为常重数光滑极小图。球面推论用极坐标锥构造：球面 varifold 的锥是 @@M@@\mathbb{R}^{m+n+1}@@ 中的平稳 @@M@@(m+1)@@-varifold，其奇异集（除顶点）恰是球面奇异集的射线积，对锥套用主定理并作 Hausdorff 切片即得结论。
本文主结果暂无形式化证明。姊妹篇《A Codimension-One Bound for the Singular Set of a Stationary Integral Varifold》直接以本文的带符号超余定理与拟合、频率局部估计为输入，把”奇异集零测”强化为”维数至多 @@M@@m-1@@“，两篇合起来构成结果族 346 的完整图景。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：整篇证明里最关键、也最脆弱的一步在哪里？
（答：带符号超余估计（signed-statement 一节）。它用带符号质量差 M=π#µ−Q dy 代替绝对值超余，当总超余不超过 d=e^{−T} 时赢得 d·exp[−F_Q(T)] 的超多项式衰减。后续按参考整数 Q 的归纳、极小图拟合与中心图粘合全部吃这条估计；常数或指数出错则全文崩塌。）
问 2：为什么”平稳”这个假设不能去掉？
（答：法向平稳性在归纳中阻止法向通量集中在超额密度过高的集合上，这是打包论证（packing 节）闭合归纳的支点。去掉平稳性后一般 varifold 可以任意粗糙，结论本身也不成立。）
问 3：与 Brena–Decio–De Lellis 2025 年的路线图及 BDLF 光滑可求长性相比，真正的新意是什么？
（答：此前最强结论只给零测集之外的可数光滑覆盖；本文断言几乎每点的整个邻域就是固定整数倍的极小图——从”逐片覆盖”升级为”整邻域结构”，靠中心图（centering）与向内引导（inward）两节的帐篷函数粘合和频率近单调论证完成。）
问 4：高重数点为什么是传统方法的死穴，本文如何绕开？
（答：Allard 正则性要求密度趋于 1，而把 varifold 除以密度不保持几乎处处下密度界，高整数密度点无从下手。本文改为对参考整数 Q 归纳：若 Q 个法向高度分离成组，小组球内得到计数更小的平稳限制，直接调用归纳假设。）
问 5：这类 AI 生成的证明最可能在哪里出错？
（答：最危险的传播链是常数追踪：带符号估计的衰减率横跨 contact、excess、packing 三节，加上”代表点至多合并 Q−1 次”这类组合断言与高度矩的量纲匹配，任何一环算错都可能被下一节的不等式放大；这种超多项式链条无法靠数值抽查发现。）
问 6：球面推论为什么要造锥？
（答：球面上切向变分平稳的 varifold，其极坐标锥是 R^{m+n+1} 中的平稳 (m+1)-varifold，奇异集（除顶点外）恰是球面奇异集的射线积；对锥套用主定理再作 Hausdorff 切片即得球面结论。）
问 7：谁会用到这个结果？
（答：极小曲面、电流与平均曲率流方向的研究者：奇异集零测是正则性的基准底线，紧性与爆破分析直接受益；姊妹篇《A Codimension-One Bound…》更以本文的带符号估计为输入，把零测强化为维数至多 m−1。）
总评
这项工作把 Simon 列为公开问题、BDL 记为 Conjecture 1.2 的几乎处处正则性猜想在无附加假设下彻底解决，分量在”零假设+整邻域结论”的组合；最大风险集中于带符号超余链条的常数与归纳闭合，未经形式化，须以社区核验为准。