Codimension-Two Defects and SYM on Orbifolds

Resumen Técnico: Defectos de Codimensión Dos y SYM en Orbifolds

Planteamiento del Problema
Investigaciones recientes sobre soluciones de agujeros negros acelerados en supergravedad han destacado la importancia de las geometrías cercanas al horizonte que contienen singularidades de orbifold, específicamente espacios topológicamente equivalentes a esferas pero con singularidades cónicas (husos). Si bien la correspondencia AdS/CFT sugiere que las cantidades del lado de la gravedad (como la entropía de agujeros negros) deberían reproducirse mediante observables en una Teoría de Campo Conforma (CFT) dual, falta una definición rigurosa de las teorías de Super Yang-Mills (SYM) en la vecindad de singularidades de orbifold. El objetivo principal de este trabajo es investigar la dinámica de las teorías SYM cerca de dichas singularidades y establecer una equivalencia entre estas teorías y teorías SYM específicas definidas sobre recubrimientos ramificados.

Metodología
Los autores proponen una "teoría de orbifold refinada" como una descripción equivalente de SYM en espacios con singularidades de orbifold. Este marco se construye sobre variedades suaves insertando dos tipos de defectos de codimensión dos:

1. Defectos de Gukov-Witten (GW): Son operadores $1/2$-BPS (o $1/4$-BPS en 4d) soportados en subvariedades $D$. Se clasifican mediante elementos en el subálgebra de Cartan del grupo de gauge, rompiendo la simetría de gauge a un subgrupo de Levi $L$ en el soporte del defecto.
2. Defectos de torsión: Se insertan para imponer una simetría global (específicamente una simetría $\mathbb{Z}_p$) que permuta cíclicamente los factores del subgrupo de Levi.

La construcción procede de la siguiente manera:

• Configuración: Comenzar con una teoría de gauge $U(pN)$ en $\mathbb{C}^r$ (donde $r=1$ para 2d, $r=2$ para 4d).
• Higgsing: Introducir un valor esperado en el vacío (vev) grande para el campo escalar en el multiplete vectorial. Esto rompe el grupo de gauge $U(pN)$ hasta el subgrupo de Levi $L = U(N)^p$ (o $U(N)^{p_1 p_2}$ en 4d). Los modos fuera de la diagonal masivos se integran.
• Inserción de defectos: Los defectos GW se colocan en el origen (o intersección de ejes) para imponer perfiles singulares para la conexión de gauge. Luego se insertan defectos de torsión para implementar una identificación cíclica de los campos en los factores $U(N)$.
• Argumento de equivalencia: El efecto combinado hace que los campos sean multivaluados con respecto a las rotaciones alrededor del soporte del defecto. Los autores argumentan que esta configuración es equivalente a una teoría sobre un recubrimiento ramificado $\tilde{\mathbb{C}}_p$ (o $\tilde{\mathbb{C}}^2_p$), donde la multivaluación tiene una interpretación geométrica. Específicamente, los defectos de torsión en la variedad suave corresponden a la estructura de ramificación del recubrimiento.

Contribuciones y Resultados Clave

• Funciones de partición en parches locales:
  Los autores calculan las funciones de partición para la teoría de orbifold refinada en parches locales ($\mathbb{C}/\mathbb{Z}_p$ y $\mathbb{C}/\mathbb{Z}_{p_1} \times \mathbb{Z}_{p_2}$) utilizando localización supersimétrica.

  • 2D: El determinante de un bucle se deriva contando funciones holomorfas locales con cargas fraccionarias inducidas por el defecto de torsión. El resultado coincide con la función de partición de una teoría $U(N)$ en el recubrimiento ramificado $\tilde{\mathbb{C}}_p$.
  • 4D: El cálculo incluye tanto el determinante de un bucle como contribuciones no perturbativas de instantones. Los autores demuestran que la función de partición de instantones para la teoría de orbifold refinada, que implica la "costura" de diagramas de Young de diferentes factores $U(N)$, reproduce el resultado para la teoría en el recubrimiento ramificado $\tilde{\mathbb{C}}^2_p$.
  • Dimensiones impares: Extendiendo la teoría con una fibra libre $S^1$, se calculan funciones de partición para teorías en 3D y 5D, mostrando acuerdo con resultados en recubrimientos ramificados de esferas de dimensión impar.

• Unión a espacios cerrados:
  Utilizando las funciones de partición locales como bloques de construcción, los autores construyen funciones de partición para espacios compactos con singularidades cónicas, específicamente:

  • Husos ($CP^1_{(p_1, p_2)}$): Al unir dos parches con condiciones adecuadas de cuantización de flujo (permitiendo cargas fraccionarias cuando $\gcd(p_1, p_2) > 1$), reproducen resultados conocidos para el índice del huso.
  • Espacios proyectivos ponderados ($CP^2_{(p_1, p_2, p_3)}$) y Esferas ($S^4_p, S^5_p$): Los autores aplican un procedimiento de unión que tiene en cuenta el grupo fundamental del orbifold y los sectores de flujo. Reproducen con éxito resultados existentes para recubrimientos ramificados de esferas y espacios proyectivos ponderados encontrados en la literatura.

• Regularización y Flujo:
  El artículo aborda la regularización de productos infinitos que surgen en los determinantes de un bucle al unir parches con diferentes signos de parámetros equivariantes. También detalla cómo la cuantización de flujo en orbifolds difiere de las variedades suaves, permitiendo flujos fraccionarios que son capturados naturalmente por la construcción de orbifold refinada.

Significado
El artículo afirma que la teoría de orbifold refinada proporciona un marco concreto y calculable para definir teorías de gauge en espacios con singularidades de orbifold. El significado central reside en la equivalencia demostrada entre:

1. SYM en orbifolds con defectos de Gukov-Witten y de torsión.
2. SYM en recubrimientos ramificados.

Esta equivalencia explica observaciones previas donde las funciones de partición en espacios con ángulos deficitarios (orbifolds) podían obtenerse de aquellas con ángulos excedentes (recubrimientos ramificados) mediante reducción dimensional. Al proporcionar un enfoque de "bloque de construcción", los autores habilitan el cálculo de funciones de partición para teorías SYM equivariantes en varios orbifolds compactos (husos, espacios proyectivos ponderados) sin necesidad de definir la teoría directamente en el espacio singular. El trabajo cierra la brecha entre la descripción matemática de haces parabólicos en orbifolds y la descripción física de defectos en teorías de gauge, ofreciendo una herramienta para reproducir cantidades del lado de la gravedad (como la entropía de agujeros negros) desde el lado de la teoría de campos.

Limitaciones y Direcciones Futuras
Los autores notan que la construcción actual aún no se extiende consistentemente a campos de materia fundamental de una manera que coincida con los resultados de recubrimientos ramificados, ya que el defecto GW afecta a la materia incluso después del Higgsing. Además, aunque el artículo establece la equivalencia a nivel de funciones de partición, el mecanismo preciso para preservar la supersimetría en los espacios singulares resultantes (por ejemplo, la necesidad de campos de simetría R de fondo) se trata como una condición necesaria en lugar de un resultado derivado. El trabajo sugiere que se necesita mayor exploración para comprender el efecto combinado de los defectos de torsión y GW antes del Higgsing y para comparar el enfoque de orbifold refinado con los cálculos existentes del índice del huso que utilizan índices equivariantes en orbifolds.