Generalised Kato classes on CM elliptic curves of rank 2

1. 研究背景与问题 (Problem)

核心问题：
在 Birch–Swinnerton-Dyer (BSD) 猜想的高阶零点情形下（即 $L(E, s)$ 在 $s=1$ 处的零点阶数 $\ge 2$），如何系统地构造椭圆曲线 $E/\mathbb{Q}$ 上的非挠有理点或 Selmer 类？

具体情境：

• 设 $E/\mathbb{Q}$ 是带有复乘（CM）的椭圆曲线，其 CM 域为虚二次域 $K$。
• 设 $p \ge 5$ 是一个在 $K$ 中分裂且 $E$ 具有好普通约化（good ordinary reduction）的素数。
• 假设 $L(E, s)$ 在 $s=1$ 处有零点，且函数方程的符号为 $+1$（这意味着零点阶数至少为 2，且为偶数）。
• 目标： 构造一个非零的广义 Kato 类 $\kappa_p \in \text{Sel}(\mathbb{Q}, V_p E)$，并证明其非零性与 Selmer 群的维数之间的关系。

现有挑战：
Darmon 和 Rotger 在非 CM 情形下构造了广义 Kato 类，并证明了类似 Kolyvagin 的结果（即类非零 $\implies$ Selmer 群维数为 2）。然而，CM 情形由于缺乏某些非 CM 情形下的关键性质（如存在非 CM 的乘法约化素数），使得原有方法失效。本文旨在填补这一空白。

---

2. 方法论 (Methodology)

本文采用了一种结合Hida 族理论、对角循环（Diagonal Cycles）、Iwasawa 理论以及显式互反律的综合方法。

2.1 构造广义 Kato 类

• Darmon-Rotger 构造的变体： 作者修改了 Darmon-Rotger 的构造，利用三个 Hida 族 $(\phi, g, h)$ 的对角循环类。
  • $\phi$ 是一个 CM Hida 族，对应于椭圆曲线 $E$ 的 Grossencharacter $\psi_E$ 的某种变形。
  • $g, h$ 是同一个虚二次域 $K$ 上的 CM Hida 族。
• 大对角类 (Big Diagonal Class)： 定义了一个在大 Iwasawa 代数上的类 $\kappa(\phi, g, h) \in H^1(\mathbb{Q}, V^\dagger)$，其中 $V^\dagger$ 是三个 Galois 表示张量积的自对偶扭曲。
• 特殊化与投影： 通过特定的特殊化（Specialisation）和投影，将大对角类映射到 $H^1(\mathbb{Q}, V_p E)$ 中，得到目标类 $\kappa_p$。
• 关键技巧： 利用 $\psi_E = \lambda_0 \lambda_1^c \lambda_2^c$ 的关系，将 $E$ 的 CM 情形嵌入到三个 CM Hida 族的框架中。

2.2 对角循环主猜想 (Diagonal Cycle Main Conjecture)

• 猜想 A： 提出了关于大对角类 $\kappa(\phi, g, h)$ 的 Iwasawa 主猜想。该猜想断言 $\kappa$ 非挠，且 Selmer 群的对偶模的示性理想与 $\kappa$ 生成的子模的平方相等。
• 证明策略：
  1. 分解 (Decomposition)： 利用 Shapiro 引理和 CM 性质，将平衡 Selmer 群 $\text{Sel}_{\text{bal}}(\mathbb{Q}, V^\dagger)$ 和 $\phi$-不平衡 Selmer 群分解为四个关于 Hecke 字符的抗循环（Anticyclotomic）Selmer 群的直和。
  2. L-函数分解： 证明三乘积 $p$-adic L-函数 $L^\phi_p(\phi, g, h)$ 可以分解为四个 Katz $p$-adic L-函数的乘积。
  3. 利用已知结果： 结合 Agboola-Howard 和 Arnold 关于虚二次域上 Hecke 字符的抗循环 Iwasawa 主猜想（基于 Rubin 的工作），证明分解后的各分量满足主猜想，从而推导出整体主猜想成立。

2.3 显式互反律与控制定理

• 显式互反律： 建立了 $\kappa(\phi, g, h)$ 在 $p$-adic 对数/指数映射下的像与 $L^\phi_p(\phi, g, h)$ 之间的精确关系（Theorem 5.1.1）。
• Mazur 控制定理的变体： 证明了在特殊化过程中，Selmer 群秩的变化规律，特别是针对“反转”局部条件（reversed local conditions）的 Selmer 群。

