The conformal limit for Nakajima quiver varieties

Resumo Técnico: O Limite Conformal para Variedades de Quiver de Nakajima

1. O Problema e o Contexto

O artigo aborda a generalização de uma construção geométrica conhecida como limite conformal, originalmente desenvolvida por Gaiotto e posteriormente provada e generalizada por Collier, Li, e outros no contexto de fibrados de Higgs sobre superfícies de Riemann.

• Contexto Original: Para fibrados de Higgs, o limite conformal descreve o comportamento assintótico de uma família de conexões planas complexas quando um parâmetro de escala $R \to 0$. Este processo estabelece um difeomorfismo biholomórfico entre subvariedades lagrangianas holomorfas no espaço de módulos de Higgs e no espaço de módulos de De Rham (conexões planas).
• A Questão Central: O objetivo deste trabalho é determinar se uma construção análoga existe para Variedades de Quiver de Nakajima. Estas variedades são uma classe importante de variedades hiper-Kähler, construídas como quocientes hiper-Kähler, que compartilham características geométricas profundas com os espaços de módulos de fibrados de Higgs, mas são definidas puramente em termos algébricos e de teoria de representações.

O problema específico é definir o limite conformal para essas variedades, provar sua existência, caracterizar a aplicação resultante e investigar propriedades topológicas (como a completude) das subvariedades envolvidas, análogas à conjectura de Simpson para fibrados de Higgs.

2. Metodologia

Os autores utilizam uma abordagem que combina geometria hiper-Kähler, teoria de deformações e ação de grupos de Lie complexos. A metodologia segue os seguintes passos principais:

1. Definição do Espaço de Módulos de Hodge-Nakajima:

   • Introduzem um espaço de módulos unificado, $\mathcal{M}^Q_{Hod}$, que parametriza representações de quiver "estáveis" com um parâmetro $\xi \in \mathbb{C}$. Este espaço generaliza o espaço de Hodge de fibrados de Higgs.
   • Definido como a união de variedades de Nakajima com parâmetros de momento real e complexo variando com $\xi$: $\mathcal{M}_{\zeta_R} = \bigcup_{\xi \in \mathbb{C}} \mathcal{M}((1-|\xi|^2)\zeta_R, -2i\xi\zeta_R)$.

2. Construção da Família de Pontos:

   • Adaptam a família de conexões $\nabla_{R, \hbar}$ usada no caso de fibrados de Higgs. Para um ponto $p$ na variedade de quiver, aplicam uma ação de $\mathbb{C}^*$ (escalonamento de certas componentes) e uma rotação do espaço de twistor (hiper-Kähler).
   • A família é dada por uma transformação $F_{R, \hbar}(p)$ que envolve o parâmetro $R$ e uma constante fixa $\hbar$.

3. Uso de Fatias de Bia lynicki-Birula (BB):

   • Identificam pontos fixos da ação $\mathbb{C}^*$ na variedade.
   • Definem a Fatia de Hodge ($S_p$) e a Fatia de Bia lynicki-Birula ($S^+_{p_0}$) associadas a um ponto fixo $p_0$. Estas fatias são subvariedades finitas que capturam a direção de fluxo ascendente da ação $\mathbb{C}^*$.
   • Demonstram que a restrição do espaço de módulos de Hodge à fibra $\xi=0$ (variedade de Higgs) e à fibra $\xi=1$ (variedade de De Rham) sobre o conjunto de pontos que convergem para $p_0$ são subvariedades lagrangianas holomorfas ($W^0(p_0)$ e $W^1(p_0)$).

4. Técnica de Gauge Complexo e Teorema da Função Inversa:

   • Um obstáculo técnico crucial é que a ação de escala altera o momento real, exigindo uma correção por gauge complexo para manter a condição de estabilidade.
   • Os autores utilizam o Teorema da Função Inversa em um contexto não-linear para provar que, para $R$ suficientemente pequeno, existe uma transformação de gauge complexa única $g_{A, \hbar}$ que corrige a família de pontos para satisfazer ambas as equações de momento (real e complexo).
   • Realizam uma análise assintótica detalhada (Lema 4.6 e 5.1) para controlar os termos de erro de ordem $O(R^2)$ e provar a convergência do limite.

