Resumen Técnico: El Espectro de Categorías de Infinitos Estables con Acciones

Planteamiento del Problema

El estudio de los espectros asociados a categorías $\infty$-estables o trianguladas sirve como un puente entre las estructuras categóricas abstractas y la geometría subyacente. Existen dos marcos primarios:

1. El Espectro Tensor Triangulado de Balmer: Introducido por Balmer [Bal05], este asocia un espacio anillado localmente $\text{Spec}^\otimes(\mathcal{T})$ a una categoría tensor triangulada $\mathcal{T}$, clasificando ideales tensoriales gruesos. Recupera con éxito espacios geométricos (p. ej., esquemas) a partir de categorías de complejos perfectos. Sin embargo, requiere una estructura de producto tensorial global.
2. El Espectro Triangular de Matsui: Propuesto por Matsui [Mat21] y desarrollado posteriormente por Hirano, Ouchi y otros [HO22, HO24, HKO24, Ito23, IM24], este generaliza el concepto a categorías trianguladas que carecen de una estructura tensorial, clasificando subcategorías gruesas.

Persiste una brecha para unificar estos enfoques y extenderlos a configuraciones donde una categoría $\mathcal{D}$ posee una acción de otra categoría $\mathcal{S}$ (un $\mathcal{S}$-módulo) pero carece de un producto tensorial global en $\mathcal{D}$ misma. El artículo aborda la necesidad de un invariante unificado que clasifique $\mathcal{S}$-submódulos gruesos de una $\infty$-categoría estable $\mathcal{D}$ equipada con una acción de una $\infty$-categoría estable $\mathcal{S}$, recuperando la intuición geométrica clásica en diversos entornos no tensoriales o relativos.

Metodología

El autor construye un nuevo invariante llamado el espectro de Matsui relativo, denotado $\text{Spec}(\mathcal{D}, \mathcal{S}, \mathcal{B})$, para un dato $(\mathcal{D}, \mathcal{S}, \mathcal{B})$ que consiste en objetos de álgebra $\mathcal{B}, \mathcal{S} \in \text{Cat}^{\text{perf}}_\infty$, un homomorfismo $\phi: \mathcal{B} \to \mathcal{S}$, y un $\mathcal{S}$-módulo a la izquierda $\mathcal{D} \in \text{Cat}^{\text{perf}}_\infty$.

Construcción:

1. Primos y Topología: El espacio topológico subyacente se define mediante $\mathcal{S}$-primos. Un $\mathcal{S}$-submódulo grueso $P \subset \mathcal{D}$ es un $\mathcal{S}$-primo si la intersección de cualquier familia de $\mathcal{S}$-submódulos que contengan estrictamente a $P$ también contiene estrictamente a $P$. El espacio $\text{Spc}(\mathcal{D}, \mathcal{S})$ es el conjunto de tales primos equipado con una topología generada por soportes $\text{Supp}(W) = \{P \mid W \not\subset P\}$.
2. Hojia de Estructura: La hoja de estructura $\mathcal{O}$ se construye utilizando transformaciones naturales de los funtores identidad en las categorías localizadas, específicamente $\mathcal{O}(U) = \text{Nat}^0_{\mathcal{B}}(\text{Id}_{\mathcal{D}_U}, \text{Id}_{\mathcal{D}_U})$, donde $\mathcal{D}_U$ es la localización de $\mathcal{D}$ en el conjunto abierto $U$.
3. Universalidad: El espectro se caracteriza como el dato de soporte universal. Un dato de soporte es un espacio topológico $T_0$ equipado con un mapa de objetos de $\mathcal{D}$ a subconjuntos cerrados que satisface invariancia de desplazamiento, compatibilidad de acción, aditividad de suma directa, exactitud y distinguibilidad. El espectro de Matsui relativo se muestra como el objeto inicial en la categoría de tales datos de soporte.

Herramientas Técnicas Clave:

• Conmutatividad de Localizaciones: El artículo utiliza condiciones bajo las cuales las localizaciones de $\infty$-categorías estables conmutan (Lema 5.1, Lema 5.4), lo cual es crucial para establecer propiedades de descenso y descomposiciones por fibras.
• Admisibilidad y Smashing: El autor introduce condiciones (admisibles, smashing, rígidas) sobre el dato $(\mathcal{D}, \mathcal{S})$ para asegurar la existencia de un morfismo natural al espectro de la base $\text{Spec}(\mathcal{S}, \mathcal{S})$ y para garantizar que el espectro se comporte bien bajo cambio de base y localización.

Contribuciones Clave y Resultados

1. Unificación y Generalización

