Faithful perversities

1. Formulação do Problema e Contexto

O artigo investiga a relação entre a estrutura algébrica das categorias de feixes perversos e as propriedades topológicas dos espaços estratificados subjacentes.

• Contexto: Os feixes perversos, introduzidos por Beilinson, Bernstein e Deligne (BBD), constituem o coração de uma estrutura $t$ limitada na categoria derivada construtível $D_c(X)$ de um espaço estratificado $X$. Eles desempenham um papel crucial na topologia singular, na teoria das representações e na teoria de Hodge.
• A Questão Central: Sob quais condições a categoria de feixes perversos, denotada $p\text{Perv}(X)$, é um coração fiel?
  • Um coração $\mathcal{H} \subset \mathcal{D}$ é fiel se o functor de realização $D^b(\mathcal{H}) \to \mathcal{D}$ for uma equivalência.
  • Significado: Se $p\text{Perv}(X)$ for fiel, a informação topológica contida na categoria derivada $D_c(X)$ torna-se totalmente acessível através da álgebra da categoria abeliana $p\text{Perv}(X)$ (especificamente, como módulos sobre uma álgebra de dimensão finita). Isso permite que invariantes topológicos sejam computados algebricamente e vice-versa.
• Lacuna: Embora a fidelidade seja conhecida em casos específicos (por exemplo, complexos simpliciais, variedades complexas suaves com estratificações afins), faltava uma caracterização geral para espaços estratificados topologicamente e uma compreensão sistemática da dimensão global e dos cálculos de cohomologia.

2. Metodologia

Os autores empregam uma síntese de álgebra categórica e topologia estratificada:

1. Estrutura Categórica:

   • Eles utilizam a teoria das categorias de peso máximo e das coleções excepcionais.
   • Introduzem a noção de corações seriamente fiéis, definidos via uma filtração espessa admissível onde cada passo é um coração fiel.
   • Aproveitam o conceito de corações colados (recollements) e pares duais de coleções excepcionais (objetos padrão e costandard).
   • Baseiam-se na equivalência entre a categoria derivada construtível e a categoria derivada de módulos sobre uma álgebra de dimensão finita quando o coração é fiel.

2. Ferramentas Topológicas:

   • Analisam espaços estratificados topologicamente (no sentido de Goresky-MacPherson) com um número finito de estratos.
   • Utilizam links pares ($L_{S<T}$) entre estratos para caracterizar obstruções topológicas locais.
   • Aplicam teoremas de anulação de hipercohomologia e indução sobre a profundidade da estratificação.

3. Síntese:

   • Os autores traduzem condições topológicas (anulação de cohomologia em links) em condições categóricas (exatidão de funtores, coleções excepcionais) para caracterizar a fidelidade.
   • Utilizam resoluções projetivas do feixe constante para calcular hipercohomologia, fazendo a ponte entre resoluções algébricas e invariantes topológicos.

3. Contribuições e Resultados Principais

A. Caracterização de Corações de Peso Máximo Fiéis (Teorema A)

O artigo estabelece uma equivalência fundamental para categorias trianguladas algébricas $\mathcal{D}$. Para um coração $\mathcal{H} \subset \mathcal{D}$, as seguintes afirmações são equivalentes:

1. $\mathcal{H}$ é fiel e de peso máximo.
2. A sequência de objetos padrão $(\Delta_0, \dots, \Delta_n)$ forma uma coleção excepcional completa, e a sequência de objetos costandard $(\nabla_n, \dots, \nabla_0)$ é seu par dual esquerdo.
3. $\mathcal{H}$ contém um par dual de coleções excepcionais completas.
4. $\mathcal{H}$ é seriamente fiel e colado ao longo de uma coleção excepcional.

Significado: Isso fornece um critério puramente algébrico para a fidelidade no contexto de feixes perversos, ligando-o diretamente à existência de coleções excepcionais específicas.

B. Caracterização Topológica de Feixes Perversos Fiéis (Teorema B)

Para um espaço estratificado topologicamente $X$ com um número finito de estratos contráteis, a categoria $p\text{Perv}(X)$ é um coração fiel de peso máximo se e somente se:

