Explicit reciprocity laws for diagonal classes: higher level cases

Basic Information

• Paper ID: 2402.13648
• Title: Explicit reciprocity laws for diagonal classes: higher level cases
• Author: Luca Marannino
• Classification: math.NT (Number Theory)
• Publication Date: February 2024 (Last updated: October 14, 2025)
• Paper Link: https://arxiv.org/abs/2402.13648

Abstract

This paper generalizes the $p$-adic explicit reciprocity laws for balanced diagonal classes due to Darmon-Rotger and Bertolini-Seveso-Venerucci to the case of geometrically balanced triples $(f,g,h)$, where $f$ is a $p$-ordinary newform, while $g$ and $h$ are allowed to be either both supercuspidal or both ramified principal series at the prime $p$.

Research Background and Motivation

Problem Background

1. Diagonal Classes Theory: Diagonal classes are important concepts in modern arithmetic geometry, connecting modular form theory with arithmetic properties of elliptic curves. These classes are constructed via diagonal embeddings $d_t: Y_t \hookrightarrow Y_t^3$, where $Y_t = Y_1(Mp^t)$ is a modular curve.
2. Importance of Explicit Reciprocity Laws: Explicit reciprocity laws provide concrete formulas for computing Bloch-Kato logarithms, which is crucial for understanding the relationship between special values of $L$-functions and arithmetic objects.
3. Limitations of Existing Work:
   • Results by Darmon-Rotger DR17 and Bertolini-Seveso-Venerucci BSV20 require all modular forms $f,g,h$ to satisfy certain finite slope or ordinarity conditions
   • The case where $g$ and $h$ are supercuspidal at $p$ has not been addressed in the literature

Research Motivation

This paper aims to overcome these limitations by treating more general cases, particularly when $g$ and $h$ have "bad" properties at the prime $p$ (supercuspidal or ramified principal series).

Core Contributions

1. Generalization of Explicit Reciprocity Laws: Extends the existing $p$-adic explicit reciprocity laws to the case where $g$ and $h$ are supercuspidal at $p$, which is the first treatment of such cases in the literature.
2. Technical Innovations:
   • Develops syntomic cohomology theory on semistable modular curves
   • Addresses technical difficulties arising from semistable reduction of modular curves at $p$
   • Establishes comparison theorems between Hyodo-Kato cohomology and syntomic cohomology
3. Explicit Formulas: Provides explicit computation formulas for the $p$-adic period $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')))$
4. Application Prospects: Provides new tools for studying anticyclotomic Iwasawa theory and Heegner point theory.

Detailed Methodology

Problem Setup

Let $(f,g,h)$ be a triple of modular forms satisfying:

• $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)$ is self-dual: $\chi_f\chi_g\chi_h$ is the trivial character
• The weights $(k,l,m)$ are balanced and geometric (form the sides of a triangle)
• $f$ is a $p$-ordinary newform
• $g$ and $h$ are supercuspidal at $p$ and lie in the kernel of $U_p$

The goal is to compute the value of the Bloch-Kato logarithm $\log^{fgh}_{BK}(\kappa(f,g,h))$ on specific elements.

Model Architecture

1. Construction of Diagonal Classes

The diagonal class $\kappa(f,g,h) \in H^1(\mathbb{Q}, V(f,g,h))$ is constructed via the following diagram:

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))

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

2. Syntomic Abel-Jacobi Map

To handle the semistable case, a syntomic version of the Abel-Jacobi map is constructed:

$AJ_{syn,F}: H^0_{NN-syn}(Y_{t,F}, H_r, r) \to H^1_{st}(F, D_{pst}(H^3_{ét}(Y_t^3, H_{[r]}(r+2))_L))$

3. Technical Core: Hyodo-Kato Theory

Employing Ertl-Yamada's Hyodo-Kato cohomology theory for strictly semistable log-schemes, comparison isomorphisms are established: $\Psi_\varpi: \text{RΓ}^{HK}_{rig}(X_0\langle D_0\rangle) \to \text{RΓ}_{lrig}(X_0\langle D_0\rangle/\mathcal{O}^\varpi_F)$

Technical Innovations

1. Handling Semistable Reduction: Unlike previous work, this paper must address the case where the modular curve $X_1(Mp^t)$ has only semistable reduction at $p$, requiring more refined cohomology theory.
2. Development of Coefficient Theory: Develops log-rigid syntomic cohomology with coefficients, though still conditional in the higher weight case.
3. Analysis of Frobenius Action: Provides detailed analysis of the Frobenius operator action on various cohomology groups, particularly for supercuspidal representations.

