结果族 059：Counterexamples to Zariski’s multiplicity conjecture · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
看两个从原点长出来的”奇异曲面花苞”。如果肉眼（拓扑意义的眼）完全分不清它们，那描述它们的最低次多项式次数是否必然相同？Zariski 在 1971 年猜”必然”。本文造出一对花苞：拓扑上无法区分，最低次次数却是 2 和 3——猜想被推翻，连 Arnold 余秩问题也一并否掉。
关键词卡片
看个具体例子
两个芽住在同一座 ℂ^N（N 是 8 的倍数且大于 3）里，各自只以原点为奇点。给原点套上小球面，两个零集在球面上刻出的链环一模一样——这正是环境同胚的来源；可最低次项一个次数是 2、一个是 3。
再补一刀：各加一个平方 t² 后，初始形式的 Milnor 纤维整同调分别是 ℤ 与 ℤ²——差异真实存在，却完全不被拓扑看见。
为什么值得关心
它证明”拓扑指纹”与”最低次代数近似”属于互不通约的两个世界，一次否定 Zariski 重数猜想（嵌入版）、拓扑右等价重数猜想与 Arnold 余秩问题等多个悬了五十多年的老问题。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的”花苞”是一个多项式在原点附近的零点集；”最低次多项式次数”是描述它的最粗代数近似——先写下多项式展开，看第一个不为零的齐次块是几次。”肉眼分不清”换句精确的话说：存在整个周围空间的连续变形，把一个花苞原封不动地送到另一个上。导读指出的关键现象——小球面上刻出的链环指纹完全相同——正是这种变形的源头。
第二级台阶
术语化：超曲面芽 V(f) 是全纯函数芽 f 在 (C^N,0) 处的零点集芽；重数 ord₀f 即 f 的最低次非零齐次部分的次数；孤立临界点指梯度仅在原点为零；环境同胚是偶对 (C^N,V(f),0) 间的同胚；链环 K=V(f)∩S 是零集与小球面之交，由 Milnor 纤维化携带 Seifert 形式、单项性算子等完整代数指纹。
第三级台阶
定理断言：存在 8 的倍数的维数 N>3 与实系数、约化、加权齐次的多项式 f₁、f₂，各以原点为唯一临界点，ord₀f₁=2 而 ord₀f₂=3，却环境同胚。证明的骨架与导读的”指纹”比喻严丝合缝：先在算术上造出两组重数不同、整 Seifert 数据却完全相同的多项式，经两次张量方与强逼近拼出等变整等距；再因每个分圆指标都含两个素因子得链环为同伦球面上的简单结，Levine 的高维纽结分类把 Seifert 同余换成链环同痕，加权锥坐标最终把球面上的同痕放大成原点邻域的环境同胚。
构造出两个约化、加权齐次、带孤立临界点的超曲面芽，可由环境空间（ambient space）的同胚相互变换，重数却是 2 与 3——这否定了 Zariski 重数猜想的嵌入拓扑版本，并连带否定 Arnold 余秩问题与拓扑右等价重数猜想。
Zariski 在 1971 年提出重数问题：若 @@M@@\mathbb{C}^N@@ 中两个约化超曲面芽（hypersurface germ）@@M@@V(f)@@、@@M@@V(g)@@ 能被原点邻域的同胚互变（嵌入拓扑等价），它们的重数（multiplicity，即定义函数最低次项的次数）是否必相等？对平面曲线，经典的分支特征数据理论给出肯定答案；A’Campo–Lê 定理说明与光滑芽等价的芽自身光滑，排除重数 1 参与不等对；Greuel–O’Shea 与 Bobadilla–Pełka 在 @@M@@\mu@@ 常值形变框架下证明了等重性，Yau、Fernandes–Jelonek–Sampaio 等则在低维或双 Lipschitz 度量假设下有正面结果。卡点在于：拓扑不变量（Milnor 纤维化、单项性算子、Seifert 形式）与从方程最低次项读出的重数分属两个世界，此前无法把它们彻底”解耦”。
定理：存在 8 的倍数的有限维数 @@M@@N>3@@ 与实系数、约化、正有理权重的加权齐次多项式 @@M@@f_1,f_2\in\mathbb{R}[z_1,\dots,z_N]@@，使得三者同时成立：各以原点为唯一临界点（isolated critical point）；@@M@@\ord_0 f_1=2@@ 而 @@M@@\ord_0 f_2=3@@；存在环境对芽的同胚 @@M@@(\mathbb{C}^N,V(f_1),0)\cong(\mathbb{C}^N,V(f_2),0)@@。推论进一步给出：存在同胚芽 @@M@@\varphi@@ 使 @@M@@f_1=f_2\circ\varphi@@（拓扑右等价，topological right equivalence），故重数及其模 2 奇偶性都不是右拓扑不变量；两芽的 Hessian 余秩（corank）分别为 @@M@@N-16E@@ 与 @@M@@N@@，否定 Arnold 余秩问题；各加一个平方 @@M@@t^2@@ 后，初始形式的 Milnor 纤维零维整同调分别为 @@M@@\mathbb{Z}@@ 与 @@M@@\mathbb{Z}^2@@，否定 Budur–Fernández de Bobadilla–Lê–Nguyen 的初始形式纤维同伦猜想。
证明分四步，核心困难是让整 Seifert 形式完全相同而普通次数不同。先做算术种子：取 @@M@@d=3^{11}@@，对与 3 互素的 @@M@@b@@ 定义有理数 @@M@@A_b,R_b@@；素数赋值矩阵经模 1009 消元得到可机器复算的秩证书，从而有整数关系 @@M@@e_b@@（总和 @@M@@E>0@@）使 @@M@@\prod A_b^{e_b}=\prod R_b^{e_b}=1@@。再用辗转相除把每个权重 @@M@@c/D@@ 补成链多项式（chain）@@M@@x_1^{a_1}x_2+\cdots+x_\ell^{a_\ell}@@，按带符号权重表分配变量：第二侧多出 @@M@@4E@@ 个变量，第一侧补 @@M@@4E@@ 个平方，于是两侧重数分别为 2 与 3。借助傅里叶反演与三倍角余切恒等式验证两组谱（spectrum）模 2 相等，再用 Steenbrink–Némethi 的谱对分类得实 Seifert 形式同构，用 Orlik–Randell–Hertling–Mase 关于链奇点的定理得整单项性（monodromy）模同构——但这两个同构互不兼容。其次做张量方与局部–整体下降：加上 @@M@@x^5+y^7@@ 使单项性阶奇且无特征值 1，对称化 @@M@@B=ST^r@@（@@M@@2r\equiv1@@）后取第一次张量方；奇素数处用有限算子代数里的平方根与二平方和构造等距，素数 2 处用非分歧 hermitian 模按秩唯一性，得到每个 @@M@@\mathbb{Z}_\ell@@ 上的等变等距，再由 Hasse–Minkowski 得有理等距。接着取第二次张量方：实系数给出反转单项性的整对合（复共轭），一个精确的行列式恒等式把局部图与有理图的偏差在每个特征空间上消为 1；另加六个三次幂使各特征空间上的 hermitian 形不定，加 @@M@@z^{11}+y^{13}@@ 排除实特征值，于是等距群成为特殊酉群之积——连通、单连通、实位置非紧，Platonov 强逼近定理便给出同时满足所有局部格条件的 rational 点，合成出一个整的等变 Seifert 形式等距。最后回到几何：取 @@M@@f_j@@ 为四份 @@M@@q_j@@ 副本、六个三次幂与 @@M@@x^{11}+y^{13}@@ 之和（变量互不相交，@@M@@N=4s_0+16\equiv0\pmod 8@@），Thom–Sebastiani–Sakamoto 定理保证其 Seifert 数据恰为上述张量数据；由于每个分圆指标都含两个不同素因子，@@M@@\det(1-T)=1@@，Wang 序列与 Alexander 对偶表明链环（link）是同伦球面、结点为简单结（simple knot），Levine 的高维纽结分类把整 Seifert 同余转化为链环的环境同痕，加权锥坐标再把它扩展成原点邻域上的环境同胚。
本结果未经 Lean 形式化；OpenAI 官方声明”未经形式化的结果可能有问题”，请以社区核验为准。算术核心附带一份只用整数运算与模 1009 消元的有限证书程序，可独立复算；其余构造与行列式计算均在文中完整证明，所引经典定理（Milnor、Steenbrink、Levine、Platonov 等）均先核对了假设。同族姊妹篇把反例推进到 @@M@@\mathbb{C}^4@@ 中重数 4 与 5、且为收敛全纯芽，与本篇的高维反例互相印证，两篇合计覆盖嵌入同胚、拓扑右等价与初始形式纤维三类问题。
问 1：证明中最脆弱的一环是什么？
（答：从”谱模 2 相等”到”等变整 Seifert 等距”的整性链条。谱分类（Steenbrink–Némethi）只给实 Seifert 形式同构，链奇点定理（Orlik–Randell–Hertling–Mase）只给整单项性同构，两者互不兼容；论文靠两次张量方、奇素数处的平方根与二平方和、素数 2 处的 hermitian 模秩唯一性、Hasse–Minkowski，最后用 Platonov 强逼近在特殊酉群之积中同时满足所有局部格条件。任何一处整性亏损，Levine 分类就用不上。）
问 2：算术种子部分凭什么可信？
（答：种子是 d=3^11 处的一批有理数 A_b、R_b 与整数关系 e_b，使 ∏A_b^{e_b}=∏R_b^{e_b}=1；素数赋值矩阵经模 1009 消元给出可机器复算的秩证书，纯整数运算即可独立验证。这是全文最可核查的部分；风险不在种子本身，而在其后”补成链多项式、按带符号权重表分配变量”的组合装配。）
问 3：为什么维数必须巨大且是 8 的倍数？能不能压到低维？
（答：构造是四份链副本加六个三次幂加 x^11+y^13，N=4s₀+16≡0 (mod 8)；更本质的是每个单项性特征值的阶都被 11 与 13 整除，从而 det(1−T)=1，链环才是同伦球面、结才是简单结——Levine 分类的适用前提全押在这套维数算术上。低维需要另起炉灶：同族姊妹篇正是用不同方法才把反例推进到 C⁴ 中重数 4 与 5。）
问 4：与此前正面结果相比，真正新意是什么？
（答：平面曲线上分支数据给出肯定答案，Greuel–O’Shea 与 Bobadilla–Pełka 在 μ 常值形变下证等重，低维与双 Lipschitz 情形亦有正面结论；本文是第一个嵌入拓扑不等重的反例，且一箭三雕：连带否定 Arnold 余秩问题（Hessian 余秩 N−16E 与 N 不同）、拓扑右等价下重数及其模 2 奇偶性（推论 f₁=f₂∘φ）、以及 Budur–Fernández de Bobadilla–Lê–Nguyen 的初始形式纤维同伦猜想（加 t² 后零维整同调 Z 对 Z²）。）
问 5：AI 生成证明最可能在哪里出错？
（答：跨域翻译层最危险：傅里叶反演与三倍角余切恒等式验证谱模 2 相等；第二次张量方中”行列式恒等式把局部图与有理图的偏差在每个特征空间消为 1”；Thom–Sebastiani 的符号只依赖公共偶复维数的论断；Levine 定理允许非标准光滑同伦球面这一细节的核对。好在这些多为有限计算，可独立复算；文中也明示每个引用定理的假设都先核对过。）
问 6：谁会用到这个反例？
（答：奇点理论与会用拓扑不变量反推代数量的人。直接教训：拓扑对重数、重数奇偶、Hessian 余秩全部失明，任何”由链环/纤维同调读出重数”的纲领在嵌入拓扑层面注定失效；接触轨迹文献中的初始形式纤维同伦猜想需修订。与 C⁴ 姊妹篇合读，覆盖嵌入同胚、拓扑右等价与初始形式纤维三类问题。）
总评
一次教科书级的反例工程：把数论种子、格理论、纽结分类与加权锥几何串成闭环，连否三个五十年老问题；最大风险在漫长的整性链条，所幸算术核心附带可复算证书，属可核验性最好的反例之列。