结果族 203：Donovan’s conjecture over fields and complete mixed-characteristic DVRs · 学科：Algebra · 验证状态：暂无形式化证明，请以社区核验为准
给图书分类，”只看目录”和”逐页精查”是两个难度。此前的定理只在特征 @@M@@p@@ 的域上给块分类——相当于只在”只记个位数”的算术里数类型；这篇论文把系数升级成 Witt 向量环，好比把账本恢复成完整的整数账，连每个表示的整系数精细结构一起管住，重新数一遍”本质不同的块”，答案仍然是：只有有限种。
关键词卡片
@@M@@\overline{\mathbb F}_p@@ 的信息配上”进位记忆”得到的特征零系数环，可看作有限域的整数版影子。@@M@@p@@ 进距离且极限不缺失的系数环，允许带分歧。看个具体例子
公式卡——固定 @@M@@p=2@@、@@M@@M=4@@（候选亏群仍只有 @@M@@1@@、@@M@@C_2@@、@@M@@C_4@@、@@M@@C_2\times C_2@@ 四种），记 @@M@@\mathcal O=W(\overline{\mathbb F}_2)@@，则
@@M@@D\Big\{\,\mathcal OGb\ \text{的 Morita 等价类}\ :\ |\text{亏群}|\le 4\,\Big\}\quad=\quad\text{有限列表}.@@
而且把 @@M@@W(\overline{\mathbb F}_p)@@ 换成任何特征零、剩域代数闭的完备离散赋值环（哪怕带分歧），结论一字不差。论文还产出有限个整基序 @@M@@R_1',\dots,R_v'@@，使每个亏群阶 @@M@@\le M@@ 的域上块的基代数都同构于某个 @@M@@k\otimes_{\mathcal O}R_i'@@。
为什么值得关心
整系数版本约束更细，此前只对交换亏群等特例成立；它为模表示论铺下”整数级”的分类地基，并与域上姊妹篇互相咬合印证。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”只看目录”与”逐页精查”的差别，翻译过来就是系数环的升级：过去在特征 @@M@@p@@ 的域上清点块的类型，等于只保留”模 @@M@@p@@ 的账本”；现在把系数换成 Witt 向量环，等于恢复完整的整数账，每个表示的整系数精细结构都要如实入账。分类的标准仍是”表示内容一致即同类”，要数的东西没变，只是账本变细了。
第二级台阶
记 @@M@@k=\overline{\mathbb F}_p@@，@@M@@\mathcal O=W(k)@@ 为其 Witt 向量环——特征零、剩域为 @@M@@k@@ 的完备离散赋值环。块指本原中心幂等元 @@M@@b@@ 切出的 @@M@@\mathcal O Gb@@，其亏群经模 @@M@@p@@ 约化定义；@@M@@\mathcal O@@-线性 Morita 等价指有限生成模范畴间的 @@M@@\mathcal O@@-线性等价。整序 @@M@@B@@ 的 Morita–Frobenius 数 @@M@@\mathrm{mf}_{\mathcal O}(B)@@ 是最小的系数 Frobenius 幂次，使 @@M@@B@@ 回到自身的 Morita 类。
第三级台阶
定理陈述：固定素数 @@M@@p@@ 与阶上界 @@M@@M@@，让 @@M@@G@@ 跑遍有限群、@@M@@b@@ 跑遍亏群阶至多 @@M@@M@@ 的块，@@M@@\mathcal O Gb@@ 只有有限多个 @@M@@\mathcal O@@-线性 Morita 类。推论把结论推广到任意特征零、剩域代数闭的固定完备离散赋值环 @@M@@\mathcal R@@——允许分歧、不要求分式域分裂。Eaton–Eisele–Livesey 判据的三个假设（有界亏群、有界 Cartan 总和、有界整 Morita–Frobenius 数）各挡住一类麻烦：尺寸、定义域与 Frobenius 周期；附录式的有限整基序列表反过来又重新给出域上基代数的有限性。
第一级台阶
导读里”只看目录”与”逐页精查”的差别，翻译过来就是系数环的升级：过去在特征 @@M@@p@@ 的域上清点块的类型，等于只保留”模 @@M@@p@@ 的账本”；现在把系数换成 Witt 向量环，等于恢复完整的整数账，每个表示的整系数精细结构都要如实入账。分类的标准仍是”表示内容一致即同类”，要数的东西没变，只是账本变细了。
第二级台阶
记 @@M@@k=\overline{\mathbb F}_p@@，@@M@@\mathcal O=W(k)@@ 为其 Witt 向量环——特征零、剩域为 @@M@@k@@ 的完备离散赋值环。块指本原中心幂等元 @@M@@b@@ 切出的 @@M@@\mathcal O Gb@@，其亏群经模 @@M@@p@@ 约化定义；@@M@@\mathcal O@@-线性 Morita 等价指有限生成模范畴间的 @@M@@\mathcal O@@-线性等价。整序 @@M@@B@@ 的 Morita–Frobenius 数 @@M@@\mathrm{mf}_{\mathcal O}(B)@@ 是最小的系数 Frobenius 幂次，使 @@M@@B@@ 回到自身的 Morita 类。
第三级台阶
定理陈述：固定素数 @@M@@p@@ 与阶上界 @@M@@M@@，让 @@M@@G@@ 跑遍有限群、@@M@@b@@ 跑遍亏群阶至多 @@M@@M@@ 的块，@@M@@\mathcal O Gb@@ 只有有限多个 @@M@@\mathcal O@@-线性 Morita 类。推论把结论推广到任意特征零、剩域代数闭的固定完备离散赋值环 @@M@@\mathcal R@@——允许分歧、不要求分式域分裂。Eaton–Eisele–Livesey 判据的三个假设（有界亏群、有界 Cartan 总和、有界整 Morita–Frobenius 数）各挡住一类麻烦：尺寸、定义域与 Frobenius 周期；附录式的有限整基序列表反过来又重新给出域上基代数的有限性。
本文证明了整系数版的 Donovan 有限性：固定素数 @@M@@p@@ 与亏群阶上界 @@M@@M@@ 后，所有有限群的块在 Witt 向量环 @@M@@W(\overline{\mathbb F}_p)@@ 上只代表有限多个 @@M@@\mathcal O@@-线性 Morita 等价类；同一有限性对每个特征零、剩域代数闭的完备离散赋值环（discrete valuation ring，含分歧环）也成立。亏群不必交换，且包括 @@M@@p=2@@。
记 @@M@@k=\overline{\mathbb F}_p@@、@@M@@\mathcal O=W(k)@@。整系数的 Donovan 问题比剩域上的版本更强：它约束的是整模范畴，连格（lattice）结构一起管住。Eaton–Eisele–Livesey 的 2020 年判据——有界亏群、有界 Cartan 元总和、有界整 Morita–Frobenius 数（Morita–Frobenius number，即最小 Frobenius 幂次回到 Morita 类）三者推出整 Morita 有限性——此前只对交换 @@M@@2@@-群实现了完整结论，四元数亏群则要到 2026 年 8 月的预印本。转到 @@M@@\mathcal O@@ 上有两大新困难：其一，系数 Frobenius 的不动点坐标落在无限的 @@M@@W(\mathbb F_q)@@ 中，域情形赖以收尾的有限域点计数彻底失效；其二，标量障碍可能含主单位（principal unit，@@M@@1+\rad@@），而主单位在 @@M@@p@@-群上的上同调不必消失。Eisele–Livesey 还构造了 Morita–Frobenius 数无界增长的族，说明有理数据必须显式保留。
主定理：对每个素数 @@M@@p@@ 与正整数 @@M@@M@@，当 @@M@@G@@ 取遍有限群、@@M@@b@@ 取遍 @@M@@\mathcal O G@@ 中亏群阶至多 @@M@@M@@ 的块幂等元时，块代数 @@M@@\mathcal O Gb@@ 只有有限多个 @@M@@\mathcal O@@-线性 Morita 等价类。推论一：固定任意特征零、剩域 @@M@@\ell@@ 代数闭（特征 @@M@@p@@）的完备离散赋值环 @@M@@\mathcal R@@（允许分歧，不要求分式域分裂），同样的有界亏群有限性在 @@M@@\mathcal R@@ 上成立。推论二：存在有限个整基序（basic order）@@M@@R_1',\dots,R_v'@@，使每个亏群阶 @@M@@\le M@@ 的 @@M@@k@@-块的基代数都同构于某个 @@M@@k\otimes_{\mathcal O}R_i'@@——即整列表反过来重新给出域上的有限性。
证明与姊妹篇（域上 Donovan 猜想）配合，分三大支柱。第一是精确比较。姊妹篇构造的几何比较算子只在模 @@M@@p@@ 后精确等变；本文逐行追踪其整系数构造，证明所有标量误差其实都是素于 @@M@@p@@ 的特征值之比，落在 Teichmüller 子群 @@M@@\mathcal T=[k^\times]\subseteq\mathcal O^\times@@ 中：关键的重叠公式 @@M@@D_{\mathrm{ad}(\ell)}=\lambda_m(\ell)^{-1}E_\ell@@ 里的扭转特征 @@M@@\lambda_m@@ 是 @@M@@p'@@ 阶线性特征，中心元素的歧差同样归结为 @@M@@p'@@ 次单位根。而有限 @@M@@p@@-群满足 @@M@@H^i(S,\mathcal T)=0@@（@@M@@|S|@@ 次幂映射是 @@M@@\mathcal T@@ 的自同构），于是标量 2-上闭链必为上边缘，重新标度算子后得到 @@M@@\mathcal O@@ 上精确等变、Frobenius 周期有界的整 Morita 双模。误差必须压进 @@M@@\mathcal T@@——任意 @@M@@\mathcal O^\times@@ 值误差中的主单位部分无法消去。第二是基础有限性。先用实际自同构与乘法因子拼出一个真实有限群 @@M@@\Gamma_S@@，使纯 Sylow 限制恰是有界亏群的实际群块；Marcus 型归纳引理把比较双模扩张成交叉序（crossed order）间的 Morita 等价，给出有界 Morita–Frobenius 数；结合姊妹篇的一致 Cartan 界套用 EEL 判据，得这些总限制序只有有限多个整 Morita 类。但 Morita 列表不区分分次分量，需要新的刚性理论：一个整轨道引理（轨道导数满射的整点只有有限多个轨道，靠特殊纤维维数计数、Hensel 切片与孤立点论证）加上 Hochschild 刚性 @@M@@\mathrm{HH}^1_{\mathcal O}(A)=0@@，推出固定总序的 @@M@@H@@-分次只有有限多类——切向量计算只用群里的消去律、不做平均，故 @@M@@p\mid|H|@@ 也成立（固定总序不可省：@@M@@\mathcal O[t]/(t^p-a)@@ 型交叉序有无限多类）。由此得到保留群标签与恒等标记的 based 有限列表。第三是核移除。对无界正规 @@M@@p'@@-核 @@M@@K@@，主单位上同调因 @@M@@|K|@@ 可逆而消失，剩下的扭群代数分裂为矩阵代数之积 @@M@@E\cong\prod_j M_{n_j}(\mathcal O)@@（@@M@@p\nmid n_j@@）；矩阵角把无界分次群换成有界商 @@M@@Q_j@@。剥离矩阵会引入新标量误差：取行列式为 1 的实现矩阵（@@M@@p\nmid n@@ 保证 @@M@@n@@ 次根存在），新误差满足 @@M@@\gamma^n=1@@ 而落入 @@M@@\mathcal T@@，再次被 @@M@@\mathcal T@@-上同调消失清除，故 Sylow 限制仍落在受控的 based 列表中；最后在有界商上，因子系统构成 @@M@@H^2(Q_j,Z_R^\times)@@-挠子，Sylow 限制的核有限（主单位部分经限制–余限制单射，@@M@@\mathcal T@@ 部分整体有限），有限纤维给出有限列表。组装时经 An–Eaton 整归约与对偶恢复把任意块变为有限基序上交叉序的块和，三假设齐备即得定理；固定完备赋值环的推论则经 Cohen 环嵌入、块幂等元的唯一 Hensel 提升（@@M@@p=2@@ 亦适用）与 Morita 等价的纯量扩张完成。
本文是 OpenAI 2026 年 9 月 25 日的预印本，主结果尚无 Lean 形式化证明；按 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。它与同族姊妹篇互相咬合：本文直接调用姊妹篇的一致 Cartan 界与保留实际乘法因子的整比较构造，并把后者”模 @@M@@p@@ 后精确”的等变性加强为 @@M@@\mathcal O@@ 上精确；反过来，本文的有限整基序列表也重新给出域上基代数的有限列表。两篇合起来完整覆盖了结果族 203 声称的域上与整系数 Donovan 有限性。
问 1：整系数证明最关键、也最脆弱的一步是什么？
（答：是”精确比较”：逐行追踪姊妹篇几何比较算子的整系数构造，证明所有标量误差都是素于 @@M@@p@@ 的特征值之比，落在 Teichmüller 子群 @@M@@\mathcal T=[k^\times]\subseteq\mathcal O^\times@@ 中（含重叠公式里扭转特征 @@M@@\lambda_m@@ 与中心元素歧差的核查）。只有误差压进 @@M@@\mathcal T@@，才能用有限 @@M@@p@@-群的正上同调消失去把它清零。任何一处误差漏出主单位，整条等变下降链就断。）
问 2：域上的证明为什么不能直接搬到 @@M@@\mathcal O@@ 上？
（答：引言 1.2 节给出两个实质障碍：系数 Frobenius 的不动点坐标落在无限的 @@M@@W(\mathbb F_q)@@ 里，域情形的有限域点计数失效；且 @@M@@\mathcal O@@ 上标量障碍可含主单位，而主单位在 @@M@@p@@-群上的上同调不必消失。对策分别是新的整刚性理论与对特定标量误差的显式控制。）
问 3：哪个假设去掉后结论会反例化？
（答：刚性理论必须固定”总序”：轨道引理只对固定总序的分次分类。引言明确区分——数固定恒等序的所有交叉积是另一回事，@@M@@\mathcal O[t]/(t^p-a)@@ 型交叉序就有无限多类；Eisele–Livesey 还造出 Morita–Frobenius 数无界的族，故有理数据必须显式保留。）
问 4：与已有工作相比真正的新意是什么？
（答：整系数 Donovan 有限性此前只有交换 @@M@@2@@-群（EEL 2020）与四元数亏群（EEKLS 2026）等特例。新意有三：把姊妹篇”模 @@M@@p@@ 后精确”的等变性加强为 @@M@@\mathcal O@@ 上精确；用 Hochschild 刚性 @@M@@\mathrm{HH}^1_{\mathcal O}(A)=0@@ 加整轨道引理给出分次有限性，且切向量计算不做平均故 @@M@@p\mid|H|@@ 也可；核移除中用行列式为 1 的矩阵实现把新误差逼回 @@M@@\mathcal T@@。）
问 5：本文依赖姊妹篇，是否构成循环论证？
（答：不构成。姊妹篇提供两个输入——一致 Cartan 界与保留实际乘法因子的整比较构造；而”整列表重新给出域上有限性”的推论按引言声明”不是论证的前提”。姊妹篇亦声明其域上证明不依赖本文，两文单向咬合。）
问 6：AI 生成证明最可能在哪里出错？
（答：典型风险是把”模 @@M@@p@@ 精确”轻率地当成”整系数精确”——论文声称逐行核查了几何算子的整提升，这正是需要专家逐式验证之处（如 @@M@@D_{\mathrm{ad}(\ell)}=\lambda_m(\ell)^{-1}E_\ell@@ 的扭转特征阶）。其次是用 An–Eaton 归约、Marcus 型扩张等既有引理时假设边界是否满足（论文强调只用其一般性命题而非后续特例结论）。）
问 7：谁会用到这个结果？
（答：整块论与格分类的直接输入——有限整基序列表约束了亏群有界块的整结构与分解矩阵；对 Broué 猜想的整提升、平凡源格与 Picard 群研究是基础性参照；固定任意完备赋值环（含分歧）的推论让数论侧的整点方法（Cohen 环、Hensel 提升）可以直接引用。）
总评
这是整系数 Donovan 有限性从特例走向完全一般性的关键一跃，与域上姊妹篇合成结果族 203 的完整答案；最大风险在于”误差全在 Teichmüller 子群”这一断言贯穿全文且高度依赖逐行追踪，属最需要独立复核的环节。
问 1：整系数证明最关键、也最脆弱的一步是什么？
（答：是”精确比较”：逐行追踪姊妹篇几何比较算子的整系数构造，证明所有标量误差都是素于 @@M@@p@@ 的特征值之比，落在 Teichmüller 子群 @@M@@\mathcal T=[k^\times]\subseteq\mathcal O^\times@@ 中（含重叠公式里扭转特征 @@M@@\lambda_m@@ 与中心元素歧差的核查）。只有误差压进 @@M@@\mathcal T@@，才能用有限 @@M@@p@@-群的正上同调消失去把它清零。任何一处误差漏出主单位，整条等变下降链就断。）
问 2：域上的证明为什么不能直接搬到 @@M@@\mathcal O@@ 上？
（答：引言 1.2 节给出两个实质障碍：系数 Frobenius 的不动点坐标落在无限的 @@M@@W(\mathbb F_q)@@ 里，域情形的有限域点计数失效；且 @@M@@\mathcal O@@ 上标量障碍可含主单位，而主单位在 @@M@@p@@-群上的上同调不必消失。对策分别是新的整刚性理论与对特定标量误差的显式控制。）
问 3：哪个假设去掉后结论会反例化？
（答：刚性理论必须固定”总序”：轨道引理只对固定总序的分次分类。引言明确区分——数固定恒等序的所有交叉积是另一回事，@@M@@\mathcal O[t]/(t^p-a)@@ 型交叉序就有无限多类；Eisele–Livesey 还造出 Morita–Frobenius 数无界的族，故有理数据必须显式保留。）
问 4：与已有工作相比真正的新意是什么？
（答：整系数 Donovan 有限性此前只有交换 @@M@@2@@-群（EEL 2020）与四元数亏群（EEKLS 2026）等特例。新意有三：把姊妹篇”模 @@M@@p@@ 后精确”的等变性加强为 @@M@@\mathcal O@@ 上精确；用 Hochschild 刚性 @@M@@\mathrm{HH}^1_{\mathcal O}(A)=0@@ 加整轨道引理给出分次有限性，且切向量计算不做平均故 @@M@@p\mid|H|@@ 也可；核移除中用行列式为 1 的矩阵实现把新误差逼回 @@M@@\mathcal T@@。）
问 5：本文依赖姊妹篇，是否构成循环论证？
（答：不构成。姊妹篇提供两个输入——一致 Cartan 界与保留实际乘法因子的整比较构造；而”整列表重新给出域上有限性”的推论按引言声明”不是论证的前提”。姊妹篇亦声明其域上证明不依赖本文，两文单向咬合。）
问 6：AI 生成证明最可能在哪里出错？
（答：典型风险是把”模 @@M@@p@@ 精确”轻率地当成”整系数精确”——论文声称逐行核查了几何算子的整提升，这正是需要专家逐式验证之处（如 @@M@@D_{\mathrm{ad}(\ell)}=\lambda_m(\ell)^{-1}E_\ell@@ 的扭转特征阶）。其次是用 An–Eaton 归约、Marcus 型扩张等既有引理时假设边界是否满足（论文强调只用其一般性命题而非后续特例结论）。）
问 7：谁会用到这个结果？
（答：整块论与格分类的直接输入——有限整基序列表约束了亏群有界块的整结构与分解矩阵；对 Broué 猜想的整提升、平凡源格与 Picard 群研究是基础性参照；固定任意完备赋值环（含分歧）的推论让数论侧的整点方法（Cohen 环、Hensel 提升）可以直接引用。）
总评
这是整系数 Donovan 有限性从特例走向完全一般性的关键一跃，与域上姊妹篇合成结果族 203 的完整答案；最大风险在于”误差全在 Teichmüller 子群”这一断言贯穿全文且高度依赖逐行追踪，属最需要独立复核的环节。