结果族 337：Sharp Cartan–Hadamard isoperimetry and rigidity · 学科：Differential geometry · 验证状态：暂无形式化证明，请以社区核验为准
把一根封闭的线圈按在一张永远向外弯的曲面上，问：最少要多大的一块膜才能罩住它？这篇论文证明：哪怕空间只有”距离”没有坐标，只要它不比欧氏空间更弯，罩住线圈的膜也有与欧氏空间完全一样的最优面积上限；而且膜不需要任何光滑性，空间本身也可以带奇点。
关键词卡片
看个具体例子
公式卡（圈维数 n = 2）：任何真 CAT(0) 空间中，长为 @@M@@L@@ 的圈都有填充膜
@@M@@D\mathbf{M}(S)\ \le\ \frac{L^{3/2}}{6\sqrt{\pi}}\,,@@
取 @@M@@L=1@@ 得面积 @@M@@\le 1/(6\sqrt\pi)\approx 0.094@@，且该系数已在欧氏空间达到、无法再改进；圈与膜都可带任意整数重数，环境维数也不受任何限制。由此直接推出维数 ≥ 3 的 Cartan–Hadamard 流形上的锐欧氏等周不等式。
为什么值得关心
在没有光滑结构的奇异空间里拿下欧氏最优常数，并独立推出高维 Cartan–Hadamard 等周猜想；姊妹篇用光滑方法覆盖任意 κ ≤ 0 与取等分类，本文则从奇异度量空间一侧逼近，两条独立路线殊途同归。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的图景是”把封闭线圈按在向外弯的曲面上，找一块最小的膜罩住它”。半数学地说：对象是一个只有距离、没有坐标的空间，它的三角形一律不比平面上的比较三角形更胖；”线圈”是空间里一个自身没有边界的高维封闭物件，”膜”是边界恰好是这个线圈的一块高维薄片，操作就是给膜的总尺寸找一个不依赖空间细节的上限。结论是：这个上限与平坦欧氏空间里的最优值一字不差。
第二级台阶
用本科术语精确化：测地距离空间若任何三角形两边距离都不超过其欧氏比较三角形，就叫 CAT(0) 空间，这是”曲率非正”的纯距离版；闭球皆紧则称为真（proper）。线圈的严格化身是 Ambrosio–Kirchheim 意义下的积分流 T，边界算子记 ∂，无边界（∂T = 0）者为积分圈；填充是满足 ∂S = T 的积分流 S，质量 M(·) 是流的高维”面积”。
第三级台阶
主定理（定理 1.1）说：真的 CAT(0) 空间中，每个 n ≥ 2 的紧支撑积分圈 T 都有紧支撑填充 S 满足 M(S) ≤ c_n·M(T)^{(n+1)/n}，常数 c_n = 1/((n+1)s_n^{1/n}) 与欧氏球面达到的最优值一致，环境维数与重数全不受限。真性保证极小化序列有极限可取，CAT(0) 三角比较则驱动把圈沿测地线向内推的变分；n ≥ 2 排除的是曲线圈的另一套理论。把边界电流当圈代入，即得维数 ≥ 3 的 Cartan–Hadamard 流形上的锐欧氏等周不等式（推论 1.2）。
论文证明：任意真 CAT(0) 空间中，每个紧支撑的积分 @@M@@n@@-圈（@@M@@n\ge2@@）都拥有满足锐欧氏质量界的紧支撑积分填充，@@M@@\mathbf M(S)\le\mathbf M(T)^{(n+1)/n}/\bigl((n+1)^{(n+1)/n}\omega_{n+1}^{1/n}\bigr)@@；由此得到维数 @@M@@\ge3@@ 的欧氏 Cartan–Hadamard 等周猜想。
欧氏等周不等式的流论版本问：一个”圈”（无边界的积分流，integral current）能否被一个填充（filling）以受控质量界定住？Almgren（1986）在欧氏空间中对任意维数、余维与整数重数证明了锐等周不等式。CAT(0) 空间是测地三角形距离不超过其欧氏比较三角形的测地度量空间，即”曲率非正”的度量推广；真（proper）指闭球皆紧。要在没有光滑结构的空间里谈论流，需要 Ambrosio–Kirchheim 的度量积分流理论（配合 Kirchheim 度量微分定理提供局部欧氏图表几何）。Wenger（2005）在完备 CAT(0) 空间中证明了具欧氏指数的等周不等式，但常数依赖圈的维数、并非最优；二维有 Reshetnyak 优超定理与 Schulze 的锐比较。能否在任意真 CAT(0) 空间中取到普适的锐欧氏常数，是 Gromov 填充几何纲领中的公开问题。由于完备单连通非正曲率流形正是 CAT(0) 空间，肯定回答直接给出这类流形上的锐欧氏等周不等式。
定理（锐积分填充）：@@M@@X@@ 为真 CAT(0) 空间，@@M@@n\ge2@@。每个紧支撑积分流 @@M@@T\in\mathbf I_n(X)@@ 若 @@M@@\partial T=0@@，则存在紧支撑 @@M@@S\in\mathbf I_{n+1}(X)@@ 使
@@M@@D\partial S=T,\qquad \mathbf M(S)\le c_n\,\mathbf M(T)^{(n+1)/n}=\frac{\mathbf M(T)^{(n+1)/n}}{(n+1)^{(n+1)/n}\omega_{n+1}^{1/n}}.@@
对 @@M@@X@@ 的维数与流的整数重数没有任何限制；系数最优，欧氏球面达到（如 @@M@@c_2=1/(6\sqrt\pi)@@，@@M@@c_3=(128\pi^2)^{-1/3}@@）。
推论（Cartan–Hadamard 等周）：维数 @@M@@d\ge3@@ 的 Cartan–Hadamard 流形上，每个有界光滑域满足 @@M@@\operatorname{area}(\partial\Omega)\ge d\omega_d^{1/d}\operatorname{vol}(\Omega)^{(d-1)/d}@@；相对紧有限周长集同样成立（以环境周长代替面积）。约化用到紧支撑最高维填充的唯一性；二维为经典情形，故对所有 @@M@@d\ge2@@ 成立。
证明对圈维数 @@M@@n@@ 归纳，二维直接奠基。先把紧支撑圈关进闭凸球，归结为紧 CAT(0) 空间 @@M@@Y@@；设锐界失效，取 @@M@@c>c_n@@，紧性与填充收敛给出最大化 @@M@@V(B)-c\mathbf M(B)^{(n+1)/n}@@ 的非零极值圈 @@M@@A@@，其中 @@M@@V@@ 是最小填充质量；再对度量作常值缩放，使其质量 @@M@@m=\mathbf M(A)<s_n@@。此后全部工作是推翻这个”小质量极值圈”。
第一步是径向变分：从固定中心 @@M@@y@@ 沿测地线把 @@M@@A@@ 向内推。CAT(0) 三角比较把变形控制为时间与图表变量的二次型，其行列式保留因子 @@M@@\sqrt{1-|Dr|^2}@@——在光滑欧氏模型中它正是径向单位方向的横向分量；论证全程不需要法丛。@@M@@n=2@@ 时，逆平方截断与欧氏下密度逼迫 @@M@@m\ge4\pi=s_2@@，与 @@M@@m<s_2@@ 矛盾，完成奠基。
@@M@@n>2@@ 时，归纳假设用来填充 @@M@@A@@ 的小限制（切片）的边界，将其替换为填充后得到几乎欧氏的小集合周长估计，经内蕴上面积公式（coarea）与重排化为一条临界 Sobolev 不等式，其锐系数即经典 Aubin–Talenti 常数，径向形式由 Cordero-Erausquin–Nazaret–Villani 的质量输运方法证明。接着在 @@M@@L^2(\mu)@@（@@M@@\mu=\|A\|@@ 为质量测度）中闭包图表梯度：先整体投影带权流、再在总变差意义下分离图表以获得紧性；几乎锐不等式加 Brézis–Lieb 分裂产出非负极小化子 @@M@@v@@（@@M@@\beta=1/(n-2)@@，@@M@@p=2n/(n-2)@@），并归一化使 @@M@@0<W:=\int v^p\,d\mu<s_n@@。
收官是弦论证：考察带权弦 @@M@@v(y)^\beta d(y,x)v(x)^\beta@@ 与概率测度 @@M@@d\nu=v^p\,d\mu/W@@。径向变分与极小化子方程控制弦分布的一个标量变换，欧氏切密度进而给出其对 @@M@@\nu@@-几乎处处中心的平方均值上界 @@M@@2(W/s_n)^{2/n}<2@@（复合测试在 @@M@@v=0@@ 处仍可微，即使 @@M@@\beta<1@@，不预设 @@M@@v^\beta@@ 的 Sobolev 正则性）。另一面，对有限测度 @@M@@v^{p+2\beta}\mu@@ 取重心，并用 Sturm 的 CAT(0) 方差不等式，同一平方弦按 @@M@@\nu@@ 平均后被顶到 @@M@@\ge2@@。于是 @@M@@2\le\int L_y\,d\nu(y)<2@@，矛盾完成归纳；填充由下确界的可达性给出，支撑自动紧，最后经紧化引理转移到一般真 CAT(0) 空间。
本文主结果暂无形式化证明。同族姊妹篇《Generalized Cartan–Hadamard isoperimetry and Euclidean equality rigidity》以受限轮廓加超曲面 Sobolev 不等式的光滑方法，独立证明了全维数、任意 @@M@@\kappa\le0@@ 的广义比较与欧氏取等刚性；本文则从奇异的度量空间一侧、以积分流归纳法达到欧氏结论（维数 @@M@@\ge3@@），两文方法独立而结论交叠，互为印证。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：归纳收官的弦论证为什么是全文最脆的一环？
答：反证的最后一击是把同一个带权弦平方的两个估计对撞：欧氏切密度与极小化子方程给出其对 ν-几乎处处中心的均值上界 2(W/s_n)^{2/n} < 2，而 Sturm 的 CAT(0) 方差不等式把按 ν 的平均顶到 ≥ 2。两个”2”都无余量，且下界依赖重心坐标的选取、上界依赖复合测试在 v = 0 处（β < 1 时）仍可微这一微妙点——任何一处符号或可微性论证有洞，矛盾即失效。
问 2：为什么要假设”真”（proper），完备不够吗？
答：证明第一步就把问题化到紧 CAT(0) 空间，并在锐界失效时用紧性与填充收敛取出最大化 V(B) − c·M(B)^{(n+1)/n} 的非零极值圈——极值圈的存在性直接吃闭球紧性。Wenger 在完备 CAT(0) 中只得到依赖维数的非锐常数；完备而非真的情形论文未讨论。
问 3：相对 Almgren 与 Wenger，真正的新意是什么？
答：Almgren 的锐等周不等式在欧氏空间；Wenger 在完备 CAT(0) 给出欧氏指数但常数依赖圈维数。本文首次在任意真 CAT(0) 空间、一切圈维数 n ≥ 2、任意整数重数与不受限的环境维数下取到普适锐欧氏系数（c₂ = 1/(6√π) 等），并把流方法推广到奇异空间，路线与姊妹篇的光滑方法独立。
问 4：为什么圈维数从 n = 2 起步，n = 1 呢？
答：n = 1 的”圈”是闭曲线，经典结果走别的路：Reshetnyak 优超给出参数化 Hausdorff 面积 ≤ L²/4π 的 Lipschitz 圆盘（Lytchak–Wenger 整理），但那是参数化面积而非积分流质量。本文将积分流奠基情形直接设在 n = 2（逆平方截断逼出 m ≥ 4π = s₂），积分 1-圈的锐填充论文未讨论。
问 5：这种”锐常数 + 奇异空间”的 AI 证明最可能错在哪？
| 答：三类高危点：其一，径向变分扫过质量的行列式因子 √(1− | Dr | ²) 在无法丛的奇异环境中推导，图表几何稍错即毁；其二，锐 Sobolev 常数由质量输运（Cordero-Erausquin–Nazaret–Villani）给出，重排与 coarea 的组合易藏常数误差；其三，图表梯度在 L²(μ) 中的闭包靠”先整体投影带权流、再总变差分离图表”获得紧性，这一步是奇异空间特有的技术发明。论文无形式化证明，三处均为核验焦点。 |
问 6：从填充到 Cartan–Hadamard 等周的约化为什么需要”最高维填充唯一性”？
答：推论 1.2 把光滑域的边界当边界电流，其填充的唯一性（紧支撑最高维填充由边界唯一决定）保证填充质量恰是所围体积，质量界遂翻译成 area(∂Ω) ≥ dω_d^{1/d}vol(Ω)^{(d−1)/d}；d = 2 是经典情形，故结论覆盖一切 d ≥ 2。论文未讨论积分流意义下的取等分类。
问 7：谁会用到它？
答：直接用户是填充几何与几何群论社区：Lang–Stadler–Urech、Peteranderl 的大质量线性/近线性填充界与本文的普适锐系数互补；对 Cartan–Hadamard 流形社区，它给出一条例外于光滑方法的奇异空间路线，与姊妹篇互相印证。
总评
在无光滑结构的空间里拿下欧氏最优常数是 Gromov 填充纲领的实质推进；最大风险在弦论证的零余量对撞与奇异环境中的图表紧性，值得逐行核验。