🔢 mathematics

The Smallest Invariant Factor of Elliptic Curves, and Coincidences

En s'appuyant sur la théorie des groupes et l'image des représentations galoisiennes adéliques, cet article étudie les conditions nécessaires et suffisantes pour que la densité des nombres premiers associés à un facteur invariant minimal donné d'une courbe elliptique soit non nulle, en démontrant que cette densité s'annule uniquement en présence de coïncidences entre des corps de division abéliens.

Auteurs originaux : Alexander Milner, Jack Shotton

Publié 2026-04-24

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Alexander Milner, Jack Shotton

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 avez un jardin secret, une cour elliptique (une forme mathématique très particulière) qui vit sur le terrain des nombres rationnels. Chaque fois que vous regardez ce jardin à travers une fenêtre différente (un nombre premier $p$ ), vous voyez une population de points qui forment un groupe.

Ce groupe ressemble souvent à deux anneaux de clés enfilés l'un dans l'autre. L'auteur de l'article s'intéresse à la taille du plus petit anneau de cette paire. Appelons cette taille $j$ .

La question fondamentale est simple : Combien de fois voyons-nous ce plus petit anneau avoir une taille précise, disons $j=1$ ou $j=5$ ?

Voici une explication simplifiée de ce que Milner et Shotton ont découvert, en utilisant des analogies du quotidien.

1. Le problème : La densité des fenêtres

Les mathématiciens savent déjà (sous une hypothèse appelée "Hypothèse de Riemann Généralisée", un peu comme une règle du jeu non encore prouvée à 100 %) qu'il existe une formule pour prédire la fréquence avec laquelle le plus petit anneau a une taille $j$ . C'est comme si on avait une recette pour dire : "Sur 100 fenêtres, environ 30 montreront un anneau de taille 1".

Mais il y a un piège : parfois, cette recette donne zéro. Cela signifie que, pour certaines tailles $j$ , il est impossible de trouver une fenêtre où l'anneau a cette taille (sauf peut-être pour quelques exceptions très rares).

La question du papier est : Quand cette recette donne-t-elle zéro ? Et quand donne-t-elle un nombre positif ?

2. L'analogie des "Chevauchements Magiques" (Les Coïncidences)

Pour comprendre pourquoi la recette peut donner zéro, imaginez que votre jardin elliptique a des "champs de division". Ce sont comme des niveaux de sécurité ou des étages dans un immeuble.

Le niveau 2 est l'étage 2.
Le niveau 3 est l'étage 3.
Le niveau 6 est l'étage 6.

Normalement, l'étage 6 est plus grand et plus complexe que l'étage 2. Mais parfois, il se produit une coïncidence étrange : l'étage 2 et l'étage 6 deviennent exactement identiques ! Ils contiennent exactement les mêmes pièces, les mêmes meubles.

Si cela arrive, c'est comme si l'ascenseur était bloqué. Vous ne pouvez pas accéder à une configuration spécifique qui devrait exister à l'étage 6 mais qui est déjà "absorbée" par l'étage 2.

La découverte principale :
Les auteurs montrent que la recette donne zéro (c'est-à-dire que la taille $j$ n'apparaît jamais) uniquement lorsque de telles coïncidences magiques se produisent entre les étages.
Plus précisément, si le champ de division de taille $j$ est exactement le même que celui de taille $2j$ ou $3j$ , alors la probabilité de trouver la taille $j$ est nulle.

C'est comme si vous cherchiez une clé spécifique dans un tiroir, mais que le tiroir était scellé avec le contenu d'un tiroir voisin. La clé n'est pas là, pas parce qu'elle n'existe pas, mais parce que les deux tiroirs sont devenus un seul et même bloc.

3. La règle d'or (Le critère de positivité)

Les auteurs ont créé une nouvelle règle pour vérifier si une taille $j$ est possible ou non, sans avoir à calculer des formules compliquées.

Leur règle dit essentiellement :

"Si vous n'avez pas de coïncidence magique entre l'étage $j$ et l'étage $2j$ (ou $3j$ ), alors oui, il y aura une infinité de fenêtres où vous verrez la taille $j$ ."

Ils ont aussi affiné une ancienne règle (celle de Kim) qui disait : "C'est possible si $j$ n'a pas de facteurs communs avec certains nombres spéciaux". Les auteurs ont dit : "Pas tout à fait ! C'est possible même s'ils ont des facteurs communs, tant qu'il n'y a pas de coïncidence magique."

4. Les familles de coïncidences

L'article explore ensuite quand ces coïncidences magiques arrivent. Ils ont trouvé des familles entières de jardins elliptiques où cela se produit systématiquement.

