On $p$-adic Asai $L$-functions of Bianchi modular forms at non-ordinary primes and their decomposition into bounded $p$-adic $L$-functions

Cet article construit une distribution $p$-adique interpolant les valeurs critiques de la fonction $L$ d'Asai pour des formes modulaires de Bianchi non ordinaires et démontre, sous certaines hypothèses, que cette distribution peut être décomposée en une combinaison linéaire de mesures bornées.

L'essentiel

🕵️‍♂️ L'Enquête des Nombres : Chasser les "Fantômes" dans le Pays Imaginaire

Imaginez que les mathématiques sont un immense océan. Au fond de cet océan, il y a des trésors cachés appelés nombres L. Ce sont des formules magiques qui contiennent des secrets profonds sur la façon dont les nombres entiers (1, 2, 3...) sont liés entre eux.

Le problème ? Ces trésors sont souvent cachés sous l'eau (ce sont des nombres complexes, difficiles à toucher). Les mathématiciens veulent les sortir de l'eau pour les étudier de plus près. Pour cela, ils utilisent une machine spéciale : la machine p-adique. C'est comme un traducteur qui convertit les nombres complexes en une langue plus simple, basée sur un nombre premier spécial (appelé $p$).

🌊 Le Défi : Les "Eaux Troubles" (Les Primes Non-Ordinaires)

Jusqu'à récemment, les mathématiciens savaient bien naviguer dans les "eaux calmes". C'est ce qu'on appelle le cas ordinaire. Là, la machine p-adique fonctionne parfaitement et donne un résultat propre et fini (une "mesure").

Mais dans cet article, l'auteur, Mihir Deo, s'attaque aux eaux troubles (le cas non-ordinaire).

• L'analogie : Imaginez que vous essayez de mesurer la hauteur des vagues pendant une tempête. Les vagues sont si hautes et si imprévisibles que votre règle de mesure standard casse. Les résultats deviennent "infinis" ou "explosifs" (des coefficients non bornés).
• Le problème : Quand le nombre premier $p$ est "non-ordinaire", la formule magique habituelle explose. On ne peut pas simplement l'écrire comme un nombre simple. On obtient une "distribution" qui grandit sans cesse, comme une vague qui ne s'arrête jamais.

🛠️ La Solution : Construire un Pont de Polynômes

Comment faire pour mesurer ces vagues déchaînées ? Mihir Deo a une idée brillante : construire un pont.

1. Les Briques (Les Éléments d'Eisenstein) : Il utilise des briques mathématiques spéciales appelées "éléments d'Eisenstein". Ce sont comme des pièces de Lego qui ont des propriétés très précises.
2. Le Plan du Pont (Les Polynômes) : Au lieu d'essayer de mesurer la vague directement, il construit une série de petits ponts temporaires (des polynômes). Chaque pont correspond à une étape de la tempête.
   • Il crée une famille de polynômes $P_{r,j}(T)$ qui agissent comme des "filtres".
   • Il prouve que ces filtres respectent certaines règles de sécurité (des congruences), même au milieu de la tempête.
3. L'Assemblage : En assemblant tous ces petits ponts avec une technique très fine (inspirée par d'autres grands mathématiciens comme Amice, Vélu et Perrin-Riou), il réussit à créer une distribution p-adique.
   • C'est un objet mathématique un peu "sauvage" (avec des coefficients qui peuvent devenir très grands), mais il est contrôlé. Il sait exactement comment grandir.

🧩 Le Grand Tour de Magie : Diviser pour Régner

Une fois qu'il a construit cette distribution "sauvage" (non bornée), il fait le tour de force final.

• L'analogie : Imaginez que vous avez un bruit de fond assourdissant (la distribution non bornée). Vous voulez entendre deux mélodies distinctes et douces qui se cachent dedans.
• La technique : Il utilise une matrice spéciale (appelée matrice logarithmique), un outil développé par d'autres chercheurs. C'est comme un égaliseur audio sophistiqué.
• Le résultat : Il réussit à décomposer son bruit assourdissant en deux signaux propres et stables (des mesures bornées).
  • Il appelle ces nouveaux signaux des fonctions L p-adiques "signées" (comme $L^+$ et $L^-$).
  • Même si la tempête est là, ces deux nouvelles fonctions sont calmes, ordonnées et prêtes à être utilisées pour résoudre d'autres énigmes mathématiques.

🏆 Pourquoi est-ce important ?

C'est comme si, avant, on ne pouvait étudier l'océan que quand il faisait beau temps (cas ordinaire). Grâce à ce travail, on peut maintenant :

1. Naviguer par la tempête : Étudier les nombres même quand les conditions sont difficiles (cas non-ordinaire).
2. Prédire l'avenir : Ces nouvelles fonctions "signées" permettent de formuler de nouvelles conjectures (des paris mathématiques très sérieux) sur la façon dont les nombres se comportent. C'est une étape cruciale pour prouver des théorèmes qui relient la géométrie (les formes) à l'arithmétique (les nombres).

