Tensor triangular geometry -- Notes for an Oberwolfach Seminar

Resumen Técnico: Notas de Geometría Triangular Tensorial para un Seminario Oberwolfach

Problema y Alcance
El artículo aborda la clasificación de ideales tensoriales gruesos y localizantes dentro de categorías trianguladas que surgen en la teoría de representaciones modulares, específicamente aquellas asociadas a grupos finitos. El problema central es establecer una "estratificación" de estas categorías mediante un espacio topológico apropiado, reduciendo así la clasificación global de subcategorías a un problema local. El autor, Henning Krause, desarrolla un marco unificado para la teoría de soportes que se aplica a dos contextos principales: categorías trianguladas equipadas con una estructura monoidal (tensorial) y aquellas que admiten una acción por un anillo conmutativo graduado. El objetivo final es clasificar estas subcategorías calculando su soporte, con un enfoque específico en las categorías derivadas de representaciones modulares de grupos finitos.

Metodología
La metodología se basa en la interacción entre la teoría de retículos, la cohomología local y la geometría de los espectros de ideales primos. El enfoque se estructura de la siguiente manera:

1. Retículo de Subcategorías Gruesas: El autor establece primero la estructura de retículo de las subcategorías gruesas. Un concepto clave introducido es la "conmutatividad" entre pares de subcategorías gruesas, definida mediante la factorización de morfismos o el isomorfismo de functores de localización ($\Gamma_U \Gamma_V \cong \Gamma_{U \cap V}$). Se demuestra que las subcategorías centrales (aquellas que conmutan con todas las demás) forman un subretículo distributivo y, bajo ciertas condiciones, un marco.
2. Soporte mediante Acciones Centrales: El artículo introduce el soporte cohomológico para objetos en una categoría triangulada $\mathcal{T}$ actuada por un anillo conmutativo graduado $R$. El soporte se define como el conjunto de ideales primos $\mathfrak{p} \in \text{Spec } R$ donde la localización $x_{\mathfrak{p}}$ es no nula. El autor utiliza objetos de Koszul ($x//r$) para construir subcategorías gruesas centrales $T_{V(\mathfrak{a})}$ asociadas a ideales $\mathfrak{a} \subseteq R$.
3. Cohomología Local y Categorías Fibradas: Para categorías trianguladas generadas compactamente, la teoría se extiende utilizando functores de cohomología local $\Gamma_Y$ soportados en subconjuntos localmente cerrados $Y$ de un espacio $X$. Se dice que la categoría está "fibrada" sobre $X$ si existe un morfismo de retículos desde los subconjuntos abiertos de $X$ hacia las subcategorías gruesas de objetos compactos. Esto permite definir un soporte para objetos arbitrarios mediante la no anulación de los functores de cohomología local $\Gamma_{\mathfrak{p}}(x)$.
4. Estratificación: Una categoría se define como "estratificada" si satisface un principio local-global (toda subcategoría localizante es la unión de sus componentes locales) y una condición de minimalidad (no existen subcategorías localizantes propias no nulas en las componentes locales). Bajo la estratificación, el mapa desde las subcategorías localizantes hacia los subconjuntos del espectro se convierte en un isomorfismo de retículos.
5. Comparación de Soportes: El artículo compara el soporte cohomológico (mediante acción de anillo) con el soporte triangular tensorial (mediante el espectro de Balmer). Se construye un mapa de comparación $\rho_T: \text{Spc } \mathcal{T}^c \to \text{Spec } R$ y se establecen condiciones bajo las cuales este mapa es un homeomorfismo, vinculando ambas teorías de soporte.

Contribuciones y Resultados Clave

• Teoría General de Estratificación: El artículo proporciona un criterio general (Proposición 4.15, 4.18) para que una categoría tensorial triangulada rígida y generada compactamente sea estratificada. Demuestra que la estratificación es equivalente a que el mapa de soporte induzca un isomorfismo de retículos entre los ideales tensoriales localizantes y los subconjuntos del espectro.
• Álgebras Diferenciales Graduadas (DG): La teoría se aplica a álgebras DG. El Teorema 5.1 establece que si $A$ es un álgebra DG formal con cohomología noetheriana $H^*(A)$, entonces $D(A)$ está estratificada mediante la acción canónica de $H^*(A)$.
• Grupos Abelianos Elementales $p$: Utilizando una versión DG de la correspondencia de Bernstein–Gelfand–Gelfand (BGG), el artículo clasifica los ideales tensoriales gruesos para el álgebra de grupo de un grupo abeliano elemental $p$. Muestra que el soporte cohomológico induce un isomorfismo de retículos entre los ideales tensoriales gruesos y los subconjuntos de Thomason del espectro del anillo de cohomología (Teorema 5.9).
• Grupos Finitos (Ideales Gruesos): Al reducir el problema a subgrupos abelianos elementales mediante la estratificación de Quillen de la cohomología de grupos, el artículo clasifica los ideales tensoriales gruesos en la categoría derivada acotada de módulos finitamente generados para un grupo finito arbitrario $G$ (Teorema 5.14). La clasificación se da mediante el soporte cohomológico sobre $H^*(G, k)$.
• Grupos Finitos (Ideales Localizantes): Los resultados se extienden a la categoría generada compactamente $K(\text{Inj } kG)$ (la categoría homotópica de complejos de módulos inyectivos). El Teorema 6.17 establece que $K(\text{Inj } kG)$ está estratificada mediante la acción de $H^*(G, k)$, obteniendo una clasificación completa de los ideales tensoriales localizantes por subconjuntos de $\text{Spec } H^*(G, k)$.
• Categorías de Módulos Estables: Como consecuencia, se demuestra que la categoría de módulos estables $\text{StMod } kG$ está estratificada mediante el espectro proyectivo $\text{Proj } H^*(G, k)$ (Observación 6.18).

Significado y Afirmaciones
El artículo afirma proporcionar un marco comprehensivo para comprender la estructura de las categorías trianguladas en la teoría de representaciones modulares. Su significado principal radica en la "categorificación" de la estratificación de Quillen de la cohomología de grupos. Al establecer que la categoría derivada de representaciones modulares está estratificada, el artículo demuestra que la clasificación de ideales tensoriales gruesos y localizantes está determinada enteramente por el anillo de cohomología del grupo.

El autor señala que estas notas no son exhaustivas, pero están diseñadas para ser autocontenidas, desarrollando los conceptos necesarios (tales como el retículo de subcategorías gruesas, acciones centrales y cohomología local) específicamente para facilitar aplicaciones en la teoría de representaciones modulares. El trabajo se basa en resultados fundamentales de Quillen, Benson, Carlson, Rickard, Neeman y Balmer, sintetizándolos en una teoría coherente de soporte y estratificación. Los resultados confirman que, para grupos finitos, el "espectro" que gobierna la geometría triangular tensorial es precisamente el espectro del anillo de cohomología del grupo.