Tensor triangular geometry -- Notes for an Oberwolfach Seminar

Resumo Técnico: Notas de Geometria Triangular Tensorial para um Seminário Oberwolfach

Problema e Escopo
O artigo aborda a classificação de ideais tensoriais espessos e localizantes dentro de categorias trianguladas que surgem na teoria de representações modulares, especificamente aquelas associadas a grupos finitos. O problema central é estabelecer uma "estratificação" dessas categorias por meio de um espaço topológico apropriado, reduzindo assim a classificação global de subcategorias a um problema local. O autor, Henning Krause, desenvolve um quadro unificado para a teoria de suporte que se aplica a dois cenários principais: categorias trianguladas equipadas com uma estrutura monoidal (tensorial) e aquelas que admitem uma ação por um anel comutativo graduado. O objetivo final é classificar essas subcategorias calculando seu suporte, com foco específico nas categorias derivadas de representações modulares de grupos finitos.

Metodologia
A metodologia baseia-se na interação entre a teoria de reticulados, cohomologia local e a geometria dos espectros de ideais primos. A abordagem é estruturada da seguinte forma:

1. Reticulado de Subcategorias Espessas: O autor estabelece primeiro a estrutura de reticulado das subcategorias espessas. Um conceito-chave introduzido é a "comutatividade" entre pares de subcategorias espessas, definida via fatoração de morfismos ou isomorfismo de funtores de localização ($\Gamma_U \Gamma_V \cong \Gamma_{U \cap V}$). Demonstra-se que as subcategorias centrais (aquelas que comutam com todas as outras) formam um subreticulado distributivo e, sob certas condições, um quadro (frame).
2. Suporte via Ações Centrais: O artigo introduz o suporte cohomológico para objetos em uma categoria triangulada $\mathcal{T}$ sobre a qual age um anel comutativo graduado $R$. O suporte é definido como o conjunto de ideais primos $\mathfrak{p} \in \text{Spec } R$ onde a localização $x_{\mathfrak{p}}$ é não nula. O autor utiliza objetos de Koszul ($x//r$) para construir subcategorias espessas centrais $T_{V(\mathfrak{a})}$ associadas a ideais $\mathfrak{a} \subseteq R$.
3. Cohomologia Local e Categorias Fibradas: Para categorias trianguladas compactamente geradas, a teoria é estendida usando funtores de cohomologia local $\Gamma_Y$ suportados em subconjuntos localmente fechados $Y$ de um espaço $X$. Diz-se que a categoria é "fibada" sobre $X$ se houver um morfismo de reticulados dos subconjuntos abertos de $X$ para as subcategorias espessas de objetos compactos. Isso permite a definição de um suporte para objetos arbitrários via não anulação dos funtores de cohomologia local $\Gamma_{\mathfrak{p}}(x)$.
4. Estratificação: Uma categoria é definida como "estratificada" se satisfizer um princípio local-global (todo subcategoria localizante é a união de suas componentes locais) e uma condição de minimalidade (não existem subcategorias localizantes próprias não nulas nas componentes locais). Sob estratificação, o mapa de subcategorias localizantes para subconjuntos do espectro torna-se um isomorfismo de reticulados.
5. Comparação de Suportes: O artigo compara o suporte cohomológico (via ação de anel) com o suporte triangular tensorial (via o espectro de Balmer). Constrói-se um mapa de comparação $\rho_T: \text{Spc } \mathcal{T}^c \to \text{Spec } R$ e estabelecem-se condições sob as quais este mapa é um homeomorfismo, ligando as duas teorias de suporte.

Contribuições e Resultados Principais

• Teoria Geral de Estratificação: O artigo fornece um critério geral (Proposição 4.15, 4.18) para que uma categoria tensorial triangulada rigidamente compactamente gerada seja estratificada. Demonstra-se que a estratificação é equivalente ao mapa de suporte induzir um isomorfismo de reticulados entre ideais tensoriais localizantes e subconjuntos do espectro.
• Álgebras Diferenciais Graduadas (DG): A teoria é aplicada a álgebras DG. O Teorema 5.1 estabelece que, se $A$ é uma álgebra DG formal com cohomologia noetheriana $H^*(A)$, então $D(A)$ é estratificada via a ação canônica de $H^*(A)$.
• Grupos Abelianos Elementares $p$: Usando uma versão DG da correspondência de Bernstein–Gelfand–Gelfand (BGG), o artigo classifica ideais tensoriais espessos para a álgebra de grupo de um grupo abeliano elementar $p$. Mostra-se que o suporte cohomológico induz um isomorfismo de reticulados entre ideais tensoriais espessos e subconjuntos de Thomason do espectro do anel de cohomologia (Teorema 5.9).
• Grupos Finitos (Ideais Espessos): Ao reduzir o problema a subgrupos abelianos elementares via estratificação de Quillen da cohomologia de grupos, o artigo classifica ideais tensoriais espessos na categoria derivada limitada de módulos finitamente gerados para um grupo finito arbitrário $G$ (Teorema 5.14). A classificação é dada pelo suporte cohomológico sobre $H^*(G, k)$.
• Grupos Finitos (Ideais Localizantes): Os resultados são estendidos à categoria compactamente gerada $K(\text{Inj } kG)$ (a categoria homotópica de complexos de módulos injetivos). O Teorema 6.17 estabelece que $K(\text{Inj } kG)$ é estratificada via a ação de $H^*(G, k)$, resultando em uma classificação completa de ideais tensoriais localizantes por subconjuntos de $\text{Spec } H^*(G, k)$.
• Categorias de Módulos Estáveis: Como consequência, mostra-se que a categoria de módulos estáveis $\text{StMod } kG$ é estratificada via o espectro projetivo $\text{Proj } H^*(G, k)$ (Observação 6.18).

Significado e Alegações
O artigo alega fornecer um quadro abrangente para entender a estrutura de categorias trianguladas na teoria de representações modulares. Seu significado principal reside na "categorificação" da estratificação de Quillen da cohomologia de grupos. Ao estabelecer que a categoria derivada de representações modulares é estratificada, o artigo demonstra que a classificação de ideais tensoriais espessos e localizantes é inteiramente determinada pelo anel de cohomologia do grupo.

O autor observa que estas notas não são exaustivas, mas são projetadas para ser autocontidas, desenvolvendo os conceitos necessários (como o reticulado de subcategorias espessas, ações centrais e cohomologia local) especificamente para facilitar aplicações na teoria de representações modulares. O trabalho baseia-se em resultados fundamentais de Quillen, Benson, Carlson, Rickard, Neeman e Balmer, sintetizando-os em uma teoria coerente de suporte e estratificação. Os resultados confirmam que, para grupos finitos, o "espectro" que governa a geometria triangular tensorial é precisamente o espectro do anel de cohomologia do grupo.