Experimental Setup

Theoretical Verification

Since this is pure mathematical theoretical work, "experiments" are primarily manifested in:

1. Special Case Verification:
   • The weight $(2,2,2)$ case provides complete proof
   • The general balanced weight case holds under certain assumptions
2. Compatibility Checks:
   • Compatibility with known results by Darmon-Rotger and BSV
   • Consistency with classical cases

Technical Conditions

The main results require the following technical conditions:

• $(f,g,h)$ is $(F,1-T)$-convenient
• $g$ and $h$ are $p$-depleted eigenforms
• Appropriate choice of Galois extension $F/\mathbb{Q}_p$

Experimental Results

Main Result (Theorem 5.2)

For triples $(f,g,h)$ satisfying the conditions:

Weight $(2,2,2)$ case: $I_p(f,g,h) = a_1(e_{\breve{f}}(\text{Tr}_{Mp^t/M_1p^t}(d^{-1}g \times h')))$

General balanced weight case: $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')))$

Technical Achievements

1. $(F,1-T)$-convenient Condition (Proposition 3.28):
   • When the weight $k > 2$ of $f$, the triple $(f,g,h)$ automatically satisfies the $(F,1-T)$-convenient condition
   • When $f \in S_2(M_1p, \chi_f, L)$ is a newform, the triple is $F$-exponential
2. Properties of Bloch-Kato Logarithm: Proves that $\kappa(f,g,h) \in H^1_g(\mathbb{Q}_p, V(f,g,h))$, ensuring the Bloch-Kato logarithm is well-defined.

Related Work

Historical Development

1. Gross-Kudla-Schoen Diagonal Cycles: Initial geometric construction
2. Darmon-Rotger DR17: First establishment of explicit reciprocity laws, but requiring all forms to have finite slope
3. Bertolini-Seveso-Venerucci BSV20, BSV22b: Generalization to more general cases, but still requiring ordinarity assumptions

Position of This Work

This paper is the first to address the supercuspidal case, filling a theoretical gap and paving the way for subsequent research.

Conclusions and Discussion

Main Conclusions

1. Successfully generalizes explicit reciprocity laws to the supercuspidal case
2. Establishes a syntomic cohomology framework for the semistable case
3. Provides concrete computable formulas

Limitations

1. Conditional Results: The general weight case depends on forthcoming work by Andreatta-Bertolini-Seveso-Venerucci
2. Technical Assumptions: Requires the $(F,1-T)$-convenient condition, though automatically satisfied in most cases
3. Computational Complexity: Actual computation remains quite complex

Future Directions

1. Complete Theory: Awaiting refinement of coefficient theory for unconditional results
2. Application Development:
   • Generalization of anticyclotomic Iwasawa theory
   • Connection with generalized triple product $p$-adic $L$-functions
   • Applications to Heegner point theory

In-Depth Evaluation

Strengths

1. Theoretical Breakthrough: First treatment of the supercuspidal case with pioneering significance
2. Technical Depth: Skillful application of $p$-adic Hodge theory, syntomic cohomology, and other advanced theories
3. Clear Structure: Well-organized paper with clear exposition from motivation to technical details
4. Application Prospects: Provides new tools for multiple important problems

Weaknesses

1. Completeness: Proof of the general weight case is conditional
2. Accessibility: Requires substantial background knowledge with high technical threshold
3. Computational Practicality: While explicit formulas are provided, actual computation remains difficult

Impact

1. Academic Value: Advances the development of arithmetic geometry theory
2. Subsequent Research: Provides new research directions for related fields
3. Methodological Contribution: Developed technical methods have universal significance

Applicable Scenarios

• Study of arithmetic properties of modular forms
• Theory of $p$-adic $L$-functions of elliptic curves
• Generalization of Iwasawa theory
• Research on special value formulas

References

The paper cites 40 important references, primarily including:

• DR17 Darmon-Rotger's pioneering work
• BSV20, BSV22b Series of works by Bertolini-Seveso-Venerucci
• EY21, EY24 Ertl-Yamada's Hyodo-Kato theory
• NN16 Nekovář-Nizioł's syntomic cohomology theory

This paper represents important progress in the field of arithmetic geometry. Although highly technical, it provides new tools and perspectives for understanding the deep connections between modular forms and the arithmetic of elliptic curves.