En résumé

Mihir Deo a pris un problème mathématique très difficile (mesurer des nombres dans des conditions "explosives"), a construit un pont de polynômes pour traverser la tempête, et a ensuite utilisé un égaliseur magique pour séparer le chaos en deux mélodies pures. Cela ouvre la porte à de nouvelles découvertes sur la structure fondamentale des nombres, même dans les situations les plus complexes.

Résumé technique

Voici un résumé technique détaillé de l'article de M. V. Deo, « On p-adic Asai L-functions of Bianchi modular forms at non-ordinary primes and their decomposition into bounded p-adic L-functions », rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie d'Iwasawa et de la théorie des nombres, plus spécifiquement dans l'étude des fonctions L p-adiques associées aux formes modulaires de Bianchi.

• Contexte : Les fonctions L complexes possèdent des valeurs spéciales (critiques) qui codent des informations arithmétiques profondes (conjecture de Bloch-Kato). Les fonctions L p-adiques sont des objets analytiques (mesures ou distributions) qui interpolent ces valeurs critiques.
• État de l'art : Dans le cas ordinaire (où la valeur propre de l'opérateur de Hecke $U_p$ est une unité p-adique), Loeffler et Williams ont construit une fonction L p-adique pour le motif d'Asai associé à une forme modulaire de Bianchi. Cette construction repose sur des éléments d'Eisenstein-Asai et l'indépendance par rapport aux twists grâce à la théorie de Kings.
• Le problème : La construction de Loeffler-Wilams échoue dans le cas non-ordinaire (où la valuation p-adique de la valeur propre $a_p$ est strictement positive, mais finie, c'est-à-dire $0 < v_p(a_p) < k+1$). Dans ce cas, la distribution p-adique obtenue a des coefficients non bornés (elle n'est pas une mesure au sens strict, mais une distribution à croissance contrôlée), et la méthode d'interpolation directe par un seul élément d'Eisenstein ne fonctionne plus.
• Objectif : Construire une fonction L p-adique d'Asai pour une forme modulaire de Bianchi cuspidale de pente faible (small slope) et non-ordinaire, interpolant les valeurs critiques de la fonction L d'Asai tordue, et démontrer sa décomposition en fonctions L p-adiques signées bornées.

2. Méthodologie

L'auteur développe une approche combinant plusieurs techniques avancées de la théorie d'Iwasawa et de la cohomologie des espaces localement symétriques :

1. Interpolation par Polynômes (Amice-Vélu / Višik) :

   • Au lieu d'utiliser un seul élément d'Eisenstein pour $j=0$ (comme dans le cas ordinaire), l'auteur construit une famille de polynômes $P_{r,j}(T)$ de degré $p^{r-1}$.
   • Ces polynômes sont obtenus en appariant un symbole modulaire associé à la forme $\Psi$ avec des éléments d'Eisenstein-Asai (construits par Loeffler-Williams) tordus par des caractères cyclotomiques.
   • La clé réside dans l'utilisation de la cohomologie de Betti (puisque les variétés de Bianchi sont des variétés réelles de dimension 3, et non algébriques) et des applications de moment (moment maps) pour relier les éléments de poids 2 aux éléments de poids supérieur.

2. Cohomologie et Éléments d'Euler (Loeffler-Zerbes / Kings) :

   • L'auteur utilise des espaces localement symétriques de niveaux mixtes $Y^*_F(m, mN)$.
   • Il définit des éléments de Zeta $cZ^{[j]}_{pr, N, a}$ et des éléments d'Eisenstein-Asai tordus $c\Xi^{k,j}_{pr, N, at}$.
   • Une partie cruciale du travail consiste à prouver de nouvelles relations de congruence (Lemmes 5.7 et 6.1) pour ces éléments. Ces congruences montrent que des combinaisons linéaires de ces éléments sont divisibles par des puissances élevées de $p$, ce qui est essentiel pour contrôler la croissance des coefficients.

3. Construction de la Distribution :

   • En utilisant les propriétés de congruence et les techniques de Perrin-Riou et Büyükboduk-Lei, l'auteur montre que la suite de polynômes converge vers une distribution p-adique $L^{As}_p(\Psi)$ dans un espace de distributions tempérées $H_{E, v_p(a_p)}(\Gamma)$.
   • Cette distribution a des coefficients non bornés (croissance $O(\log_p^{v_p(a_p)})$).

4. Décomposition en Fonctions Signées (Logarithmic Matrices) :

   • Pour obtenir des objets bornés (mesures), l'auteur applique la théorie des modules de Wach et des matrices logarithmiques (développée par l'auteur dans [9] et inspirée par Pollack, Sprung, Lei-Loeffler-Zerbes).
   • En supposant que $p$ se scinde dans $F$ ($p\mathcal{O}_F = \mathfrak{p}\bar{\mathfrak{p}}$) et en considérant des stabilisations $p$-adiques appropriées, il décompose la distribution non bornée en une combinaison linéaire de deux mesures bornées via une matrice logarithmique.

