An analogue of Kida's formula for Mazur-Tate elements

技术摘要：关于 Mazur–Tate 元素的 Kida 公式类比

问题陈述
本文旨在建立一个关于附属于有理数域 $\mathbb{Q}$ 上椭圆曲线的 Mazur–Tate 元素的 Iwasawa 不变量（$\mu$ 与 $\lambda$）的 Kida 公式类比。由于 Kida 的经典公式涉及数域 $p$-扩张中类数增长与分歧数据的关系，而随后的工作（如 Hachimori–Matsuno 和 Matsuno）分别将此扩展到了 Selmer 群和 $p$-进 $L$-函数，但对于 Mazur–Tate 元素——即 $p$-进 $L$-函数的有限层类比——尚未建立一个统一的公式，特别是在处理 $p$ 处具有任意还原类型的椭圆曲线时。具体而言，作者旨在确定当从阿贝尔数域 $K$ 转向 $p$-扩张 $L$ 时，$\mu$ 不变量的消失情况以及 $\lambda$ 不变量的值如何变化，且不对椭圆曲线在 $p$ 处的局部行为施加限制性假设（例如排除加性还原）。

方法论
作者结合了 Iwasawa 理论、模符号（modular symbols）以及 Mazur–Tate 元素的算术性质。其核心方法论包括：

1. 阿贝尔扩张上的 Mazur–Tate 元素： 作者定义了椭圆曲线 $E$ 在循环 $\mathbb{Z}_p$-扩张有限层 $n$ 下的 Mazur–Tate 元素 $\Theta_n(E/K)$，其中 $K/\mathbb{Q}$ 为阿贝尔扩张。这些元素是通过与 $E$ 对应的权重为 2 的新形式 $f$（通过模性定理）相关的模符号构造而成的。
2. 插值性质： 利用 Birch 引理和模符号的性质，本文确立了这些元素对扭转 $L$-函数 $L(f/K, \chi, 1)$ 特殊值的插值。
3. 局部 Euler 因子的分析： 一个关键的技术步骤是分析不同层级的循环塔之间投影映射下的 Mazur–Tate 元素的相容性。作者定义了一个局部不变量 $g_{\psi, n}(\ell)$，用于衡量素数 $\ell$ 对 $\lambda$ 不变量变化的贡献。该不变量是通过考察与 Hecke 算子相关的 Iwasawa 理论 Euler 因子 $h_\ell(\psi, T)$ 推导而出的。
4. 特征求和： 为了从基域 $K$ 过渡到扩张 $L$，作者对 Galois 群 $\text{Gal}(K/\mathbb{Q})$ 的所有特征对局部贡献 $g_{\psi, n}(\ell)$ 进行求和。这种求和依赖于阿贝尔扩张中的特征计数结果，以将曲线在 $K$ 上的局部行为与 $L$ 中的分歧指数联系起来。
5. 还原类型： 分析区分了分裂乘法还原、具有局部 $p$-挠的良好还原以及加性还原。对于加性还原，作者依赖于“潜在良好平凡”（potentially good ordinary）条件（Delbourgo 假设），以将 Mazur–Tate 元素与有界的 $p$-进 $L$-函数联系起来。

主要贡献与结果

• 主定理 (Theorem 1.3)： 本文证明了一个关于 Mazur–Tate 元素 Iwasawa 不变量的 Kida 型公式。设 $L/K$ 是具有 $p$-幂 Galois 群的阿贝尔数域扩张。如果 $K$ 上 Mazur–Tate 元素的 $\mu$-不变量消失（$\mu(\Theta_{n+n_L-n_K}(E/K)) = 0$），则 $L$ 上的 $\mu$-不变量也消失。此外，$\lambda$-不变量满足：
  $$\lambda(\Theta_n(E/L)) = [L_\infty : K_\infty] \lambda(\Theta_{n+n_L-n_K}(E/K)) + \sum_{w \in P_1} f(w)(e(w)-1) + 2 \sum_{w \in P_2} f(w)(e(w)-1)$$
  其中 $P_1$ 是 $E$ 具有分裂乘法还原的素数集合，$P_2$ 是 $E$ 具有良好还原且具有非平凡 $p$-挠的素数集合，$e(w)$ 是分歧指数，$f(w)$ 是惯性次数。

• 向模形式的推广： 该结果被推广到 Hecke 特征尖点形式（Theorem 3.7），从而在局部定义还原类型的情况下，不再需要严格要求曲线定义在 $\mathbb{Q}$ 上。

• 在 $p$-进 $L$-函数中的应用：

  • 半稳定还原： 作者展示了其公式如何恢复 Matsuno 关于 $p$-平凡椭圆曲线的结果，并将其扩展到良好超奇异还原（即 $a_p(E)=0$）的情形，从而为 Pollack 构建的有符号 $p$-进 $L$-函数提供了一个 Kida 公式（Theorem 4.2）。
  • 加性还原： 在 Delbourgo 的潜在良好平凡假设下，作者推导出了 Delbourgo 为具有加性还原的椭圆曲线构建的 $p$-进 $L$-函数的 Kida 公式（Theorem 4.5）。

意义与主张
本文声称其结果统一了先前零散的关于解析 Iwasawa 不变量的 Kida 公式案例。通过直接研究作为 $p$-进 $L$-函数极限近似的 Mazur–Tate 元素，作者提供了一个适用于具有任何还原类型（包括加性还原）的椭圆曲线的框架，且仅需满足温和的假设。

作者指出，这项工作与 Hachimori–Matsuno 关于 Selmer 群的代数结果相平行，但在解析侧进行操作。其主要意义在于，它能够处理此前未知是否存在有界 $p$-进 $L$-函数或需要特定条件（如潜在良好平凡条件）的情况。本文断言，这些公式符合精细主猜想（refined main conjectures）的哲学，这意味着代数类比将意味着对于作为 $\mathbb{Q}$ 的阿贝尔扩张的基域，存在精细的猜想。作者明确指出，其结果并非发明了新的应用，而是提供了获得在阿贝尔数域的 $p$-扩张中 Tate–Shafarevich 群增长公式的理论基础，这取决于主猜想的有效性。