(Quasi-)affineness of perverse character varieties

Resumo Técnico: (Quasi-)Afimidade de Variedades de Caracteres Perversas

Enunciado do Problema
O artigo aborda a natureza geométrica das variedades de caracteres perversas, que servem como espaços de módulos para feixes perversos semissimples em um espaço estratificado $X$. Enquanto as variedades de caracteres clássicas (parametrizando representações semissimples de um grupo fundamental) são conhecidas por serem esquemas afins, a afimidade de suas generalizações para feixes perversos — especificamente os "bons espaços de módulos" associados a pilhas de caracteres perversos — não havia sido estabelecida de maneira puramente teórica de pilhas. O problema central é determinar se esses espaços de módulos são quasi-afins, ou seja, se podem ser embutidos como subesquemas abertos de esquemas afins.

Metodologia
Os autores empregam uma abordagem puramente teórica de pilhas, evitando construções da Teoria Geométrica de Invariantes (GIT). Sua metodologia baseia-se nos seguintes pilares:

1. Bons Espaços de Módulos: Eles utilizam a teoria de bons espaços de módulos para pilhas algébricas (Alper, Halpern-Leistner, Heinloth). Um bom espaço de módulos $q: \mathcal{X} \to X$ é um espaço algébrico que se comporta como um quociente categórico, onde os pontos de $X$ correspondem às classes de isomorfismo de objetos poliestáveis em $\mathcal{X}$.
2. Critério de Quasi-Afimidade: Eles estabelecem que um bom espaço de módulos $X$ é quasi-afim se e somente se seu feixe estrutural $\mathcal{O}_X$ separa pontos poliestáveis (Corolário 2.1.6). Isso reduz o problema geométrico a um problema algébrico: construir seções globais suficientes do feixe estrutural para distinguir entre objetos semissimples não isomorfos.
3. Homologia de Hochschild e Seções Globais: A inovação técnica central é o uso da homologia de Hochschild ($HH$) da categoria $\infty$-estável de feixes construtíveis, denotada $\text{Cons}_P(X; \text{Mod}_k)$. Seguindo o quadro de Toën-Vaquié e Antieau-Gepner, os autores utilizam o morfismo canônico:
   $$HOC: HH(\mathcal{C}) \to R\Gamma(\mathcal{M}_{\mathcal{C}}, \mathcal{O}_{\mathcal{M}_{\mathcal{C}}})$$
   onde $\mathcal{M}_{\mathcal{C}}$ é a pilha de módulos de objetos em $\mathcal{C}$. Este mapa permite a construção de seções globais do feixe estrutural da pilha de módulos diretamente a partir da homologia de Hochschild da categoria subjacente.
4. Recolhimento e Estratificação: Para lidar com a natureza estratificada do espaço $X$, os autores utilizam o formalismo de recolhimento para feixes construtíveis. Isso permite decompor a homologia de Hochschild da categoria global em uma soma direta de homologias de Hochschild de sistemas locais nas estratificações (Lema 4.3.1).
5. Mapas de Rastreamento: As seções globais construídas via $HOC$ são explicitamente descritas como rastros de monodromia. Para um laço $\gamma$ em uma estratificação, a seção associada avalia um feixe perverso semissimples $F$ no rastro da monodromia da restrição de $F$ àquela estratificação (Corolário 4.3.2).

Principais Contribuições e Resultados

• Teorema Principal (Corolário 5.2.6): Os autores provam que as variedades de caracteres perversas são quasi-afins. Especificamente, para um espaço estratificado de Whitney complexo $X$ e uma função de perversidade $p$, o morfismo canônico
  $${}^p\text{Perv}_P(X) \to \text{Spec}(\Gamma({}^p\text{Perv}_P(X), \mathcal{O}_{{}^p\text{Perv}_P(X)}))$$
  é uma imersão aberta quasi-compacta. Aqui, ${}^p\text{Perv}_P(X)$ denota o bom espaço de módulos (a variedade de caracteres perversa).
• Separação de Pontos (Teorema 5.2.5): O artigo demonstra que as seções globais derivadas da homologia de Hochschild são suficientes para separar pontos na pilha de módulos. Especificamente, se dois feixes perversos semissimples são não isomorfos, existe uma seção global (construída a partir de rastros de monodromia nas estratificações) que assume valores diferentes neles.
• Contexto Derivado: Os resultados são estabelecidos no âmbito da geometria algébrica derivada. Os autores observam que, pelos resultados de Lurie, as afirmações derivadas e não derivadas são equivalentes, mas trabalhar no contexto derivado fornece um quadro natural para a construção das seções necessárias.
• Generalização para Feixes Construtíveis: As técnicas são estendidas ao caso da "perversidade trivial" (estrutura t padrão), provando que o bom espaço de módulos de feixes construtíveis com fibras planas é também uma união disjunta de esquemas quasi-afins (Corolário 5.2.7).

Significado e Alegações
O artigo alega que sua contribuição principal é fornecer uma maneira efetiva e intrínseca de construir seções globais do feixe estrutural das variedades de caracteres perversas sem depender da GIT.

• "Além da GIT": Os autores enfatizam que suas técnicas se enquadram na teoria de módulos "Além da GIT" (referenciando Alper-Halpern-Leistner), oferecendo uma abordagem mais intrínseca a problemas de módulos que não requer uma ação de grupo redutivo ou uma linearização específica.
• Construção Explícita: Ao contrário de provas de existência abstratas, o artigo fornece uma descrição concreta das seções separadoras: elas são rastros de monodromia associados a laços nas estratificações do espaço subjacente.
• Escopo: Os resultados aplicam-se a qualquer perversidade para a qual a correspondente variedade de caracteres perversa exista, incluindo a perversidade média (central para a teoria dos módulos D e a correspondência de Riemann-Hilbert) e a perversidade trivial.

O artigo não propõe novas aplicações experimentais ou direções futuras além do contexto matemático imediato de estabelecer a quasi-afimidade desses espaços de módulos. Posiciona-se como um resultado fundamental na geometria dos feixes perversos, preenchendo a lacuna entre a descrição teórica de pilhas dos módulos e suas propriedades afins.