El espectro de Matsui relativo generaliza tanto las construcciones de Balmer como las de Matsui:

• Si $\mathcal{D} = \mathcal{S} = \mathcal{T}$ (una categoría tensor triangulada rígida), $\text{Spec}(\mathcal{D}, \mathcal{S})$ recupera el espectro de Balmer $\text{Spec}^\otimes(\mathcal{T})$.
• Si $\mathcal{S} = \text{Perf}(Z)$ o $\text{Sp}^\omega$ (espectros finitos), recupera el espectro de Matsui $\text{Spec}_\triangle(\mathcal{D})$.
• Proporciona un marco unificado para clasificar $\mathcal{S}$-submódulos gruesos de $\mathcal{D}$, extendiendo la geometría triangular tensorial a entornos sin un producto tensorial global.

2. Propiedades Fundamentales

• Clasificación de Submódulos: Existe una biyección entre los $\mathcal{S}$-submódulos gruesos de $\mathcal{D}$ y los subconjuntos de especialización cerrada de $\text{Spc}(\mathcal{D}, \mathcal{S})$ (Teorema 4.3). Todo $\mathcal{S}$-submódulo es una intersección de $\mathcal{S}$-submódulos primos.
• Morfismo a la Base: Para datos admisibles, existe un morfismo canónico $\text{Spec}(\mathcal{D}, \mathcal{S}) \to \text{Spec}(\mathcal{S}, \mathcal{S})$. Esto permite un análisis por fibras del espectro.
• Descenso y Cambio de Base: El espectro satisface propiedades de descenso (Lema 7.2) y se comporta bien bajo cambio de base (Teorema 6.7), incluyendo inclusiones cuando la base está generada localmente por la imagen de un sub-álgebra.

3. Aplicaciones Geométricas

El artículo demuestra que el espectro de Matsui relativo recupera espacios geométicos clásicos a partir de datos categóricos en diversos entornos:

• Esquemas: Para un morfismo plano $X \to Y$ con $Y$ regular, el espectro de $\text{Perf}(X)$ como un $\text{Perf}(Y)$-módulo es un espacio anillado localmente sobre $Y$, dado por fibras como el espectro de Matsui de $\text{Perf}(X_y)$. Los esquemas relativamente equivalentes derivados aparecen como subesquemas abiertos.
• Categorías Derivadas Retorcidas: Para las categorías derivadas retorcidas $\text{Perf}(X, \mu)$, el espectro es canónicamente isomorfo al esquema base $X$.
• Esquemas de Severi–Brauer: Para un esquema de Severi–Brauer $Y \to X$, el espectro codifica $Y$ junto con copias adicionales del esquema base $X$, reflejando descomposiciones ortogonales semi. En dimensión relativa uno, el espectro se describe explícitamente como $Y \sqcup (\coprod_{\mathbb{Z}} X)$.
• Singularidades:
  • Para la categoría de singularidades $\text{Sing}(X)$, si $X$ es localmente una hipersuperficie, el espectro recupera el locus singular de $X$.
  • Para $\text{Coh}(X)$, la fibra sobre un punto $x$ se relaciona con el codimensión de la inmersión del anillo local $\mathcal{O}_{X,x}$. El espectro clasifica los submódulos de $\text{Coh}(X)$ vía subconjuntos de especialización cerrada de un espacio relacionado con el locus singular.
• Factorizaciones de Matrices: Para las categorías de factorización de matrices derivadas $\text{DMF}(X, L, W)$, el espectro recupera el locus singular relativo $\text{Sing}(X_0/X)$, extendiendo los resultados de Hirano [Hir19].
• Álgebras de Koszul: El espectro clasifica subcategorías gruesas sobre álgebras de Koszul de anillos regulares, generalizando los resultados de Liu y Pollitz [LP25].

Significado

El artículo afirma que el espectro de Matsui relativo extiende el alcance de la geometría triangular tensorial a entornos donde un producto tensorial global está ausente o donde la categoría está definida respecto a una base. Al preservar la intuición geométrica a través de la clasificación de subcategorías, permite la recuperación de los espacios geométicos clásicos relevantes (tales como esquemas, loci singulares y estructuras retorcidas) a partir de datos puramente categóricos.

La construcción proporciona un marco unificado que subsume las teorías espectrales previas (Balmer y Matsui) y ofrece una herramienta robusta para analizar la geometría de $\infty$-categorías estables equipadas con acciones. Los resultados establecen que, incluso en entornos relativos complejos (p. ej., categorías retorcidas, factorizaciones de matrices y categorías de singularidades), la estructura categórica retiene suficiente información para reconstruir los loci geométicos relevantes y clasificar sus submódulos.