Gan--Gross--Prasad cycles and derivatives of $p$-adic $L$-functions

Cet article établit une formule reliant la dérivée première d'une fonction L p-adique aux hauteurs p-adiques de classes de Selmer issues de cycles diagonaux sur des variétés de Shimura unitaires, démontrant ainsi une version p-adique des conjectures de Gan-Gross-Prasad et de Beilinson-Bloch-Kato pour les groupes unitaires.

L'essentiel

Imaginez que les mathématiques soient une immense bibliothèque où chaque livre raconte une histoire différente. Certains livres parlent de nombres (l'arithmétique), d'autres de formes géométriques complexes (la géométrie), et d'autres encore de symétries invisibles (la théorie des représentations).

Ce papier, écrit par Daniel Disegni et Wei Zhang, est comme un pont magique qui relie deux sections de cette bibliothèque qui semblaient être totalement séparées.

Voici l'histoire de ce pont, racontée simplement :

1. Le Problème : Deux mondes qui ne se parlent pas

Dans le monde des mathématiques, il existe deux façons de mesurer des choses importantes :

• Le monde "Lisse" (Analytique) : C'est comme mesurer la température avec un thermomètre très précis. On utilise des fonctions complexes (appelées fonctions L) pour décrire des nombres. Parfois, ces fonctions s'annulent ou ont des valeurs spéciales. Les mathématiciens savent que si une fonction s'annule d'une certaine manière, cela cache un secret.
• Le monde "Rugueux" (Arithmétique) : C'est comme chercher des trésors cachés dans un paysage montagneux. Ici, on cherche des objets géométriques réels (des cycles) sur des surfaces mathématiques appelées variétés de Shimura. Ces objets sont comme des points ou des lignes tracés sur une carte.

Le mystère, c'est que les mathématiciens soupçonnent depuis longtemps que la valeur d'une fonction L (le thermomètre) est directement liée à la taille d'un objet géométrique (le trésor). C'est ce qu'on appelle la conjecture de Beilinson-Bloch-Kato.

2. La Nouvelle Idée : Le "p-adique"

Jusqu'à présent, on essayait de faire ce lien avec des nombres "normaux" (les nombres réels). Mais Disegni et Zhang ont décidé de changer de lunettes. Ils ont utilisé des lunettes spéciales appelées nombres p-adiques.

Imaginez que les nombres p-adiques soient une façon de regarder les nombres non pas de loin, mais très près, comme un microscope qui révèle des détails invisibles autrement. En utilisant cette perspective, ils peuvent voir des choses que les autres ne voient pas, comme des "hauteurs" (une mesure de la complexité) de leurs objets géométriques.

3. La Méthode : La "Formule de la Trace Relative"

Pour construire leur pont, les auteurs utilisent un outil puissant qu'ils appellent la formule de la trace relative.

• L'analogie du miroir : Imaginez que vous avez deux miroirs face à face. Si vous mettez un objet devant l'un, son reflet apparaît dans l'autre.
• Le travail des auteurs : Ils ont créé deux "miroirs" mathématiques.
  1. Le premier miroir reflète les fonctions L (le côté analytique).
  2. Le second miroir reflète les hauteurs p-adiques de leurs cycles géométriques (le côté arithmétique).

En comparant ce qui se passe dans les deux miroirs, ils ont réussi à prouver une formule précise. C'est comme s'ils avaient dit : "Regardez ! La dérivée (le taux de changement) de notre fonction L est exactement égale à la hauteur de notre objet géométrique."

4. Le Résultat : Un lien précis

Leur découverte principale est une formule qui dit :

"Si la fonction L change d'une certaine manière (sa dérivée est non nulle), alors il existe un objet géométrique réel (un cycle de Gan-Gross-Prasad) qui a une hauteur non nulle."

C'est une victoire majeure car cela confirme une partie très difficile d'une grande conjecture mathématique. Cela signifie que si vous trouvez un "trésor" géométrique, vous savez automatiquement que la fonction L associée a un comportement spécial, et vice-versa.

5. Pourquoi c'est important ?

Pour le grand public, c'est un peu comme si on découvrait que la fréquence d'une onde radio (le son) est exactement liée à la forme d'une montagne.

• Cela permet de mieux comprendre la structure fondamentale des nombres.
• Cela aide à résoudre des énigmes anciennes sur les équations diophantiennes (des équations où l'on cherche des solutions entières).
• Cela ouvre la porte à de nouvelles méthodes pour explorer les profondeurs des mathématiques, en utilisant des outils "p-adiques" qui sont plus puissants pour certains problèmes que les outils classiques.

En résumé :
Disegni et Zhang ont construit un pont solide entre le monde abstrait des fonctions et le monde concret des formes géométriques, en utilisant des lunettes spéciales (p-adiques) et un système de miroirs (formules de trace). Ils ont prouvé que ces deux mondes ne font qu'un, révélant une harmonie cachée dans l'univers des nombres.

Résumé technique

Voici un résumé technique détaillé de l'article "GAN–GROSS–PRASAD CYCLES AND DERIVATIVES OF p-ADIC L-FUNCTIONS" de Daniel Disegni et Wei Zhang.

1. Problématique et Contexte

L'article s'inscrit dans le programme de recherche reliant les valeurs spéciales des fonctions L aux invariants arithmétiques (conjectures de Birch et Swinnerton-Dyer, Beilinson-Bloch-Kato). Plus spécifiquement, il vise à établir une version $p$-adique de la conjecture arithmétique de Gan–Gross–Prasad (GGP) pour les groupes unitaires.

• Contexte historique : Les formules de Gross-Zagier et Perrin-Riou relient les points de Heegner aux dérivées de fonctions L complexes et $p$-adiques. La conjecture GGP originale (Gan, Gross, Prasad, 2012) prédit que la non-vanishing des périodes automorphes est liée aux valeurs centrales des fonctions L de type Rankin-Selberg, et que la non-vanishing des cycles algébriques (cycles diagonaux) sur les variétés de Shimura est liée aux dérivées de ces mêmes fonctions L.
• Objectif : Les auteurs formulent et prouvent, sous certaines hypothèses locales, une formule précise reliant la dérivée première d'une fonction L $p$-adique à la hauteur $p$-adique de classes de Selmer provenant de cycles diagonaux arithmétiques sur des variétés de Shimura unitaires. Cela constitue un analogue $p$-adique de la conjecture arithmétique GGP.

2. Méthodologie

La preuve repose sur une comparaison sophistiquée de deux formules de traces relatives (RTF) à coefficients $p$-adiques, une méthode inspirée par les travaux de Jacquet-Rallis et de l'un des auteurs (Zhang) dans le contexte archimédien.

A. Construction de la fonction L $p$-adique (Côté Analytique)

• Rationalité : Les auteurs établissent d'abord la rationalité des valeurs de fonctions L de Rankin-Selberg tordues (Théorème A). Ils utilisent des formules de traces relatives de Jacquet-Rallis avec des coefficients rationnels et des "gaussiennes" (mesures de Hecke spécifiques) pour isoler les représentations cuspidales.
• Interpolation $p$-adique : Pour une représentation $\Pi$ $p$-ordinaire, ils construisent une fonction L $p$-adique $L_p(M_\Pi)$ (Théorème B) qui interpole les valeurs centrales tordues. Cette construction utilise une formule de traces relative $p$-adique, exploitant des mesures de Hecke explicites aux places $p$ et des intégrales orbitales $p$-adiques bornées.

B. Construction des hauteurs $p$-adiques (Côté Arithmétique)

• Cycles GGP : Ils définissent des cycles diagonaux arithmétiques sur des produits de variétés de Shimura unitaires (associées à des espaces hermitiens incohérents). Ces cycles sont projetés dans le groupe de cohomologie étale et donnent lieu à des classes dans le groupe de Selmer de Bloch-Kato $H^1_f(F, \rho_\Pi)$.
• Hauteurs : En utilisant la théorie des biextensions et les hauteurs $p$-adiques de Nekovář, ils définissent un produit scalaire de hauteurs sur ces classes de Selmer.
• Formule de traces arithmétique : Ils construisent une distribution $J_{K_p}$ sur l'algèbre de Hecke qui encode les hauteurs $p$-adiques de ces cycles. Ils démontrent que cette distribution admet un développement géométrique (somme d'intersections arithmétiques locales) et un développement spectral (somme sur les représentations automorphes).

C. La Comparaison (Le Cœur de la Preuve)

L'élément central est la comparaison entre la dérivée de la distribution analytique $\partial I_{K'_p}$ et la distribution arithmétique $J_{K_p}$.

