结果族 349：The Solomon–Yau least-volume conjecture · 学科：Differential geometry · 验证状态：暂无形式化证明，请以社区核验为准
在球形肥皂泡里绷一层膜，它会自动收缩到面积最小的形状，数学家称之为极小超曲面。最小的膜是”赤道”；那么紧挨其上的”第二名”是谁？这篇论文给出终审判决：是一族叫 Clifford 积的乘积曲面，并且证明任何非赤道的膜都绝不比它小。
关键词卡片
看个具体例子
在三维球面里（m=2），Clifford 积就是由两个半径均为 1/√2 的圆相乘得到的 Clifford 环面，体积 2π²；而赤道（一张二维球面）体积 4π。定理给出完整排行榜：4π < 2π² ≤ 其余一切非赤道极小膜。在更高维 m≥3，第二能级由最小的 Clifford 积 S^k(√(k/m))×S^{m−k}(√((m−k)/m)) 接棒占据。证明还顺手得到两件副产品：曲率的积分不等式，以及”指标刚性”——比 Clifford 积更小的膜必有多余的压低方向，这正是变分论证的引擎。
为什么值得关心
这正面解决了丘成桐 1994 年问题集第 31 问（今称 Solomon–Yau 猜想），让悬置三十年的”第二体积能级”问题落幕。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把极小超曲面想成球形肥皂泡里自动绷紧的膜。换成半数学语言：对象是一个自身没有边界的 @@M@@m@@ 维封闭曲面，安放在维数高一维的单位球壳之内；操作是测量它的 @@M@@m@@ 维体积。”绷紧”指膜上每点的平均弯曲为零，处于变分平衡；顺着球面弯曲的赤道膜体积最小，紧随其后的是两个小球面相乘得到的 Clifford 积。悬置的问题正是：这份体积排行榜的第二名，是否真的由 Clifford 积占据？
第二级台阶
用本科术语精确化：极小浸入 @@M@@F:M\to S^{m+1}@@ 是在拉回度量 @@M@@F^*g@@ 下平均曲率处处为零的光滑安放，体积 @@M@@\Vol(M,F^*g)@@ 按定义域计数——同一处盖几层就记几份。全测地（totally geodesic）指第二基本形式 @@M@@A@@ 恒为零，像恰为赤道球 @@M@@S^m@@。Clifford 积 @@M@@\mathcal C_{k,m-k}=S^k(\sqrt{k/m})\times S^{m-k}(\sqrt{(m-k)/m})@@ 的两因子主曲率一正一负、加权相消，故极小；记其最小体积为 @@M@@a_m@@。Morse 指标数的是还能让面积下降的变分方向个数。
第三级台阶
定理在这样的语境下陈述：@@M@@m\ge2@@，@@M@@M@@ 闭连通，@@M@@F@@ 极小浸入且像不全测地，则 @@M@@\Vol(M,F^*g)\ge a_m@@。封闭性防止膜沿边界滑走；”不全测地”排除体积更小的赤道；按定义域计体积使覆盖重数无处逃逸。证明途经两块踏脚石：Perdomo 型积分不等式 @@M@@\int_\Sigma|A|^2\,dV\ge m|\Sigma|@@ 与指标刚性 @@M@@\ind\ge m+3@@（等号当且仅当像为 Clifford 积）——比第二名更小的反例必有多余的降面积方向，供洛伦兹距离检测族压低后，经极小极大与锥维数归纳逼出矛盾。
证明了 Solomon–Yau 最小体积猜想：单位球面 @@M@@S^{m+1}@@（@@M@@m\ge2@@）中任何非全测地（non-totally-geodesic）的闭连通极小浸入超曲面，其体积（按定义域计数、含覆盖重数）不小于最小极小 Clifford 积的体积 @@M@@a_m@@——Clifford 积确是赤道之上的第一个体积能级。
单位球面中体积最小的闭极小超曲面（minimal hypersurface）是全测地（totally geodesic）的赤道，那么赤道之上的下一个体积能级由谁占据？天然候选是极小 Clifford 积 @@M@@\mathcal C_{k,m-k}=S^k(\sqrt{k/m})\times S^{m-k}(\sqrt{(m-k)/m})\subset S^{m+1}@@：两因子的主曲率符号相反、绝对值成比例，加权平均恰好抵消，因而极小。这一”第二体积能级”问题列于丘成桐 1994 年问题集（Problem 31），现代表述即 Ge–Li 2021 年所称的 Solomon–Yau 猜想。二维情形 @@M@@a_2=2\pi^2@@（Clifford 环面）已由 Marques–Neves 2014 年的 Willmore 定理解决；高维却长期受阻：极小性本身不控制拓扑、曲率与奇异极限，普通紧性会产生带奇点的 varifold 极限，而 Cheng–Li–Yau 的热核比较与 Ge–Li 的最新嵌入界都未达到 Clifford 阈值。
定理（Theorem 1.1）：设 @@M@@m\ge2@@，@@M@@M^m@@ 为闭连通光滑流形，@@M@@F:M\to S^{m+1}@@ 是到单位球面的光滑极小浸入。若 @@M@@F(M)@@ 不全测地，则 @@M@@\Vol(M,F^*g_{\rm round})\ge a_m:=\min_{1\le k<m}\Vol_m(\mathcal C_{k,m-k})@@。体积在定义域上度量，有限覆盖的层数被计入。下界由取到最小值的 Clifford 积实现，故 @@M@@a_m@@ 是赤道（体积 @@M@@\sigma_m=|S^m|@@）之上确切的下一能级。证明途中还独立得到两项副产品：其一是 Perdomo 平均曲率猜想的不等式部分 @@M@@\int_\Sigma|A|^2\,dV\ge m\,\Vol_m(\Sigma)@@，其中 @@M@@A@@ 为形状算子（shape operator）；其二是指标刚性：此类超曲面的 Morse 指数（index）@@M@@\ind\ge m+3@@，且等号成立当且仅当像为 Clifford 积。于是体积小于 @@M@@a_m@@ 的反例必有指标 @@M@@>m+3@@，多出一个使面积下降的方向——这正是后续极小极大（min–max）论证的引擎。
全文按”归约—先验估计—变分族—紧性归纳”四步推进。
先归约到嵌入情形。把极小浸入锥化为欧氏空间中的平稳整 varifold，单调性公式给出：若某像点有 @@M@@q@@ 个原像，则体积 @@M@@\ge q\sigma_m@@；又因比值 @@M@@\vartheta_m=a_m/\sigma_m@@ 随 @@M@@m@@ 严格递减，有 @@M@@a_m<2\sigma_m@@，故任何反例必是嵌入超曲面 @@M@@\Sigma@@。嵌入性继而给出两侧性、解析性与”满性”（位置向量张满 @@M@@\mathbb R^{m+2}@@）。
再建立两件先验事实。其一，对两点商 @@M@@\mu(x)=\sup_{y\ne x}|\langle N(x),y\rangle|/(1-\langle x,y\rangle)@@ 的光滑上试验函数证明微分不等式 @@M@@\Delta\log\phi\ge m-P@@（@@M@@P=|A|^2@@），其中基于反射的计算须同时处理对角接触与重合主曲率；若 @@M@@\int P<m\Vol@@，用 Poisson 方程构造上试验函数即得矛盾，此即 Perdomo 不等式。其二，@@M@@m+2@@ 个法向坐标函数是 Jacobi 算子 @@M@@L=\Delta+m+P@@ 的独立特征函数，故 @@M@@\ind\ge m+3@@；等号情形经 Li–Yau 共形重心平衡与逐点谱等式逼出 @@M@@P\equiv m@@、@@M@@\nabla A=0@@，Gauss 方程随即把像分类为 Clifford 积。
然后构造洛伦兹距离族。取 @@M@@\Sigma@@ 的欧氏锥的带号距离函数，视其图像为带一个时间坐标的空间中的图；用保持 @@M@@|z|^2-h^2@@ 的 Lorentz boost 作用后与单位球面相交，得到水平集族。最近点接触处的面积雅可比为 @@M@@|\det(rI-hA)|\le r^m@@（由 @@M@@\tr A=0@@ 与算术–几何均值不等式），最近点不唯一亦无妨。参数经紧化成为 @@M@@\mathbb{RP}^{m+3}@@ 上的检测族（detecting family）：拉回的上同调类满足 @@M@@(\Phi^*\lambda)^{m+3}\ne0@@，中心参数对应 @@M@@\Sigma@@ 本身且是唯一面积最大点。指标 @@M@@>m+3@@ 提供的额外负方向把族在中心邻域内整体压低，得 @@M@@\sup\mathbf M<|\Sigma|@@，同时保持检测性与质量不集中。
最后是极小极大与锥归纳。检测性迫使族中出现体积为半球、质心为零的区域边界；球面等周不等式（半球因质心非零取不到等号）给出一致下阈 @@M@@\gamma_m>\sigma_m@@，Almgren–Pitts 理论（Marques–Neves 表述）随之产出质量落在 @@M@@[\gamma_m,\sup\mathbf M]@@ 的平稳整 varifold。奇点靠对 @@M@@m@@ 的归纳消除：密度低于 @@M@@\vartheta_m@@ 的平稳整锥在锥维数 @@M@@\le m@@ 时是重数一超平面，在锥维数 @@M@@m+1@@ 时除顶点外光滑、其链是光滑连通极小超曲面——机制是切锥的”径向分裂”（radial splitting）：非零点的切锥分裂出一条直线，把分类归约到更低锥维数，而无须对链动用未知的 @@M@@m@@ 维体积定理。于是反例类面积的下确界 @@M@@H\in[\gamma_m,a_m)@@ 被光滑连通、重数一的 @@M@@\Sigma_*@@ 实现；其族被压低后再经极小极大给出质量 @@M@@\in[\gamma_m,H)@@ 的光滑极小超曲面——比 @@M@@\Sigma_*@@ 更小的反例，矛盾。归纳从 @@M@@m=2@@ 起步，无需低维体积假设。
本文是结果族 349 的核心论文，本批族内仅此一篇：它把 Perdomo 平均曲率不等式、指标刚性、洛伦兹检测族的极小极大理论与低密度锥正则性四条线索整合为自洽证明，其中前两条也与 Nifa 2026 年预印本的结果相互独立印证。按任务信息，主结果暂无 Lean 形式化证明；依 OpenAI 官方声明，未经形式化的结果可能有问题，本文结论请以社区核验为准。
问 1：证明中最脆弱的一环在哪里？
（答：锥维数归纳给出的正则性（cones 一节）。极小极大产出的一般是带奇点的平稳整 varifold，论文靠切锥的”径向分裂”对锥维数归纳，证明密度低于 @@M@@\vartheta_m=a_m/\sigma_m@@ 的平稳整锥在低锥维时是重数一超平面、高锥维时除顶点外光滑且链连通。若这一步漏掉某个奇异模式，最小反例 @@M@@H@@ 就可能带奇点，末段矛盾链条整体断裂。）
问 2：为什么必须造洛伦兹检测族，而不能直接用紧性论证？
（答：普通 varifold 紧性只给出带奇点的极限，而极小性本身对序列的拓扑与曲率毫无控制。检测族以 @@M@@\mathbb{RP}^{m+3}@@ 上 @@M@@(\Phi^*\lambda)^{m+3}\neq0@@ 的上同调检测性替代对 @@M@@\Sigma@@ 的任何拓扑假设，迫使族中出现质心为零、体积超半球阈值 @@M@@\gamma_m>\sigma_m@@ 的区域边界，从而极小极大输出不会塌缩回赤道——这是全文的结构性创新。）
问 3：与既有工作相比，真正的新意是什么？
（答：@@M@@m=2@@ 的 @@M@@2\pi^2@@ 由 Marques–Neves 的 Willmore 定理给出；高维此前只有带条件的结果：Cheng–Wei–Zeng 的旋转情形、Viana 的对偶不变补区域、Bernstein–Wang 的低锥维密度估计，Ge–Li 2026 的一般嵌入界仍低于 Clifford 阈值。本文在无拓扑、无对称性假设下确定全浸入范围的精确第二能级。）
问 4：体积为何坚持按定义域计数、覆盖重数也计入？
（答：若某像点有 @@M@@q@@ 个原像，锥的单调性公式迫使体积 @@M@@\ge q\sigma_m@@；而 @@M@@a_m<2\sigma_m@@，故任何反例自动是嵌入超曲面。域上计数让浸入情形一步归约到嵌入情形（Proposition immersion-reduction），这是复用并独立重证 Nguyen/Ge–Li 观察的关键枢纽。）
问 5：作为 AI 生成的证明，最可能出错的模式是什么？
（答：跨领域接口的簿记最可疑：洛伦兹 boost 族在最近点接触处的面积雅可比 @@M@@|\det(rI-hA)|\le r^m@@ 要求在”最近点不唯一”时仍成立；检测族的 @@M@@(m+3)@@ 次上同调幂非零是纯拓扑计算；对 @@M@@m@@ 归纳时锥维数与超曲面维数极易错位。这些长链条组合正是 AI 证明容易静默出错之处，且论文未形式化。）
问 6：指标刚性等号情形有多可信，谁会用到它？
（答：等号情形经 Li–Yau 共形重心平衡与逐点谱等式逼出 @@M@@P\equiv m@@、@@M@@\nabla A=0@@，再由 Gauss 方程分类为 Clifford 积；该结论与 Nifa 2026 年预印本独立印证，相对可信。下游受益者是极小极大理论（体积谱与 Weyl 律研究）与球面等参超曲面刚性方向；Perdomo 平均曲率猜想的不等式部分也被顺带证明。）
总评
（这是对 Yau 1994 年问题集第 31 问的完整正面解答，把两点法、变分族、上同调检测与几何测度论正则性熔为一体，分量十足；最大风险集中在锥归纳与检测族构造的技术细节，未经形式化核验前宜审慎乐观。）