On Galois categories and condensed contractible schemes

Technische Samenvatting: Galois-categorieën en gecondenseerde contractibele schema's

Probleemstelling
Het artikel behandelt de classificatie van schema's waarvan het "gecondenseerde homotopietype" contractibel is. Op basis van het werk van Barwick, Glasman en Haine [BGH20] over de Galois-categorie van een schema, en het daaropvolgende onderzoek naar gecondenseerde homotopietypen in [HHL+25], onderzoekt de auteur wanneer een qcqs (quasi-compact en quasi-gescheiden) schema $X$ voldoet aan $\Pi^{\text{cond}}_{\infty}(X) \simeq *$.

Terwijl het étale homotopietype van een schema zich vaak zoals verwacht gedraagt (bijvoorbeeld is het affiene lijn $\mathbb{A}^1_{\mathbb{C}}$ étale contractibel), vangt het gecondenseerde homotopietype aanvullende informatie op. Specifiek toonde [HHL+25] aan dat $\mathbb{A}^1_{\mathbb{C}}$ niet gecondenseerd contractibel is, en een niet-triviale gecondenseerde fundamentele groep bezit. Dit artikel streeft ernaar om systematisch de klasse van schema's die wel gecondenseerd contractibel zijn te karakteriseren en om gecondenseerde fundamentele groepen te berekenen voor algemene Dedekind-domeinen, waardoor nieuwe voorbeelden van schema's worden geleverd die étale contractibel zijn maar niet gecondenseerd contractibel (zoals $\text{Spec}(\mathbb{Z})$).

Methodologie
Het artikel hanteert een strategie van het analyseren van de gecondenseerde Galois-categorie $\text{Gal}(X) \in \text{Cond}(\text{Cat})$ om eigenschappen van het gecondenseerde homotopietype $\Pi^{\text{cond}}_{\infty}(X) = B^{\text{cond}}\text{Gal}(X)$ af te leiden. De methodologie verloopt via drie hoofdpijlers:

1. Alternatieve Beschrijving via $w$-Contractibele Ringen:
   De auteur biedt een concrete beschrijving van de gecondenseerde Galois-categorie $\text{Gal}(X)(S)$ voor een affien schema $X$ en een extreem discontinue profijne verzameling $S$. Door gebruik te maken van de theorie van $w$-contractibele ringen (ingevoerd door Bhatt en Scholze [BS15]) en Lurie's theorie van ultracategorieën [Lur18], stelt het artikel een equivalentie vast tussen $\text{Gal}(X)(S)$ en de categorie van $S$-verbonden $w$-contractibele ringen over $X$. Dit verbindt de abstracte gecondenseerde categorie met specifieke algebraïsche objecten (ringen) en hun strikt henseliseren.

2. Gelaagde Homotopietheorie:
   Om gecondenseerde fundamentele groepen te berekenen, maakt het artikel gebruik van het raamwerk van gelaagde ruimten en ruimtelijke décollages ontwikkeld in [BGH20]. Voor een Dedekind-domein $A$ is de Galois-categorie gelaagd over de Zariski-positie van $\text{Spec}(A)$. Het gecondenseerde homotopietype wordt berekend als een colimiet over de nerve van deze gelaagdheid, waardoor het mogelijk wordt om topologische data te vertalen naar groepstheoretische quotiënten die absolute Galois-groepen en traagheidsgroepen omvatten.

3. Classificatie via Categorische Eigenschappen:
   Het artikel onderzoekt voorwaarden waaronder $\text{Gal}(X)$ een initieel of terminaal object bezit. Het stelt vast dat het bestaan van dergelijke objecten in de gecondenseerde categorie equivalent is aan specifieke geometrische eigenschappen van het onderliggende schema (onherleidbaarheid, localiteit en strikte henselianiteit). Dit berust op het analyseren van de onderliggende categorie van punten $\text{Pt}(X_{\text{ét}})$ en de relatie daarvan met de Zariski-positie $X^{\leq}_{\text{zar}}$.