1. Os funtores $i_{S*}$ e $i_{S!}$ (inclusão de um estrato) forem $t$-exatos.
2. Anulação Cohomológica: Para qualquer par de estratos distintos $S \subset T$, o link par $L_{S<T}$ satisfaz:
   $$H^{>p(S)-p(T)}(L_{S<T}) = 0 \quad \text{e} \quad H^{<p(S)-p(T)-1}_c(L_{S<T}) = 0$$
   onde $p$ é a função de perversidade.

Significado: Isso fornece um teste topológico concreto para a fidelidade. Generaliza resultados anteriores (por exemplo, de Polischuk e Beilinson-Ginzburg-Soergel) e esclarece que a fidelidade depende da anulação de grupos de cohomologia específicos dos links entre estratos.

C. Limites para a Dimensão Global (Teorema C)

Os autores provam limites para a dimensão global ($\text{gldim}$) da categoria de feixes perversos:

• Limite Geral: Para quaisquer $E, F \in p\text{Perv}(X)$, $\text{Ext}^k_{D_c(X)}(E, F) = 0$ se $k < 0$ ou $k > \dim(X)$.
• Caso Fiel: Se $p\text{Perv}(X)$ for fiel, então $\text{gldim}(p\text{Perv}(X)) \leq \dim(X)$.
• Caso Fiel de Peso Máximo: Se $p\text{Perv}(X)$ for fiel e de peso máximo, então $\text{gldim}(p\text{Perv}(X)) \leq 2 \cdot \text{depth}(X)$.

Significado: Isso resolve a questão da finitude da dimensão global para categorias perversas fiéis e fornece limites explícitos relacionados à geometria do espaço.

D. Cálculo de Hipercohomologia via Resoluções Projetivas (Teorema D)

Assumindo que $p\text{Perv}(X)$ é fiel e que os estratos possuem grupos fundamentais finitos:

1. Hipercohomologia a partir de Resoluções: A hipercohomologia de um feixe perverso $E$ pode ser computada como a cohomologia do complexo $\text{Hom}(P_\bullet, E)$, onde $P_\bullet$ é uma resolução projetiva do feixe constante $k_X$.
2. Multiplicidades como Números de Betti de Interseção: Se o feixe constante (deslocado) for perverso, as multiplicidades dos projetivos indecomponíveis em sua resolução projetiva mínima correspondem aos números de Betti de interseção (grupos de cohomologia de interseção).
3. Caso Simplicial: Para um complexo simplicial $X$, o feixe constante admite uma resolução projetiva finita indexada pela dimensão perversa dos simplexos. Isso recupera a teoria dos feixes perversos celulares (Goresky), fornecendo um método combinatório para calcular a hipercohomologia.

4. Significado e Impacto

1. Unificação de Álgebra e Topologia: O artigo demonstra rigorosamente que, quando um coração perverso é fiel, os dados topológicos complexos de um espaço estratificado são codificados inteiramente na teoria das representações de uma álgebra de dimensão finita.
2. Poder Computacional: Os resultados fornecem um algoritmo prático para calcular hipercohomologia e cohomologia de interseção usando resoluções projetivas, que são frequentemente mais fáceis de manipular algebricamente do que complexos topológicos.
3. Generalização: A caracterização da fidelidade via cohomologia de links pares estende resultados conhecidos de configurações geométricas específicas (como variedades algébricas complexas) para espaços estratificados topologicamente gerais.
4. Contratipos e Nuances: Os autores fornecem exemplos mostrando que nem todos os corações colados fiéis são de peso máximo, e nem todos os corações de peso máximo são fiéis, esclarecendo os limites precisos desses conceitos.
5. Fundamental para Trabalhos Futuros: A identificação de corações perversos fiéis com corações colados seriamente fiéis abre a porta para a aplicação de técnicas da teoria de tilting e objetos de silting (via a correspondência de König-Yang) ao estudo de feixes perversos em espaços estratificados.

Em resumo, Cipriani e Woolf fornecem uma teoria estrutural abrangente para feixes perversos fiéis, estabelecendo critérios topológicos precisos para sua existência, limitando sua complexidade homológica e oferecendo novos métodos algébricos para calcular invariantes topológicos.