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

Resumo Técnico: Fibras de Springer Afins Dentro do Centro Invariante do Pequeno Grupo Quântico

Declaração do Problema
O artigo aborda a realização geométrica da parte invariante sob $G^\vee$ do centro, denotada $Z(u^\vee_\zeta)^{G^\vee}$, do pequeno grupo quântico $u^\vee_\zeta$ associado a uma álgebra de Lie simples $\mathfrak{g}^\vee$ e a uma raiz da unidade $\zeta$. Especificamente, os autores visam calcular a dimensão de uma subálgebra definida geometricamente, $Z(u^\vee_\zeta)^{G^\vee}_{\text{geom}}$, construída via teoria de Springer afim. Além disso, no caso em que $G = SL_n$, o artigo investiga um refinamento bigraduado deste resultado, buscando conectar a geometria das fibras de Springer afins com a combinatória dos invariantes diagonais e a estrutura do centro do grupo quântico.

Metodologia
Os autores empregam uma síntese da teoria de Springer afim, da teoria de representação do grupo de Weyl e da geometria das fibradas de Hitchin.

1. Decomposição Geométrica: O objeto geométrico central é a interseção $Gr_{\gamma, \zeta} = Gr_\gamma \cap Gr_\zeta$, onde $Gr_\gamma$ é uma fibra de Springer afim e $Gr_\zeta$ representa pontos fixos sob uma ação de grupo cíclico. Utilizando a decomposição da erva de Grassmann afim em variedades de bandeira afim parciais indexadas pelo grupo de Weyl afim estendido $\widetilde{W}$, os autores expressam $Gr_{\gamma, \zeta}$ como uma união disjunta de "fibras de Spaltenstein afins" ($fl_{\gamma, \ell}^{P_\lambda}$).
2. Decomposição em Blocos e Teoria de Representação: A cohomologia $H^*(Gr_{\gamma, \zeta})$ decompõe-se de acordo com as órbitas de $\widetilde{W}$ atuando no reticulado de cocharacteres $\Lambda$. Os autores utilizam a ação de Springer e a ação ponto (monodromia) nestes grupos de cohomologia. Eles relacionam a cohomologia de cada bloco à teoria de representação do grupo de Weyl finito $W$, identificando especificamente os invariantes sob a ação ponto com subespaços específicos do anel de invariantes diagonais $DR_W$.
3. Ferramentas Combinatórias: Os cálculos de dimensão dependem de números de Coxeter–Catalan racionais generalizados e números de Kreweras. Os autores usam a representação de permutação de $W$ em $\Lambda/\ell\Lambda$ para enumerar blocos e aplicam a reciprocidade de Frobenius para calcular dimensões de subespaços invariantes.
4. Refinamento Tipo A: Para $G=SL_n$, os autores aproveitam teoremas de embaralhamento racional e a teoria do operador nabla $\nabla$ atuando em funções simétricas. Eles interpretam a bigraduação na cohomologia via homologia de Borel–Moore equivariante da "parte positiva" da fibra de Springer afim, relacionando-a ao anel de invariantes diagonais $DR_n$.
5. Conexão com a Fibrada de Hitchin: Para fornecer uma perspectiva geométrica alternativa sobre a bigraduação, os autores estudam a fibrada de Hitchin parabólica. Eles constroem uma degeneração de curvas espectrais para relacionar a cohomologia das fibras de Springer afins à filtração perversa nas fibras de Hitchin, conjecturando que esta filtração corresponde à bigraduação nos invariantes diagonais.

Principais Contribuições e Resultados

• Fórmula de Dimensão (Teorema 1.1): Os autores derivam uma fórmula de dimensão precisa para a subálgebra geométrica $Z(u^\vee_\zeta)^{G^\vee}_{\text{geom}}$. Eles provam que:
  $$\dim Z(u^\vee_\zeta)^{G^\vee}_{\text{geom}} = \text{Cat}_W((h+1)\ell - h, h)$$
  onde $\text{Cat}_W$ é o número de Coxeter–Catalan racional generalizado, $h$ é o número de Coxeter e $\ell$ é a ordem da raiz da unidade. Este resultado é obtido via decomposição em blocos e argumentos combinatórios envolvendo o número de órbitas de $W$ em quocientes de reticulados específicos.

