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

Resumen Técnico: Descomposiciones de Białynicki-Birula de Variedades de Quivers de Nakajima, Cadenas de Quivers y Quivers en Forma de Estrella

Planteamiento del Problema
El artículo aborda la estructura geométrica y topológica de las variedades de quivers de Nakajima, $M_\theta(Q, d)$, que son variedades hiperkähler semiproyectivas centrales en la teoría de representaciones geométrica y la física matemática. Específicamente, el trabajo investiga la descomposición de Białynicki-Birula (BB) asociada con la acción natural de $\mathbb{C}^*$ sobre estas variedades. Esta acción escala los mapas a lo largo de las flechas invertidas del doble quiver mientras preserva los mapas a lo largo de las flechas originales. El objetivo principal es caracterizar el lugar de puntos fijos de esta acción, describir la geometría de la estratificación BB resultante (específicamente las dimensiones de las fibras atrayentes) y computar la clase motivica de la variedad en términos de los espacios de módulos de estos puntos fijos.

Metodología
El autor emplea un enfoque sistemático que combina la reducción hiperkähler, la Teoría de Invariantes Geométricos (GIT), la teoría de deformación y técnicas de integración motivica:

1. Identificación de Puntos Fijos: El artículo establece que los puntos fijos de la acción de $\mathbb{C}^*$ en $M_\theta(Q, d)$ corresponden a cadenas de quivers. Una cadena de quivers se define como una representación de un quiver auxiliar $Q_\ell$ (construido mediante la replicación de los vértices y aristas de $Q$ sobre $\ell$ "niveles") que satisface relaciones específicas derivadas de la condición del mapa momento complejo.
2. Equivalencia de Estabilidad: Utilizando técnicas adaptadas del trabajo de King sobre espacios de módulos de quivers y del trabajo de Álvarez-Cónsul y García-Prada sobre fibrados de Higgs, el autor demuestra que la estabilidad de una cadena de quivers con respecto a un parámetro de estabilidad específico $\theta_\ell$ es equivalente a la estabilidad de la representación colapsada de Nakajima asociada con respecto a $\theta$. Esto permite la construcción del espacio de módulos de las cadenas de quivers como un espacio de módulos fino.
3. Estratificación BB y Teoría de Deformación: El artículo utiliza la teoría de deformación del espacio de módulos para analizar el espacio tangente en los puntos fijos. Al descomponer el complejo de deformación en espacios de peso bajo la acción de $\mathbb{C}^*$, el autor computa las dimensiones de las fibras atrayentes y repelerentes (los flujos "ascendentes" y "descendentes"). Esto implica el análisis de la cohomología de complejos de deformación graduados por peso.
4. Computación Motivica: Para computar la clase motivica de la variedad $[M_\theta(Q, d)]$ en el anillo de Grothendieck de variedades, el artículo aplica la fórmula de la descomposición BB, la cual expresa la clase del espacio total como una suma de las clases de los componentes de los puntos fijos multiplicadas por las clases de los espacios afines (las fibras). Para el caso específico de los quivers en forma de estrella, el autor emplea una versión motivica de la fórmula de Fei (basada en el trabajo de Reineke sobre filtraciones de Harder-Narasimhan) para computar las clases de los espacios de módulos de cadenas de quivers. Esto implica estratificar el espacio de representaciones con relaciones por perfiles de rango y utilizar propiedades de variedades de banderas y fibrados vectoriales.

Contribuciones Clave y Resultados

• Caracterización de Puntos Fijos (Teoremas 3.2, 3.15): Se demuestra que el lugar de puntos fijos $M_\theta(Q, d)^{\mathbb{C}^*}$ es isomorfo a una unión disjunta de espacios de módulos de cadenas de quivers $\theta_\ell$-estables, $M_{\theta_\ell}(Q_\ell, d_\ell, R_\ell)$. Esto generaliza la identificación de los puntos fijos en los espacios de módulos de fibrados de Higgs con cadenas holomorfas.
• Geometría de la Estratificación (Proposiciones 4.6, 4.7): El artículo proporciona una fórmula para la clase motivica de la variedad 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}}$$
  donde $\mathbb{L}$ es la clase de la recta afín y $N_{d_\ell}$ es la dimensión de la fibra atrayente. Un resultado significativo es que, para el quiver en forma de estrella, $N_{d_\ell}$ es independiente del componente específico $d_\ell$ e igual a $1 - \langle d, d \rangle_Q$, lo que implica que las fibras atrayentes son lagrangianas.
• Clasificación para Quivers en Forma de Estrella (Teorema 5.5): Para quivers en forma de estrella con vectores de dimensión de tipo $(1, \dots, 1)$, el espacio de módulos de cadenas de quivers se clasifica explícitamente. Se muestra que es isomorfo a un producto de espacios proyectivos $\mathbb{P}^{n_2-2} \times \dots \times \mathbb{P}^{n_\ell-2}$ (o vacío si las dimensiones son demasiado pequeñas).
• Fórmula Motivica Explícita (Teorema 5.10): El artículo deriva una fórmula cerrada para la clase motivica de la variedad completa de Nakajima para quivers en forma de estrella en una localización adecuada del anillo de Grothendieck. Esta fórmula se expresa como una suma sobre descomposiciones del vector de dimensión, involucrando términos relacionados con grupos lineales generales, grassmannianas y perfiles de rango.

Significación
El artículo pretende proporcionar un estudio sistemático de la descomposición de BB para las variedades de quivers de Nakajima, ofreciendo una nueva perspectiva distinta de enfoques motivicos previos (como el uso de álgebras de Hall motivicas de Wyss y transformadas de Fourier aritméticas). Al analizar explícitamente los lugares de puntos fijos a través de cadenas de quivers, el trabajo ofrece información geométrica adicional sobre la estratificación del espacio de módulos. Los resultados conectan la geometría de las variedades de Nakajima con la combinatoria de las cadenas de quivers y las variedades de banderas, ofreciendo un método concreto para computar invariantes motivicos para quivers en forma de estrella, los cuales están vinculados a fibrados de Higgs parabólicos y espacios de módulos de hiperpolígonos. La clasificación de los puntos fijos y la computación explícita de las clases motivicas sirven como herramientas para comprender los números de Betti y la estructura topológica de estas variedades.