带复乘椭圆曲线椭圆网（elliptic nets）的显式赋值

《Canadian Mathematical Communications》：Explicit valuation of elliptic nets for elliptic curves with complex multiplication

　　

与椭圆曲线 E/K 相伴的除多项式（division polynomials）?n、ψn2 源于曲线上点列 {nP}n∈?。若研究 E(K) 中点的 ?-线性组合，可使用网多项式（net polynomials）Φv、Ψv2，其为除多项式的高维类比，同时也是椭圆网（elliptic nets）——即取值于 K 的 n 维数组，满足与除多项式相同的非线性递推关系。进一步假设椭圆曲线 E/K 被二次虚域 F?K 的某个阶（order）复乘（complex multiplication, CM），研究人员将证明：对由 F 中阶元素作用所得点倍乘对应的 Φv 与 Ψv2，其公共赋值（common valuation）公式成立。作为应用，研究人员利用该公式说明：在特定指标条件下，由阶中元素索引的点倍乘所伴随的椭圆可除序列（elliptic divisibility sequences, EDSs）在按阶中元素重索引时仍满足递推关系。

研究背景方面，椭圆曲线 E/? 上非挠点 P 的 n 倍乘点 nP 的 x 坐标可由除多项式（division polynomials）?_n、ψ_n² 表为 x(nP)=?_n(x(P))/ψ_n²(x(P))=A_n/B_n²，其中 A_n、B_n 为互素整数。除多项式满足 ψ_n+mψ_n?mψ_r²=ψ_m+rψ_m?rψ_n²?ψ_n+rψ_n?rψ_m²（n>m>r）。在固定离散赋值 ν 下，量 min(ν(?_n(P)),ν(ψ_n²(P))) 称为消去指数（cancellation exponent），其估计关联 Siegel 定理（椭圆曲线仅有有限个整点）、Ayad 对秩 1 曲线 S-整点的计算、Ingram 借助 |ψ_n(P)| 对点高的估计、Stange 依赖 h(E)/?(P) 的改进界、Ghadermarzi 对 Mordell 曲线 y²=x³+B 的整点分析。Cheon 与 Hahn 曾给出奇点素数处消去指数的递归公式（利用 E₀(K)?E(K) 有限指数子群），Stange 给出闭式公式，Yabuta 与 Voutier 用 Kodaira 符号表示，Naskr?cki 与 Verzobio 推广至函数域。当 E 具复乘（CM）时，End(E)=?[ω]，ω 为二次虚域基，自然希望把除多项式与椭圆可除序列（elliptic divisibility sequences, EDSs）的索引由整数推广为阶中元素。Streng 扩展了 CM 情形 EDSs 定义与本原因子结论，Satoh 证得 CM 广义除多项式存在并满足特定递推，但其多项式行为依赖于核 E[α] 中点是否和为零及 2 在二次域中的分歧分裂惰性。研究人员改用椭圆网（elliptic nets）定义 CM 除多项式：其一规避 Satoh 构造对核与 2 分歧的依赖；其二椭圆网是 EDSs 的高秩推广，且在 CM 下 ?-线性组合 [n]P+[m]ωP=[n+mω]P 可视为单点倍乘，从而有望把 Ingram 型论证推广到 [n+mω]P 整点计数问题。本文发表于《Canadian Mathematical Communications》。

关键技术方法上，研究人员以椭圆网（elliptic nets）为 CM 除多项式载体，继承 Stange 所述非线性递推；采用 Cheon–Hahn 基于 E₀(K) 子群滤链（subgroup filtration）的赋值分析框架修正原证明漏洞（原 Lemma 1 在 ν(x(P))<0 时断言 ν(x(mP))=ν(x(P))?2ν(m) 需额外假设，借 Verzobio 注记以滤链修补）；在二次虚域阶 ?[ω] 中把指标 z=n+mω 视为 End(E) 作用，定义 g_z,ν(P)=min(2ν(ψ_z(P)),ν(?_z(P))) 类消去指数；对具 CM 的 E/K（K 数域，F?K 二次虚域，End(E)=?[ω]），取素理想 ??∣p、一致化元 π、ν(π)=1，将 x([z]P)=?_z/ψ_z² 写为理想分解 A_zD_z^?2（D_z 为分母理想，类数 1 时化为元素 B_z），并用 d_??(??) 表理想 ?? 在 ?? 处指数。

研究结果部分，引言 1.1 节梳理消去指数史与 CM 推广动机，指出椭圆网较 Satoh 广义除多项式更适配线性组合整点问题。引言 1.2 节列出主要结果：先重述 Cheon–Hahn 定理 1.1——对 E/??_K、P∈E(K) 非挠且 ν(x(P))≥0，令 r 为 P 在 E(K)/E₀(K) 中阶，则 g_n,ν(P) 渐近为二次函数，n=tr 时 g=μt²，n=2tr±k（1≤k²±2(2ν(ψ_k/ψ_r?k)+μ)t+2ν(ψ_k)，μ=g_r,ν(P)；研究人员在 Remark 1.2 中明确 Cheon–Hahn 证明有隙（Lemma 1 误用），但借 E₀ 滤链可修补故定理仍真。随后给出 Definition 1.1（ν 对 ?? 的归一离散赋值与理想 d_?? 定义）、Definition 1.2（CM 曲线下 ?_z、ψ_z 网多项式与 A_z、D_z 理想分解）。在此基础上研究人员证明：对 CM 由 ?[ω] 的 E/K、非挠 P∈E(K)、z∈?[ω]，公共赋值 ν(?_z∧ψ_z²) 可表为关于 z 范数 N(z) 的二次型加上由 P 在 E(K)/E₀(K) 内阶 r_CM 及 ω 作用轨道决定的周期修正项，形式类比 Cheon–Hahn 但在指标格 ?[ω] 中按范数增长；当 K 类数 1 时化为元素 B_z 的 ν(B_z²)=2ν(D_z) 显式公式。作为推论，研究人员说明：对由阶元素索引的序列 W_z=ψ_z(P)（z∈?[ω]），在指标 z 满足 N(z) 沿某射线增长且 P 不在 E₀ 例外层时，W_z 满足类比 EDS 的递推（利用椭圆网同递推式降维到 ?[ω] 双线性型），从而把 Streng 的 CM-EDS 本原因子讨论补入消去指数控制。

讨论与结论部分，研究人员指出：显式公共赋值公式把整数索引的 Cheon–Hahn 结果完整移植到二次虚域阶索引，使 Ayad–Ingram–Stange 一脉的整点分母界可借 [n+mω]P 重写，为 ?-线性组合 [n]P+[m]ωP 型整点问题提供原型；同时椭圆网口径下的 CM-EDS 递推推论在指定指标条件下成立，印证网多项式较 Satoh 广义除多项式更适合作为 CM 情形取消指数载体。结论重申：对具 CM 的 E/K 与 End(E)=?[ω]，Φ_v 与 Ψ_v² 的公共赋值有显式二次主导项加周期修正公式，且该公式可推出阶索引椭圆可除序列在条件指标集上的递推性，全文结果限于原文设定（数域 K、?_K Weierstrass 模型、ν 归一化、P 非挠、E₀(K) 滤链可用），未推广至任意非交换 End 或特征 p 域。