🔢 mathematics

The Relative Manin-Mumford Conjecture

Cet article démontre la conjecture de Manin-Mumford relative pour les familles de variétés abéliennes en caractéristique 0 en adaptant la méthode de Pila-Zannier avec de nouvelles inégalités de hauteur et des résultats sur les lieux de dégénérescence, tout en fournissant une nouvelle preuve de la conjecture de Manin-Mumford uniforme pour les courbes qui évite les techniques d'équidistribution.

Auteurs originaux : Ziyang Gao, Philipp Habegger

Publié 2026-07-30

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Ziyang Gao, Philipp Habegger

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 vous trouviez dans une vaste bibliothèque invisible où chaque livre représente un type différent de forme mathématique. Certains livres décrivent des boucles simples, tandis que d'autres décrivent des donuts multidimensionnels complexes qui se tordent et tournent d'une manière que nos yeux ne peuvent voir. C'est le monde de la théorie des nombres et de la géométrie, un domaine où les mathématiciens tentent de trouver des motifs cachés dans la façon dont les nombres et les formes interagissent. L'un des puzzles les plus célèbres de cette bibliothèque consiste à déterminer où vivent les points « spéciaux ». Considérez ces points spéciaux comme les « tickets d'or » cachés à l'intérieur d'une chocolaterie. Dans le monde de ces formes, les tickets d'or sont appelés points de torsion. Ce sont des endroits sur une forme qui, si vous continuez à les ajouter à eux-mêmes encore et encore, finissent par vous ramener au tout début (le point zéro).

Pendant longtemps, les mathématiciens se sont demandé : si vous prenez un chemin spécifique ou une forme plus petite dessinée à l'intérieur de l'un de ces donuts géants, sera-t-elle couverte de ces tickets d'or ? Ou bien les tickets sont-ils dispersés si finement que vous n'en trouveriez jamais assez pour former un motif ? La réponse dépend de la façon dont le chemin est « torsadé » par rapport au donut lui-même. Si le chemin est trop simple, il pourrait ne toucher que quelques tickets. Mais si le chemin est suffisamment complexe, il pourrait être couvert de ceux-ci. Cette question est connue sous le nom de conjecture de Manin–Mumford. C'est comme demander si une route spécifique dans une ville est pavée de pièces d'or ou de seulement quelques pièces éparpillées. Résoudre cela aide à comprendre les règles profondes et cachées qui régissent la façon dont les nombres et les formes s'assemblent, ce qui est crucial pour tout, de la cryptographie à la compréhension de la structure fondamentale de l'univers.

Maintenant, imaginez que vous ayez toute une famille de ces donuts, pas seulement un. Peut-être que les donuts changent légèrement de forme à mesure que vous avancez le long d'une route, devenant plus grands ou se tordant différemment. C'est ce que les mathématiciens appellent une « famille de variétés abéliennes » (plus précisément, un schéma abélien). La grande question devient : si vous dessinez un chemin à travers toute cette famille de donuts changeants, ce chemin sera-t-il couvert de tickets d'or ? C'est la conjecture de Manin–Mumford relative, et c'est un puzzle beaucoup plus difficile car les « donuts » ne sont pas statiques ; ils sont en mouvement.

Dans cet article, Ziyang Gao et Philipp Habegger résolvent enfin ce puzzle pour les familles de variétés abéliennes (schémas abéliens) en caractéristique 0 (qui est le monde mathématique standard dans lequel nous travaillons habituellement). Ils prouvent une direction cruciale : si votre chemin est « de densité zariskienne » (une façon sophistiquée de dire qu'il n'est pas coincé dans un coin minuscule et ennuyeux et qu'il explore réellement tout l'espace) ET qu'il est couvert de tickets d'or, alors le chemin doit être au moins aussi complexe que les donuts eux-mêmes. En d'autres termes, vous ne pouvez pas avoir un chemin simple qui soit couvert d'assez de tickets pour être intéressant ; la complexité est une condition nécessaire pour être couvert.

Les auteurs n'ont pas seulement deviné cela ; ils l'ont prouvé avec une certitude absolue en utilisant un mélange ingénieux d'outils. Ils ont utilisé une méthode appelée méthode de Pila–Zannier, qui est comme un détecteur de métaux de haute technologie. Ce détecteur aide à trouver des points rationnels (les tickets d'or) en les comptant de manière très spécifique et organisée. Ils ont également utilisé quelque chose appelé la carte de Betti, qui agit comme un système de coordonnées ou un GPS pour ces formes. Imaginez la carte de Betti comme un moyen de traduire la forme complexe et torsadée d'un donut en une grille de nombres simple et plate. En regardant comment le chemin se déplace sur cette grille plate, ils pouvaient voir s'il était « dégénéré » (coincé dans un motif spécifique) ou « non dégénéré » (se déplaçant librement).