Les coïncidences avec le 2 : Quand le niveau 2 est très "simple" (comme un champ abélien), il peut se fondre avec le niveau 4, 6, etc.
Les coïncidences avec le 3 : Même chose pour le niveau 3 et 9.

Ils soupçonnent même que ces coïncidences n'arrivent jamais avec des nombres premiers supérieurs à 3 (comme 5, 7, 11...). C'est comme si les lois de la physique de ce jardin interdisaient que l'étage 5 soit identique à l'étage 10.

En résumé

Ce papier est un guide pour savoir si un certain motif (la taille du plus petit anneau) est visible ou non dans les fenêtres des nombres premiers.

Si vous voyez une "coïncidence" (deux niveaux de sécurité identiques), alors ce motif est invisible (la probabilité est nulle).
Si aucune coïncidence n'existe, alors le motif apparaîtra une infinité de fois.

Les auteurs ont utilisé des outils de théorie des groupes (comme regarder la structure interne des anneaux de clés) pour prouver que ces coïncidences sont les seules raisons pour lesquelles un motif pourrait disparaître. C'est une réponse élégante et définitive à une question qui traînait depuis des années.

1. Problématique

Soit $E$ une courbe elliptique définie sur $\mathbb{Q}$ sans multiplication complexe (non-CM). Pour un nombre premier $p$ de bonne réduction, le groupe des points rationnels $E(\mathbb{F}_p)$ est un groupe abélien isomorphe à un produit de deux groupes cycliques :
$E(\mathbb{F}_p) \cong \mathbb{Z}/d_{E,p}\mathbb{Z} \times \mathbb{Z}/e_{E,p}\mathbb{Z}$
avec $d_{E,p} \mid e_{E,p}$ . Le terme $d_{E,p}$ est appelé le plus petit facteur invariant de $E(\mathbb{F}_p)$ .

Le problème central de l'article est de déterminer la densité des nombres premiers $p$ pour lesquels ce facteur invariant prend une valeur fixée $j$ . Sous l'hypothèse de Riemann généralisée (GRH), Cojocaru a établi que cette densité est donnée par une constante $C_{E,j}$ :
$\#\{p \le x : d_{E,p} = j\} \sim C_{E,j} \text{Li}(x)$
où
$C_{E,j} = \sum_{k=1}^{\infty} \frac{\mu(k)}{[\mathbb{Q}(E[jk]) : \mathbb{Q}]}$
( $\mu$ étant la fonction de Möbius).

La question fondamentale abordée par les auteurs est : Quand cette constante $C_{E,j}$ est-elle strictement positive ?
Une valeur positive implique (sous GRH) l'existence d'une infinité de tels nombres premiers. À l'inverse, si $C_{E,j} = 0$ , il n'y a qu'un nombre fini de tels $p$ . Les auteurs cherchent à caractériser les conditions nécessaires et suffisantes pour que $C_{E,j} > 0$ , en particulier en affinant les résultats antérieurs de Kim (2015).

2. Méthodologie

L'approche des auteurs est principalement théorique des groupes et repose sur l'analyse de l'image de la représentation galoisienne adélique associée à la courbe $E$ .

Représentations Galoisiennes : Ils utilisent la représentation adélique $\rho : \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \text{GL}_2(\widehat{\mathbb{Z}})$ et ses réductions modulo $n$ , notées $\rho_n$ . L'image de $\rho$ est notée $H$ .
Niveau Adélique ( $m_E$ ) : Ils définissent le niveau adélique $m_E$ comme le plus petit entier tel que $\Gamma_{m_E} \subset H$ , où $\Gamma_n$ est le noyau de la réduction modulo $n$ .
Analyse de la somme de Möbius : En utilisant le théorème de l'image ouverte de Serre, ils montrent que la somme définissant $C_{E,j}$ peut être réécrite en termes de l'intersection de $H$ avec des sous-groupes de congruence.
Critère d'annulation (Proposition 2.3) : Ils établissent un critère algébrique précis pour que $C_{E,j} = 0$ . Cela se produit si et seulement si l'intersection $H \cap \Gamma_j$ (modulo le niveau) est égale à l'union des intersections $H \cap \Gamma_{jp}$ pour certains premiers $p$ .
Théorème de positivité (Théorème 3.2) : Ils développent un critère suffisant pour la positivité de $C_{E,j}$ basé sur les propriétés de la restriction de la représentation au niveau cyclotomique et sur la structure du groupe dérivé.
Étude des "Coïncidences" : Ils analysent les cas où les corps de division coïncident, c'est-à-dire $\mathbb{Q}(E[j]) = \mathbb{Q}(E[jp])$ , ce qui entraîne l'annulation de la constante.

