🔢 mathematics

A refined non-vanishing of the $p$ -adic logarithm of a rational point on an abelian variety

S'inspirant de la formule BDP, cet article utilise le théorème du sous-groupe analytique $p$ -adique pour établir des résultats de non-annulation du logarithme $p$ -adique de points rationnels non de torsion sur des variétés abéliennes de type ${\mathrm GL}_2$ , en particulier dans le contexte des formes modulaires de Hilbert et des points de Heegner.

Auteurs originaux : Ashay Burungale, Christopher Skinner, Xin Wan

Publié 2026-03-24

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Ashay Burungale, Christopher Skinner, Xin Wan

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

Le Titre : "Le Logarithme p-adique ne s'annule-t-il jamais ?"

Imaginez que vous êtes un détective mathématique. Votre mission est de résoudre un mystère concernant des points spéciaux sur des formes géométriques complexes appelées variétés abéliennes.

Pour faire simple, imaginez ces variétés comme des paysages géométriques infinis (comme des tores ou des surfaces tordues) qui vivent dans le monde des nombres. Sur ces paysages, il y a des points particuliers (comme des villes sur une carte). Certains de ces points sont "spéciaux" : ils ne sont pas de simples points de passage, ils ont une histoire profonde liée à des équations complexes.

Le problème que les auteurs (Ashay Burungaale, Christopher Skinner et Xin Wan) veulent résoudre est le suivant :

Si l'on prend un de ces points "spéciaux" qui n'est pas un point de repos (un point non-torsion), et si l'on applique un outil mathématique très précis appelé le logarithme p-adique, est-ce que le résultat sera toujours différent de zéro ?

En termes simples : Est-ce que ce point a une "empreinte digitale" unique et non nulle, ou est-ce que l'outil mathématique le rend invisible (zéro) ?

L'Analogie du "Miroir Magique"

Pour comprendre, imaginons que le logarithme p-adique est un miroir magique très puissant.

Si vous placez un point "ordinaire" (un point de torsion, comme un point qui revient toujours à sa position de départ après quelques tours) devant ce miroir, le reflet est nul (le miroir ne montre rien). C'est normal.
Mais si vous placez un point "spécial" et "vivant" (un point non-torsion), vous vous attendez à voir un reflet clair et net.

Le mystère, c'est que pour les formes géométriques très simples (comme les courbes elliptiques, qui sont comme des bagues), on sait déjà que le miroir fonctionne toujours : le reflet est toujours visible.
Mais pour les formes géométriques plus complexes (les variétés abéliennes de type GL2, qui sont comme des cathédrales géantes avec beaucoup de dimensions), on ne savait pas si le miroir fonctionnait toujours. Parfois, le point pourrait être "caché" dans une direction où le miroir est aveugle.

La Découverte des Auteurs

Ces mathématiciens ont prouvé que le miroir ne trompe jamais dans les cas qui les intéressent.
Même pour ces cathédrales géantes complexes, si vous prenez un point vivant et que vous le regardez sous tous les angles possibles (toutes les "directions" ou embeddings), le reflet est toujours visible. Le logarithme ne s'annule jamais.

Pourquoi est-ce important ?
C'est comme si vous aviez une clé (le logarithme) pour ouvrir une porte vers des secrets mathématiques profonds (la conjecture de Birch et Swinnerton-Dyer, qui relie la géométrie des points à la complexité des équations). Si la clé était cassée (si le logarithme était zéro), vous ne pourriez pas ouvrir la porte. Les auteurs disent : "Ne vous inquiétez pas, la clé fonctionne toujours !"

L'Outil Secret : Le "Théorème du Sous-groupe Analytique"

Comment ont-ils fait cette preuve ? Ils n'ont pas utilisé une calculatrice, mais un outil théorique très puissant appelé le théorème du sous-groupe analytique p-adique.

Imaginez que vous essayez de prouver que le reflet dans le miroir est nul.

Si le reflet était nul, cela signifierait que le point "vivant" se comporte comme s'il appartenait à une sous-structure cachée (un petit sous-ensemble de la cathédrale) qui est trop petite pour contenir un point vivant.
Le théorème dit essentiellement : "Si un point vivant se comporte comme s'il était dans une petite boîte, alors il doit réellement être dans une petite boîte."
Mais les auteurs montrent que, dans leur configuration spécifique, il est impossible que ce point vivant soit coincé dans une petite boîte. Il est trop grand, il occupe tout l'espace disponible.
Donc, l'hypothèse "le reflet est nul" est fausse. Le reflet est donc forcément non nul.

C'est un peu comme essayer de cacher un éléphant dans un tiroir de bureau. Si vous dites "l'éléphant rentre dans le tiroir", le théorème vous répond : "Non, si l'éléphant rentre vraiment, alors le tiroir doit être aussi grand que l'éléphant. Mais ici, le tiroir est trop petit. Donc l'éléphant ne rentre pas, et votre hypothèse est fausse."

