🔢 mathematics

A proof of $p$ -adic Gross--Zagier theorem via BDP formula

Cet article présente une nouvelle preuve du théorème de Gross–Zagier $p$ -adique pour les changements de base de formes propres cuspidales nouvelles vers des corps quadratiques imaginaires, couvrant à la fois les cas ordinaires et non ordinaires (incluant $k>2$ avec $\mathrm{ord}_p(a_p(f)) > 0$ ) en utilisant une stratégie de « franchissement de mur » basée sur la formule BDP et les éléments de Beilinson–Flach plutôt que sur les comparaisons de noyaux traditionnelles.

Auteurs originaux : Kâzım Büyükboduk, Peter Neamti

Publié 2026-07-24

📖 8 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Kâzım Büyükboduk, Peter Neamti

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 vous essayez de résoudre un puzzle géant et cosmique dont les pièces sont des nombres, mais pas n'importe quels nombres — ce sont les mystérieux « nombres premiers » qui agissent comme les atomes de l'arithmétique. Depuis des siècles, les mathématiciens tentent de relier deux mondes très différents : le monde de la géométrie (formes, courbes et points flottant dans l'espace) et le monde de l'analyse (courbes lisses, dérivées et flux de fonctions). C'est un peu comme essayer de prouver que le son d'une corde de violon qui vibre est exactement le même que le motif des ondulations se propageant à la surface d'un étang.

Dans ce recoin spécifique des mathématiques, appelé la théorie des nombres, il existe un pont célèbre appelé la formule de Gross–Zagier. Elle relie la « hauteur » d'un point spécial sur une forme géométrique (appelée point de Heegner) à la pente d'une fonction complexe (une fonction L) en un point précis. Considérez la « hauteur » comme la distance qu'un randonneur a parcourue en montant une montagne, et la « pente » comme la raideur du sommet de la montagne. Si la montagne est plate (la pente est nulle), le randonneur est au pied ; si elle est escarpée, le randonneur est haut perché. Cette connexion est cruciale car elle aide les mathématiciens à comprendre les secrets profonds de la façon dont les nombres se comportent, particulièrement concernant les courbes elliptiques (des équations sophistiquées en forme de donuts) et leurs fonctions L (qui sont comme des codes secrets indiquant combien de solutions ces équations possèdent).

Pendant longtemps, prouver cette connexion nécessitait de comparer deux machines massives et compliquées : l'une construite à partir de la géométrie et l'autre à partir de l'analyse. Mais et s'il y avait un raccourci ? Et si vous pouviez utiliser une stratégie de « franchissement de mur » (wall-crossing), comme marcher à travers une porte secrète dans un château pour passer d'une pièce à l'autre sans avoir à escalader toute la tour ? C'est exactement ce que fait cet article.

L'Article : Un nouveau raccourci à travers les murs du château

Cet article, écrit par Kâzım Büyükboduk et Peter Neamti, propose une preuve unifiée et fraîche du théorème p-adique de Gross–Zagier. Dans le monde des mathématiques, « p-adique » est une façon spéciale de mesurer les nombres qui se concentre sur un nombre premier spécifique (appelons-le p) plutôt que sur la distance habituelle que nous utilisons dans la vie de tous les jours. Les auteurs tentent de prouver que la « pente » d'une fonction p-adique spéciale est directement liée à la « hauteur » d'un point géométrique, même dans les situations délicates où les nombres se comportent mal (ce que les mathématiciens appellent les scénarios « non-ordinaires »).

L'ancienne méthode vs La nouvelle méthode

Auparavant, les mathématiciens prouvaient ce théorème en construisant deux moteurs distincts et massifs. Un moteur calculait la hauteur géométrique, et l'autre calculait la pente analytique. Ils devaient ensuite comparer les résultats de ces deux moteurs pour voir s'ils concordaient. C'était comme essayer de vérifier que deux horloges différentes indiquent la même heure en examinant chaque engrenage de chacune d'elles. C'était difficile, surtout lorsque les « horloges » étaient cassées ou se comportaient étrangement (comme lorsque le poids de la forme est supérieur à 2, ou lorsque le nombre premier p divise la forme de manière complexe).

Les auteurs de cet article disent : « Essayons une approche différente. » Au lieu de comparer directement les deux moteurs, ils utilisent une stratégie de franchissement de mur. Imaginez que vous êtes dans un château avec de nombreuses pièces. L'ancienne méthode consistait à aller de la Salle Géométrique à la Salle Analytique en faisant le tour de tout le château. La nouvelle méthode consiste à trouver une porte secète (un « mur ») qui les connecte directement.

La porte secrète : La formule BDP et les éléments de Beilinson–Flach

La clé de cette porte secrète est une formule célèbre appelée la formule BDP (nommée d'après Bertolini, Darmon et Prasanna). Considérez la formule BDP comme une carte magique qui vous indique exactement comment traduire un message d'une langue à une autre.

Pour utiliser cette carte, les auteurs introduisent deux personnages principaux :

Cycles de Heegner : Ce sont les randonneurs géométriques qui grimpent la montagne.
Éléments de Beilinson–Flach : Ce sont les messagers analytiques qui transportent les données de la pente.

L'article montre que ces deux personnages sont en réalité la même personne portant des costumes différents. En utilisant un outil appelé la formule de style Rubin, les auteurs montrent que la « hauteur » du randonneur géométrique est exactement égale à la « pente » du messager analytique, une fois que l'on tient compte de certains facteurs algébriques spécifiques (comme la taille de la montagne ou le poids du sac à dos du randonneur).

La grande découverte

La principale conclusion de l'article est une équation précise (Théorème A) qui lie la dérivée de la fonction L p-adique à la hauteur p-adique du cycle de Heegner. La formule ressemble à ceci :

$\text{Pente} \propto \text{Hauteur}$

Mais les auteurs ne se contentent pas de dire « ils sont liés ». Ils vous donnent la recette exacte de leur relation, incluant des nombres spécifiques qui dépendent de si le nombre premier p divise le niveau de la forme ou non.

Ce que l'article prouve :

Cela fonctionne aussi pour les cas « mauvais » : Les preuves précédentes avaient du mal lorsque le poids de la forme était supérieur à 2 ou lorsque le nombre premier p se comportait de manière « non-ordinaire » (signifiant que les nombres ne jouaient pas le jeu de manière fluide). Cet article prouve que la formule fonctionne même dans ces scénarios difficiles, y compris les cas où le poids $k > 2$ et où la valuation p-adique d'un nombre spécifique est positive.
Il unifie la théorie : Il traite les cas « faciles » (où les nombres se comportent bien) et les cas « difficiles » (où ils ne se comportent pas bien) avec la même méthode exacte. Vous n'avez plus besoin d'un outil différent pour des problèmes différents.
Il utilise des éléments « Grands » : Les auteurs utilisent des classes de Heegner « Grandes » et des éléments de Beilinson–Flach « Grands ». Considérez-les comme des super-versions des éléments standards qui peuvent gérer des familles de nombres entières à la fois, plutôt que de traiter un seul nombre à la fois. Cela leur permet de prouver le résultat pour toute une famille de formes simultanément.

Ce que l'article écarte

L'article est très prudent sur ce qu'il ne couvre pas. Il stipule explicitement que leur méthode ne fonctionne pas pour un cas très spécifique et délicat : lorsque le nombre premier p divise le niveau de la forme ( $p | N_f$ ) ET qu'un nombre spécifique appelé $a_p(f)$ est égal à $p^{k/2}$ . Les auteurs admettent que ce cas est encore un mystère et qu'il est étudié par d'autres mathématiciens. Ils notent également que si certaines conditions (étiquetées NV) ne sont pas remplies, la formule pourrait simplement dire « 0 = 0 », ce qui est techniquement vrai mais pas très utile. Cependant, ils montrent que si ces conditions sont remplies, la formule donne une réponse significative et non nulle.

À quel point sont-ils sûrs ?

Les auteurs sont extrêmement confiants. Ils ne se contentent pas de suggérer que cela pourrait être vrai ; ils fournissent une preuve rigoureuse, étape par étape. Ils utilisent des outils établis comme les complexes de Selmer (qui sont comme des filets de sécurité qui capturent les parties importantes des nombres) et les systèmes d'Euler (qui sont comme une chaîne de dominos qui, une fois le premier poussé, prouve que toute la chaîne tombe). La logique est bâtie sur un terrain solide, s'appuyant sur la condition d'« Image Grande » (une exigence technique qui garantit que les nombres sont assez complexes pour être intéressants) et l'« Hypothèse de Heegner » (une règle qui garantit l'existence des points géométriques).

En résumé, Büyükboduk et Neamti ont construit un nouveau pont élégant entre les mondes géométrique et analytique. Ils n'ont pas seulement traversé le pont ; ils nous ont montré un tunnel secret qui fonctionne même quand le pont est en construction ou que la météo est orageuse. Cette preuve confirme que la connexion profonde entre la hauteur d'un point et la pente d'une fonction est une vérité fondamentale de l'univers des nombres, qui reste vraie même dans les scénarios les plus chaotiques et non-ordinaires.

Résumé Technique : Une preuve du théorème de Gross–Zagier $p$ -adique via la formule BDP

Énoncé du Problème
L'article traite de la preuve de la formule de Gross–Zagier $p$ -adique pour la fonction $L$ $p$ -adique associée au changement de base d'une forme propre nouvelle cuspidale normalisée $f$ de poids $k \geq 2$ vers un corps quadratique imaginaire $K$ . Les auteurs visent à établir une relation précise entre la dérivée de cette fonction $L$ $p$ -adique au point critique central et la hauteur $p$ -adique d'un cycle de Heegner.

Bien que la formule ait été établie précédemment pour les cas $p$ -ordinaires classiques (où $p \nmid N_f$ et la forme est ordinaire) par Perrin-Riou, Nekovář et Kobayashi, ce travail étend le résultat aux scénarios non-ordinaires. Plus précisément, il couvre les cas où $k > 2$ et où la valuation de l'eigenvaleur de Hecke satisfait $\text{ord}_p(a_p(f)) > 0$ (non-ordinaire), ainsi que les cas où $p \mid N_f$ (réduction semi-stable). La preuve opère sous l'hypothèse de « fort Heegner » (strong Heegner hypothesis) et sous des conditions spécifiques d'« image grande » (big image).

Méthodologie
Les auteurs emploient une stratégie fondamentalement distincte de l'approche traditionnelle de comparaison des noyaux géométriques et analytiques (qui repose sur la comparaison de formes modulaires construites à partir de hauteurs $p$ -adiques versus des convolutions de Rankin–Selberg). Au lieu de cela, ils utilisent une stratégie de « passage de mur » (wall-crossing) centrée sur la formule de Bertolini–Darmon–Prasanna (BDP) et la théorie des éléments de Beilinson–Flach.

Les étapes méthodologiques clés incluent :

Éléments de Beilinson–Flach : La fonction $L$ $p$ -adique est décrite en termes d'éléments de Beilinson–Flach via des « premières lois de réciprocité ».
Formule de type Rubin : Une formule est dérivée, exprimant la dérivée de la fonction $L$ $p$ -adique en termes de la hauteur $p$ -adique d'un élément de Beilinson–Flach.
Comparaison des images locales : En utilisant la formule BDP pour les cycles de Heegner et les « secondes lois de réciprocité » pour les éléments de Beilinson–Flach, les auteurs comparent les images locales $p$ des points de Heegner et des éléments de Beilinson–Flach.
Comparaison globale via les systèmes d'Euler : En s'appuyant sur la machinerie des systèmes d'Euler (spécifiquement la condition d'« image grande »), la comparaison des images locales est affinée pour obtenir une comparaison globale au sein du groupe de Selmer approprié.
Passage de mur (Wall-Crossing) : La preuve tire parti de la relation entre les propriétés variationnelles $p$ -adiques des formules explicites de Gross–Zagier (GGP) et leurs contreparties arithmétiques à travers différentes régions (ordinaire vs non-ordinaire).

Contributions Clés et Résultats
Le résultat principal est le Théorème A, qui établit l'égalité suivante pour la dérivée de la fonction $L$ $p$ -adique $L_p(f_\alpha/K, s)$ en $s = k/2 + 1$ :

$\frac{A}{B} \cdot \frac{d}{ds} L_p(f_\alpha/K, s) \Big|_{s= k/2 +1} = (-1)^{k/2} \times \begin{cases} \left(1 - \frac{p^{k/2}}{\alpha}\right)^4 \cdot \frac{h_f(z_f, z_f)}{(4|D_K|)^{k/2}} & \text{si } p \nmid N_f \\ 4 \cdot \frac{h_f(z_f, z_f)}{(4|D_K|)^{k/2}} & \text{si } p \parallel N_f \text{ et } a_p(f) \neq p^{k/2} \end{cases}$

Où :

$z_f$ est le cycle de Heegner associé au changement de base de $f$ vers $K$ .
$h_f$ est le couplage de hauteur $p$ -adique.
$A$ et $B$ sont des constantes algébriques non nulles.
Le rapport $A/B = 1$ si certaines conditions de non-annulation (notées NV) sont satisfaites.

Avancées Techniques Spécifiques :

Uniformité : La preuve est uniforme, traitant simultanément les cas $p$ -ordinaires connus et les nouveaux cas non-ordinaires (incluant $k > 2$ avec $\text{ord}_p(\alpha) > 0$ ).
Cycles de Heegner Généralisés : Les résultats se spécialisent en formules de Gross–Zagier $p$ -adiques pour les cycles de Heegner généralisés pour $f/K \times \chi$ , reproduisant et généralisant les résultats de Shnider (2016).
Gestion des Cas Non-Ordinaires : L'article navigue avec succès les difficultés des hauteurs $p$ -adiques non-ordinaires, un scénario où les arguments d'annulation précédents pour les contributions locales (reposant sur l'astuce de Perrin-Riou) étaient insuffisants ou nécessitaient des techniques différentes.

Signification et Revendications
Les auteurs affirment que ce travail fournit une nouvelle preuve du théorème de Gross–Zagier $p$ -adique qui unifie des cas disparates précédemment traités séparément. En déplaçant l'accent de la comparaison de noyaux vers l'interaction entre les éléments de Beilinson–Flach et les cycles de Heegner via la formule BDP, l'article offre un cadre plus robuste pour les scénarios non-ordinaires.

L'article note explicitement qu'il ne traite pas le cas où $\text{ord}_p(N_f) = 1$ et $a_p(f) = p^{k/2}$ , identifiant cela comme un sujet pour des travaux futurs. De plus, les auteurs précisent que si la condition de non-annulation (NV) échoue, la formule se réduit à l'identité triviale $0=0$ , ce qui est cohérent avec la littérature existante, mais si (NV) est vérifiée, la formule fournit une relation non triviale. La preuve repose fortement sur la condition d'« image grande » pour assurer la comparaison globale nécessaire dans le groupe de Selmer.

Le travail est présenté comme un hommage à Henri Darmon, reconnaissant que chaque étape de l'argument repose sur ses idées fondamentales, particulièrement la formule BDP et le cadre conceptuel des fonctions $L$ $p$ -adiques et des hauteurs.