Regular representations of affine Kac-Moody algebras

Este artigo investiga uma construção do tipo Wakimoto de álgebras de Kac-Moody afins, obtendo uma versão da representação regular na qual a álgebra afim atua tanto à esquerda quanto à direita, com a soma dos níveis igual a menos duas vezes o número de Coxeter dual.

O essencial

Imagine que você está tentando entender como as coisas se movem e interagem em um universo de regras matemáticas muito complexas, chamado Álgebras de Kac-Moody Afins. Pode parecer um nome assustador, mas pense nisso como uma "dança cósmica" de partículas e forças que se repetem infinitamente.

Este artigo, escrito por B. Feigin e S. Parkhomenko em 1993, é como um manual de instruções para criar uma "dança regular" específica nesse universo. Vamos traduzir os conceitos difíceis para analogias do dia a dia:

1. O Problema: A "Dança" Infinita

No mundo da matemática, existem grupos de simetria (como girar um cubo ou inverter cores). Para grupos pequenos e finitos, sabemos exatamente como descrever todas as formas possíveis de eles se moverem (chamado de "representação regular"). É como ter um catálogo completo de todas as músicas que uma banda de 3 pessoas pode tocar.

O problema surge quando tentamos fazer o mesmo para grupos infinitos (como os que aparecem na teoria das cordas e na física de partículas). É como tentar catalogar todas as músicas que uma orquestra infinita poderia tocar. É muito difícil porque as regras mudam e o espaço é gigantesco.

2. A Solução: O "Mapa de Gauss" (A Cozinha)

Os autores propõem uma maneira de construir essa "dança infinita" usando uma técnica chamada construção de Wakimoto.

• A Analogia da Cozinha: Imagine que a "Álgebra" é uma receita de bolo gigante. Para entender como o bolo cresce, você precisa de ingredientes (campos) e um modo de misturá-los (operações).
• O Truque: Em vez de tentar lidar com o bolo inteiro de uma vez, eles dividem a cozinha em duas partes:
  1. Ingredientes "Livres": São como farinha e açúcar que você pode jogar na tigela sem medo de explodir a cozinha (campos bosônicos livres).
  2. O "Screening" (A Peneira): Às vezes, você precisa adicionar um ingrediente especial que "filtra" ou cancela partes indesejadas da mistura para que a receita funcione corretamente. No papel, isso é chamado de "corrente de screening".

3. A Grande Ideia: Esquerda vs. Direita

O papel foca em criar uma representação para dois grupos agindo ao mesmo tempo: um agindo pela esquerda e outro pela direita.

• Imagine um tapete mágico:
  • Se você puxar o tapete pela esquerda, ele se move de um jeito.
  • Se puxar pela direita, ele se move de outro.
  • O objetivo dos autores é criar um "tapete" (um espaço matemático) onde você pode puxar de ambos os lados simultaneamente, e a matemática ainda faz sentido.

Eles mostram que, ao usar esses "ingredientes livres" (campos bosônicos) e aplicar as regras de mistura corretas, você consegue criar um espaço onde a "dança" da esquerda e a "dança" da direita ocorrem perfeitamente, sem colidir.

4. O "Espaço de Distribuições" (O Fantasma)

O texto fala muito sobre "distribuições" e "cohomologia local".

• Analogia: Pense em um mapa de uma cidade. A maioria das pessoas vive nas casas (o espaço normal). Mas os autores estão interessados apenas nas pessoas que vivem exatamente na borda de um bairro específico (como uma fronteira invisível).
• Eles constroem uma "fábrica de fantasmas" que só existe nessa borda. Mesmo que a cidade seja infinita, eles conseguem definir regras precisas para o que acontece apenas nessa linha de fronteira. Isso é crucial para a física teórica, pois muitas vezes as coisas mais importantes (como partículas) ocorrem nessas "bordas" ou superfícies.

5. Por que isso é importante? (Teoria de Campo Topológico)

