2025-11-11T12:31:13.008788

Explicit reciprocity laws for diagonal classes: higher level cases

Marannino

We generalize the $p$-adic explicit reciprocity laws for balanced diagonal classes by Darmon-Rotger and Bertolini-Seveso-Venerucci to the case of geometric balanced triples $(f,g,h)$ of modular eigenforms where $f$ is a $p$-ordinary newform, while $g$ and $h$ are allowed to be (both) supercuspidal at $p$ or (both) ramified principal series at $p$.

academic

Explicit reciprocity laws for diagonal classes: higher level cases

基本信息

论文ID: 2402.13648
标题: Explicit reciprocity laws for diagonal classes: higher level cases
作者: Luca Marannino
分类: math.NT (Number Theory)
发表时间: 2024年2月 (最后更新: 2025年10月14日)
论文链接: https://arxiv.org/abs/2402.13648

摘要

本文将Darmon-Rotger和Bertolini-Seveso-Venerucci关于平衡对角类的 $p$ 进显式互反律推广到几何平衡三元组 $(f,g,h)$ 的情况，其中 $f$ 是 $p$ -ordinary newform，而 $g$ 和 $h$ 允许在素数 $p$ 处都是supercuspidal或都是ramified principal series。

研究背景与动机

问题背景

对角类理论：对角类(diagonal classes)是现代算术几何中的重要概念，它们连接了模形式理论与椭圆曲线的算术性质。这些类通过对角嵌入 $d_t: Y_t \hookrightarrow Y_t^3$ 构造，其中 $Y_t = Y_1(Mp^t)$ 是模曲线。
显式互反律的重要性：显式互反律提供了计算Bloch-Kato对数的具体公式，这对理解 $L$ 函数特殊值与算术对象之间的关系至关重要。
现有工作的局限性：
- Darmon-Rotger DR17和Bertolini-Seveso-Venerucci BSV20的结果要求所有模形式 $f,g,h$ 都满足某种有限斜率或ordinarity条件
- 对于 $g$ 和 $h$ 在 $p$ 处为supercuspidal的情况，文献中尚无处理方法

研究动机

本文旨在突破这一限制，处理更一般的情况，特别是当 $g$ 和 $h$ 在素数 $p$ 处具有"坏"性质（supercuspidal或ramified principal series）时的显式互反律。

核心贡献

推广显式互反律：将现有的 $p$ 进显式互反律推广到 $g$ 和 $h$ 为supercuspidal at $p$ 的情况，这是文献中首次处理此类情形。
技术创新：
- 发展了半稳定模曲线上的syntomic上同调理论
- 处理了模曲线在 $p$ 处只有半稳定约化的技术困难
- 建立了Hyodo-Kato上同调与syntomic上同调的比较定理
具体公式：给出了 $p$ 进周期 $I_p(f,g,h)$ 的显式计算公式： $I_p(f,g,h) = (-1)^{k-2}(r-k+2)! \cdot a_1(e_{\breve{f}}(\text{Tr}_{Mp^t/M_1p^t}(d^{(k-l-m)/2}g \times h')))$
应用前景：为研究反cyclotomic Iwasawa理论和Heegner点理论提供了新工具。

方法详解

任务定义

设 $(f,g,h)$ 是满足以下条件的模形式三元组：

$f \in S_k(Mp^t, \chi_f)$ ， $g \in S_l(Mp^t, \chi_g)$ ， $h \in S_m(Mp^t, \chi_h)$
$(f,g,h)$ 是self-dual的： $\chi_f\chi_g\chi_h$ 是平凡特征
权重 $(k,l,m)$ 是平衡且几何的（构成三角形的边长）
$f$ 是 $p$ -ordinary newform
$g$ 和 $h$ 在 $p$ 处是supercuspidal且在 $U_p$ 的核中

目标是计算Bloch-Kato对数 $\log^{fgh}_{BK}(\kappa(f,g,h))$ 在特定元素上的值。

模型架构

1. 对角类的构造

对角类 $\kappa(f,g,h) \in H^1(\mathbb{Q}, V(f,g,h))$ 通过以下图表构造：

Det^{ét}_r ∈ H^0_{ét}(Y_t, H_r(r))_L → H^4_{ét}(Y_t^3, H_{[r]}(r+2))_L
                                      ↓
H^1(Q, H^3_{ét}(Y_t^3, L_{[r]}(2-r))_L) → H^1(Q, V(f,g,h))

其中 $V(f,g,h) = V_{Mp^t}(f') \otimes_L V_{Mp^t}(g) \otimes_L V_{Mp^t}(h')(-1-r)$ 。

半稳定约化的处理：与之前工作不同，本文必须处理模曲线 $X_1(Mp^t)$ 在 $p$ 处只有半稳定约化的情况，这需要更精细的上同调理论。
系数理论的发展：发展了带系数的log-rigid syntomic上同调，尽管在高权重情况下仍是条件性的。
Frobenius作用的分析：详细分析了Frobenius算子在各种上同调群上的作用，特别是对supercuspidal表示的处理。

实验设置

理论验证

由于这是纯数学理论工作，"实验"主要体现在：

特殊情况验证：
- 权重 $(2,2,2)$ 的情况给出完整证明
- 一般平衡权重的情况在某些假设下成立
兼容性检查：
- 与已知的Darmon-Rotger和BSV结果的兼容性
- 与classical情况的一致性

技术条件

主要结果需要以下技术条件：

$(f,g,h)$ 是 $(F,1-T)$ -convenient的
$g$ 和 $h$ 是 $p$ -depleted eigenforms
适当的Galois扩张 $F/\mathbb{Q}_p$ 的选择

实验结果

主要结果（定理5.2）

对于满足条件的三元组 $(f,g,h)$ ：

权重 $(2,2,2)$ 的情况： $I_p(f,g,h) = a_1(e_{\breve{f}}(\text{Tr}_{Mp^t/M_1p^t}(d^{-1}g \times h')))$

一般平衡权重的情况： $I_p(f,g,h) = (-1)^{k-2}(r-k+2)! \cdot a_1(e_{\breve{f}}(\text{Tr}_{Mp^t/M_1p^t}(d^{(k-l-m)/2}g \times h')))$

技术成果

$(F,1-T)$ -convenient条件（命题3.28）：
- 当 $f$ 的权重 $k > 2$ 时，三元组 $(f,g,h)$ 自动满足 $(F,1-T)$ -convenient条件
- 当 $f \in S_2(M_1p, \chi_f, L)$ 是newform时，三元组是 $F$ -exponential的
Bloch-Kato对数的性质：证明了 $\kappa(f,g,h) \in H^1_g(\mathbb{Q}_p, V(f,g,h))$ ，使得Bloch-Kato对数有良好定义。