3. Contribuições Chave e Resultados Principais

• Existência do Limite Conformal (Teorema 1.3 e 5.2):
  Os autores provam que o limite $\lim_{R \to 0} F_{R, \hbar}(p)$ existe para pontos em variedades de Nakajima. Diferentemente do caso de fibrados de Higgs, onde a métrica harmônica é fixa, aqui a transformação de gauge necessária depende tanto do parâmetro $\hbar$ quanto do ponto inicial, devido à não preservação do momento real pela ação $\mathbb{C}^*$.

• Isomorfismo Biholomórfico:
  O limite conformal define um mapa biholomórfico:
  $$CL_{\hbar}: W^0(p_0) \to W^1(p_0)$$
  Onde $W^0(p_0)$ é uma subvariedade lagrangiana holomorfa na variedade de quiver de Higgs ($\mathcal{M}(\zeta_R, 0)$) e $W^1(p_0)$ é uma subvariedade correspondente na variedade de quiver de De Rham ($\mathcal{M}(0, -2i\zeta_R)$).

• Caracterização via Fatia BB:
  Demonstram que a fatia de Bia lynicki-Birula $S^+_{p_0}$ é difeomorfa a ambas as subvariedades lagrangianas, fornecendo coordenadas explícitas para a construção do limite.

• Conjectura de Simpson para Quivers (Seção 6):
  Os autores formulam uma versão da Conjectura de Simpson para variedades de quiver: As subvariedades $W^1(p_0)$ são subvariedades completas de $\mathcal{M}(0, -2i\zeta_R)$?

  • Resultado Parcial (Teorema 6.1): Eles provam que, se o ponto inicial $p_0 + A$ não for nilpotente (ou seja, se existir um invariante não nulo sob a ação do grupo de gauge complexo, como um traço de um laço fechado ou caminho admissível), então a linha do limite conformal escapa de qualquer conjunto compacto quando $R \to \infty$.
  • Isso implica que, para pontos fixos muito estáveis (onde todos os pontos não nulos na fatia são não-nilpotentes), a subvariedade $W^1(p_0)$ é completa.

4. Significado e Impacto

• Unificação Geométrica: O trabalho estabelece uma ponte robusta entre a teoria de fibrados de Higgs (geometria diferencial complexa) e a teoria de variedades de quiver (geometria algébrica e teoria de representações), mostrando que fenômenos profundos como o limite conformal e a correspondência de Hodge não-abeliana são universais para variedades hiper-Kähler com ação $\mathbb{C}^*$ adequada.
• Novas Ferramentas Computacionais: A construção explícita do limite e das coordenadas via a fatia BB oferece novas ferramentas para estudar a topologia e a geometria das variedades de quiver, especialmente em relação à sua estrutura de fibrado sobre o espaço de módulos de De Rham.
• Progresso na Conjectura de Simpson: Ao provar a completude para pontos "muito estáveis" em variedades de quiver, o artigo fornece evidências fortes para a validade da conjectura em contextos mais gerais, sugerindo que a completude das subvariedades lagrangianas é uma propriedade intrínseca à estrutura de Hodge dessas variedades.
• Aplicações Futuras: A metodologia desenvolvida pode ser aplicada a outras classes de variedades hiper-Kähler e pode ter implicações na teoria de gauge supersimétrica e na correspondência de Langlands geométrica, onde limites conformes desempenham um papel central.

Em suma, o artigo é uma contribuição fundamental que expande o escopo da teoria de limites conformes para além dos fibrados de Higgs, consolidando a estrutura matemática unificada das variedades de Nakajima e abrindo caminho para novas investigações sobre a completude e a geometria global desses espaços.