---

3. 主要贡献与结果 (Key Contributions & Results)

3.1 定理 A：CM 情形下的对角循环主猜想

证明了在特定条件下（Hecke 字符满足自对偶性和非平凡性），大对角类 $\kappa(\phi, g, h)$ 不是挠元，且平衡 Selmer 群及其对偶模的秩均为 1。更重要的是，证明了示性理想等式：
$$\text{char}_{R_{\phi gh}} \left( X_{\text{bal}}(Q, A^\dagger_{\phi gh})_{\text{tors}} \right) = \text{char}_{R_{\phi gh}} \left( \frac{\text{Sel}_{\text{bal}}(Q, V^\dagger_{\phi gh})}{R_{\phi gh} \cdot \kappa(\phi, g, h)} \right)^2$$
这是对角循环主猜想在 CM 情形下的首次证明。

3.2 定理 B：广义 Kato 类与秩 2 Selmer 群的关系

这是论文的核心算术结果，是 Kolyvagin 定理在秩 2 情形下的类比：

• 正向蕴含： 如果广义 Kato 类 $\kappa_p \neq 0$，则 $\dim_{\mathbb{Q}_p} \text{Sel}(\mathbb{Q}, V_p E) = 2$。
• 反向刻画： 如果 $\dim_{\mathbb{Q}_p} \text{Sel}(\mathbb{Q}, V_p E) = 2$，则 $\kappa_p \neq 0$ 当且仅当 限制映射 $\text{res}_p: \text{Sel}(\mathbb{Q}, V_p E) \to \widehat{E(\mathbb{Q}_p)} \otimes \mathbb{Q}_p$ 非零。
  • 注： 这一结果表明，$\kappa_p$ 生成了 $\text{Sel}(\mathbb{Q}, V_p E)$ 中核于限制映射的一维子空间。

3.3 定理 C：秩 2 Selmer 群的基构造

在假设 $p$-adic BSD 猜想成立（即 $L_p(s)$ 和 $L^*_p(s)$ 的零点阶数分别为 2 和 1）且 $\text{Ш}(E/\mathbb{Q})[p^\infty]$ 有限的条件下：

• 证明了 $\text{Sel}(\mathbb{Q}, V_p E)$ 是 2 维的。
• 给出了该空间的一组显式 $\mathbb{Q}_p$-基：$\{ \kappa_p, x^{(2)}_p \}$。
  • $\kappa_p$ 是广义 Kato 类。
  • $x^{(2)}_p$ 是“导出”椭圆单位（derived elliptic unit），由 Rubin 的构造给出。
• 这为秩 2 情形提供了具体的算术对象，而不仅仅是存在性证明。

---

4. 意义与影响 (Significance)

1. 解决 CM 情形的技术障碍： 成功克服了 Darmon-Rotger 方法在处理 CM 椭圆曲线时的局限性（原方法通常要求存在非 CM 的乘法约化素数），通过引入新的 Hida 族分解和抗循环 Iwasawa 理论，建立了 CM 情形下的完整理论框架。
2. BSD 猜想的高阶情形： 为 BSD 猜想在 $L(E, 1)$ 零点阶数 $\ge 2$ 的情形提供了强有力的证据。特别是证明了广义 Kato 类的非零性直接对应于 Selmer 群维数的增加，这符合 BSD 猜想的预测。
3. Kolyvagin 方法的推广： 将 Kolyvagin 关于 Heegner 点（秩 0 或 1）的经典结果推广到了广义 Kato 类（秩 2）的情形，展示了现代 Iwasawa 理论在构造高秩点方面的强大能力。
4. 显式基的构造： 定理 C 不仅证明了维数，还给出了 Selmer 群的具体生成元，这对于计算和验证 BSD 猜想的具体数值形式（如 $p$-adic 高度配对）具有重要意义。
5. 连接不同领域： 论文巧妙地连接了：
   • 模形式与 Hida 族理论
   • 对角循环几何
   • 虚二次域上的抗循环 Iwasawa 理论
   • 椭圆曲线的算术几何

总结

Francesc Castella 的这篇论文通过引入基于 CM Hida 族的大对角类，并证明其满足对角循环主猜想，成功构造了 CM 椭圆曲线在秩 2 情形下的广义 Kato 类。文章证明了该类非零性与 Selmer 群维数及局部限制映射之间的精确等价关系，为高阶 BSD 猜想的研究提供了关键的算术工具和理论突破。