Heterotic Strings on Enriques Surfaces

Resumen Técnico: Cadenas Heteróticas en Superficies de Enriques

Enunciado del Problema
El artículo aborda la construcción y clasificación de compactificaciones de cadenas heteróticas en superficies de Enriques. Si bien las superficies K3 son centrales en el estudio de las dualidades de cuerdas supersimétricas y los aspectos no perturbativos de la teoría de cuerdas, sus análogos no supersimétricos, las superficies de Enriques, han recibido menos atención en el contexto de las cuerdas heteróticas. Las superficies de Enriques se definen como cocientes $\mathbb{Z}_2$ sin puntos fijos de superficies K3; a diferencia de las K3, no son Calabi-Yau y rompen toda la supersimetría del espacio-tiempo. Además, las superficies de Enriques no admiten estructuras de espín, lo que complica la formulación de teorías de supercuerdas sobre ellas. Los autores tienen como objetivo construir estas teorías como Teorías de Campos Conformes (CFT) de orbifolds exactamente resolubles, clasificar los vectores de desplazamiento no equivalentes para los retículos $E_8 \times E_8$ y $Spin(32)/\mathbb{Z}_2$, y analizar los espectros ligeros resultantes, centrándose específicamente en la presencia o ausencia de taquiones independientes de los móduli.

Metodología
Los autores construyen la teoría tomando un orbifold de cuerdas heteróticas supersimétricas compactificadas en una $T^4$ (que sirve como límite de orbifold de una superficie K3). La construcción implica dos acciones de orbifold:

1. Una acción $\mathbb{Z}_2$ generada por $g$, que actúa como una reflexión sobre cuatro coordenadas bosónicas ($X_6, \dots, X_9$) y sus compañeros fermiónicos. Esta acción crea 16 puntos fijos, produciendo un límite de orbifold de una superficie K3.
2. Una acción $\mathbb{Z}_4$ generada por $h$, que actúa libremente sobre el cociente $T^4/g$. Esta acción implica reflexiones y desplazamientos (traslaciones por $\pi R$) sobre las coordenadas.

La función de partición total se construye como una suma sobre sectores retorcidos ($g^k h^l$) con fases de proyección específicas determinadas por vectores de desplazamiento $v$ (asociados a $g$) y $w$ (asociados a $h$) que actúan sobre el retículo de gauge interno $\Gamma_{0,16}$. Los autores imponen restricciones de invariancia modular para derivar condiciones sobre estos vectores de desplazamiento:

• $2v \in \Gamma_{0,16}$ y $4w \in \Gamma_{0,16}$.
• Condiciones cuadráticas y mixtas específicas sobre $v^2$, $w^2$ y $v \cdot w$ para asegurar la invariancia bajo transformaciones modulares $T$ y $S$.

La clasificación de los vectores de desplazamiento no equivalentes se realiza utilizando el algoritmo de Kac para el retículo $E_8 \times E_8$ y un análisis directo del subgrupo de Weyl para el retículo $Spin(32)/\mathbb{Z}_2$. Los autores fijan el desplazamiento $Z_2$ $v$ a una forma canónica y enumeran sistemáticamente los desplazamientos $Z_4$ no equivalentes $w$.

Contribuciones y Resultados Clave

1. Clasificación de Vectores de Desplazamiento:

   • Para el retículo $E_8 \times E_8$, los autores identifican 24 clases de desplazamiento no equivalentes. Estas se categorizan en función de los álgebras de gauge no rotas que producen, las cuales corresponden a diversas teorías parentales no supersimétricas de diez dimensiones (por ejemplo, $E_8 \times D_8$, $D_8 \times D_8$, $(E_7 \times A_1)^2$).
   • Para el retículo $Spin(32)/\mathbb{Z}_2$, también identifican 24 clases de desplazamiento no equivalentes. Estas se agrupan en familias basadas en la forma del vector de desplazamiento (por ejemplo, $W_{0, 1/2}$, $W_{1/4, 1/4}$, $\tilde{W}_{1/4, 1/4}$, $W_{1/8, 3/8}$, etc.) y sus álgebras de gauge no rotas asociadas.

2. Análisis del Espectro y Eliminación de Taquiones:

   • Los autores analizan el espectro ligero (estados sin masa y taquiónicos) de los modelos resultantes. Distinguen entre taquiones independientes de los móduli (presentes en todo el espacio de móduli) y taquiones dependientes de los móduli (presentes solo en lugares especiales).
   • Identifican que los taquiones independientes de los móduli solo pueden surgir en el sector retorcido $h^2$. La condición para que un taquión sobreviva a la proyección del orbifold se deriva como un conjunto de relaciones de congruencia que involucran el vector de desplazamiento $w$ y los momentos del retículo $p$.
   • Hallazgo Clave: Contrario a la expectativa ingenua de que solo los desplazamientos que preservan el álgebra de gauge $D_8 \times D_8$ (la única parental de 10D libre de taquiones) producirían teorías libres de taquiones, los autores encuentran que 11 de 24 clases de desplazamiento $E_8 \times E_8$ y 9 de 24 clases de desplazamiento $Spin(32)/\mathbb{Z}_2$ están libres de taquiones independientes de los móduli.
   • La eliminación de taquiones ocurre mediante dos mecanismos:
     1. El conjunto de momentos candidatos con nivel coincidente que satisfacen la condición de masa está vacío.
     2. Existen candidatos con nivel coincidente, pero todos son proyectados fuera por las fases del orbifold debido a condiciones de congruencia.

3. Estados Sin Masa:

   • El artículo proporciona un marco general para calcular el espectro sin masa, organizando los estados en representaciones del grupo pequeño de seis dimensiones $Spin(4) \simeq SU(2) \times SU(2)$. Las multiplicidades de estos estados están determinadas por los vectores de desplazamiento específicos y las simetrías de gauge no rotas resultantes.

Significado y Afirmaciones
El artículo afirma proporcionar la primera construcción detallada de cadenas heteróticas en superficies de Enriques como CFT de orbifolds resolubles, abordando el desafío técnico planteado por la naturaleza no espín de las superficies de Enriques. El significado principal radica en el descubrimiento de que un subconjunto sustancial de estas compactificaciones no supersimétricas (casi la mitad de los modelos clasificados) está libre de los taquiones independientes de los móduli que suelen afligir a las teorías de cuerdas no supersimétricas.

Los autores interpretan estos modelos como compactificaciones de cuerdas heteróticas no supersimétricas de diez dimensiones. Señalan que, aunque la teoría parental $D_8 \times D_8$ es la única teoría de 10D sin taquiones, la proyección de orbifold de Enriques puede eliminar taquiones de teorías que descienden de otras teorías parentales (como las relacionadas con $E_8 \times D_8$ o $(E_7 \times A_1)^2$). Esto sugiere que la geometría de la superficie de Enriques juega un papel crucial en la estabilización del vacío de las teorías de cuerdas no supersimétricas. El trabajo conecta estas construcciones con el programa más amplio del "pantano" (swampland) y el estudio de dualidades no supersimétricas, ofreciendo ejemplos concretos para una mayor exploración de la dinámica de cuerdas no supersimétricas.