No final, os autores sugerem que essa construção não é apenas um exercício matemático chato. Ela é uma peça fundamental para a Teoria de Campo Topológico (G/G).

• A Analogia Final: Imagine que o universo é feito de blocos de Lego. A física tradicional tenta entender como os blocos se encaixam. A física topológica tenta entender a forma da estrutura, independentemente de como os blocos são coloridos.
• O que Feigin e Parkhomenko fizeram foi criar um novo tipo de Lego (a representação regular) que permite construir estruturas topológicas complexas que antes eram impossíveis de modelar. Eles deram aos físicos uma nova "ferramenta" para entender o tecido do espaço-tempo.

Resumo em uma frase:

Os autores inventaram uma nova maneira de "construir" um universo matemático infinito usando ingredientes simples (campos livres) e filtros especiais (screening), permitindo que duas forças opostas (esquerda e direita) dançem juntas perfeitamente, o que é essencial para entender a estrutura profunda do universo na física teórica moderna.

Resumo técnico

Resumo Técnico: Representações Regulares de Álgebras de Kac-Moody Afins

1. Problema e Motivação

O objetivo central do artigo é generalizar o conceito de representação regular de grupos de Lie semissimples complexos de dimensão finita para o contexto de álgebras de Lie de dimensão infinita, especificamente as álgebras de Kac-Moody afins.

• Contexto Finito: Para um grupo de Lie $G$, o espaço de funções algébricas $C(G)$ forma uma representação regular sob a ação de $G \times G$ (ação à esquerda e à direita). A decomposição espectral é dada por $\bigoplus V \otimes V^*$. O artigo estende essa ideia para o espaço de distribuições com suporte em subvariedades específicas (como o subgrupo de Borel $B$), denotado por $C_B(G)$, que pertence à categoria de representações de peso mais alto.
• Desafio Infinito: A generalização para o caso afim (loops) é complexa devido à dificuldade de definir cohomologia local em variedades de dimensão infinita. O problema reside em construir explicitamente um módulo sobre a álgebra afim $\hat{\mathfrak{g}} \oplus \hat{\mathfrak{g}}$ que atue em um espaço de distribuições análogo ao caso finito, mantendo propriedades de "representação regular" e permitindo a definição de operadores de vértice.

2. Metodologia

Os autores utilizam uma abordagem construtiva baseada em realizações de Wakimoto e decomposições de Gauss:

1. Analogia com o Caso Finito:

   • Começam analisando $SL(2, \mathbb{C})$ e $SL(3, \mathbb{C})$ usando coordenadas de Gauss (decomposição $N^- \cdot H \cdot N^+$).
   • Derivam as ações explícitas dos geradores da álgebra de Lie ($E, H, F$) como operadores diferenciais nessas coordenadas.
   • Identificam que a representação regular pode ser vista como ações em espaços de distribuições suportadas em subvariedades definidas por essas coordenadas.

2. Generalização para o Caso Afim (Loops):

   • Substituem as coordenadas de Gauss por campos bosônicos livres de spin $(1,0)$.
   • Utilizam pares conjugados de campos bosônicos $(a_i(z), a_i^+(z))$ e $(b_i(z), b_i^+(z))$ para representar os operadores diferenciais e coordenadas do caso finito.
   • Introduzem campos livres adicionais ($\rho, \lambda$) para lidar com as correções de nível (central charge) e termos de screening.
   • A construção é feita no espaço de Fock gerado por um vetor de vácuo, onde os campos atuam como operadores de criação e aniquilação.

3. Tratamento de Cociclos e Níveis:

   • Discutem como deformar a ação da álgebra de Lie no espaço de funções usando cociclos (1-cociclos e 2-cociclos) para ajustar o nível (central charge) da representação.
   • Demonstram que é possível obter representações do tipo $\hat{\mathfrak{g}} \oplus \hat{\mathfrak{g}}$ com níveis específicos (relacionados ao número de Coxeter dual $g$) através de uma construção de cohomologia semi-infinita.

