Instantons on the Blown-up Surface and the Affine Vertex Algebra

Resumo Técnico: Instantons na Superfície com Blow-up e a Álgebra de Vértices Afim

Enunciado do Problema
Este artigo aborda uma questão de longa data levantada por Vafa e Witten a respeito da relação entre a S-dualidade em teoria de gauge supersimétrica quadridimensional e a teoria de campo conforme bidimensional (2d CFT). Especificamente, busca-se explicar o aparecimento do modelo Wess-Zumino-Witten (WZW) para $SU(r)$ em nível 1 no contexto do espaço de módulos de instantons em uma superfície algébrica com blow-up.

Trabalhos anteriores de Yoshioka estabeleceram uma "fórmula de blow-up" relacionando os números de Betti (e, posteriormente, números de Hodge virtuais) do espaço de módulos de feixes estáveis em uma superfície $S$ aos de seu blow-up $\hat{S}$ em um ponto. Para o posto 2, essa fórmula envolve razões de funções geratrizes que correspondem aos caracteres do modelo WZW $SU(2)$ de nível 1. Embora Nakajima tenha construído anteriormente ações de álgebras de Lie afins na cohomologia equivariante de feixes emoldurados em $\mathbb{P}^2$ (um caso específico), o caso geral para superfícies arbitrárias e espaços de módulos não emoldurados permanecia em aberto. O desafio central é construir uma ação da álgebra de Lie afim $\widehat{\mathfrak{gl}}_r$ na cohomologia do espaço de módulos de feixes estáveis no blow-up $\hat{S}$ e identificar este módulo como uma representação básica, fornecendo assim uma realização geométrica da previsão de Vafa-Witten.

Metodologia
Os autores empregam uma estratégia de múltiplas etapas combinando geometria algébrica derivada, teoria de representações de álgebras de Clifford e a teoria de feixes coerentes perversos. A prova procede através de quatro estágios principais:

1. Modelo de Grassmanniana-Clifford Finito:
   Os autores estabelecem primeiro um modelo algébrico de dimensão finita. Eles consideram um complexo perfeito $E$ de amplitude de Tor $[0, 1]$ em um esquema $X$. Eles estudam os espaços de módulos de quocientes, $\text{Gr}_X(E, d)$, e seus duais deslocados $\text{Gr}_X(E^\vee[1], d)$. Usando decomposições semi-ortogonais em categorias derivadas (especificamente aquelas estabelecidas em trabalho anterior do primeiro autor), eles provam um isomorfismo de representações graduadas:
   $$\bigoplus_{d \in \mathbb{Z}} H^*(\text{Gr}_X(E, d)) \cong \bigoplus_{d \in \mathbb{Z}} H^*(\text{Gr}_X(E^\vee[1], d)) \otimes F(r)$$
   onde $F(r)$ é a representação de spin da álgebra de Clifford $\text{Cl}(r)$ de dimensão finita. Este isomorfismo é construído via "ortogonalização" de correspondências geométricas (núcleos de Fourier-Mukai) que satisfazem relações semi-ortogonais, efetivamente realizando um análogo finito da correspondência Bóson-Férmion.

2. Feixes Coerentes Perversos e Wall-Crossing:
   Para aplicar este modelo ao espaço de módulos de feixes no blow-up $\hat{S}$, os autores utilizam a teoria de feixes coerentes perversos $m$-estáveis introduzida por Nakajima e Yoshioka. Eles consideram os espaços de módulos $M_m(l, n)$ de tais feixes. Para $m=0$, esses espaços admitem descrições explícitas como Grassmannianas do feixe universal restrito ao ponto de blow-up, $U_o$. Especificamente, $M_0(l, n)$ é isomorfo a $\text{Gr}_{M_H(n)}(U_o, -l)$ e seu dual. Isso permite a aplicação do modelo de Grassmanniana-Clifford finito do Passo 1 aos espaços de módulos $M_0(l, n)$.

3. Equivalência de Morita e Álgebras de Clifford Infinitas:
   Os autores introduzem uma álgebra estendida $\mathcal{E}(r)$ gerada pela álgebra de Clifford $\text{Cl}(r)$ e operadores adicionais $e, f$ que satisfazem relações específicas. Eles então consideram uma álgebra de Clifford infinita $\mathcal{E}(r)$ gerada por operadores $P_{a,i}, Q_{a,i}$ indexados por $a \in \mathbb{Z}$. Um resultado técnico fundamental é uma equivalência de Morita entre a categoria de representações da álgebra finitamente gerada $\mathcal{E}(r)$ e uma categoria de representações "direitamente admissíveis" da álgebra infinita $\mathcal{E}(r)$. Esta equivalência permite a transferência da estrutura de representação do caso $m=0$ (que é isomorfo ao modelo de Grassmanniana) para o caso limite $m \to \infty$.

