On the affine Springer fibers inside the invariant center of the small quantum group

Resumen Técnico: Fibras de Springer Afines Dentro del Centro Invariante del Grupo Cuántico Pequeño

Enunciado del Problema
El artículo aborda la realización geométrica de la parte invariante bajo $G^\vee$ del centro, denotada $Z(u^\vee_\zeta)^{G^\vee}$, del grupo cuántico pequeño $u^\vee_\zeta$ asociado a un álgebra de Lie simple $\mathfrak{g}^\vee$ y una raíz de la unidad $\zeta$. Específicamente, los autores buscan calcular la dimensión de una subálgebra definida geométricamente, $Z(u^\vee_\zeta)^{G^\vee}_{\text{geom}}$, construida mediante la teoría de Springer afín. Además, en el caso donde $G = SL_n$, el artículo investiga un refinamiento bigraduado de este resultado, buscando conectar la geometría de las fibras de Springer afines con la combinatoria de los coinvariantes diagonales y la estructura del centro del grupo cuántico.

Metodología
Los autores emplean una síntesis de la teoría de Springer afín, la teoría de representaciones del grupo de Weyl y la geometría de las fibraciones de Hitchin.

1. Descomposición Geométrica: El objeto geométrico central es la intersección $Gr_{\gamma, \zeta} = Gr_\gamma \cap Gr_\zeta$, donde $Gr_\gamma$ es una fibra de Springer afín y $Gr_\zeta$ representa los puntos fijos bajo una acción de grupo cíclico. Utilizando la descomposición de la Grassmanniana afín en variedades de bandera afines parciales indexadas por el grupo de Weyl afín extendido $\widetilde{W}$, los autores expresan $Gr_{\gamma, \zeta}$ como una unión disjunta de "fibras de Spaltenstein afines" ($fl_{\gamma, \ell}^{P_\lambda}$).
2. Descomposición en Bloques y Teoría de Representaciones: La cohomología $H^*(Gr_{\gamma, \zeta})$ se descompone según las órbitas de $\widetilde{W}$ actuando sobre el retículo de coraíces $\Lambda$. Los autores utilizan la acción de Springer y la acción punto (monodromía) sobre estos grupos de cohomología. Relacionan la cohomología de cada bloque con la teoría de representaciones del grupo de Weyl finito $W$, identificando específicamente los invariantes bajo la acción punto con subespacios específicos del anillo de coinvariantes diagonales $DR_W$.
3. Herramientas Combinatorias: Los cálculos de dimensión dependen de números de Coxeter–Catalan racionales generalizados y números de Kreweras. Los autores utilizan la representación de permutación de $W$ sobre $\Lambda/\ell\Lambda$ para enumerar bloques y aplican la reciprocidad de Frobenius para calcular dimensiones de subespacios invariantes.
4. Refinamiento Tipo A: Para $G=SL_n$, los autores aprovechan teoremas de mezcla racional y la teoría del operador nabla $\nabla$ actuando sobre funciones simétricas. Interpretan la bigraduación en la cohomología mediante la homología de Borel–Moore equivariante de la "parte positiva" de la fibra de Springer afín, relacionándola con el anillo de coinvariantes diagonales $DR_n$.
5. Conexión con la Fibración de Hitchin: Para proporcionar una perspectiva geométrica alternativa sobre la bigraduación, los autores estudian la fibración de Hitchin parabólica. Construyen una degeneración de curvas espectrales para relacionar la cohomología de las fibras de Springer afines con la filtración perversa en las fibras de Hitchin, conjeturando que esta filtración corresponde a la bigraduación en los coinvariantes diagonales.

Contribuciones y Resultados Clave

• Fórmula de Dimensión (Teorema 1.1): Los autores derivan una fórmula de dimensión precisa para la subálgebra geométrica $Z(u^\vee_\zeta)^{G^\vee}_{\text{geom}}$. Demuestran que:
  $$\dim Z(u^\vee_\zeta)^{G^\vee}_{\text{geom}} = \text{Cat}_W((h+1)\ell - h, h)$$
  donde $\text{Cat}_W$ es el número de Coxeter–Catalan racional generalizado, $h$ es el número de Coxeter y $\ell$ es el orden de la raíz de la unidad. Este resultado se obtiene mediante descomposición en bloques y argumentos combinatorios que involucran el número de órbitas de $W$ en cocientes de retículo específicos.

