The conformal limit for Nakajima quiver varieties

1. Problema y Contexto

El artículo aborda la generalización de la construcción del límite conforme, originalmente desarrollada por Gaiotto para haces de Higgs y posteriormente probada y generalizada por Collier, Li, y Wentworth (y otros), al contexto de las variedades de quiver de Nakajima.

• Antecedentes: En la teoría de haces de Higgs sobre una superficie de Riemann, el límite conforme es un mapa que, al tomar un límite de una familia de conexiones planas complejas parametrizada por un parámetro $R \to 0$, establece un difeomorfismo biholomorfo entre subvariedades lagrangianas holomorfas del espacio de móduli de haces de Higgs y el espacio de móduli de conexiones planas (espacio de de Rham).
• La Pregunta: Dado que las variedades de quiver de Nakajima son una familia general de variedades hiperkähler con características geométricas muy similares a los espacios de móduli de haces de Higgs, ¿existe una construcción análoga del límite conforme para ellas? ¿Preserva propiedades deseables como la estructura lagrangiana holomorfa y la biholomorfía?
• Objetivo: Definir y estudiar rigurosamente el límite conforme para variedades de quiver, probar su existencia, caracterizar su imagen y discutir una conjetura análoga a la de Simpson sobre la completitud de estas subvariedades.

2. Metodología

Los autores emplean una combinación de geometría hiperkähler, teoría de deformaciones y análisis asintótico de ecuaciones de momento. La metodología se estructura en los siguientes pasos:

1. Definición del Espacio de Móduli de Hodge para Quivers:

   • Construyen un espacio de móduli unificado, $M^Q_{Hod}$, que parametriza representaciones de quiver estables para una conexión $\lambda$-dependiente.
   • Este espacio se define como la unión de variedades de quiver con parámetros de momento real y complejo que dependen de un parámetro $\xi \in \mathbb{C}$:
     $$M^Q_{Hod} := \bigcup_{\xi \in \mathbb{C}} M((1-|\xi|^2)\zeta_R, -2i\xi\zeta_R)$$
   • Utilizan la acción del grupo $\mathbb{C}^*$ y la estructura de línea de twistor (rotación hiperkähler) para conectar diferentes fibras.

2. Construcción de la Sección de Bia lynicki-Birula (BB):

   • Identifican los puntos fijos de la acción $\mathbb{C}^*$ en la variedad de quiver.
   • Definen la sección de Hodge ($S_p$) como una subvariedad finita dimensional del espacio de representaciones que satisface la ecuación del momento complejo no lineal ($\mu_C(p+q)=0$) y la condición de gauge linealizada ($l^*_p(q)=0$).
   • Restringen esta sección a los componentes de peso positivo bajo la acción $\mathbb{C}^*$ para definir la sección de Bia lynicki-Birula ($S^+_{p_0}$). Esta sección actúa como un análogo no lineal del espacio tangente de la hoja estable (upward flow) hacia un punto fijo $p_0$.

3. Análisis del Límite Asintótico ($R \to 0$):

   • Definen una familia de puntos $F_{R, \tilde{h}}$ obtenida actuando con la acción $\mathbb{C}^*$ (escalando por $R$) y aplicando una transformación de gauge compleja para satisfacer las ecuaciones de momento.
   • Demuestran que, para puntos en la sección BB, existe una transformación de gauge única $g_{A, \tilde{h}}$ que corrige la familia para satisfacer ambas ecuaciones de momento (real y complejo) en el límite.
   • Utilizan el Teorema de la Función Inversa y estimaciones cuantitativas detalladas (Lema 4.6) sobre la forma de la métrica de gauge $h_{A,R}$ para controlar los términos de error de orden $O(R^2)$ y asegurar la convergencia.

4. Estudio de la Completitud (Conjetura de Simpson):

   • Analizan el comportamiento de las trayectorias del límite conforme cuando el parámetro se aleja del origen (o cuando se considera el límite $R \to \infty$ en la parametrización inversa).
   • Utilizan invariantes algebraicos (trazas de caminos cerrados y caminos admisibles, basados en el teorema de Lusztig) para demostrar que las trayectorias que no son nilpotentes escapan de cualquier conjunto compacto.

