Lois de réciprocité explicites pour les classes diagonales : cas de niveau supérieur

Informations fondamentales

• ID de l'article : 2402.13648
• Titre : Explicit reciprocity laws for diagonal classes: higher level cases
• Auteur : Luca Marannino
• Classification : math.NT (Théorie des nombres)
• Date de publication : février 2024 (dernière mise à jour : 14 octobre 2025)
• Lien de l'article : https://arxiv.org/abs/2402.13648

Résumé

Cet article généralise les lois de réciprocité $p$-adiques explicites de Darmon-Rotger et Bertolini-Seveso-Venerucci concernant les classes diagonales équilibrées au cas des triplets géométriquement équilibrés $(f,g,h)$, où $f$ est une newform $p$-ordinaire, tandis que $g$ et $h$ peuvent être soit supercuspidales soit des séries principales ramifiées au nombre premier $p$.

Contexte et motivation de la recherche

Contexte du problème

1. Théorie des classes diagonales : Les classes diagonales constituent un concept fondamental en géométrie arithmétique moderne, reliant la théorie des formes modulaires aux propriétés arithmétiques des courbes elliptiques. Ces classes sont construites via l'immersion diagonale $d_t: Y_t \hookrightarrow Y_t^3$, où $Y_t = Y_1(Mp^t)$ est une courbe modulaire.
2. Importance des lois de réciprocité explicites : Les lois de réciprocité explicites fournissent des formules concrètes pour calculer les logarithmes de Bloch-Kato, ce qui est crucial pour comprendre les relations entre les valeurs spéciales des fonctions $L$ et les objets arithmétiques.
3. Limitations des travaux existants :
   • Les résultats de Darmon-Rotger DR17 et Bertolini-Seveso-Venerucci BSV20 exigent que toutes les formes modulaires $f,g,h$ satisfassent certaines conditions de pente finie ou d'ordinarité
   • Pour le cas où $g$ et $h$ sont supercuspidales en $p$, aucune méthode n'existe dans la littérature

Motivation de la recherche

Cet article vise à dépasser cette limitation en traitant des cas plus généraux, en particulier lorsque $g$ et $h$ présentent des propriétés « mauvaises » au nombre premier $p$ (supercuspidales ou séries principales ramifiées).

Contributions fondamentales

1. Généralisation des lois de réciprocité explicites : Extension des lois de réciprocité $p$-adiques explicites existantes au cas où $g$ et $h$ sont supercuspidales en $p$, ce qui constitue le premier traitement de tels cas dans la littérature.
2. Innovations techniques :
   • Développement de la théorie de la cohomologie syntomique sur les courbes modulaires semi-stables
   • Traitement des difficultés techniques liées à la réduction semi-stable des courbes modulaires en $p$
   • Établissement d'un théorème de comparaison entre la cohomologie de Hyodo-Kato et la cohomologie syntomique
3. Formules explicites : Calcul explicite de la période $p$-adique $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. Perspectives d'application : Fournit de nouveaux outils pour l'étude de la théorie d'Iwasawa anticyclotomique et de la théorie des points de Heegner.

Détails méthodologiques

Définition de la tâche

Soit $(f,g,h)$ un triplet de formes modulaires satisfaisant les conditions suivantes :

• $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)$ est auto-dual : $\chi_f\chi_g\chi_h$ est le caractère trivial
• Les poids $(k,l,m)$ sont équilibrés et géométriques (formant les côtés d'un triangle)
• $f$ est une newform $p$-ordinaire
• $g$ et $h$ sont supercuspidales en $p$ et dans le noyau de $U_p$

L'objectif est de calculer le logarithme de Bloch-Kato $\log^{fgh}_{BK}(\kappa(f,g,h))$ sur des éléments spécifiques.

Architecture du modèle

1. Construction des classes diagonales

La classe diagonale $\kappa(f,g,h) \in H^1(\mathbb{Q}, V(f,g,h))$ est construite via le diagramme suivant :

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

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

2. Application d'Abel-Jacobi syntomique

Pour traiter le cas semi-stable, on construit la version syntomique de l'application d'Abel-Jacobi :

$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. Noyau technique : théorie de Hyodo-Kato

Utilisation de la théorie de Hyodo-Kato des log-schémas strictement semi-stables d'Ertl-Yamada, établissant l'isomorphisme de comparaison : $\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)$

Points d'innovation technique

1. Traitement de la réduction semi-stable : Contrairement aux travaux antérieurs, cet article doit traiter le cas où la courbe modulaire $X_1(Mp^t)$ n'a qu'une réduction semi-stable en $p$, ce qui nécessite une théorie cohomologique plus fine.
2. Développement de la théorie des coefficients : Développement de la cohomologie syntomique log-rigide avec coefficients, bien que conditionnelle dans les cas de poids élevé.
3. Analyse de l'action de Frobenius : Analyse détaillée de l'opérateur de Frobenius sur les divers groupes de cohomologie, en particulier pour le traitement des représentations supercuspidales.

Configuration expérimentale

