On Galois categories and condensed contractible schemes

Résumé technique : Catégories de Galois et schémas condensés contractiles

Énoncé du problème
L'article traite de la classification des schémas dont le « type d'homotopie condensé » est contractile. S'appuyant sur les travaux de Barwick, Glasman et Haine [BGH20] concernant la catégorie de Galois d'un schéma, et sur l'étude ultérieure des types d'homotopie condensés dans [HHL+25], l'auteur examine les conditions sous lesquelles un schéma qcqs (quasi-compact et quasi-séparé) $X$ satisfait $\Pi^{\text{cond}}_{\infty}(X) \simeq *$.

Alors que le type d'homotopie étale d'un schéma se comporte souvent comme prévu (par exemple, la droite affine $\mathbb{A}^1_{\mathbb{C}}$ est étale contractile), le type d'homotopie condensé capture des informations supplémentaires. Plus précisément, [HHL+25] a démontré que $\mathbb{A}^1_{\mathbb{C}}$ n'est pas condensé contractile, possédant un groupe fondamental condensé non trivial. Cet article vise à caractériser systématiquement la classe des schémas qui sont condensés contractiles et à calculer les groupes fondamentaux condensés pour les domaines de Dedekind généraux, fournissant ainsi de nouveaux exemples de schémas qui sont étale contractiles mais pas condensés contractiles (tels que $\text{Spec}(\mathbb{Z})$).

Méthodologie
L'article emploie une stratégie consistant à analyser la catégorie de Galois condensée $\text{Gal}(X) \in \text{Cond}(\text{Cat})$ pour déduire les propriétés du type d'homotopie condensé $\Pi^{\text{cond}}_{\infty}(X) = B^{\text{cond}}\text{Gal}(X)$. La méthodologie procède à travers trois piliers techniques principaux :

1. Description alternative via les anneaux $w$-contractiles :
   L'auteur fournit une description concrète de la catégorie de Galois condensée $\text{Gal}(X)(S)$ pour un schéma affine $X$ et un ensemble profini extrémement discontinu $S$. En exploitant la théorie des anneaux $w$-contractiles (introduite par Bhatt et Scholze [BS15]) et la théorie des ultracatégories de Lurie [Lur18], l'article établit une équivalence entre $\text{Gal}(X)(S)$ et la catégorie des anneaux $w$-contractiles $S$-connexes au-dessus de $X$. Cela relie la catégorie condensée abstraite à des objets algébriques spécifiques (anneaux) et à leurs hensélisations strictes.

2. Théorie de l'homotopie stratifiée :
   Pour calculer les groupes fondamentaux condensés, l'article utilise le cadre des espaces stratifiés et des décollages spatiaux développés dans [BGH20]. Pour un domaine de Dedekind $A$, la catégorie de Galois est stratifiée sur l'ensemble ordonné de Zariski de $\text{Spec}(A)$. Le type d'homotopie condensé est calculé comme une colimite sur le nerf de cette stratification, permettant la traduction des données topologiques en quotients de théorie des groupes impliquant les groupes de Galois absolus et les groupes d'inertie.

3. Classification via les propriétés catégorielles :
   L'article examine les conditions sous lesquelles $\text{Gal}(X)$ possède un objet initial ou terminal. Il établit que l'existence de tels objets dans la catégorie condensée est équivalente à des propriétés géométriques spécifiques du schéma sous-jacent (irréductibilité, localité et hensélisation stricte). Cela repose sur l'analyse de la catégorie sous-jacente des points $\text{Pt}(X_{\text{ét}})$ et de sa relation avec l'ensemble ordonné de Zariski $X^{\leq}_{\text{zar}}$.

Contributions et résultats clés

• Description de la catégorie de Galois :
  Le théorème 3.38 établit que pour un schéma affine $X$, la catégorie $\text{Gal}(X)(S)$ est équivalente à la catégorie des anneaux $w$-contractiles $S$-connexes au-dessus de $X$ avec des morphismes $S$-connexes. Cela fournit une prise en main algébrique concrète de la catégorie de Galois condensée.

• Formule pour les groupes fondamentaux condensés des domaines de Dedekind :
  Le théorème 4.25 fournit une formule explicite pour le groupe sous-jacent du groupe fondamental condensé d'un domaine de Dedekind $A$ avec corps des fractions $K$. Il énonce :
  $$\pi^{\text{cond}}_1(\text{Spec}(A), \bar{\eta})(*) \cong G_K / N$$
  où $G_K$ est le groupe de Galois absolu de $K$, et $N$ est la clôture normale du sous-groupe engendré par tous les groupes d'inertie $I_p$ aux nombres premiers finis $p \subset A$.

• Non-contracilité de $\text{Spec}(\mathbb{Z})$ :
  En appliquant la formule ci-dessus, l'exemple 4.29 démontre que pour $A = \mathbb{Z}$, le quotient $G_{\mathbb{Q}}/N$ est non trivial (spécifiquement, son abélianisé est non trivial). Cela prouve que $\text{Spec}(\mathbb{Z})$ n'est pas condensé contractile, malgré l'avoir des groupes d'homotopie étale triviaux et un groupe fondamental pro-étale trivial. Cela sert de second exemple majeur (après $\mathbb{A}^1_{\mathbb{C}}$) distinguant la théorie de l'homotopie condensée de son prédécesseur étale.

• Classification des schémas condensés contractiles :
  L'article fournit une classification complète des schémas dont les catégories de Galois possèdent des objets initiaux ou terminaux, ce qui implique la contracilité condensée :

  • Objet terminal : $\text{Gal}(X)$ possède un objet terminal si et seulement si $X$ est irréductible et partout strictement local (Théorème 5.16).
  • Objet initial : $\text{Gal}(X)$ possède un objet initial si et seulement si $X$ est le spectre d'un anneau local strictement hensélien (Théorème 5.30).
    Dans les deux cas, il est démontré que les schémas sont condensés contractiles.

• Relation avec les ultracatégories :
  L'article clarifie la relation entre la catégorie de Galois et les ultracatégories de Lurie, montrant que la catégorie condensée des points $\text{Pt}(X)$ (incluant les foncteurs non cohérents) est une ultracatégorie, et que l'inclusion $\text{Gal}(X) \hookrightarrow \text{Pt}(X)$ induit une équivalence sur les animas condensées classifiantes.

Signification
L'article revendique une importance dans l'affinement de la compréhension du type d'homotopie condensé en tant qu'invariant distinct du type d'homotopie étale. En caractérisant exactement quand un schéma est condensé contractile, il délimite la frontière où les mathématiques condensées détectent une complexité topologique « cachée » (comme les systèmes locaux non triviaux sur $\text{Spec}(\mathbb{Z})$) qui est invisible pour les méthodes étale ou pro-étale classiques. Le calcul explicite du groupe fondamental condensé pour les domaines de Dedekind offre un nouvel outil pour distinguer des schémas classiquement similaires mais condensés-distincts. De plus, les résultats de classification lient la trivialité homotopique d'un schéma directement à sa structure algébrique (hensélisation stricte et irréductibilité), fournissant un critère structurel pour la contracilité condensée.