1-Point Functions for $\mathbb{Z}_2$-Orbifolds of Lattice VOAs

Resumo Técnico: Funções de 1-Point para Orbifoldes Z2 de VOAs de Rede

Enunciado do Problema
O artigo aborda o cálculo das funções de correlação de 1-point (funções de traço) para os orbifoldes $\mathbb{Z}_2$ de álgebras de operadores de vértice de rede (VOAs). Embora a invariância modular dos caracteres para VOAs seja uma consequência bem estabelecida da teoria de Zhu, os cálculos explícitos para teorias de orbifold, particularmente envolvendo setores torcidos, permanecem um desafio técnico. Trabalhos anteriores de Mason e Mertens [7] derivaram com sucesso funções de 1-point para VOAs de Heisenberg e de rede simetrizadas (o setor não torcido $V_L^+$), mas as funções de traço contribuídas pelo setor torcido (especificamente o autoespaço de autovalor $+1$ do módulo torcido, $(V_L^T)^+$) não haviam sido explicitamente calculadas neste contexto. O artigo visa preencher essa lacuna derivando fórmulas explícitas para as funções de 1-point de todos os estados no orbifold $\mathbb{Z}_2$ $V = V_L^+ \oplus (V_L^T)^+$, onde $V_L$ está associado a uma rede $L$ unimodular, par e definida positiva de posto $k=8l$.

Metodologia
O autor adapta e estende as técnicas desenvolvidas por Mason e Mertens [7] para o cenário de orbifolde $\mathbb{Z}_2$. A metodologia central envolve:

1. Teoria de Zhu Torcida Z2: O artigo desenvolve um framework de redução para funções de 2-point traçadas sobre o módulo torcido $V_L^T$. O Teorema 3.1 estabelece um teorema de redução que expressa a função de 2-point torcida no toro em termos de dados modulares e funções de 1-point, utilizando as fórmulas de comutador torcidas e o formalismo de colchetes quadrados.
2. Fórmulas de Recursão: Ao analisar os coeficientes das funções de 2-point, o autor deriva fórmulas de recursão (Teoremas 3.3 e 3.8) que expressam funções de 1-point de estados de peso superior em termos de formas modulares (séries de Eisenstein, funções theta) e funções de 1-point de estados de peso inferior.
3. Decomposição de Setores: Os cálculos são divididos com base na estrutura de rede dos estados:
   • Setor Torcido ($V_L^T$): Os cálculos são realizados para estados no módulo torcido, distinguindo entre vetores de rede em $2L$ e aqueles em $L \setminus 2L$.
   • Setores de Orbifolde ($V_L^+$ e $(V_L^T)^+$): O autor utiliza o Lema 3.4 para relacionar traços sobre o módulo torcido completo a traços sobre os autoespaços $+1$ e $-1$ da involução $\theta$. Isso permite o isolamento das contribuições de traço específicas requeridas para o orbifolde $V$.
4. Cálculo Indutivo: Utilizando as relações de recursão derivadas, o autor realiza cálculos indutivos para estados de Heisenberg e estados de rede, separando casos com base se o vetor de rede $\alpha$ pertence a $2L$ ou a $L \setminus 2L$.

Principais Contribuições e Resultados
A contribuição primária do artigo é a derivação de fórmulas explícitas e de forma fechada para as funções de 1-point de todos os estados no orbifolde $\mathbb{Z}_2$ $V$.

1. Fórmulas Explícitas para o Orbifolde:

   • Teorema 1.1 fornece a função de 1-point para estados de Heisenberg $u = h_{i_1}[-n_1]\cdots h_{i_p}[-n_p]\mathbf{1}$. O resultado é uma soma de quatro termos envolvendo a função eta de Dedekind $\eta(\tau)$, funções theta de Jacobi $\Theta_1, \Theta_2, \Theta_3$ e séries de Eisenstein ($\hat{E}, \hat{F}, E, F$). A fórmula contabiliza contribuições tanto do setor não torcido ($V_L^+$) quanto do setor torcido ($(V_L^T)^+$).
   • Teorema 1.2 fornece a função de 1-point para estados de rede $u = h_{i_1}[-n_1]\cdots h_{i_p}[-n_p]e^\alpha$ onde $\alpha \in 2L$. A fórmula combina similarmente formas modulares com coeficientes que dependem do emparelhamento de rede $\langle \alpha, \alpha \rangle$.
   • Resultado de Anulação: Uma descoberta significativa é que, para estados onde o vetor de rede $\alpha \in L \setminus 2L$, a função de 1-point $Z_V(u, \tau)$ se anula identicamente. Isso é atribuído à estrutura específica do módulo torcido e à ação da involução.

2. Invariância Modular:

   • Proposição 6.2 verifica que as funções de 1-point derivadas exibem invariância modular sob o grupo modular completo $SL_2(\mathbb{Z})$ até um caractere. O artigo demonstra que, sob os geradores $S$ e $T$ de $SL_2(\mathbb{Z})$, as funções se transformam com um peso igual ao peso $L[0]$ do estado, consistente com a teoria geral de Zhu [10] e o caso específico de orbifoldes cíclicos discutido por Ekeren, Möller e Scheithauer [9].

Significância
O artigo reivindica significância principalmente ao fornecer os cálculos explícitos necessários para verificar as propriedades modulares de orbifoldes $\mathbb{Z}_2$ de VOAs de rede. Ao combinar o traço sobre o setor não torcido (anteriormente conhecido de [7]) com o traço sobre o setor torcido recém-calculado, o autor constrói as funções de 1-point completas para a teoria de orbifolde.

O trabalho serve como uma realização concreta da expectativa teórica de que essas funções de traço devem ser formas modulares. Ele estende as técnicas de Mason e Mertens para o cenário torcido, oferecendo um modelo para analisar funções de 1-point em construções de orbifolde mais complexas. Os resultados confirmam que a invariância modular prevista pelos axiomas gerais de VOA vale explicitamente para esses orbifoldes de rede específicos, com as funções de traço assumindo a forma de combinações de funções theta e séries de Eisenstein divididas por potências da função eta.