结果族 354：The isoperimetric profile of the cubic three-torus · 学科：Differential geometry · 验证状态：暂无形式化证明，请以社区核验为准
走进一间三组对面都相通的立方体房间，朝任何方向直走都会绕回出发点——这就是三环面。现在用指定体积的橡皮泥在这间房里捏形状，怎样表面最省料？普通空间答案是球；在这间环绕房间里，论文给出完整答案，而且分三段”换挡”。
关键词卡片
@@M@@\mathbb R^3/\mathbb Z^3@@。@@M@@4\pi/81\approx0.155@@ 与 @@M@@1/\pi\approx0.318@@，最优形状在这两处切换。看个具体例子
最小周长有闭式公式：@@M@@I(V)=\min\{(36\pi)^{1/3}v^{2/3},\ 2\sqrt{\pi v},\ 2\}@@，其中 @@M@@v=\min(V,1-V)@@。代入三个真实体积（@@M@@V\le 1/2@@，更大就取补集）：@@M@@V=0.05@@ 时最优是球，半径 @@M@@(3V/4\pi)^{1/3}\approx0.23@@；@@M@@V=0.25@@ 时最优是圆管，半径 @@M@@\sqrt{V/\pi}\approx0.28@@；@@M@@V=0.45@@ 时最优是宽 @@M@@0.45@@ 的板。
体积从小到大，最优形状依次是球、圆管、板；相邻区间端点处两类并列最优，别无其他等号情形。
为什么值得关心
它完整证明了 Hauswirth–Pérez–Romon–Ros 提出的三环面等周猜想，把所有最小化子连同两个换挡点的全部等号情形穷尽——这份”最优形状说明书”从此定稿。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”环绕房间”要落实为一个对象：把立方体三组对面各自粘合，得到一个体积有限、却没有边界、也走不出去的封闭宇宙。”捏橡皮泥省料”这件事则要精确为一种操作：在区域所含体积被锁死的前提下，让区域的边界总面积尽可能小。答案之所以会”换挡”，是因为小体积时局部看起来就是普通空间，大体积时全局的环绕结构开始起作用——缠住环形直道的香肠、横贯整个空间的夹层，都是利用拓扑的省料方案。
第二级台阶
用本科微分几何的话说：底空间是紧平坦流形 @@M@@\mathbb{R}^3/\mathbb{Z}^3@@，候选区域是它上面的有限周长子集 @@M@@E@@，目标函数是周长 @@M@@P(E)@@（边界面积）。等周剖面 @@M@@I(V)@@ 定义为体积为 @@M@@V@@ 的所有子集的周长下确界。三个”标准竞争者”给出三条曲线：球的 @@M@@(36\pi)^{1/3}V^{2/3}@@、绕最短闭测地线圆管的 @@M@@2\sqrt{\pi V}@@、坐标板的常数 @@M@@2@@；取补集还给出对称性 @@M@@I(V)=I(1-V)@@。
第三级台阶
主定理断言：@@M@@I(V)@@ 恰好等于三条曲线的下包络，且除了包络相交的两个换挡体积 @@M@@4\pi/81@@ 与 @@M@@1/\pi@@ 之外，每个体积的最小化子在等距与零测集意义下唯一。”有限周长”框架挡住野蛮集合，使正则性与稳定性理论可用；紧性保证最小化子存在；立方对称支撑反射论证。分类部分穷尽全部等号情形——这正是原猜想中最难啃的两个端点。
本文完整证明了立方平坦三环面 @@M@@\mathbb{R}^3/\mathbb{Z}^3@@ 上的等周猜想：任何体积下最小周长区域必为球、绕最短闭测地线的圆管、坐标板或其补，并在两个转变体积 @@M@@4\pi/81@@ 与 @@M@@1/\pi@@ 处穷尽全部等号情形。
等周问题（isoperimetric problem）问：固定体积的区域何时边界面积最小？欧氏空间里答案是球，但紧流形上的拓扑约束会让答案彻底改变。立方平坦三环面（cubic flat three-torus）@@M@@\mathbb{R}^3/\mathbb{Z}^3@@ 是最简单的紧平坦三维流形，其上的等周猜想预测了简洁的三段式答案——球、圆管、板——由 Hauswirth、Pérez、Romon 与 Ros 明确提出。此前已知若干片段：Morgan–Johnson 证明小体积时球最优，Acerbi–Fusco–Morini 证明半体积附近坐标板唯一；Milman 给出有效区间，并把猜想约化为只需在 @@M@@V_1=4\pi/81@@ 与 @@M@@V_2=1/\pi@@ 两个转变体积处排除”非标准”共同最小化子。本文正面解决了这一卡点。
定理：设 @@M@@V\in(0,1)@@，@@M@@v=\min(V,1-V)@@。三环面上体积为 @@M@@V@@ 的有限周长（finite perimeter）子集的最小周长为
@@M@@DI_{\rm unit}(V)=\min\{(36\pi)^{1/3}v^{2/3},\ 2\sqrt{\pi v},\ 2\}.@@
当 @@M@@0<V\le1/2@@，每个最小化区域在等距与零测集意义下恰为下列之一：@@M@@0<V\le4\pi/81@@ 时是半径 @@M@@(3V/(4\pi))^{1/3}@@ 的球（ball）；@@M@@4\pi/81\le V\le1/\pi@@ 时是绕最短闭测地线、半径 @@M@@\sqrt{V/\pi}@@ 的实心圆管（solid circular tube）；@@M@@1/\pi\le V\le1/2@@ 时是两平行坐标环面之间宽度为 @@M@@V@@ 的板（slab）。相邻区间公共端点处两类同时取到，别无其他等号情形；@@M@@V>1/2@@ 时取补集。
证明分约化、对称化、截面化、排除四步，在周期 2 环面上归一化。经典结构定理（HPRR）表明：非标准最小化边界必连通、亏格（genus）至少为 2，且曲率和 @@M@@h@@ 满足 @@M@@h^2A\le\pi@@。标准竞争者给出包络 @@M@@F@@；平行变分（parallel variation）的上支撑函数满足 @@M@@C^2C''=-h^2C+\pi(1-g)@@，与各分支的 @@M@@F''+(F')^2/F\ge0@@ 相抵，得”两体积约化”：只需在 @@M@@V_1,V_2@@ 排除非标准最小化子即可。
再把候选者逼进单位立方体的角落。先证区域关于六个坐标环面反射对称：平分体积的切割环面两侧分别反射，两个竞争者的平均周长仍是最小值，再由解析延拓与原边界重合。法向分量 @@M@@N_i@@ 经 Jacobi 方程结点域（nodal domain）论证得严格单调性 @@M@@N_i>0@@，区域成为下集（down-set）；顶点模式把候选压缩为三、四顶点两种。
截面恒等式是核心工具：通量 @@M@@\int_{\partial E_z}\alpha\,d\ell=b_zA+h(v(z)-V)@@、投影 @@M@@s-r\le A\sqrt{1-b_z}@@ 与 coarea 公式。四顶点模式在两转变体积处被”角区反射＋平面等周不等式＋标量不等式”排除；三顶点模式在 @@M@@V_1@@ 处由纯标量估计排除，均用有理数界验证。
最后一步最难：@@M@@V_2@@ 处三顶点模式，即论文核心创新——嵌套截面（nested sections）的定量使用。截面恒等式锁定 @@M@@0.64\le h\le2.25@@，但基础估计 @@M@@B(h)@@ 在中等曲率区间 @@M@@[1.02,1.62]@@ 变负。补救：用向量场标定底部角补截面的两条边缘延伸，得 @@M@@hs\ge(1-s)/L+\pi L/4@@，同时控制两方向；中间截面都含于底部截面（嵌套），迫使带状截面（strip）小端点受上界约束，在宽 @@M@@\delta@@ 的面积区间把周长下界提升到 @@M@@p^2\ge1+c\delta^2H(q)@@；再经 Jensen 不等式与导数估计把周长增益换成面积增益 @@M@@C_0\delta^3@@，最终得 @@M@@A-1\ge B(h)+S(h)@@；附录用有理算术验证其恒正，与板竞争者的 @@M@@A\le1@@ 矛盾，定理得证。
按任务元数据，本文主结果尚无 Lean 形式化证明（族描述虽附 Lean 文档链接，以本文标注 formalized=false 为准），请以社区核验为准；论文声明可复现的精确有理计算随源码提供。它是结果族 354 本批次唯一手稿，独立承担该族全部结论；论证显式引用既有文献（HPRR、Ritoré–Ros、Milman 等），新贡献集中在嵌套截面排除技术。按 OpenAI 官方声明，未经形式化的结果可能有问题，宜以社区核验为最终依据。
问 1：整个证明最关键也最脆弱的一步在哪里？
（答：@@M@@V_2=1/\pi@@ 处”三顶点模式”的排除。截面恒等式先锁定 @@M@@0.64\le h\le2.25@@，但基础下界 @@M@@B(h)@@ 在中等曲率区间 @@M@@[1.02,1.62]@@ 上变负；论文用向量场标定底部角补截面的两条边缘延伸，嵌套性迫使中间带状截面产生定长超额，再经 Jensen 估计与通量恒等式换成面积下界 @@M@@A-1\ge B(h)+S(h)@@，附录用有理算术验证其恒正，与板的 @@M@@A\le1@@ 矛盾。这是论文自称的核心新工具，也是链条最长的一环。）
问 2：为什么只需在两个转变体积排除非标准最小化子？
（答：这是引用 Milman 的既有约化（其定理 1.3 与 4.3 节，方法源自 HPRR 的剖面比较）：一旦两个端点的剖面值正确且无非标准共同最小化子，光滑分支内部的分类自动成立。本文的功劳是直接建立两个端点排除，而非重做约化——所以正确性部分地押在 Milman 约化之上。）
问 3：与已有工作相比真正的新意是什么？
（答：已知片段不少：Hadwiger 的半体积切割、Morgan–Johnson 的小体积球最优、Acerbi–Fusco–Morini 的半体积附近板唯一、Milman 的有效区间与两体积约化。新意有二：一是嵌套平面截面的定量使用——Milman 明确指出平面最小化子缺乏嵌套是锐性障碍（其推论 2.8）；二是把两个换挡点的全部并列最优情形一并穷尽，使”说明书”定稿。）
问 4：立方（正交格）这个假设能去掉吗？
（答：论文未讨论一般格子。反射对称化（Hsiang 式，经 Ritoré 记录、Ros 补稳定性证明）依赖六个坐标环面，是正交平移格特有的结构；非立方长方环面上三条曲线的交点会移动，答案几乎必然变形，论文对此外未展开。）
问 5：AI 生成的证明最可能在哪种模式下出错？
（答：这类”几何估计＋数值不等式”混合证明的经典风险在数值部分：@@M@@h@@ 的区间划分是否覆盖全部端点情形、@@M@@B(h)+S(h)@@ 恒正的有理验证是否无洞。论文声明可复现的精确计算随源码提供，是好的迹象；但”嵌套性推出带状截面定长超额”这一几何引理与数值归约之间的接口，仍是最典型的埋错点。）
问 6：谁会用到这个结果？
（答：直接推进周期等周问题与平坦三流形上的等周分类（Ritoré–Ros、HPRR、Ros 综述所列问题）；由反射联系，立方体内相对周长问题的对应答案（八分之一球、四分之一圆柱、坐标平面切割）也随之定稿。物理方面的应用论文未讨论。）
总评
对一个公开猜想给出完整证明并穷尽全部等号情形，分量实足；最大风险集中在最长的那条几何—数值混合链上，形式化之前宜以社区核验与所附计算源码复核为准。