An archimedean approach to singular moduli on Shimura curves

Cet article propose une nouvelle preuve archimédienne, fondée sur l'évaluation de la fonction de Green aux points CM, d'une généralisation aux courbes de Shimura de genre 0 du travail de Gross et Zagier sur les modules singuliers, offrant ainsi une alternative à la démonstration $p$-adique de Daas.

L'essentiel

Voici une explication de ce travail mathématique complexe, imagée comme si nous racontions une histoire d'architectes et de trésors cachés.

Le Titre : Une nouvelle clé pour ouvrir des coffres-forts mathématiques

Imaginez que les mathématiques soient un immense château rempli de coffres-forts. Chaque coffre contient des nombres spéciaux, appelés moduli singuliers. Ces nombres sont comme des empreintes digitales uniques laissées par des formes géométriques très spéciales (appelées "points CM").

Depuis longtemps, les mathématiciens savent comment ouvrir certains de ces coffres (ceux liés aux courbes modulaires classiques, comme dans le travail célèbre de Gross et Zagier en 1985). Mais il existe une autre partie du château, un peu plus exotique, appelée courbes de Shimura. Jusqu'à récemment, personne ne savait comment ouvrir les coffres de cette section avec la même précision.

L'auteur de ce papier, Mateo Crabit Nicolau, vient de trouver une nouvelle clé pour ouvrir ces coffres.

Le Problème : Deux façons de regarder la même chose

Pour comprendre son idée, imaginez que vous essayez de mesurer la distance entre deux points sur une carte.

1. L'ancienne méthode (p-adique) : Un autre mathématicien, Daas, a récemment réussi à ouvrir ces coffres en utilisant une "loupe" très particulière appelée analyse p-adique. C'est comme si on regardait le problème à travers un microscope qui ne voit que les nombres divisibles par un nombre premier spécifique (comme 2, 3, 5...). C'est une méthode puissante, mais très technique et "locale".
2. La méthode de Mateo (Archimédienne) : Mateo dit : "Et si on utilisait une loupe différente ?" Au lieu de se concentrer sur un seul nombre premier, il utilise une approche archimédienne. C'est comme regarder le problème avec nos yeux "normaux", en utilisant la géométrie classique et l'analyse réelle (les nombres que vous connaissez bien, avec les décimales et les courbes lisses).

L'Analogie : Le pont suspendu et les échos

Pour prouver que sa méthode fonctionne, Mateo construit un pont entre deux mondes :

• D'un côté du pont (le monde des nombres) : Il y a une formule magique qui prédit exactement quels nombres se trouvent dans le coffre-fort. C'est une recette de cuisine très précise qui dit : "Si vous mélangez ces ingrédients (les discriminants D1 et D2), vous obtiendrez ce résultat."
• De l'autre côté du pont (le monde de la géométrie) : Il y a une fonction appelée fonction de Green. Imaginez cette fonction comme un écho ou une onde qui se propage sur la surface de la courbe de Shimura. Quand vous posez un point (un "trou" dans la surface), l'écho se propage et résonne.

Le génie de la preuve :
Mateo montre que si vous mesurez l'intensité de cet écho (la fonction de Green) exactement aux endroits où se trouvent les points spéciaux (les points CM), vous obtenez exactement le même nombre que celui prédit par la recette de cuisine.

C'est comme si vous disiez : "Je n'ai pas besoin de compter les grains de sable un par un (la méthode p-adique). Si je lance une pierre dans l'eau à cet endroit précis, la forme des vagues qui en résulte me dira exactement combien de grains de sable il y a."

Les étapes de l'aventure (simplifiées)

1. Le Défi : Les courbes de Shimura sont des objets géométriques complexes. Contrairement aux courbes classiques, elles n'ont pas de "bords" (pas de pointes à l'infini), ce qui rend les calculs habituels (séries de Fourier) impossibles à appliquer directement.
2. L'Outil : Mateo utilise une famille de fonctions spéciales (séries d'Eisenstein) qui, lorsqu'on les manipule d'une certaine façon, s'annulent. C'est comme si on cherchait un équilibre parfait : la somme de toutes les forces doit être nulle.
3. La Projection : Il utilise un outil mathématique appelé "projection holomorphe". Imaginez que vous avez une sculpture en argile humide (une forme complexe et irrégulière) et que vous voulez en extraire la forme pure et lisse qui se cache dedans. Cette projection extrait la partie "lisse" de l'information.
4. La Révélation : En comparant ce qui sort de la projection avec la géométrie de la courbe, il découvre que le premier coefficient (le premier chiffre de la série) est égal à zéro.
   • D'un côté, ce zéro représente la différence entre deux nombres géométriques.
   • De l'autre, il représente la différence entre la recette de cuisine et la réalité.
   • Puisque la différence est zéro, la recette est exacte.

