🔢 mathematics

On the factorisation of the $p$ -adic Rankin-Selberg $L$ -function in the supersingular case

Cet article construit une fonction $L$ -adique à deux variables pour le carré symétrique d'une famille de Coleman supersingulière et démontre une formule de factorisation exprimant la fonction $L$ -adique de Rankin-Selberg de $f$ avec elle-même comme le produit de cette fonction $L$ -adique de carré symétrique et d'une fonction $L$ de Kubota-Leopoldt, généralisant ainsi un résultat de Dasgupta au cas supersingulier.

Auteurs originaux : Alessandro Arlandini, David Loeffler

Publié 2026-02-13

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Alessandro Arlandini, David Loeffler

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que les mathématiques avancées, et plus particulièrement la théorie des nombres, sont comme un immense labyrinthe rempli de trésors cachés appelés nombres premiers et fonctions spéciales. Ces fonctions, appelées fonctions L, sont comme des cartes au trésor qui contiennent des informations secrètes sur la façon dont les nombres sont structurés.

Dans cet article, Alessandro Arlandini et David Loeffler s'attaquent à un problème très difficile : ils veulent comprendre comment ces cartes au trésor se comportent dans un environnement très particulier et "turbulent" appelé le cas supersingulier.

Voici une explication simple de leur travail, utilisant des analogies du quotidien.

1. Le Problème : La Recette qui ne fonctionne plus

Imaginez que vous avez une recette de gâteau très célèbre (la fonction L complexe). Cette recette dit que si vous mélangez deux ingrédients spécifiques (une forme modulaire $f$ avec elle-même), vous obtenez un résultat qui est simplement le produit de deux autres gâteaux plus simples : un gâteau "symétrique" et un gâteau "Kubota-Leopoldt".

C'est comme si dire : "Si je mélange du chocolat avec du chocolat, j'obtiens un gâteau au chocolat et un gâteau au sucre."
Mathématiquement, c'est une équation simple et élégante.

Cependant, les mathématiciens veulent créer une version "p-adique" de cette recette. Le monde "p-adique" est un univers parallèle où les nombres se comportent différemment (comme si on mesurait la distance entre les nombres en comptant combien de fois ils sont divisibles par un nombre premier $p$ ).

Jusqu'à présent, cette recette fonctionnait parfaitement dans un monde calme et ordonné (le cas "ordinaire"). Mais dans le monde supersingulier (le cas étudié ici), les choses deviennent chaotiques. C'est comme si vous essayiez de cuire un gâteau dans un four qui tremble violemment : la recette classique ne marche plus, et les outils habituels pour mesurer le résultat échouent.

2. La Solution : Construire un Nouveau Mètre-Ruban

Pour résoudre ce chaos, les auteurs ont dû inventer un nouvel outil de mesure.

L'ancienne méthode (Dasgupta) : Dans le monde calme, on pouvait vérifier la recette en goûtant le gâteau à quelques points précis (des caractères d'ordre fini). C'était comme goûter le gâteau à la fin de la cuisson.
Le problème supersingulier : Dans le monde turbulent, goûter à quelques points ne suffit pas. Le gâteau peut changer de goût brusquement entre deux points. Il faut une mesure continue et plus puissante.

Les auteurs ont donc construit un nouveau mètre-ruban en 2 dimensions (une fonction $L$ p-adique à deux variables).

