Moduli Space of Sheaves and Categorified Commutator of Functors

Resumo Técnico: Espaço de Moduli de Feixes e Comutador Categorificado de Funtores

Enunciado do Problema
Este artigo aborda o problema da construção de uma categorificação fraca da ação da álgebra toroidal quântica $U_{q_1,q_2}(\ddot{\mathfrak{gl}}_1)$ sobre a K-teoria do espaço de moduli de feixes estáveis sobre uma superfície algébrica projetiva suave $S$. Embora Negut tenha construído anteriormente essa ação no grupo de Grothendieck (K-teoria) e fornecido uma categorificação fraca para a parte positiva da álgebra (elevando as relações dos geradores $e_i$ para categorias derivadas), a categorificação da álgebra completa, especificamente as relações de comutador entre os geradores $e_i$ e $f_j$, permanecia um problema em aberto. O desafio central reside em elevar essas relações de comutador para o nível das categorias derivadas de feixes coerentes, o que requer uma compreensão geométrica precisa da interação entre espaços de moduli de feixes aninhados.

Metodologia
O autor emprega técnicas de geometria algébrica derivada e teoria de interseção para analisar a geometria de espaços de moduli aninhados, triplos e quádruplos de feixes estáveis. A metodologia procede através dos seguintes passos:

1. Configuração Geométrica: O artigo fixa uma superfície projetiva suave $S$ com uma linha ampla $H$ e considera o espaço de moduli $M_k$ de feixes de Gieseker $H$-estáveis com posto $r$ fixo e primeira classe de Chern $c_1$, variando apenas a segunda classe de Chern $k$. O autor assume $\gcd(r, c_1 \cdot H) = 1$ e condições específicas sobre o feixe canônico $q = K_S$ para garantir propriedades de suavidade e estabilidade.
2. Espaços de Moduli Aninhados: O estudo foca no espaço de moduli aninhado $Z_{k,k+1}$, consistindo em pares $(F_{-1} \subset_x F_0)$ onde $F_0 \in M_k$ e $F_0/F_{-1} \cong \mathbb{C}_x$. Este espaço é identificado com uma projetivização de um complexo de feixe universal.
3. Espaços Triplos e Quádruplos: O autor introduz espaços de moduli triplos $Z^\bullet_{k-1,k,k+1}$ (trios de feixes com um ponto de suporte comum) e espaços de moduli quádruplos $Y$ (quartetos envolvendo dois feixes intermediários $F_0$ e $F'_0$).
4. Blow-ups Intrínsecos: Uma inovação técnica fundamental é a descrição do espaço de moduli quádruplo $Y$ via blow-ups intrínsecos. O autor prova que $Y$ é isomorfo ao blow-up intrínseco dos espaços de moduli triplos $Z_-$ e $Z_+$ ao longo de seus respectivos diagonais. Esta isomorfia é estabelecida analisando espaços tangentes e feixes normais, mostrando que as morfismos de $Y$ para os blow-ups são bijeções em pontos fechados e que os espaços são suaves.
5. Categorias Derivadas e Transformações de Fourier-Mukai: O artigo utiliza transformações de Fourier-Mukai com núcleos definidos em produtos de espaços de moduli e a superfície $S$. Os funtores $e_i$ e $f_i$ são definidos como núcleos envolvendo feixes de linha nos espaços de moduli aninhados. Os comutadores $e_i f_j$ e $f_j e_i$ são analisados computando os pushforwards dos núcleos através dos mapas geométricos estabelecidos nos passos anteriores.
6. Construção de Complexos: O autor constrói complexos explícitos $C^{a,b}_{i,j}$ e $h^{a\pm}_i$ na categoria derivada limitada de feixes coerentes. Estes complexos são construídos usando complexos de Koszul e truncamentos associados aos divisores excepcionais dos blow-ups.

Contribuições Principais e Resultados

• Teorema 3.1 (Isomorfismo Geométrico): O artigo estabelece que o espaço de moduli quádruplo $Y$ é isomorfo ao blow-up intrínseco dos espaços de moduli triplos $Z_-$ e $Z_+$ ao longo dos subesquemas diagonais. Isso fornece uma nova descrição de interseção para $Y$ que é crucial para computar pushforwards derivados.
• Teorema 4.1 (Comutador Categorificado): O principal resultado é a construção de uma categorificação fraca da ação de Negut para toda a álgebra toroidal quântica. Especificamente, o artigo fornece decomposições explícitas para a composição dos funtores $f_i e_j$ e $e_i f_j$ na categoria derivada.
  • Para $i+j \neq 0$, as composições são mostradas como isomórficas a objetos específicos $C^{a,b}_{i,j}$ construídos a partir do feixe universal $U_k$ e seu dual derivado.
  • Para $i+j = 0$, o artigo prova a decomposição:
    $$f_i e_i \cong R\iota_* e_i f_i \oplus \bigoplus_{a=-r+1}^{0} R\Delta_{S*}(q^{-a} \det(U_k)^{-1} \mathcal{O}_{M_k \times S})[1 - 2a - r]$$
    onde $\iota$ é uma involução e $\Delta_S$ é a imersão diagonal.
  • Os cones dos morfismos relacionando $e_i f_j$ e $f_j e_i$ são filtrados por combinações de potências simétricas e exteriores do feixe universal $U_k$ e seu dual derivado.
• Fórmulas Explícitas: O artigo fornece fórmulas explícitas para os complexos $h^{a\pm}_i$ que aparecem nos triângulos exatos, expressando-os em termos de potências simétricas e exteriores do feixe universal tensorado com o feixe canônico e seu determinante.

Significância
O artigo afirma completar a categorificação fraca da ação de Negut na K-teoria de espaços de moduli de feixes estáveis. Enquanto Negut havia elevado anteriormente as relações da parte positiva da álgebra toroidal quântica para categorias derivadas, este trabalho estende esse resultado para a álgebra completa, elevando as relações de comutador entre os geradores $e_i$ e $f_j$.

A significância reside em:

1. Generalização: Ele generaliza a categorificação das ações da álgebra de Heisenberg (estudadas por Nakajima, Grojnowski e Baranovsky em cohomologia) para a álgebra toroidal quântica no contexto de K-teoria.
2. Insight Geométrico: As novas descrições de interseção dos espaços de moduli quádruplos via blow-ups fornecem um arcabouço geométrico robusto para lidar com categorias derivadas neste contexto, particularmente quando o posto $r > 1$ e os espaços de moduli não são equidimensionais ou Cohen-Macaulay.
3. Fundação para Trabalhos Futuros: O autor observa que, embora as relações de comutador agora estejam categorificadas, outras relações na álgebra toroidal quântica (especificamente aquelas decorrentes de sua apresentação via álgebra de Hall elíptica) ainda precisam ser categorificadas. Este trabalho estabelece a base geométrica e categórica necessária para tais investigações futuras.

O artigo não pretende resolver a categorificação das relações da álgebra de Hall elíptica ou das relações da álgebra $A_{q,t}$, nem propõe novas aplicações experimentais. Seu escopo é estritamente limitado à construção geométrica dos comutadores categorificados para a ação da álgebra toroidal quântica na categoria derivada do espaço de moduli.