Orbi-Instantons and Class $\mathcal{S}$ Theories of Type D

Título: Orbi-instantones y Teorías de Clase S de Tipo D
Autores: Jiakang Bao, Noppadol Mekareeya, Gabi Zafrir, Hao Y. Zhang

Planteamiento del Problema

El artículo investiga el panorama de las teorías de campos superconformes (SCFTs) de seis dimensiones (6d) $\mathcal{N}=(1,0)$ conocidas como teorías de orbi-instantones, específicamente aquellas asociadas con singularidades de tipo D ($\Gamma = \tilde{D}_k \subset SU(2)$). Una cuestión central en el campo es si la compactificación en un toro de estas teorías de 6d produce teorías de Clase S de 4d, las cuales se construyen compactificando teorías de 6d $\mathcal{N}=(2,0)$ sobre una superficie de Riemann con agujeros (punctures). Mientras que esta correspondencia está bien establecida para los orbi-instantones de tipo A (donde las teorías de 6d se reducen a teorías de Clase S en una esfera con tres agujeros de tipo A), la situación para las teorías de tipo D es menos clara. Los autores pretenden determinar si todas las teorías de orbi-instantones de tipo D admiten una descripción como una teoría de Clase S de 4d en una esfera con tres agujeros de tipo D no retorcidos (untwisted), y si es así, establecer el mapeo preciso entre los datos de 6d y los datos de los agujeros de 4d.

Metodología

Los autores emplean un enfoque multifacético que combina construcciones de F-theory, teorías de quivers generalizadas y el formalismo de Clase S:

1. Análisis de Quiver/F-theory de 6d: Utilizan la descripción de quiver generalizada de las SCFTs de 6d, donde las curvas con auto-intersección $-n$ representan álgebras de gauge y contenido de materia. Analizan las descripciones de la rama tensorial de las teorías de orbi-instantón de tipo D, las cuales están definidas por un homomorfismo discreto $\tilde{D}_k \to E_8$ y una órbita nilpotente.
2. Clasificación mediante Particiones: Referencian la clasificación de estas teorías por Frey y Rudelius [FR18], que etiqueta las teorías por una partición de tipo D $p$ y un álgebra de Lie $\mathfrak{g}$. Categorizan las teorías basándose en las entradas de la partición transpuesta $p^T_1$ y $p^T_2$.
3. Construcción de Descripciones de Clase S de 4d: Para las teorías que se sospecha tienen una descripción de Clase S, los autores proponen una forma específica para la teoría de 4d: una reducción de la teoría $(2,0)$ de $D_{3n+\delta}$ en una esfera con tres agujeros regulares no retorcidos específicos ($\lambda, \mu, \nu$).
4. Introducción de Etiquetas (Labels):
   • Etiquetas s (etiquetas de tipo Kac): Un conjunto de enteros derivados de las particiones de los agujeros, análogos a las etiquetas de Kac en las teorías de tipo A. Estas están vinculadas a "números de exceso modificados" en el quiver espejo (magnético) de 3d asociado.
   • Etiquetas m: Un conjunto de enteros que representan las posiciones de los hipermultipletes (sabores) en el quiver de 6d. Estas sirven como un puente para mapear directamente el quiver de 6d a las particiones de los agujeros de 4d.
5. Verificaciones de Consistencia: Para validar sus propuestas de mapeo, realizan verificaciones rigurosas comparando los datos de 6d y 4d, incluyendo:
   • Espectros de operadores de la rama de Coulomb.
   • Simetrías globales (vía índices de Schur).
   • Coeficientes de anomalía de 't Hooft (cargas centrales $a, c$ y cargas centrales de sabor).
   • Dimensiones de la rama de Higgs.
6. Análisis de Higgsing: Analizan los flujos del grupo de renormalización (Higgsing) tanto en 6d como en 4d. Comparan las órbitas de Higgsing de las teorías de 6d con el cierre de los agujeros en las teorías de Clase S de 4d para identificar "Higgsings ocultos": flujos presentes en 6d que no son manifiestos en los cierres de los agujeros de las descripciones de Clase S propuestas.

Contribuciones Clave y Resultados

1. No Universalidad de las Descripciones de Clase S para Orbi-instantones de Tipo D
El hallazgo principal es que, en contraste con la serie de tipo A, no todas las teorías de orbi-instantón de tipo D admiten una descripción de Clase S en una esfera con tres agujeros de tipo D no retorcidos.

