🔢 mathematics

Number of $K$ -rational points with given $j$ -invariant on modular curves

Cet article propose une méthode pour calculer le nombre de points rationnels d'une courbe modulaire ayant un invariant $j$ donné, permettant ainsi de déterminer les nombres possibles d'isogénies cycliques ou de points sur certaines courbes de Cartan, ainsi que d'identifier les points de CM rationnels.

Auteurs originaux : Ivan Novak

Publié 2026-03-04

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Ivan Novak

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 Voyage : Cartographier les Îles Magiques

Imaginez que les courbes modulaires sont de gigantesques archipels d'îles flottantes dans l'espace mathématique. Chaque île représente une collection de formes géométriques spéciales (des courbes elliptiques).

Sur ces îles, il y a des points. Certains points sont "rationnels", ce qui signifie qu'ils sont visibles et accessibles depuis un pays spécifique appelé K (un "corps de nombres", comme les nombres rationnels ou des extensions un peu plus complexes).

Le but de l'article est de répondre à une question très précise :

"Si je me place sur une île et que je regarde un point particulier (défini par son 'j-invariant', qui est comme une empreinte digitale unique), combien de points rationnels puis-je voir autour de lui ?"

🔑 La Clé : Les Isogénies (Les Ponts Magiques)

Pour comprendre le cœur du problème, il faut imaginer des ponts qui relient les îles entre elles. En mathématiques, ces ponts s'appellent des isogénies.

Une isogénie cyclique d'ordre n est comme un pont qui relie une île à une autre en traversant exactement $n$ étapes.
L'auteur veut savoir : "Si je construis un pont de longueur $n$ , combien de ces ponts différents puis-je construire à partir d'une même île, en restant dans mon pays K ?"

Le Cas Simple : Les Ponts de Longueur Première

Si la longueur du pont est un nombre premier (comme 3, 5, 7), la règle est simple. C'est comme si vous aviez un groupe de gardiens. Si trois gardiens décident de rester sur place, alors tous les gardiens restent sur place.

Résultat : Soit vous avez 0 pont, soit 1, soit 2, soit tous les ponts possibles ( $p+1$ ). C'est une règle rigide et prévisible.

Le Cas Complexe : Les Ponts de Longueur Composée

C'est là que l'article devient passionnant. Si la longueur du pont est un nombre composé (comme $4, 8, 9, 16$), la magie change.

Imaginez que vous avez un pont de longueur 4. Vous pourriez avoir 0 pont, 1 pont, 2 ponts, 4 ponts, ou même un nombre bizarre comme $4 + 2 = 6$ ponts.
La découverte majeure de Novak : Il a dressé la liste complète de tous les nombres possibles. Il a prouvé que pour n'importe quelle longueur $n$ , il existe une "boîte à outils" de nombres possibles. Vous ne pouvez pas avoir n'importe quel nombre de ponts, seulement ceux qui sont dans sa liste.

L'analogie du Lego :
Imaginez que vous essayez de construire des tours de Lego de hauteur $n$ .

Si $n$ est premier, vous ne pouvez faire que des tours très spécifiques (très courtes ou très hautes).

Si $n$ est composé, vous pouvez faire des tours de hauteurs intermédiaires, mais il y a des règles strictes sur les combinaisons possibles. Novak a trouvé la liste exacte de toutes les hauteurs de tours que vous pouvez construire.

🕵️‍♂️ L'Enquête : Les Points CM (Les Points "Spéciaux")

Certaines îles sont encore plus spéciales. Elles sont habitées par des courbes qui ont une symétrie particulière, appelées courbes à Multiplication Complexe (CM). C'est comme si ces îles avaient un aimant puissant qui attire des points d'une manière très particulière.

L'auteur a aussi créé un algorithme (une recette de cuisine mathématique) très simple.

Le problème : Compter ces points spéciaux sur n'importe quelle île est habituellement très difficile, comme essayer de compter les étoiles dans une tempête.
La solution de Novak : Il a combiné des connaissances anciennes avec ses nouvelles découvertes pour créer une machine automatique. Si vous lui donnez l'empreinte digitale (le $j$ -invariant) d'une courbe CM, il vous dit instantanément combien de points rationnels existent sur n'importe quelle courbe modulaire.
C'est comme passer d'une recherche manuelle de trésor avec une vieille carte à l'utilisation d'un GPS précis.

🎯 Pourquoi est-ce important ?

