Smooth categories in a 6 functor formalism and compact generation for nuclear categories in analytic geometry

Resumo Técnico: Categorias Suaves em um Formalismo de Seis Funtores e Geração Compacta para Categorias Nucleares em Geometria Analítica

Enunciado do Problema
O artigo aborda uma incompatibilidade fundamental entre as definições categóricas padrão de suavidade e própria na geometria algébrica não comutativa e o contexto analítico. No contexto algébrico, uma variedade $X$ é suave se e somente se sua categoria associada de complexos perfeitos, $\text{Perf}(X)$, é uma $\infty$-categoria suave (definida via dualizabilidade do bimódulo diagonal). No entanto, na geometria analítica rígida, o produto tensorial padrão de $\infty$-categorias estáveis e presentes falha em satisfazer a fórmula de Künneth para álgebras de Tate (por exemplo, $\text{Perf}(k\langle t \rangle) \otimes_k \text{Perf}(k\langle u \rangle) \neq \text{Perf}(k\langle t, u \rangle)$). Consequentemente, a noção categórica padrão de suavidade é intrinsecamente algébrica e inadequada para variedades analíticas. Essa falha leva a uma desconexão onde uma variedade analítica rígida $X$ pode ser geometricamente suave, contudo $\text{Perf}(X)$ falha em ser categoricamente suave a menos que $X$ seja algebraizável (isto é, surja de um esquema algébrico).

Metodologia
Para resolver isso, o autor emprega o arcabouço da matemática condensada e dos pilhas analíticas desenvolvido por Clausen e Scholze. A metodologia procede através de várias etapas-chave:

1. Geometria Analítica Rígida Derivada: O artigo utiliza a teoria das álgebras afinoides animadas e dos espaços analíticos rígidos derivados (seguindo Mikaelian e Porta–Yu). Esses espaços são construídos colando álgebras afinoides animadas ao longo de localizações racionais.
2. Categorias Nucleares: Em vez de trabalhar com $\text{Perf}(X)$, o autor foca na $\infty$-categoria de feixes nucleares, denotada $\text{Nuc}(X)$. Categorias nucleares, introduzidas na matemática condensada, são rígidas e admitem um produto tensorial "completado" que satisfaz a fórmula de Künneth para variedades rígidas.
3. Formalismo de Seis Funtores: Um robusto formalismo de seis funtores é estabelecido para categorias nucleares sobre espaços analíticos rígidos derivados. Este formalismo inclui os funtores de pullback ($f^*$), pushforward ($f_*$) e o lower shriek ($f_!$), com $f_!$ identificado com $f_*$ para mapas quasi-compactos e semi-separados.
4. Suavidade Relativa: O artigo define $\infty$-categorias internamente suaves relativas a uma $\infty$-categoria base simétrica monoidal $\mathcal{V}$ (especificamente $\text{Nuc}(k)$). Uma $\infty$-categoria $\mathcal{C}$ é internamente suave se o mapa de coavaliação admite um adjunto direito $\mathcal{V}$-linear que preserva colimites.
5. Geração Atômica: O estudo investiga a existência de um único gerador compacto (ou "atômico") para essas categorias, vinculando essa propriedade à algebraização da variedade subjacente.

Principais Contribuições e Resultados

• Equivalência entre Suavidade Geométrica e Categórica: O resultado primário (Teorema 1.4 / Teorema 5.1) estabelece que, para uma variedade analítica rígida clássica $X$ sobre um corpo não arquimediano $k$, $X$ é geometricamente suave se e somente se a $\infty$-categoria $\text{Nuc}(X)$ é internamente suave sobre $\text{Nuc}(k)$. Isso é alcançado provando que o mapa diagonal $\Delta^* \mathcal{O}_X$ é um complexo perfeito (objeto compacto) em $\text{Nuc}(X \hat{\times} X)$ se e somente se $X$ é suave.
• GAGA para Categorias Nucleares: O artigo prova um teorema do tipo GAGA (Corolário 5.7) relacionando a categoria nuclear de uma analitificação $X^{\text{an}}$ à categoria algébrica: $\text{Nuc}(X^{\text{an}}) \simeq \text{QCoh}(X) \otimes_{\text{Mod}_k} \text{Nuc}(k)$.
• Caracterização de Algebraizabilidade: O Teorema 1.8 (Teorema 5.9) fornece um critério categórico para algebraização. Uma variedade analítica rígida suave, própria, quasi-compacta e separada $X$ é algebraizável se e somente se $\text{Nuc}(X)$ admite um único gerador $\text{Nuc}(k)$-atômico (equivalentemente, compacto).
• Contraexemplo à Conjectura 1.7: O artigo constrói um contraexemplo à conjectura de que toda $\infty$-categoria $\mathcal{V}$-linear suave e gerada atômica admite um único gerador atômico (Conjectura 1.7). Ao considerar uma variedade analítica rígida suave e própria não algebraizável (por exemplo, a superfície de Hopf $p$-ádica), o autor demonstra que $\text{Nuc}(X)$ é internamente suave, mas falha em ter um único gerador compacto. Isso mostra que a propriedade de colar geradores compactos locais para formar um global, que vale na geometria algébrica, falha na topologia analítica.

Significância
O artigo reivindica significância em três áreas principais:

1. Geometria Analítica Não Comutativa: Transporta com sucesso a poderosa maquinaria da suavidade categórica para a geometria analítica rígida, substituindo o produto tensorial padrão pelo produto tensorial nuclear. Isso permite uma caracterização não comutativa precisa da suavidade geométrica que anteriormente era obstruída pela falha da fórmula de Künneth no contexto clássico.
2. Critérios de Algebraização: Fornece um novo método puramente categórico para detectar se uma variedade analítica rígida é algebraizável, vinculando a existência de um gerador compacto global na categoria nuclear à propriedade geométrica de algebraização.
3. Distinções Fundamentais: Os resultados destacam uma diferença estrutural fundamental entre as topologias algébrica e analítica. Especificamente, a falha da "colagem de geradores compactos locais" no contexto analítico serve como um contraexemplo a generalizações de resultados algébricos (como a Conjectura 1.7) para bases rígidas arbitrárias, demonstrando que o comportamento das categorias nucleares é distinto daquele dos módulos sobre anéis no contexto algébrico.

O artigo conclui que, embora o arcabouço categórico da suavidade possa ser adaptado à geometria analítica via matemática condensada e categorias nucleares, a teoria resultante revela limitações intrínsecas regarding a geração compacta que não existem no mundo algébrico.