The derived moduli of perverse sheaves

Resumo Técnico: O Moduli Derivado de Feixes Perversos

Enunciado do Problema
O artigo aborda a construção de espaços de módulos para feixes perversos em variedades algébricas complexas e variedades analíticas reais compactas. Embora os variedades de caracteres clássicas (que parametrizam representações de grupos fundamentais) e suas generalizações stacky sejam bem compreendidas, estender essas construções de módulos para o domínio dos feixes construtíveis e perversos apresenta desafios significativos.

Abordagens anteriores, como as de Gelfand, MacPherson e Vilonen [GMV96], baseiam-se na representação de feixes perversos como representações de um quiver específico com relações $Q(X, P)$. Este método sofre de duas limitações primárias:

1. Baixa Functorialidade: O quiver $Q(X, P)$ depende de escolhas auxiliares (por exemplo, imersões projetivas), tornando difícil controlar a dependência do espaço de módulo em relação ao espaço estratificado subjacente $(X, P)$ ou variar a própria estratificação.
2. Ausência de uma Estrutura Derivada Canônica: Métodos padrão para construir aprimoramentos derivados de espaços de módulos (via o coração de uma $t$-estrutura em uma $\infty$-categoria estável de tipo finito) falham aqui. A categoria derivada das representações de $Q(X, P)$ é geralmente não de tipo finito (por exemplo, pode ter dimensão homológica infinita) e, mesmo quando é, a estrutura derivada resultante não corresponde àquela geometricamente esperada e sensível à cohomologia da estratificação.

Metodologia
Os autores empregam uma síntese de alto nível entre teoria de homotopia estratificada e a teoria de módulos de objetos em $\infty$-categorias estáveis.

1. Teoria de Homotopia Estratificada como uma "Black Box": O artigo utiliza o arcabouço de espaços estratificados exodrômicos desenvolvido em [HPT26]. Em vez de depender de representações de quiver, os autores utilizam a $\infty$-categoria de caminhos de saída $\Pi_\infty(X, P)$. Para espaços estratificados "bem comportados" (subanalíticos ou algébricos), a $\infty$-categoria de hiper-construtíveis hipersheaves é equivalente à categoria de funtores do $\Pi_\infty(X, P)$ para a categoria de coeficientes.
2. Módulos de Objetos: Seguindo Toën e Vaquié [TV07], os autores constroem o stack de módulos de objetos para a grande $\infty$-categoria estável de complexos construtíveis, $\text{Cons}_P(X; \text{Mod}_k)$. Um insight técnico fundamental é que, embora esta categoria seja a priori muito grande, as propriedades de finitude da categoria de caminhos de saída $\Pi_\infty(X, P)$ (provadas em [HPT26]) garantem que a categoria de complexos construtíveis com estrofes (stalks) perfeitas seja de "tipo finito" conforme exigido para a representabilidade.
3. $t$-Estrutura Perversa e Flatness: Os autores definem uma $t$-estrutura perversa na categoria de hipersheaves construtíveis relativa a uma função de perversidade $p: P \to \mathbb{Z}$. Eles estabelecem que a condição de ser "perverso" corresponde a uma condição de flatness (achatamento) relativa ao anel base. Crucialmente, eles provam que esta condição de flatness é uma condição aberta (Teorema 3.3.5), permitindo a extração do módulo de feixes perversos como um sub-stack aberto do maior módulo de complexos construtíveis.

Contribuições Principais e Resultados

• Construção do Stack de Módulos Construtíveis: O artigo constrói um stack derivado geométrico $\text{Cons}_P(X)$ que parametriza complexos de feixes $P$-construtíveis com estrofes perfeitas.

  • Teorema 3: Para um espaço estratificado subanalítico ou algébrico compacto $(X, P)$, $\text{Cons}_P(X)$ é um stack derivado geométrico local de apresentação finita.
  • Teorema 4: Os autores generalizam isso para permitir que a estratificação varie, construindo um stack derivado $\text{Cons}(X)$ que parametriza feixes construtíveis em relação a alguma estratificação subanalítica (ou algébrica).

• O Stack de Caracteres Perversos: Ao isolar o sub-stack aberto de famílias planas em relação à $t$-estrutura perversa, os autores obtêm o módulo de feixes perversos.

  • Resultado Principal: Para qualquer função de perversidade $p$, existe um sub-stack 1-Artin aberto $\text{}_p\text{Perv}_P(X) \subset \text{Cons}_P(X)$.
  • Propriedades: Este stack é local de apresentação finita e generaliza os usuais stacks de caracteres. Diferente da abordagem de quiver, esta construção é canônica e seu complexo tangente é sensível à cohomologia das estrafas e de seus elos (links).

• Álgebras de Hall Cohomológicas (CoHA): Como demonstração da utilidade da estrutura derivada, os autores constroem uma álgebra de Hall cohomológica perversa.

  • Aplicação: Para uma superfície de Riemann perfurada $X$ com pontos marcados, a homologia de Borel–Moore do stack derivado de feixes perversos admite um produto associativo natural (convolução de Hall). Este resultado baseia-se na propriedade de compacidade dos esquemas de Quot relevantes (estabelecida em [Lam25]) e nas propriedades específicas do stack derivado construído neste trabalho.

Significância e Alegações
O artigo afirma fornecer um aprimoramento derivado robusto e canônico para os módulos de feixes perversos que supera as limitações das abordagens baseadas em quivers.

• Estrutura Derivada Canônica: A estrutura derivada é intrínseca à geometria da estratificação. O complexo tangente em um ponto reflete a cohomologia das estrafas e de seus elos, uma característica não capturada pela categoria derivada de representações de quiver.
• Generalidade: A construção dispensa a necessidade de suposições de projetividade e estratificações de Whitney, trabalhando em vez disso com espaços estratificados subanalíticos e algébricos. Também se aplica a funções de perversidade arbitrárias, não apenas à perversidade média.
• Fundação para Trabalhos Futuros: Os autores posicionam este trabalho como um passo fundamental. Eles observam que a existência de uma estrutura de Poisson deslocada canônica nestes stacks (recentemente demonstrada por Christ–Lampetti [CL26]) e a construção de bons espaços de módulos (Lam [Lam25]) são continuações dos resultados aqui apresentados. O artigo afirma explicitamente que a construção da CoHA é uma "primeira evidência" de que a estrutura derivada é robusta.

Os autores enfatizam que seu método depende dos teoremas de finitude das $\infty$-categorias de caminhos de saída de [HPT26] em vez da finitude homológica de quivers específicos, permitindo prosseguir em casos onde esta última é desconhecida ou falha.