Finiteness for Étale Fundamental Groups of Néron Models

Résumé Technique : Finitude des groupes fondamentaux étales des modèles de Néron

Énoncé du Problème
L'article étudie la structure et les propriétés de finitude du groupe fondamental étale de la variété abélienne sur un modèle de Néron sur un corps de nombres $K$. Il se concentre spécifiquement sur la partie « géométrique » de ce groupe, notée $\pi_{1}^{\text{et,geom}}(\mathcal{A})$, définie comme le noyau du morphisme $\pi_{1}^{\text{et}}(\mathcal{A}) \to \pi_{1}^{\text{et}}(\text{Spec } \mathcal{O}_K)$. Alors que les résultats précédents de Katz et Lang ont établi la finitude du groupe fondamental complet pour les variétés abéliennes sur $\mathbb{Q}$, et que Bost et Charles ont prouvé la finitude pour les modèles réguliers intégraux de courbes elliptiques, la finitude du sous-groupe géométrique pour les variétés abéliennes générales sur des corps de nombres arbitraires est restée une question ouverte. L'article vise à prouver que ce sous-groupe est fini et à déterminer si sa taille peut être bornée uniformément en fonction de la dimension et du corps de base.

Méthodologie
La stratégie principale consiste à analyser le comportement de la hauteur de Faltings sous les revêtements étales finis de modèles de Néron. L'auteur s'appuie sur la formule d'isogénie de Faltings, qui relie les hauteurs des variétés abéliennes isogènes au degré de l'isogénie. Le cœur de l'argument procède par contradiction : si le groupe fondamental géométrique était infini, on pourrait construire une suite de revêtements étales finis (et donc d'isogénies) de degré arbitrairement grand. D'après la formule de Faltings, de telles isogénies produiraient des variétés abéliennes avec des hauteurs de Faltings arbitrairement petites. Cela contredit la propriété de Northcott pour les variétés abéliennes sur les corps de nombres, qui affirme qu'il n'existe que de nombreuses isomorphismes de variétés abéliennes avec une hauteur bornée par une constante donnée.

Pour le cas spécifique des courbes elliptiques, la méthodologie est affinée pour établir l'uniformité. L'auteur utilise le théorème de torsion uniforme de Merel, qui borne la taille du sous-groupe de torsion des courbes elliptiques sur un corps de nombres fixé. En montrant que le noyau d'un revêtement étale fini d'un modèle de Néron doit être défini sur le corps de classe de Hilbert de $K$, le problème est réduit à borner les points de torsion sur cette extension spécifique.

Dans le cas des courbes elliptiques sur $\mathbb{Q}$, l'article emploie une combinaison de géométrie arithmétique et de calcul explicite. L'auteur analyse le discriminant de la courbe elliptique sous isogénie, montrant que pour un revêtement étale fini de degré $n$, le discriminant minimal du revêtement doit être la $n$-ième puissance du discriminant original. Cette condition, combinée à la formule de Silverman pour la hauteur de Faltings et au théorème de torsion de Mazur, restreint les degrés possibles de tels revêtements à un petit ensemble d'entiers. La non-existence de revêtements de degré 7 est prouvée en interprétant l'existence d'une telle courbe comme un point rationnel sur une courbe modulaire $X(1)$ qui doit simultanément satisfaire des conditions dérivées de l'équation $A^2 + B^3 = 1728C^7$ et de la géométrie de la courbe modulaire $X_1(7)$. Cela implique la construction de twists spécifiques de $X(7)$ et la réalisation de tests locaux $p$-adiques (utilisant Sage) pour montrer l'incompatibilité.

Contributions Clés et Résultats

1. Finitude Générale (Théorème 1.1) : L'article prouve que pour toute variété abélienne $A$ de dimension $g$ sur un corps de nombres $K$, le groupe fondamental étale géométrique $\pi_{1}^{\text{et,geom}}(\mathcal{A})$ de son modèle de Néron est un groupe fini. Ceci est réalisé en démontrant que les degrés des revêtements étales finis du modèle de Néron sont bornés, empêchant l'existence de hauteurs de Faltings arbitrairement petites.

2. Uniformité pour les Courbes Elliptiques (Théorème 1.3) : Pour les courbes elliptiques, le résultat de finitude est renforcé par une borne uniforme. L'article prouve qu'il existe une constante $C$, dépendant uniquement du corps de nombres $K$, telle que $|\pi_{1}^{\text{et,geom}}(\mathcal{E})| \le C$ pour toute courbe elliptique $E/K$. Cela repose sur le fait que le noyau d'une isogénie est étendu à un revêtement étale fini de $\text{Spec } \mathcal{O}_K$, impliquant que les points du noyau sont définis sur le corps de classe de Hilbert, où le théorème de Merel s'applique.

3. Classification Explicite sur $\mathbb{Q}$ (Théorème 1.4) : Pour les courbes elliptiques sur $\mathbb{Q}$, l'article fournit une liste complète des groupes fondamentaux étales possibles pour leurs modèles de Néron. Le groupe est isomorphe à $\mathbb{Z}/N\mathbb{Z}$ où $N \in \{1, 2, 3, 5\}$.

   • Le cas $N=7$ est écarté. La preuve montre qu'un revêtement étale fini de degré 7 exigerait que le discriminant minimal soit une septième puissance et l'existence d'un point de torsion 7 rationnel. En analysant la courbe modulaire $X(1)$ et l'équation $A^2 + B^3 = 1728C^7$, l'auteur démontre via des tests locaux qu'aucun point rationnel n'existe correspondant à des courbes elliptiques valides possédant les propriétés de réduction requises.
   • Le cas $N=4$ est écarté pour les courbes avec réduction additive en analysant les groupes de composantes des fibres spéciales et en utilisant la formule de hauteur de Silverman pour montrer qu'une telle isogénie ne peut exister.
   • Des exemples pour $N=1, 2, 3, 5$ sont fournis en utilisant les données de la LMFDB (L-functions and Modular Forms Database), confirmant que tous les cas listés sont réalisés.

Signification
L'article établit une propriété de finitude fondamentale pour les groupes fondamentaux étales géométriques des modèles de Néron, étendant les résultats précédents de $\mathbb{Q}$ à des corps de nombres arbitraires et des modèles réguliers intégraux aux modèles de Néron complets. En prouvant que ces groupes sont finis et uniformément bornés pour les courbes elliptiques, ce travail relie l'arithmétique des isogénies, la géométrie des modèles de Néron et la distribution des points de torsion. La classification explicite sur $\mathbb{Q}$ offre une compréhension concrète des symétries possibles de ces modèles, écartant des structures de groupes spécifiques (comme $\mathbb{Z}/7\mathbb{Z}$) par une synthèse de la théorie des courbes modulaires et de l'analyse diophantienne. Les résultats reposent sur des outils standards de la géométrie arithmétique (hauteur de Faltings, propriété de Northcott, théorème de Merel) mais les appliquent dans un contexte nouveau pour résoudre des questions sur la structure globale des modèles de Néron.