Resumo Técnico: O Espectro de Categorias $\infty$ Estáveis com Ações

Declaração do Problema

O estudo de espectros associados a categorias trianguladas ou $\infty$-categorias estáveis serve como uma ponte entre estruturas categóricas abstratas e a geometria subjacente. Existem dois frameworks primários:

1. Espectro Tensor Triangulado de Balmer: Introduzido por Balmer [Bal05], este associa um espaço anelado localmente $\text{Spec}^\otimes(\mathcal{T})$ a uma categoria tensor triangulada $\mathcal{T}$, classificando ideais tensoriais espessos. Ele recupera com sucesso espaços geométricos (ex: esquemas) a partir de categorias de complexos perfeitos. No entanto, requer uma estrutura de produto tensorial global.
2. Espectro Triangular de Matsui: Proposto por Matsui [Mat21] e posteriormente desenvolvido por Hirano, Ouchi e outros [HO22, HO24, HKO24, Ito23, IM24], este generaliza o conceito para categorias trianguladas que carecem de uma estrutura de tensor, classificando subcategorias espessas.

Uma lacuna permanece na unificação dessas abordagens e na extensão para configurações onde uma categoria $\mathcal{D}$ possui uma ação por outra categoria $\mathcal{S}$ (um módulo de $\mathcal{S}$) mas carece de um produto tensorial global em $\mathcal{D}$ propriamente dito. O artigo aborda a necessidade de um invariante unificado que classifique submódulos $\mathcal{S}$-espessos de uma $\infty$-categoria estável $\mathcal{D}$ equipada com uma ação de uma $\infty$-categoria estável $\mathcal{S}$, enquanto recupera a intuição geométrica clássica em vários contextos não tensoriais ou relativos.

Metodologia

O autor constrói um novo invariante chamado espectro de Matsui relativo, denotado por $\text{Spec}(\mathcal{D}, \mathcal{S}, \mathcal{B})$, para um dado $(\mathcal{D}, \mathcal{S}, \mathcal{B})$ consistindo de objetos de álgebra $\mathcal{B}, \mathcal{S} \in \text{Cat}^{\text{perf}}_\infty$, um homomorfismo $\phi: \mathcal{B} \to \mathcal{S}$, e um módulo à esquerda $\mathcal{S}$ dado por $\mathcal{D} \in \text{Cat}^{\text{perf}}_\infty$.

Construção:

1. Primos e Topologia: O espaço topológico subjacente é definido via $\mathcal{S}$-primos. Um submódulo $\mathcal{S}$-espesso $P \subset \mathcal{D}$ é um $\mathcal{S}$-primo se a interseção de qualquer família de $\mathcal{S}$-submódulos que contêm estritamente $P$ também contém estritamente $P$. O espaço $\text{Spc}(\mathcal{D}, \mathcal{S})$ é o conjunto de tais primos equipado com uma topologia gerada por suportes $\text{Supp}(W) = \{P \mid W \not\subset P\}$.
2. Feixe de Estrutura: O feixe de estrutura $\mathcal{O}$ é construído usando transformações naturais de funtores identidade em categorias localizadas, especificamente $\mathcal{O}(U) = \text{Nat}^0_{\mathcal{B}}(\text{Id}_{\mathcal{D}_U}, \text{Id}_{\mathcal{D}_U})$, onde $\mathcal{D}_U$ é a localização de $\mathcal{D}$ no aberto $U$.
3. Universalidade: O espectro é caracterizado como o dado de suporte universal. Um dado de suporte é um espaço topológico $T_0$ equipado com um mapa de objetos de $\mathcal{D}$ para subconjuntos fechados satisfazendo invariância de deslocamento (shift invariance), compatibilidade de ação, aditividade de soma direta, exatidão e distinguibilidade. O espectro de Matsui relativo é mostrado como o objeto inicial na categoria de tais dados de suporte.

Ferramentas Técnicas Principais:

• Comutatividade de Localizações: O artigo utiliza condições sob as quais localizações de $\infty$-categorias estáveis comutam (Lema 5.1, Lema 5.4), o que é crucial para estabelecer propriedades de descendência e decomposições fibrais.
• Admissibilidade e Smashing: O autor introduz condições (admissível, smashing, rígido) no dado $(\mathcal{D}, \mathcal{S})$ para garantir a existência de um morfismo natural para o espectro da base $\text{Spec}(\mathcal{S}, \mathcal{S})$ e para garantir que o espectro se comporte bem sob mudança de base e localização.

Principais Contribuições e Resultados

1. Unificação e Generalização