Pourquoi est-ce important ?

Ce papier est important pour deux raisons :

1. Il confirme une conjecture : Il prouve que la recette inventée par Giampietro et Darmon est vraie, mais avec une méthode totalement différente de celle de Daas.
2. Il montre la beauté de la symétrie : Il démontre que deux approches mathématiques qui semblent opposées (l'une très locale et "discrète", l'autre globale et "continue") mènent exactement au même résultat. C'est comme si deux explorateurs partaient de deux continents différents pour atteindre le même sommet de montagne : l'un a gravi la paroi rocheuse (p-adique), l'autre a traversé la forêt (archimédienne), mais ils arrivent au même point.

En résumé

Mateo Crabit Nicolau a prouvé que l'on peut comprendre la structure profonde de certains nombres mystérieux en observant comment les "vagues" géométriques se comportent sur une surface spéciale. Au lieu de compter les nombres un par un avec des outils complexes, il a utilisé la géométrie de l'espace pour révéler la vérité cachée derrière ces équations.

C'est une victoire de l'intuition géométrique sur la complexité arithmétique, prouvant que parfois, pour voir la vérité, il faut simplement changer de point de vue.

Résumé technique

Voici un résumé technique détaillé de l'article « An archimedean approach to singular moduli on Shimura curves » de Mateo Crabit Nicolau, rédigé en français.

1. Contexte et Problématique

L'article s'inscrit dans le cadre de la théorie des nombres, plus précisément dans l'étude des moduli singuliers et de leur factorisation arithmétique. Le point de départ est le théorème célèbre de Gross et Zagier (1985) concernant la différence de deux moduli singuliers $j(\tau_1) - j(\tau_2)$ sur la courbe modulaire classique (de genre 0, associée à l'algèbre de quaternions triviale). Ce théorème établit une formule explicite pour la norme de cette différence en termes de produits de puissances de nombres premiers, reliant l'analyse complexe (séries d'Eisenstein) à l'arithmétique des corps quadratiques.

