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

対角類の明示的相互法則：高レベルの場合

基本情報

論文ID: 2402.13648
タイトル: Explicit reciprocity laws for diagonal classes: higher level cases
著者: Luca Marannino
分類: math.NT (数論)
発表時期: 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$ が $p$ においてsupercuspidalである場合に拡張する。これは文献において初めてこのような場合を扱うものである。
技術的革新：
- 半安定モジュラー曲線上の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結果との整合性
- 古典的な場合との一致性

技術的条件

主要な結果は以下の技術的条件を必要とする：

$(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対数が良く定義されることを示した。