Vérification théorique

Puisqu'il s'agit d'un travail théorique en mathématiques pures, les « expériences » se manifestent principalement par :

1. Vérification de cas particuliers :
   • Le cas des poids $(2,2,2)$ fournit une preuve complète
   • Le cas des poids équilibrés généraux est valide sous certaines hypothèses
2. Vérifications de compatibilité :
   • Compatibilité avec les résultats connus de Darmon-Rotger et BSV
   • Cohérence avec le cas classique

Conditions techniques

Les résultats principaux nécessitent les conditions techniques suivantes :

• $(f,g,h)$ est $(F,1-T)$-convenable
• $g$ et $h$ sont des eigenforms $p$-épuisées
• Choix approprié de l'extension galoisienne $F/\mathbb{Q}_p$

Résultats expérimentaux

Résultat principal (Théorème 5.2)

Pour les triplets satisfaisant les conditions :

Cas des poids $(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')))$

Cas des poids équilibrés généraux : $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')))$

Accomplissements techniques

1. Condition $(F,1-T)$-convenable (Proposition 3.28) :
   • Lorsque le poids $k > 2$ de $f$, le triplet $(f,g,h)$ satisfait automatiquement la condition $(F,1-T)$-convenable
   • Lorsque $f \in S_2(M_1p, \chi_f, L)$ est une newform, le triplet est $F$-exponentiel
2. Propriétés du logarithme de Bloch-Kato : Preuve que $\kappa(f,g,h) \in H^1_g(\mathbb{Q}_p, V(f,g,h))$, garantissant une bonne définition du logarithme de Bloch-Kato.

Travaux connexes

Développement historique

1. Cycle diagonal de Gross-Kudla-Schoen : Construction géométrique initiale
2. Darmon-Rotger DR17 : Première établissement des lois de réciprocité explicites, mais exigeant une pente finie pour toutes les formes
3. Bertolini-Seveso-Venerucci BSV20, BSV22b : Généralisation à des cas plus généraux, mais nécessitant toujours l'hypothèse d'ordinarité

Position de cet article

Cet article est le premier à traiter le cas supercuspidal, comblant un vide théorique et ouvrant la voie à des recherches ultérieures.

Conclusions et discussion

Conclusions principales

1. Généralisation réussie des lois de réciprocité explicites au cas supercuspidal
2. Établissement d'un cadre de cohomologie syntomique pour le cas semi-stable
3. Fourniture de formules explicites et calculables

Limitations

1. Résultats conditionnels : Le cas des poids généraux dépend du travail à venir d'Andreatta-Bertolini-Seveso-Venerucci
2. Hypothèses techniques : Nécessité de la condition $(F,1-T)$-convenable, bien que généralement automatiquement satisfaite
3. Complexité computationnelle : Le calcul réel reste considérablement complexe

Directions futures

1. Théorie complète : Attente de l'achèvement de la théorie des coefficients pour des résultats inconditionnels
2. Développements applicatifs :
   • Généralisation de la théorie d'Iwasawa anticyclotomique
   • Connexions avec la fonction $L$ $p$-adique du produit triple généralisé
   • Applications à la théorie des points de Heegner

Évaluation approfondie

Points forts

1. Percée théorique : Premier traitement du cas supercuspidal, d'une importance fondatrice
2. Profondeur technique : Maîtrise experte de la théorie de Hodge $p$-adique, de la cohomologie syntomique et d'autres théories sophistiquées
3. Structure claire : Excellent organisation du document, avec exposition claire de la motivation aux détails techniques
4. Perspectives d'application : Fournit de nouveaux outils pour plusieurs problèmes importants

Insuffisances

1. Complétude : La preuve du cas des poids généraux est conditionnelle
2. Accessibilité : Nécessite des connaissances préalables considérables, seuil technique élevé
3. Utilité computationnelle : Bien que des formules explicites soient fournies, le calcul réel reste difficile

Impact

1. Valeur académique : Avancée du développement de la théorie de la géométrie arithmétique
2. Recherches ultérieures : Fournit de nouvelles directions de recherche pour les domaines connexes
3. Contribution méthodologique : Les techniques développées possèdent une portée générale

Domaines d'application

• Étude des propriétés arithmétiques des formes modulaires
• Théorie de la fonction $L$ $p$-adique des courbes elliptiques
• Généralisation de la théorie d'Iwasawa
• Étude des formules de valeurs spéciales

Références bibliographiques

L'article cite 40 références importantes, incluant principalement :

• DR17 Travaux fondateurs de Darmon-Rotger
• BSV20, BSV22b Série de travaux de Bertolini-Seveso-Venerucci
• EY21, EY24 Théorie de Hyodo-Kato d'Ertl-Yamada
• NN16 Cohomologie syntomique de Nekovář-Nizioł

Cet article représente un progrès important dans le domaine de la géométrie arithmétique. Bien que très technique, il fournit de nouveaux outils et perspectives pour comprendre les connexions profondes entre les formes modulaires et l'arithmétique des courbes elliptiques.