🔢 mathematics

Uniform Bounds on S-Integral Torsion Points for $\mathbb{G}_m$ and Elliptic Curves

Cet article établit des bornes uniformes sur le nombre et le degré des points de torsion $S$ -entiers par rapport à un point non torsion pour le groupe multiplicatif $\mathbb{G}_m$ et les courbes elliptiques sur des corps de nombres de degré borné.

Auteurs originaux : Jit Wu Yap

Publié 2026-01-30

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Jit Wu Yap

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 soyez un détective essayant de résoudre un mystère dans la vaste et infinie ville de la Théorie des Nombres. Dans cette ville, il existe deux types principaux de « résidents » :

Les Points de Torsion : Ce sont les résidents « parfaitement périodiques ». Pensez aux aiguilles d'une horloge ou aux racines de l'unité (des nombres qui, lorsqu'ils sont multipliés par eux-mêmes suffisamment de fois, reviennent à 1). Ils sont prévisibles, finis dans leurs cycles, et vivent dans des quartiers spécifiques et ordonnés.
Les Points Non-Torsion : Ce sont les « errants ». Ils ne répètent jamais leur motif. C'est comme une personne marchant dans la ville qui ne revient jamais exactement au même endroit.

Le Mystère :
Le document étudie une règle spécifique sur la façon dont ces deux types de résidents interagissent. Cette règle s'appelle l'S-intégralité.

Considérez la ville comme ayant quelques « districts spéciaux » (appelés S). Ce sont les seuls endroits où les résidents « parfaits » (Points de Torsion) sont autorisés à se rapprocher très près des « errants » (Points Non-Torsion). Partout ailleurs dans la ville, il existe une règle stricte de « distanciation sociale » : les résidents périodiques doivent rester loin des errants.

La grande question que l'auteur, Jit Wu Yap, pose est la suivante : Combien de ces résidents périodiques peuvent enfreindre les règles et se rapprocher d'un errant ?

La Découverte Principale : Des Bornes Uniformes

Par le passé, les mathématiciens savaient que pour n'importe quel errant unique, il n'existe qu'un nombre fini de résidents périodiques capables de s'approcher de lui. Mais ils ne savaient pas s'il existait un « plafond » universel sur le nombre de points pouvant s'approcher si l'on observait tous les errants à la fois, surtout si ces errants devenaient de plus en plus complexes (vivant dans des corps de nombres de plus en plus grands).

Le papier de Yap prouve que oui, il existe un plafond universel.

Voici la décomposition en utilisant des analogies simples :

1. Le Cas « Gm » (Le Cercle des Nombres)

Imaginez que les résidents périodiques soient des points sur un cercle parfait (comme les racines de l'unité).

Le Résultat : Si vous avez un errant qui n'est pas trop complexe (son « degré » est borné), il existe une limite stricte sur le nombre de points sur le cercle qui peuvent s'approcher de lui, peu importe où se trouve l'errant.
Le Piège : Si l'errant devient extrêmement complexe (vivant dans un corps de nombres très grand), le nombre de « contacts rapprochés » autorisés peut augmenter, mais Yap prouve qu'il augmente de manière prévisible et contrôlée. Cela n'explose pas vers l'infini.
La Règle de l'« Exception » : Yap découvre que pour chaque « district spécial » (place dans le système numérique), il peut y avoir un résident périodique spécifique qui enfreint les règles. Mais une fois que vous avez pris en compte ces quelques exceptions, le reste des résidents périodiques est strictement maintenu à distance. C'est comme dire : « Dans chaque quartier, peut-être qu'une personne peut s'approcher, mais personne d'autre ne le peut. »

2. Le Cas des Courbes Elliptiques (Les Donuts Wobblés)

Maintenant, imaginez que les résidents vivent sur une forme plus complexe appelée Courbe Elliptique (imaginez une forme de donut qui peut se tordre et tourner).

Le Résultat : La même logique s'applique. Même sur ces formes complexes, les résidents périodiques (points de torsion) ne peuvent pas entasser les errants trop près d'eux, à l'exception de quelques cas spécifiques.
Le Tour de l'Arithmétique Complexe : Pour un type spécial de donut (celui possédant une « Multiplication Complexe »), Yap prouve une règle très stricte : il existe une limite dure sur la proximité, sans qu'aucune exception ne soit nécessaire.
Le Cas Général : Pour tous les autres donuts, la règle tient, mais nous devons autoriser quelques « exceptions » supplémentaires (un petit nombre de résidents périodiques qui peuvent s'approcher). C'est parce que les mathématiques utilisées pour prouver la distance sont légèrement moins précises pour ces formes générales.

Comment l'ont-ils résolu ? (La Boîte à Outils du Détective)

Yap n'a pas seulement regardé un seul errant ; il a regardé toute la foule. Pour ce faire, il a utilisé un outil mathématique puissant appelé Équidistribution.

L'Analogie : Imaginez que vous ayez un sac de billes (les résidents périodiques). Si vous secouez le sac, les billes se répandent uniformément sur la table.
Le Problème : Habituellement, les mathématicens savent que les billes se répandent uniformément éventuellement. Mais Yap avait besoin de savoir à quelle vitesse elles se répandent et comment cette vitesse change si la table (le corps de nombres) devient plus grande.
La Solution : Il a utilisé des techniques avancées (impliquant les « espaces de Berkovich », qui sont comme une carte super détaillée du système numérique) pour mesurer exactement à quelle vitesse les billes se répandent. Il a prouvé que même lorsque la « table » devient immense, les billes se répandent toujours assez vite pour garantir qu'elles ne s'agglutinent pas trop étroitement autour de l'errant.

L'Arme Secrète des « Formes Linéaires »

Pour prouver que les résidents périodiques ne peuvent pas s'approcher trop près, Yap a utilisé une technique appelée Formes Linéaires en Logarithmes.

L'Analogie : Considérez cela comme une règle de mesure ultra-précise. Si un résident périodique essaie de s'approcher d'un errant, cette règle mesure la distance. La règle dit : « Si vous êtes aussi proche, vous devez être un type de résident très spécifique, et vous n'êtes que quelques-uns. »
La Limitation : Pour les courbes elliptiques générales, la règle n'était pas tout à fait assez tranchante pour attraper chaque fauteur de troubles, c'est pourquoi Yap a dû autoriser quelques « exceptions » (comme autoriser une personne par quartier à s'approcher). Mais pour les courbes à « Multiplication Complexe », la règle était assez tranchante pour attraper tout le monde.

Résumé des Résultats

Uniformité : Le nombre de points périodiques « enfreignant les règles » est borné. Peu importe le nombre d'errants que vous avez ou leur complexité, il existe une limite.
Exceptions : Pour les cas les plus généraux, vous devez autoriser un petit nombre d'exceptions (une par « district » ou place dans le système numérique). Si vous ignorez ces quelques exceptions, la règle tient parfaitement.
Croissance : La limite croît avec la complexité de l'errant, mais Yap montre exactement comment elle croît (polynomialement ou exponentiellement selon le cas), prouvant qu'elle reste finie.

En bref : L'article prouve que dans le monde chaotique des nombres, les nombres « parfaitement répétitifs » ne peuvent pas entasser les nombres « non-répétitifs » trop près d'eux. Il existe une loi universelle de distanciation sociale, avec seulement un nombre très petit et prévisible d'exceptions autorisées.

Résumé Technique : Bornes Uniformes sur les Points de Torsion $S$ -entiers pour $\mathbb{G}_m$ et les Courbes Elliptiques

Énoncé du Problème
L'article traite du problème de l'établissement de bornes uniformes sur le nombre et le degré des points de torsion $S$ -entiers par rapport à un point non-torsion $\beta$ . Soit $K$ un corps de nombres et $S$ un ensemble fini de places incluant toutes les places archimédiennes. Deux points $\alpha, \beta$ sont définis comme étant $S$ -entiers l'un par rapport à l'autre si leurs clôtures de Zariski dans $\mathbb{P}^1_{\mathcal{O}_K}$ ne s'intersectent pas en dehors de $S$ .

Le résultat fondamental de Baker, Ih et Rumely [BIR08] (Théorème 1.1) établit que, pour un $\beta \in K^\times \setminus \mu_\infty$ fixé, l'ensemble des racines de l'unité $\zeta$ qui sont $S$ -entières par rapport à $\beta$ est fini. L'article cherche à renforcer cela en prouvant l'uniformité : spécifiquement, si les bornes sur le degré ou l'ordre de ces points de torsion peuvent être rendues indépendantes du choix spécifique de $\beta$ , à condition que $\beta$ varie sur des corps de nombres de degré borné.

Méthodologie
La méthodologie centrale repose sur l'équidistribution quantitative des orbites galoisiennes de points de torsion. La stratégie de preuve implique :

Cadres d'Équidistribution :
- Pour le groupe multiplicatif $\mathbb{G}_m$ , l'article utilise la droite projective de Berkovich $\mathbb{P}^1_{\text{Berk}, v}$ et les théorèmes d'équidistribution quantitative de Favre–Rivera-Letelier [FR06]. Cela permet un contrôle explicite sur le taux de convergence des orbites galoisiennes vers la mesure d'équilibre (mesure de Haar sur le cercle unité pour les places archimédiennes, et masse delta au point de Gauss pour les places non-archimédiennes) à mesure que le corps de base varie.
- Pour les courbes elliptiques $E$ , l'article adapte les résultats de Baker–Petsche [BP05] et Petsche [Pet09]. Il construit des estimations quantitatives analogues pour la convergence des orbites de torsion vers la mesure canonique sur l'analytification de Berkovich $E^{\text{an}}_v$ (mesure de Haar pour les cas archimédiens, mesure de squelette pour les cas non-archimédiens).
Formes Linéaires de Logarithmes :
Pour traiter l'aspect « uniformité » (bornage de la distance entre un point de torsion et un $\beta$ variable), l'article emploie des minorations pour les formes linéaires de logarithmes.
- Pour $\mathbb{G}_m$ , il utilise les bornes de Laurent, Mignotte et Nesterenko [LMN95].
- Pour les courbes elliptiques, il utilise les résultats de David–Hirata-Kohno [DH09] pour le cas général et d'Ably–Gaudron [AG03] pour le cas de multiplication complexe (CM).
- Une étape technique critique consiste à borner le terme $\lambda_v(x - \beta)$ (la hauteur locale) en fonction de la taille de l'orbite galoisienne $|F|$ et de la hauteur $h(\beta)$ . L'article note que les bornes générales pour les courbes elliptiques contiennent un facteur supplémentaire $\log^+ h(\beta)$ , ce qui fait obstacle à une borne uniforme directe, nécessitant l'admission d'un nombre fini d'orbites exceptionnelles.
Arguments de Discrétisation :
Pour les places non-archimédiennes, l'article exploite la discrétisation des points de torsion dans les classes de résidus. Il montre que pour un $\beta$ fixé, seul un nombre borné de points de torsion peut être « trop proche » de $\beta$ dans la métrique $v$ -adique, permettant aux auteurs d'exclure un petit ensemble d'exceptions pour obtenir des bornes polynomiales.

Contributions Clés et Résultats

1. Pour le Groupe Multiplicatif ( $\mathbb{G}_m$ ) :

Théorème 1.2 : Établit une borne uniforme sur le degré d'une racine de l'unité $\zeta$ qui est $S$ -entière par rapport à un point non-torsion $\beta$ , où $\beta$ varie sur des corps de nombres de degré $\le D$ . Spécifiquement, il existe une constante $C = C([K:\mathbb{Q}], S)$ telle que $\deg_{\mathbb{Q}}(\zeta) < C$ .
Théorème 1.3 : Fournit un résultat plus fort permettant un nombre fini d'exceptions. Pour tout $\beta$ , l'ensemble des racines de l'unité $S$ -entières dont le degré dépasse une borne polynomiale en $|S|$ et $[K:\mathbb{Q}]$ consiste au plus en $|S_{\text{fin}}|$ orbites galoisiennes. La borne croît polynomialement avec le degré du corps, bien que la preuve générale produise une borne exponentielle ; la borne polynomiale est obtenue en autorisant des exceptions.

2. Pour les Courbes Elliptiques ( $E$ ) :

Théorème 1.4 (Cas CM) : Pour une courbe elliptique possédant une multiplication complexe (CM), l'article prouve une borne uniforme sur le degré d'un point de torsion $z$ qui est $S$ -entier par rapport à un non-torsion $\beta$ . L'hypothèse CM est cruciale ici car elle permet de supprimer le facteur $\log^+ h(\beta)$ dans les formes linéaires de logarithmes elliptiques, permettant ainsi un résultat sans exceptions.
Théorème 1.5 (Cas Général) : Pour une courbe elliptique semi-stable $E$ (sans l'hypothèse CM), l'article prouve une borne uniforme qui est valable pour tout, sauf un nombre fini d'orbites galoisiennes. Spécifiquement, l'ensemble des points de torsion $S$ -entiers dont le degré dépasse une borne impliquant $|S|^3 [L:K]^{11}$ est l'union d'au plus $|S|$ orbites galoisiennes. Les exceptions surviennent car les bornes générales sur les formes linéaires de logarithmes elliptiques incluent un facteur $\log^+ h(\beta)$ , et les estimations archimédiennes ne sont pas assez fortes pour exclure toutes les exceptions sans cette concession.

Signification et Revendications

L'article affirme étendre les résultats de finitude de Baker, Ih et Rumery [BIR08] vers le domaine de l'uniformité. Alors que [BIR08] a prouvé la finitude pour un $\beta$ fixé, ce travail démontre que les bornes sur les points de torsion dépendent uniquement du degré du corps contenant $\beta$ et de l'ensemble $S$ , plutôt que des propriétés arithmétiques spécifiques de $\beta$ lui-même.

Les auteurs notent que leur preuve pour $\mathbb{G}_m$ (Théorème 1.2) fournit une borne supérieure croissant exponentiellement avec le degré $[K:\mathbb{Q}]$ , alors qu'une croissance polynomiale est attendue selon les constructions de Boyd. Ils précisent qu'une borne polynomiale est réalisable (Théorème 1.3) uniquement si l'on autorise un petit ensemble explicitement borné d'orbites galoisiennes exceptionnelles.

Pour les courbes elliptiques, l'article souligne la nécessité technique de l'hypothèse de Multiplication Complexe pour le Théorème 1.4 afin d'éviter les exceptions, attribuant cela aux limitations actuelles des formes linéaires de logarithmes elliptiques pour les courbes non-CM. Les résultats pour les courbes elliptiques générales (Théorème 1.5) sont présentés comme les meilleures bornes uniformes possibles selon les connaissances actuelles, nécessitant l'exclusion d'un nombre fini d'orbites pour surmonter les facteurs de hauteur logarithmique dans les théorèmes sous-jacents d'approximation diophantienne.

L'article conclut en situant ces résultats dans le contexte plus large de la conjecture d'Ih concernant la finitude des points prépériodiques $S$ -entiers pour les applications rationnelles, suggérant que les méthodes développées ici, combinées aux théorèmes d'équidistribution, pourraient être étendues aux modules de Drinfeld et potentiellement à la conjecture générale.