3. Contributions Clés et Résultats Principaux

A. Généralisation du résultat de Kim

Les auteurs améliorent le résultat de Kim (2015) qui affirmait que $C_{E,j} > 0$ si $j$ est premier avec le niveau adélique $m_E$ .

Théorème 1.6 : Ils prouvent que $C_{E,j} > 0$ si $j$ est premier avec $2A(E)$ (où $A(E)$ est le produit des premiers pour lesquels la représentation $p$ -adique n'est pas surjective) et si $\mathbb{Q}(E[2]) \not\subset \mathbb{Q}(E[j])$ .
Théorème 3.2 : Ils fournissent un critère plus fort et plus général qui permet de traiter des cas où $j$ et $2A(E)$ ne sont pas premiers entre eux, à condition que certaines conditions sur les intersections de corps de division et les représentations 2-adiques soient satisfaites.

B. Correction d'une erreur dans la littérature

Les auteurs identifient et corrigent une erreur subtile dans la preuve de la positivité de $C_{E,1}$ donnée par Cojocaru et Mazur ([CM04]). La preuve originale supposait à tort que certains corps de division étaient linéairement disjoints. Les auteurs rétablissent la positivité de $C_{E,1}$ (sous l'hypothèse $\mathbb{Q}(E[2]) \neq \mathbb{Q}$ ) par une analyse plus fine des sommes de Möbius (Section 5).

C. Classification des cas d'annulation (Coïncidences)

L'article propose une classification des cas où $C_{E,j} = 0$ .

Conjecture 2.6 : Pour une courbe non-CM, $C_{E,j} = 0$ si et seulement s'il existe un nombre premier $p$ tel que $\mathbb{Q}(E[j]) = \mathbb{Q}(E[jp])$ .
Conjecture 4.2 : Pour les courbes non-CM sur $\mathbb{Q}$ , de telles coïncidences ( $p$ -coïncidences) n'existent que pour $p=2$ ou $p=3$ .
Vérification computationnelle : Ils vérifient ces conjectures pour toutes les courbes elliptiques de conducteur $\le 500\,000$ dans la base de données LMFDB (Proposition 4.4).

D. Construction de familles infinies de coïncidences

Les auteurs construisent explicitement des familles infinies de courbes elliptiques présentant des coïncidences de corps de division, démontrant ainsi que $C_{E,j}$ peut s'annuler :

Torsion 2-abélienne : Utilisation de corps de division 2-abéliens (Propositions 4.5 et 4.6) pour créer des coïncidences de la forme $\mathbb{Q}(E[j]) = \mathbb{Q}(E[2j])$ .
Torsion 3-abélienne : Utilisation de corps de division 3-abéliens (Proposition 4.7) pour créer des coïncidences de la forme $\mathbb{Q}(E[j]) = \mathbb{Q}(E[3j])$ .
Exemples sporadiques : Ils documentent des exemples intéressants trouvés dans LMFDB, incluant des cas où des coïncidences surviennent pour des $j$ premiers entre eux.

4. Signification et Impact

Compréhension de la structure de $E(\mathbb{F}_p)$ : Ce travail affine considérablement notre compréhension de la distribution des facteurs invariants des groupes de points sur les courbes elliptiques. Il précise exactement quand on s'attend à trouver une infinité de premiers pour lesquels le groupe est "presque cyclique" (facteur invariant $j$ ).
Lien entre théorie des nombres et théorie des groupes : L'article illustre puissamment comment la structure des images galoisiennes (théorie des groupes) dicte les propriétés arithmétiques des courbes elliptiques (densité des nombres premiers).
Résolution de problèmes ouverts : En corrigeant l'erreur de [CM04] et en généralisant les résultats de [Kim15], les auteurs fournissent un cadre robuste pour l'étude de ces constantes de densité.
Conjectures sur les coïncidences : La conjecture selon laquelle seules les coïncidences $p=2$ et $p=3$ existent pour les courbes non-CM sur $\mathbb{Q}$ ouvre une nouvelle direction de recherche en théorie des nombres, reliant les propriétés de torsion aux extensions abéliennes.

En résumé, Milner et Shotton établissent un critère complet pour la positivité de la densité des nombres premiers avec un facteur invariant donné, reliant ce problème à la géométrie des corps de division et aux images galoisiennes, tout en fournissant des preuves computationnelles et théoriques solides pour leurs conjectures.