Une partie clé de leur preuve impliquait de vérifier deux scénarios. Premièrement, ils ont examiné si le chemin était « dégénéré », c'est-à-dire s'il était coincé dans un motif spécifique et ennuyeux qui le rendrait facile à compter. Si le chemin était dégénéré, la preuve était directe. Mais si le chemin n'était pas dégénéré, ils ont dû utiliser un outil puissant appelé inégalité de hauteur. Considérez la « hauteur » comme une mesure de la complexité d'un nombre. Les auteurs ont montré que si le chemin n'est pas dégénéré, la « hauteur » des nombres impliqués est bornée, ce qui limite le nombre de tickets d'or pouvant exister. Ils ont combiné cela avec un théorème sur le comportement de ces formes (le théorème d'Ax–Schanuel) pour montrer que si le chemin est suffisamment complexe, il doit être couvert de tickets.

L'un des résultats les plus passionnants de cet article est qu'il prouve également une « conjecture de Manin–Mumford uniforme » pour les courbes. Cela signifie qu'ils ont trouvé une règle qui stipule que : pour toute courbe d'une certaine complexité (genre $g$ ), il existe un nombre spécifique $c$ (qui dépend uniquement de $g$ ) tel que la courbe n'aura jamais plus de $c$ tickets d'or, peu importe la façon dont vous la dessinez. C'est une avancée majeure car cela signifie que le nombre de ces points spéciaux est limité et prévisible, plutôt que de croître indéfiniment.

Les auteurs ont également abordé une question délicate : est-ce que l'inverse est vrai ? Si un chemin est suffisamment complexe, doit-il nécessairement être couvert de tickets d'or ? Ils ont prouvé que la réponse est « pas toujours ». Ils ont trouvé une condition spécifique impliquant le « rang de Betti » (une mesure de la façon dont le chemin se tord sur la grille plate) qui doit être remplie pour que le chemin soit entièrement couvert. Si cette condition n'est pas remplie, même un chemin complexe pourrait manquer les tickets d'or. Cela montre que la relation entre la complexité et les tickets d'or est subtile et précise : bien que la complexité soit requise pour être couvert, elle n'est pas toujours suffisante en soi.

En bref, Gao et Habegger ont construit une carte complète de l'endroit où se trouvent ces tickets d'or dans les familles de variétés abéliennes. Ils ont montré que vous ne pouvez pas avoir un chemin qui soit à la fois simple et couvert de tickets, et ils ont donné une règle précise pour savoir quand un chemin complexe sera couvert. Leur travail ne se contente pas de résoudre un puzzle ; il fournit un nouvel outil puissant aux mathématiciens pour explorer la géométrie cachée des nombres, prouvant que même dans les recoins les plus abstraits des mathématiques, il existe des règles strictes et magnifiques qui régissent l'endroit où la magie opère.

Résumé technique : La conjecture de Manin–Mumford relative

Énoncé du problème
Cet article traite de la conjecture de Manin–Mumford relative pour les variétés abéliennes en famille dans le cas de la caractéristique 0. Soit $S$ une variété quasi-projective, régulière et irréductible sur un corps algébriquement clos $L$ de caractéristique 0, et soit $\pi: A \to S$ un schéma abélien de dimension relative $g \ge 1$ . Soit $A_{tor}$ l'union des points de torsion dans les fibres de $A$ . La conjecture pose que si $X$ est une sous-variété irréductible de $A$ telle que l'union de ses translatés par des points de torsion, $Z_X = \bigcup_{N \in \mathbb{Z}} [N]X$ , est dense dans $A au sens de Zariski, et si l'ensemble des points de torsion $X(L) \cap A_{tor}$ est dense dans $X$ au sens de Zariski, alors la dimension de $X$ doit satisfaire $\dim X \ge g$ .

L'article étudie également la réciproque : sous les mêmes hypothèses de densité sur $Z_X$ , si $\dim X \ge g$ , est-ce que $X(L) \cap A_{tor}$ est nécessairement dense dans $X au sens de Zariski ? Les auteurs fournissent un critère pour cette densité impliquant le « rang de Betti » de $X$ .

Méthodologie
Les auteurs utilisent la méthode Pila–Zannier, une stratégie pour résoudre les problèmes de points spéciaux en géométrie diophantienne, adaptée au cadre des schémas abéliens. La stratégie de preuve est divisée en quatre étapes principales, s'appuyant fortement sur la carte de Betti introduite par Masser et Zannier :

Grands orbites galoisiennes : Les auteurs établissent une borne inférieure sur la taille des orbites galoisiennes des points de torsion. Cela repose sur une inégalité de hauteur (Théorème B.1 dans [DGH21]) prouvée par les auteurs et Dimitrov, qui limite la hauteur de la variété abélienne elle-même, combinée à des estimations quantitatives d'isogénie (spécifiquement le raffinement de Rémond de Masser–Wüstholz).
Comptage de points dans les structures o-minimal : Les points de torsion sont codés comme des points rationnels dans un ensemble définissable dans la structure o-minimale $\mathbb{R}_{an,exp}$ . Les auteurs utilisent une variante semi-rationnelle du théorème de comptage de Pila–Wilkie (due à Habegger et Pila) pour compter ces points.
Transcendance fonctionnelle : Les auteurs appliquent le théorème d'Ax–Schanuel mixte pour la variété abélienne universelle (prouvé par le premier auteur dans [Gao20b]). Cette étape implique l'analyse du « lieu de dégénérescence » de la sous-variété $X$ .
Analyse des lieux de dégénérescence : Une innovation cruciale est l'étude détaillée des lieux de dégénérescence $X^{deg}(t)$ $X^{d e g} (t)$ , définis comme l'union des sous-variétés où la dimension de la clôture bi-algébrique chute par rapport à la base. Les auteurs distinguent deux cas :
- Si le 0-ième lieu de dégénérescence n'est pas dense au sens de Zariski, l'inégalité de hauteur s'applique, permettant à la méthode Pila–Zannier de procéder.
- Si le 0-ième lieu de dégénérescence est dense, les auteurs montrent que le 1-er lieu de dégénérescence est également dense, ce qui implique directement la conjecture via les propriétés connues du rang de Betti.

Contributions clés et résultats

Preuve de la conjecture de Manin–Mumford relative (Théorème 1.1) : L'article prouve que pour toute sous-variété irréductible $X \subseteq A$ où $Z_X$ est dense dans $A$ au sens de Zariski, si $X(L) \cap A_{tor}$ est dense dans $X$ au sens de Zariski, alors $\dim X \ge g$ . Ce résultat est valable pour tout corps algébriquement clos $L$ de caractéristique 0.
Manin–Mumford uniforme pour les courbes (Corollaire 1.2) : En tant que corollaire, les auteurs fournissent une nouvelle preuve de la conjecture de Manin–Mumford uniforme pour les courbes plongées dans leurs jacobiennes. Ils établissent que pour une courbe de genre $g \ge 2$ , le nombre de points de torsion dans l'image de l'application d'Abel–Jacobi est borné par une constante $c(g)$ dépendant uniquement du genre. Notamment, cette preuve ne repose pas sur des résultats d'équidistribution, ce qui la distingue des preuves antérieures de Kühne.
Critère pour la densité de torsion (Théorème 1.3) : Les auteurs prouvent un critère pour la densité de Zariski des points de torsion dans $X$ . Spécifiquement, si $Z_X$ est dense dans $A$ au sens de Zariski, alors $X(L) \cap A_{tor}$ est dense dans $X$ au sens de Zariski si et seulement si le rang de Betti générique de $X$ est égal à $2g$ . Ce résultat clarifie que la réciproque de la conjecture principale est fausse en général, car il existe des cas où $\dim X \ge g$ mais le rang de Betti est inférieur à $2g$ .
Réduction de $\mathbb{C}$ à $\mathbb{Q}$ : L'article détaille un argument de spécialisation (inspiré par Masser et raffiné par Barroero et Dill) pour étendre les résultats du cas où le corps de base est $\mathbb{Q}$ à des corps algébriquement clos arbitraires de caractéristique 0. La preuve pour $L=\mathbb{Q}$ est établie en premier (Sections 1–7), puis étendue via une induction sur le degré de transcendance du corps sur $\mathbb{Q}$ .

Signification
L'article prétend résoudre la conjecture de Manin–Mumford relative dans toute sa généralité pour les schémas abéliens sur caractéristique 0. Sa signification réside dans :

Unification : Il unifie les résultats partiels précédents pour les courbes, les surfaces et des familles spécifiques de courbes elliptiques en un seul théorème pour des schémas abéliens arbitraires.
Raffinement méthodologique : Il introduit une application raffinée de la méthode Pila–Zannier qui évite l'utilisation de théorèmes d'équidistribution, en s'appuyant plutôt sur une analyse minutieuse des lieux de dégénérescence et de l'inégalité de hauteur.
Nouveaux outils : Il exploite le théorème d'Ax–Schanuel mixte et l'étude des lieux de dégénérescence pour traiter les cas « dégénérés » avec lesquels les approches précédentes auraient pu éprouver des difficultés.
Clarification de la réciproque : En fournissant le critère du rang de Betti, l'article clarifie les conditions géométriques précises sous lesquelles les points de torsion sont denses, montant que la dimension seule est insuffisante sans la condition de non-dégénérescence (rang de Betti $2g$ ).

Ce travail construit sur et synthétise les techniques de Masser, Zannier, Pila, Wilkie et les travaux antérieurs des auteurs sur les inégalités de hauteur et les cartes de Betti, offrant une solution complète à un problème central de la géométrie diophantienne.

Articles similaires