• Correspondance des orbites : Ils utilisent la correspondance de Jacquet-Rallis entre les orbites de $G'$ (produit de groupes linéaires) et celles de $G$ (produit de groupes unitaires).
• Lemmes Fondamentaux : La preuve repose sur l'égalité terme à terme des développements géométriques. Cela nécessite :
  1. Le Lemme Fondamental (Yun, Beuzart-Plessis) pour les orbites non ramifiées.
  2. Le Lemme Fondamental Arithmétique (AFL) et la Conjecture de Transfert Arithmétique (ATC) pour les places inertes. Les auteurs s'appuient sur les résultats récents de Z. Zhang, MZ, et LMZ pour les cas de niveaux parahoriques de vertex (niveaux "presque auto-duaux").
• Mesures de test : Une partie technique majeure consiste à construire des mesures de Hecke (gaussiennes) qui annulent toutes les contributions spectrales sauf celle de la représentation $\Pi$ désirée, tout en ayant un support régulier semi-simple pour permettre le calcul des intégrales orbitales.

3. Résultats Principaux

1. Théorème A (Rationalité) : Preuve de la rationalité des valeurs de fonctions L de Rankin-Selberg tordues pour des représentations cuspidales de poids trivial sur un corps CM.
2. Théorème B (Fonction L $p$-adique) : Construction d'une fonction L $p$-adique $L_p(M_\Pi)$ unique interpolant les valeurs centrales, sous l'hypothèse que $\Pi$ est $p$-ordinaire.
3. Théorème C (Conjecture BBK $p$-adique) : Preuve que si l'ordre de vanishing de $L_p(M_\Pi)$ en $\chi=1$ est 1, alors la dimension du groupe de Selmer $H^1_f(F, \rho_\Pi)$ est au moins 1. Sous des conditions supplémentaires (primes admissibles), la dimension est exactement 1.
4. Théorème D (Formule de hauteur $p$-adique) : C'est le résultat principal. Il établit une formule précise reliant la dérivée de la fonction L $p$-adique à la hauteur $p$-adique des cycles GGP :
   $$h_\pi(Z_\pi(\phi), Z_{\pi^\vee}(\phi')) = e_p(M_\Pi)^{-1} \cdot \frac{1}{4} \partial L_p(M_\Pi) \cdot \alpha(\phi, \phi')$$
   où $\partial L_p$ est la dérivée, $h_\pi$ est le produit scalaire de hauteurs, et $\alpha$ est un invariant automorphe local.

4. Contributions Techniques Clés

• Formules de traces relatives $p$-adiques : Développement d'une théorie complète des formules de traces relatives avec des coefficients $p$-adiques, incluant la construction de distributions analytiques et arithmétiques.
• Calculs d'intégrales orbitales $p$-adiques : Résolution de problèmes techniques complexes liés aux intégrales orbitales sur les groupes linéaires aux places $p$, notamment pour les niveaux Iwahori et parahoriques de vertex.
• Utilisation des modèles intégraux : Analyse fine des modèles intégraux des variétés de Shimura unitaires (RSZ) et de leurs résolutions (pour les niveaux Iwahori et parahoriques), permettant de contrôler la cohomologie absolue et d'assurer la validité des intersections arithmétiques.
• Isolation des représentations : Construction explicite de mesures de test (gaussiennes) permettant d'isoler une représentation cuspidale spécifique dans le spectre automorphe tout en respectant les contraintes de régularité nécessaires aux formules de traces.

5. Signification et Impact

• Avancée majeure pour la conjecture GGP : Ce travail fournit la première preuve d'une formule de type Gross-Zagier $p$-adique pour des représentations de dimension supérieure à 2 (cas des groupes unitaires $U(n) \times U(n+1)$), dépassant le cadre des courbes elliptiques ($n=1$).
• Conjecture Beilinson-Bloch-Kato : Les résultats offrent une preuve conditionnelle (sous l'hypothèse de non-dégénérescence de la hauteur) de la conjecture BBK $p$-adique pour les motifs de Rankin-Selberg, reliant directement l'analyse ($L_p$) à l'arithmétique (groupe de Selmer).
• Nouvelles méthodes : L'approche par comparaison de formules de traces relatives $p$-adiques ouvre de nouvelles voies pour étudier les valeurs spéciales de fonctions L et les cycles algébriques dans des contextes où les méthodes classiques (points de Heegner) ne s'appliquent pas directement.
• Lien avec la géométrie arithmétique : L'article consolide le lien entre les conjectures de transfert arithmétique (AFL/ATC) et les problèmes globaux de théorie des nombres, démontrant que la résolution locale de ces conjectures a des conséquences globales profondes.

En résumé, cet article représente une avancée fondamentale en théorie des nombres, unifiant des domaines distincts (formes automorphes, géométrie arithmétique, cohomologie galoisienne) pour prouver une formule profonde reliant les dérivées de fonctions L $p$-adiques aux hauteurs de cycles algébriques.