• Conexión con Números de Catalan Racionales (Corolario 1.4): En el caso $G=SL_n$, la fórmula de dimensión se simplifica al número de Catalan $((n+1)\ell - n, n)$-racional, confirmando una conjetura de Igor Frenkel para la parte invariante bajo $G^\vee$ del centro (bajo la suposición de que la inmersión geométrica es un isomorfismo).

• Bigraduación y Coinvariantes Diagonales (Teorema 3.8): Asumiendo una conjetura de [13] respecto a los grupos de Tori en la acción del retículo, los autores establecen que el carácter de Frobenius bigraduado de los invariantes del retículo de la cohomología de la fibra de Springer afín coincide con el giro por signo del anillo de coinvariantes diagonales $DR_n$. Específicamente, $\text{Frob}_{q,t}(H^*(Fl_\gamma^I)^\Lambda) = \omega_X \nabla e_n$.

• Análisis del Bloque Subregular (Corolario 3.4): Para pesos subregulares en tipo A, los autores calculan explícitamente las dimensiones bigraduadas de los bloques del centro y muestran que coinciden con las dimensiones bigraduadas de la cohomología de haces coherentes sobre la resolución de Springer, resolviendo una conjetura específica de [31].

• Interpretación Geométrica de Subálgebras (Sección 4): El artículo identifica el centro de Harish-Chandra, el ideal de Higman y el cociente de Verlinde dentro del modelo geométrico. Demuestra que el centro de Harish-Chandra corresponde a la cohomología de variedades de bandera parciales, el ideal de Higman a los soclos de estos bloques y el cociente de Verlinde a las cabezas de los bloques regulares.

• Filtración Perversa y Elementos de Lefschetz (Sección 5): Los autores proponen una conexión entre la bigraduación en el centro y la filtración perversa en la cohomología de las fibras de Hitchin parabólicas. Identifican el elemento de Lefschetz (inducido por el fibrado de línea determinante) con el "determinante de Haiman" en el anillo de coinvariantes diagonales y conjeturan que la acción $sl_2$ resultante coincide con la acción por producto exterior del campo bivector de Poisson sobre la resolución de Springer (Conjetura 5.8).

Significado y Afirmaciones
El artículo afirma proporcionar una fórmula de dimensión completa para la subálgebra geométrica del centro del grupo cuántico pequeño, derivada independientemente de las comparaciones con fibras de Springer afines elípticas utilizadas en [10], confiando en cambio en la descomposición en bloques y la combinatoria de Coxeter–Catalan.

Los autores enfatizan que su trabajo clarifica la estructura del centro en el caso $G=SL_n$ al introducir una bigraduación que se alinea con el anillo de coinvariantes diagonales. Afirman que sus resultados confirman la Conjetura 1.3 (de que la inmersión geométrica es un isomorfismo) en casos específicos de rango bajo (tipos $A_1$ a $A_4$, $B_2$, $G_2$) al igualar las dimensiones con cálculos conocidos de cohomología de Hochschild.

El artículo enmarca modestamente sus hallazgos sobre la bigraduación y la acción $sl_2$ como conjeturales, dependiendo de la validez de la conjetura "Hilb-vs-Quot" [28] y de la conjetura principal de [13]. Los autores declaran que su construcción geométrica de degeneraciones de curvas espectrales ofrece una vía potencial para probar la equivalencia de las dos bigraduaciones propuestas (combinatoria vs. filtración perversa), pero esto sigue siendo un tema para verificación futura. La obra sirve para unificar las perspectivas de las fibras de Springer afines, los haces coherentes sobre la resolución de Springer y los coinvariantes diagonales dentro del contexto del grupo cuántico pequeño.