Le Contexte et les Dédiaces

Le papier est dédié à Henri Darmon, un grand mathématicien qui a inspiré ce travail.

L'inspiration : Tout part d'une formule célèbre (la formule BDP) qui relie des nombres complexes (les valeurs L) à la géométrie de ces points.
Le but : Les auteurs voulaient s'assurer que cette formule fonctionne bien même quand on passe des formes simples (courbes) aux formes complexes (variétés abéliennes). Ils ont confirmé que oui, cela fonctionne.

En Résumé

Le Problème : Est-ce que l'outil mathématique (logarithme) qui mesure la "vitalité" d'un point spécial sur une forme complexe donne toujours un résultat non nul ?
La Réponse : OUI. Même pour les formes les plus complexes, le point laisse toujours une trace non nulle.
La Méthode : Ils ont utilisé un raisonnement par l'absurde basé sur un théorème puissant qui dit qu'un point "vivant" ne peut pas se cacher dans une petite sous-structure.
L'Impact : Cela valide des outils essentiels pour prouver des conjectures majeures en théorie des nombres, comme la conjecture de Birch et Swinnerton-Dyer, qui est l'un des problèmes les plus célèbres des mathématiques modernes.

C'est une victoire de la logique pure : en montrant qu'une chose ne peut pas être nulle, ils ont ouvert la voie à de nouvelles découvertes sur la structure fondamentale des nombres.

1. Contexte et Problématique

Origine du problème :
L'article est motivé par la célèbre formule BDP (Bertolini-Darmon-Prasanna), qui relie une valeur spéciale d'une fonction $L$ p-adique associée à une forme modulaire nouvelle $f$ au carré de l'image d'un cycle de Heegner généralisé sous une application d'Abel-Jacobi p-adique.
Dans le cas où $f$ est de poids 2, la formule s'écrit :
$L_p(f, N_K) = (1 - a_p(f) + p^{-1})^2 (\log_{\omega_{B_f}}(P_f))^2$
où $P_f$ est un point de Heegner sur une variété abélienne $B_f$ associée à $f$ .

