The metabelian Grothendieck conjecture for genus zero curves over finitely generated fields

Résumé Technique : La Conjecture Métabélienne de Grothendieck pour les Courbes de Genre Zéro sur des Corps Finiement Générés

Énoncé du Problème
L'article traite de la conjecture de Grothendieck dans le contexte de la géométrie anabelienne, en se concentrant spécifiquement sur la reconstruction de la classe d'isomorphisme d'une courbe hyperbolique à partir de son groupe fondamental. Alors que la conjecture complète pour les courbes hyperboliques sur des corps de caractéristique 0 (finitement générés sur $\mathbb{Q}$) et sur des corps de caractéristique positive (corps finis) a été établie par Nakamura, Tamagawa, Mochizuki et Stix, ce travail étudie une version tronquée.

Le problème central est de savoir si le quotient métabélien du groupe fondamental géométrique tame est suffisant pour reconstruire la courbe. Plus précisément, pour une courbe hyperbolique lisse $X$ de type $(g, r)$ sur un corps $k$, soit $\Pi_X$ le groupe fondamental tame et $\Delta_X$ le groupe fondamental tame géométrique. L'article considère le quotient métabélien maximal du groupe géométrique, noté $\Delta_X^{meta} = \Delta_X / \Delta_X''$, et le quotient correspondant du groupe complet, $\Pi_X^{meta} = \Pi_X / \Delta_X''$.

La conjecture pose que pour deux courbes telles que $X_1$ et $X_2$, un isomorphisme de leurs groupes fondamentaux métabéliens sur le groupe de Galois absolu $G_k$ implique que les courbes sont isomorphes sur $k$ (à un pivotment de Frobenius près en caractéristique positive). L'article cible spécifiquement le cas de genre zéro ($g=0$) avec un nombre suffisant de points de puncture ($r \geq 5$).

Méthodologie
La stratégie de preuve repose sur une approche de « reconstruction groupe-théorique », où les invariants géométriques sont récupérés uniquement à partir de la structure du groupe fondamental métabélien. La méthodologie procède à travers plusieurs étapes clés :

1. Reconstruction des Invariants : L'auteur établit d'abord que les invariants de base, tels que le fait que le corps de base soit fini ou infini, le nombre de punctures $r$, et le caractère cyclotomique, peuvent être reconstruits à partir du quotient métabélien $\Pi_X^{meta}$. Cela implique l'analyse de la filtration de poids de la quotient abélien maximal $\Delta_X^{ab}$.
2. Groupes de Décomposition et Sections : Un composant critique est la reconstruction des groupes de décomposition (sous-groupes correspondant aux points fermés de la courbe) à partir du quotient métabélien. L'article introduit le concept de quasi-sections géométriques (homomorphismes continus de sous-groupes ouverts de $G_k$ vers le groupe fondamental).
3. Propriétés de Séparabilité : En utilisant la théorie de Kummer et des arguments cohomologiques, l'auteur prouve des propriétés de « séparabilité ». Ces résultats démontrent que des points fermés distincts sur la courbe correspondent à des groupes de décomposition distincts (ou non commensurables) au sein du groupe fondamental, à condition que $r$ soit suffisamment grand.
4. Reconstruction de la Courbe sur les Corps Finis : Pour le cas où le corps $k$ est un corps fini, l'auteur reconstruit le corps de fonctions et la structure de schéma de la courbe. Cela implique de définir un monoïde multiplicatif $K(\Pi^{ab})$ dérivé du groupe fondamental et de montrer qu'il est isomorphe au corps de fonctions $K(X)$. Cette étape utilise la reconstruction des groupes de décomposition et l'élément de Frobenius.
5. Argument de Spécialisation : Pour étendre les résultats des corps finis aux corps finiment générés sur un corps fini (ou $\mathbb{Q}$), l'article emploie un argument de spécialisation. Il utilise des anneaux locaux réguliers henséliens pour relier les groupes fondamentaux de la fibre générique (le corps d'intérêt) à ceux de la fibre spéciale (un corps fini). Le noyau du morphisme de spécialisation est montré comme étant reconstruisible groupe-théoriquement.

Contributions Clés et Résultats
L'article présente les principaux théorèmes suivants, en supposant que les courbes sont de genre 0 et possèdent au moins 5 punctures ($r \geq 5$) :

• Théorème A (Caractéristique 0) : Soient $k$ un corps finiment généré sur $\mathbb{Q}$. Deux courbes hyperboliques lisses $X_1, X_2$ de genre 0 avec $r \geq 5$ sont isomorphes sur $k$ si et seulement si leurs groupes fondamentaux métabéliens sont isomorphes sur $G_k$.
  $$X_1 \cong_k X_2 \iff \Pi_{X_1}^{meta} \cong_{G_k} \Pi_{X_2}^{meta}$$
• Théorème B (Corps Finis) : Soient $k$ un corps fini. Deux courbes de ce type sont isomorphes sur $k$ si et seulement si leurs groupes fondamentaux métabéliens sont isomorphes sur $G_k$. (Note : Dans le cas des corps finis, l'isomorphisme des groupes implique que les courbes sont isomorphes en tant que schémas).
• Théorème C (Caractéristique Positive, Corps Finiment Générés) : Soient $k$ un corps finiment généré sur un corps fini. Pour des courbes lisses non-isotriviales $X_1, X_2$ de genre 0 avec $r \geq 5$, leurs groupes fondamentaux métabéliens sont isomorphes sur $G_k$ si et seulement s'il existe des entiers non négatifs $n_1, n_2$ tels que les pivotsments de Frobenius satisfont $X_1(n_1) \cong_k X_2(n_2)$.

Signification et Limites
La signification de ce travail réside dans l'établissement du cas métabélien ($m=2$) de la conjecture de Grothendieck pour les courbes de genre zéro. Les résultats précédents de Mochizuki et Nakamura couvraient des étapes de solvabilité plus élevées ($m \geq 5$) ou des cas spécifiques. Le cas abélien ($m=1$) est connu pour être insuffisant pour la reconstruction, car l'action de Galois sur le quotient abélien maximal est entièrement déterminée par les caractères cyclotomiques, qui ne distinguent pas entre différentes courbes. Le quotient métabélien est le premier quotient solvable non-abélien où un énoncé anabelien positif est attendu et, comme prouvé ici, est vérifié pour $r \geq 5$.

L'auteur note explicitement la limite concernant le nombre de punctures. L'hypothèse $r \geq 5$ est requise pour la caractérisation groupe-théorique de savoir si une quasi-section géométrique est cuspidale ou non-cuspidale. La méthode repose sur l'analyse des courbes quotients de type $(0, r-1)$ ; ainsi, pour appliquer la caractérisation de manière inductive, il faut que $r-1 \geq 4$. L'article reconnaît que le cas $r=3$ est exceptionnel et peut être prouvé (Proposition 6.6), mais que le cas général $r=4$ reste ouvert, car la caractérisation groupe-théorique nécessaire pour $r=3$ n'est pas actuellement connue.

En résumé, l'article étend avec succès la reconstruction anabelienne au niveau métabélien pour les courbes de genre zéro possédant suffisamment de punctures, comblant ainsi l'écart entre l'échec abélien et les succès de solvabilité à étapes supérieures.