Pour les cryptographes : Les ponts (isogénies) sont utilisés pour sécuriser les communications futures (cryptographie post-quantique). Savoir exactement combien de ponts existent aide à évaluer la sécurité.
Pour les mathématiciens : Cela résout des énigmes anciennes. Par exemple, on savait déjà combien de ponts il y avait pour les nombres premiers. Novak a résolu le casse-tête pour les nombres complexes (puissances de nombres premiers).
La Conjecture de Serre : C'est une théorie célèbre qui dit que la plupart des courbes elliptiques sont "très libres". Les travaux sur les sous-groupes de Cartan (des structures géométriques très spécifiques mentionnées dans le texte) aident à vérifier si cette théorie tient toujours bon.

🏁 En Résumé

Ivan Novak a écrit un guide de voyage pour les mathématiciens.

Il a dit : "Si vous cherchez des ponts de longueur $n$ , voici exactement tous les nombres de ponts que vous pouvez trouver."
Il a dit : "Si vous cherchez des points spéciaux (CM) sur une île, voici la recette pour les compter instantanément."

C'est un travail de "comptabilité pure" : il ne s'intéresse pas à quelle île spécifique on visite, mais à combien de points on peut y trouver, peu importe le pays (le corps de nombres) d'où l'on vient. C'est une victoire de la logique et de la structure sur le chaos.

1. Problématique et Contexte

L'article s'attaque à un problème fondamental en théorie des nombres et en géométrie arithmétique : déterminer le nombre de points rationnels sur une courbe modulaire $X_H$ définie sur un corps de nombres $K$ , ayant un invariant $j$ fixé ( $j_0 \in K$ ).

Plus précisément, l'auteur cherche à classifier les cardinaux possibles des ensembles :
$\{x \in X_H(K) \mid j(x) = j_0\}$
où $H$ est un sous-groupe de $GL_2(\mathbb{Z}/N\mathbb{Z})$ et $X_H$ la courbe modulaire associée.

Ce problème a des implications directes sur la classification des isogénies d'elliptiques. Par exemple, le nombre de points sur $X_0(n)(K)$ avec un $j$ donné correspond au nombre d'isogénies cycliques de degré $n$ définies sur $K$ pour une courbe elliptique ayant cet invariant $j$ . Bien que le cas des points rationnels ( $d=1$ ) sur $X_0(n)$ soit bien compris (théorèmes de Mazur et Kenku), la classification des points de degré supérieur ou le comptage pour des $j$ spécifiques reste complexe, notamment en présence de points à multiplication complexe (CM).

2. Méthodologie

La démarche de l'auteur est essentiellement théorique de groupe et combinatoire, évitant de se restreindre à des corps de nombres ou des courbes elliptiques spécifiques pour chaque cas.

