结果族 346：Sharp singular-set bounds for stationary integral varifolds · 学科：Differential geometry · 验证状态：暂无形式化证明，请以社区核验为准
把铁丝圈浸入肥皂水再拎起，膜会张成面积尽量小的形状，大部分平整光滑，接缝处却可能皱起或交叉。数学家把这种膜推广成”varifold”，允许叠加与奇点。本文证明：任何处于平衡的膜，其”坏点”集合必定很细——膜是 m 维，坏点至多 m−1 维。
关键词卡片
看个具体例子
空间中两张斜交平面：各自都是极小曲面，并起来（各带重数 1）仍是平稳 varifold；奇异集恰是那条交线。膜 2 维、交线 1 维，正好卡在定理的界 @@M@@m-1@@ 上——两张不同的 @@M@@m@@ 维平面最多交出 @@M@@m-1@@ 维，所以这个界无法再改进。若是三维膜（@@M@@m=3@@），定理说坏点至多铺成一张二维曲面；无论膜的层数多怪、自交多乱，都不会更粗。
为什么值得关心
这解决了 Brena–Decio–De Lellis 2025 年记录的欧氏奇异集猜想；此前所有相关结果都要附加极小性、稳定性等条件，本文一个都不需要。经典方法早已处理好不含平面切锥的坏点，真正的难关是多层平面型的奇点，本文为此建立了一整套全新的拟合与频率估计。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的肥皂膜现在可以说得更准确：我们面对的不是一张具体的膜，而是一种允许叠加、自交与褶皱的广义膜——同一个位置可以叠好几层，层数必须是正整数。所谓”平衡”，指对膜的任何一种局部推挤，面积的一阶变化都恰为零；”坏点”则是那些无论缩小到多小的邻域，膜都不呈现为”一片光滑薄膜乘上固定层数”的点。问题变成：平衡广义膜的坏点全体，作为点集能有多粗？
第二级台阶
用本科术语精确化：整数 @@M@@m@@-varifold 是支撑在可数 @@M@@m@@-可求长集 @@M@@E@@ 上、形如 @@M@@\mu=\theta\,\mathcal H^m\lfloor E@@ 的测度，密度 @@M@@\theta@@ 取正整数值；平稳指对每个紧支撑向量场 @@M@@X@@，一阶变分 @@M@@\int\mathrm{tr}(P_{T_xV}DX)\,d\mu(x)=0@@，其中 @@M@@T_xV@@ 是近似切平面、@@M@@P_{T_xV}@@ 是正交投影。正则点是某邻域内 @@M@@\mu@@ 恰为某个光滑嵌入极小子流形 @@M@@\Sigma@@ 的 @@M@@q@@ 倍（@@M@@q@@ 为正整数）的点，其余支撑点组成奇异集 @@M@@\mathrm{Sing}\,V@@；集合的粗细用 Hausdorff 维数 @@M@@\dim_{\mathcal H}@@ 度量。
第三级台阶
主定理的陈述出奇地短：在开集 @@M@@U\subset\mathbb R^{m+n}@@ 中（@@M@@m,n\ge1@@），任何平稳整数 @@M@@m@@-varifold 都满足 @@M@@\dim_{\mathcal H}\mathrm{Sing}\,V\le m-1@@。不设稳定性、极小性、可定向性、密度上界或余维数限制——每一个假设的缺席都在挡掉一类麻烦：没有极小性，”两张斜交平面之和”这种基本例子才被涵盖；界不能再小，正因为这个例子的交线恰是 @@M@@m-1@@ 维。导读里”坏点至多 @@M@@m-1@@ 维”的图景，在此成为对一切平衡广义膜无条件成立、且取到最优常数的定理。
本文证明：任意正维数与正余维数的平稳积分 @@M@@m@@-varifold，其奇异集 (singular set) 的 Hausdorff 维数 (Hausdorff dimension) 至多 @@M@@m-1@@，且该界无法改进——这解决了 Brena–Decio–De Lellis 记录的欧氏奇异集猜想。
平稳积分 varifold (stationary integral varifold) 是极小子流形的测度论推广：面积泛函的一阶变分 (first variation) 在每个紧支撑形变下为零，同时允许整数重数 (multiplicity)、自交与奇点。经典理论早已给出”分层”结论：不含平面切锥 (tangent cone) 的奇异点集维数不超过 @@M@@m-1@@（Federer 的维数约化；Naber–Valtorta 进一步证明这些经典分层可求长），真正的困难在于以高重数平面为切锥的奇异点——Allard 的重数一正则性定理在那里完全失效。对面积极小电流 (area-minimizing current)，Almgren 与 De Lellis–Spadaro 的理论给出更强的 @@M@@m-2@@ 界，但极小性假设排除了”两个平面相交”这类最基本的平稳例子，其方法不能照搬。Brena、Decio 与 De Lellis 于 2025 年将欧氏维数猜想记录为 Conjecture 1.1，本文在无任何附加假设的一般情形证明它。
定理（主定理）。 设 @@M@@V@@ 是开集 @@M@@U\subset\mathbb{R}^{m+n}@@ 中的平稳积分 @@M@@m@@-varifold，@@M@@m,n\ge1@@，则
@@M@@D\dim_{\mathcal H}\operatorname{Sing} V\le m-1 .@@
其中奇异点指支撑中这样的点：其任何邻域内，varifold 都不等于”某个光滑嵌入极小 @@M@@m@@-子流形的固定正整数倍”。定理不要求稳定性、极小性、可定向性、密度上界或余维数假设。界是 sharp 的：取两个相交于 @@M@@(m-1)@@-平面的不同 @@M@@m@@-平面（各带重数一），其和仍是平稳的，奇异集恰为交线，维数恰为 @@M@@m-1@@。
证明用反证法：设 @@M@@\dim_{\mathcal H}\operatorname{Sing} V>m-1@@，取 @@M@@s@@ 严格介于两者之间。第一步（平坦尺度）只用单调性公式 (monotonicity formula) 与 Hausdorff 测度论：由 Frostman 型论证取出紧集 @@M@@K@@（满足 @@M@@\mathcal H^s(K\cap\mathbf B_r)\le Cr^s@@），在其一个正上密度点作切锥极限；一个”关于两个中心锥必导致平移不变”的几何论证表明该切锥必是 @@M@@Q@@ 重平面，同时在尺度 @@M@@L_i\downarrow0@@ 保留一批中心测度 @@M@@\sigma_i@@——支撑在密度恰为 @@M@@Q@@ 的奇异点上，满足 @@M@@\sigma_i(\mathbf B_u)\le Cu^s@@，其极限不能落在任何 @@M@@(m-1)@@-维平面内。真正的挑战在于让这些中心在进一步的高度归一化极限中存活。
第二步（拟合与频率）：尺度 @@M@@L_i@@ 只按几何收敛选出，并非按高度准则挑选。作者用姊妹篇 AE 的极小拟合构造，在每个”好起点”以局部极小图拟合支撑并粘合成参考图，在其上定义加权平方高度 @@M@@H@@ 与带符号质量 @@M@@A@@，频率 @@M@@P=A/H@@ 满足近似单调性 @@M@@\dot P\gtrsim(n_*-1)(n_*-2P)@@；再通过”重启”构造让拟合区间覆盖所有充分晚的 @@M@@L_i@@，从而在这些尺度上得到一致的高度倍增比较。
第三步（中心化爆破）把高度除以 @@M@@a_i=\sqrt{H(r_i)}/r_i\downarrow0@@：归一化二阶矩非零、一阶矩趋于零、参考图的平均曲率及其一阶法向导数为 @@M@@o(a_i)@@。这保证减去参考图后，极限既不被整体抹去、也不残留任意平移。
第四步把一阶变分与带符号超余 (signed excess) 传到极限平面，得到四个线性化测度：高度测度 @@M@@\nu@@、倾斜测度 @@M@@\beta@@、混合通量 @@M@@f@@ 与带符号质量测度 @@M@@\mathfrak m@@，满足分块半正定、恒等式 @@M@@\nabla\nu=2f@@、@@M@@\operatorname{div}f=\operatorname{tr}\beta@@，以及单向不等式 @@M@@2\mathfrak m\le\operatorname{tr}\beta@@——后者正是 AE 带符号超余定理的极限形式。这一测度表述无需假设极限”叶层”可整体标号或表成单值函数。
第五步（密度中心存活）：普通径向比较在弯曲参考图上精度不足，作者改用按逆参考体积密度加权的测地径向场，把曲率误差对 @@M@@\sigma_i@@ 逐半径向下平均，关键积分 @@M@@\int_0^l t^{s-m}\,\mathrm dt<\infty@@ 恰好在 @@M@@s>m-1@@ 时收敛，于是在每个极限中心得到密度比较 @@M@@2l^2\int\phi_{x,l}\,\mathrm d\mathfrak m\ge\int\psi_{x,l}\,\mathrm d\nu@@。
最后是抽象的维数约化 (dimension reduction) 命题：上述比较使频率在每个保留中心处单调且极限 @@M@@\ge1/2@@；若中心集维数仍大于 @@M@@m-1@@，再作第二次爆破，使频率在张成 @@M@@\mathbb{R}^m@@ 的中心集上恒等于 @@M@@P_0\ge1/2@@；此时半正定矩阵测度中的等号迫使高度测度 @@M@@\nu\equiv0@@，与归一化 @@M@@\nu\ne0@@ 矛盾，定理得证。
本文主结果尚无形式化证明。证明的两个关键输入——带符号超余定理与拟合、频率局部估计——直接取自同族姊妹篇《Almost-everywhere regularity of stationary integral varifolds》（该文证得奇异集的 @@M@@m@@ 维测度为零）；本文进一步把零测度强化为维数不超过 @@M@@m-1@@，而零测度本身并不蕴含维数界。按 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。
问 1：证明中最关键、也最脆弱的一步在哪里？
（答：第五阶段的”密度中心存活”。反证取 @@M@@s>m-1@@ 后，中心测度 @@M@@\sigma_i@@ 必须在高度除以 @@M@@a_i\downarrow0@@ 的归一化极限中仍然可见；普通径向比较在弯曲参考图上精度不够，作者改用按逆参考体积密度加权的测地径向场，把曲率误差逐半径向下平均，收敛性恰好取决于 @@M@@\int_0^l t^{s-m}\,dt<\infty@@，即 @@M@@s>m-1@@。指数窗口只比界宽一线，常数记账稍有闪失整个反证就失效；最后的抽象维数约化（第二次爆破使频率恒等于 @@M@@P_0\ge1/2@@，半正定等号迫使 @@M@@\nu\equiv0@@）同样环环相扣。）
问 2：为什么定在欧氏环境？非欧背景下会怎样？
（答：论文在引言明确区分：De Lellis–Hirsch–Lihn–Spolaor 构造了光滑非欧度量下带平面切锥、局部拓扑无穷的平稳 varifold，这些例子不与欧氏维数界矛盾，但也说明单调性公式与切锥理论这些欧氏工具不可直接搬走。欧氏假设挡住的是”度量本身可以疯狂弯曲”这重麻烦；论文未讨论黎曼情形的任何推广。）
问 3：与姊妹篇 AE 相比，真正的新意是什么？
（答：AE 证得 @@M@@\mathcal H^m(\mathrm{Sing}\,V)=0@@，但零测度完全不蕴含维数不超过 @@M@@m-1@@——零测集仍可以更”粗”。本文的增量是三件新组件：覆盖指定平坦尺度（含过渡区）的拟合区间构造、平均化弯曲径向比较、测度取值的最终维数约化；AE 的带符号超余定理与拟合频率估计只作输入，其几乎处处正则性结论本身并不是输入。）
问 4：为什么不能像面积极小电流那样得到 @@M@@m-2@@ 界？
（答：Almgren 与 De Lellis–Spadaro 的 @@M@@m-2@@ 界依赖极小性，而极小性排除了两个 @@M@@m@@-平面斜交之和这一最简单的平稳例子——它的奇异集恰是 @@M@@m-1@@ 维交线。所以 @@M@@m-1@@ 在无极小性假设下是最优的；论文的贡献正是在”只有平稳”的弱条件下把这做到最优，而非追平 @@M@@m-2@@。）
问 5：这种证明最可能出错的模式是什么？
（答：最危险的是对未核验姊妹篇 AE 的依赖：带符号超余定理与拟合频率估计若有误，本文无自足修复手段。其次是多阶段常数传递：拟合区间需覆盖所有充分晚的 @@M@@L_i@@ 及其过渡区，”重启”构造中频率近似单调 @@M@@\dot P\gtrsim(n_*-1)(n_*-2P)@@ 的常数是否一致；以及线性化测度恒等式 @@M@@\nabla\nu=2f@@、@@M@@\mathrm{div}\,f=\mathrm{tr}\,\beta@@、单向不等式 @@M@@2\mathfrak m\le\mathrm{tr}\,\beta@@ 在无整体叶层标号假设下的推导细节。）
问 6：谁会用这个结果？
（答：极小曲面与几何测度论正则性方向的研究者是直接用户：它把 Naber–Valtouri 类分层结论补齐到高重数平面切锥的奇异点，为 Brakke 平均曲率流、Varifold 的正则性理论提供无条件维数基准；”密度 @@M@@m@@ 维测度为零 + 维数 @@M@@\le m-1@@“也是后续做 @@M@@\mathcal H^{m-1}@@-可求长性或定量估计的人的起点。论文未展开这些后续。）
总评
若 AE 与本文双双经核验，这将是 Brena–Decio–De Lellis 欧氏奇异集猜想的完整解决，把经典分层理论遗留的高重数平面奇点一举纳入；最大风险是结论压在一篇同样未经形式化的姊妹篇的输入之上，链条双倍长、单点失误即全盘皆输。