结果族 030：Modularity of elliptic curves over imaginary quadratic fields · 学科：Number theory · 验证状态：暂无形式化证明，请以社区核验为准
椭圆曲线是方程 y² = x³ + … 描出的一条优雅弧线，数论学家靠它加密、解题，它随身带着一本”履历表”（L 函数）。模性猜想说：这本履历表必然与另一族叫自守形式的周期波完全吻合——两套看似无关的数学长出一模一样的档案。Wiles 用有理数上的版本征服了费马大定理；这篇把定理推广到虚二次域上的所有椭圆曲线。
关键词卡片
看个具体例子
取 K = Q(i)，任取其上一条椭圆曲线 E。定理给出一个权为零的自守表示 π_E：在每个好素数处，它的 Hecke 多项式恰好还原 E 模该素数约化后的点数；两侧拼出的 L 函数逐位相等：L(E, s) = L(π_E, s − 1/2)。无 CM 时 π_E 还是尖点表示。
为什么值得关心
模性是朗兰兹纲领的支柱；此前在虚二次域上总要对曲线或域附加限制，本文首次对所有椭圆曲线、所有虚二次域无条件成立，而且好素数、坏素数与无穷远处的局部参数逐一精确配对。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的类比是”履历表”：椭圆曲线随身带着一本记录自己算术足迹的档案，自守形式则是另一世界里周期性波动的档案；模性断言这两套看似无关的档案逐条吻合。Wiles 在有理数上证实了它并借此征服费马大定理；本文把同样的吻合推广到虚二次域上的每一条椭圆曲线，不加任何限制。
第二级台阶
用标准语言说：椭圆曲线由形如 y²=x³+ax+b 的方程给出，它的档案是 l 进平展上同调——一个二维伽罗瓦表示的相容系统；另一侧是 GL₂ 自守表示，高维对称世界里的”周期波基本粒子”。模性即要求前者实现为后者的伽罗瓦伴随，且在每个位（好素数、坏素数、无穷远）逐点核对局部参数，比整体 L 函数相等更精细。
第三级台阶
定理的语境是：对虚二次域 K 上的任意椭圆曲线 E，存在权为零、中心特征平凡的自守表示，其伽罗瓦实现恰为 E 的上同调，且经局部朗兰兹对应在每个位匹配，整体上 L 函数逐因子相等；E 无复乘时该表示还是尖的。”K 取虚二次域”挡住的是证明中交换 CM 基域与循环下降塔的结构需求；”对曲线不加限制”移除了此前结果对剩余表示像或 Weierstrass 高度的假设。路线是构造一条亏格 n 的库默尔覆盖族，用整格上的同余链把已知的模性种子一路传递到 E，再经基变换与二次扭曲回到 E 本身。
本文证明虚二次域上椭圆曲线的模性猜想（modularity conjecture）：任何虚二次域上的任何椭圆曲线都是模的，且逐位匹配局部参数，把有理数域上的 Wiles–BCDT 定理推广到所有虚二次域。
模性是 Langlands 纲领的核心断言之一：椭圆曲线 @@M@@E@@ 的 @@M@@l@@-进平展上同调 @@M@@H^1_{\et}(E_{\overline K},\overline\mathbb{Q}_l)@@ 应当来自 @@M@@\GL_2(\A_K)@@ 上某个自守表示（automorphic representation）的 Galois 实现，好约化处 Hecke 多项式须恢复约化曲线的点数，坏约化处须匹配含惯性与单项化的完整局部参数。在 @@M@@\mathbb{Q}@@ 上，Wiles 与 Taylor–Wiles 证明半稳定情形、Breuil–Conrad–Diamond–Taylor 完成全部，核心方法是从剩余 Galois 表示（residual Galois representation）提升自守性，Wiles 的 3–5 切换更展示了用带指定挠与局部行为的辅助曲线替换不合规剩余表示的技巧。在虚二次域上，相关上同调是 Bianchi 群作用于双曲三维空间的 Bianchi 形式（Bianchi forms），上同调出现在多个度数，Galois 表示的构造与提升都更难；Harris–Soudry–Taylor、Taylor、Harris–Lan–Taylor–Thorne、Scholze 逐步建立理论，Calegari–Geraghty 发展了多度数的 patching。位势模性（potential automorphy）定理虽已覆盖所有 CM 域上的椭圆曲线，但它允许扩张基域，原域上的模性始终是遗留问题。此前最强的精确结果属于 Caraiani–Newton：特征 3 或 5 剩余像假设下的模性、每个不含 @@M@@\zeta_5@@ 的 Galois CM 域上按高度计 @@M@@100\%@@ 的 Weierstrass 方程的模性，以及 @@M@@X_0(15)(K)@@ 秩为零时虚二次域上的全部椭圆曲线——本文正是要移除这些对曲线与域的剩余限制。
主定理（Theorem 1.1）：设 @@M@@K@@ 为虚二次域、@@M@@E/K@@ 为椭圆曲线，则存在 @@M@@\GL_2(\A_K)@@ 上中心特征平凡、权为零的 isobaric 自守表示 @@M@@\pi_E@@，使得对每个素数 @@M@@l@@ 与每个同构 @@M@@\iota:\overline\mathbb{Q}_l\xrightarrow{\sim}\mathbb{C}@@ 有 @@M@@r_\iota(\pi_E)\simeq H^1_{\et}(E_{\overline K},\overline\mathbb{Q}_l)@@；在每个有限位 @@M@@v\nmid l@@，Frobenius 半单化的 Weil–Deligne 表示（Weil–Deligne representation）满足 @@M@@\iota\WD(H^1_{\et}(E)|_{G_{K_v}})^{\Fss}\simeq\rec_{K_v}(\pi_{E,v}\otimes|\det|_v^{-1/2})@@，即与 Tate 归一化的局部 Langlands 对应（local Langlands correspondence）逐位匹配；无穷远处的参数为 @@M@@z\mapsto\diag(z/|z|,\overline z/|z|)@@。于是每个局部因子一致，且 @@M@@L(E/K,s)=L(\pi_E,s-1/2)@@。若 @@M@@E@@ 无复乘（CM），@@M@@\pi_E@@ 是尖点表示（cuspidal representation）；有 CM 时由 Hecke 特征的自守诱导（automorphic induction）或 isobaric 和给出。
先固定非 CM 的 @@M@@E/K@@，由 Serre 开像定理取素数 @@M@@p>100@@ 使 @@M@@E[p]@@ 的伽罗瓦像含 @@M@@\SL_2(\F_p)@@，令 @@M@@n=3p@@、@@M@@F=K(\mu_n)@@（交换 CM 域，且 @@M@@\zeta_5\notin F@@）。再构造核心几何对象：在 @@M@@E@@ 的二次扭曲（quadratic twist）@@M@@B_t@@ 上取 Kummer 型循环覆盖 @@M@@Y^n=f_t(Z)@@，其中 @@M@@f_t@@ 的除子为 @@M@@(S_t)-(-S_t)-n(R_t)+n(-R_t)@@、@@M@@S_t=[n]R_t@@，得亏格 @@M@@n@@ 的曲线 @@M@@C_n(t)@@，带旋转群 @@M@@\mu_n@@ 与翻转旋转的对合 @@M@@w@@。各旋转特征分片 @@M@@V_\theta=H^1(C_n)_\theta@@ 都是秩二相容系统（compatible system），行列式 @@M@@\eps_l^{-1}@@、Hodge–Tate 权 @@M@@\{0,1\}@@；关键的巧合是三阶分片 @@M@@V_\eta@@ 恰为某椭圆曲线 @@M@@A/F@@ 的 @@M@@H^1@@，平凡分片 @@M@@V_1=H^1(B_t)@@。同调关于群环是自由模 @@M@@H^1(C_n)\simeq\mathbb{Z}[\mu_n]^2@@（以”切开环面”的切缝基证明），因此在整格上赋值特征即得同余链 @@M@@V_\eta\equiv\bmod p\ V_\chi\equiv\bmod 3\ V_\psi\equiv\bmod p\ V_1@@（@@M@@\chi=\eta\psi@@ 阶为 @@M@@3p@@：阶 @@M@@p@@ 部分模 @@M@@p@@ 消失，阶 @@M@@3@@ 部分模 @@M@@3@@ 消失）。两个退化边界各司其职：在 @@M@@R=O@@ 处特殊纤维为紧型（compact type），Jacobian 极限是 @@M@@E^n@@，由此可对全部特征分片同时强加局部约化类型；在 @@M@@R_*=a/(2n)@@ 处有 @@M@@n@@ 个节点，显式消失圈（vanishing cycles）@@M@@\delta_i=\pm(a_i-a_{i+1})@@ 经 Picard–Lefschetz 公式给出同一积分基下非对角元为 @@M@@\pm(2-u-u^{-1})@@ 的两个单项化算子，供给剩余表示的绝对不可约性与合适的 Frobenius 元。随后用两个特殊化论证选出好参数：局部域上有限挠的局部常数性加上与极限纤维 @@M@@E^n@@ 的足够深的挠比较，保证同时实现所有局部条件；对参数线从 @@M@@K@@ 到 @@M@@\mathbb{Q}@@ 的限制再用 Hilbert 不可约性（Hilbert irreducibility），使两个共轭族落入同一个有限单同调商，在分歧素之上的每个位保证剩余 genericity。最后传播并下降：以 @@M@@V_\eta=H^1(A)@@ 为种子，用 Caraiani–Newton 的模 @@M@@5@@ 椭圆起点定理得 @@M@@A@@ 的模性，再依序以系数素数 @@M@@p,3,p@@ 三次调用其提升定理，把自守性沿同余链传到 @@M@@V_1=H^1(B_t)@@；每步所需的局部自守条件（零单项化，或 Steinberg 表示二次扭曲的 ordinarity）由 Varma 的局部–整体相容性在另一系数素数处读出，局部类型按 @@M@@E@@ 的约化类型（potentially good ordinary、Newton 斜率全为 @@M@@1/2@@、potentially totally toric）与提升定理的两个分支逐一配对。因 @@M@@F/K@@ 交换，用素数度循环塔与循环基变换（cyclic base change）逐级下降，Schur 引理产生的特征差以有限阶 Hecke 特征消除，而 @@M@@B_t@@ 是 @@M@@E@@ 的二次扭曲，再扭回即得 @@M@@\pi_E@@；CM 情形由复乘主定理与自守诱导单独处理。
本结果族（030）仅此一篇手稿，家族主张完全依赖本文；其关键外部输入——Caraiani–Newton 的提升定理与剩余判据、HLTT/Scholze 的伽罗瓦表示构造、Varma 的局部–整体相容性、Arthur–Clozel 基变换——均为已发表文献。按任务标注主结果尚无 Lean 形式化证明；OpenAI 官方声明”未经形式化的结果可能有问题”，且手稿日期为 2026 年 10 月 4 日，全文正确性尚待社区核验。另注：本文的提升链只在奇素数处工作（种子用模 @@M@@5@@，提升用 @@M@@3@@ 与大素数 @@M@@p@@），素数 @@M@@2@@ 不在处理范围内；语料库中家族 010 的 Fontaine–Mazur 模性与无限制 pro-modularity 手稿恰以素数 @@M@@2@@ 为主题，与之互补。
问 1：证明里最脆弱的一环是哪里？
（答：同余链的整性基础。证明依赖 H¹(C_n) 关于群环 Z[μ_n] 是自由模（以”切开环面”的切缝基证明），才能在整格里对特征分片赋值得到 V_η≡V_χ (mod p)、V_χ≡V_ψ (mod 3)、V_ψ≡V_1 (mod p) 的链，自守性才得以逐步传递。切缝基的自由性声明或任何一处整格结构有漏，三级提升就整体断线；这也是最该被逐行核验的几何章节。）
问 2：为什么基域要避开 ζ₅（取 F=K(μ_{3p})）？
（答：种子与肥料都来自 Caraiani–Newton：模 5 椭圆起点定理要求域不含 ζ₅（否则剩余表示的局部—整体分析失效），提升定理的两个分支也在此框架内陈述。F=K(μ_n) 是交换 CM 域且 n=3p 与 5 互素，恰好把 ζ₅ 排除在外——这是构造性选择而非偶得。）
问 3：与已有工作相比真正的新意是什么？
（答：此前虚二次域上的精确结果都带枷锁：Caraiani–Newton 要么假设特征 3 或 5 的剩余像、要么只按高度对 100% 的 Weierstrass 方程成立、要么要求 X₀(15)(K) 秩为零；位势模性定理则允许扩域、不在原域落下模性。本文首次对所有虚二次域、所有椭圆曲线无条件得到原域上的模性，且逐位匹配含惯性与单项化的完整局部参数。）
问 4：提升链为什么只在奇素数（5、3、p）处工作，素数 2 去哪了？
（答：种子用模 5、提升依次用系数素数 p、3、p，全部奇；论文的处理范围不含 2。这并非缺陷而是分工：语料库中家族 010 的 Fontaine–Mazur 模性与无限制 pro-modularity 手稿恰以素数 2 为主题，两线互补；本文未讨论 2 处的相应提升。）
问 5：AI 生成证明最可能的出错模式？
（答：本文是超大跨度 的组装工程：HLTT/Scholze 的伽罗瓦表示构造、Varma 局部—整体相容、Arthur–Clozel 基变换、Caraiani–Newton 提升定理，每处引用的精确适用条件（如等权零单项化或 Steinberg 扭曲的 ordinarity 分支与 E 的三种约化类型配对）都是 AI 易错点；再叠加 Hilbert 不可约性选取好参数的 genericity 论证。全篇未形式化，属高风险待验。）
问 6：下游谁会用到它？
（答：模性是虚二次域上一切”从 L 函数读出几何”工具的门票：BSD 猜想在该类域上的推进（L 函数解析性质、秩与 Selmer 群对照）、Sato–Tate 统计、同余数的虚二次推广都会直接引用；朗兰兹纲领侧则把 GL₂ over CM 域的椭圆曲线情形彻底落定，为更高维代数簇的模性铺路。）
总评
这是把 Wiles–BCDT 式的完整模性首次推到全部虚二次域的工作，工程浩大、外部输入深、结论分量重；其最大风险在整格同余链与多定理组装的缝隙处，且未经形式化，宜按章节分段严审后再采信。