Belangrijkste Bijdragen en Resultaten

• Beschrijving van de Galois-categorie:
  Stelling 3.38 stelt vast dat voor een affien schema $X$, de categorie $\text{Gal}(X)(S)$ equivalent is aan de categorie van $S$-verbonden $w$-contractibele ringen over $X$ met $S$-verbonden morfismen. Dit biedt een concrete algebraïsche handgreep op de gecondenseerde Galois-categorie.

• Formule voor Gecondenseerde Fundamentele Groepen van Dedekind-domeinen:
  Stelling 4.25 biedt een expliciete formule voor de onderliggende groep van de gecondenseerde fundamentele groep van een Dedekind-domein $A$ met breukveld $K$. Het stelt:
  $$\pi^{\text{cond}}_1(\text{Spec}(A), \bar{\eta})(*) \cong G_K / N$$
  waarbij $G_K$ de absolute Galois-groep is van $K$, en $N$ de normale sluiting is van de ondergroep gegenereerd door alle traagheidsgroepen $I_p$ bij eindige priemidealen $p \subset A$.

• Niet-Contractibiliteit van $\text{Spec}(\mathbb{Z})$:
  Door de bovenstaande formule toe te passen, toont Voorbeeld 4.29 aan dat voor $A = \mathbb{Z}$, het quotiënt $G_{\mathbb{Q}}/N$ niet-triviaal is (specifiek, is zijn abelianisatie niet-triviaal). Dit bewijst dat $\text{Spec}(\mathbb{Z})$ niet gecondenseerd contractibel is, ondanks het hebben van triviale étale homotopiegroepen en een triviale pro-étale fundamentele groep. Dit dient als een tweede groot voorbeeld (na $\mathbb{A}^1_{\mathbb{C}}$) dat de gecondenseerde homotopietheorie onderscheidt van zijn étale voorganger.

• Classificatie van Gecondenseerd Contractibele Schema's:
  Het artikel biedt een volledige classificatie van schema's waarvan de Galois-categorieën initieel of terminale objecten hebben, wat gecondenseerde contractibiliteit impliceert:

  • Tertiaal Object: $\text{Gal}(X)$ heeft een terminaal object dan en slechts dan als $X$ onherleidbaar en overal strikt lokaal is (Stelling 5.16).
  • Initieel Object: $\text{Gal}(X)$ heeft een initieel object dan en slechts dan als $X$ het spectrum is van een strikt henseliaans lokaal ring (Stelling 5.30).
    In beide gevallen wordt aangetoond dat de schema's gecondenseerd contractibel zijn.

• Relatie tot Ultracategorieën:
  Het artikel verduidelijkt de relatie tussen de Galois-categorie en Lurie's ultracategorieën, en toont aan dat de gecondenseerde categorie van punten $\text{Pt}(X)$ (inclusief niet-coherente functors) een ultracategorie is, en dat de inbedding $\text{Gal}(X) \hookrightarrow \text{Pt}(X)$ een equivalentie induceert op het classificeren van gecondenseerde anima.

Betekenis
Het artikel claimt betekenis in het verfijnen van het begrip van het gecondenseerde homotopietype als een onderscheiden invariant ten opzichte van het étale homotopietype. Door exact te karakteriseren wanneer een schema gecondenseerd contractibel is, schetst het de grens waar gecondenseerde wiskunde "verborgen" topologische complexiteit detecteert (zoals niet-triviale lokale systemen op $\text{Spec}(\mathbb{Z})$) die onzichtbaar is voor klassieke étale of pro-étale methoden. De expliciete berekening van de gecondenseerde fundamentele groep voor Dedekind-domeinen biedt een nieuw hulpmiddel om schema's te onderscheiden die klassiek vergelijkbaar zijn maar gecondenseerd verschillend. Bovendien koppelen de classificatieresultaten de homotopische trivialiteit van een schema direct aan zijn algebraïsche structuur (strikte henselianiteit en onherleidbaarheid), en bieden een structureel criterium voor gecondenseerde contractibiliteit.