结果族 344：The metric Blaschke conjecture · 学科：Differential geometry · 验证状态：暂无形式化证明，请以社区核验为准
篮球面上从北极沿大圆走到南极，每条路都是最短路，而且”能一路保持最短”的距离恰好等于直径。哪些空间有这种完美性质？猜想的答案是五人名单：球面，实、复、四元数射影空间，以及 Cayley 平面。本文证明：名单之外没有漏网之鱼。这件事乍看只是距离的常识，却把空间逼到对称性的极致。
关键词卡片
看个具体例子
数字版定理：@@M@@\operatorname{inj}(M,g)=\operatorname{diam}(M,g)@@ @@M@@\Longrightarrow@@ 缩放后 @@M@@(M,g)@@ 等距于名单五者之一；同直径的模型空间由经典的割迹与整上同调型指定，且体积比较 @@M@@\operatorname{Vol}(M)\ge\operatorname{Vol}(M_0)@@，等号当且仅当等距。
为什么值得关心
1921 年 Blaschke 提出的古老猜想至此彻底关闭，其中四元数射影型分支是长期无人攻克的硬核难点；证明下半是解析的体积比较，上半是四元数型的拓扑障碍计算，两条战线合围。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读开头的篮球面图景可以这样半数学地说：对象是一个封闭、只有距离结构的空间；考察的性质是”完美汇聚”——从任何一点沿任何直路出发，这条路都恰好保持最短走到同一个里程，而这个公共里程恰是空间中可能的最远距离。操作是分类：哪些空间拥有这种性质？球面显然有，几种射影空间与 Cayley 平面也有，猜想断言名单仅此五家，本文证明再无漏网之鱼。
第二级台阶
用黎曼几何术语精确化：闭流形 (M, g) 上，单射半径 inj(M, g) 是指数映射在每点的切球上都保持微分同胚的半径下确界；直径 diam(M, g) 是两点距离的上确界。二者相等的正维数闭流形叫 Blaschke 流形；等价的几何事实是每条单位速测地线恰好最短到公共直径处，素测地线长为直径两倍。名单五家即紧秩一对称空间：圆球面、实/复/四元数射影空间与 Cayley 平面。
第三级台阶
主定理（定理 1.1）陈述：连通、闭、光滑、正维数的黎曼流形若满足 inj = diam，则乘以某个正常数放缩度量后，必等距于名单五者之一。闭性支撑割迹的光滑结构与闭测地线理论，正维数排除退化点空间，全局等式则比逐点条件更强有力。配套的锐利体积比较（定理 1.2）给出 Vol(M) ≥ Vol(M₀)，取等当且仅当等距；于是整个猜想归约为证同直径下的体积上界——四元数型的这条上界正是本文最难也最新的部分。
完整证明度量 Blaschke 猜想：连通闭黎曼流形若整体单射半径等于直径，则相差一个常数缩放后必等距于标准紧秩一对称空间——球面、实/复/四元数射影空间或 Cayley 平面之一。
在圆球面上，每条测地线从起点到对径点一路最短，该距离恰为直径；实、复、四元数射影空间与 Cayley 平面——即全部紧秩一对称空间（compact rank-one symmetric space，CROSS）——同样如此。Blaschke 于 1921 年提出测地线重新汇聚的曲面问题，Green 在 1963 年解决曲面情形。现代表述则问：满足 @@M@@\inj(M,g)=\diam(M,g)@@ 的连通闭流形（称 Blaschke 流形，Blaschke manifold）是否必为 CROSS？此时每条单位速测地线恰好最短到公共直径处，素测地线长为直径两倍。球面与实射影情形已由 Berger、Kazdan、Weinstein、Yang 等人在 1970 年代解决，一般情形——核心难点在四元数型——长期悬置，本文将其彻底关闭。
主定理（定理 1.1）：设 @@M@@(M,g)@@ 为正维数连通闭光滑黎曼流形且 @@M@@\inj(M,g)=\diam(M,g)@@，则它相差一个正常数缩放后，等距于圆球面、标准实射影空间 @@M@@\RP^n@@、复射影空间 @@M@@\CP^n@@、四元数射影空间 @@M@@\HP^n@@ 或 Cayley 平面 @@M@@\OP^2@@。经典 Blaschke 结构由割迹（cut locus）与整上同调型为 @@M@@M@@ 指定同直径的模型 @@M@@(M_0,g_0)@@。
锐利体积比较（定理 1.2）：@@M@@\Vol(M,g)\ge\Vol(M_0,g_0)@@，等号当且仅当二者等距。于是整个猜想归约为证同直径上界 @@M@@\Vol(M,g)\le\Vol(M_0,g_0)@@。对四元数型（实维数 @@M@@4r@@，@@M@@r\ge2@@），文中内在地建立该上界：@@M@@N=\int_B e^{4r-1}\le\frac{1}{2r+1}\binom{4r}{2r}@@，右端恰为模型值，对应 @@M@@\Vol(\HP^r)=\pi^{2r}/(2r+1)!@@。
下界是解析的，承 Berger–Kazdan 比较思想。沿一条闭测地线，在给定时刻取零的法向 Jacobi 场构成拉格朗日平面（Lagrangian plane）；固定图卡把端点配对行列式拆成正则与 Schur 补（Schur complement）两因子。两因子均由标量区间积分控制，再以 Kazdan 消没恒等式的对数形式合并：倒数平方正弦廓形折到半周期得四个权函数，对称行列和保证正确重数，凸性余项记录等号；分解只用割时刻相交模式，不需曲率算子平行特征空间。在单位切丛上积分非负亏量即得下界；取等号时径向体积密度均等于模型值，@@M@@M@@ 为紧单连通调和流形（harmonic manifold），由 Szabó 分类得度量刚性。
四元数上界则纯属拓扑。割关联 @@M@@F=\{(p,q):q\in C_p\}@@ 是光滑子流形，其秩四法丛 @@M@@\mathcal V@@ 满足 @@M@@e(\mathcal V)=u_1-u_2@@、@@M@@p_1(\mathcal V)=2s(u_1+u_2)@@，@@M@@s@@ 为奇数。@@M@@T_pM@@ 中通往不同割点的方向四平面只交于零，余丛秩仅 @@M@@4(r-2)@@，迫使 @@M@@p(TM)=\frac{(1+2su+u^2)^{r+1}}{1+4su}@@；再用 Hirzebruch 符号差定理定出 @@M@@|s|=1@@：小秩由精确展开（如 @@M@@\sigma_2-1=\frac{8(s^2-1)}{15}@@），大秩由留数与一致围道估计得 @@M@@(-1)^r\sigma_r>1@@，与整上同调的 @@M@@\sigma_r\in\{0,1\}@@ 矛盾。最后在定向测地线空间上，周期归一的接触形式把体积表为测地线圆丛欧拉类 @@M@@e@@ 的最高幂次；整系数 Gysin 序列定出中间配对行列式 @@M@@r+1@@；自由环路能量的负丛（经 Milnor 指标定理与 Klingenberg 型粘接）转移关联系数并给出关系 @@M@@Q(X,Y)=R(X,Y)=0@@；完备交（complete intersection）计算把中间行列式化为锐利上界。有理上同调保不住正规化算术，故须整系数。
收尾分类：复射影型经 Whitehead 定理化归为与 @@M@@\CP^r@@ 同伦等价，配 Yang 体积定理；@@M@@\HP^2@@、@@M@@\OP^2@@ 由 Kramer–Stolz 分类得微分同胚，配 Reznikov–Wilking 定理；四元数型用内在上界；其余属经典情形。
本结果暂无形式化证明，请以社区核验为准；按 OpenAI 官方声明，未经形式化的结果可能有问题。这是结果族 344 的唯一手稿，单篇完成整个猜想，并逐一验证了所引经典结果的前提条件；文中并与 Song（2026）等附加假设下的刚性结果对照。Schur 补比较、四元数 Pontryagin 类与符号差计算、完备交代数均属无先例的新构造，建议社区重点审读；部分围道估计细节，此处从略。
问 1：证明的总体骨架是什么，为什么说两条战线”合围”？
答：下半场是解析的锐利体积比较（定理 1.2）：Vol(M) ≥ Vol(M₀)，取等即等距；于是推论把猜想归约为同直径体积上界。上半场是拓扑的四元数上界——在割关联流形上做法丛示性类与符号差计算，再在定向测地线空间上用 Gysin 序列与完备交代数把中间行列式化为锐利上界 N ≤ (1/(2r+1))·C(4r, 2r)，右端恰为模型值。下界与上界一夹，等号逼出等距。
问 2：下半场的 Schur 补比较比前人强在哪？
答：经典路线（Berger 的球面论证、Rovenskii–Toponogov 的射影体积比较）需要曲率 4 的全测地球面族或曲率算子的平行特征空间这类几何分裂。本文只沿一条闭测地线取指定时刻为零的法向 Jacobi 场构成拉格朗日平面，固定图卡把端点配对行列式拆成正则因子与 Schur 补因子，两因子均由标量区间积分控制——分解只用割时刻相交模式，不要求任何额外几何假设，这是它能覆盖全部剩余模型类型的原因。
问 3：Kazdan 消没恒等式的”对数形式 + 折叠”在干什么？
答：把倒数平方正弦参考廓形（一个放在整周期、一个放在半周期）折到两个半周期上得四个权函数，对称的行列和保证两比较以正确重数同时贡献；凸性余项非负并记录取等。在单位切丛上积分非负亏量即得下界；取等时逐点径向体积密度等于模型值，M 成为紧单连通调和流形，Szabó 分类给出度量刚性。
问 4：四元数上界为什么必须用整系数上同调？
答：论文明言”有理上同调保不住正规化算术”：把体积表为测地线圆丛欧拉类最高幂次后，中间配对行列式（r+1）与完备交计算的锐利性都依赖整系数 Gysin 序列定出的格结构；有理化后上界会松动，夹击失败。
问 5：符号差一步怎么排除多余参数？
| 答：割关联的秩四法丛满足 e(V) = u₁ − u₂、p₁(V) = 2s(u₁+u₂)（s 为奇数），方向四平面仅交于零迫使 p(TM) = (1+2su+u²)^{r+1}/(1+4su)；Hirzebruch 符号差定理定 | s | ：小秩用精确展开（如 σ₂ − 1 = 8(s²−1)/15），大秩用留数与一致围道估计得 (−1)^r σ_r > 1，与整上同调的 σ_r ∈ {0,1} 矛盾。围道估计的一致性是这里最技术性的核验点。 |
问 6：与既有工作相比真正的新意？
答：球面与实射影情形 1970 年代由 Berger–Kazdan–Weinstein–Yang 关闭；Yang 只证复射影同伦型加模型体积；Kramer–Stolz 分类射影平面；Reznikov 的四元数弱 Blaschke 与 Wilking 记录的等体积定理都带同胚/同伦假设。四元数型一般维度是多年硬核难点，本文的上界是内在的——直接从 Blaschke 几何与整拓扑推出，不带任何附加假设，单篇关闭 1921 年的整个猜想。
问 7：这种 AI 证明最可能的出错模式？
答：典型风险集中在无先例的新构造：Schur 补两因子的区间积分控制、四元数 Pontryagin 类公式与符号差矛盾的逐秩估计、负丛经 Milnor 指标定理与 Klingenberg 型粘接转移关联系数（要对每个素域成立）——任何一处系数或重数记账有误，锐利上界就不再锐利。本族无姊妹篇、无形式化证明，且所引经典结果（Yang、Kramer–Stolz、Reznikov–Wilking）的前提匹配需逐一复核。
总评
这是百年 Blaschke 问题的完整收官，四元数分支的内在上界是真正的硬突破；最大风险在整系数示性类代数与锐利体积界的常数精确性，属”分量极大、必须逐行精算”的收官之作。