结果族 049：A stable-coordinate counterexample in four variables · 学科：Algebraic and complex geometry · 验证状态：主结果已 Lean 形式化
把一张标准的三维”剪纸”放进四维平直空间，直觉说总能转动它摆到标准姿势。Abhyankar–Sathaye 猜想把这个直觉写成数学定理。本文造出一张怎么转都摆不正的剪纸，理由出奇地简单：它身上有一个”梯度为零”的死点。
关键词卡片
看个具体例子
从尖点曲线的参数化 x=u³+hv、y=−u²+hw 出发，构造 F=h−p(x,y,s)−1 ∈ C[h,u,v,w]，死点坐标全部摆在明面上。主定理（数字版）：
@@M@@R/(F)\cong\mathbb{C}[X,Y,T]@@（零纤维是标准 A³），但 @@M@@\nabla F(2,0,-\tfrac12,\tfrac12)=0@@。
坐标的梯度不能在任何点为零——否则所在自同构的 Jacobi 矩阵在该点不可逆，与”逆也是多项式”矛盾；死点宣判 F 不是坐标。验证零纤维同构的双向换算公式在论文附录中逐项给出，可以手动代入检查。添加新变量后死点仍在，于是每个维数 ≥4 都有反例。
为什么值得关心
二变量的对应断言是经典的 Abhyankar–Moh–Suzuki 定理，四变量是第一个失败维度；它干净地区分了”超曲面本身是仿射空间”与”多项式是坐标”这两件长期被猜测等价的事，且主定理已通过机器验证。
已 Lean 形式化
第一级台阶
导读把超曲面嵌入比作”把标准剪纸放进四维空间摆正姿势”。翻译成半数学语言：对象是四变量多项式及其零解集这张”剪纸”；操作是问环境的多项式坐标替换能否把剪纸送到标准位置。猜想说剪纸本身标准则必能摆正；反例是一张标准的剪纸，怎么转都摆不正——理由出奇地简单：多项式身上有一个”梯度为零”的死点。
第二级台阶
用本科术语精确化：多项式称为坐标，若它是某个多项式自同构的第一分量；自同构的 Jacobi 矩阵（斜率总表）因逆也是多项式而必须处处可逆，故坐标的梯度不能在任何点为零。零纤维指 f=0 的解集超曲面；临界点是所有偏导同时为零的平台点。猜想断言：零纤维是仿射空间的多项式必是坐标。
第三级台阶
定理 1.1 在此陈述：从尖点参数化 x=u³+hv、y=−u²+hw 出发构造 s 与 p，令 F=h−p−1，则商环同构于三元多项式环（零纤维确实是仿射三空间——猜想的前提完全满足），而梯度在点 (2,0,−1/2,1/2) 处为零。死点落在另一条纤维上，恰不与前提冲突。一次 Jacobi 论证宣判 F 不是坐标：Abhyankar–Sathaye 猜想在环境维数四死亡，添变量后传染到一切更高维数。
论文在 @@M@@\mathbb C[h,u,v,w]@@ 中显式构造多项式 @@M@@F@@：零超曲面同构于 @@M@@\mathbb A^3@@（商环为 @@M@@\mathbb C^{[3]}@@），但 @@M@@F@@ 不是坐标，从而否定 Abhyankar–Sathaye 嵌入猜想；添加变量即得一切环境维数 @@M@@\ge4@@ 的反例。
Abhyankar–Sathaye 猜想（特征零）问：若 @@M@@\mathbb C[z_1,\ldots,z_n]/(f)\cong\mathbb C^{[n-1]}@@，即零超曲面是仿射空间，@@M@@f@@ 是否必为坐标（coordinate），即仿射空间 @@M@@\mathbb A^n@@ 的某多项式自同构的第一分量？几何上等价于：@@M@@\mathbb A^{n-1}\hookrightarrow\mathbb A^n@@ 的超曲面嵌入能否被环境多项式自同构送到坐标超平面。@@M@@n=2@@ 由 Abhyankar–Moh–Suzuki 定理肯定。高维长期只有对受限形状方程的肯定结果：Sathaye 与 Russell 的线性平面、Kaliman–Vénéreau–Zaidenberg 与 Maubach 对 @@M@@a(x)y+b(x,z,t)@@ 型方程、以及 Ghosh 与 Ghosh–Gupta–Pal 的系列定理。卡点在于：商环有一个抽象的多项式呈现，并不自动给出环境多项式环的自同构；Sathaye 早已区分”坐标（满同态）问题”与更弱的”零纤维是仿射空间”问题。Shpilrain–Yu 进一步用环境临界轨迹（critical locus，梯度全为零的点集）区分同构超曲面的不等价嵌入，并问：零纤维同构于坐标超平面时，梯度是否必无处为零？本文在环境维数 4 给出否定回答。
构造从尖点参数化 @@M@@(u^3,-u^2)@@ 出发，用 @@M@@h@@ 的独立倍数扰动两个分量：
@@M@@Dx=u^3+hv,\qquad y=-u^2+hw,@@
@@M@@Ds=2u^3v+3u^4w+h(v^2-3u^2w^2)+h^2w^3,@@
它满足尖点恒等式 @@M@@x^2+y^3=hs@@。令 @@M@@p(x,y,s)=-2s^2x+3sy^2-3s^3y@@，定义 @@M@@F=h-p(x,y,s)-1\in R=\mathbb C[h,u,v,w]@@。
主定理（Theorem 1.1）：@@M@@R/(F)\cong\mathbb C^{[3]}@@，且梯度 @@M@@\nabla F@@ 在点 @@M@@P=(2,0,-1/2,1/2)@@ 处为零（@@M@@P@@ 位于纤维 @@M@@F=-1@@ 上）。多项式自同构的 Jacobi 矩阵处处可逆，其第一分量的梯度不能在任何点为零，故 @@M@@F@@ 不是坐标；零纤维因同构于 @@M@@\mathbb A^3@@ 而光滑。
推论（Corollary 1.2）：对每个 @@M@@n\ge4@@，都存在 @@M@@f\in\mathbb C[z_1,\ldots,z_n]@@ 使商环为 @@M@@\mathbb C^{[n-1]}@@ 而 @@M@@f@@ 不是坐标——把 @@M@@F@@ 添加变量即可，临界点障碍保持。三变量情形本文未处理。
证明分正反两步。第一步证零纤维是仿射空间，核心是一个对任意交换基环都成立的提升引理（lifting lemma）：若 @@M@@B@@ 中元素 @@M@@h,x,y,s@@ 满足 @@M@@x^2+y^3=hs@@ 且 @@M@@(h,y)=B@@，则 @@M@@B[U,V,W]@@ 模去三条关系 @@M@@U^3+hV-x@@、@@M@@-U^2+hW-y@@、@@M@@S(h,U,V,W)-s@@ 后同构于 @@M@@B[T]@@。证明先做替换 @@M@@G=V+UW@@ 把关系线性化；再取 Bézout 系数 @@M@@\alpha h+\beta y=1@@，把两条相容的线性方程（相容性恰由尖点关系保证）用系数组合生成 @@M@@1@@ 的方式、不经任何除法地解出第三个变量；最后 @@M@@U=hT-\beta x@@、@@M@@G=yT+\alpha x@@ 与 @@M@@T=\alpha U+\beta G@@ 互逆，把代数等同于 @@M@@B[T]@@。妙处在于基环允许零因子、方程系数并非单位，一切都在”生成单位理想”的层面完成。
应用时取辅助代数 @@M@@B=\mathbb C[h,x,y,s]/(h-1-p,\,x^2+y^3-sh)@@。平移 @@M@@X=x+s^3@@、@@M@@Y=y-s^2@@ 配合恒等式 @@M@@X^2+Y^3=x^2+y^3-sp@@ 恰好把 @@M@@B@@ 变成 @@M@@\mathbb C[X,Y,s]/(X^2+Y^3-s)\cong\mathbb C[X,Y]@@；@@M@@(h,y)=B@@ 由”模 @@M@@(h,y)@@ 得 @@M@@x^2=0@@ 与 @@M@@1=2s^2x@@，平方得 @@M@@1=0@@“验证。把引理用在这个 @@M@@B@@ 上，三条关系恰好消去 @@M@@x,y,s@@，剩下的一条正是 @@M@@F=0@@，于是 @@M@@R/(F)\cong B[T]\cong\mathbb C[X,Y,T]@@：零纤维显式同构于 @@M@@\mathbb A^3@@，附录还给出双向多项式坐标和单位理想条件的多项式证书。
第二步证 @@M@@F@@ 不是坐标。回到环境环，同样的恒等式给出 @@M@@X^2+Y^3=s(1+F)@@。在 @@M@@P@@ 处 @@M@@x=-1@@、@@M@@y=1@@、@@M@@s=1@@、@@M@@p=2@@，于是 @@M@@X=Y=0@@、@@M@@F=-1@@；微分上式得 @@M@@2X\,dX+3Y^2\,dY=(1+F)\,ds+s\,dF@@，在 @@M@@P@@ 处退化为 @@M@@dF=0@@，即 @@M@@\nabla F(P)=0@@。这正是 Shpilrain–Yu 强调的临界点障碍：若 @@M@@F@@ 是某多项式自同构的第一分量，该自同构在 @@M@@P@@ 的 Jacobi 矩阵第一行全为零、行列式为零；但自同构有多项式逆，链式法则要求其 Jacobi 矩阵处处可逆——矛盾。添加变量后新变量的导数全为零，原四个导数在 @@M@@(P,0,\ldots,0)@@ 仍为零，障碍保持，得到任意维数的反例。文中还指出 @@M@@h,x,y,s@@ 都落在三角导子（triangular derivation）@@M@@h\partial_u-3u^2\partial_v+2u\partial_w@@ 的核中，与 Maubach 的三角单项式核计算相呼应。
主结果已 Lean 形式化。同族十月的姊妹篇进一步加强：构造出每条纤维都是 @@M@@\mathbb A^3@@、添加一个变量即成坐标、却不是坐标的多项式，同时推翻稳定坐标猜想；那篇暂无形式化证明。按 OpenAI 官方声明，未经形式化的结果可能有问题。本文正面部分全为显式多项式恒等式（附录给出逆映射），反面部分只用一次 Jacobi 论证，结构简单、易于独立复核。
问 1：证明中最关键、也最脆弱的一步是什么？
（答：提升引理（Lemma 2.1）：对任意交换基环 B，只要 x²+y³=hs 且 (h,y)=B，商代数 C=B[U,V,W]/(三条关系) 就同构于 B[T]。妙处在于全程无除法——系数不是单位、基环允许零因子，两条相容线性方程靠”系数生成单位理想”解出。若应用处 (h,y)=B 的验证（模 (h,y) 得 x²=0 与 1=2s²x，平方导出 1=0）有误，零纤维的仿射空间识别即告失效。）
问 2：临界点为什么恰好落在纤维 F=−1 上而不是零纤维上？
（答：环境恒等式 X²+Y³=s(1+F) 把死点安排在另一条纤维：在 P=(2,0,−1/2,1/2) 处 X=Y=0、F=−1，微分后退化为 dF=0。若死点落在零纤维上，零纤维就不会光滑、更不会同构于仿射空间，猜想的前提先被破坏；把障碍移到旁边一条纤维，正是构造的精妙所在。）
问 3：与已有工作相比真正的新意是什么？
（答：二维情形由 Abhyankar–Moh–Suzuki 肯定；高维只有受限形状方程的正面结果（Sathaye–Russell 线性平面、Kaliman–Vénéreau–Zaidenberg 与 Maubach 的 a(x)y+b(x,z,t) 型、Ghosh 系列定理）。本文给出四变量无形状限制的第一个反例，并直接否定回答 Shpilrain–Yu 的梯度问题——零纤维同构于坐标超平面时梯度仍可有零点。）
问 4：这类 AI 生成证明最可能出错的模式是什么？此处风险如何？
（答：此类证明最怕长链条恒等式簿记；但本文结构异常短——正面是一个引理加显式互逆公式（附录连单位理想的多项式证书都给出），反面只是一次 Jacobi 论证。主定理已通过 Lean 形式化，属机器验证档；残余风险仅在未形式化的推论叙述与后续引用习惯上。）
问 5：Jacobi 论证凭什么一次就杀死坐标性？
（答：若 F 是某多项式自同构的第一分量，则该自同构在 P 的 Jacobi 矩阵第一行恰是 ∇F(P)=0，行列式为零；但自同构有多项式逆，链式法则作用于”自同构与其逆复合为恒等”迫使 Jacobi 矩阵处处可逆——矛盾。添加变量后新变量导数全零、原四导数在 (P,0,…,0) 仍为零，障碍原样传播。）
问 6：为什么三变量情形仍然开放？
（答：论文明言三变量不在处理范围。障碍的构造依赖四变量环中尖点参数化加 h 扰动的自由度；而三变量端有 Kaliman 型定理（ℂ³ 上一般纤维为 ℂ² 的多项式是坐标）等正面力量守门，反例所需的”零纤维标准、别处有死点”配置在三变量下能否实现，论文未展开。）
问 7：谁会用到它？
（答：仿射嵌入与坐标理论的研究者——环境维数不小于四的 Abhyankar–Sathaye 自此关闭，Shpilrain–Yu 的临界轨迹方法获得首个正向应用样本；十月姊妹篇在其上再进一步，造出每条纤维都是仿射三空间的稳定坐标反例。它是整族反例工程中已被机器验证的那块基石。）
以最短的证明、最显式的方程击落一个高维悬置猜想，且主定理经 Lean 形式化，是本族结果中可靠性与锋利度兼备的标杆；剩余开放点只在三变量情形与姊妹篇未形式化的加强部分。