On Galois categories and condensed contractible schemes

Technical Summary: Galois Categories and Condensed Contractible Schemes

Problem Statement
The paper addresses the classification of schemes whose "condensed homotopy type" is contractible. Building on the work of Barwick, Glasman, and Haine [BGH20] regarding the Galois category of a scheme, and the subsequent study of condensed homotopy types in [HHL+25], the author investigates when a qcqs (quasi-compact and quasi-separated) scheme $X$ satisfies $\Pi^{\text{cond}}_{\infty}(X) \simeq *$.

While the étale homotopy type of a scheme often behaves as expected (e.g., the affine line $\mathbb{A}^1_{\mathbb{C}}$ is étale contractible), the condensed homotopy type captures additional information. Specifically, [HHL+25] demonstrated that $\mathbb{A}^1_{\mathbb{C}}$ is not condensed contractible, possessing a non-trivial condensed fundamental group. This paper seeks to systematically characterize the class of schemes that are condensed contractible and to compute condensed fundamental groups for general Dedekind domains, providing new examples of schemes that are étale contractible but not condensed contractible (such as $\text{Spec}(\mathbb{Z})$).

Methodology
The paper employs a strategy of analyzing the condensed Galois category $\text{Gal}(X) \in \text{Cond}(\text{Cat})$ to deduce properties of the condensed homotopy type $\Pi^{\text{cond}}_{\infty}(X) = B^{\text{cond}}\text{Gal}(X)$. The methodology proceeds through three main technical pillars:

1. Alternative Description via $w$-Contractible Rings:
   The author provides a concrete description of the condensed Galois category $\text{Gal}(X)(S)$ for an affine scheme $X$ and an extremally disconnected profinite set $S$. By leveraging the theory of $w$-contractible rings (introduced by Bhatt and Scholze [BS15]) and Lurie's theory of ultracategories [Lur18], the paper establishes an equivalence between $\text{Gal}(X)(S)$ and the category of $S$-connected $w$-contractible rings over $X$. This connects the abstract condensed category to specific algebraic objects (rings) and their strict henselizations.

2. Stratified Homotopy Theory:
   To compute condensed fundamental groups, the paper utilizes the framework of stratified spaces and spatial décollages developed in [BGH20]. For a Dedekind domain $A$, the Galois category is stratified over the Zariski poset of $\text{Spec}(A)$. The condensed homotopy type is computed as a colimit over the nerve of this stratification, allowing the translation of topological data into group-theoretic quotients involving absolute Galois groups and inertia groups.

3. Classification via Categorical Properties:
   The paper investigates conditions under which $\text{Gal}(X)$ possesses an initial or terminal object. It establishes that the existence of such objects in the condensed category is equivalent to specific geometric properties of the underlying scheme (irreducibility, localness, and strict henselianity). This relies on analyzing the underlying category of points $\text{Pt}(X_{\text{ét}})$ and its relationship to the Zariski poset $X^{\leq}_{\text{zar}}$.

Key Contributions and Results

• Description of the Galois Category:
  Theorem 3.38 establishes that for an affine scheme $X$, the category $\text{Gal}(X)(S)$ is equivalent to the category of $S$-connected $w$-contractible rings over $X$ with $S$-connected morphisms. This provides a concrete algebraic handle on the condensed Galois category.

• Formula for Condensed Fundamental Groups of Dedekind Domains:
  Theorem 4.25 provides an explicit formula for the underlying group of the condensed fundamental group of a Dedekind domain $A$ with fraction field $K$. It states:
  $$\pi^{\text{cond}}_1(\text{Spec}(A), \bar{\eta})(*) \cong G_K / N$$
  where $G_K$ is the absolute Galois group of $K$, and $N$ is the normal closure of the subgroup generated by all inertia groups $I_p$ at finite primes $p \subset A$.

• Non-Contractibility of $\text{Spec}(\mathbb{Z})$:
  Applying the above formula, Example 4.29 demonstrates that for $A = \mathbb{Z}$, the quotient $G_{\mathbb{Q}}/N$ is non-trivial (specifically, its abelianization is non-trivial). This proves that $\text{Spec}(\mathbb{Z})$ is not condensed contractible, despite having trivial étale homotopy groups and a trivial pro-étale fundamental group. This serves as a second major example (after $\mathbb{A}^1_{\mathbb{C}}$) distinguishing condensed homotopy theory from its étale predecessor.

• Classification of Condensed Contractible Schemes:
  The paper provides a complete classification of schemes whose Galois categories have initial or terminal objects, which implies condensed contractibility:

  • Terminal Object: $\text{Gal}(X)$ has a terminal object if and only if $X$ is irreducible and everywhere strictly local (Theorem 5.16).
  • Initial Object: $\text{Gal}(X)$ has an initial object if and only if $X$ is the spectrum of a strictly henselian local ring (Theorem 5.30).
    In both cases, the schemes are shown to be condensed contractible.

• Relation to Ultracategories:
  The paper clarifies the relationship between the Galois category and Lurie's ultracategories, showing that the condensed category of points $\text{Pt}(X)$ (including non-coherent functors) is an ultracategory, and that the inclusion $\text{Gal}(X) \hookrightarrow \text{Pt}(X)$ induces an equivalence on classifying condensed anima.

Significance
The paper claims significance in refining the understanding of the condensed homotopy type as a distinct invariant from the étale homotopy type. By characterizing exactly when a scheme is condensed contractible, it delineates the boundary where condensed mathematics detects "hidden" topological complexity (such as non-trivial local systems on $\text{Spec}(\mathbb{Z})$) that is invisible to classical étale or pro-étale methods. The explicit computation of the condensed fundamental group for Dedekind domains offers a new tool for distinguishing schemes that are classically similar but condensed-distinct. Furthermore, the classification results link the homotopical triviality of a scheme directly to its algebraic structure (strict henselianity and irreducibility), providing a structural criterion for condensed contractibility.