4. Propriedade de Limite e Correspondência Bóson-Férmion:
   Usando a autossimilaridade dos espaços de módulos sob o tensor com $\mathcal{O}_{\hat{S}}(-C)$ e a propriedade de limite $M_m(l, n) \cong M_H^\infty(l, n)$ (o espaço de módulos de feixes estáveis no blow-up), os autores propagam a ação de $\mathcal{E}(r)$ para a cohomologia do espaço de módulos estável $M_H^\infty$. Finalmente, eles invocam a correspondência Bóson-Férmion (devida a I. Frenkel), que identifica o espaço de Fock Fermionico $F(r)$ com a representação básica da álgebra de Lie afim $\widehat{\mathfrak{gl}}_r$. Este passo eleva a ação de $\mathcal{E}(r)$ para uma ação de $\widehat{\mathfrak{gl}}_r$.

Principais Contribuições e Resultados
O artigo fornece uma construção geométrica completa da ação de $\widehat{\mathfrak{gl}}_r$ em várias teorias de cohomologia do espaço de módulos de feixes estáveis em uma superfície com blow-up.

• Teorema Principal (Teorema 1.1 / Teorema 8.1): Para uma superfície projetiva suave $S$ e seu blow-up $\hat{S}$ em um ponto, seja $M_H^\infty(r, p^*c_1 + l[C], n')$ o espaço de módulos de feixes estáveis em $\hat{S}$ com classes de Chern específicas. Os autores provam um isomorfismo de representações de $\widehat{\mathfrak{gl}}_r$:
  $$\bigoplus_{n \in \mathbb{Z}} H^*(M_H^\infty(r, p^*c_1 + l[C], n - \tfrac{l(l+1)}{2})) \cong \left( \bigoplus_{n \in \mathbb{Z}} H^*(M_H(r, c_1, n)) \right) \otimes F(r)_{l, \bullet}$$
  Aqui, $H^*$ representa o grupo de Grothendieck de feixes coerentes, homologia de Hochschild, grupos de Chow ou cohomologia de Hodge. $F(r)_{l, \bullet}$ é a representação básica de $\widehat{\mathfrak{gl}}_r$ com carga central $l$.
• Ação Trivial na Base: Uma característica distintiva desta construção é que a ação de $\widehat{\mathfrak{gl}}_r$ atua trivialmente no fator correspondente ao espaço de módulos original $M_H(r, c_1, n)$, atuando não trivialmente apenas no fator do espaço de Fock. Isso contrasta com construções anteriores onde a álgebra atuava em todo o espaço.
• Generalização: O resultado é válido para postos $r$ arbitrários e superfícies suaves projetivas arbitrárias (sujeito a condições de nulidade para certas teorias de cohomologia), generalizando resultados anteriores limitados ao posto 2 ou a superfícies específicas como $\mathbb{P}^2$.
• Inovação Técnica: O artigo introduz um "modelo de Grassmanniana-Clifford finito" e um uso inovador de equivalência de Morita para fazer a ponte entre álgebras de Clifford finitas e infinitas, resolvendo dificuldades onde as correspondências de Hecke padrão falham em preservar a estabilidade ou as classes de Chern no blow-up.

Significância
O artigo afirma responder à pergunta específica feita por Vafa e Witten sobre o elo entre a fórmula de blow-up de Yoshioka e o modelo WZW de nível 1 de $SU(r)$. Ao construir a ação da álgebra de Lie afim e identificar o módulo como uma representação básica, os autores fornecem um arcabouço matemático rigoroso que explica o aparecimento de estruturas de 2d CFT na geometria dos espaços de módulos de instantons em superfícies com blow-up.

O trabalho unifica diversas áreas da matemática:

• Conecta a geometria dos espaços de módulos de feixes (geometria algébrica) com álgebras de operadores de vértice e álgebras de Lie afins (teoria de representações).
• Oferece uma interpretação geométrica da correspondência Bóson-Férmion no contexto de categorias derivadas e Grassmannianas de complexos perfeitos.
• Resolve o "mistério não resolvido" do aparecimento de 2d CFT no contexto da fórmula de blow-up, confirmando a previsão de que as funções geratrizes de características de Euler (e invariantes relacionadas) estão relacionadas aos caracteres do modelo WZW.

Os autores observam que, embora a função de partição para superfícies que satisfazem condições de nulidade específicas (como superfícies K3 ou del Pezzo) coincida com a função geratriz da característica de Euler, o caso geral envolvendo "ramos de monopólios" (onde a função de partição difere) permanece uma questão aberta para trabalhos futuros. Os resultados atuais estão estritamente confinados à construção geométrica da ação da álgebra na cohomologia dos espaços de módulos de feixes estáveis.