Elementary anabelian varieties are anabelian

1. Énoncé du problème et contexte

L'article traite du programme de géométrie anabélienne initié par Alexander Grothendieck. La conjecture centrale postule que certaines variétés algébriques (variétés anabéliennes) sont entièrement déterminées par leurs groupes fondamentaux étales. Plus précisément, Grothendieck a conjecturé que, pour les courbes hyperboliques sur des corps finiment générés sur $\mathbb{Q}$, l'application naturelle de l'ensemble des morphismes entre variétés vers l'ensemble des homomorphismes entre leurs groupes fondamentaux (modulo conjugaison) est une bijection.

Bien que cette « conjecture Hom » et la « conjecture Isom » aient été prouvées pour les courbes hyperboliques par Shinichi Mochizuki (s'appuyant sur les travaux de Nakamura et Tamagawa), le statut pour les variétés de dimension supérieure restait ouvert. Grothendieck a spécifiquement suggéré que les variétés anabéliennes élémentaires (variétés construites via des fibrations itérées de courbes hyperboliques, également connues sous le nom de polycourbes hyperboliques) devraient être anabéliennes.

Le problème central :

1. Conjecture Isom : L'ensemble des isomorphismes entre deux polycourbes hyperboliques $X$ et $Y$ correspond-il bijectivement à l'ensemble des isomorphismes entre leurs groupes fondamentaux $\pi_1(X)$ et $\pi_1(Y)$ ?
2. Conjecture Hom dominante : Les morphismes dominants $X \to Y$ peuvent-ils être caractérisés de manière group-théorique ? Grothendieck avait initialement conjecturé que tout homomorphisme ouvert de groupes fondamentaux correspond à une application dominante. Cependant, l'auteur démontre que cela échoue pour $\dim(Y) \ge 2$. L'article cherche la bonne raffinement group-théorique (une sous-classe spécifique d'applications ouvertes) qui permet de retrouver les applications dominantes.

2. Méthodologie

L'auteur emploie une synthèse de géométrie algébrique, de théorie de Hodge $p$-adique et de théorie de l'homotopie étale. La méthodologie procède en plusieurs étapes clés :

• Entrée géométrique (Formes log-canoniques) :
  L'auteur établit d'abord une propriété géométrique des polycourbes hyperboliques. En utilisant des résultats de semi-positivité pour les fibrés canoniques et un argument de Riemann–Roch, il est prouvé que toute polycourbe hyperbolique $X$ admet un revêtement étale fini $X' \to X$ tel que $X'$ possède une forme log-canonique non nulle (une section globale du fibré log-canonique). Ceci est crucial pour distinguer les dimensions via la cohomologie.

• Non-dégénérescence via la théorie de Hodge-Tate :
  L'article introduit le concept d'homomorphismes non dégénérés (définis par Hoshi). Une application est dégénérée si elle se factorise à travers une variété de dimension inférieure.

  • L'auteur utilise la théorie de Hodge $p$-adique (spécifiquement la décomposition de Hodge-Tate) pour prouver que les applications cohomologiquement injectives de manière stable sont non dégénérées.
  • Logique : Si une application $\phi: \pi_1(X) \to \pi_1(Y)$ était dégénérée (se factorisant à travers $Z$ avec $\dim Z < \dim Y$), l'application induite sur la cohomologie s'annulerait sur le sous-espace de poids de Hodge-Tate de degré maximal (correspondant à la forme log-canonique). Cependant, la condition « cohomologiquement injective de manière stable » force cette application à être injective, conduisant à une contradiction.

• Étalement et spécialisation :
  Pour étendre les résultats des corps locaux $p$-adiques aux sous-corps $p$-adiques généraux, l'auteur utilise une technique d'« étalement ». Il construit des modèles lisses sur une variété de base et spécialise en un point fermé (un corps $p$-adique), préservant les propriétés cohomologiques pertinentes et les structures de groupes fondamentaux.

• Types d'homotopie étales :
  Pour les résultats les plus généraux, l'article utilise le type d'homotopie étale $\Pi(X)$ (au sens d'Artin-Mazur et de la théorie moderne des $\infty$-catégories). Cela permet de formuler la conjecture en termes de classes d'homotopie d'applications entre pro-espaces, contournant certaines limitations du travail uniquement avec les groupes fondamentaux.

3. Définitions clés

• Polycourbe hyperbolique : Une variété $X$ sur un corps $K$ admettant une suite de fibrations lisses $X = X_n \to X_{n-1} \to \dots \to X_0 = \text{Spec}(K)$ où chaque fibre est une courbe hyperbolique.
• Cohomologiquement injective de manière stable : Une application continue $\phi: \pi_1(X) \to \pi_1(Y)$ sur $G_K$ est cohomologiquement injective de manière stable si elle est ouverte, et si, pour tout sous-groupe ouvert $N \subset \pi_1(Y)$, l'application induite sur les anneaux de cohomologie $H^*(N, \mathbb{Q}_\ell) \to H^*(\phi^{-1}(N), \mathbb{Q}_\ell)$ est injective pour tous les nombres premiers $\ell$.
• Non dégénérée : Une application est non dégénérée si elle ne se factorise pas à travers le groupe fondamental d'une variété de dimension inférieure via une application surjective lisse.

4. Résultats principaux

Théorème A (La conjecture Isom pour les polycourbes)

Soient $X$ et $Y$ des variétés anabéliennes élémentaires (polycourbes hyperboliques) sur un sous-corps $p$-adique $K$. L'application naturelle :
$$\text{Isom}_K(X, Y) \longrightarrow \text{Isom}_{G_K}(\pi_1(X), \pi_1(Y))$$
est une bijection.

• Signification : Cela confirme la conjecture de Grothendieck pour cette large classe de variétés de dimension supérieure, étendant les résultats de Mochizuki sur les courbes.

Théorème C (Caractérisation des applications dominantes)

Soit $K$ un sous-corps $p$-adique, $X$ une variété $K(\pi, 1)$ propre et lisse, et $Y$ une polycourbe hyperbolique propre. L'application naturelle :
$$\text{Hom}^{\text{dom}}_K(X, Y) \longrightarrow \text{Hom}^{\text{sci}}_{G_K}(\pi_1(X), \pi_1(Y))$$
est une bijection, où le membre de droite consiste en les classes de conjugaison d'homomorphismes cohomologiquement injectifs de manière stable.

• Raffinement : Si $\dim(Y) \le 2$, l'hypothèse que $X$ est une $K(\pi, 1)$ n'est pas requise.
• Contre-exemple : L'article prouve (Exemple 3.13) que si $\dim(Y) \ge 3$, aucune caractérisation group-théorique des applications dominantes n'existe au sein de la classe de tous les homomorphismes ouverts (ou même au sein de la classe des applications provenant de variétés propres lisses). La condition « cohomologiquement injective de manière stable » est le raffinement nécessaire.

Théorème D (Généralisation homotopique étale)

Pour $X$ propre et lisse arbitraire et $Y$ polycourbe hyperbolique propre, l'application des morphismes dominants vers les classes d'homotopie d'applications cohomologiquement injectives de manière stable de types d'homotopie étales est une bijection :
$$\text{Hom}^{\text{dom}}_K(X, Y) \longrightarrow \pi_0(\text{Map}^{\text{sci}}_{BG_K}(\Pi(X), \Pi(Y)))$$
Cela fournit une réponse affirmative à la conjecture plus forte de Grothendieck lorsqu'elle est formulée dans le langage des types d'homotopie étales.

5. Signification et impact

1. Résolution de la lettre de Grothendieck à Faltings : L'article vérifie les conjectures spécifiques concernant les variétés anabéliennes élémentaires formulées dans la correspondance de Grothendieck, confirmant que ces variétés de dimension supérieure sont bien anabéliennes.
2. Caractérisation group-théorique précise : Il clarifie les limites de la géométrie anabélienne. Alors que Grothendieck espérait une correspondance simple entre les applications ouvertes et les morphismes dominants, cet article prouve que pour les dimensions $\ge 3$, une telle correspondance simple est impossible. L'introduction des applications cohomologiquement injectives de manière stable fournit la condition group-théorique exacte nécessaire pour retrouver la géométrie.
3. Avancée méthodologique : L'article intègre avec succès la log-géométrie (existence de formes log-canoniques sur les revêtements) avec la théorie de Hodge $p$-adique pour contrôler le comportement des homomorphismes de groupes fondamentaux. Cette technique utilisant l'injectivité cohomologique pour écarter les factorisations dégénérées est un nouvel outil puissant dans le domaine.
4. Extension des travaux de Mochizuki : Il généralise les résultats profonds sur les courbes hyperboliques à la classe des polycourbes hyperboliques, élargissant considérablement la portée des variétés anabéliennes connues.

En résumé, Magnus Carlson prouve que les polycourbes hyperboliques sont anabéliennes, mais seulement si l'on restreint les morphismes group-théoriques à ceux qui sont « cohomologiquement injectifs de manière stable », une condition qui garantit géométriquement que l'application ne réduit pas la dimension de la variété cible.