3. Principais Contribuições e Resultados

• Construção Explícita para $\widehat{\mathfrak{sl}}(2)$ e $\widehat{\mathfrak{sl}}(3)$:

  • Os autores fornecem fórmulas explícitas para os geradores das correntes afins ($L E, R E, L H, R H, L F, R F$) atuando em um espaço de Fock.
  • Para $\widehat{\mathfrak{sl}}(2)$, a ação é dada em termos de campos bosônicos $a_1, a_1^+, b, b^+$ e campos auxiliares $\rho, \lambda$. As fórmulas incluem termos de ordem normal e derivadas dos campos, generalizando as fórmulas de Wakimoto padrão.
  • Para $\widehat{\mathfrak{sl}}(3)$, a construção é generalizada com um conjunto maior de campos bosônicos e uma dependência em parâmetros arbitrários ($\alpha_1, \alpha_2$) que podem ser eliminados por mudanças de variáveis, garantindo a consistência da representação.

• Generalização para $\widehat{\mathfrak{sl}}(n+1)$:

  • O artigo apresenta uma fórmula geral para a álgebra $\widehat{\mathfrak{sl}}(n+1, \mathbb{C})$.
  • Define-se um conjunto de campos livres indexados por raízes positivas e utiliza-se a matriz de Cartan $K_{ij}$ para definir as relações de comutação dos campos auxiliares $\rho_i$ e $\lambda_i$.
  • As correntes da álgebra afim são escritas como combinações de produtos normais de campos livres, exponenciais de campos (termos de screening) e derivadas.

• Estrutura da Representação Regular:

  • A representação construída é um módulo para $\hat{\mathfrak{g}} \oplus \hat{\mathfrak{g}}$.
  • A estrutura revela uma simetria: a ação da álgebra da esquerda e da direita são "espelhadas" através dos campos livres, mas com a adição de correntes de screening (operadores de screening) que conectam as duas ações.
  • Especificamente, a ação dos geradores $F_i$ da álgebra da esquerda recebe contribuições de screening da álgebra da direita, e vice-versa para os geradores $E_i$.

• Relação com Teoria de Campos Topológicos:

  • Os autores sugerem que essas representações são candidatas a constituir o espaço de campos em uma versão da Teoria de Campos Topológicos do tipo $G/G$.
  • A cohomologia semi-infinita da subálgebra de Borel afim, com coeficientes nestes módulos, é identificada como o espaço relevante para a teoria de campos.

4. Significância e Impacto

• Ponte entre Geometria e Teoria de Campos: O trabalho conecta a geometria algébrica (representações regulares, cohomologia local em variedades de dimensão infinita) com a teoria de campos conformes (realizações de Wakimoto, álgebras de vértice).
• Novos Módulos de Representação: Fornece uma nova classe de representações para álgebras afins que não são apenas módulos de Verma ou módulos de Wakimoto padrão, mas sim uma estrutura de "representação regular" que incorpora a simetria esquerda-direita de forma não trivial.
• Ferramenta para Física Matemática: A construção é fundamental para o desenvolvimento de teorias de campos topológicos e para a compreensão da estrutura de álgebras de vértice em níveis arbitrários, oferecendo uma ferramenta computacional explícita para manipular correntes afins em termos de campos livres.
• Generalidade: A metodologia apresentada para $\widehat{\mathfrak{sl}}(n+1)$ sugere que o procedimento pode ser estendido para qualquer álgebra de Lie semissimples, abrindo caminho para a construção de representações regulares para álgebras afins gerais.

Em suma, o artigo de Feigin e Parkhomenko estabelece uma base rigorosa para entender como a "representação regular" clássica se manifesta no mundo infinito-dimencional das álgebras de Kac-Moody, utilizando a maquinaria de campos livres e screening para resolver problemas de centralidade e estrutura de módulo.