结果族 049：A stable-coordinate counterexample in four variables · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
多项式世界有个”转正”游戏：一个多项式若能充当整套变量替换的一环，就称它为坐标。有些多项式单独不成器，可只要白送它一个新变量就能转正——大家猜想这种”迟到的转正”其实早就兑现。本文造出第一个反例：它永远差一步。
关键词卡片
看个具体例子
在四变量环 R=C[x₁,x₂,x₃,x₄] 中令 Q=x₂²−x₄²+x₁x₃，取
@@M@@f=x_1-2Q\bigl(Q(x_2+x_4)+x_1x_4\bigr)@@
定理（数字版）：R[w] 存在把 f 送到 x₁ 的自同构，但 R 上不存在任何这样的自同构。前半句是显式的多项式替换，可以逐项代入验证；后半句的证明则要动用滤过、线丛提升与刚性等一整套重机械。同时，对每个 λ∈C，超曲面 f⁻¹(λ)≅A³，且这些嵌入都不可矫正——Abhyankar–Sathaye 嵌入猜想在环境维数 4 一并被否定。
为什么值得关心
四变量是反例可能出现的最低维数：一、二、三维都有正面定理，长期让人倾向相信猜想；这个显式反例一次推翻稳定坐标与嵌入两个悬置猜想。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把坐标比作多项式世界的”转正游戏”：能充当整套变量替换一环的元素算转正；有人单独不成器，白送一个新变量后却能转正。猜想说这种迟到的转正其实早就兑现。翻译成半数学语言：对象是多元多项式环里的一个元素；操作是问它能否被补全成一组完整变量。反例是一个显式写出的元素——添一个变量后可补全，在原环里永远补不全。
第二级台阶
用本科术语精确化：f 称为坐标，若存在伙伴元素使整个多项式环由它们生成，等价于某个多项式自同构把 f 送到第一个变量；一稳定坐标指添一个独立变量后成为坐标。几何侧的姊妹概念：f 取定值的解集超曲面称为纤维；一个嵌入称为可矫正，若环境自同构能把它拉直到坐标超平面的标准位置。
第三级台阶
定理 1.1 在此陈述：在四变量环中取 Q=x₂²−x₄²+x₁x₃ 与五次多项式 f=x₁−2Q(Q(x₂+x₄)+x₁x₄)，则添一个变量后的环有自同构把 f 送到 x₁，原环没有。四维是反例可能的最低维数——一至三维早有正面定理；这一最低性挡住的是低维曲面消去与嵌入工具的继续延伸。推论随即给出几何版：每条纤维都同构于三维仿射空间，嵌入却不可矫正，Abhyankar–Sathaye 嵌入猜想在环境维数四被一并否定。
论文构造出四变量五次多项式 @@M@@f@@：添加一个独立变量后，@@M@@R[w]@@ 的自同构能把 @@M@@f@@ 送到 @@M@@x_1@@，而 @@M@@R@@ 的自同构不能，从而在四变量情形推翻稳定坐标猜想；@@M@@f@@ 的每条纤维都同构于 @@M@@\mathbb A^3@@ 但嵌入不可矫正，一并否定环境维数 4 的 Abhyankar–Sathaye 嵌入猜想。
多项式环 @@M@@k[x_1,\ldots,x_n]@@ 中的元素 @@M@@f@@ 称为坐标（coordinate），若存在 @@M@@f_2,\ldots,f_n@@ 使 @@M@@k[x_1,\ldots,x_n]=k[f,f_2,\ldots,f_n]@@，等价于某个多项式自同构把 @@M@@f@@ 送到 @@M@@x_1@@。若 @@M@@f@@ 在添加独立变量后成为坐标，则称稳定坐标（stable coordinate）；Shpilrain–Yu（2002）猜想：添加有限个变量后是坐标，则原本就是坐标。低维答案已知为肯定：单变量情形初等，二、三变量由 Shpilrain–Yu 借助 Abhyankar–Moh 嵌入定理、仿射曲面消去与 Kaliman 的定理证明，因此四变量是第一个可能出现反例的维数。几何侧的姊妹问题是 Abhyankar–Sathaye 嵌入猜想：特征零时，若 @@M@@k[x_1,\ldots,x_n]/(g)@@ 是多项式环（零超曲面同构于 @@M@@\mathbb A^{n-1}@@），则 @@M@@g@@ 是坐标；即 @@M@@\mathbb A^{n-1}\hookrightarrow\mathbb A^n@@ 的嵌入总可被环境自同构拉直（rectifiable）。此前的卡点：四变量的 Vénèreau 多项式长期是试验场——Lewis（2013）证明第二个 Vénèreau 多项式是坐标，Blanc–Poloni（2022）对一族相关多项式证明了一稳定性；这说明”稳定化后是坐标”可以显式验证，而”原本不是坐标”一直缺少可行的方法。
主定理（Theorem 1.1）：在 @@M@@R=\mathbb C[x_1,x_2,x_3,x_4]@@ 中令
@@M@@DQ=x_2^2-x_4^2+x_1x_3,\qquad f=x_1-2Q\bigl(Q(x_2+x_4)+x_1x_4\bigr).@@
则存在 @@M@@R[w]@@（@@M@@w@@ 为新增独立变量）的 @@M@@\mathbb C@@-代数自同构把 @@M@@f@@ 映为 @@M@@x_1@@，但不存在 @@M@@R@@ 的这种自同构。换言之，@@M@@f@@ 是一稳定坐标（one-stable coordinate）而非坐标，给出稳定坐标猜想在四变量的反例。
推论（Corollary 1.2）：对每个 @@M@@\lambda\in\mathbb C@@，超曲面 @@M@@f^{-1}(\lambda)\subset\mathbb A^4@@ 同构于 @@M@@\mathbb A^3@@，且其嵌入不可矫正。这否定 Abhyankar–Sathaye 嵌入猜想在环境维数 4 的情形——即使所有纤维同时都是仿射空间，嵌入仍可能拉不直。
论文交替使用同一四变量多项式环的两种呈现。先把它写成五变量环 @@M@@P=k[p,s,u,F,J]@@ 中的超曲面 @@M@@A=P/(H)@@，其中 @@M@@x=s^2-u^2+pF@@，@@M@@H=x^2F-(1+2sx)J-pJ^2-u@@。一个保行列式的 @@M@@2\times2@@ 矩阵变换（形如 @@M@@M\mapsto(I_2-2ne^{\mathsf t})M@@，幂零性保证行列式不变）把 @@M@@H@@ 变成对某坐标线性，从而 @@M@@A\cong k[p',s',F',J]@@，且 @@M@@p@@ 恰变为定理中的 @@M@@f@@。再证稳定化：在局部坐标中取 @@M@@\Delta=-p\,\partial_u@@，逐项验证它是局部幂零导子（locally nilpotent derivation）且 @@M@@\Delta(H)=p@@；于是 @@M@@\exp(w\Delta)@@ 是 @@M@@P[w]@@ 的多项式自同构，固定 @@M@@p@@ 并把 @@M@@H@@ 送到 @@M@@H+pw@@；再做一次行列式为 1 的线性替换并平移 @@M@@w'=w+Q_0@@，即可消去一个变量而得 @@M@@P[w]/(H+pw)\cong k[p,s,u,N,w']@@，故 @@M@@p@@ 是 @@M@@A[w]@@ 的坐标。同样的计算顺带识别出所有纤维：@@M@@\lambda=0@@ 时 @@M@@A/(p)\cong k[s,u,N]@@，@@M@@\lambda\ne0@@ 时 @@M@@A/(p-\lambda)\cong k[x,y,z]@@，每条纤维都是 @@M@@\mathbb A^3@@。
真正困难的是证明 @@M@@p@@ 不是 @@M@@A@@ 的坐标。第一步：给 @@M@@P@@ 的生成元赋权 @@M@@(p,s,u,F,J)\mapsto(-1,0,0,1,1)@@——@@M@@p@@ 的权为负，负指标滤过必不可少——商滤过的伴随分次环（associated graded ring）形如 @@M@@G=B[\tau,I/\tau]\subset B[\tau,\tau^{-1}]@@，其中 @@M@@B=k[x,y,z,u]/(xy-z(z+1))@@ 是二次曲面环，@@M@@\tau@@ 是 @@M@@p@@ 的初始形式，@@M@@I=(f_0,g_0)@@ 是 @@M@@B@@ 中两生成元的显式理想；这是 Kaliman–Zaidenberg 意义下的仿射修正（affine modification）。若 @@M@@p@@ 是坐标，对其余坐标变量之一求导给出 @@M@@A@@ 上非零局部幂零导子 @@M@@D@@；@@M@@D@@ 在滤过上诱导齐次导子 @@M@@D_0@@，再降到 @@M@@B@@ 上得到非零局部幂零导子 @@M@@E@@，其核含有 @@M@@I@@ 中某个非零元 @@M@@h@@。
第二步把这一障碍搬到线丛上排除。令 @@M@@C=k[a,d,b,c,u]/(ac-bd-1)@@（几何上是 @@M@@\mathrm{SL}_2@@ 商去对角环面再乘 @@M@@\mathbb A^1@@），@@M@@\Spec C\to\Spec B@@ 是某线丛去掉零截面，且理想 @@M@@I@@ 扩到 @@M@@C@@ 后变为主理想 @@M@@(v)@@，@@M@@v=a^3b+a^2u^2-d^2@@。由”线丛上的加法群作用可线性化”的提升引理（Brion 式论证），@@M@@E@@ 的指数作用可提升为与纤维缩放交换的线性作用，微分后得到 @@M@@C@@ 上保持纤维权（@@M@@\mathrm{wt}(a,d,b,c,u)=(1,1,-1,-1,0)@@）的局部幂零导子 @@M@@\widetilde E@@；由 @@M@@h=vq@@ 与”杀死乘积必杀死每个因子”的引理得 @@M@@\widetilde E(v)=0@@。最后是刚性矛盾：再引入辅助分次 @@M@@(0,1,-1,0,1)@@，取 @@M@@\widetilde E@@ 的最高齐次分量 @@M@@E'@@（仍是保权的局部幂零导子），条件归结为 @@M@@E'(a^2u^2-d^2)=0@@；平方差分解 @@M@@(au-d)(au+d)@@ 迫使 @@M@@E'@@ 固定 @@M@@a,d,u@@。微分 @@M@@ac-bd=1@@ 得 @@M@@E'(b)=aq@@、@@M@@E'(c)=dq@@；在 @@M@@k(a,d,u)@@ 上局部化后剩余代数是 @@M@@K[b]@@，局部幂零性迫使 @@M@@q\in K@@，再用两个坐标卡相交得 @@M@@q\in k[a,d,u]@@。但保纤维权要求 @@M@@q@@ 的权为 @@M@@-2@@，而 @@M@@k[a,d,u]@@ 的生成元权只有 @@M@@1,1,0@@——不可能，矛盾完成证明。
本文暂无形式化证明，请以社区核验为准；按 OpenAI 官方声明，未经形式化的结果可能有问题。正面部分（稳定化自同构、纤维同构于 @@M@@\mathbb A^3@@）全部是显式多项式替换，可独立复核；否定部分是”滤过—线丛提升—刚性”的导子障碍链，论文引言说明定理所需的每个构造与障碍均在文中证明，策略改编自族内关于仿射空间消去问题的姊妹文章（文中引作 Cancellation2026）。同族九月的姊妹篇（零纤维为 @@M@@\mathbb A^3@@ 的非坐标多项式）主结果已 Lean 形式化；本文将其加强为”所有纤维都是 @@M@@\mathbb A^3@@ 且不可矫正”，并首次给出稳定坐标猜想的反例。
问 1：证明中最关键、最脆弱的一步是什么？
（答：否定部分的三段导子障碍。给环赋权（p 的权为负一）得到负指标滤过，若 f 是坐标则二次曲面环 B 上必出现核含 I 中非零元的局部幂零导子；再经 SL₂ 型线丛把 I 主化为 (v)，用 Brion 式线性化把作用提升到与纤维缩放交换；最后用第二个辅助分次的最高分量与平方差分解 (au−d)(au+d) 逼出”系数须同时是 a,d,u 的多项式且带负纤维权”的矛盾。最脆处是负次数滤过的导子传递——引言自承此处需要格外小心。）
问 2：为什么说四变量是反例的最低维数？
（答：一个变量的情形初等；两、三维由 Shpilrain–Yu 借 Abhyankar–Moh 嵌入定理、Fujita 与 Miyanishi–Sugie 的仿射曲面消去及 Kaliman 的 ℂ³ 定理证明肯定。所以四维是猜想可能死亡的第一现场，而本文恰在此处用一个添加变量就完成击杀。）
问 3：与 Vénéréau 多项式的已有工作相比真正的新意是什么？
（答：Vénéréau 族是长期试验场，但 Lewis 只证第二个 Vénéréau 多项式是坐标、Blanc–Poloni 证了一族相关多项式的一稳定性——全是正面或半正面案例。本文首次给出”稳定却非坐标”的多项式，同时以”每条纤维都是仿射三空间且不可矫正”否定 Abhyankar–Sathaye；技术上用平方差分解取代了姊妹消去文章中的 Mason–Stothers abc 估计。）
问 4：这类 AI 生成证明最可能出错的模式是什么？
（答：两套环呈现之间的显式变换簿记——保行列式的矩阵变换、指数化 exp(wΔ) 的逐项验证——这部分可独立复核、风险较低；真正的风险在障碍链的权值计算：纤维权 (1,1,−1,−1,0) 与辅助分次 (0,1,−1,0,1) 错一位，最终”负权多项式不可能”的矛盾就会静默消失，而中间引理个个看似成立。）
问 5：为什么”每条纤维都是仿射三空间”仍推不出可矫正？
（答：矫正意味着环境自同构把 f⁻¹(λ) 送到坐标超平面，即把主理想 (f−λ) 搬到某个坐标生成的主理想——两个生成元只能差非零常数，f−λ 从而 f 就是坐标，与主定理矛盾。纤维同构于仿射空间只约束商环结构，矫正约束的是嵌入，二者之间的鸿沟正是反例栖身之处。）
问 6：这个反例会不会连带推翻消去问题？
（答：不会直接推翻。Makar-Limanov–van Rossum–Shpilrain–Yu 2004 年证明的是”稳定坐标猜想成立则消去成立”的蕴含；本文反例切断的是蕴含的前件。且这里环境空间已是仿射四空间，障碍集中在那个特定多项式上，而非整个商簇——真正的消去反例由同族姊妹文章另行给出。）
问 7：谁会用到它？
（答：多项式自同构群、仿射嵌入与坐标理论的研究者——一个显式的”永远差一步”样本校准了稳定化的极限；Abhyankar–Sathaye 纲领中环境维数四自此划入反例区。主定理暂无形式化，引用宜待社区核验。）
在反例可能的最低维数一次放倒稳定坐标与嵌入两个猜想，多项式显式、纤维全透明；最大风险在负权滤过与权值簿记的静默错误——那正是此类导子论证最难复查、又未被机器验证的部分。