On Galois categories and condensed contractible schemes

技术摘要：伽罗瓦范畴与凝聚可缩概形

问题陈述
本文旨在对“凝聚同伦型”为可缩的概形进行分类。基于 Barwick、Glasman 和 Haine [BGH20] 关于概形伽罗瓦范畴的工作，以及随后在 [HHL+25] 中对凝聚同伦型的研究，作者探讨了何时一个拟紧拟分离（qcqs）概形 $X$ 满足 $\Pi^{\text{cond}}_{\infty}(X) \simeq *$。

虽然概形的 étale 同伦型通常表现符合预期（例如，仿射直线 $\mathbb{A}^1_{\mathbb{C}}$ 是 étale 可缩的），但凝聚同伦型捕捉到了额外的信息。具体而言，[HHL+25] 证明了 $\mathbb{A}^1_{\mathbb{C}}$ 并非凝聚可缩，其拥有一个非平凡的凝聚基本群。本文旨在系统地刻画那些是凝聚可缩的概形类，并计算一般戴德金整环的凝聚基本群，从而提供新的例子，展示那些是 étale 可缩但非凝聚可缩的概形（例如 $\text{Spec}(\mathbb{Z})$）。

方法论
本文采用分析凝聚伽罗瓦范畴 $\text{Gal}(X) \in \text{Cond}(\text{Cat})$ 的策略，以推导凝聚同伦型 $\Pi^{\text{cond}}_{\infty}(X) = B^{\text{cond}}\text{Gal}(X)$ 的性质。方法论通过三个主要技术支柱展开：

1. 通过 $w$-可缩环的替代描述：
   作者为仿射概形 $X$ 和极不连通（extremally disconnected）的 profinite 集 $S$，提供了凝聚伽罗瓦范畴 $\text{Gal}(X)(S)$ 的具体描述。通过利用 Bhatt 和 Scholze [BS15] 引入的 $w$-可缩环理论以及 Lurie 的超范畴（ultracategories）理论 [Lur18]，本文建立了 $\text{Gal}(X)(S)$ 与 $X$ 上具有 $S$-连通性的 $w$-可缩环范畴之间的等价性。这将抽象的凝聚范畴与具体的代数对象（环）及其严格 Hensel 化联系起来。

2. 分层同伦理论：
   为了计算凝聚基本群，本文利用了 [BGH20] 中发展的分层空间和空间解构（spatial décollages）框架。对于戴德金整环 $A$，其伽罗瓦范畴在 $\text{Spec}(A)$ 的 Zariski 偏序集上进行分层。凝聚同伦型被计算为该分层神经（nerve）上的余极限，从而允许将拓扑数据转化为涉及绝对伽罗瓦群和惯性群的群论商。

3. 通过范畴性质的分类：
   本文研究了 $\text{Gal}(X)$ 拥有初始对象或终对象的条件。它确立了凝聚范畴中此类对象的存在性等价于底层概形的特定几何性质（不可约性、局部性以及严格 Hensel 性）。这依赖于分析点范畴 $\text{Pt}(X_{\text{ét}})$ 及其与 Zariski 偏序集 $X^{\leq}_{\text{zar}}$ 的关系。

主要贡献与结果

• 伽罗瓦范畴的描述：
  定理 3.38 确立了对于仿射概形 $X$，范畴 $\text{Gal}(X)(S)$ 等价于具有 $S$-连通态射的、$X$ 上的 $S$-连通 $w$-可缩环范畴。这为凝聚伽罗瓦范畴提供了具体的代数抓手。

• 戴德金整环凝聚基本群的公式：
  定理 4.25 给出了戴德金整环 $A$（其分式域为 $K$）的凝聚基本群底层群的显式公式。其表述为：
  $$\pi^{\text{cond}}_1(\text{Spec}(A), \bar{\eta})(*) \cong G_K / N$$
  其中 $G_K$ 是 $K$ 的绝对伽罗瓦群，$N$ 是由 $A$ 中所有有限素点 $p$ 处的惯性群 $I_p$ 生成的子群的正规闭包。

• $\text{Spec}(\mathbb{Z})$ 的非可缩性：
  应用上述公式，例 4.29 证明了对于 $A = \mathbb{Z}$，商群 $G_{\mathbb{Q}}/N$ 是非平凡的（具体而言，其阿贝尔化是非平凡的）。这证明了 $\text{Spec}(\mathbb{Z})$ 并非凝聚可缩，尽管其具有平凡的 étale 同伦群和平凡的 pro-étale 基本群。这构成了区分凝聚同伦理论与其 étale 前身的一个第二个主要例子（继 $\mathbb{A}^1_{\mathbb{C}}$ 之后）。

• 凝聚可缩概形的分类：
  本文提供了伽罗瓦范畴拥有初始对象或终对象的概形的完整分类，这意味着凝聚可缩性：

  • 终对象： $\text{Gal}(X)$ 拥有终对象当且仅当 $X$ 是不可约且处处严格局部的（定理 5.16）。
  • 初始对象： $\text{Gal}(X)$ 拥有初始对象当且仅当 $X$ 是严格 Hensel 局部环的谱（定理 5.30）。
    在这两种情况下，这些概形均被证明是凝聚可缩的。

• 与超范畴的关系：
  本文阐明了伽罗瓦范畴与 Lurie 的超范畴之间的关系，表明点凝聚范畴 $\text{Pt}(X)$（包括非相干函子）是一个超范畴，且包含映射 $\text{Gal}(X) \hookrightarrow \text{Pt}(X)$ 在分类凝聚 anima（anima）上诱导了等价。

意义
本文声称其意义在于完善了对凝聚同伦型作为一种区别于 étale 同伦型的不变量的理解。通过精确刻画一个概形何时是凝聚可缩的，它划定了凝聚数学检测到“隐藏”拓扑复杂性（例如 $\text{Spec}(\mathbb{Z})$ 上非平凡的局部系）的边界，而这些复杂性对经典的 étale 或 pro-étale 方法是不可见的。对戴德金整环凝聚基本群的显式计算提供了一种新工具，用于区分那些在经典意义上相似但在凝聚意义上不同的概形。此外，分类结果将概形的同伦平凡性直接与其代数结构（严格 Hensel 性和不可约性）联系起来，为凝聚可缩性提供了结构判据。