结果族 209：Integral counterexamples to Gersten’s conjecture · 学科：Algebra · 验证状态：暂无形式化证明，请以社区核验为准
还是那间规整仓库：猜想相信每件货物摊平到大市场后都不会隐形。这篇姊妹篇则造出一件货物 @@M@@c@@——在分式域那杆秤上称是 @@M@@0@@ 克，换一杆”模 @@M@@5@@“的秤再称却明明白白非零。它不是不存在，只是在特定秤上隐形；靠这杆新秤，论文在度 @@M@@3@@ 否定了同一个猜想。
关键词卡片
@@M@@K_n@@ 映射应当单射等一揽子断言。@@M@@\{u,1-u\}=0@@，本文靠它把构造中的边界清零。@@M@@x^n+\cdots+p@@ 的特殊多项式，由它造出的环天然分歧。看个具体例子
取五次单位根 @@M@@\zeta@@，在五次曲面 @@M@@(X-Z)^5-XY^4+Y^5+\zeta Z^5=0@@ 的特殊点 @@M@@m=[0:0:1]@@ 处取局部环 @@M@@A@@。关键除子 @@M@@y=0@@ 上的单值化元 @@M@@t@@ 满足 @@M@@(1-t)^5=\zeta@@、范数 @@M@@N(t)=1-\zeta@@，其赋值恰为 @@M@@1@@。构造出的整类 @@M@@c\in K_3(A)@@ 满足一对”数字版定理”：
@@M@@Dc\big|_{\operatorname{Frac}A}=0,\qquad c\bmod 5\neq 0.@@
第一式说它在分式域隐形（猜想由此被否定），第二式说它绝非零类；而范数赋值 @@M@@v_L(N(t))=1@@ 正是让第二式显形的那粒砝码。环里”完全分歧却剩余次数为一”的落差，恰好让这粒砝码躲过所有会杀掉它的检验，非平凡性由此而来。
为什么值得关心
与度 @@M@@5@@ 的姊妹篇互相独立、互不引用，合起来表明整性 Gersten 失败在度 @@M@@3@@ 与度 @@M@@5@@ 都出现，反例绝非孤例。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的”两杆秤”换成更平实的说法：对象仍是环——可以加减乘、未必能除的代数系统；对它有两种基本操作，一是”摊平”，即扩大成分式域让一切非零元可逆，二是”换秤”，即只看模 @@M@@5@@ 之后残存的信息。账本仍是那列按层登记线性代数信息的群。猜想相信摊平不丢条目；本文的货物在摊平时隐形，换上模 @@M@@5@@ 的秤却明明白白显形。
第二级台阶
精确化几个概念。”离散赋值环”（DVR）是带单一参数 @@M@@t@@ 的最简单一维局部环，每个非零元素都有唯一的可除次数。”Eisenstein 多项式”是首一、其余系数被素元整除、常数项不被素元平方整除的多项式，由它作出的扩张必然全分歧。设 @@M@@\zeta@@ 为本原五次单位根，@@M@@L=\mathbb{Q}_5(\zeta)@@，@@M@@V@@ 为其整数环，@@M@@\pi=1-\zeta@@；对有限扩张 @@M@@D/L@@，”范数” @@M@@N_{D/L}@@ 把元素乘遍全部共轭，”剩余次数” @@M@@[k_D:\F_5]@@ 是 @@M@@D@@ 的剩余域相对 @@M@@\F_5@@ 的扩张次数。
第三级台阶
定理在五次平面模型 @@M@@(X-Z)^5-XY^4+Y^5+\zeta Z^5=0@@ 特殊纤维上的点 @@M@@m=[0:0:1]@@ 处取局部环 @@M@@A@@：二维正则局部、混合特征 @@M@@(0,5)@@、@@M@@\pi\in\mathfrak m_A^2@@。两个假设各挡一种麻烦：正则性是猜想自身的前提；分歧（@@M@@\pi\in\mathfrak m^2@@、特殊纤维在 @@M@@m@@ 奇异）让 @@M@@A@@ 恰好落在 Skalit 的非分歧定理与 Geisser–Levine、Druzhinin 的光滑定理的射程之外。关键除子 @@M@@y=0@@ 的函数域 @@M@@D@@ 在 @@M@@L@@ 上全分歧五次、剩余次数却为 @@M@@1@@——这一落差提供范数赋值 @@M@@v_L(N_{D/L}t)=1@@ 的砝码。结论：存在整类 @@M@@c\in K_3(A)@@，在分式域上为零、模 @@M@@5@@ 非零，故 @@M@@K_3(A)\to K_3(\Frac A)@@ 不单射，无限制整系数 Gersten 猜想在度 @@M@@3@@ 失败。
本文在混合特征 @@M@@(0,5)@@ 的二维分歧正则局部环——分圆五次平面模型 @@M@@(X-Z)^5-XY^4+Y^5+\zeta Z^5=0@@ 特殊点处的局部环——上构造整类 @@M@@c\in K_3(A)@@，它在分式域上变为零但自身非零，从而在度 3 否定无限制整系数 Gersten 猜想。
Gersten 猜想断言正则局部环 (regular local ring) @@M@@B@@ 的增广剩余复形 @@M@@0\to K_n(B)\to K_n(F_B)\to\cdots@@ 正合，首当其冲是到分式域 (fraction field) 的单射性；Gersten 最初的提问之一是剩余域到离散赋值环的转移映射是否为零，局部化理论把转移的像与这个核等同起来。Quillen 证明了域上有限型代数的情形，Sherman 处理等特征 DVR，Panin 完成等特征情形；混合特征 (mixed characteristic) 下 Geisser–Levine、Druzhinin 要求对离散赋值环 (DVR) 光滑，Skalit 要求非分歧。难点在整性：Feld 的模 3 度 2 反例只有有限系数核，整系数映射在那儿仍单射——系数核可能有非零边界而无法整提升，即使提升，泛像也可能被系数素整除。本文的环满足 @@M@@5\in\mathfrak m_A^2@@ 且特殊纤维奇异，落在所有已知正面定理的射程之外。
固定本原五次单位根 @@M@@\zeta@@，令 @@M@@L=\mathbb{Q}_5(\zeta)@@、@@M@@V=\OO_L@@、@@M@@\pi=1-\zeta@@。设 @@M@@\mathcal X\subset\mathbb P^2_V@@ 为五次超曲面 @@M@@(X-Z)^5-XY^4+Y^5+\zeta Z^5=0@@，取特殊纤维上的点 @@M@@m=[0:0:1]@@，令 @@M@@A=\OO_{\mathcal X,m}@@。定理断言：@@M@@A@@ 是混合特征 @@M@@(0,5)@@ 的二维 Noetherian 正则局部整环，且 @@M@@\pi\in\mathfrak m_A^2@@（分歧、不平滑）；存在整类 @@M@@c\in K_3(A)@@ 使得
@@M@@Dc|_{\Frac A}=0,\qquad c|_{A[1/\pi]}\bmod5\ne0\ \ \text{于}\ G_3(A[1/\pi];\mathbb{Z}/5),@@
特别地 @@M@@K_3(A)\to K_3(\Frac A)@@ 不单。第二式立得 @@M@@c\notin5K_3(A)@@；论文不决定 @@M@@c@@ 的阶及其有理化像。与 Feld 的做法不同，这里的整提升被直接安排在除子上：支集先保证泛消去，非零性留待范数检验。
先建立模型与算术输入。特殊纤维多项式 @@M@@X^5-XY^4+Y^5@@ 借 @@M@@s^5-s+1@@ 在 @@M@@\F_5@@ 上的不可约性（其根的 Frobenius 轨道长度恰为 5）保证一般曲线 @@M@@C=\mathcal X_L@@ 积分；定义方程模 @@M@@\mathfrak m^2@@ 余 @@M@@-\pi@@，故 @@M@@A@@ 正则且 @@M@@\pi\in\mathfrak m_A^2@@。关键除子取 @@M@@y=0@@：其商 @@M@@S=A/yA\cong V[t]/((t-1)^5+\zeta)@@ 是 Eisenstein 多项式 (Eisenstein polynomial) 定义的离散赋值环，单值化元 @@M@@t@@ 的分式域 @@M@@D@@ 在 @@M@@L@@ 上全分歧五次，范数 (norm) 满足 @@M@@N_{D/L}(t)=\pi@@，且 @@M@@(1-t)^5=\zeta@@；对应闭点 @@M@@q_0@@ 的剩余域 (residue field) 为 @@M@@D@@ 而剩余次数 (residue degree) 为 1；这一”全分歧但剩余次数为一”的落差正是非平凡检验的来源。模型的核心算术事实是：凡不在 @@M@@m@@ 特殊化的闭点，剩余次数必被 5 整除。
再构造整类。取 @@M@@\beta\in K_2(L;\mathbb{Z}/5)@@ 边界为 @@M@@[\zeta]@@，令 @@M@@a_D=\beta_D\cdot[t]\in K_3(D;\mathbb{Z}/5)@@。其系数边界 @@M@@=\pm5\{\eta,1-\eta\}=0@@——这里正是 Steinberg 关系 (Steinberg relation) 出场：@@M@@\zeta=\eta^5@@ 与 @@M@@t=1-\eta@@ 把 @@M@@[\zeta]\cdot[t]@@ 变成五倍的 Steinberg 符号。有个细节值得留意：@@M@@\beta_D@@ 自身的边界 @@M@@[\zeta]@@ 在整群 @@M@@K_1(D)=D^\times@@ 中并非零，@@M@@\zeta@@ 成为五次幂只使它在 @@M@@D^\times/D^{\times5}@@ 中消失；真正杀死乘积 @@M@@a_D@@ 之边界的是 Steinberg 关系。故 @@M@@a_D@@ 可整提升到 @@M@@K_3(D)@@；又因 Quillen 算得 @@M@@K_2(\F_5)=0@@，经局部化再提升到 @@M@@K_3(S)@@；沿除子闭浸入推送得 @@M@@c\in K_3(A)@@，支集性质保证 @@M@@c|_{\Frac A}=0@@，且 @@M@@c|_T\bmod5=i_*a_D@@（@@M@@T=\Spec A[1/\pi]@@）。
最后用范数赋值检验非零。域论引理（Friedlander–Suslin 动机到 K 理论谱序列、Suslin 的乘法比较、范数剩余定理，配合局部域的 @@M@@5@@-上同调维数为 2）给出同构 @@M@@\theta_E:E^\times/E^{\times5}\cong K_3(E;\mathbb{Z}/5)@@；投影公式使域转移对应范数，于是赋值泛函 @@M@@\lambda_L=(v_L\bmod5)\circ\theta_L^{-1}@@ 杀掉一切来自剩余次数被 5 整除的域的转移类，而 @@M@@a_D@@ 的转移赋值为 @@M@@v_L(\pi)=1@@。检测时注意 @@M@@T@@ 是 @@M@@C@@ 的仿射开集 @@M@@U_h@@ 的平展逆极限而非开子集：Quillen 连续性定理把 @@M@@c|_T\bmod5@@ 的消失降到某个有限阶段 @@M@@U_h@@；局部化序列把 @@M@@w=(q_0)_*\theta_D(t)@@ 写成被省略点上支撑的类之和，这些点的剩余次数都被 5 整除，故逐项被 @@M@@\lambda_L@@ 杀死，得 @@M@@\lambda_L(p_*w)=0@@；但直接计算给出 @@M@@\lambda_L(p_*w)=v_L(N_{D/L}t)=1@@，矛盾。整个论证在可能奇异的 @@M@@C@@ 上以凝聚 G-理论 (coherent K-theory) 进行，避免任何光滑性假设。
本文暂无形式化证明。姊妹篇在 @@M@@5+x^4+y^4@@ 模型上独立给出度 5 的整性反例（分圆整提升加 Picard 特殊化检验），两文互不依赖、互不引用，合观之无限制整系数 Gersten 猜想在度 3 与度 5 均告失败，但均未确定最小失败度。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明里最脆弱的一环在哪里？
（答：非零性的范数赋值检验（第 5 节）。它要求三件事同时成立：@@M@@T=\Spec A[1/\pi]@@ 上模 5 约化的消失可用 Quillen 连续性降到某个有限仿射开集；局部化序列把 @@M@@(q_0)_*(\beta_D\cdot[t])@@ 写成被省略点支撑的类之和；而这些点的剩余次数都被 5 整除——这是模型的核心算术事实。任何一环断裂，尤其”不在 @@M@@m@@ 特殊化的闭点剩余次数必被 5 整除”这条曲面算术，检验就整体归零。）
问 2：”全分歧但剩余次数为一”的落差为什么不能去掉？
（答：检验泛函 @@M@@\lambda_L=(v_L\bmod5)\circ\theta_L^{-1}@@ 的设计原则是杀死一切来自剩余次数被 5 整除的域的转移类、唯独放过 @@M@@q_0@@。若 @@M@@D@@ 的剩余次数也被 5 整除，@@M@@\lambda_L@@ 会同样杀死 @@M@@a_D@@ 的转移，@@M@@v_L(N_{D/L}t)=1@@ 的砝码便失效。同理，分歧假设 @@M@@\pi\in\mathfrak m_A^2@@ 也不能去掉：非分歧环上 Skalit 已证有限系数 Gersten 正合，反例无处容身。）
问 3：与 Feld 及姊妹篇相比，真正的新意是什么？
（答：对 Feld：他的核只存在于系数 @@M@@\mathbb{Z}/3@@ 中，整系数映射仍单射；本文把整提升直接安排在除子上——支集先免费给出泛消去，非零性留给范数检验，绕开了”系数核能否整提升”与”泛像被系数素整除”两重障碍。对姊妹篇：那边用分圆整提升加 Picard 特殊化在另一环上给度 5 反例；两文不同环、不同机制、互不引用。）
问 4：这类 AI 生成证明最可能在哪里出错？
（答：边界清零的层次。@@M@@\beta_D@@ 的系数边界 @@M@@[\zeta]@@ 在整群 @@M@@K_1(D)=D^\times@@ 中并不为零，@@M@@\zeta@@ 成为五次幂只保证它在 @@M@@D^\times/D^{\times5}@@ 中消失；真正杀死 @@M@@a_D@@ 边界的是 Steinberg 关系把 @@M@@(1-t)^5=\zeta@@、@@M@@t=1-\eta@@ 化成五倍 Steinberg 符号。把这两层混为一谈是典型的静默缝隙。此外同构 @@M@@\theta_E:E^\times/E^{\times5}\cong K_3(E;\mathbb{Z}/5)@@ 依赖 Friedlander–Suslin 谱序列、Suslin 比较与范数剩余定理的组合，适用条件需逐条核对。）
问 5：为什么在可能奇异的曲线 @@M@@C@@ 上用凝聚 @@M@@G@@-理论而非 @@M@@K@@-理论？
（答：论文明言 @@M@@C@@ 不必光滑，而检测所用的局部化序列与连续性在凝聚 @@M@@G@@-理论中对任意诺特概形成立，不需要光滑性假设。这与整体策略一致：反例及其检验都必须生活在光滑定理的射程之外。）
问 6：结果谁会用、还留下什么？
（答：在混合特征下使用整局部化序列的人由此得到硬边界；Gersten 1973 年的转移问题（剩余域到 DVR 的转移是否为零）得到一个负答案的等价形式。论文未决定 @@M@@c@@ 的阶与有理化像，也未确定最小失败度——度 2 是否可能失败仍开放。）
总评
机制干净利落——支集免费给泛消去、范数赋值给非平凡——且与度 5 姊妹篇独立成立，分量实在；最大风险藏在剩余次数整除性的曲面算术与模 5 同构的引用细节里，需独立复核后方可采信。