La question centrale :
Si le point de Heegner $P_f$ est de torsion (ce qui équivaut, via la formule Gross-Zagier, à ce que la fonction $L$ complexe $L(f/K, s)$ ait un zéro d'ordre 1 en $s=1$ ), il est naturel de se demander si son logarithme p-adique est non nul.

Pour les courbes elliptiques ( $B_f = E$ ), la réponse est affirmative car le noyau du logarithme p-adique est exactement le groupe des points de torsion.
Pour les variétés abéliennes de dimension supérieure (de type $GL_2$ ), la situation est plus subtile. Bien que Christopher Skinner ait implicitement supposé une réponse positive dans un travail antérieur, aucune preuve n'avait été fournie.

Objectif de l'article :
Établir rigoureusement que pour une variété abélienne $A$ de type $GL_2$ (associée à une forme modulaire de poids 2) et un point rationnel non de torsion $x$ , le logarithme p-adique $\log_\omega(x)$ est non nul pour toutes les composantes $\omega$ pertinentes, sous certaines hypothèses de structure.

2. Méthodologie

L'approche principale repose sur la théorie de la transcendance p-adique, et plus spécifiquement sur le théorème du sous-groupe analytique p-adique (p-adic analytic subgroup theorem).

Outils clés :

Théorème du sous-groupe analytique p-adique (Théorème 3.1 et 3.2) : Ce théorème (inspiré des travaux de Bertrand, Bertrand-Philippon, et Waldschmidt) stipule que si le logarithme p-adique d'un point rationnel $x$ appartient à un sous-espace vectoriel $W$ défini sur $\mathbb{Q}$ , alors il existe un sous-groupe algébrique commutatif $B \subset A$ défini sur $\mathbb{Q}$ tel que $x$ (ou un multiple de $x$ ) appartienne à $B$ , et dont l'espace tangent $t_B$ est contenu dans $W$ .
Analyse des corps de traces et des actions d'endomorphismes : Les auteurs étudient la structure de l'anneau d'endomorphismes $\text{End}^0(A)$ , qui contient un corps de nombres $F$ . Ils analysent comment l'action de $F$ sur l'espace tangent $t_A$ se décompose selon les plongements de $F$ dans $\mathbb{Q}$ .
Argument par l'absurde : La stratégie consiste à supposer que $\log_\omega(x) = 0$ pour un certain $\omega$ , ce qui implique que $\log_A(x)$ tombe dans un hyperplan $W = \ker(\ell_\omega)$ . Le théorème du sous-groupe analytique force alors l'existence d'une sous-variété abélienne $B$ stable par $F$ . Les auteurs montrent ensuite que l'existence de cette $B$ contredit les hypothèses structurelles sur $A$ (notamment concernant les extensions de corps de traces ou les types CM).

3. Résultats Principaux

Les auteurs établissent plusieurs théorèmes généralisant le résultat aux variétés abéliennes sur un corps de nombres $L$ avec une action d'un corps $E$ .

A. Théorème 1.1 (Cas des variétés de type $GL_2$ sur $\mathbb{Q}$ )

Soit $A/\mathbb{Q}$ une variété abélienne et $F \subset \text{End}^0_{\mathbb{Q}}(A)$ un corps tel que :

$\dim(A) = [F : \mathbb{Q}]$ ,
$F$ possède au moins un plongement réel.

Alors, pour tout point non de torsion $x \in A(\mathbb{Q})$ et pour tout $\omega \neq 0$ dans les composantes $\Omega_\sigma$ (associées aux plongements $\sigma$ de $F$ ), on a :
$\log_\omega(x) \neq 0$
Ce résultat répond positivement à la question posée dans l'introduction pour les variétés associées aux formes modulaires de poids 2.

B. Théorèmes 2.3, 2.5 et 2.6 (Cas général)

Les résultats sont étendus à des variétés abéliennes $A$ sur un corps $L$ avec une action d'un corps $E$ :

Théorème 2.3 : Si $\dim(A) = [E:\mathbb{Q}]$ et si l'action de $E$ ne s'étend pas à une action de $E \times E$ (ou si le corps de traces de cette extension n'est pas contenu dans le corps de définition du point), alors le logarithme ne s'annule pas.
Théorème 2.5 : Si $A$ admet une multiplication complexe (CM) par une extension quadratique $E'/E$ où $E'$ est un corps CM, alors le logarithme ne s'annule pas.
Théorème 2.6 : Même si les hypothèses précédentes ne sont pas remplies, il existe une sous-variété abélienne minimale $B \subset A$ contenant un multiple de $x$ . Le logarithme ne s'annule pas pour les formes différentielles non nulles sur $B$ .

C. Applications aux points de Heegner tordus (Théorème 2.8)

Les résultats sont appliqués aux points de Heegner tordus par des caractères de Hecke d'ordre fini sur des corps de CM. Cela permet de traiter des cas où la forme modulaire est associée à un corps quadratique imaginaire et où l'on considère des twists par des caractères anticyclotomiques.

D. Application à la conjecture de Birch et Swinnerton-Dyer (BSD) (Théorème 2.11)

Une conséquence arithmétique majeure est la validation de la partie $p$ -adique de la conjecture BSD pour les variétés abéliennes de type $GL_2$ de rang analytique 1.
Sous certaines conditions de réduction (sur $a_p(f)$ et l'irréductibilité de la représentation galoisienne), si le rang analytique est 1, alors :

Le rang algébrique est égal à $[F:\mathbb{Q}]$ .
Le groupe de Tate-Shafarevich est fini (localement).
La formule de la conjecture BSD (liant la dérivée de la fonction $L$ aux périodes, régulateurs et nombres de Tamagawa) est vérifiée pour la partie $\lambda$ -adique.
La preuve de ce théorème dépend crucialement de la non-annulation du logarithme p-adique établie dans cet article.

4. Contributions Clés et Signification

Résolution d'une question ouverte : L'article fournit la première preuve rigoureuse de la non-annulation du logarithme p-adique pour les points rationnels non de torsion sur les variétés abéliennes de type $GL_2$ , comblant une lacune dans la littérature (notamment dans les travaux antérieurs de Skinner).
Utilisation puissante de la transcendance p-adique : L'article démontre l'efficacité du théorème du sous-groupe analytique p-adique pour résoudre des problèmes arithmétiques concrets liés aux points rationnels, au-delà des cas classiques des courbes elliptiques.
Lien avec la conjecture BSD : En garantissant la non-annulation du logarithme, l'article valide une hypothèse critique nécessaire pour prouver la conjecture BSD pour les variétés abéliennes de rang 1. Cela renforce le lien entre les formules de Gross-Zagier, les formules BDP et la structure du groupe de Mordell-Weil.
Généralisation aux twists : Les résultats s'appliquent non seulement aux points de Heegner classiques, mais aussi à leurs twists par des caractères d'ordre fini, élargissant ainsi le champ d'application aux formes modulaires sur des corps de nombres plus généraux (corps de CM, corps totalement réels).
Conjecture de Poonen : L'article aborde également la question de la dimension du sous-groupe p-adique engendré par un ensemble de points rationnels (conjecture de Poonen), montrant que sous l'hypothèse d'une conjecture de rang structurel, la dimension est exactement $\min(\text{rang}, \dim(A))$ dans le cas de type $GL_2$ .

Conclusion

Cet article constitue une avancée significative en théorie des nombres, reliant la géométrie arithmétique (variétés abéliennes, points de Heegner), l'analyse p-adique (logarithmes, fonctions $L$ ) et la théorie de la transcendance. Il fournit les fondements techniques nécessaires pour étendre les résultats de la conjecture de Birch et Swinnerton-Dyer au-delà des courbes elliptiques vers les variétés abéliennes de type $GL_2$ .