结果族 337：Sharp Cartan–Hadamard isoperimetry and rigidity · 学科：Differential geometry · 验证状态：暂无形式化证明，请以社区核验为准
在平地上围一块地，最省篱笆的形状是圆；如果地面本身向四面八方张开（负曲率），围同样面积就得花更多篱笆。这篇论文证明：在任何张开且没有环路阻挡的空间里，最省篱笆的仍是模型空间中同面积的圆球；而在平地（欧氏情形）想真的只花”圆”这一份钱，地皮必须恰好是一块标准圆（球）。
关键词卡片
看个具体例子
公式卡（n = 2，曲率 −1 的双曲平面）：半径 1 的双曲圆周长 @@M@@2\pi\sinh 1\approx 7.38@@、面积 @@M@@2\pi(\cosh 1-1)\approx 3.41@@。
数字版定理：任何面积为 @@M@@3.41@@ 的区域，周长必 @@M@@\ge 7.38@@；欧氏情形取等 @@M@@\iff@@ 区域带诱导度量等距于标准欧氏球。高维同理：把”双曲圆”换成曲率 @@M@@\kappa@@ 的模型空间中等体积的球即可，无界但体积有限的区域也在结论覆盖之内。
为什么值得关心
从 Weil 1926 年的二维情形起悬置近百年的高维推广，在所有维数、任意 κ ≤ 0 一次性解决，并完整分类了取等情形；推论还把 Faber–Krahn 特征值比较与 Saint–Venant 弛豫时间比较一并推广到模型球。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的”围地篱笆”图景可以这样说：对象是一块位于”处处向外张开、且没有环路”的空间中的地皮；要做的操作是量它的边界总量，然后与一个形状最规整的参照空间比较——在那里，围同样多体积的地，最省边界的形状是球。负曲率让空间张开，直觉是篱笆只会更费；定理要证的正是这份直觉在一切维数、任意张开程度下都成立。
第二级台阶
用本科术语精确化：截面曲率 Sec ≤ κ ≤ 0 说空间沿每个二维方向至多像曲率 κ 的模型空间那样弯；加上完备与单连通，就是 Cartan–Hadamard 流形 (M, g)。地皮换成可测集 E，体积记 Vol_g(E)；边界的严格度量是环境周长 P_g(E)——指示函数的变差测度，光滑区域上就是边界面积。参照物是曲率 κ 模型空间的等周轮廓 I_b(V)：体积为 V 的测地球的面积函数。
第三级台阶
主定理（论文定理 1.1）陈述：n ≥ 2、κ ≤ 0 时，凡完备单连通且 Sec ≤ κ 者中，每个体积、周长皆有限的可测集 E 都满足 P_g(E) ≥ I_{√−κ}(Vol_g(E))。单连通挡住了”绕环面一圈白占边界”的反例，截面曲率上界提供比较几何的全部输入，有限体积/周长则是使陈述有意义的最弱条件；结论对无界的有限体积集也成立。欧氏情形（κ = 0）另有一条刚性定理（定理 1.2）：取等当且仅当该区域带诱导度量等距于标准欧氏球——省到极致，地皮本身必须是真的球。
论文在所有维数证明了广义 Cartan–Hadamard 等周猜想：截面曲率不超过 @@M@@\kappa\le 0@@ 的完备单连通流形中，任何有限体积、有限周长的集合，其周长不小于曲率 @@M@@\kappa@@ 模型空间中等体积球的面积；欧氏情形取等当且仅当该区域（带诱导度量）等距于标准欧氏球。
Cartan–Hadamard 流形（Cartan–Hadamard manifold）指截面曲率（sectional curvature）非正的完备单连通黎曼流形。负曲率使空间”张开”，直观上围住同样体积应耗费更多边界面积，由此产生猜想：若 @@M@@\mathrm{Sec}\le\kappa\le 0@@，则任何区域的边界面积不小于曲率 @@M@@\kappa@@ 的单连通空间形式（模型空间）中等体积测地球的面积。二维情形由 Weil（1926）与 Beckenbach–Radó 的次调和函数方法解决，Bol（1941）处理了非零模型曲率；Kleiner（1992）证明三维（含取等），Croke（1984）证明四维欧氏比较。更高维数长期卡住：任意区域边界的平均曲率（mean curvature）完全不可控，仅有的测地球体积比较无法比较形状各异的区域。近年推进仍带限制——Chen–Ghomi–Wang 做到 3–9 维，Wheeler 需要负曲率尺度受控变差，Agnoletto 等人只得小体积情形——全维数、任意 @@M@@\kappa@@ 的无限制结论此前并未成立。
主定理：设 @@M@@n\ge2@@、@@M@@\kappa\le0@@，@@M@@(M^n,g)@@ 完备、单连通、光滑且 @@M@@\mathrm{Sec}_g\le\kappa@@。则每个体积与周长都有限的可测集 @@M@@E\subset M@@ 满足
@@M@@DP_g(E)\ge \mathcal I_{\sqrt{-\kappa}}\bigl(\operatorname{Vol}_g(E)\bigr),@@
其中周长取环境周长（ambient perimeter）@@M@@P_g(E)=|D\chi_E|_g(M)@@，即指示函数的变差测度；@@M@@\mathcal I_b@@ 是曲率 @@M@@-b^2@@ 模型空间的等周轮廓（isoperimetric profile），即等体积球的面积函数。@@M@@\kappa=0@@ 时即经典形式 @@M@@P_g(E)\ge n\omega_n^{1/n}\operatorname{Vol}_g(E)^{(n-1)/n}@@。不等式对无界的有限体积集也成立，比较的是全部周长（含与证明中限制球的接触部分）；模型空间中的球取等。
欧氏取等刚性：@@M@@\kappa=0@@ 时，有界、正有限体积、有限周长的集合取等，当且仅当它在零测集意义下等于一个开区域，且该区域带诱导黎曼度量等距于标准欧氏球。刚性确定了整个取等区域上的度量，但不要求区域外的流形平坦。
推论：对 @@M@@1<p<\infty@@，有模型球 Faber–Krahn 与 Saint–Venant 比较 @@M@@\lambda_{1,p}(D)\ge\lambda_{1,p}(B_\kappa(|D|))@@、@@M@@T_p(D)\le T_p(B_\kappa(|D|))@@，由等周输入配合 Nobili–Violo 的等测径向重排得到。
全文的解析引擎是一条超曲面上的临界 Sobolev 不等式：在 @@M@@\mathrm{Sec}\le-b^2@@（@@M@@b\in\{0,1\}@@）的流形中，对 @@M@@m=n-1\ge3@@ 的局部 @@M@@C^{1,1}@@ 浸入超曲面 @@M@@\Sigma@@，
@@M@@D\int_\Sigma\bigl(c|\nabla_\Sigma v|^2+m(h^2-b^2)v^2\bigr)\,d\sigma\ge Y_m\Bigl(\int_\Sigma|v|^q\,d\sigma\Bigr)^{2/q},@@
其中 @@M@@h@@ 为归一化平均曲率，@@M@@Y_m=ms_m^{2/m}@@ 正是 Aubin–Talenti 的锐欧氏临界 Sobolev 常数。证明先构造取值于单位球面、带正权重的径向映射，其对数 Hessian 与映射微分满足相容的曲率比较界，代入超曲面能量后配成完全平方；若临界商低于欧氏阈值，局部紧性加 Brézis–Lieb 分裂会产生一个 Dirichlet 极小化子，以球面坐标作变分（与 Li–Yau 共形体积论证同源的中心与坐标变分）逼出一阶恒等式，其带权零延拓梯度为零而质量非零，与 Dirichlet 条件矛盾。
有了这条不等式，再正面处理”任意边界平均曲率不可控”的障碍：采用 Kleiner 的受限轮廓（confined profile）策略，在大测地球内固定体积极小化周长，并沿用 Ghomi–Spruck 的正则性框架——极小边界分解为正则部分 @@M@@\Sigma@@ 与奇异集 @@M@@S@@，全部周长落在 @@M@@\Sigma@@ 上；自由变分识别出 @@M@@h=I'(v)/m@@，内变分控制与限制球接触处的曲率。为让常数测试函数合法（@@M@@\Sigma@@ 可能不紧），先用”删除小球、再以固定自由补块上的流修补体积”的论证得到奇异点附近的面积增长 @@M@@\sigma(\Sigma\cap B_r)\le Cr^m@@，再利用奇异维数不超过 @@M@@n-8@@（故 @@M@@\mathcal H^{m-2}(S)=0@@）构造 Dirichlet 能量趋零的截断函数。常数测试代入后得到一条标量微分不等式
@@M@@DI'(v)\ge m\sqrt{b^2+\bigl(s_m/I(v)\bigr)^{2/m}},@@
其积分恰好就是模型比较：直接验证逆轮廓函数 @@M@@\mathcal W_b@@ 的导数与右端互为倒数，用链式法则积分即得。二维、三维由经典输入补足，配合严格 BV 逼近、有限体积截断与度量缩放处理任意 @@M@@\kappa<0@@。
刚性部分先用已证比较把有界取等集化为局部几乎极小化子，经 Antonelli–Pasqualetto–Pozzetta 正则性与差商论证得到 @@M@@C^{1,1}@@ 边界，各分量带同一常数平均曲率。@@M@@m\ge3@@ 时取等使常数测试成为锐谱间隙 @@M@@\int|\nabla_\Sigma\phi|^2\ge\frac{m}{R^2}\int\phi^2@@；在平方距离重心 @@M@@p@@ 处取对数坐标（@@M@@d\log_p@@ 压缩）得上二阶矩估计，径向通量恒等式给下二阶矩估计，两界相夹强迫外法向径向且半径恒定，边界落入测地球面；二维改用周期 Wirtinger 不等式，三维改用穿孔径向通量，得到切空间中球心可能偏心的球面。最后由 BV 相位常值性识别出内部区域，指数映射的拉回度量处处支配欧氏度量而体积相等，迫使体积密度恒为 1，于是拉回度量本身是欧氏的——整个取等区域等距于欧氏球。
本文主结果暂无形式化证明。同族姊妹篇《Sharp integral fillings in CAT(0) spaces》以积分流方法独立推出维数 @@M@@\ge3@@ 的欧氏 Cartan–Hadamard 猜想，与本文的光滑方法结论交叠、相互印证；本文则进一步覆盖任意 @@M@@\kappa\le0@@、无界有限体积集与完整的取等分类。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：全文最要害的分析输入是什么，为什么它可能脆？
| 答：是超曲面上的锐临界 Sobolev 不等式（引言式 (1.9)）：对 m = n−1 ≥ 3 的局部 C^{1,1} 浸入超曲面 Σ，∫(c | ∇v | ² + m(h²−b²)v²) ≥ Y_m(∫ | v | ^q)^{2/q}，常数 Y_m = m·s_m^{2/m} 取 Aubin–Talenti 的锐欧氏值。它是整条比较的引擎，且”锐”字意味着没有任何余量可藏错误：径向映射的加权配平方、球面坐标变分逼出的一阶恒等式，任何符号或常数偏差都会破坏反证。 |
问 2：任意边界的平均曲率不可控，论文怎么绕开？
答：用 Kleiner 的受限轮廓策略：在大测地球内固定体积极小化周长，配 Ghomi–Spruck 正则性（第 4–5 节）。自由变分把边界曲率识别为轮廓导数 h = I′(v)/m，内变分控制与限制球接触处的曲率；先用”删小球再修补体积”证奇异点附近面积增长 σ(Σ∩B_r) ≤ Cr^m，造出 Dirichlet 能量趋零的截断，才让常数测试函数合法，最后积出微分不等式 I′(v) ≥ m√(b² + (s_m/I)^{2/m})，其积分恰为模型比较。
问 3：单连通假设能去掉吗？
答：论文未讨论去掉后的情形，但它是必要的：平坦环面上取 E 为整个空间，周长为零而体积非零，欧氏不等式立即失效。单连通配合非正曲率给出整体微分同胚的指数映射，是所有比较函数（距离、对数坐标）可用的前提。
问 4：欧氏取等的刚性结论为何只约束区域本身？
答：定理 1.2 只断言取等集在零测集意义下等于一个开区域，其诱导度量等距于欧氏球；区域之外的流形无需平坦。证明（第 8 节）先用已证比较把取等集化为局部几乎极小化子得 C^{1,1} 边界，再用锐谱间隙与径向通量恒等式把边界压到测地球面上，最后由指数映射拉回度量支配欧氏度量且体积相等，逼出密度恒为 1。
问 5：与 Chen–Ghomi–Wang 等新近工作相比，真正新意在哪？
答：Chen–Ghomi–Wang 只到 3–9 维欧氏比较，Wheeler 需负曲率尺度受控变差，Agnoletto 等只得小体积情形；本文给出全维数、任意 κ ≤ 0、含无界有限体积集与完整取等分类的无限制结论，并把二维、三维（Weil–Bol、Kleiner）作为经典输入统一进来（第 6 节）。
问 6：这种锐常数证明最可能以什么方式出错？
答：典型风险藏在”锐”处：球面坐标中心与尺度的选取要求每个坐标对给定测度均值为零（第 2 节），Brézis–Lieb 分裂产生的 Dirichlet 极小化子若质量论证有洞，反证即失效；刚性部分对数坐标的压缩性与径向通量的下二阶矩估计，也是符号一旦弄反就悄然出错的部位。论文暂无形式化证明，这些是核验重点。
问 7：下游谁会用到？
答：推论 1.3 立即给出模型球 Faber–Krahn 与 Saint–Venant 比较（配合 Nobili–Violo 重排）；姊妹篇 CAT(0) 积分填充独立给出 n ≥ 3 的欧氏结论，两条路线相互印证，也供等周型不等式与谱几何社区直接引用。
总评
这是悬置近百年的 Cartan–Hadamard 等周猜想的完整解答，分量极重；最大风险集中于锐 Sobolev 常数与刚性通量论证两处零余量推理，值得全社区逐行核验。