Imaginez que vous avez une carte géographique (l'espace des poids). Habituellement, on ne regarde que les villes principales (les entiers). Ici, ils ont créé une carte qui couvre toute la région, y compris les villages isolés et les chemins de terre, pour s'assurer que la recette est vraie partout, pas seulement aux endroits faciles.

3. La Méthode : Utiliser des "Éléments K" comme des Ponts

Comment prouvent-ils que leur nouvelle recette fonctionne ? Ils utilisent des objets mathématiques très abstraits appelés éléments de Beilinson-Flach.

L'analogie du pont : Imaginez que vous avez deux rives séparées par une rivière profonde.
- Sur la rive de gauche, il y a le monde des nombres complexes (la recette originale).
- Sur la rive de droite, il y a le monde p-adique (la nouvelle recette).
- Les éléments de Beilinson-Flach sont comme des ponts magiques qui relient les deux rives.

Les auteurs construisent ces ponts en utilisant la "cohomologie motivique" (une sorte d'architecture invisible des formes géométriques). Ils montrent que si vous traversez le pont, la valeur que vous trouvez sur la rive gauche (le nombre complexe) correspond exactement à la valeur sur la rive droite (le nombre p-adique), à condition de multiplier par un facteur correctif.

4. Le Résultat Majeur : La Factorisation

Une fois le pont construit et le nouveau mètre-ruban calibré, ils peuvent enfin prouver leur théorème principal :

Même dans le monde turbulent et supersingulier, la grande recette se décompose toujours en deux plus petites recettes !
$\text{Grand Gâteau (Rankin-Selberg)} = \text{Gâteau Symétrique (Nouveau)} \times \text{Gâteau Kubota-Leopoldt}$

C'est une découverte majeure car cela prouve que la structure fondamentale de ces nombres reste solide, même quand les conditions deviennent extrêmes. Ils ont étendu un résultat connu (celui de Dasgupta) à un domaine où personne n'avait réussi à le faire auparavant.

5. Pourquoi c'est important ?

C'est un peu comme si un ingénieur prouvait que les lois de la physique qui régissent les ponts dans les vallées calmes s'appliquent aussi aux ponts suspendus dans les tempêtes.

Pour les mathématiciens : Cela ouvre la porte à l'étude de conjectures profondes (comme la conjecture de Birch et Swinnerton-Dyer) dans des cas plus généraux.
Pour la logique : Cela montre que même quand les outils classiques cassent (comme les mesures p-adiques non bornées), on peut en forger de nouveaux (en utilisant la K-théorie supérieure et l'analyse complexe) pour rétablir l'ordre.

En Résumé

Arlandini et Loeffler ont pris une équation mathématique célèbre qui fonctionnait bien dans des conditions normales, et ils ont réussi à la faire fonctionner dans des conditions extrêmes et chaotiques. Pour ce faire, ils ont :

Inventé un nouvel outil de mesure (une fonction L à deux variables).
Construit des ponts complexes (les éléments de Beilinson-Flach) pour relier le monde des nombres classiques au monde p-adique.
Démontré que la structure fondamentale (la factorisation) reste vraie, peu importe la turbulence.

C'est une victoire de la logique et de la créativité mathématique sur le chaos des nombres.

1. Problématique et Contexte

L'article s'attaque à un problème fondamental en théorie des nombres : la factorisation des fonctions L p-adiques associées aux formes modulaires, dans le cas où la forme est supersingulière en un nombre premier $p$ .

Contexte classique (Cas ordinaire) : Pour une forme modulaire $f$ ordinaire en $p$ , Dasgupta (2016) a démontré une formule de factorisation p-adique analogue à la factorisation complexe connue :
$L(f \otimes f, s) = L(\text{Sym}^2 f, s) \cdot L(\psi, s - k - 1)$
où $L(f \otimes f, s)$ est la fonction L de Rankin-Selberg, $L(\text{Sym}^2 f, s)$ est la fonction L du carré symétrique, et $L(\psi, \cdot)$ est une fonction L de Kubota-Leopoldt. La version p-adique de cette identité a été prouvée par Dasgupta en utilisant des systèmes d'Euler et la cohomologie motivique.
Le défi supersingulier : Lorsque $f$ est supersingulière (c'est-à-dire que la valuation p-adique de son coefficient de Hecke $a_p(f)$ est strictement positive), la théorie classique des familles de Hida ne s'applique plus directement. Les fonctions L p-adiques ne sont plus des mesures bornées mais des distributions localement analytiques potentiellement non bornées. De plus, les spécialisations de poids 2 ne sont plus denses dans les familles de Coleman (qui généralisent les familles de Hida au cas supersingulier), ce qui empêche l'utilisation directe des méthodes de densité classiques pour prouver les identités.

L'objectif principal de l'article est de généraliser le résultat de Dasgupta au cas supersingulier en construisant une fonction L p-adique pour le carré symétrique d'une famille de Coleman et en prouvant la formule de factorisation correspondante.

2. Méthodologie

Les auteurs adoptent une stratégie inspirée de Dasgupta mais introduisent deux innovations majeures pour surmonter les obstacles liés au cas non-ordinaire :

Utilisation de la K-théorie supérieure et de la cohomologie motivique : Au lieu de se limiter aux groupes d'unités cyclotomiques (cas $n=0$ ), les auteurs travaillent avec des éléments de K-théorie supérieure (éléments de Beilinson-Flach) dans des groupes de cohomologie motivique de degré supérieur. Cela permet de capturer les valeurs L aux points critiques $1+j$ pour $0 \le j \le k$ .
Continuité analytique via les caractères algébriques : Au lieu de s'appuyer sur la densité des caractères d'ordre fini (qui échoue dans le cas supersingulier pour déterminer une distribution non bornée), ils utilisent la continuité analytique à partir des caractères algébriques ( $z \mapsto z^n$ ) au sein des familles de Coleman.

Outils géométriques et cohomologiques :

Variétés de Kuga-Sato : Les auteurs utilisent les variétés de Kuga-Sato $W_k$ pour construire des classes de cohomologie associées aux formes modulaires.
Classes de Beilinson-Flach : Ils construisent des classes motiviques $\Xi_{k,k,j}$ (versions compactifiées des classes de Beilinson-Flach) dans la cohomologie motivique de $W_k$ .
Formules de régulateurs :
- Régulateur complexe ( $r_D$ ) : Relie les classes motiviques aux valeurs dérivées des fonctions L complexes de Rankin-Selberg.
- Régulateur p-adique (syntomique/étale) : Relie ces mêmes classes aux valeurs des fonctions L p-adiques géométriques $L_p^{geom}(F, F)$ .
Décomposition des représentations : L'argument repose sur la décomposition de la représentation tensorielle $\rho_f \otimes \rho_f$ en $\text{Sym}^2(\rho_f) \oplus \det(\rho_f)$ . Les auteurs construisent des classes dans la composante antisymétrique ( $\wedge^2$ ) pour isoler la partie liée au déterminant, permettant ensuite d'inférer la relation pour la partie symétrique via les équations fonctionnelles.

3. Contributions Clés et Résultats Principaux

L'article établit trois théorèmes majeurs (A, B et C) :

Théorème A : Construction d'une fonction L p-adique à deux variables

Les auteurs construisent une fonction L p-adique méromorphe à deux variables, notée $L_p^{imp}(\text{Sym}^2 \mathcal{F})$ , associée au carré symétrique d'une famille de Coleman $\mathcal{F}$ passant par une stabilisation $p$ -adique d'une forme $f$ .

Propriété d'interpolation : Cette fonction interpole les valeurs des fonctions L complexes imprimitives du carré symétrique $L_{imp}(\text{Sym}^2 f_t, 1+j)$ pour les spécialisations de poids $t$ et les entiers pairs $j$ dans la moitié gauche de la bande critique ( $0 \le j \le t$ ).
Unicité : La fonction est déterminée de manière unique sur une partie de l'espace des poids grâce à ces conditions d'interpolation.

Théorème B : Formule de factorisation de type Dasgupta

C'est le résultat central de l'article. Pour une famille de Coleman $\mathcal{F}$ et une forme $f$ supersingulière, les auteurs prouvent la factorisation suivante des fonctions L p-adiques géométriques :
$L_p^{geom}(\mathcal{F}, \mathcal{F})(\kappa, \kappa, \sigma) = L_p^{imp}(\text{Sym}^2 \mathcal{F})(\kappa, \sigma) \cdot L_p(\psi, \sigma - \kappa - 1)$

Signification : Cette formule exprime la fonction L de Rankin-Selberg p-adique (associée à $f \otimes f$ ) comme le produit de la nouvelle fonction L du carré symétrique et d'une fonction L de Kubota-Leopoldt.
Extension : Ce résultat généralise le théorème de Dasgupta (valable uniquement pour les formes ordinaires) au cas supersingulier, comblant ainsi une lacune importante dans la théorie des fonctions L p-adiques.

Théorème C : Équation fonctionnelle p-adique

Sous l'hypothèse que les caractères $\psi$ et $\psi^2$ sont primitifs, les auteurs démontrent que la fonction $L_p^{imp}(\text{Sym}^2 \mathcal{F})$ satisfait une équation fonctionnelle p-adique :
$L_p^{imp}(\text{Sym}^2 \mathcal{F})(\kappa, 2\kappa + 3 - \sigma) = \varepsilon(\text{Sym}^2 \mathcal{F})(\kappa, \sigma) \cdot L_p^{imp}(\text{Sym}^2 \mathcal{F}^*)(\kappa, \sigma)$
Cela permet d'étendre les propriétés d'interpolation à toute la bande critique (moitié droite), complétant ainsi la définition de la fonction L p-adique.

4. Mécanisme de la Preuve (Résumé technique)

Construction des classes motiviques : Définition d'éléments $b_{f,j}$ dans la cohomologie motivique $H^1_M(\mathbb{Q}(\mu_N), \mathbb{Q}(1+k-j))$ via un produit de pairing entre les classes de Beilinson-Flach compactifiées $\Xi_{k,k,j}$ et des cycles algébriques $Z_f$ .
Calcul des régulateurs :
- Le régulateur complexe $r_D(b_{f,j})$ est calculé et relié à $L'(f \otimes f, j+1)$ .
- Le régulateur p-adique (syntomique) $r_{syn}(b_{f,j})$ est calculé et relié à $L_p^{geom}(F, F)$ .
Factorisation complexe : Utilisation de la factorisation complexe $L(f \otimes f, s) = L(\text{Sym}^2 f, s)L(\psi, s-k-1)$ pour exprimer $b_{f,j}$ comme un multiple scalaire d'un élément cyclotomique $\phi_{\psi}$ (lié à $L(\psi, \cdot)$ ).
Passage au p-adique : En appliquant le régulateur p-adique à cette relation, on obtient une relation entre $L_p^{geom}(F, F)$ et $L_p(\psi)$ .
Définition et interpolation : La fonction $L_p^{imp}(\text{Sym}^2 \mathcal{F})$ est définie par le quotient de cette relation. Les auteurs montrent ensuite que cette définition satisfait les conditions d'interpolation requises pour les valeurs critiques, validant ainsi qu'il s'agit bien d'une fonction L p-adique cohérente.

5. Importance et Signification

Résolution d'un problème ouvert : Ce travail résout le problème de la construction et de la factorisation des fonctions L p-adiques pour le carré symétrique dans le cas supersingulier, un domaine où les méthodes classiques de Hida échouent.
Nouvelles perspectives pour la conjecture de BSD : Les fonctions L p-adiques du carré symétrique sont cruciales pour l'étude de la conjecture de Birch et Swinnerton-Dyer (BSD) pour les courbes elliptiques et les variétés abéliennes de dimension supérieure, en particulier via les formules de Gross-Zagier généralisées. La capacité à traiter le cas supersingulier élargit considérablement le champ d'application de ces formules.
Innovations méthodologiques : L'approche combinant la K-théorie supérieure, les familles de Coleman et les régulateurs p-adiques offre un nouveau paradigme pour l'étude des fonctions L p-adiques au-delà du cas ordinaire. Elle démontre que la densité des points classiques n'est pas nécessaire si l'on dispose de structures de régulateur suffisamment riches et de familles analytiques.
Cohérence avec la théorie des représentations : La preuve confirme que la décomposition galoisienne $\rho \otimes \rho \simeq \text{Sym}^2 \rho \oplus \det \rho$ se reflète fidèlement au niveau des fonctions L p-adiques, même dans des contextes arithmétiques complexes comme le cas supersingulier.

En résumé, cet article constitue une avancée majeure en théorie des nombres p-adiques, établissant un pont rigoureux entre la géométrie arithmétique des variétés de Kuga-Sato, la théorie des formes modulaires supersingulières et les fonctions L p-adiques.