• Las teorías correspondientes a los casos de la clasificación de Frey-Rudelius donde $p^T_1 + p^T_2 < 6$ (Caso iii) y ciertos subcasos de $p^T_1 < 8$ (Caso ii) y $p^T_1 \ge 8$ (Caso i) no poseen una descripción de Clase S de la forma propuesta.
• Para $k=4$ y $k=5$, escaneos exhaustivos muestran que aproximadamente el 68% de las teorías de orbi-instantón de tipo D admiten una descripción de Clase S, mientras que el resto no.

2. Caracterización mediante etiquetas s y m
Para la subclase de teorías que sí admiten una descripción de Clase S, los autores introducen una caracterización sistemática:

• Etiquetas s: Estos enteros (derivados de las particiones de los agujeros) corresponden a los "números de exceso modificados" de las teorías espejo de 3d. Satisfacen una condición de suma ponderada similar a las etiquetas de Kac, pero no determinan de forma única el homomorfismo discreto $\tilde{D}_k \to E_8$ debido a la naturaleza no abeliana de $\tilde{D}_k$.
• Etiquetas m: Estos enteros especifican la ubicación de los sabores en el quiver de 6d. Proporcionan un algoritmo directo para traducir un quiver generalizado de 6d a las particiones específicas ($\lambda, \mu, \nu$) que definen la teoría de Clase S de 4d.

3. El Rol de los Ángulos $\theta$ de 6d
El artículo elucida el significado físico de los ángulos $\theta$ de 6d para los grupos de gauge USp.

• En casos de bifurcación específicos (donde el extremo izquierdo del quiver se divide), los ángulos $\theta$ relativos entre los dos nodos USp conducen a distintas SCFTs de 6d.
• Esta distinción se manifiesta en la teoría de Clase S de 4d como una elección entre dos conjuntos diferentes de particiones de agujeros (correspondientes a valores pares o impares de una combinación específica de etiquetas $m$), incluso cuando las simetrías globales parecen idénticas.

4. Higgsings Ocultos
Los autores descubren instancias de "Higgsings ocultos".

• Algunos flujos del grupo de renormalización (Higgings) presentes en la teoría madre de 6d no pueden realizarse simplemente cerrando los agujeros en la descripción de Clase S de 4d correspondiente.
• Esto ocurre porque la simetría global completa de la teoría de 4d puede no ser manifiesta en los agujeros (por ejemplo, debido al "doble" de simetrías donde solo es visible un subgrupo diagonal). Intentar realizar el Higgsing de la simetría visible en 4d puede resultar en el Higgsing inadvertido de múltiples simetrías simultáneamente o saltarse la transición específica de 6d.

5. Casos Excepcionales y Familias Especiales
El artículo detalla varias familias excepcionales de quivers que requieren un tratamiento especial o carecen de una descripción de Clase S por completo:

• Quivers que involucran bifundamentales espinoriales de $SO(7)$o$SO(8)$.
• Casos que involucran factores de gauge $G_2$ con menos de dos hipermultipletes fundamentales.
• Casos con $SO(13)$ con medio hipermultiplete espinorial.
• Casos con curvas $-2$ vacías que soportan $SU(1)$ o E-strings de rango-2.
• Casos donde el parámetro $M$ (derivado de las etiquetas $m$) no es un entero, lo que a menudo conduce a teorías de Clase S "malas" o "feas".

Significancia y Reivindicaciones

El artículo afirma proporcionar el primer análisis sistemático de la relación entre las teorías de orbi-instantón de tipo D y las teorías de Clase S de 4d.

• Limitación de Clase S: Demuestra que el marco de Clase S, aunque poderoso, no captura todo el panorama de las reducciones en el toro de las teorías de orbi-instantón de tipo D. Esto sugiere que las teorías de 4d obtenidas de teorías de 6d $(2,0)$ en una esfera con tres agujeros de tipo D no retorcidos constituyen solo un subconjunto de las reducciones dimensionales de los orbi-instantones de tipo D.
• Reglas de Mapeo: Establece reglas explícitas (vía etiquetas $s$ y $m$) para asociar una teoría de Clase S de 4d con un quiver de 6d o una etiqueta de Frey-Rudelius para las teorías que sí admiten tal descripción.
• Distinciones Físicas: Destaca el papel de los ángulos $\theta$ de 6d para distinguir teorías de 4d e identifica flujos de RG "ocultos" que desafían la correspondencia directa entre el Higgsing de 6d y el cierre de agujeros de 4d.

Los autores enfatizan que sus resultados se basan en observaciones extensas y el emparejamiento de datos físicos para valores bajos de $k$ ($k=3,4,5$) más que en pruebas formales para todo $k$. Advierten que, si bien los patrones sugieren que los resultados se mantienen generalmente, pueden existir casos especiales para valores de $k$ más grandes que no fueron capturados por su búsqueda exhaustiva.