Białynicki-Birula Decompositions of Nakajima Quiver Varieties, Quiver Chains and Star-Shaped Quivers

Resumo Técnico: Decomposições de Białynicki-Birula de Variedades de Quiver de Nakajima, Cadeias de Quivers e Quivers em Forma de Estrela

Enunciado do Problema
O artigo aborda a estrutura geométrica e topológica das variedades de quiver de Nakajima, $M_\theta(Q, d)$, que são variedades hiper-Kähler semiprojetivas centrais na teoria de representação geométrica e na física matemática. Especificamente, o trabalho investiga a decomposição de Białynicki-Birula (BB) associada à ação natural de $\mathbb{C}^*$ sobre essas variedades. Esta ação escala os mapas ao longo das setas invertidas do quiver duplo enquanto preserva os mapas ao longo das setas originais. O objetivo principal é caracterizar o lócus de pontos fixos desta ação, descrever a geometria da estratificação BB resultante (especificamente as dimensões das fibras atrativas) e computar a classe motivica da variedade em termos dos espaços de módulos desses pontos fixos.

Metodologia
O autor emprega uma abordagem sistemática combinando redução hiper-Kähler, Teoria de Invariantes Geométricos (GIT), teoria de deformação e técnicas de integração motivica:

1. Identificação de Pontos Fixos: O artigo estabelece que os pontos fixos da ação de $\mathbb{C}^*$ em $M_\theta(Q, d)$ correspondem a cadeias de quiver. Uma cadeia de quiver é definida como uma representação de um quiver auxiliar $Q_\ell$ (construído replicando os vértices e arestas de $Q$ sobre $\ell$ "níveis") satisfazendo relações específicas derivadas da condição do mapa momento complexo.
2. Equivalência de Estabilidade: Utilizando técnicas adaptadas do trabalho de King sobre espaços de módulos de quiver e do trabalho de Álvarez-Cónsul e García-Prada sobre feixes de Higgs, o autor prova que a estabilidade de uma cadeia de quiver em relação a um parâmetro de estabilidade específico $\theta_\ell$ é equivalente à estabilidade da representação de quiver de Nakajima colapsada associada em relação a $\theta$. Isso permite a construção do espaço de módulos de cadeias de quiver como um espaço de módulos fino.
3. Estratificação BB e Teoria de Deformação: O artigo utiliza a teoria de deformação do espaço de módulos para analisar o espaço tangente nos pontos fixos. Ao decompor o complexo de deformação nos espaços de peso sob a ação de $\mathbb{C}^*$, o autor computa as dimensões das fibras atrativas e repulsivas (os fluxos "ascendentes" e "descendentes"). Isso envolve analisar a cohomologia de complexos de deformação graduados por peso.
4. Computação Motivica: Para computar a classe motivica de $[M_\theta(Q, d)]$ no anel de Grothendieck de variedades, o artigo aplica a fórmula de decomposição BB, que expressa a classe do espaço total como uma soma das classes dos componentes de pontos fixos multiplicadas pelas classes de espaços afins (as fibras). Para o caso específico de quivers em forma de estrela, o autor emprega uma versão motivica da fórmula de Fei (baseada no trabalho de Reineke sobre filtrações de Harder-Narasimhan) para computar as classes dos espaços de módulos de cadeias de quiver. Isso envolve estratificar o espaço de representações com relações por perfis de rank e utilizar propriedades de variedades de flag e feixes vetoriais.

Principais Contribuições e Resultados

• Caracterização de Pontos Fixos (Teoremas 3.2, 3.15): O lócus de pontos fixos $M_\theta(Q, d)^{\mathbb{C}^*}$ é mostrado ser isomorfo a uma união disjunta de espaços de módulos de cadeias de quiver $\theta_\ell$-estáveis, $M_{\theta_\ell}(Q_\ell, d_\ell, R_\ell)$. Isso generaliza a identificação de pontos fixos em espaços de módulos de feixes de Higgs com cadeias holomorfas.
• Geometria da Estratificação (Proposições 4.6, 4.7): O artigo fornece uma fórmula para a classe motivica da variedade de quiver de Nakajima:
  $$[M_\theta(Q, d)] = \sum_{d_\ell} [M_{\theta_\ell}(Q_\ell, d_\ell, R_\ell)] \cdot \mathbb{L}^{N_{d_\ell}}$$
  onde $\mathbb{L}$ é a classe da reta afim e $N_{d_\ell}$ é a dimensão da fibra atrativa. Um resultado significativo é que, para o quiver em forma de estrela, $N_{d_\ell}$ é independente do componente específico $d_\ell$ e igual a $1 - \langle d, d \rangle_Q$, implicando que as fibras atrativas são lagrangianas.
• Classificação para Quivers em Forma de Estrela (Teorema 5.5): Para quivers em forma de estrela com vetores de dimensão do tipo $(1, \dots, 1)$, o espaço de módulos de cadeias de quiver é explicitamente classificado. Mostra-se que ele é isomorfo a um produto de espaços projetivos $\mathbb{P}^{n_2-2} \times \dots \times \mathbb{P}^{n_\ell-2}$ (ou vazio se as dimensões forem muito pequenas).
• Fórmula Motivica Explícita (Teorema 5.10): O artigo deriva uma fórmula fechada para a classe motivica da variedade de Nakajima completa para quivers em forma de estrela em um anel de Grothendieck adequado. Esta fórmula é expressa como uma soma sobre decomposições do vetor de dimensão, envolvendo termos relacionados a grupos lineares gerais, Grassmannianas e perfis de rank.

Significância
O artigo afirma fornecer um estudo sistemático da decomposição BB para variedades de quiver de Nakajima, oferecendo uma nova perspectiva distinta de abordagens motivicas anteriores (como o uso de álgebras de Hall motivicas e transformadas de Fourier aritméticas por Wyss). Ao analisar explicitamente os lócus de pontos fixos via cadeias de quiver, o trabalho fornece informações geométricas adicionais sobre a estratificação do espaço de módulos. Os resultados conectam a geometria das variedades de Nakajima à combinatória de cadeias de quiver e variedades de flag, oferecendo um método concreto para computar invariantes motivicos para quivers em forma de estrela, que estão ligados a feixes de Higgs parabólicos e espaços de módulos de hiperpolígonos. A classificação dos pontos fixos e a computação explícita das classes motivicas servem como ferramentas para compreender os números de Betti e a estrutura topológica dessas variedades.