On Galois categories and condensed contractible schemes

技術的サマリー：ガロア圏と凝縮可縮スキーム

問題提起
本論文は、「凝縮ホモトピー型」が可縮であるスキームの分類を取り扱う。スキームのガロア圏に関するバーウィック、グラスマン、ヘインの業績 [BGH20] と、それに続く凝縮ホモトピー型の研究 [HHL+25] に基づき、著者は、qcqs（準コンパクトかつ準分離）スキーム $X$ が $\Pi^{\text{cond}}_{\infty}(X) \simeq *$ を満たす条件を調査する。

スキームのエタールホモトピー型はしばしば予想通りに振る舞う（例えば、アフィン直線 $\mathbb{A}^1_{\mathbb{C}}$ はエタール可縮である）のに対し、凝縮ホモトピー型は追加的な情報を捉える。具体的には、[HHL+25] において $\mathbb{A}^1_{\mathbb{C}}$ が凝縮可縮ではなく、非自明な凝縮基本群を持つことが示された。本論文は、凝縮可縮であるスキームのクラスを体系的に特徴付け、一般のデデキント環に対する凝縮基本群を計算することを目的とし、エタール可縮であるが凝縮可縮ではないスキームの新たな例（$\text{Spec}(\mathbb{Z})$ など）を提供する。

手法
本論文は、凝縮ホモトピー型 $\Pi^{\text{cond}}_{\infty}(X) = B^{\text{cond}}\text{Gal}(X)$ の性質を導き出すために、凝縮ガロア圏 $\text{Gal}(X) \in \text{Cond}(\text{Cat})$ を分析する戦略を採用している。手法は、以下の 3 つの主要な技術的柱を通じて展開される。

1. $w$-可縮環による代替記述
   著者は、アフィンスキーム $X$ と極端に非連結なプロ有限集合 $S$ に対して、凝縮ガロア圏 $\text{Gal}(X)(S)$ の具体的な記述を与える。ブハットとショルツによって導入された $w$-可縮環の理論 [BS15] と、ルリーの超圏論 [Lur18] を活用することで、$\text{Gal}(X)(S)$ と $X$ 上の $S$-連結な $w$-可縮環の圏との同値が確立される。これにより、抽象的な凝縮圏が、具体的な代数的対象（環）およびそれらの厳密ヘンゼル化と結びつけられる。

2. 層化ホモトピー理論
   凝縮基本群を計算するために、本論文は [BGH20] で開発された層化空間および空間的デコラージュの枠組みを利用する。デデキント環 $A$ に対して、ガロア圏は $\text{Spec}(A)$ のザリスキー半順序集合上で層化される。凝縮ホモトピー型は、この層化の神経上の余極限として計算され、これにより位相データが絶対ガロア群や慣性群を含む群論的商へと翻訳される。

3. 圏論的性質による分類
   本論文は、$\text{Gal}(X)$ が始対象または終対象を持つ条件を調査する。凝縮圏におけるそのような対象の存在は、基底となるスキームの特定の幾何学的性質（既約性、局所性、厳密ヘンゼル性）と同等であることが確立される。これは、点の基底圏 $\text{Pt}(X_{\text{ét}})$ とザリスキー半順序集合 $X^{\leq}_{\text{zar}}$ との関係を分析することに基づいている。

主要な貢献と結果

• ガロア圏の記述
  定理 3.38 は、アフィンスキーム $X$ に対して、圏 $\text{Gal}(X)(S)$ が $S$-連結な射を伴う $X$ 上の $S$-連結な $w$-可縮環の圏と同値であることを示す。これは、凝縮ガロア圏に対する具体的な代数的取っ掛かりを提供する。

• デデキント環の凝縮基本群の公式
  定理 4.25 は、分数体 $K$ を持つデデキント環 $A$ の凝縮基本群の基底となる群に対する明示的な公式を与える。それは以下のように述べる：
  $$\pi^{\text{cond}}_1(\text{Spec}(A), \bar{\eta})(*) \cong G_K / N$$
  ここで、$G_K$ は $K$ の絶対ガロア群であり、$N$ は $A$ の有限素点 $p \subset A$ におけるすべての慣性群 $I_p$ によって生成される部分群の正規閉包である。

• $\text{Spec}(\mathbb{Z})$ の非可縮性
  上記の公式を適用することで、例 4.29 は $A = \mathbb{Z}$ に対して、商 $G_{\mathbb{Q}}/N$ が非自明（具体的には、そのアーベル化が非自明）であることを示す。これは、$\text{Spec}(\mathbb{Z})$ が自明なエタールホモトピー群と自明なプロエタール基本群を持つにもかかわらず、凝縮可縮ではないことを証明する。これは、$\mathbb{A}^1_{\mathbb{C}}$ に次いで、凝縮ホモトピー理論をそのエタール先行者と区別する 2 つの主要な例となる。

• 凝縮可縮スキームの分類
  本論文は、ガロア圏が始対象または終対象を持つスキームの完全な分類を提供し、これは凝縮可縮性を意味する：

  • 終対象：$\text{Gal}(X)$ が終対象を持つのは、$X$ が既約かつ至る所厳密局所的であるとき、かつそのときに限る（定理 5.16）。
  • 始対象：$\text{Gal}(X)$ が始対象を持つのは、$X$ が厳密ヘンゼル局所環のスペクトルであるとき、かつそのときに限る（定理 5.30）。
    いずれの場合も、そのスキームは凝縮可縮であることが示される。

• 超圏との関係
  本論文は、ガロア圏とルリーの超圏との関係を明確にし、点の凝縮圏 $\text{Pt}(X)$（非一貫関手を含む）が超圏であり、包含写像 $\text{Gal}(X) \hookrightarrow \text{Pt}(X)$ が分類凝縮アニマにおいて同値を誘導することを示す。

意義
本論文は、凝縮ホモトピー型をエタールホモトピー型とは異なる不変量として理解を深める点に意義を有すると主張する。スキームがいつ凝縮可縮であるかを正確に特徴付けることで、凝縮数学が古典的なエタール法やプロエタール法には見えない「隠れた」位相的複雑性（$\text{Spec}(\mathbb{Z})$ 上の非自明な局所系など）を検出する境界を画する。デデキント環に対する凝縮基本群の明示的な計算は、古典的には類似しているが凝縮的には異なるスキームを区別するための新たな道具を提供する。さらに、分類結果は、スキームのホモトピー的自明性をその代数的構造（厳密ヘンゼル性と既約性）に直接結びつけ、凝縮可縮性に対する構造的基準を提供する。