结果族 353：Affine Bernstein rigidity through dimension nine and a smooth dimension-ten counterexample · 学科：Differential geometry · 验证状态：暂无形式化证明，请以社区核验为准
普通肥皂膜争的是表面积最小；换到仿射几何的度量衡，凸曲面有自己的”仿射面积”，最小化它的图像满足仿射极值方程。长期猜想：铺满全空间的这类凸图像只能是椭圆抛物面——一只标准碗。低维时猜想确实成立（二维刚性已证）；这篇论文则在十维捏出了一只光滑的”异形碗”，把猜想挡在十维门外。
关键词卡片
看个具体例子
公式卡（反例骨架）：@@M@@u(x,t)=\sqrt{F(|x|)^2+t^2}@@，其中 @@M@@F(0)=1@@、@@M@@F@@ 光滑严格凸。沿中心线看：@@M@@u(0,t)=\sqrt{1+t^2}@@，当 @@M@@|t|@@ 大时近似 @@M@@|t|@@，按一次增长；而任何二次函数按 @@M@@t^2@@ 增长——所以它绝不可能是二次的，却处处凸、处处解方程。它的 Hessian 在每点都正定，但正定量没有统一底线——这正是反例的容身之处。作为对照，旧的反例 @@M@@\sqrt{|x|^9+t^2}@@ 在原点根本不光滑。
为什么值得关心
与姊妹篇”三至九维刚性成立”合并，把仿射 Bernstein 断言的生死线精确钉在 n=10；刚性证明中的行列式 @@M@@(n-2)(10-n)/16@@ 恰在此处归零——方法失效之处正是反例所在。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”标准碗与异形碗”再说准一点：对象是铺满整个空间的凸图像；衡量标准从普通面积换成仿射几何自己的度量衡；操作是寻找使”仿射面积”取极值的图像。长期猜想说这样的整图只能是椭圆抛物面——一只由二次函数画出的标准碗。
第二级台阶
设 u: R^n → R 光滑且 Hessian 矩阵 D²u 处处正定（凸的矩阵语言）；仿射面积泛函是 ∫(det D²u)^{1/(n+2)}，其欧拉—拉格朗日方程即仿射极值方程：记 U = det(D²u)(D²u)^{−1}、w = (det D²u)^{−(n+1)/(n+2)}，要求 Σ U^{ij} w_{ij} = 0。整图指 u 定义在全部 R^n 上、无边无际。
第三级台阶
主定理：在 n=10 时，存在非二次的光滑函数，D²u 逐点正定，且在整个 R^{10} 上解上述方程。要读懂它必须看清假设的刻度：”逐点正定”不要求统一的正下界，也不断言 Berwald–Blaschke 度量的完备性——这正是否定”无完备性假设的整图断言”所需的精确形态，与姊妹篇带完备性的刚性定理并不冲突。非二次性由中心线读数 u(0,t)=√(1+t²) 保证：它按一次增长，而二次函数按二次增长——这只碗处处凸、处处解方程，却终究不是标准的。与姊妹篇”三至九维刚性成立”合并，仿射 Bernstein 断言的生死线被精确钉在十维。
论文在十维构造了一个光滑、整定义于 @@M@@\mathbb{R}^{10}@@、Hessian 逐点正定且满足经典仿射极值方程 (affine maximal equation) 的非二次函数，推翻”整图仿射 Bernstein 断言”在十维的成立，与姊妹篇一起把刚性成立的范围精确卡在三至九维。
仿射极值方程是仿射面积泛函 @@M@@\int(\det D^2u)^{1/(n+2)}@@ 的欧拉—拉格朗日方程，刻画”仿射极大小体积”的凸图。Chern 于 1979 年提出二维整图问题：整定义、局部一致凸 (locally uniformly convex) 的仿射极值图是否必为椭圆抛物面 (elliptic paraboloid)？Trudinger 与 Wang 证明了二维刚性，并在同一篇 2000 年工作中给出十维奇异反例 @@M@@u_0=\sqrt{|x|^9+t^2}@@——但它在原点不光滑、Hessian 也不处处正定，只是弱解。光滑反例是否存在一直悬而未决：姊妹篇证明三至九维刚性成立，本篇则补上十维的光滑否定，使这条界线分毫不差。
主定理：存在非二次函数 @@M@@u\in C^\infty(\mathbb{R}^{10})@@，@@M@@D^2u@@ 在每一点都正定，且在整个 @@M@@\mathbb{R}^{10}@@ 上满足
@@M@@D\sum_{i,j=1}^{10}U^{ij}\partial_{ij}(\det D^2u)^{-11/12}=0,\qquad U=\det(D^2u)(D^2u)^{-1}.@@
需要强调：这里的正定是逐点意义，不含一致下界；论文也不断言 Berwald–Blaschke 度量 (affine metric) 的完备性。因此它否定的是无完备性假设的”整图断言”，与姊妹篇的欧氏完备定理并不冲突，也不违背 Trudinger–Wang 原文中带全局截面凸性假设的结论。
构造沿用奇异反例的代数关系 @@M@@u^2-t^2=F(x)^2@@，但把非光滑的 @@M@@F=|x|^{9/2}@@ 换成待定的光滑严格凸径向函数，取 @@M@@F(0)=1@@。先做维数无关的归约（命题 2.1）：若正的光滑函数 @@M@@F,P@@ 满足 @@M@@\det D_x^2F=FP^{-\gamma}@@ 与 @@M@@\tr((D_x^2F)^{-1}D_x^2P)+kP/F=0@@（@@M@@m=9@@ 时 @@M@@\gamma=12/11@@、@@M@@k=11@@），则 @@M@@u=\sqrt{F^2+t^2}@@ 在 @@M@@\mathbb{R}^{10}@@ 上自动有正定 Hessian 并解方程。四阶方程由此降为两个一元函数的二阶方程，再径向化成四个一阶常微分方程；其中第二条写成散度形式 @@M@@(y^{m-1}P')'=-kr^{m-1}P^{1-\gamma}@@，正是这一形式让解得以从奇异点 @@M@@r=0@@ 启动。其次处理原点奇性：径向方程含除以 @@M@@y=F'@@，在 @@M@@r=0@@ 退化；作者改用 @@M@@s=r^2/2@@ 的积分形式，在连续函数对的闭集上验证一致 Lipschitz 与压缩性，由压缩映射定理 (contraction mapping principle) 得到原点附近的光滑解，@@M@@D_x^2F(0)=I@@、@@M@@D_x^2P(0)=-\frac{11}{9}I@@，且因剖面是 @@M@@|x|^2/2@@ 的函数，关于 @@M@@x@@ 自动光滑；不动点还顺带给出近端 @@M@@y,y'>0@@、@@M@@P'<0@@，凸性与单调性从原点起即成立。最大的障碍是整体存在性：辅助函数 @@M@@P@@ 原则上可能在有限半径处归零。作者不分别估计 @@M@@F,P@@，而控制对数导数 (logarithmic derivatives) @@M@@A=ry/F@@、@@M@@B=ry'/y@@、@@M@@D=C/B@@（@@M@@C=-rP'/P@@），它们满足以 @@M@@\log r@@ 为时间的三维自治系统。奇异解的常数 @@M@@(9/2,\,7/2,\,33/7)@@ 张出一个长方体；关键的一步是改用这组导数变量后，向量场在盒内成为合作系统 (cooperative system)——每个分量对另外两个变量单调不减——而盒子角点恰为驻点 (stationary point)，于是所有上界面被这一个角点统一压制，配合 Gronwall 论证得到盒子前向不变 (forward invariant)。由此 @@M@@F,P,y,y'@@ 被夹在幂函数界之间：若解的最大存在半径 @@M@@R<\infty@@，则状态 @@M@@(r,F,P,y,P')@@ 停留在正则域 @@M@@r,F,P,y>0@@ 的一个紧子集内，右端有界、极限存在，局部存在唯一性便把解越过 @@M@@R@@ 延拓，矛盾，故解延拓到任意 @@M@@r>0@@。最后 @@M@@u(x,t)=\sqrt{F(|x|)^2+t^2}@@ 光滑、Hessian 处处正定、解方程，而 @@M@@u(0,t)=\sqrt{1+t^2}@@ 保证它不是二次多项式。
本篇未形式化，请以社区核验为准。它与姊妹篇互为印证：三至九维刚性证明中强制性二次型的行列式为 @@M@@(n-2)(10-n)/16@@，恰在 @@M@@n=10@@ 退化为零——方法失效之处正是反例所在，说明”三至九”这一范围在当前技术下已无法改进。按 OpenAI 官方声明，未经形式化的结果可能存在问题。
问 1：证明中最关键、最脆弱的一步是什么？
答：核心是第 4 节的不变盒引理：把对数导数 (A,B,D)=(ry/F, ry′/y, −rP′/(PB)) 写成以 log r 为时间的三维自治系统，盒 B=[0,9/2]×[0,7/2]×[0,33/7] 前向不变——成立靠两件事：向量场各分量对另两坐标单调不减（合作系统，交叉导数 ∂_A V₂=B、∂_D V₂=(12/11)B²、∂_A V₃=11−D 等全部非负），且上角点恰为驻点，一个角点压住全部上界面；边界弱不等式再配 Gronwall 论证补齐不变性。脆弱处在于交叉导数的符号全靠 0≤D≤33/7<11 这类粗界维持，且 D=C/B 的重参数化需要 B>0（由 y′>0 支撑）——若某处符号翻转，盒子失守，辅助函数 P 就可能在有限半径归零，整体存在性崩塌。
问 2：正定只逐点成立，这算不算回避了问题的真正版本？
答：不算回避，而是精确瞄准。Chern 与 Calabi 的经典表述、Trudinger–Wang 2000 的二维刚性都涉及不同完备性概念；Trudinger–Wang 的 Corollary 4.3 带全局截面凸性假设，比本文假设更强。论文摘要与引言明确声明：Hessian 正定是逐点意义，不断言一致下界、不断言 Berwald–Blaschke 度量完备——它否定的是无完备性假设的整图断言，与姊妹篇的完备性刚性定理、与 Trudinger–Wang 原文结论都不冲突。
问 3：与 Trudinger–Wang 的奇异反例相比真正新意是什么？
| 答：他们 2000 年给出的 u₀=√( | x | ⁹+t²) 在原点不光滑、Hessian 不处处正定，只是弱解。本文保留代数关系 u²−t²=F(x)²，把 F= | x | ^{9/2} 换成 F(0)=1 的光滑严格凸径向函数，并让奇异解的常数 (9/2, 7/2, 33/7) 反过来充当不变盒角点，从弱解反例升级为经典解反例。引言还指出 Du、Sun–Xing–Xu 的相关方程非二次例子范围延伸到 θ=n/(n+1) 但不含经典值 θ=11/12。 |
问 4：为什么恰在十维？
答：构造里 m=9 给出 k=11、γ=12/11，全套代数只在此配套；奇异反例本就只在 n=10 出现。更深的呼应是：姊妹篇的三至九维刚性证明依赖的强制性二次型行列式 (n−2)(10−n)/16 在 n=10 归零——刚性方法失效之处正是反例容身之处。其他维数能否改造此 ansatz，论文未展开。
问 5：u 为什么一定不是二次多项式？
| 答：中心线读数 u(0,t)=√(1+t²)（因 F(0)=1）在大 | t | 时按一次增长，而任何二次多项式沿直线按二次增长——一处读数即判死刑。 |
问 6：AI 生成证明最可能出错的模式？
答：本文核心只有四页，主要是直接计算与 ODE 理论，风险低于族内其他各篇。但命题 2.1 那页”直接求导”的逐点基验证（D²u 的块分解、det 公式、迹恒等式 (1+ζ²)h″−mζh′=kh 依赖 k=m+2 恰好消项）是典型手算易错点；原点光滑性靠 s=r²/2 积分形式与逐阶归纳，也值得逐步复核。未形式化。
问 7：谁会用到它？
答：与姊妹篇合并后，仿射 Bernstein 问题的维数分界完整落定：三至九维刚性、十维反例；仿射微分几何与蒙日—安培方程社区由此确认完备性假设不可全删。带完备性假设的 Trudinger–Wang 猜想在十维是否仍成立，论文未断言，是留下的自然问题。
总评
一篇短小但落点极准的反例：光滑化二十年前的奇异解、把其常数转为不变盒，干净终结无完备性版本的仿射 Bernstein 断言；主要风险在几处依赖巧合消项的手算，社区核验成本低、价值高。