3. Contribuciones Clave y Resultados Principales

El artículo presenta los siguientes resultados fundamentales:

• Teorema de Existencia y Biología (Teorema 1.3 y 5.2):
  Se demuestra que el límite conforme existe para las variedades de quiver. Específicamente, para un punto fijo $p_0$ y un elemento $A$ en la sección BB ($S^+_{p_0}$), el límite
  $$CL_{\tilde{h}}(g_A \cdot (p_0 + A)) = \lim_{R \to 0} F_{R, \tilde{h}}(g_A \cdot (p_0 + A))$$
  está bien definido.

  • Resultado Principal: Este límite define un difeomorfismo biholomorfo entre dos subvariedades lagrangianas holomorfas:
    1. $W^0(p_0)$: La intersección de la hoja estable con la variedad de quiver en el parámetro $(\zeta_R, 0)$ (análoga a los haces de Higgs).
    2. $W^1(p_0)$: La intersección con la variedad en el parámetro $(0, -2i\zeta_R)$ (análoga a las conexiones planas).

• Caracterización de las Subvariedades Lagrangianas (Teorema 3.6):
  Se prueba que las restricciones $W^0_a$ y $W^1_a$ son subvariedades lagrangianas holomorfas de sus respectivos espacios de móduli y son difeomorfas a $\mathbb{C}^N$.

• Conjetura de Simpson para Quivers (Teorema 1.7):
  Los autores formulan la conjetura análoga: Las subvariedades $W^1(p_0)$ son subvariedades completas de la variedad de quiver de conexiones planas.

  • Resultado Parcial: Demuestran que si el punto $p_0 + A$ no es nilpotente, la línea del límite conforme escapa de todo conjunto compacto cuando el parámetro tiende a infinito. Esto implica que $W^1(p_0)$ es una subvariedad completa para puntos fijos muy estables (very stable fixed points).

• Diferencia Técnica con Haces de Higgs:
  A diferencia del caso de haces de Higgs, donde la métrica de gauge es independiente del punto inicial en el límite, aquí la transformación de gauge $g_{A, \tilde{h}}$ depende tanto del parámetro $\tilde{h}$ como del punto inicial $A$. Esto se debe a que la acción $\mathbb{C}^*$ no preserva el momento real, requiriendo ajustes de métrica en cada paso.

4. Significancia e Impacto

• Generalización Profunda: El trabajo extiende una de las construcciones más importantes en la correspondencia de Hodge no abeliana (el límite conforme) más allá de la geometría de superficies de Riemann hacia una clase amplia de variedades hiperkähler (variedades de quiver). Esto valida la intuición de que la estructura de las variedades de quiver es un modelo microscópico o algebraico de la geometría de haces de Higgs.
• Herramientas para la Geometría Algebraica: La construcción de la sección de Bia lynicki-Birula y el uso de estimaciones asintóticas precisas para resolver ecuaciones de momento no lineales proporcionan nuevas herramientas técnicas que pueden ser aplicadas en otros contextos de geometría simpléctica y cuantización.
• Avance en la Conjetura de Simpson: Al probar la completitud para puntos muy estables, el artículo da un paso crucial hacia la resolución completa de la conjetura de Simpson en el contexto de variedades de quiver, un problema abierto que conecta la topología de los espacios de móduli con la dinámica de las ecuaciones de gauge.
• Conexión con la Física Matemática: Dado que las variedades de quiver aparecen naturalmente en teorías de gauge supersimétricas (como la teoría de Chern-Simons y teorías 3D/4D), este límite conforme podría tener implicaciones en la comprensión de los límites de baja energía o en la dualidad de espejo en teorías de campo cuántico.

En resumen, el artículo establece un puente riguroso entre la teoría de haces de Higgs y las variedades de quiver, demostrando que la rica estructura del límite conforme se preserva en este contexto algebraico más general, abriendo nuevas vías para el estudio de la geometría de los espacios de móduli de representaciones de quivers.