结果族 009：Function-field reconstruction from Milnor K-theory and Galois data · 学科：Number theory · 验证状态：暂无形式化证明，请以社区核验为准
从域的”模 @@M@@\ell@@ 快照”重建域，在 @@M@@\ell@@ 不等于特征时只能认出完美闭包——好比照片只够认出双胞胎。可当模数恰好取域自己的特征 @@M@@p@@ 时，照片突然变清晰：本文证明，只凭一阶 Milnor K 群模 @@M@@p@@ 加上二阶 Steinberg 关系，就能直接认出本人——原原本本的域，连同常数域，一个不缺。
关键词卡片
@@M@@p@@（characteristic @@M@@p@@）：域中 @@M@@p@@ 个 1 相加等于 0 的算术环境，例如有限域上的函数域。@@M@@p@@（@@M@@K^{\mathrm M}_1/p@@）：@@M@@V_F=F^\times/(F^\times)^p@@；因 @@M@@(F^\times)^p=(F^p)^\times@@，元素的等价类恰是射影空间的点。@@M@@[f]\otimes[1-f]=0@@，本文只需要二阶的这一层关系。@@M@@p@@ 次幂扩张里”。看个具体例子
零符号判据：若 @@M@@s\notin F^p@@ 且 @@M@@\{s,t\}=0@@，则 @@M@@t\in F^p(s)@@。取 @@M@@F=k(x,y)@@、@@M@@s=x@@：与 @@M@@x@@ 配为零的 @@M@@t@@ 恰好是只含 @@M@@x@@ 的有理函数——一条”射影直线”被认了出来。再算规模：@@M@@[F:F^p]=p^{\operatorname{trdeg}}@@，超越次数 2 时为 @@M@@p^2\ge4@@，刚好够射影几何施展拳脚。定理断言
@@M@@D\operatorname{Isom}(K,k;L,l)\ \longrightarrow\ \operatorname{Isom}_{\mathrm M}(V_K,V_L)/\mathbb F_p^{\times}\quad\text{是双射}，@@
且 Frobenius 在 @@M@@V_F@@ 上诱导零映射，连 Frobenius 歧义都不存在。
为什么值得关心
它补上了 Milnor K 重建纲领在”模特征”一侧的缺口，而且证明只靠导子计算与射影几何，出奇地初等；与族内另两篇姊妹工作（模 @@M@@\ell@@ 情形与 Galois 数据情形）互相印证。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读说模 @@M@@\ell\ne p@@ 的快照只够认出”双胞胎”（完美闭包），而模数取特征本身时照片突然变清晰。换成半数学语言：把域压缩成一个”模 @@M@@p@@ 的影子”——记录每个乘法元素去掉 @@M@@p@@ 次幂后剩什么，再补一层由加法渗出的关系；当压缩所用的素数恰好等于域自己的特征时，这个影子意外地携带了完整的身份信息。要做的操作是：影子之间的线性对齐若保住那层关系，它是否必然来自原本的域之间的对应。
第二级台阶
精确化。设 @@M@@K/k@@ 是特征 @@M@@p@@ 的代数闭常数域上的函数域。一阶不变量是向量空间 @@M@@V_F=F^\times/(F^\times)^p@@，即一阶 Milnor K 群模 @@M@@p@@；由于 @@M@@(F^\times)^p=(F^p)^\times@@，@@M@@V_F@@ 的元素恰好是射影空间 @@M@@\mathbb P_{F^p}(F)@@ 的点。二阶关系 @@M@@R_F@@ 由 Steinberg 关系 @@M@@[f]\otimes[1-f]@@ 张成，商 @@M@@W_F@@ 即 @@M@@K_2^{\mathrm M}/p@@。保持 @@M@@R@@ 的线性同构称为相容同构；导子指像求导那样的算子，用来探测元素落在哪个 @@M@@p@@ 次幂扩张里。
第三级台阶
定理的语境：Bogomolov 学派的重构纲领此前或需额外输入、或只能恢复完美闭包。本文定理断言：超越次数至少为二时——这个假设保证 @@M@@[F:F^p]=p^{\mathrm{trdeg}}\ge p^2@@，射影空间维数够高，基本定理得以施展——保常数域的域同构模去一个 @@M@@\mathbb F_p^\times@@ 标量后与相容同构恰好双射。特征 @@M@@p@@ 这个环境挡住的恰是 Kummer 路线，打开的则是射影几何视角；结论比模 @@M@@\ell\ne p@@ 情形更强：直接找回原来的域与常数域，且因 Frobenius 在 @@M@@V_F@@ 上诱导零映射，连 Frobenius 歧义都不存在。
在特征 @@M@@p@@ 的函数域上，一阶 Milnor K 群模 @@M@@p@@ 连同二阶 Steinberg 关系（Steinberg relations）足以重构域本身及其代数闭常数域：每个相容同构都是唯一域同构所诱导，只差一个 @@M@@\mathbb F_p^\times@@ 标量。不同于模 @@M@@\ell\ne p@@ 情形只能找回完备闭包，这里直接找回原来的域。
Milnor K 理论（Milnor K-theory）把域的乘法连同加法导出的 Steinberg 关系编码成一族群 @@M@@K^{\mathrm M}_n(F)@@，而”重构问题”问：这些群能在多大程度上反推域本身，其同构是否都来自域同构？这类问题属于 Bogomolov 学派的几何重构纲领：Bogomolov–Tschinkel（2009）在特征零从 Milnor K 环重构函数域，Cadoret–Pirutka（2021）推广到完美域上的正则扩张；Topaz（2016、2023）对与特征互素的 @@M@@\ell@@ 证明模 @@M@@\ell@@ 数据可重构完备闭包（perfect closure），但需超越次数（transcendence degree）至少 5 及额外输入。而在约去特征本身（@@M@@\ell=p@@）的情形，此前没有仅从 @@M@@V_F=F^\times/(F^\times)^p@@ 与 Steinberg 关系出发、不借助有理子群或代数相关性数据的重构定理——本文补上的正是这块缺口。
设 @@M@@K/k@@、@@M@@L/l@@ 为代数闭域上有限生成的扩张，特征 @@M@@p@@，超越次数均至少 2。记 @@M@@V_F=F^\times/(F^\times)^p=K^{\mathrm M}_1(F)/p@@（加法记号），@@M@@R_F\subset V_F\otimes_{\mathbb F_p}V_F@@ 为由 @@M@@[f]\otimes[1-f]@@ 张成的 Steinberg 关系子空间，商 @@M@@W_F=(V_F\otimes V_F)/R_F@@ 即 @@M@@K^{\mathrm M}_2(F)/p@@。称 @@M@@\mathbb F_p@@-线性同构 @@M@@\Theta:V_K\to V_L@@ 相容（compatible），若 @@M@@(\Theta\otimes\Theta)(R_K)=R_L@@。主定理断言典范映射
@@M@@D\Isom(K,k;L,l)\longrightarrow\Isom_{\mathrm M}(V_K,V_L)/\mathbb F_p^\times@@
是双射。换言之：数据 @@M@@(V_F,R_F)@@——等价地，@@M@@K^{\mathrm M}_1/p@@、@@M@@K^{\mathrm M}_2/p@@ 及其乘法配对——确定域 @@M@@F@@ 及其指定常数域；每个相容 @@M@@\Theta@@ 等于唯一域同构 @@M@@\alpha@@ 的诱导 @@M@@\alpha_*@@ 乘以一个非零标量，且 @@M@@\alpha@@ 自动把 @@M@@k@@ 映到 @@M@@l@@。此处没有 Frobenius 歧义：Frobenius 映射在 @@M@@V_F@@ 上诱导零映射，论文注记对此作了澄清。
先换视角，把不变量看成射影几何。因 @@M@@(F^\times)^p=(F^p)^\times@@，类 @@M@@[f]@@ 恰是 @@M@@F@@ 在 @@M@@C=F^p@@ 上的一维子空间 @@M@@Cf@@，故 @@M@@V_F@@ 的底层集合就是射影空间 @@M@@\mathbb P_C(F)@@ 的点集，群运算 @@M@@[f]+[g]=[fg]@@ 则另行记录乘法。论文先证 @@M@@[F:C]=p^{\trdeg(F/\kappa)}@@ 有限（对 @@M@@p@@-单项式基计数并作塔式消去），于是超越次数至少 2 时维数不小于 @@M@@p^2\ge4@@，射影几何论证有了立足点。
再提取零符号的域论含义：若 @@M@@s\notin F^p@@ 且 @@M@@\{s,t\}_F=0@@，则 @@M@@t\in F^p(s)@@。证法是把 @@M@@p@@-无关对扩充成 @@M@@p@@-基（p-basis），取交换的 Euler 导子（Euler derivation），用对数导数搭配出双线性型，直接验证它杀死 Steinberg 关系、却在无关对上取值 1。这只是 Bloch–Gabber–Kato 定理的坐标化影子，但完全初等。
然而 @@M@@F^p(s)@@ 未必是二维子空间，要得到射影直线 @@M@@C+Cx@@ 须作幂次修正。关键的交命题：对 @@M@@p@@-无关的 @@M@@X,Y@@ 与非单项式的 @@M@@U\in C(X)^\times@@、@@M@@V\in C(Y)^\times@@，若乘法平移 @@M@@X\,C(Y/X)^\times@@ 与 @@M@@U\,C(V/U)^\times@@ 相交，则存在唯一的 @@M@@1\le n<p@@ 使 @@M@@U^n\in C+CX^n@@ 且 @@M@@V^n\in C+CY^n@@。证明构造两个导子分别杀死交中元素的两种表达，比较其特征坐标得 @@M@@A_X=c_XX^m@@、@@M@@A_Y=c_YY^m@@ 共享指数 @@M@@m@@，再以 @@M@@n=p-m@@ 解对数导数方程完成”积分”。
接着把 Steinberg 关系变成交。在源空间取仿射构型 @@M@@u=x+a@@、@@M@@v=y+b@@、@@M@@z=bx-ay=bu-av@@，得四个零符号；经 @@M@@\Theta@@ 传送并由前一步得 @@M@@Z\in X\,C(Y/X)\cap U\,C(V/U)@@，交命题遂给出局部修正指数。由该指数的唯一性沿一张连通图（任两点路径长不超过 2）传播，得到统一标量 @@M@@n@@ 使 @@M@@\Psi=n\Theta@@ 把直线映入直线；对逆映射重复论证，并用”非平凡标量不保直线”的二项式系数引理，推出 @@M@@\Psi@@ 把直线映满直线且 @@M@@n@@ 唯一。
最后从直线回到域。论文自含地证明射影几何基本定理（fundamental theorem of projective geometry）：维数至少 3 时保直线的双射来自唯一的半线性提升，得到加性双射 @@M@@S:K\to L@@ 与域同构 @@M@@\sigma:K^p\to L^p@@；群律迫使 @@M@@w\mapsto S(fw)@@ 与 @@M@@w\mapsto S(f)S(w)@@ 诱导同一射影映射且在 @@M@@1@@ 处相等，由唯一性二者相等，故 @@M@@S@@ 保乘法、是域同构。再用 Eisenstein 判别法证 @@M@@\bigcap_{m\ge1}F^{p^m}=\kappa@@，从而 @@M@@S(k)=l@@；定理的单射性最后仍调用标量引理收尾。
本篇与同族姊妹篇互相支撑：模 @@M@@\ell@@（@@M@@\ell\ne p@@）一篇只能重构完备闭包及其常数域，本篇在模特征情形直接重构原域，两者恰好覆盖两种约化；第三篇则从 pro-@@M@@\ell@@ Galois 数据证明 Bogomolov–Pop 重构。三篇均无 Lean 形式化证明；论文对交命题与射影提升定理均给出完整初等证明，但按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明中最关键、最脆弱的一步是什么？
（答：是交命题（Proposition intersection）：对 @@M@@p@@-无关对 @@M@@X,Y@@ 与非幂倍元素 @@M@@U,V@@，若乘法平移 @@M@@X\,C(Y/X)@@ 与 @@M@@U\,C(V/U)@@ 相交，则存在唯一 @@M@@1\le n<p@@ 使 @@M@@U^n\in C+CX^n@@ 且 @@M@@V^n\in C+CY^n@@。它是把 Steinberg 关系翻译成射影几何的唯一桥梁——欧拉导子比较特征坐标给出共享指数、再解对数导数方程完成”积分”；这一步若错，后面”保直线”无从谈起。）
问 2：超越次数 @@M@@\ge2@@ 的假设为什么不能去掉？
（答：因为 @@M@@[F:F^p]=p^{\operatorname{trdeg}}@@，射影几何基本定理需要空间维数至少三；超越次数 2 时 @@M@@[F:F^p]=p^2\ge4@@ 刚好够。一维情形维数只有 @@M@@p@@，半线性提升的唯一性失效，论文对该情形未展开。）
问 3：为什么没有 Frobenius 歧义？这与模 @@M@@\ell\ne p@@ 情形的差别根源在哪？
（答：Frobenius 把 @@M@@[f]@@ 映为 @@M@@[f^p]=p[f]=0@@，在 @@M@@V_F@@ 上诱导零映射，根本不是同构；而 @@M@@\ell\ne p@@ 时 Frobenius 诱导乘 @@M@@p@@（模 @@M@@\ell@@ 可逆的非零标量），完美闭包因此不可分辨。差别根源是模 @@M@@p@@ 后 @@M@@p@@ 次幂映射整体坍缩为零，照片不再把本人与”取根后的本人”混为一谈。）
问 4：与 Topaz、Cadoret–Pirutka 等已有工作相比真正的新意是什么？
（答：Topaz 的模 @@M@@\ell@@ 重构需要超越次数 @@M@@\ge5@@ 且额外供给有理子群；Cadoret–Pirutka 的重构依赖去掉常数后的乘法群加代数相关性数据，其正特征射影直线恢复还需共同幂次修正。本文首次只从 @@M@@V_F@@ 与二阶 Steinberg 关系出发、在模特征情形重构原域本身（非完美闭包），且交命题与射影提升定理均给出自含的初等证明，不引用 Bloch–Gabber–Kato。）
问 5：这类 AI 生成的证明最可能出什么错？
（答：本文反而属于易核验的一类——只用导子计算与射影几何；风险集中在组合传播环节：修正指数的唯一性沿一张”任两点路径长不超过 2”的连通图传播出统一标量 @@M@@n@@、再用”非平凡标量不保直线”的二项式系数引理把映入直线升级为映满直线，图连通性与引理的适用范围稍有含糊就会静默出错。）
问 6：零符号判据与 Bloch–Gabber–Kato 定理是什么关系？
（答：”@@M@@s\notin F^p@@ 且 @@M@@\{s,t\}=0@@ 则 @@M@@t\in F^p(s)@@“的证明是取 @@M@@p@@-基、用对数导数搭配双线性型直接验证——这只是 Bloch–Gabber–Kato 定理（mod @@M@@p@@ Milnor K 群同构于伽罗瓦上同调）的坐标化影子；论文刻意只用影子不引定理，这是”初等”声明的实质内容。）
问 7：谁会直接用这个结果？
（答：anabelian 几何与 K 理论研究者——它与姊妹篇（模 @@M@@\ell\ne p@@ 情形恢复完美闭包、pro-@@M@@\ell@@ Galois 数据情形）恰好拼成 Bogomolov–Pop 纲领在单素数数据上的完整覆盖；”模特征反而看得更清”这一现象也为高阶 @@M@@K@@ 群的信息量研究提供参照。）
总评
这项工作用出奇初等的手段补上 Milnor K 重构在模特征一侧的缺口，且结论比模 @@M@@\ell@@ 情形更强（找回原域、无 Frobenius 歧义）；风险总体偏低，但交命题与标量传播的细节仍需独立核验后方可作最终定论。