Lusztig sheaves and integrable highest weight modules in the symmetrizable case

Resumo Técnico: Feixes de Lusztig e Módulos de Peso Máximo Integráveis no Caso Simetrizável

Enunciado do Problema
O artigo aborda a categorificação geométrica de módulos de peso máximo integráveis $L(\lambda)$ e seus produtos tensoriais $L(\lambda_1) \otimes L(\lambda_2)$ para grupos quânticos $U$ associados a matrizes de Cartan generalizadas simetrizáveis. Enquanto o caso simétrico (onde a matriz de Cartan é simétrica) tem sido extensivamente estudado usando os feixes de Lusztig em variedades de quiver e as construções de Nakajima, o caso simetrizável apresenta desafios significativos devido à presença de automorfismos não triviais. Trabalhos anteriores por Fang, Lan e Xiao [6, 10] realizaram com sucesso esses módulos para matrizes simétricas usando localizações de feixes de Lusztig em quivers emoldurados. Este artigo busca generalizar esses resultados para o cenário simetrizável, onde o quiver subjacente admite um automorfismo admissível $a$.

Metodologia
Os autores empregam uma abordagem geométrica baseada na teoria de feixes perversos e funtores periódicos, estendendo o arcabouço de Lusztig de [19] para o contexto de quivers emoldurados com automorfismos.

1. Configuração: Dada uma matriz de Cartan generalizada simetrizável $C = DB$, os autores constroem um quiver finito $Q$ equipado com um automorfismo admissível $a$. Eles consideram o $\tilde{Q}(N)$-quiver emoldurado e o espaço de módulos associado de representações $E_{V, W_\bullet, \Omega}$.
2. Localização: Eles definem uma subcategoria espessa $N_V$ dentro da categoria derivada construtível $G_V$-equivariante, gerada por complexos suportados em subconjuntos fechados específicos (complementos de conjuntos abertos onde certas aplicações lineares são injetivas). O objeto central de estudo é a categoria quociente de Verdier $D^b_{G_V}(E_{V, W_\bullet, \Omega})/N_V$, denominada a localização.
3. Funtores Periódicos: Para lidar com o automorfismo $a$, os autores aplicam o método de funtores periódicos de Lusztig. Eles constroem uma nova categoria $\widehat{Q/N}$ consistindo em pares $(B, \phi)$, onde $B$ é um objeto na categoria localizada e $\phi: a^*B \to B$ é um isomorfismo satisfazendo uma condição de periodicidade (a composição de $a^*$ aplicado $o$ vezes, onde $o$ é a ordem de $a$, é a identidade).
4. Ações Funtores: Os autores definem funtores de indução e restrição, denotados por $E_i^{(n)}$ e $F_i^{(n)}$, sobre as categorias localizadas. Eles são construídos pela composição dos funtores geométricos padrão (envolvendo Grassmannianos e variedades de flag) com a estrutura periódica. Crucialmente, eles provam que esses funtores comutam com o funtor periódico $a^*$, permitindo que eles descendam para funtores bem definidos em $\widehat{Q/N}$.
5. Relações de Comutação: Uma parte técnica significativa do artigo envolve provar as relações de comutação para esses funtores (especificamente as relações de Serre quânticas e as relações entre $E$ e $F$). As provas diferem substancialmente do caso simétrico, exigindo uma análise cuidadosa de objetos sem traço e do comportamento do automorfismo na estratificação dos espaços de módulos.

Principais Contribuições e Resultados

• Categorificação de $L(\lambda)$ e Produtos Tensoriais: O grupo de Grothendieck da categoria $\widehat{Q/N}$ (para $N=1$) é mostrado como sendo canonicamente isomorfo ao módulo de peso máximo integrável $L(\lambda)$ do grupo quântico $U$. Para o caso de 2 molduras ($N=2$), o grupo de Grothendieck é isomorfo ao produto tensorial $L(\lambda_1) \otimes L(\lambda_2)$.
• Bases Canônicas Assinadas: Ao quotientar por "objetos sem traço" (objetos que são somas diretas de órbitas sob $a^*$ com estruturas de permutação específicas), os feixes perversos simples na categoria produzem uma base assinada para $L(\lambda)$ e $L(\lambda_1) \otimes L(\lambda_2)$. Esta base é mostrada como sendo quase ortogonal em relação a um emparelhamento geométrico contravariante.
• Relação de Yang–Baxter: Os autores fornecem uma nova prova da relação de Yang–Baxter para os operadores $R_{ij}$ decorrentes da composição de funtores de restrição e indução, utilizando a coassociatividade do funtor de restrição no cenário geométrico.
• Estruturas de Cristal: O artigo estabelece uma estrutura de cristal simetrizável em:
  • O conjunto de componentes irredutíveis fixas por $a$ das variedades de quiver de Nakajima.
  • O conjunto de componentes irredutíveis fixas por $a$ das variedades de produto tensorial de Nakajima.
  • O conjunto de componentes irredutíveis fixas por $a$ das variedades nulas de Lusztig para álgebras pré-projetivas.
    Estas estruturas de cristal são provadas ser isomórficas às bases de cristal $B(\lambda)$ e $B(\lambda_1) \otimes B(\lambda_2)$ associadas ao grupo quântico.

Significância
O artigo afirma completar o programa iniciado por Fang, Lan e Xiao [6, 10] ao fornecer uma construção geométrica de módulos de peso máximo e seus produtos tensoriais especificamente para o caso simetrizável. Ele une a lacuna entre a abordagem de feixes de Lusztig para matrizes simétricas e o cenário mais complexo das simetrizáveis. O trabalho demonstra que o aparato de funtores periódicos e localizações de feixes de Lusztig é robusto o suficiente para lidar com o caso simetrizável, recuperando estruturas de cristal conhecidas e fornecendo uma realização geométrica das bases canônicas assinadas para produtos tensoriais neste contexto mais amplo. Os resultados unificam a compreensão geométrica das representações de grupos quânticos através de ambos os tipos, simétricos e simetrizáveis.