Dichotomie epsilon pour les modèles linéaires tordus

Informations fondamentales

• ID de l'article: 2404.00561
• Titre: Dichotomie epsilon pour les modèles linéaires tordus
• Auteurs: Hang Xue, Pan Yan
• Classification: math.NT (Théorie des nombres), math.RT (Théorie des représentations)
• Date de publication: 10 décembre 2024 (version la plus récente v3)
• Lien de l'article: https://arxiv.org/abs/2404.00561

Résumé

Soit $E/F$ une extension quadratique d'un corps local non-archimédien de caractéristique zéro, et $D$ une algèbre de quaternions sur $F$ contenant $E$. Cet article étudie la relation entre l'existence de modèles linéaires tordus sur $\mathrm{GL}_n(D)$ et les racines locales.

Contexte et motivation de la recherche

Le problème central de cet article est la conjecture de Prasad-Takloo-Bighash, un problème ouvert important en théorie des représentations. Plus précisément:

1. Problème central: La conjecture prédit quand une représentation irréductible admissible $\pi$ est $(H,\chi^{-1})$-distinguée, où $H$ est le centralisateur d'une algèbre simple centrale.
2. Importance:
   • Cette conjecture généralise la conjecture locale de Gross-Prasad
   • Elle relie la propriété de distinction en théorie des représentations aux propriétés analytiques des fonctions L
   • Elle possède des applications importantes en théorie des formes automorphes et en géométrie arithmétique
3. Limitations actuelles:
   • Lorsque $\chi$ est le caractère trivial, certains résultats sont connus
   • Pour $\chi$ général, seuls quelques cas spéciaux ont été résolus
   • Il manque une méthode uniforme pour traiter tous les cas
4. Motivation de la recherche:
   • Développer des méthodes de formule des traces relative pour traiter les périodes linéaires tordues
   • Établir la relation précise entre les racines locales et les propriétés de distinction
   • Fournir une base locale pour le cas global

Contributions principales

1. Preuve de la direction directe: Pour $G = \mathrm{GL}_n(D)$ (où $D$ est une algèbre de quaternions), preuve complète de la direction directe de la conjecture de Prasad-Takloo-Bighash (Théorème 1.2)
2. Preuve partielle de la direction inverse: Sous des hypothèses supplémentaires ($\chi|_{F^×}$ trivial et $\mathrm{BC}(\pi_0)$ cuspidale), preuve de la direction inverse de la conjecture (Théorème 1.3)
3. Développement de nouvelles techniques:
   • Utilisation de la formule des traces relative pour traiter les périodes tordues
   • Introduction de la notion d'ellipticité et du développement en germes de Shalika
   • Établissement d'une théorie d'appariement entre le côté déployé et le côté non-déployé
4. Fourniture de constructions globales: Résolution de certains problèmes locaux par des arguments globaux, évitant ainsi les calculs complexes d'intégrales orbitales unipotentes

Explication détaillée des méthodes

Définition de la tâche

Étudier quand une représentation irréductible admissible $\pi$ satisfait $\mathrm{Hom}_H(\pi, \chi^{-1}) \neq 0$, et établir la relation entre cette propriété et la racine locale $\varepsilon(\pi_{0,E} \otimes \chi)$.

Architecture du modèle

1. Configuration de base

• $E/F$: extension de corps quadratique, $\eta = \eta_{E/F}$ le caractère quadratique correspondant
• $A$: algèbre simple centrale sur $F$ de dimension $4n^2$, contenant un plongement $E \to A$
• $B$: centralisateur de $E$ dans $A$, de dimension $n^2$
• $G = A^×$, $H = B^×$

2. Méthode de la formule des traces relative

Construction de la correspondance entre le côté déployé $G' = \mathrm{Res}_{E/F}(\mathrm{GL}_{2n})$ et le côté non-déployé $G = \mathrm{GL}_n(D)$:

Côté géométrique:

• Espace symétrique: $S' = \{gg^{-1} | g \in G'\} \cong G'/H''$
• Intégrales orbitales: $O^{G'}(x, f') = \int_{(H' \times H'')_x \backslash (H' \times H'')} f'(h^{-1}xh'') \chi_{H'}(h)^{-1}\eta^{-1}(h^{-1}xh'') dh dh''$

Côté spectral:

