Sur les λ-invariants des formes modulaires congruentes dans le cadre anticyclotomique indéfini

Informations fondamentales

• ID de l'article: 2510.12890
• Titre: On λ-invariants of congruent modular forms in the anticyclotomic indefinite setting
• Auteur: Dac-Nhan-Tam Nguyen (University of British Columbia)
• Classification: math.NT (Théorie des nombres)
• Date de publication: 14 octobre 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.12890v1

Résumé

Cet article fournit une formule précise et calculable pour comparer les λ-invariants des formes modulaires dans le cadre anticyclotomique indéfini, où le groupe de Selmer possède un rang positif. Ceci améliore les travaux de Hatley-Lei 11, 12, dont la formule contenait des termes d'erreur non calculables.

Contexte et motivation de la recherche

Problème central

Cette recherche résout la question de la comparaison précise des λ-invariants entre formes modulaires ayant des représentations résiduelles isomorphes dans le cadre de la théorie d'Iwasawa anticyclotomique, lorsque le groupe de Selmer possède un rang positif.

Importance du problème

1. Signification théorique: En théorie d'Iwasawa, les invariants μ et λ sont des invariants importants caractérisant les propriétés p-adiques des objets arithmétiques, particulièrement dans l'étude des courbes elliptiques et des formes modulaires
2. Signification calculatoire: Les formules précises et calculables sont essentielles pour vérifier les prédictions théoriques et effectuer des calculs concrets
3. Valeur de généralisation: L'extension du cas de torsion résiduelle au cas de rang positif représente un progrès important dans ce domaine

Limitations des méthodes existantes

Hatley-Lei ont étudié le même problème dans les références 11, 12, mais leurs résultats contenaient des termes d'erreur non calculables cL(·), ce qui limitait l'application pratique de la formule. Plus précisément, leur formule était:

λL(f) + cL(f) + ∑v∈Σ₀ dimκ A^Iv_f/ϖA^Iv_f = λL(g) + cL(g) + ∑v∈Σ₀ dimκ A^Iv_g/ϖA^Iv_g

Motivation de la recherche

L'objectif de cet article est d'éliminer ces termes d'erreur non calculables et de fournir une formule de comparaison des λ-invariants complètement précise et calculable.

Contributions principales

1. Formule précise: Fournit une formule précise et calculable pour comparer les λ-invariants dans le cadre anticyclotomique indéfini (Théorème 3.5)
2. Amélioration technique: Améliore les méthodes techniques existantes qui ne pouvaient traiter efficacement que le cas de torsion résiduelle
3. Applications concrètes: Fournit des exemples de calculs concrets pour les courbes elliptiques (Section 4), vérifiant les résultats théoriques
4. Correction d'erreurs: Identifie et corrige une erreur dans la littérature de Hatley-Lei (Appendice A)

Détails de la méthode

Définition de la tâche

Soient f₁ ∈ S₂r₁(Γ₀(N₁)), f₂ ∈ S₂r₂(Γ₀(N₂)) des formes modulaires satisfaisant les conditions suivantes:

• Hypothèse de Heegner: Chaque nombre premier ℓ divisant N se scinde dans K/Q
• Conditions d'admissibilité: p ne se ramifie pas dans F et satisfait certaines conditions de divisibilité
• Condition d'irréductibilité: La représentation résiduelle ρ̄f est absolument irréductible

Théorème central

Théorème 3.5: Soient f₁, f₂ satisfaisant les conditions ci-dessus, avec ρ̄f₁ ≃ ρ̄f₂, μ(f₁) = μ(f₂) = 0. Supposons que X(K,Af₁) et X(K,Af₂) n'ont pas de sous-modules finis non nuls, alors:

λ(f₁) + 2∑ℓ|N₁N₂ λℓ(f₁) = λ(f₂) + 2∑ℓ|N₁N₂ λℓ(f₂)

où λℓ(fi) sont les constantes locales définies dans la Définition 3.4.

Points d'innovation technique

1. Lemme clé (Lemme 3.1)

Démontre que sous l'hypothèse que X(K,A)tors n'a pas de sous-modules finis non nuls, pour un idéal premier P de hauteur 1, lengthP(coker(locp)) dépend uniquement de la représentation résiduelle ρ̄f.

2. Nouvelle méthode d'analyse

Par l'étude du diagramme commutatif:

0 → coker(locp) ⊗ Ω → X∅,Gr(K,A) ⊗ Ω → X(K,A) ⊗ Ω → 0
    ↓ α                    ↓ β∅,Gr              ↓ βGr,Gr
0 → coker(locp)        → X∅,Gr(K,A[ϖ])    → X(K,A[ϖ])    → 0

Démontre la surjectivité de l'application α, établissant ainsi les relations d'isomorphisme requises.

3. Calcul précis des constantes locales

Pour un nombre premier scindé ℓ, on définit:

• Quand ℓ ∤ N: Pv(f)(X) = 1 - aℓ(f)X + ℓ·X²
• Quand ℓ | N: Pv(f)(X) = 1 - aℓ(f)X

λℓ(f) est défini comme la multiplicité de X = ℓ⁻¹ comme racine de Pv(f)(X) (mod ϖ).

Configuration expérimentale

Exemple de vérification numérique

Exemple 4.1: Prenons K = Q(√-51), p = 5, considérons les courbes elliptiques:

• E₁: étiquette Cremona 19a1
• E₂: étiquette Cremona 817b1

Vérification des conditions

Utilisant SageMath pour vérifier:

1. E₁p ≃ E₂p (en comparant les coefficients des formes modulaires jusqu'à la borne de Sturm)
2. E₁ satisfait les hypothèses du 19, Théorème 0.16, donc Sel(E₁/K∞) est co-libre
3. Les deux courbes elliptiques satisfont les conditions d'admissibilité

Processus de calcul

1. λ(E₁) = 0: Puisque E₁ satisfait la condition co-libre
2. Calcul des λ-invariants locaux:
   • ℓ = 19: Les deux courbes ont une réduction multiplicative scindée, λℓ(Ei) = 0
   • ℓ = 43: E₁ a une bonne réduction ordinaire, on calcule λ₄₃(E₁) = 1; E₂ a une réduction multiplicative scindée, λ₄₃(E₂) = 0

Résultats expérimentaux

Principaux résultats de calcul

Par la formule (4.1): λ(E₁) + 2∑ℓ|N₁N₂ λℓ(E₁) = λ(E₂) + 2∑ℓ|N₁N₂ λℓ(E₂)

En substituant les valeurs calculées: 0 + 2(0 + 1 + 0) = λ(E₂) + 2(0 + 0 + 0)

On obtient: λ(E₂) = 2

Vérification technique

1. Calcul de décomposition de nombres premiers: Utilisant 2, Théorème 2(a) pour calculer la décomposition des nombres premiers dans l'extension anticyclotomique
2. Calcul du nombre de classes: Le nombre de classes de K est hK = 2
3. Paramètres locaux: On calcule sℓ = 1

Travaux connexes

Principales directions de recherche

1. Cas cyclotomique: Greenberg-Vatsal 10, Emerton-Pollack-Weston 8
2. Cas anticyclotomique défini: Pollack-Weston 22, Castella-Kim-Longo 6
3. Cas anticyclotomique indéfini: Hatley-Lei 11, 12

Améliorations apportées par cet article

Par rapport aux travaux de Hatley-Lei, cet article:

1. Élimine les termes d'erreur non calculables cL(·)
2. Fournit une formule complètement précise
3. Fournit une vérification numérique concrète

Conclusion et discussion

Conclusions principales

1. Dans le cadre anticyclotomique indéfini, une formule précise pour comparer les λ-invariants est fournie
2. Cette formule est complètement calculable, sans termes d'erreur
3. Les résultats théoriques sont vérifiés par des exemples de courbes elliptiques

Limitations

1. Conditions d'hypothèse: Nécessite l'hypothèse plus forte que le groupe de Selmer n'a pas de sous-modules finis non nuls
2. Portée d'application: S'applique principalement aux cas satisfaisant l'hypothèse de Heegner
3. Complexité calculatoire: Bien que théoriquement calculable, le calcul pratique peut rester complexe

Directions futures

1. Généralisation aux familles de Hida: L'auteur mentionne que des recherches supplémentaires peuvent être menées du point de vue des familles de Hida
2. Hypothèse de Heegner faible: Peut être généralisée à certains cas où certains nombres premiers sont inertes dans K
3. Cadres plus généraux: Peut être généralisé à des objets géométriques arithmétiques plus généraux

Évaluation approfondie

Avantages

1. Percée théorique: L'élimination réussie des termes d'erreur non calculables des travaux antérieurs représente un progrès théorique important
2. Innovation méthodologique: Les méthodes techniques améliorées s'appliquent non seulement au cas de torsion résiduelle mais peuvent aussi traiter le cas de rang positif
3. Valeur pratique: La formule fournie est complètement calculable et possède une valeur d'application pratique
4. Rigueur: Les arguments mathématiques sont rigoureux et accompagnés de vérifications numériques concrètes

Insuffisances

1. Restrictions d'hypothèses: L'hypothèse "pas de sous-modules finis non nuls" est assez forte et peut limiter la portée d'application
2. Complexité calculatoire: Bien que théoriquement calculable, le calcul pour les cas généraux peut rester très complexe
3. Généralité: Actuellement axé sur le cadre anticyclotomique spécifique, la généralisation à d'autres cadres nécessite des travaux supplémentaires

Impact

1. Contribution théorique: Fournit de nouveaux outils précis pour la théorie d'Iwasawa anticyclotomique
2. Valeur pratique: Fournit des méthodes viables pour les calculs concrets concernant les courbes elliptiques et les formes modulaires
3. Recherches ultérieures: Jette les bases pour des recherches ultérieures dans ce domaine

Scénarios d'application

1. Étude des courbes elliptiques: Particulièrement applicable aux courbes elliptiques satisfaisant l'hypothèse de Heegner
2. Théorie des formes modulaires: Applicable à la comparaison des formes modulaires ayant des représentations résiduelles isomorphes
3. Théorie des nombres calculatoire: Fournit une base théorique pour les calculs numériques connexes

Suppléments de détails techniques

Structure des définitions

L'article établit un cadre technique complet:

• Groupes de Selmer: Définit les groupes de Selmer sous diverses conditions locales
• Structures duales: Utilise la dualité de Pontryagin pour établir les groupes duaux correspondants
• Algèbre d'Iwasawa: Étudie les invariants dans le cadre de l'algèbre d'Iwasawa

Techniques de preuve

1. Théorie de dualité globale: Utilise la dualité globale pour établir des suites exactes courtes
2. Analyse locale: Analyse détaillée du comportement local à chaque nombre premier
3. Algèbre homologique: Utilise les méthodes d'algèbre homologique pour traiter les structures algébriques complexes

Cet article apporte une contribution importante au domaine de la théorie d'Iwasawa anticyclotomique, non seulement en résolvant les problèmes techniques des travaux antérieurs, mais aussi en fournissant une formule précise complètement calculable, ayant une valeur importante tant pour le développement théorique que pour les applications pratiques du domaine.