🔢 mathematics

The Lang-Trotter conjecture on average for genus-$2$ curves with $S_3$ reduced automorphism group

Cet article étend la conjecture de Lang-Trotter aux courbes de genre 2 possédant un groupe d'automorphismes réduit isomorphe à $S_3$ en démontrant une estimation moyenne analogue pour la famille de courbes $C_{\lambda}$ .

Auteurs originaux : Chihiro Ando, Shushi Harashita

Publié 2026-04-02

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Chihiro Ando, Shushi Harashita

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 êtes un explorateur mathématique naviguant dans un océan infini de nombres. Votre mission ? Comprendre comment certaines formes géométriques très spéciales, appelées courbes de genre 2, se comportent lorsqu'on les observe à travers des "loupes" différentes, appelées nombres premiers.

Voici l'histoire de cette découverte, racontée simplement :

1. Le décor : Des courbes et des loupes

Dans le monde des mathématiques, il existe des courbes (des lignes dessinées dans l'espace). Certaines sont simples, comme un cercle (c'est une courbe de genre 1, ou courbe elliptique). D'autres sont plus complexes, avec deux "trous" ou boucles : ce sont les courbes de genre 2.

Les mathématiciens aiment étudier ces courbes en utilisant des nombres premiers (2, 3, 5, 7, 11...) comme des filtres. Quand on applique un filtre (un nombre premier $p$ ), la courbe change d'apparence. Parfois, elle devient "superspéciale". C'est un état très rare et spécial, un peu comme si la courbe devenait un cristal parfait sous la lumière de ce nombre premier.

2. Le mystère : La conjecture de Lang-Trotter

Il y a longtemps, deux mathématiciens, Lang et Trotter, ont posé une question sur les courbes simples (genre 1) : "Si je regarde un nombre infini de courbes différentes, combien de fois vais-je trouver ce cristal parfait (superspécial) ?"

Ils ont conjecturé que le nombre de ces cristaux augmente lentement, comme la racine carrée d'un nombre, divisée par son logarithme. C'est une prédiction très précise, mais difficile à prouver pour une seule courbe.

Cependant, une autre équipe (Fouvry et Murty) a eu une idée brillante : "Au lieu de chercher un cristal dans une seule courbe, regardons une foule de courbes. Si on fait la moyenne sur toutes ces courbes, le résultat devient beaucoup plus clair et prévisible." C'est ce qu'on appelle la conjecture de Lang-Trotter "en moyenne".

3. La mission de Chihiro Ando et Shushi Harashita

Dans cet article, les auteurs étendent cette idée aux courbes plus complexes (genre 2). Ils se concentrent sur une famille spécifique de courbes, définies par une équation avec un paramètre $\lambda$ (une sorte de "bouton de réglage" qui change la forme de la courbe).

Ces courbes ont une propriété spéciale : elles possèdent une symétrie très riche, liée au groupe symétrique $S_3$ (pensez à la façon dont vous pouvez tourner un triangle équilatéral sans le changer).

Leur objectif : Compter, en moyenne, combien de fois ces courbes deviennent "superspéciales" (cristaux parfaits) lorsqu'on change le nombre premier $p$ et le paramètre $\lambda$ .

4. La méthode : Un jeu de miroirs et de clés

Pour résoudre ce casse-tête, les auteurs utilisent une astuce géniale :

La réduction : Ils montrent que pour qu'une courbe de genre 2 soit "superspéciale", elle doit être liée à deux courbes plus simples (elliptiques) qui sont elles-mêmes dans un état spécial.
Les polynômes de classe : Ils utilisent des outils mathématiques très puissants (des polynômes) qui agissent comme des cartes au trésor. Ces cartes indiquent exactement où se trouvent les courbes spéciales.
Le dénombrement : En comptant combien de fois les "clés" (les paramètres $\lambda$ ) ouvrent les "portes" (les courbes superspéciales) pour différents nombres premiers, ils réussissent à calculer la moyenne.

5. Les résultats : Une recette mathématique

Après des calculs complexes, ils découvrent une formule magnifique pour prédire le nombre moyen de ces événements rares.

Si vous prenez un très grand nombre de courbes (en faisant varier $\lambda$ ) et que vous regardez tous les nombres premiers jusqu'à une certaine limite $X$ , le nombre moyen de courbes "superspéciales" suit cette règle :

$\text{Nombre moyen} \approx \text{Une constante} \times \frac{\sqrt{X}}{\log(X)}$

