[论文解读] Algebraic functional equation for big Galois representations over multiple $\mathbb{Z}_p$-extensions

Zeping Hao, Meng Fai Lim|arXiv (Cornell University)|Jan 15, 2026

Algebraic Geometry and Number Theory被引用 0

一句话总结

该论文提出一个统一框架，在多个 ℤ_p 扩张下证明大 Galois 表表示的代数性泛函方程，通过对偶性将 Selmer 组与 Selmer 复形联系起来，在广义公理下展示 torsion 与秩的互逆关系。

ABSTRACT

We present a general approach to establish algebraic functional equations for big Galois representations over multiple $\mathbb{Z}_p$-extensions. Our result is formulated in both Selmer group and Selmer complex settings, and encompasses a broad range of Iwasawa-theoretic scenarios. In particular, our result applies to the triple product of Hida families in both balanced and unbalanced cases, as well as the half-ordinary Rankin-Selberg universal deformations recently studied by the first named author and Loeffler. Our result also significantly generalizes many previously known cases of algebraic functional equations and answers a question of Greenberg.

研究动机与目标

• 提供一个统一的公理框架（C1–C4，R1–R2），适用于包含 cyclotomic 扩张的多 ℤ_p 扩张下的大 Galois 表表示。
• 建立代数性泛函方程，关联 Selmer 组及其 Tate 对偶，而不依赖 p-adic L 函数或主猜想。
• 展示该框架对多样的代数对象的适用性，包括 Hida 家族和半有序 Rankin–Selberg 变形。
• 在更一般的情形下推广先前关于代数性泛函方程的结果，并回答 Greenberg 的问题。

提出的方法

• 在公理数据（T, {Tv})_R,F 中建立并工作，基底 R = O[[W1,...,Wm]] 的幂级数，并通过 A、Av 及其对偶进行离散化。
• 研究 Greenberg 的 Selmer 组及相关的 Selmer 复形 SC(T/F∞) 与 SC(T*/F∞)，其中 F∞ 是包含 F_cyc 的 Z_p^r 扩张。
• 以 Greenberg 的严格 Selmer 组作为中介，通过全局对偶性和将其上同调/对偶联系起来的引理，将 Greenberg Selmer 组与 Selmer 复形联系起来。
• 通过对 R 中变量数 m 的归纳证明代数性泛函方程，利用 Proposition 2.6 在经变线性理想下比较特征元。
• 通过基底变换到 F 的扩张 L 以检验（C4），并将其简化到 cyclotomic 情况；利用线性理想进行专化并传播主等式。
• 提供一个框架，使其能够把已知结果恢复并扩展到新的大 Galois 表示，超越 cyclotomic 设置。

实验结果

研究问题

• RQ1 在公理设定（C1–C4, R1–R2）下，Selmer 组 XGr(A/F∞) 与 XGr(A*/F∞) 是否在 involution g↦g−1 下具有 torsion/有限生成性质并相互一致？
• RQ2 在一般多 ℤ_p 扩张下，XGr(A/F∞) 与 XGr(A*/F∞)（以及 Selmer 复合同调）的特征理想在取 involution 后是否一致？
• RQ3 是否可以在大规模、多变量（R）设定下同时为 Selmer 组和 Nekovář Selmer 复合体建立代数性泛函方程？
• RQ4 该框架在多大程度上可应用于多种代数对象（例如 Hida 家族的乘积、半有序 Rankin–Selberg 变形）等，超越此前处理的情况？

主要发现

• XGr(A/Fcyc) 与 XGr(A*/Fcyc) 具有相同的 O[[Γ]]-秩，并且存在伪同构 XGr(A/Fcyc)tors ≃ (XGr(A*/Fcyc)tors)^ι。
• 在 F∞ 上，XGr(A/F∞) 当且仅当 XGr(A*/F∞) 在 R[[G]] 上为 torsion 时为 torsion；同样，对偶的有限生成在 R[[H]] 上相吻合，且在有限生成成立时，特征理想在 involution 下相等。
• 在 Selmer-复形语言中，H^2(SC(T/Fcyc)) 与 H^2(SC(T*/Fcyc)) 具有相同的 Γ-秩，且经过 involution 处理后其 torsion 部分是伪同构的。
• 在 Z_p^r 扩张 F∞ 上，同样的 torsion/有限生成等价性对 Selmer 组和 Selmer 复合物成立；此外，当至少一侧的有限生成条件成立时，特征理想在 involution 下成立相等。
• 结果适用于广泛的例子，包括 Hida 家族三重乘积（平衡/非平衡）和半有序 Rankin–Selberg 通用变形，提供一个统一且经过修正的框架，扩展了先前的特殊情况。