Boundary CM points and class groups of small exponent

Résumé technique : Points CM aux frontières et groupes de classes d'exposant faible

Énoncé du problème
Cet article examine deux problèmes interconnectés en arithmétique des corps quadratiques imaginaires et en théorie des formes modulaires. Premièrement, il traite de la répartition des points à multiplication complexe (CM) sur la frontière du domaine fondamental standard $F$ pour l'action de $SL_2(\mathbb{Z})$ sur le demi-plan supérieur $\mathbb{H}$. Alors que William Duke a établi la répartition équidistribuée des points CM à l'intérieur de $F$ lorsque le discriminant $D \to -\infty$, le comportement de ces points spécifiquement sur la frontière (la ligne verticale de gauche et l'arc circulaire inférieur) restait à caractériser, en particulier pour les discriminants non fondamentaux. Deuxièmement, l'article vise une classification complète des discriminants négatifs $D$ pour lesquels le groupe de classes associé $Cl(\mathcal{O}_D)$ possède un petit exposant (spécifiquement $1 \le E \le 8$). Cette classification est motivée par la nécessité d'identifier les cas où tous les points CM d'un discriminant donné se trouvent sur la frontière de $F$, une propriété pertinente pour l'étude des zéros des formes modulaires.

Méthodologie
Les auteurs emploient une combinaison de théorie analytique des nombres, de théorie algébrique des nombres et de calcul algorithmique.

1. Analyse de l'équidistribution : Pour prouver l'équidistribution des points CM sur la frontière, les auteurs paramètrent les points sur la frontière gauche par leurs parties imaginaires $y$ et les points sur l'arc inférieur par leurs arguments $\theta$. Ils utilisent une transformation qui applique l'arc inférieur sur un segment de ligne verticale, unifiant ainsi le traitement des deux composantes de la frontière. La preuve repose sur l'estimation du nombre de points CM dans des intervalles spécifiques en comptant les paires $(a, c)$ premières entre elles satisfaisant des contraintes quadratiques dérivées de la borne du discriminant $|D| \le \Delta$. Des outils analytiques standards, y compris des estimations pour la fonction indicatrice d'Euler $\phi(a)$ et la fonction de Möbius $\mu(d)$, sont utilisés pour dériver des comptes asymptotiques.

2. Caractérisation des points frontières : L'article établit un lien entre la localisation géométrique des points CM et la structure algébrique du groupe de classes. En utilisant le fait que l'inverse d'un point CM $[a, b, c]$ est $[a, -b, c]$, les auteurs montrent qu'un point CM se trouve sur la frontière (ou l'axe imaginaire) si et seulement s'il est d'ordre divisant 2 dans le groupe de classes. Cela réduit le problème géométrique à un problème algébrique : déterminer quand le groupe de classes $Cl(\mathcal{O}_D)$ a un exposant divisant 2.

3. Algorithme de classification : Pour classifier les discriminants ayant de petits exposants de groupe de classes, les auteurs adaptent des idées de Fan et Pollack. Ils définissent une « partie principale » du groupe de classes et déduisent une propriété de divisibilité pour le conducteur $f$ d'un discriminant $D = D_0 f^2$ (où $D_0$ est fondamental). Plus précisément, ils prouvent qu'une fonction $L(f)$, définie via le plus petit commun multiple des facteurs de puissances de nombres premiers de $f$, doit diviser $12 \cdot |\mathcal{O}_{D_0}^\times| \cdot \text{Exp}(Cl(\mathcal{O}_D))$. Cette propriété permet de construire un algorithme qui :

   • Identifie les discriminants fondamentaux $D_0$ avec l'exposant désiré.
   • Génère des conducteurs candidats $f$ en vérifiant les diviseurs d'une valeur dérivée de $L(f)$.
   • Vérifie l'exposant du groupe de classes résultant $Cl(\mathcal{O}_{D_0 f^2})$.

Contributions et résultats clés

• Théorème 1.1 (Équidistribution sur la frontière) : Les auteurs prouvent que lorsque la borne $\Delta \to \infty$, l'ensemble des points CM avec $|D| \le \Delta$ sur la frontière gauche de $F$ est équidistribué par rapport à la mesure $d\mu = \frac{1}{y} dy$, et ceux sur l'arc inférieur sont équidistribués par rapport à $d\nu = \frac{1}{\sin \theta} d\theta$. Ce résultat diffère du théorème de Duke en considérant l'agrégat de tous les discriminants jusqu'à une borne plutôt que des discriminants individuels, ce qui est nécessaire car les discriminants individuels ne produisent pas d'ensembles denses sur la frontière.

• Théorème 1.2 (Caractérisation des points CM uniquement sur la frontière) : L'article fournit une condition nécessaire et suffisante pour que chaque point CM d'un discriminant $D$ se trouve sur la frontière de $F$ : le groupe de classes $Cl(\mathcal{O}_D)$ doit avoir un exposant divisant 2, et $D$ doit être impair ou égal à $-4$. Sous l'hypothèse de la non-existence de zéros de Siegel, les auteurs fournissent une liste complète de tels discriminants, classés par leurs structures de groupe de classes (trivial, $\mathbb{Z}/2\mathbb{Z}$, $(\mathbb{Z}/2\mathbb{Z})^2$, et $(\mathbb{Z}/2\mathbb{Z})^3$).

• Théorème 1.3 et Tableaux A.1–A.8 (Classification des petits exposants) : Les auteurs présentent une classification conditionnelle de tous les discriminants négatifs ayant des exposants de groupe de classes $1 \le E \le 8$. Ils fournissent des tableaux listant ces discriminants. L'exhaustivité de ces tableaux est établie sans condition pour l'exposant $E=1$. Pour les exposants $E=2, 4, 8$, l'exhaustivité est conditionnelle à la non-existence de zéros de Siegel (ou potentiellement manquant au plus un discriminant fondamental supplémentaire sans condition). Sous l'Hypothèse de Riemann Généralisée (ERH), les tableaux pour $E=2, 3, 4, 5, 8$ sont prouvés complets, avec des bornes spécifiques fournies pour $E=6$ et $E=7$.

Signification et motivation
Les auteurs identifient trois motivations principales pour ce travail :

1. Extension théorique : Les résultats servent de variation naturelle du célèbre théorème d'équidistribution de Duke, étendant l'analyse de l'intérieur du domaine fondamental à sa frontière.
2. Intérêt arithmétique indépendant : La classification des discriminants avec de petits exposants de groupe de classes présente un intérêt indépendant en théorie algébrique des nombres, étendant les travaux antérieurs sur les discriminants fondamentaux à tous les discriminants.
3. Application aux formes modulaires : La classification est une condition préalable aux résultats d'un travail séparé [1] concernant la transcendance des zéros des formes modulaires. Les auteurs notent que pour certaines formes modulaires (telles que les séries d'Eisenstein et leurs produits), les zéros non transcendants ne peuvent se produire que sur la frontière de $F$. Par conséquent, identifier les discriminants spécifiques où tous les points CM résident sur la frontière est essentiel pour analyser les zéros de ces formes.

L'article conclut en notant que le cadre algorithmique développé pour l'exposant $E$ est généralisable, bien que les tableaux spécifiques fournis couvrent $E \le 8$. L'exhaustivité des résultats repose sur des conjectures standards en théorie analytique des nombres (zéros de Siegel, ERH) concernant la distribution des nombres de classes et des discriminants.