Coherent six-functor formalisms: Pro vs Solid

Resumo Técnico: Notas sobre Formalismos Coerentes de Seis Funtores: Pro vs Sólido

Declaração do Problema
O artigo aborda uma lacuna fundamental no formalismo de seis funtores de Grothendieck para feixes coerentes. Enquanto o formalismo está bem estabelecido para feixes construtíveis $\ell$-ádicos na cohomologia étale, o caso para feixes coerentes permanece incompleto. Especificamente, para uma imersão aberta $j: U \hookrightarrow X$, o funtor imagem direta excepcional $j_!$ não existe como um funtor entre categorias padrão de feixes (quasi)coerentes.

Historicamente, duas abordagens distintas foram propostas para resolver isso ampliando a categoria de feixes:

1. Abordagem de Deligne: Estende a categoria para feixes pro-coerentes (especificamente, sistemas pro indexados por $\mathbb{N}^{op}$) para construir $j_!$ [Har66, Apêndice].
2. Abordagem de Clausen-Scholze: Estende a categoria para módulos sólidos dentro do arcabouço da matemática condensada, fornecendo um tratamento robusto de $j_!$ em um contexto derivado [CS19a, Aula VIII].

A relação entre essas duas construções permaneceu obscura. Este artigo visa unir essas abordagens estabelecendo uma comparação precisa entre a construção de feixes pro de Deligne e a construção de módulos sólidos de Clausen-Scholze.

Metodologia e Arcabouço Técnico
O autor constrói um funtor de comparação natural $\Phi$ e analisa suas propriedades no contexto da matemática condensada e dos módulos topológicos.

1. Construção do Funtor:
   O artigo define um funtor $\Phi: \text{Pro}_{\mathbb{N}}\text{Mod}(A) \to \text{Solid}(A)$, onde $A$ é um anel comutativo. Este funtor mapeia um sistema pro $\varprojlim_{\mathbb{N}} M_i$ para o módulo sólido associado ao limite inverso dos módulos topológicos subjacentes (equipados com a topologia de limite inverso).

   • A construção procede em duas etapas:
     • $\Phi_1$: Mapeia sistemas pro para módulos topológicos ($\text{TopMod}(A)_{cgwh}$).
     • $\Phi_2$: Mapeia esses módulos topológicos para módulos condensados via o mergulho de Yoneda ($M \mapsto \text{Hom}_{\text{Top}}(-, M)$).
   • O composto $\Phi = \Phi_2 \circ \Phi_1$ fatora através da categoria de módulos sólidos, $\text{Solid}(A)$.

2. Análise da Fidelidade Plena:
   Um resultado técnico central envolve a restrição de $\Phi$ à subcategoria de sistemas pro Mittag-Leffler ($\text{Pro}^{ML}_{\mathbb{N}}\text{Mod}(A)$).

   • O autor prova que $\Phi$ é plenamente fiel quando restrito a sistemas Mittag-Leffler.
   • A prova baseia-se em mostrar que, para um sistema Mittag-Leffler, o mapa canônico do colimite de homomorfismos para os homomorfismos do limite é uma bijeção. Isso requer uma análise cuidadosa da topologia de limite inverso, utilizando especificamente o fato de que, para conjuntos de índice enumeráveis, a condição Mittag-Leffler garante que as aplicações de projeção se estabilizam sobre a imagem estável.
   • O artigo nota explicitamente que essa propriedade falha para conjuntos de índice não enumeráveis ou sistemas não-Mittag-Leffler, fornecendo um contraexemplo envolvendo sistemas indexados por $\omega_1$ onde o limite se anula apesar do sistema ser Mittag-Leffler.

3. Funtor Derivado e Compatibilidade:
   O artigo considera o funtor derivado à direita $R\Phi: D(\text{Pro}_{\mathbb{N}}\text{Mod}(A)) \to D(\text{Solid}(A))$. O teorema principal estabelece a compatibilidade de $R\Phi$ com os funtores $j_!$ definidos por Deligne ($j^{De}_!$) e Clausen-Scholze ($j^{CS}_!$).

Resultados Chave
O resultado primário é o Teorema 1.1 (detalhado nas Proposições 2.14 e 3.3):

• Existência e Propriedades de $\Phi$: Existe um funtor natural $\Phi: \text{Pro}_{\mathbb{N}}\text{Mod}(A) \to \text{Solid}(A)$. Este funtor é exato à esquerda. Sua restrição à subcategoria de sistemas pro Mittag-Leffler, $\Phi_{ML}$, é exata e plenamente fiel.

• Compatibilidade de $j_!$: Para uma álgebra $A$ de tipo finito sobre $\mathbb{Z}$ e um não-divisor de zero $f \in A$, seja $j: \text{Spec}(A[1/f]) \hookrightarrow \text{Spec}(A)$ a imersão aberta. O diagrama envolvendo os funtores derivados comuta:
  $$\begin{array}{ccc} \text{Mod}^{fp}(A[1/f]) & \xrightarrow{j^{De}_!} & D(\text{Solid}(A[1/f])) \\ \downarrow & & \downarrow \\ \text{Pro}_{\mathbb{N}}\text{Mod}^{fp}(A) & \xrightarrow{R\Phi} & D(\text{Solid}(A)) \end{array}$$
  Especificamente, $R\Phi \circ j^{De}_! \cong j^{CS}_! \circ R\Phi$ para módulos finitamente apresentados.

• Mecanismo de Prova para Compatibilidade: A prova envolve cálculos explícitos de ambos os lados do diagrama comutativo.

  • O $j^{De}_!$ de Deligne é realizado via o cone do mapa de um módulo finitamente apresentado $M'$ para sua completude $f$-ádica.
  • O $j^{CS}_!$ de Clausen-Scholze é computado usando o produto tensorial sólido e a resolução de $A[1/f]$ na categoria de módulos sólidos sobre $(A[T], A)$.
  • O autor demonstra que ambas as construções produzem objetos isomórficos na categoria derivada de módulos sólidos analisando a completude $f$-ádica $\widehat{M'}$ e sua localização, utilizando resultados de planicidade para o mapa $A \to \widehat{A}$ e a localização $A \to A[1/f]$.

Significado e Alegações
O artigo alega fornecer uma "unificação conceitual e estrutural" das duas abordagens para o funtor $j_!$ ausente. Ao provar que a construção clássica de Deligne via feixes pro coincide com a construção moderna de Clausen-Scholze via módulos sólidos, o trabalho reforça a compatibilidade de técnicas clássicas com ferramentas da matemática condensada.

O autor nota que, embora o teorema seja atualmente enunciado para um tipo específico de imersão aberta (definida por um não-divisor de zero em uma álgebra de tipo finito), o resultado oferece uma "ideia interessante" para o caso geral. O artigo não alega ter resolvido o caso geral para imersões abertas arbitrárias, mas declara uma expectativa de que o teorema se mantenha mais geralmente, com o plano de "colar o funtor $R\Phi$" em trabalhos futuros.

O trabalho é modesto em seu escopo, focando em estabelecer a ponte entre os dois arcabouços específicos, em vez de propor novas aplicações experimentais ou estender a teoria para contextos geométricos inteiramente novos além da comparação desses dois formalismos.