Szpiro : une borne plus fine pour les courbes elliptiques

Le problème, en une minute

Une même équation peut être étudiée avec des nombres rationnels, puis « réduite modulo p ». Selon le nombre premier choisi, sa géométrie reste régulière ou se dégrade. Pour une courbe elliptique, deux entiers enregistrent cette histoire : le discriminant minimal et le conducteur.

L’enjeu est de contrôler le premier à partir du second. Une liste de mauvais premiers ne raconte pas immédiatement l’intensité de chaque mauvaise réduction. Une inégalité uniforme impose une contrainte globale à cette disparité.

Une image utile est celle de deux relevés portant sur les mêmes événements : l’un enregistre une mesure de leur gravité, l’autre une information locale de ramification. Comparer les deux demande une contrainte arithmétique, au-delà de la simple liste des nombres premiers concernés.

Ce que le papier annonce

La première estimation était auparavant connue sous GRH. Ici, cette hypothèse disparaît. Voir les corollaires 1.2–1.3 et l’inégalité (1.1) du papier, version 1.

Ce qui change par rapport à la borne précédente

La nouveauté comporte deux aspects : un facteur logarithmique plus petit dans une borne valable pour toutes les courbes elliptiques sur les rationnels, et la disparition de GRH dans ce résultat. Une hypothèse auxiliaire aussi forte ne devient pas vraie : le nouvel argument permet de s’en passer.

Il faut distinguer cette portée générale des résultats valables pour des familles particulières. Une estimation plus forte sur une famille restreinte ne remplace pas automatiquement une estimation générale.

Comment lire le gain

Comparer des majorants demande de conserver la même quantité à gauche. Ici, on borne le logarithme de $\Delta$, pas $\Delta$ lui-même. Exponentier $\log\Delta\leq C N$ donne $\Delta\leq e^{CN}$ : ce n’est toujours pas une borne polynomiale en $N$.

Le passage de $N\log N$ à $N\log\log N$ est un gain multiplicatif de l’ordre de $\log N/\log\log N$. Ce rapport tend vers l’infini ; le progrès est donc asymptotiquement réel, même si les constantes ne sont pas comparées ici.

Pour visualiser la comparaison, on peut d’abord diviser les deux fonctions par $N$ : restent $\log N$ et $\log\log N$. À $N=10^6$, ces facteurs valent environ $13{,}82$ et $2{,}63$. Leur rapport est proche de $5{,}26$. Ce calcul porte sur les fonctions, sans les constantes des théorèmes : il ne signifie pas que le discriminant d’une courbe précise est cinq fois plus petit.

La figure interactive permet de faire varier l’échelle. Le vocabulaire des bornes asymptotiques est essentiel pour interpréter ce calcul.

L’idée et le raisonnement

L’argument passe par les formes modulaires et les courbes de Shimura. Le théorème principal contrôle la hauteur de Faltings par

$h(E)\ll M\varphi(D)\log\ell,$

où $N=DM$ est une factorisation admissible : $D$ est sans facteur carré, possède un nombre pair de facteurs premiers et est premier à $M$ ; le premier $\ell$ ne divise pas $N$.

Le passage clé sépare les formes selon qu’elles partagent ou non une valeur propre de Hecke avec celle de la courbe. Pour celles qui diffèrent, le coût est de taille logarithmique en $\ell$. Celles qui coïncident coûtent davantage, mais une estimation de multiplicité limite leur nombre. C’est ce compromis entre coût individuel et nombre d’exceptions qui contrôle la somme. Voir le lemme 2.1 et la fin de la section 2.

Pourquoi un petit premier suffit

Voici le raisonnement élémentaire derrière le choix de $\ell$. Si $\ell$ est le plus petit premier qui ne divise pas $N$, tous les premiers $p<\ell$ divisent $N$. Comme ils sont distincts, leur produit divise $N$. En prenant les logarithmes,

$\sum_{p<\ell}\log p\leq\log N.$

Les estimations classiques de Chebyshev donnent une minoration de cette somme par une constante positive fois $\ell$, pour $\ell$ suffisamment grand. On obtient donc $\ell\ll\log N$, en absorbant les petits cas dans la constante.

Cette étape explique comment convertir une borne en $N\log\ell$ en une borne en $N\log\log N$. Elle ne fournit pas à elle seule la majoration de la hauteur : toute la partie modulaire de l’argument intervient en amont.

La distance qui reste

Une borne de forme $\log\Delta\ll\log N$ placerait $\Delta$ à une échelle polynomiale. La nouvelle estimation ne franchit pas ce seuil. Comprendre un progrès consiste aussi à voir clairement ce qu’il laisse ouvert.

Note préparée avec assistance IA à partir des sources citées. Le périmètre de lecture est indiqué ci-dessus ; cette note ne constitue pas une validation indépendante de la démonstration. Notre méthode.