On the Representation Theory of Non-Admissible $W$-Algebras: Part I

Resumo Técnico: Sobre a Teoria de Representação de Álgebras de W Não-Admissíveis: Parte I

Enunciado do Problema
A classificação de módulos para Álgebras de Operadores de Vértice (VOAs) é um problema central no estudo de teorias de campo conformais de duas dimensões. Embora a teoria de representação de VOAs racionais (onde as categorias de módulos são semissimpas com um número finito de objetos simples) seja bem compreendida via ferramentas como a álgebra de Zhu e a redução de Drinfeld–Sokolov (DS), o caso não-racional permanece desafiador. Especificamente, este artigo aborda as álgebras de W não-admissíveis da forma $W_k(\mathfrak{g}, f)$, onde o nível é dado por $k = -h^\vee + \frac{1}{n}\frac{m}{u}$. Aqui, $\mathfrak{g}$ é uma álgebra de Lie, $f$ é uma órbita nula e $n$ é o número de lacing, com $m \neq h^\vee$ (distinguindo-as dos níveis de fronteira-admissíveis). Nestes casos não-admissíveis, a categoria de representação é geralmente não-semissimples, contendo potencialmente módulos logarítmicos, e resultados explicitos de teoria de representação são escassos.

Metodologia
Os autores propõem um arcabouço geométrico enraizado na simetria de espelho 4d para estudar estas álgebras. A metodologia central vincula a teoria de representação da álgebra de W à geometria de fibras de Springer afins generalizadas, denotadas por $Sp_\nu(\tilde{\mathfrak{g}}, f)$, onde a inclinação (slope) é $\nu = u/m$.

A correspondência proposta opera da seguinte forma:

1. Configuração Geométrica: A fibra é definida pelos dados $(\mathfrak{g}, o, \nu, f)$, onde $o$ é uma escolha de automorfismo externo. A geometria é controlada pela inclinação $\nu$ e pela subálgebra parabólica associada à órbita nula $f$.
2. Loci Fixos e Módulos: Os loci fixos de $C^*$ da fibra de Springer afim são rotulados por elementos do grupo de Weyl afim $\tilde{w}$ (especificamente, classes duplas de cosset $\tilde{W}_\nu \setminus \tilde{W} / W_f$).
   • Pesos Máximos: Cada locus fixo não-vazio rotulado por $\tilde{w}$ determina o peso máximo de um módulo simples via o mapa:
     $$\tilde{w} \mapsto \tilde{w}(k\Lambda_0 + \tilde{\rho}) - \tilde{\rho}$$
     onde $\Lambda_0$ é o peso fundamental afim zero e $\tilde{\rho}$ é o vetor de Weyl afim.
   • Estrutura Logarítmica: A dimensão da variedade fixa $S^0_{\tilde{w}}$ codifica a estrutura não-semissimples. Variedades fixas de dimensão zero correspondem a módulos simples ordinários. Variedades fixas de dimensão superior sinalizam a presença de módulos logarítmicos. Especificamente, uma variedade fixa de dimensão $d$ contribui com $d+1$ para a dimensão total da cohomologia, correspondendo a um módulo simples e $d$ módulos logarítmicos (ou caracteres generalizados).
3. Algoritmo Computacional: O artigo detalha um algoritmo para computar o conjunto de $\tilde{w}$ relevantes e as dimensões de suas variedades fixas. Isso envolve:
   • Definir conjuntos de raízes afins $L_\nu$ e $S_\nu$ baseados na inclinação.
   • Contar elementos do grupo de Weyl afim que resultam em dimensões esperadas não-negativas (usando fórmulas envolvendo contagens de raízes em $L_\nu$ e $S_\nu$).
   • Verificar uma condição de limitação (cone de recessão do padrão de sinal é trivial).
   • Verificar restrições de classe de Chern para garantir que a variedade de Hessenberg seja não-vazia (verificando se o produto de Chern superior reside no ideal gerado por polinômios invariantes de Weyl).

Contribuições Principais e Resultados
O artigo estabelece e verifica esta correspondência geométrica através de extensas computações em várias álgebras de Lie e inclinações:

• Teorias Não-Torcidas (Untwisted):
  • $D_4$: Para inclinação $\nu = u/4$, os autores computam o número de variedades fixas para vários $u$. Para $u=3$, eles preveem 486 caracteres (405 simples, 81 logarítmicos) necessários para o fechamento modular, coincidindo com resultados conhecidos para a álgebra de Lie afim $V_{-14/3}(D_4)$. Para órbitas nulas regulares ($f=\text{regular}$), eles recuperam o modelo mínimo de Virasoro $(2,5)$ para $u=5$ e preveem o espectro de módulos para $u=7, 9, 11$.
  • $E_6$ e $E_8$: Computações detalhadas para $E_6$ na inclinação $\nu=4/3$ e $E_8$ em várias inclinações confirmam o acordo com dimensões de escala e multiplicidades conhecidas. O artigo verifica explicitamente isomorfismos entre álgebras de W não-admissíveis e outras de posto menor admissíveis (ex: $W_{-30+15/16}(E_8) \cong W_{-3+3/8}(A_2)$) ao igualar as contagens de variedades fixas.
• Teorias Torcidas (Twisted):
  • Os autores abordam as sutilezas de normalização em teorias torcidas (envolvendo dualidade de Langlands). Eles demonstram que os problemas de contagem para fibras de Springer afins torcidas e álgebras de W não-torcidas são equivalentes sob escalonamentos específicos do vetor de translação $q$.
  • Exemplos incluem $3D_4$ torcida (relacionada a $G_2$) e $2A_3$ torcida (relacionada a $B_2$). Por exemplo, a teoria $3D_4$ com inclinação $\nu=11/12$ mostra-se correspondente ao modelo mínimo de Virasoro $(2,11)$.
• Módulos Logarítmicos: O artigo fornece evidências concretas de que variedades fixas de dimensão superior correspondem a módulos logarítmicos. No caso de $D_4$ com $m=4$, uma variedade fixa unidimensional é identificada com um módulo logarítmico possuindo uma dimensão de escala específica, explicando a estrutura da equação diferencial modular observada em literatura prévia.

Significado
O artigo afirma fornecer uma rota geométrica para a teoria de representação de álgebras de W não-admissíveis, uma classe de VOAs onde métodos puramente algébicos são frequentemente limitados. Ao alavancar o dicionário de simetria de espelho 4d, os autores traduzem o difícil problema de classificar módulos de VOA (incluindo os logarítmicos) em um problema combinatório e geométrico de contagem de loci fixos em fibras de Springer afins.

O significado reside em:

1. Unificação: Estende a correspondência conhecida entre fibras de Springer afins e álgebras de W admissíveis para o regime não-admissível.
2. Poder Preditivo: Oferece um método sistemático para computar o número de módulos simples e logarítmicos, bem como seus pesos conformais para qualquer álgebra de W $C_2$-cofinita não-admissível, contornando a necessidade de cálculos complexos de vetores singulares.
3. Verificação: O arcabouço reproduz com sucesso resultados conhecidos para casos admissíveis e fornece previsões consistentes para casos não-admissíveis, incluindo aqueles que são isomórficos a teorias conhecidas.

Os autores observam que, embora este artigo foque no estabelecimento da correspondência para o espaço de representações (pesos máximos e dimensões), o estudo detalhado das transformações modulares (matrizes S e T) e dos dados modulares completos é adiado para a Parte II. O trabalho atual serve como o passo fundamental, validando a contagem geométrica contra resultados algébicos existentes.