结果族 010：Unrestricted pro-modularity at the prime two · 学科：Number theory · 验证状态：暂无形式化证明，请以社区核验为准
把所有权的模形式的 Hecke 特征值铺在一张大地图上，会得到一块块连成片的”大陆”（谱的不可约分支）。每块大陆是几维的？Emerton 猜测：每块都恰好四维，像恰好四条互相独立的方向。奇素数处已有部分答案，素数 2 却因”不能除以 2”这类技术障碍久攻不下。本文证明：@@M@@p=2@@ 时，每块大陆也精确是四维。
关键词卡片
@@M@@T_\ell@@ 生成的代数，把所有特征值体系编织成一体。看个具体例子
证明是两端夹逼：Emerton 的无穷蕨给下界 @@M@@\dim\ge4@@；上界在每个分支的”好尖点”处压缩切空间——@@M@@\dim A_{\mathfrak x}\le\dim H^1(G,\ad r)@@，而 Newton–Thorne 的 Selmer 消没定理加局部计算给出 @@M@@H^1\le3@@，经典商再占去 1 维。合起来就是数字版定理：
@@M@@D4\ \le\ \dim(\text{每个不可约分支})\ \le\ 3+1=4 .@@
顺带一提：Eisenstein 轨迹的维数至多 2，填不满四维大陆，所以每块大陆上必有货真价实的尖点。
为什么值得关心
它补齐了 Emerton 维数猜想在 @@M@@p=2@@ 的情形，摸清”模形式地图”的全局形状，也是姊妹篇模性定理的关键零件。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把一切权的模形式的特征值铺成一张”大地图”，连成片的闭块是”大陆”。换成半数学语言：研究对象是一本把所有权的模形式的特征值体系编织起来的大代数；要做的操作是给它的谱量”维数”——数一数每块连片区域里有几条互相独立的变化方向。Emerton 猜每块都恰好四维，素数 2 处久攻不下。
第二级台阶
精确化。模形式按权分层，不同权之间藏满同余；固定奇数水平 @@M@@N@@，完整 @@M@@2@@-adic Hecke 代数 @@M@@T_2(N)@@ 定义为作用在权不超过 @@M@@k@@ 的全体模形式上的 Hecke 代数取 @@M@@\mathbb Z_2@@ 系数、令 @@M@@k\to\infty@@ 的逆向极限。Krull 维数衡量一个交换环里素理想链的最长长度，直观是”自由参数的个数”；不可约分支指谱上连成片的极小闭块。行列式律是 Chenevier 的工具，用迹与行列式拼出伽罗瓦表示的信息、且在 2 不可逆时依然合法。
第三级台阶
定理的语境：Emerton 2011 年提出维数猜想，其无穷蕨论证给出下界——每分支维数至少为四；缺的是上界，困难集中在 @@M@@p=2@@（整伪表示技巧需要除以 2，而带剩余不可约假设的伴随 Selmer 消失定理覆盖不了标量与可约分支）。定理断言：对每个奇数 @@M@@N@@——奇水平挡住 CM 域含于 @@M@@\mathbb Q(\zeta_{2^\infty})@@ 的例外——@@M@@T_2(N)@@ 的谱的每个不可约分支维数恰为四，对剩余表示零要求。证明是夹逼：Eisenstein 轨迹至多二维、填不满大陆，故每分支上有权至少三的经典尖点；在该点切空间被压到至多三维，加上一维经典商正好四。
本文证明：对每个奇数 @@M@@N@@，水平 @@M@@\Gamma_1(N)@@ 的完整 2-adic Hecke 代数（Hecke algebra）的谱的每个不可约分支（irreducible component）的 Krull 维数（Krull dimension）都恰好是 4。这证明了 Emerton 维数猜想在 @@M@@p=2@@ 的情形，且不设剩余表示不可约等任何附加条件。
不同权的模形式（modular forms）之间丰富的同余关系，把它们的 Hecke 特征值编织成单一的 p-adic 代数。Hida 的普通族、Coleman–Mazur 的本征曲线（eigencurve）与 Gouvêa–Mazur 的无穷蕨（infinite fern）都表明：这个代数的谱比任何单条特征形式族都大得多，许多族可以穿过同一个经典点。Emerton 在 2011 年对这种”完整”Hecke 代数——不局限于某一个剩余变形问题——提出维数猜想（Conjecture 2.9），并用无穷蕨证得下界：每个不可约分支维数至少为 4；补齐上界则是一个变形论难题。困难集中在 @@M@@p=2@@：整系数伪表示（pseudorepresentation）的标准技巧需要除以 2，而已有的伴随 Selmer 群（adjoint Selmer group）消没定理（Kisin、Allen）又都带剩余不可约性假设，无法覆盖标量或可约的剩余分支。Newton–Thorne 2023 年不带剩余限制的消没定理成为突破口。
固定奇数 @@M@@N@@。设 @@M@@M_i(N)@@ 为权 @@M@@i@@、水平 @@M@@\Gamma_1(N)@@ 的模形式全体（含 Eisenstein 级数），@@M@@T_\ell@@ 为 Hecke 算子，@@M@@S_\ell@@ 在权 @@M@@i@@ 上按 @@M@@\ell^{i-2}\langle\ell\rangle@@ 作用（@@M@@\langle\ell\rangle@@ 为菱形算子）。令 @@M@@T_{\le k}^{(2)}(N)@@ 为 @@M@@\bigoplus_{i=1}^k M_i(N)@@ 上由诸 @@M@@T_\ell@@ 与 @@M@@\ell S_\ell@@（@@M@@\ell\nmid 2N@@）生成的 @@M@@\mathbb{Z}@@-代数，取 2-adic 逆向极限 @@M@@A=T_2(N)=\varprojlim_k\mathbb{Z}_2\otimes T_{\le k}^{(2)}(N)@@。主定理断言：@@M@@\Spec T_2(N)@@ 的每个不可约分支的维数恰为 4。关键在于该代数保留了所有的权、所有 Eisenstein 特征值体系与所有剩余特征值体系——定理不要求剩余伽罗瓦表示不可约、非标量或在 2 处特殊，可约与标量分支同样被覆盖，这正是”including all residual components”的含义。
整体是下界与上界的夹逼。先搭代数骨架：每个有限层 @@M@@A_k@@ 经经典特征值嵌入有限个特征值环之积，故 @@M@@A@@ 紧、约化、经典点 Zariski 稠密。为证 Noether 性，作者以 Chenevier 的行列式律（determinant law）替代需要除以 2 的伪表示技巧：由 Chebotarev 密度与闭像论证，构造 @@M@@A@@ 上迹为 @@M@@T_\ell@@、行列式为 @@M@@\ell S_\ell@@ 的整系数二维行列式；再由 Jochnowitz 定理（固定素到 2 水平的剩余体系只有有限多个）把 @@M@@A@@ 分解为有限个局部因子，并经 Chenevier 的普遍行列式变形环证明每个因子是完备 Noether 局部环。Emerton 的下界（每分支维数 @@M@@\ge4@@）直接引为输入。
再在每个分支上寻找好的经典点：权 @@M@@i\ge3@@ 的 Eisenstein 体系在好素数 @@M@@\ell@@ 处取值 @@M@@\psi(\ell)+\phi(\ell)\ell^{i-1}@@ 与 @@M@@\psi(\ell)\phi(\ell)\ell^{i-1}@@。对固定的 Dirichlet 特征对与权的奇偶类，利用奇素数分解 @@M@@\ell=s_\ell 5^{b_\ell}@@（@@M@@s_\ell=\pm1@@，@@M@@b_\ell\in\mathbb{Z}_2@@）把 @@M@@\ell^{i-1}@@ 插值为 @@M@@s_\ell^{i-1}(1+X)^{b_\ell}@@，它在 @@M@@X=5^{i-1}-1@@ 处取值正确；紧图论证配合 Strassmann 定理证明插值延拓为连续映射 @@M@@\Phi:A\to\OO[[X]]@@，其像介于 @@M@@\mathbb{Z}_2[[X]]@@ 与 @@M@@\OO[[X]]@@ 之间，维数为 2。于是 Eisenstein 轨迹维数至多 2、有界权轨迹至多 1，都填不满维数至少 4 的分支；由经典点稠密性，每个分支上存在权 @@M@@\ge3@@ 的经典尖点，且不落在其他分支上。
最后在该尖点处压缩切空间：把代数切向量写成连续导子 @@M@@D@@，经 @@M@@\lambda+\eps D@@ 得到一阶行列式变形，由 Chenevier 的绝对不可约提升定理得到 @@M@@r_D:G\to\GL_2(E[\eps])@@；写 @@M@@r_D=(1+\eps c)r@@，则 @@M@@c@@ 为上闭链，比较迹便把 @@M@@D@@ 嵌入 @@M@@H^1(G,\ad r)@@，特征零（可除以 2）保证单射，故 @@M@@\dim A_\frakx\le\dim_E H^1(G,\ad r)@@，其中 @@M@@\ad r@@ 是含标量的完整伴随表示（维数 4，恰为行列式允许变化时所需）。右侧由两件事实控制：Newton–Thorne 定理给出整体 Bloch–Kato 有限 Selmer 群 @@M@@H^1_f(\mathbb{Q},\ad r)=0@@（奇水平保证 CM 型的 CM 域不含于 @@M@@\mathbb{Q}(\zeta_{2^\infty})@@）；局部上 @@M@@v\ne2@@ 处商群为零，仅 @@M@@v=2@@ 处由 Euler 示性数公式与 Bloch–Kato 维数公式得商维数 3，故 @@M@@H^1(G,\ad r)\le3@@。收尾用完备局部环的维数公式：@@M@@\dim A/P\le\dim A_\frakx+1\le4@@（经典商在 @@M@@\mathbb{Z}_2@@ 上有限、维数 1），与下界合并得每个分支恰为 4 维。
本文暂无形式化证明；按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。论文的深层外部输入——Deligne/Deligne–Serre 的伽罗瓦表示附着、Emerton 下界、Chenevier 行列式理论、Newton–Thorne 的 Selmer 消没——都在使用处注明了出处与假设；两段自足的新论证（Eisenstein 插值的紧图构造、特征零切空间估计）均不依赖剩余不可约性。在本结果族中，姊妹篇把每个 2-adic 伽罗瓦表示实现到某个完备 Hecke 代数（无限制 pro-modularity），并据此推出 @@M@@p=2@@ 的 Fontaine–Mazur 型模性；本文给出这些 Hecke 代数谱的每个分支的精确维数，与姊妹篇互相支撑。
问 1：证明中最关键、最脆弱的一步是什么？
（答：上界一翼的切空间压缩：把代数切向量写成连续导子 @@M@@D@@，经 @@M@@\lambda+\varepsilon D@@ 造出一阶行列式变形，用 Chenevier 的绝对不可约提升定理得到 @@M@@r_D@@，再比较迹把 @@M@@D@@ 单射进 @@M@@H^1(G,\ad r)@@——单射依赖特征零（可除以 2），故只在经典点做。整个 @@M@@\dim\le3+1=4@@ 的大厦压在这一步与 Newton–Thorne 消没定理的适用边界上；若提升定理的假设在权一或 Eisenstein 点不满足即断。）
问 2：@@M@@p=2@@ 此前卡在哪里，本文怎么绕的？
（答：两个障碍：整系数伪表示的标准技巧要除以 2；Kisin、Allen 的伴随 Selmer 消失带剩余不可约性假设，覆盖不了标量与可约分支。本文用 Chenevier 行列式律替代伪表示（在 2 不可逆的环上合法），配合 Jochnowitz 定理把逆向极限分解为有限个完备 Noether 局部因子；Selmer 一侧改用 Newton–Thorne 2023 年不带剩余限制的消失定理。）
问 3：为什么 Newton–Thorne 定理恰好够用、又不超范围？
（答：其定理 5.4 覆盖 @@M@@\mathbb Q@@ 上经典尖点形式、含 @@M@@p=2@@、也含 CM 形式但要求 CM 域不含于分圆 @@M@@2@@ 幂扩张 @@M@@\mathbb Q(\zeta_{2^\infty})@@——奇水平恰好保证这一点，这正是定理只陈述奇数 @@M@@N@@ 的原因。论文用的 @@M@@\ad r@@ 是含标量的完整四维伴随，对应行列式允许变化的形变，与完整 Hecke 代数的设定严格匹配。）
问 4：Eisenstein 轨迹维数至多 2 这一步为什么不可省？
（答：它是”每个分支上都有权 @@M@@\ge3@@ 经典尖点”的来源：若某分支全由 Eisenstein 体系或有界权体系撑起，维度至多 2 或 1，装不下 Emerton 下界保证的 @@M@@\ge4@@ 维，矛盾。技术上靠奇素数分解 @@M@@\ell=s_\ell 5^{b_\ell}@@ 把 @@M@@\ell^{i-1}@@ 插值成 @@M@@s_\ell^{i-1}(1+X)^{b_\ell}@@、紧图论证加 Strassmann 定理延拓为连续映射 @@M@@\Phi:A\to\mathcal O[[X]]@@——这是论文自称”有用超出本文”的两段自足论证之一。）
问 5：数字 4 从哪里来、为什么恰好？
（答：4 = 3 + 1：尖点处切空间至多 3 维（Selmer 消没后仅 @@M@@v=2@@ 处局部商为 3），经典商在 @@M@@\mathbb Z_2@@ 上有限、贡献 1 维；下界 4 来自 Emerton 的无穷蕨（Corollary 2.28）。两端夹逼使每分支维数不多不少正好四，没有多余自由参数。）
问 6：这类 AI 生成的证明最可能出什么错？
（答：最可能是”逆向极限上的分析细节”：经典点 Zariski 稠密、算子拓扑生成、有限层嵌入特征值环之积的闭像论证（Chebotarev 密度搬运行列式律），以及导子连续性的证明——引言专门强调他们证了切空间中导子的连续性，说明此处本有坑。这些紧拓扑论证一环含糊，Noether 性或稠密性即失效。）
问 7：谁会直接用这个结果？
（答：姊妹篇《Unrestricted pro-modularity at the prime two》的关键零件——它需要”每个不可约分量维数 4、在系数点局部化后为 3”与切空间上界 3 会师，逼出形变环的正则性与 Hecke 核的消没；对模形式谱几何（本征曲线、完整 Hecke 代数）研究者，这是 Emerton 猜想 @@M@@p=2@@ 情形的直接落定。）
总评
这项工作以干净的两端夹逼落定 Emerton 维数猜想在 @@M@@p=2@@ 的情形、无任何剩余限制，方法上”行列式律 + 无限制 Selmer 消失”的搭配漂亮；最大风险在逆向极限拓扑与切空间嵌入的分析细节，以及对外部输入适用边界的精确核对，未经独立核验前宜作条件性引用。