Récemment, Giampietro et Darmon ont conjecturé une généralisation de ce résultat aux courbes de Shimura $X_N$ (associées à une algèbre de quaternions indéfinie $B_N$ de discriminant $N$), lorsque le genre de la courbe est 0 (c'est-à-dire pour $N \in \{1, 6, 10, 22\}$). Cette conjecture a été démontrée par Daas dans sa thèse (2024/2025) en utilisant une approche $p$-adique, basée sur l'évaluation de fonctions $\Theta$ $p$-adiques via l'isomorphisme de Čerednik-Drinfeld.

Le problème central abordé par l'auteur est de fournir une nouvelle preuve de ce théorème généralisé en utilisant une approche archimédienne (analytique réelle), évitant ainsi les outils $p$-adiques. L'objectif est de montrer que la méthode originale de Gross-Zagier, basée sur les fonctions de Green et les formes modulaires non holomorphes, s'adapte aux courbes de Shimura.

2. Méthodologie

La stratégie de l'auteur repose sur une analogie directe avec la preuve analytique originale de Gross-Zagier, adaptée au contexte des algèbres de quaternions.

A. Construction d'une forme modulaire non holomorphe

L'auteur construit une famille de séries d'Eisenstein de Hilbert $E_{s, \lambda}(z, z')$ attachées au corps quadratique réel $F = \mathbb{Q}(\sqrt{D_1 D_2})$.

• Il définit une forme modulaire non holomorphe de poids 2, notée $E_N(z)$, comme une combinaison linéaire de dérivées par rapport à $s$ de ces séries d'Eisenstein évaluées en $s=0$.
• Cette forme est construite de manière à s'annuler pour les cas $N=6, 10, 22$ après projection holomorphe, car l'espace des formes cuspales holomorphes $S_2(\Gamma_0(N))$ est trivial ou ne contient que la forme nulle sous certaines conditions d'invariance (involution d'Atkin-Lehner).

B. Projection Holomorphe et Coefficients de Fourier

L'auteur applique l'opérateur de projection holomorphe (lemme de Gross-Kohnen-Zagier) à $E_N(z)$. Cela génère une forme modulaire holomorphe $f \in S_2(\Gamma_0(N))$.

• Pour $N \in \{6, 10, 22\}$, on a $f = 0$.
• Par conséquent, le premier coefficient de Fourier $a_1$ de $f$ doit être nul : $a_1 = b_1 - c_1 = 0$, soit $b_1 = c_1$.

C. Identification des termes $b_1$ et $c_1$

La preuve consiste à interpréter arithmétiquement et géométriquement ces deux termes :

1. Le terme $b_1$ : Il est calculé explicitement via les coefficients de Fourier des séries d'Eisenstein. L'auteur montre que $b_1$ correspond au logarithme du membre de droite de la conjecture de Giampietro-Darmon (le produit de puissances de nombres premiers).
2. Le terme $c_1$ : Ce terme provient de la partie non holomorphe (la limite $s \to 1$). L'auteur l'interprète comme une somme d'évaluations de la fonction de Green $G_N$ sur la courbe de Shimura $X_N$ aux points CM (Complex Multiplication).
   • Il introduit une forme quadratique $F$-quadratique $\det_{F, \alpha}$ sur l'algèbre de quaternions $B_N$ pour relier les éléments de l'ordre maximal aux points CM.
   • Il utilise l'action du groupe de classes $\text{Pic}(K_1) \times \text{Pic}(K_2)$ et les involutions d'Atkin-Lehner ($w_p, w_q$) pour exprimer le rapport croisé (cross-ratio) des moduli singuliers $j_N$ en termes de la fonction de Green.

3. Résultats Principaux

Théorème Principal (Théorème 2)

L'auteur prouve la conjecture de Giampietro et Darmon pour $N \in \{6, 10, 22\}$. La norme du rapport croisé des moduli singuliers sur la courbe de Shimura $X_N$ est donnée par :
$$J_N(D_1, D_2)^{\pm 1} = \pm \prod_{\substack{x^2 < D \\ x^2 \equiv D \pmod{4N}}} F\left(\frac{D - x^2}{4N}\right)^{\delta(x)}$$
où $F(m)$ est une puissance de nombre premier définie par les caractères de genre, et $\delta(x)$ dépend du choix des racines carrées de $D$ modulo $2N$.

Équivalence Analytique-Arithmétique

La preuve établit l'égalité fondamentale :
$$\log(J_N(D_1, D_2)) = -c_1 = -b_1$$
Cela démontre que la valeur arithmétique (le produit de nombres premiers) est exactement égale à la valeur analytique (la somme des fonctions de Green aux points CM).

Interprétation des Coefficients Supérieurs (Section 4)

L'article va au-delà du cas $m=1$ :

• Pour $m$ premier à $N$, le coefficient $a_m$ est interprété comme un produit de hauteur (height pairing) entre des diviseurs de points CM sur la courbe de Shimura.
• Plus précisément, $a_m = \langle P_1, T_m P_2 \rangle_N$, où $T_m$ est l'opérateur de Hecke et $\langle \cdot, \cdot \rangle_N$ est la hauteur de Néron sur la courbe de Shimura. Cela généralise le résultat de Gross-Zagier reliant les coefficients de Fourier aux hauteurs de points CM.

4. Contributions Clés et Innovations

1. Approche Archimédienne : Contrairement à la preuve de Daas qui utilise des fonctions $\Theta$ $p$-adiques et l'isomorphisme de Čerednik-Drinfeld, cette preuve reste entièrement dans le domaine archimédien (réel/complexes). Elle utilise les fonctions de Green sur la courbe de Shimura comme analogue direct des fonctions $\Theta$ $p$-adiques.
2. Analogie Structurelle : L'article met en lumière les similarités profondes entre les preuves $p$-adiques et archimédiennes. Il montre que les produits infinis apparaissant dans la preuve $p$-adique ont un équivalent direct dans les sommes de fonctions de Legendre (fonctions de Green) dans le cas archimédien.
3. Généralisation des Techniques de Gross-Zagier : L'auteur réussit à adapter la méthode originale de 1985 (conçue pour les courbes modulaires $X_0(N)$) aux courbes de Shimura, malgré les différences structurelles (absence de pointes, nature compacte de la courbe, rôle des involutions d'Atkin-Lehner).
4. Lien avec les Hauteurs : La section 4 fournit une interprétation géométrique complète des coefficients de Fourier, reliant l'analyse modulaire à la géométrie arithmétique des hauteurs de points CM sur les courbes de Shimura.

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

• Indépendance des méthodes : Il offre une preuve alternative et indépendante de la conjecture de Giampietro-Darmon, renforçant la validité du résultat et ouvrant de nouvelles voies d'investigation sans dépendre de la théorie des déformations galoisiennes $p$-adiques.
• Compréhension des Moduli Singuliers : Il éclaire la nature des moduli singuliers sur les courbes de Shimura, montrant que leurs propriétés de factorisation sont gouvernées par des principes analytiques universels (fonctions de Green) similaires à ceux des courbes modulaires classiques.
• Outils pour la Recherche Future : La construction explicite des formes modulaires et l'interprétation des coefficients via les produits de hauteur fournissent un cadre robuste pour étudier des cas de genre supérieur ou des algèbres de quaternions plus générales.

En résumé, l'article de Mateo Crabit Nicolau réussit à transposer la puissance de l'analyse complexe classique au domaine des courbes de Shimura, offrant une perspective unifiée et élégante sur la factorisation des moduli singuliers.