Sur les théorèmes réciproques pour les formes modulaires de Hilbert en supposant des torsions non ramifiées

Informations fondamentales

• ID de l'article: 2404.01449
• Titre: On converse theorems for Hilbert modular forms assuming unramified twists
• Auteur: Pengcheng Zhang
• Classification: math.NT (Théorie des nombres)
• Date de publication: 3 novembre 2025 (version v3)
• Lien de l'article: https://arxiv.org/abs/2404.01449

Résumé

Cet article démontre deux résultats concernant les théorèmes réciproques pour les formes modulaires de Hilbert sur des corps totalement réels, où le degré du corps $r>1$. Le premier résultat récupère une forme modulaire de Hilbert d'un certain niveau à partir d'une série $L$ satisfaisant l'équation fonctionnelle de torsion pour tous les caractères de Hecke non ramifiés. Le second résultat, en supposant simultanément l'équation fonctionnelle « non ramifiée » et le produit d'Euler, récupère une forme modulaire de Hilbert du niveau attendu prédit par la forme de l'équation fonctionnelle. Ce résultat généralise les théorèmes réciproques actuels pour les formes modulaires de Hilbert sur $\mathrm{GL}_2$, en supprimant complètement l'hypothèse de torsions ramifiées.

Contexte et motivation de la recherche

Contexte du problème

L'étude des théorèmes réciproques vise à récupérer des formes automorphes à partir de séries $L$, une recherche qui remonte aux travaux de Hecke. Dans le cas des formes modulaires de Hilbert, les théorèmes réciproques classiques nécessitent généralement de supposer l'équation fonctionnelle de torsion pour tous les caractères de Hecke, y compris ceux ramifiés aux places finies.

Problèmes fondamentaux

1. Suppression de l'hypothèse de ramification: Les théorèmes réciproques existants pour les formes modulaires de Hilbert dépendent de l'équation fonctionnelle de torsion pour tous les caractères de Hecke, y compris ceux ramifiés aux places finies. Cette hypothèse s'avère souvent difficile à vérifier dans les applications pratiques.
2. Cas du nombre de classes étroit supérieur à 1: Lorsque le nombre de classes étroit du corps de base est supérieur à 1, la récupération du niveau attendu de la forme modulaire à partir des seules torsions non ramifiées devient difficile.

Motivation de la recherche

• Perfectionnement théorique: Améliorer le cadre théorique des théorèmes réciproques pour les formes modulaires de Hilbert
• Applications pratiques: Fournir une base théorique plus générale pour les applications telles que le relèvement de Doi-Naganuma
• Progrès techniques: Généraliser les techniques des théorèmes réciproques non ramifiés pour $\mathrm{GL}_n$ ($n \geq 3$) au cas des formes modulaires de Hilbert sur $\mathrm{GL}_2$

Contributions principales

1. Premier résultat principal: La récupération d'une forme modulaire de Hilbert d'un certain niveau à partir de la seule équation fonctionnelle de torsion pour les caractères de Hecke non ramifiés
2. Deuxième résultat principal: Sous l'hypothèse supplémentaire du produit d'Euler, la récupération d'une forme modulaire de Hilbert du niveau exact prédit par la forme de l'équation fonctionnelle
3. Suppression complète de l'hypothèse de torsion ramifiée: Il s'agit d'une amélioration importante par rapport aux théorèmes réciproques existants
4. Généralisation du théorème de génération de Vaserstein: Son application à la preuve du théorème réciproque pour les formes modulaires de Hilbert
5. Correction des défauts de la littérature existante: Identification et correction d'un défaut technique dans BBB+18

Explication détaillée de la méthode

Définition de la tâche

Étant donné une série $L$ $L(s) = \sum_{a \in I_F} A(a) \cdot N(a)^{-s}$, où $I_F$ est l'ensemble des idéaux fractionnaires non nuls du corps totalement réel $F$, satisfaisant:

1. La série $L$ tordue $\hat{L}(s,A,\psi)$ pour tous les caractères de Hecke non ramifiés $\psi$ admet un prolongement holomorphe et satisfait une équation fonctionnelle
2. (Optionnel) Possède un produit d'Euler de forme spécifique

démontrer que $L(s)$ est la fonction $L$ d'une certaine forme modulaire de Hilbert.

Théorème fondamental

Théorème 1.1: Soit $F$ un corps totalement réel de degré $r>1$, $n$ un idéal fractionnaire non nul de $O_F$, $k \in (2\mathbb{Z}_+)^r$, $\epsilon = \pm 1$.

Si pour tous les caractères de Hecke non ramifiés $\psi$, la série $L$ complétée $\hat{L}(s,A,\psi)$ satisfait l'équation fonctionnelle: $\hat{L}(s,A,\psi) = \epsilon i^{-|k|} \psi(nd^2) \hat{L}(k_0-s,A,\psi)$

alors $L(s)$ est la fonction $L$ d'une forme modulaire de Hilbert de poids $k$ et niveau $K_1(rn)$.

Si de plus on suppose que $L(s)$ admet un produit d'Euler de la forme, pour $p \nmid nd^2$: $L_p(s) = (1-A(p)N(p)^{-s} + N(p)^{k_0-1-2s})^{-1}$

alors $L(s)$ est la fonction $L$ d'une forme modulaire de Hilbert de poids $k$ et niveau $K_0(n)$.

Stratégie de preuve

La preuve se divise en quatre étapes principales:

Étape 1: Propriétés de fonction propre de l'involution de Fricke

• Modification de la méthode de preuve de Doi-Naganuma
• Déduction que $f$ est fonction propre de l'involution de Fricke à partir de l'équation fonctionnelle non ramifiée

Étape 2: Invariance sous les sous-groupes de congruence

• Application du théorème principal de Vaserstein
• Preuve que chaque $f_\lambda$ est invariant sous un certain sous-groupe de congruence

Étape 3: Fonction propre des opérateurs de Hecke à l'infini

• Utilisation de la forme spécifique des facteurs d'Euler
• Preuve que $f_\lambda$ est fonction propre de certains « opérateurs de Hecke à l'infini » $T^{\infty}_{p,F}$ en certaines places premières

Étape 4: Extension au sous-groupe de congruence correct

• Utilisation des idées de BBB+18 (correction de ses défauts)
• Extension de l'invariance au niveau correct prédit par l'équation fonctionnelle

Points d'innovation technique

1. Opérateurs de Hecke à l'infini: Définition de nouveaux opérateurs $T^{\infty}_{p,F}$ pour traiter la condition du produit d'Euler
2. Application de la théorie des ensembles générateurs: Utilisation systématique des résultats profonds de Vaserstein sur les ensembles générateurs des sous-groupes de congruence
3. Choix constructif des idéaux premiers: Preuve de l'existence d'idéaux premiers possédant des propriétés spécifiques donnée en appendice
4. Non-nullité du déterminant matriciel: Preuve du lemme clé 7.4, assurant la non-nullité d'un certain déterminant matriciel

Configuration expérimentale

Cet article est un article de mathématiques pures théoriques et n'implique pas d'expériences numériques. Tous les résultats sont des preuves mathématiques rigoureuses.

Résultats principaux

Résultats théoriques

1. Théorème 1.1: Théorème réciproque complet sous l'hypothèse de torsion non ramifiée
2. Corollaire 5.2: Résultat de récupération de forme modulaire à partir de l'équation fonctionnelle seule
3. Proposition 7.1: Résultat de récupération du niveau exact sous l'hypothèse supplémentaire du produit d'Euler

Résultats techniques

1. Lemme 7.4: Lemme technique clé concernant la non-nullité du déterminant de la matrice d'exponentielles
2. Lemme sur les idéaux premiers en appendice A: Résultat d'existence pour la construction d'idéaux premiers possédant des propriétés spécifiques