La "constante" trouvée par les auteurs est un nombre précis et élégant : $\frac{(6 + 4\sqrt{3})\pi}{9}$ . C'est comme si l'univers des nombres avait une recette secrète pour créer ces cristaux mathématiques, et ils ont enfin trouvé la mesure exacte de cette recette.

En résumé

Imaginez que vous lancez des milliers de dés (les courbes) et que vous regardez combien de fois ils tombent sur un "6" spécial (l'état superspécial) en utilisant différentes loupes (les nombres premiers).

Pour une seule courbe, c'est le chaos : on ne sait pas quand le "6" va tomber.
Mais si vous regardez toutes les courbes ensemble, une harmonie parfaite émerge. Les auteurs de cet article ont réussi à écrire la partition de cette symphonie pour un type de courbe très complexe, prouvant que même dans le chaos apparent des nombres, il existe une beauté et une régularité profondes.

C'est une avancée majeure qui connecte la géométrie (les formes), l'algèbre (les symétries) et la théorie des nombres (les nombres premiers) dans une seule et belle équation.

1. Problématique et Contexte

Contexte historique :
La conjecture de Lang-Trotter (1976) prédit que pour une courbe elliptique $E$ définie sur $\mathbb{Q}$ sans multiplication complexe, le nombre de primes $p < X$ pour lesquels $E$ a une réduction supersingulière est asymptotiquement équivalent à $c \frac{\sqrt{X}}{\log X}$ , où $c$ est une constante dépendant de $E$ . Bien que non prouvée pour une courbe fixe, Fouvry et Murty ont établi une version « en moyenne » de cette conjecture pour les familles de courbes elliptiques.

Objectif de l'article :
Les auteurs étendent la conjecture de Lang-Trotter « en moyenne » aux courbes de genre 2. Plus spécifiquement, ils étudient la famille de courbes $C_\lambda$ définies par l'équation :
$C_\lambda : y^2 = x(x-1)(x-\lambda)\left(x - \frac{\lambda-1}{\lambda}\right)\left(x - \frac{1}{1-\lambda}\right)$
Ces courbes sont caractérisées par le fait que leur groupe d'automorphismes réduit contient le groupe symétrique $S_3$ . L'objectif est de calculer la moyenne du nombre de primes $p < X$ pour lesquels $C_\lambda$ a une réduction superspéciale (c'est-à-dire que sa variété jacobienne est isomorphe à un produit de courbes elliptiques supersingulières) lorsque $\lambda$ varie dans $\mathbb{Q}$ ou $\mathbb{Z}$ .

2. Méthodologie

La démonstration repose sur une analyse fine des propriétés arithmétiques et géométriques des courbes $C_\lambda$ et des courbes elliptiques associées.

A. Réduction au problème elliptique

En utilisant un résultat d'Ibukiyama, Katsura et Oort, les auteurs établissent que $C_\lambda$ est superspéciale si et seulement si deux courbes elliptiques associées, notées $E_{\Lambda_-(\lambda)}$ et $E_{\Lambda_+(\lambda)}$ , sont supersingulières. Ces courbes elliptiques sont définies par des équations impliquant des racines carrées de $\lambda^2 - \lambda + 1$ .

B. Construction d'isogénies et anneaux d'endomorphismes

Isogénies de degré 3 : Les auteurs construisent explicitement des isogénies de degré 3 entre $E_{\Lambda_-(\lambda)}$ et $E_{\Lambda_+(\lambda)}$ . Ils montrent que la composition de ces isogénies correspond à la multiplication par $-3$.
Anneaux d'endomorphismes : En analysant les points de torsion et les applications de Frobenius, ils déterminent les anneaux d'endomorphismes de ces courbes elliptiques supersingulières sur $\mathbb{F}_p$ $F_{p}$ .
- Si $p \equiv 1 \pmod 4$ , l'anneau contient $\mathbb{Z}[\frac{1+\sqrt{-3p}}{2}]$ .
- Si $p \equiv 3 \pmod 4$ (et $p \equiv 11 \pmod{12}$ ), l'anneau contient $\mathbb{Z}[\frac{1+\sqrt{-p}}{2}]$ .
- Ils prouvent qu'aucune courbe de ce type n'est supersingulière si $p \equiv 7 \pmod{12}$ .

C. Lien avec les polynômes de classe de Hilbert

Les auteurs établissent une correspondance bijective entre les valeurs de $\lambda \in \mathbb{F}_p$ rendant les courbes supersingulières et les racines de polynômes de classe de Hilbert spécifiques modulo $p$ :

Pour $p \equiv 1 \pmod 4$ , les $j$ -invariants sont des racines de $P_{3p}(X) \pmod p$ .
Pour $p \equiv 11 \pmod{12}$ , les $j$ -invariants sont des racines de $P_p(X) \pmod p$ .

Une partie cruciale du travail consiste à déterminer la factorisation de $P_{3p}(X) \pmod p$ pour $p \equiv 1 \pmod 4$ , en utilisant des résultats de Gross-Zagier sur les résultants de polynômes de classe et des calculs explicites sur les isogénies de degré 2 et 3.

D. Comptage et Moyenne

Comptage local ( $\psi_p$ ) : Ils calculent le nombre $\psi_p$ de $\lambda \in \mathbb{F}_p$ tels que $C_\lambda$ soit superspéciale, en fonction des nombres de classes $h(-p)$ et $h(-3p)$ .
Moyenne globale : En utilisant la méthode de Fouvry et Murty (inégalités de Polya, identité d'Abel, et estimation de sommes de caractères de Dirichlet pondérées par la fonction de von Mangoldt), ils somment $\psi_p$ sur les primes $p < X$ pour obtenir le comportement asymptotique moyen.

3. Résultats Principaux

Théorème A (Comptage local)

Pour une prime $p \ge 5$ , le nombre $\psi_p$ de $\lambda \in \mathbb{F}_p$ tels que $C_\lambda$ soit superspéciale est donné par :

Si $p \equiv 1 \pmod 4$ : $\psi_p = \frac{3}{2} h(-3p)$ .
Si $p \equiv 7 \pmod{12}$ : $\psi_p = 0$ .
Si $p \equiv 11 \pmod{12}$ : $\psi_p = 3 h(-p)$ .

Théorème B (Moyenne sur les entiers)

Pour $N > X^{1+\epsilon}$ , la moyenne du nombre de primes superspéciales pour les $\lambda \in \mathbb{Z}$ avec $|\lambda| \le N$ est :
$\frac{1}{N} \sum_{|\lambda| \le N} \phi_\lambda(X) \sim \frac{(6 + 4\sqrt{3})\pi}{9} \frac{\sqrt{X}}{\log X}$
où $\phi_\lambda(X)$ est le nombre de primes $p < X$ pour lesquelles $C_\lambda$ est superspéciale.

Théorème C (Moyenne sur les rationnels)

Pour $N > X^{1+\epsilon}$ , la moyenne sur les rationnels $\lambda \in \mathbb{Q}$ de hauteur $ht(\lambda) \le N$ est :
$\frac{1}{N^2} \sum_{\substack{\lambda \in \mathbb{Q} \\ ht(\lambda) \le N}} \phi_\lambda(X) \sim \frac{4(3 + 2\sqrt{3})}{3\pi} \frac{\sqrt{X}}{\log X}$

4. Contributions Clés

Extension au genre 2 : C'est la première généralisation de la conjecture de Lang-Trotter « en moyenne » aux courbes de genre 2, complétant les travaux antérieurs sur les courbes avec un groupe d'automorphismes réduit contenant le groupe de Klein ( $V_4$ ).
Analyse des polynômes de classe $P_{3p}(X)$ : Les auteurs fournissent une nouvelle factorisation explicite de $P_{3p}(X) \pmod p$ pour $p \equiv 1 \pmod 4$ , un résultat qui n'était pas disponible dans la littérature antérieure.
Lien explicite entre géométrie et arithmétique : La construction explicite des isogénies entre les courbes elliptiques associées et l'analyse de leurs anneaux d'endomorphismes permettent de relier rigoureusement la superspécialité de la courbe de genre 2 aux propriétés de réduction des courbes elliptiques sous-jacentes.
Calculs de constantes effectives : Les constantes asymptotiques obtenues $(6 + 4\sqrt{3})\pi/9$ et $4(3 + 2\sqrt{3})/(3\pi)$ sont précises et dépendent de la structure du groupe d'automorphismes $S_3$ .

5. Signification

Ce travail est significatif car il valide la robustesse de la conjecture de Lang-Trotter « en moyenne » au-delà du genre 1. Il démontre que la distribution des primes supersingulières (ou superspéciales) suit une loi universelle de type $\sqrt{X}/\log X$ même pour des familles de courbes de genre supérieur, à condition de moyenner sur une famille suffisamment large.

L'article ouvre la voie à l'étude d'autres types de courbes de genre 2 (les 7 types d'Igusa) et suggère que la méthode combinant la théorie des isogénies explicites, les polynômes de classe et l'analyse analytique des sommes de caractères est une approche puissante pour résoudre des problèmes similaires en géométrie arithmétique. Les résultats confirment également que la structure du groupe d'automorphismes réduit influence directement la constante de la conjecture moyenne.