• Caractères sphériques: $I_\Pi(f') = \sum_W \ell'(\Pi(f')W)\ell''(W)$
• où $\ell' \in \mathrm{Hom}_{H'}(\Pi \otimes \chi_{H'}, \mathbb{C})$, $\ell'' \in \mathrm{Hom}_{H''}(\Pi \otimes \chi\eta, \mathbb{C})$

3. Théorie d'appariement

Définition de l'appariement d'éléments semi-simples réguliers: $x \in G'(F)$ et $y \in G(F)$ s'appaient si et seulement s'ils ont le même polynôme caractéristique.

Points d'innovation technique

1. Théorie de l'ellipticité

• Définition: Une représentation $\pi$ est $H$-elliptique s'il existe un élément semi-simple régulier elliptique tel que le caractère sphérique soit non-nul
• Résultat clé: Ellipticité des représentations cuspidales (Théorème 4.2)

2. Méthode d'involution

Définition de l'involution $f'^†(g) = f'({}^tg^{-1})(\chi\chi^c)(g)$, satisfaisant: $I_\Pi(f'^†) = \varepsilon(\Pi \otimes \chi)\chi(-1)^n I_\Pi(f')$

3. Développement en germes de Shalika

Établissement du développement en germes des intégrales orbitales au niveau de l'algèbre de Lie: $O(\gamma, \eta, f') = \sum_{O \subset N_0} \Gamma_O(\gamma)\mu_O(f')$

Configuration expérimentale

Cadre de vérification théorique

Cet article est principalement un travail théorique, dont les résultats sont vérifiés par:

1. Cohérence dans les cas spéciaux: Vérification que les nouveaux résultats sont cohérents avec les cas spéciaux connus (par exemple, lorsque $\chi$ est trivial)
2. Préservation des propriétés fonctorielles: Vérification de la préservation des propriétés sous la correspondance de Jacquet-Langlands
3. Compatibilité global-local: Vérification des résultats locaux par des constructions globales

Méthodes comparatives

• Méthode originale de Prasad-Takloo-Bighash
• Méthode de Xue (2021) pour le caractère trivial
• Méthode de classification de Suzuki (2021)

Résultats expérimentaux

Résultats principaux

Théorème 1.2 (Direction directe)

Si $\pi$ est $(H,\chi^{-1})$-distinguée, alors:

1. Le paramètre de Langlands de $\pi_0$ prend ses valeurs dans $\mathrm{GSp}_{2n}(\mathbb{C})$
2. $\varepsilon(\pi_{0,E} \otimes \chi) = \varepsilon_D^n \eta(-1)^n \chi(-1)^n$

Théorème 1.3 (Direction inverse)

Sous des hypothèses supplémentaires, les représentations de série discrète satisfaisant les conditions ci-dessus sont $(H,\chi^{-1})$-distinguées.

Réalisations techniques

Proposition 4.11 (Identité de formule des traces relative)

$I_{\mathrm{BC}(\sigma')}(f') = J_\sigma(f) + J_{\sigma \otimes \eta}(f)$

Cette identité est la clé reliant le côté déployé et le côté non-déployé.

Travaux connexes

Développement historique

1. Cas classiques: Théorie de distinction linéaire de Flicker (1991)
2. Conjecture de Gross-Prasad: Cas des groupes orthogonaux et unitaires
3. Conjecture de Prasad-Takloo-Bighash: Généralisation aux algèbres simples centrales générales

Progrès récents

• Sécherre (2024): Cas des représentations cuspidales pour $p \neq 2$
• Suzuki (2021): Suppression de l'hypothèse d'universalité
• Chommaux-Matringe (2022): Représentations cuspidales de profondeur zéro

Avantages de cet article

• Traitement des caractères tordus généraux $\chi$
• Méthode uniforme de formule des traces relative
• Évitement des calculs complexes d'intégrales orbitales unipotentes

Conclusion et discussion

Conclusions principales

1. Résolution complète de la direction directe de la conjecture de Prasad-Takloo-Bighash dans le cas des algèbres de quaternions
2. Résolution partielle de la direction inverse sous des hypothèses raisonnables
3. Développement de nouvelles méthodes pour traiter les périodes linéaires tordues

Limitations

1. La direction inverse nécessite l'hypothèse supplémentaire $\chi|_{F^×}$ trivial
2. La méthode se limite au cas $\mathrm{GL}_n(D)$
3. L'étape de globalisation nécessite des résultats de type Gross-Prasad connus

Directions futures

1. Généralisation aux algèbres simples centrales générales
2. Traitement de la direction inverse pour les caractères tordus généraux
3. Développement de conjectures de type Gross-Prasad pour $\mathrm{GSpin}(2n+1) \times \mathrm{GSpin}(2)$

Évaluation approfondie

Points forts

1. Innovation méthodologique: La méthode de formule des traces relative offre une nouvelle voie pour traiter les périodes tordues
2. Profondeur théorique: La théorie de l'ellipticité et le développement en germes de Shalika possèdent une valeur théorique indépendante
3. Maîtrise technique: Combinaison ingénieuse de méthodes locales et globales
4. Importance des résultats: Avancement dans la résolution d'une conjecture importante

Insuffisances

1. Portée d'application: Limitée au cas des algèbres de quaternions
2. Conditions d'hypothèse: La direction inverse nécessite des hypothèses relativement fortes
3. Complexité technique: La preuve implique de nombreux détails techniques, limitant la lisibilité

Influence

1. Contribution théorique: Fournit de nouvelles perspectives sur des problèmes importants du programme de Langlands
2. Valeur méthodologique: La méthode de formule des traces relative peut s'appliquer à d'autres problèmes
3. Recherche ultérieure: Fournit une base pour des généralisations futures

Domaines d'application

• Recherche en théorie des représentations automorphes
• Étude des propriétés analytiques des fonctions L
• Théorie des intégrales de périodes en géométrie arithmétique

Références bibliographiques

Cet article cite 37 références importantes, incluant principalement:

• PTB11 La conjecture originale de Prasad-Takloo-Bighash
• XZ23 Établissement de la formule des traces relative
• Xue21 Résultats antérieurs pour le caractère trivial
• AC89 Théorie du changement de base d'Arthur-Clozel