Travaux connexes

Développement historique

1. Hecke (1936): Premier théorème réciproque, récupération de formes modulaires elliptiques de niveau 1
2. Weil (1967): Généralisation à un niveau arbitraire, nécessitant les torsions par tous les caractères de Dirichlet
3. Doi-Naganuma (1970): Théorème réciproque pour les formes modulaires de Hilbert, limité aux corps à norme euclidienne
4. Jacquet-Langlands (1970): Théorème réciproque général pour $\mathrm{GL}_2$
5. Piatetski-Shapiro (1975): Résultats dans le langage des représentations automorphes
6. Cogdell-Piatetski-Shapiro (1994): Théorème réciproque non ramifié pour $\mathrm{GL}_n$

Position de cet article

Cet article comble une lacune importante dans les théorèmes réciproques pour les formes modulaires de Hilbert, appliquant avec succès les techniques non ramifiées de $\mathrm{GL}_n$ d'ordre supérieur au cas des formes modulaires de Hilbert sur $\mathrm{GL}_2$.

Conclusions et discussion

Conclusions principales

1. L'équation fonctionnelle de torsion pour les caractères de Hecke non ramifiés suffit à récupérer une forme modulaire de Hilbert (d'un certain niveau)
2. La condition supplémentaire du produit d'Euler peut déterminer le niveau exact
3. Dans le cas du nombre de classes étroit égal à 1, les deux résultats donnent le même niveau, illustrant l'équilibre entre le nombre de classes étroit et le produit d'Euler

Limitations

1. Restriction sur le corps de base: S'applique uniquement aux corps totalement réels, ne peut pas traiter les corps quadratiques imaginaires, etc.
2. Restriction sur le poids: Nécessite que le poids soit un entier pair positif
3. Produit d'Euler partiel: Le second résultat ne nécessite en réalité que le produit d'Euler partiel en certaines places premières

Directions futures

1. Généralisation à des corps de nombres plus généraux
2. Étude de cas plus généraux avec poids non parallèles
3. Connexions avec la fonctorialité dans le programme de Langlands

Évaluation approfondie

Avantages

1. Percée théorique: La suppression complète de l'hypothèse de torsion ramifiée représente un progrès théorique important
2. Innovation technique: Combinaison ingénieuse de plusieurs outils profonds de théorie des nombres
3. Rigueur: Preuve complète et rigoureuse, correction des défauts techniques dans la littérature
4. Valeur applicative: Fournit une base théorique plus forte pour les applications telles que le relèvement de Doi-Naganuma

Insuffisances

1. Complexité technique: La preuve implique plusieurs outils profonds, avec un seuil de compréhension élevé
2. Portée d'application: Subsistent certaines conditions techniques limitantes
3. Constructivité: Certains résultats d'existence manquent de méthodes de construction effectives

Impact

1. Signification théorique: Avancement de la théorie générale des théorèmes réciproques
2. Contribution méthodologique: Démonstration de la façon de combiner organiquement différents outils de théorie des nombres
3. Recherche ultérieure: Pose les fondations pour des recherches ultérieures dans les domaines connexes

Domaines d'application

1. Recherche théorique sur les formes modulaires de Hilbert
2. Théorie des relèvements de formes automorphes
3. Étude des propriétés analytiques des fonctions $L$
4. Applications de la théorie des corps de classes en théorie algébrique des nombres

Références bibliographiques

L'article cite 25 références importantes, couvrant plusieurs directions des résultats classiques et modernes en théorie des théorèmes réciproques, formes modulaires de Hilbert, théorie des représentations automorphes, reflétant une base théorique solide pour cette recherche.

Évaluation globale: Cet article est un travail mathématique théorique de haute qualité qui réalise une percée importante dans les théorèmes réciproques pour les formes modulaires de Hilbert. Bien que très technique, il résout un problème important dans ce domaine et possède une valeur théorique et des perspectives d'application significatives.