Indecomposable extensions of perverse sheaves over a closed stratum

Resumo Técnico: Extensões Indecomponíveis de Feixes Perversos sobre um Estrato Fechado

Enunciado do Problema
O artigo aborda a classificação de feixes perversos indecomponíveis em um espaço topologicamente estratificado $X$. Embora a categoria de feixes perversos, $p\text{Perv}(X)$, seja conhecida por ser Krull–Schmidt (decompondo-se em somas diretas finitas de indecomponíveis) sob certas condições, uma classificação estrutural geral desses objetos indecomponíveis permanece difícil. Especificamente, o problema reside em compreender como feixes perversos definidos no complemento aberto $U = X \setminus S$ de um estrato fechado $S$ podem ser estendidos para todo o espaço $X$. Trabalhos anteriores por MacPherson e Vilonen [MV86] forneceram um arcabouço para tais extensões sob suposições homotópicas restritivas ($\pi_1(S) = \pi_2(S) = 0$) e para uma perversidade específica (a perversidade média). O objetivo deste trabalho é generalizar esta teoria de extensão para perversidades arbitrárias e espaços estratificados mais gerais, substituindo as restrições homotópicas por restrições categóricas.

Metodologia
O autor desenvolve um arcabouço categórico para extensões de um feixe perverso fixo $F \in p\text{Perv}(U)$ sobre um estrato fechado $S \subset X$. A metodologia baseia-se nos seguintes componentes estruturais:

1. Suposições Categóricas: O artigo substitui as suposições homotópicas de [MV86] pela suposição de que a categoria de sistemas locais no estrato fechado $S$, denotada por $\text{Loc}(S)$, é semissimples. Esta condição é satisfeita, por exemplo, quando $S$ possui um grupo fundamental finito e a característica do corpo de coeficientes não divide a ordem do grupo.
2. Funtores de Projeção: Dois funtores aditivos, $P_!$ e $P_*$, são definidos em $p\text{Perv}(X)$ como as imagens dos morfismos naturais $p\jmath_! p\jmath^* \to \text{id}$ e $\text{id} \to p\jmath_* p\jmath^*$, respectivamente. Estes funtores isolam a "parte" de um feixe perverso suportada no complemento $U$.
3. Extensões $S$-pequenas: O autor introduz a noção de uma extensão $S$-pequena, definida como um objeto $E \in p\text{Perv}(X)$ no núcleo do functor de restrição intermediária $p\iota_{!*}$. Estas são caracterizadas como extensões que não possuem somandos suportados em $S$.
4. Pares de Extensão: Uma nova categoria auxiliar, $\text{EP}(X \setminus S)$, é introduzida. Seus objetos são pares $(A, B)$ de feixes perversos em $X$ que estendem $F$, onde $A$ não possui quociente suportado em $S$ e $B$ não possui subobjeto suportado em $S$, sujeitos a uma condição de nulidade sobre um produto específico de classes de extensão na categoria derivada.

Principais Contribuições e Resultados

• Equivalência de Categorias (Teoremas A & B): O resultado principal estabelece uma bijeção, e subsequentemente uma equivalência de categorias aditivas, entre a categoria de extensões $S$-pequenas de $F$ (denotada por $\text{SES}(F)$) e a categoria de pares de extensão relativos a $F$ (denotada por $\text{EP}(X \setminus S)$).

  • A correspondência é dada pela atribuição $E \mapsto (P_!E, P_*E)$.
  • A construção inversa utiliza o axioma octaédrico na categoria derivada construtível para construir uma extensão a partir de um par $(A, B)$, baseando-se na nulidade de uma classe $\text{Ext}^2$ específica derivada do produto de duas classes $\text{Ext}^1$.
  • Esta equivalência mantém-se sob a única suposição de que $\text{Loc}(S)$ é semissimples, removendo a necessidade de $\pi_2(S)=0$ ou escolhas de perversidade específicas.

• Functor de Extensão Máxima (Definição 3.18): O artigo define um functor de extensão máxima generalizado, $p\Xi$, que mapeia um feixe perverso $F$ em $U$ para uma extensão $S$-pequena específica em $X$. Isto generaliza a extensão máxima de Beilinson (originalmente definida para variedades algébricas com perversidade média) para espaços topologicamente estratificados arbitrários e perversidades arbitrárias, desde que $\text{Loc}(S)$ seja semissimples.

• Classificação de Indecomponíveis (Teorema C): O artigo fornece uma classificação estrutural de todos os feixes perversos indecomponíveis em $X$. Todo objeto indecomponível é:

  1. Uma extensão por zero de um sistema local indecomponível no estrato fechado $S$; ou
  2. Uma extensão $S$-pequena proveniente de um par de extensão $(A, B)$ onde o morfismo canônico $A \to B$ é indecomponível (não pode ser escrito como uma soma direta de morfismos).

Significância e Alegações
O artigo alega estender a descrição de MacPherson–Vilonen de feixes perversos para um cenário estritamente mais geral. Ao deslocar o foco das restrições topológicas do estrato (nulidade de $\pi_1$ e $\pi_2$) para a propriedade algébrica da semissimplicidade dos sistemas locais, o arcabouço aplica-se a uma classe mais ampla de espaços estratificados e perversidades arbitrárias.

O trabalho oferece um "resultado de redução" para o problema de classificação: ele reduz o estudo de feixes perversos indecomponíveis em $X$ ao estudo de:

1. Sistemas locais indecomponíveis nos estratos.
2. Pares de extensão de feixes perversos no complemento, sujeitos a uma condição de não-decomposição em seu morfismo canônico.

O autor observa que, embora os resultados generalizem a construção de Beilinson e o teorema de MacPherson–Vilonen, o arcabouço não assume que $p\text{Perv}(X)$ seja equivalente a uma categoria de módulos sobre uma álgebra de dimensão finita, nem exige que a propriedade de Krull–Schmidt se mantenha globalmente, baseando-se apenas na semissimplicidade dos sistemas locais no estrato fechado $S$ específico. O artigo conclui com exemplos (incluindo $\mathbb{CP}^1$, $S^1$ e $\mathbb{CP}^2$) ilustrando como a classificação funciona em cenários específicos de dois estratos, incluindo casos onde a extensão máxima não é única ou onde as condições padrão para pares de extensão falham.