On Galois categories and condensed contractible schemes

Resumo Técnico: Categorias de Galois e Esquemas Condensados Contráteis

Enunciado do Problema
O artigo aborda a classificação de esquemas cujo "tipo de homotopia condensado" é contrátil. Construindo sobre o trabalho de Barwick, Glasman e Haine [BGH20] relativo à categoria de Galois de um esquema, e o subsequente estudo dos tipos de homotopia condensados em [HHL+25], o autor investiga quando um esquema qcqs (quasi-compacto e quasi-separado) $X$ satisfaz $\Pi^{\text{cond}}_{\infty}(X) \simeq *$.

Enquanto o tipo de homotopia étale de um esquema frequentemente se comporta como esperado (por exemplo, a reta afim $\mathbb{A}^1_{\mathbb{C}}$ é étale contrátil), o tipo de homotopia condensado captura informações adicionais. Especificamente, [HHL+25] demonstrou que $\mathbb{A}^1_{\mathbb{C}}$ não é condensado contrátil, possuindo um grupo fundamental condensado não trivial. Este artigo busca caracterizar sistematicamente a classe de esquemas que são condensados contráteis e calcular grupos fundamentais condensados para domínios de Dedekind gerais, fornecendo novos exemplos de esquemas que são étale contráteis, mas não condensados contráteis (como $\text{Spec}(\mathbb{Z})$).

Metodologia
O artigo emprega uma estratégia de analisar a categoria de Galois condensada $\text{Gal}(X) \in \text{Cond}(\text{Cat})$ para deduzir propriedades do tipo de homotopia condensado $\Pi^{\text{cond}}_{\infty}(X) = B^{\text{cond}}\text{Gal}(X)$. A metodologia procede através de três pilares técnicos principais:

1. Descrição Alternativa via Anéis $w$-Contráteis:
   O autor fornece uma descrição concreta da categoria de Galois condensada $\text{Gal}(X)(S)$ para um esquema afim $X$ e um conjunto profinito extremamente desconexo $S$. Ao alavancar a teoria dos anéis $w$-contráteis (introduzida por Bhatt e Scholze [BS15]) e a teoria das ultracategorias de Lurie [Lur18], o artigo estabelece uma equivalência entre $\text{Gal}(X)(S)$ e a categoria de anéis $w$-contráteis $S$-conectados sobre $X$. Isso conecta a categoria condensada abstrata a objetos algébricos específicos (anéis) e suas henselizações estritas.

2. Teoria da Homotopia Estratificada:
   Para calcular grupos fundamentais condensados, o artigo utiliza o framework de espaços estratificados e décollages espaciais desenvolvidos em [BGH20]. Para um domínio de Dedekind $A$, a categoria de Galois é estratificada sobre o poset de Zariski de $\text{Spec}(A)$. O tipo de homotopia condensado é calculado como um colimite sobre o nervo dessa estratificação, permitindo a tradução de dados topológicos em quocientes teóricos de grupos envolvendo grupos de Galois absolutos e grupos de inércia.

3. Classificação via Propriedades Categóricas:
   O artigo investiga condições sob as quais $\text{Gal}(X)$ possui um objeto inicial ou terminal. Estabelece-se que a existência de tais objetos na categoria condensada é equivalente a propriedades geométricas específicas do esquema subjacente (irredutibilidade, localidade e henselianidade estrita). Isso depende da análise da categoria subjacente de pontos $\text{Pt}(X_{\text{ét}})$ e sua relação com o poset de Zariski $X^{\leq}_{\text{zar}}$.

Contribuições e Resultados Chave

• Descrição da Categoria de Galois:
  O Teorema 3.38 estabelece que, para um esquema afim $X$, a categoria $\text{Gal}(X)(S)$ é equivalente à categoria de anéis $w$-contráteis $S$-conectados sobre $X$ com morfismos $S$-conectados. Isso fornece uma alça algébrica concreta sobre a categoria de Galois condensada.

• Fórmula para Grupos Fundamentais Condensados de Domínios de Dedekind:
  O Teorema 4.25 fornece uma fórmula explícita para o grupo subjacente do grupo fundamental condensado de um domínio de Dedekind $A$ com corpo de frações $K$. Ele afirma:
  $$\pi^{\text{cond}}_1(\text{Spec}(A), \bar{\eta})(*) \cong G_K / N$$
  onde $G_K$ é o grupo de Galois absoluto de $K$, e $N$ é o fecho normal do subgrupo gerado por todos os grupos de inércia $I_p$ em primos finitos $p \subset A$.

• Não-Contratilidade de $\text{Spec}(\mathbb{Z})$:
  Aplicando a fórmula acima, o Exemplo 4.29 demonstra que, para $A = \mathbb{Z}$, o quociente $G_{\mathbb{Q}}/N$ é não trivial (especificamente, sua abelianização é não trivial). Isso prova que $\text{Spec}(\mathbb{Z})$ não é condensado contrátil, apesar de ter grupos de homotopia étale triviais e um grupo fundamental pro-étale trivial. Isso serve como um segundo exemplo majoritário (após $\mathbb{A}^1_{\mathbb{C}}$) que distingue a teoria da homotopia condensada de sua predecessora étale.

• Classificação de Esquemas Condensados Contráteis:
  O artigo fornece uma classificação completa dos esquemas cujas categorias de Galois possuem objetos iniciais ou terminais, o que implica contratilidade condensada:

  • Objeto Terminal: $\text{Gal}(X)$ possui um objeto terminal se e somente se $X$ for irredutível e estritamente local em todos os lugares (Teorema 5.16).
  • Objeto Inicial: $\text{Gal}(X)$ possui um objeto inicial se e somente se $X$ for o espectro de um anel local estritamente henseliano (Teorema 5.30).
    Em ambos os casos, os esquemas são mostrados como condensados contráteis.

• Relação com Ultracategorias:
  O artigo esclarece a relação entre a categoria de Galois e as ultracategorias de Lurie, mostrando que a categoria condensada de pontos $\text{Pt}(X)$ (incluindo funtores não coerentes) é uma ultracategoria, e que a inclusão $\text{Gal}(X) \hookrightarrow \text{Pt}(X)$ induz uma equivalência nas anima condensadas de classificação.

Significado
O artigo reivindica significado ao refinar a compreensão do tipo de homotopia condensado como um invariante distinto do tipo de homotopia étale. Ao caracterizar exatamente quando um esquema é condensado contrátil, ele delimita a fronteira onde a matemática condensada detecta complexidade topológica "oculta" (como sistemas locais não triviais em $\text{Spec}(\mathbb{Z})$) que é invisível para métodos étale ou pro-étale clássicos. O cálculo explícito do grupo fundamental condensado para domínios de Dedekind oferece uma nova ferramenta para distinguir esquemas que são classicamente similares, mas condensadamente distintos. Além disso, os resultados de classificação ligam a trivialidade homotópica de um esquema diretamente à sua estrutura algébrica (henselianidade estrita e irredutibilidade), fornecendo um critério estrutural para a contratilidade condensada.