Modélisation Galoisienne : L'auteur utilise la représentation de Galois modulaire $\rho_{E,N} : G_K \to GL_2(\mathbb{Z}/N\mathbb{Z})$ . Un point sur $X_H$ est $K$ -rationnel si et seulement si l'image de la représentation de Galois (conjugée par un changement de base) est contenue dans un certain ensemble défini par $H$ et le groupe d'automorphismes de la courbe $E$ .
Comptage par Double Classes : Le nombre de points rationnels est exprimé comme un comptage de classes doubles ou de cosets dans $GL_2(\mathbb{Z}/N\mathbb{Z})$ . Plus précisément, le nombre de points est donné par :
$\frac{\#\{g \in GL_2(\mathbb{Z}/N\mathbb{Z}) \mid gRg^{-1} \subseteq H \cdot A\}}{\#(H \cdot A)}$
où $R$ est l'image de Galois et $A$ l'image des automorphismes.
Analyse des Sous-groupes : Pour des niveaux $N = p^k$ (puissances de nombres premiers), l'auteur analyse la structure des sous-groupes de $GL_2(\mathbb{Z}/p^k\mathbb{Z})$ et leurs actions sur les sous-groupes cycliques d'ordre $p^k$ . Il distingue les cas où les solutions sont de « type A » (liées aux générateurs de la forme $(x, 1)$ ) et de « type B » (liées aux générateurs de la forme $(1, y)$ avec $p|y$ ).
Algorithmes pour les points CM : En section 5, l'article combine les résultats de Lozano-Robledo sur les images de Galois des courbes CM avec la méthode de comptage précédente pour créer un algorithme déterministe.

3. Contributions Clés et Résultats Principaux

A. Nombre d'isogénies cycliques ( $X_0(p^k)$ )

L'auteur détermine exhaustivement les nombres possibles d'isogénies cycliques de degré $p^k$ définies sur un corps de nombres $K$ .

Cas $p$ impair : Pour un nombre premier impair $p$ et $k \ge 1$ , le nombre d'isogénies $p^k$ -isogénies appartient à l'ensemble :
$\{0\} \cup \{p^j \mid 0 \le j < k\} \cup \{2p^j \mid 0 \le j < k\} \cup \{p^k + p^{k-1}\}$
Chaque valeur de cet ensemble est réalisable pour un certain corps $K$ et une courbe $E$ .
Cas $p=2$ : Pour $k > 1$ , les valeurs possibles sont :
$\{0\} \cup \{2^m \mid 1 \le m \le k\} \cup \{2^k + 2^{k-1}\}$
Généralisation : Ces résultats sont étendus à tout entier $n$ via le théorème chinois (Corollaire 3.7).
Propriété de rigidité : Contrairement au cas $k=1$ où fixer 3 isogénies implique l'existence de toutes les $p+1$ isogénies, ce phénomène ne se généralise pas directement pour $k > 1$ . Cependant, l'auteur prouve (Proposition 3.10) que si une matrice dans $PGL_2(\mathbb{Z}/p^k\mathbb{Z})$ fixe trois points dont les réductions modulo $p$ sont distinctes, alors elle fixe tous les points.

B. Courbes de Cartan et Normalisateurs

L'article étend l'analyse aux courbes modulaires associées aux sous-groupes de Cartan (déployés et non déployés) et à leurs normalisateurs, notés $X_s(p^k)$ , $X_{ns}(p^k)$ et leurs normalisateurs.

Pour les sous-groupes de Cartan déployés $C_s(p^k)$ , les nombres possibles de points sont $\{0, p^{2k} + p^{2k-1}\} \cup \{2p^{2j} \mid 0 \le j < k\}$ .
Pour les normalisateurs $N_s(p^k)$ et $N_{ns}(p^k)$ , les ensembles de valeurs possibles sont plus complexes et dépendent de la congruence de $p$ modulo 4 et 8, incluant des termes comme $\frac{p^k + p^{k-1}}{2} + 1$ ou des valeurs spécifiques pour $p=3$ .

C. Algorithme pour les points CM rationnels

L'auteur propose un algorithme simple et efficace pour calculer le nombre de points CM rationnels sur n'importe quelle courbe modulaire $X_H$ .

Entrée : Un invariant $j$ (associé à un ordre quadratique imaginaire), le niveau $N$ et le sous-groupe $H$ .
Processus : Utilisation des résultats de Lozano-Robledo pour déterminer l'image de Galois maximale $N_{\delta, \phi}(N)$ et le groupe d'automorphismes $A$ . Le comptage se fait ensuite via l'analyse des double classes $HgA$.
Implémentation : Un code est disponible sur GitHub et est démontré être significativement plus rapide que les méthodes précédentes (basées sur le calcul de préimages de l'application $j$ ) pour des exemples comme $X_0(88)$ .

4. Signification et Impact

Complétude Théorique : Ce travail fournit une classification complète des nombres possibles d'isogénies pour les puissances de nombres premiers, comblant un vide dans la littérature qui se concentrait souvent sur le cas $k=1$ ou sur des classifications partielles.
Outils pour la Conjecture de Serre : L'analyse des images de Galois pour les courbes CM et les sous-groupes de Cartan est directement pertinente pour la conjecture d'uniformité de Serre. La compréhension fine de ces groupes aide à identifier les exceptions potentielles où l'image de Galois n'est pas surjective.
Efficacité Computationnelle : L'algorithme proposé pour les points CM offre une alternative rapide aux méthodes de géométrie algébrique lourdes (calcul de polynômes modulaires et résolution de systèmes), facilitant les recherches expérimentales en théorie des nombres.
Approche Unifiée : En traitant le problème sous un angle purement group-théorique, l'article unifie la compréhension des points rationnels sur diverses familles de courbes modulaires, indépendamment du corps de base spécifique, tant que l'image de Galois est connue.

En résumé, cet article établit un cadre rigoureux pour le comptage des points rationnels sur les courbes modulaires avec un invariant $j$ fixé, en fournissant des formules exactes pour les puissances de nombres premiers et un algorithme pratique pour les cas CM.