3. Résultats Principaux

Théorème A (Construction de la distribution) :
Pour une forme modulaire de Bianchi cuspidale $\Psi$ de poids $(k,k)$, de niveau $N$ (divisible par les primes au-dessus de $p$), et non-ordinaire de petite pente ($0 < v_p(a_p) < k+1$), il existe une distribution p-adique$cL^{As}p(\Psi)$dans l'espace$H{E, v_p(a_p)}(\Gamma)$.

• Propriété d'interpolation : Pour tout caractère de Dirichlet $\theta$ de conducteur $p^r$ et tout entier $0 \le j \le k$, la distribution interpole la valeur critique$L^{As}(\Psi, \theta, j+1)$(à un facteur explicite près), à condition que la parité soit correcte ($(-1)^j\theta(-1)=1$).
• Ce résultat généralise le travail de Loeffler-Williams du cas ordinaire au cas non-ordinaire.

Théorème B (Décomposition en fonctions signées) :
Sous l'hypothèse que $p$ se scinde dans $F$ et que $\Psi$ est non-ordinaire en $p$ mais ordinaire en $\bar{p}$ (ou vice-versa, avec des conditions de pente), il existe deux fonctions L p-adiques signées bornées, notées $L^{As, \sharp}_p$ et $L^{As, b}_p$ (dans l'algèbre d'Iwasawa $E \otimes \mathcal{O}_E[[\Gamma]]$), et une matrice logarithmique $\tilde{M}$ telle que :
$$\begin{pmatrix} L^{As}_p(\Psi^{\tilde{\alpha}}) \\ L^{As}_p(\Psi^{\tilde{\beta}}) \end{pmatrix} = \tilde{Q}^{-1} \tilde{M} \begin{pmatrix} L^{As, \sharp}_p \\ L^{As, b}_p \end{pmatrix}$$
où $\Psi^{\tilde{\alpha}}$ et $\Psi^{\tilde{\beta}}$ sont des stabilisations $p$-adiques de $\Psi$.

• Cela permet de passer d'une distribution à croissance non bornée à des mesures bornées, ce qui est crucial pour formuler des conjectures principales d'Iwasawa signées.

Proposition 6.8 (Indépendance du paramètre $c$) :
L'auteur montre comment éliminer la dépendance à un entier auxiliaire $c$ (introduit via les unités de Siegel) pour obtenir une distribution intrinsèque, sous certaines conditions sur le caractère nebentypus de $\Psi$.

4. Contributions Clés

1. Extension au cas non-ordinaire : C'est la première construction systématique d'une fonction L p-adique d'Asai pour les formes de Bianchi dans le cas non-ordinaire de petite pente, comblant un vide important par rapport au cas ordinaire traité par Loeffler-Williams.
2. Nouvelles congruences cohomologiques : La preuve des lemmes 5.7 et 6.1 fournit de nouvelles relations de congruence pour les éléments d'Eisenstein-Asai en cohomologie de Betti, qui sont d'un intérêt technique indépendant.
3. Application des matrices logarithmiques : L'adaptation de la méthode des matrices logarithmiques (développée pour les formes modulaires elliptiques) au contexte des formes de Bianchi et des motifs d'Asai.
4. Indépendance du motif : La construction est faite de manière purement automorphe et cohomologique, sans supposer l'existence du motif d'Asai sur $\mathbb{Q}$ (qui est encore conjectural dans certains cas).

5. Signification et Perspectives

• Théorie d'Iwasawa : Ce travail pose les bases nécessaires pour formuler et prouver la conjecture principale d'Iwasawa pour les motifs d'Asai dans le cas non-ordinaire. La décomposition en fonctions signées bornées est une étape indispensable pour définir les invariants $\mu$ et $\lambda$ et pour énoncer des relations entre les fonctions L p-adiques et les modules de Selmer.
• Géométrie Arithmétique : Il renforce le lien entre les valeurs spéciales des fonctions L et la cohomologie des espaces localement symétriques de Bianchi, en particulier dans le cadre de la théorie de Hodge p-adique.
• Généralisation : La méthode développée (interpolation par polynômes via des éléments d'Eisenstein et décomposition par matrices logarithmiques) pourrait être adaptée à d'autres types de formes automorphes sur des corps de nombres totalement réels ou complexes, au-delà du cas des formes de Bianchi.

En résumé, cet article représente une avancée majeure dans la compréhension des fonctions L p-adiques associées aux formes modulaires de Bianchi, en surmontant les obstacles techniques liés au cas non-ordinaire et en fournissant les outils nécessaires pour l'étude arithmétique fine de ces objets via la théorie d'Iwasawa signée.