O espectro de Matsui relativo generaliza tanto as construções de Balmer quanto as de Matsui:

• Se $\mathcal{D} = \mathcal{S} = \mathcal{T}$ (uma categoria tensor triangulada rígida), $\text{Spec}(\mathcal{D}, \mathcal{S})$ recupera o espectro de Balmer $\text{Spec}^\otimes(\mathcal{T})$.
• Se $\mathcal{S} = \text{Perf}(Z)$ ou $\text{Sp}^\omega$ (espectros finitos), ele recupera o espectro de Matsui $\text{Spec}_\triangle(\mathcal{D})$.
• Ele fornece um framework unificado para classificar submódulos $\mathcal{S}$-espessos, estendendo a geometria tensorial triangular para configurações sem um produto tensorial global.

2. Propriedades Fundamentais

• Classificação de Submódulos: Existe uma bijeção entre submódulos $\mathcal{S}$-espessos de $\mathcal{D}$ e subconjuntos de especialização fechados de $\text{Spc}(\mathcal{D}, \mathcal{S})$ (Teorema 4.3). Todo submódulo $\mathcal{S}$-espesso é uma interseção de submódulos $\mathcal{S}$-primos.
• Morfismo para a Base: Para dados admissíveis, existe um morfismo canônico $\text{Spec}(\mathcal{D}, \mathcal{S}) \to \text{Spec}(\mathcal{S}, \mathcal{S})$. Isso permite uma análise fibral do espectro.
• Descendência e Mudança de Base: O espectro satisfaz propriedades de descendência (Lema 7.2) e se comporta bem sob mudança de base (Teorema 6.7), incluindo imersões quando a base é localmente gerada pela imagem de uma sub-álgebra.

3. Aplicações Geométricas

O artigo demonstra que o espectro de Matsui relativo recupera espaços geométricos clássicos a partir de dados categóricos em diversos contextos:

• Esquemas: Para um morfismo plano $X \to Y$ com $Y$ regular, o espectro de $\text{Perf}(X)$ como um módulo de $\text{Perf}(Y)$ é um espaço anelado localmente sobre $Y$, fibralmente dado pelo espectro de Matsui de $\text{Perf}(X_y)$. Esquemas derivadamente equivalentes relativamente aparecem como subesquemas abertos.
• Categorias Derivadas Torcidas: Para categorias derivadas torcidas $\text{Perf}(X, \mu)$, o espectro é canonicamente isomorfo ao esquema base $X$.
• Esquemas de Severi–Brauer: Para um esquema de Severi–Brauer $Y \to X$, o espectro codifica $Y$ junto com cópias adicionais do esquema base $X$, refletindo decomposições semi-ortogonais. Em dimensão relativa um, o espectro é explicitamente descrito como $Y \sqcup (\coprod_{\mathbb{Z}} X)$.
• Singularidades:
  • Para a categoria de singularidades $\text{Sing}(X)$, se $X$ é localmente uma hipersuperfície, o espectro recupera o locus singular de $X$.
  • Para $\text{Coh}(X)$, a fibra sobre um ponto $x$ relaciona-se com a codimensão de imersão do anel local $\mathcal{O}_{X,x}$. O espectro classifica submódulos de $\text{Coh}(X)$ via subconjuntos de especialização fechados de um espaço relacionado ao locus singular.
• Fatorizações de Matrizes: Para categorias de fatorização de matrizes derivadas $\text{DMF}(X, L, W)$, o espectro recupera o locus singular relativo $\text{Sing}(X_0/X)$, estendendo resultados de Hirano [Hir19].
• Álgebras de Koszul: O espectro classifica subcategorias espessas sobre álgebras de Koszul de anéis regulares, generalizando resultados de Liu e Pollitz [LP25].

Significância

O artigo afirma que o espectro de Matsui relativo estende o alcance da geometria tensorial triangular para configurações onde um produto tensorial global está ausente ou onde a categoria é definida em relação a uma base. Ao preservar a intuição geométrica através da classificação de subcategorias, ele permite a recuperação dos loci geométicos clássicos subjacentes (como esquemas, loci singulares e estruturas torcidas) a partir de dados puramente categóricos.

A construção fornece um framework unificado que subsume as teorias espectrais anteriores (Balmer e Matsui) e oferece uma ferramenta robusta para analisar a geometria de $\infty$-categorias estáveis equipadas com ações. Os resultados estabelecem que, mesmo em configurações relativas complexas (ex: categorias torcidas, fatorizações de matrizes e categorias de singularidades), a estrutura categórica retém informação suficiente para reconstruir os loci geométicos relevantes e classificar seus submódulos.