• Conexão com Números de Catalan Racionais (Corolário 1.4): No caso $G=SL_n$, a fórmula de dimensão simplifica-se para o número de Catalan racional $((n+1)\ell - n, n)$-Catalan, confirmando uma conjectura de Igor Frenkel para a parte invariante sob $G^\vee$ do centro (sob a suposição de que o mergulho geométrico é um isomorfismo).

• Bigraduação e Invariantes Diagonais (Teorema 3.8): Assumindo uma conjectura de [13] relativa aos grupos Tori na ação do reticulado, os autores estabelecem que o caráter de Frobenius bigraduado dos invariantes do reticulado da cohomologia da fibra de Springer afim coincide com o torção de sinal do anel de invariantes diagonais $DR_n$. Especificamente, $\text{Frob}_{q,t}(H^*(Fl_\gamma^I)^\Lambda) = \omega_X \nabla e_n$.

• Análise do Bloco Subregular (Corolário 3.4): Para pesos subregulares no tipo A, os autores calculam explicitamente as dimensões bigraduadas dos blocos do centro e mostram que correspondem às dimensões bigraduadas da cohomologia de feixes coerentes na resolução de Springer, resolvendo uma conjectura específica de [31].

• Interpretação Geométrica de Subálgebras (Seção 4): O artigo identifica o centro de Harish-Chandra, o ideal de Higman e o quociente de Verlinde dentro do modelo geométrico. Demonstra-se que o centro de Harish-Chandra corresponde à cohomologia de variedades de bandeira parciais, o ideal de Higman aos soclos destes blocos e o quociente de Verlinde às cabeças dos blocos regulares.

• Filtração Perversa e Elementos de Lefschetz (Seção 5): Os autores propõem uma conexão entre a bigraduação no centro e a filtração perversa na cohomologia das fibras de Hitchin parabólicas. Eles identificam o elemento de Lefschetz (induzido pelo fibrado de linha determinante) com o "determinante de Haiman" no anel de invariantes diagonais e conjecturam que a ação $sl_2$ resultante coincide com a ação de produto exterior pelo campo bivectorial de Poisson na resolução de Springer (Conjectura 5.8).

Significado e Afirmações
O artigo afirma fornecer uma fórmula de dimensão completa para a subálgebra geométrica do centro do pequeno grupo quântico, derivada independentemente das comparações com fibras de Springer afins elípticas usadas em [10], dependendo em vez disso da decomposição em blocos e da combinatória de Coxeter–Catalan.

Os autores enfatizam que seu trabalho esclarece a estrutura do centro no caso $G=SL_n$ introduzindo uma bigraduação que se alinha com o anel de invariantes diagonais. Eles afirmam que seus resultados confirmam a Conjectura 1.3 (de que o mergulho geométrico é um isomorfismo) em casos específicos de baixo posto (tipos $A_1$ através de $A_4$, $B_2$, $G_2$) ao igualar dimensões com cálculos conhecidos de cohomologia de Hochschild.

O artigo enquadra modestamente suas descobertas sobre a bigraduação e a ação $sl_2$ como conjecturais, dependendo da validade da conjectura "Hilb-vs-Quot" [28] e da conjectura principal de [13]. Os autores declaram que sua construção geométrica de degenerações de curvas espectrais oferece um caminho potencial para provar a equivalência das duas bigraduações propostas (combinatória vs. filtração perversa), mas isso permanece um assunto para verificação futura. O trabalho serve para unificar as perspectivas das fibras de Springer afins, feixes coerentes na resolução de Springer e invariantes diagonais no contexto do pequeno grupo quântico.