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

Resumen Técnico: Funciones de 1 Punto para Orbifoldes Z2 de VOAs de Retículo

Enunciado del Problema
El artículo aborda el cálculo de las funciones de correlación de 1 punto (funciones de traza) para los orbifoldes $\mathbb{Z}_2$ de álgebras de operadores de vértice de retículo (VOAs). Si bien la invariancia modular de los caracteres para VOAs es una consecuencia bien establecida de la teoría de Zhu, los cálculos explícitos para teorías de orbifol, particularmente aquellos que involucran sectores retorcidos, siguen siendo un desafío técnico. Trabajos anteriores de Mason y Mertens [7] derivaron con éxito funciones de 1 punto para VOAs de Heisenberg y de retículo simetrizados (el sector no retorcido $V_L^+$), pero las funciones de traza contribuidas por el sector retorcido (específicamente el autoespacio de valor propio $+1$ del módulo retorcido, $(V_L^T)^+$) no habían sido calculadas explícitamente en este contexto. El artículo tiene como objetivo llenar esta brecha derivando fórmulas explícitas para las funciones de 1 punto de todos los estados en el orbifold $\mathbb{Z}_2$ $V = V_L^+ \oplus (V_L^T)^+$, donde $V_L$ está asociado a un retículo unimodular, par y definido positivo $L$ de rango $k=8l$.

Metodología
El autor adapta y extiende las técnicas desarrolladas por Mason y Mertens [7] al entorno de orbifoldes $\mathbb{Z}_2$. La metodología central implica:

1. Teoría de Zhu Retorcida Z2: El artículo desarrolla un marco de reducción para funciones de 2 puntos trazadas sobre el módulo retorcido $V_L^T$. El Teorema 3.1 establece un teorema de reducción que expresa la función de 2 puntos retorcida en el toro en términos de datos modulares y funciones de 1 punto, utilizando las fórmulas de conmutador retorcidas y el formalismo de corchetes cuadrados.
2. Fórmulas de Recursión: Mediante el análisis de los coeficientes de las funciones de 2 puntos, el autor deriva fórmulas de recursión (Teoremas 3.3 y 3.8) que expresan funciones de 1 punto de estados de mayor peso en términos de formas modulares (series de Eisenstein, funciones theta) y funciones de 1 punto de estados de menor peso.
3. Descomposición de Sectores: Los cálculos se dividen según la estructura de retículo de los estados:
   • Sector Retorcido ($V_L^T$): Se realizan cálculos para estados en el módulo retorcido, distinguiendo entre vectores de retículo en $2L$ y aquellos en $L \setminus 2L$.
   • Sectores de Orbifold ($V_L^+$ y $(V_L^T)^+$): El autor utiliza el Lema 3.4 para relacionar trazas sobre el módulo retorcido completo con trazas sobre los autoespacios de valor propio $+1$ y $-1$ de la involución $\theta$. Esto permite aislar las contribuciones específicas de traza requeridas para el orbifold $V$.
4. Cálculo Inductivo: Utilizando las relaciones de recursión derivadas, el autor realiza cálculos inductivos para estados de Heisenberg y estados de retículo, separando casos según si el vector de retículo $\alpha$ pertenece a $2L$ o a $L \setminus 2L$.

Contribuciones y Resultados Clave
La contribución principal del artículo es la derivación de fórmulas explícitas y de forma cerrada para las funciones de 1 punto de todos los estados en el orbifold $\mathbb{Z}_2$ $V$.

1. Fórmulas Explícitas para el Orbifold:

   • Teorema 1.1 proporciona la función de 1 punto para estados de Heisenberg $u = h_{i_1}[-n_1]\cdots h_{i_p}[-n_p]\mathbf{1}$. El resultado es una suma de cuatro términos que involucran la función eta de Dedekind $\eta(\tau)$, funciones theta de Jacobi $\Theta_1, \Theta_2, \Theta_3$ y series de Eisenstein ($\hat{E}, \hat{F}, E, F$). La fórmula cuenta con contribuciones tanto del sector no retorcido ($V_L^+$) como del sector retorcido ($(V_L^T)^+$).
   • Teorema 1.2 proporciona la función de 1 punto para estados de retículo $u = h_{i_1}[-n_1]\cdots h_{i_p}[-n_p]e^\alpha$ donde $\alpha \in 2L$. La fórmula combina de manera similar formas modulares con coeficientes que dependen del emparejamiento de retículo $\langle \alpha, \alpha \rangle$.
   • Resultado de Desvanecimiento: Un hallazgo significativo es que para estados donde el vector de retículo $\alpha \in L \setminus 2L$, la función de 1 punto $Z_V(u, \tau)$ se desvanece idénticamente. Esto se atribuye a la estructura específica del módulo retorcido y a la acción de la involución.

2. Invariancia Modular:

   • Proposición 6.2 verifica que las funciones de 1 punto derivadas exhiben invariancia modular bajo el grupo modular completo $SL_2(\mathbb{Z})$ hasta un carácter. El artículo demuestra que bajo los generadores $S$ y $T$ de $SL_2(\mathbb{Z})$, las funciones se transforman con un peso igual al peso $L[0]$ del estado, consistente con la teoría general de Zhu [10] y el caso específico de orbifoldes cíclicos discutido por Ekeren, Möller y Scheithauer [9].

Significado
El artículo reclama significado principalmente al proporcionar los cálculos explícitos necesarios para verificar las propiedades modulares de los orbifoldes $\mathbb{Z}_2$ de VOAs de retículo. Al combinar la traza sobre el sector no retorcido (conocida previamente de [7]) con la traza recién calculada sobre el sector retorcido, el autor construye las funciones completas de 1 punto para la teoría de orbifold.

El trabajo sirve como una realización concreta de la expectativa teórica de que estas funciones de traza deberían ser formas modulares. Extiende las técnicas de Mason y Mertens al entorno retorcido, ofreciendo una plantilla para analizar funciones de 1 punto en construcciones de orbifol más complejas. Los resultados confirman que la invariancia modular predicha por los axiomas generales de VOA se cumple explícitamente para estos orbifoldes de retículo específicos, con las funciones de traza tomando la forma de combinaciones de funciones theta y series de Eisenstein divididas por potencias de la función eta.