To gauge or to double gauge? Matrix models, global symmetry, and black hole cohomologies

Título: ¿Gaugar o doble gaugar? Modelos de matrices, simetría global y cohomologías de agujeros negros

Planteamiento del problema
El artículo aborda la complejidad de analizar la estructura del espacio de Hilbert y la dinámica de los modelos de matrices, los cuales se proponen como definiciones no perturbativas de la gravedad cuántica (por ejemplo, los modelos BFSS y BMN). Aunque estos modelos son ricos en grados de libertad, su análisis completo suele ser intratable. Trabajos previos han demostrado que el gaugar una simetría simplifica la dinámica al proyectar sobre sectores de singletes, pero la estructura del espacio de Hilbert en estos sectores sigue siendo compleja debido a las relaciones de traza y la interacción entre las simetrías de gauge y las globales. Específicamente, los autores buscan comprender el escenario de "doble gaugado": modelos de matrices donde una simetría global también es gaugada (proyectada sobre singletes), tratando efectivamente la simetría global como una simetría de gauge. Esto se contrasta con el debate "¿Gaugar o no gaugar?", donde se observó que, en acoplamiento fuerte, los no-singletes se desacoplan. Los autores investigan si esta doble proyección simplifica aún más la estructura del espacio de Hilbert y el espectro de operadores, particularmente en el contexto de la identificación de operadores "no-gravitones" relacionados con microestados de agujeros negros supersimétricos en $AdS_5$.

Metodología
Los autores emplean una combinación de teoría de invariantes, análisis de funciones de partición y técnicas de índice superconforme:

1. Fórmula de Molien-Weyl: Utilizan la fórmula de Molien-Weyl para computar funciones de partición para modelos de matrices bosónicas. Esto implica integrar la función de partición extendida sobre el grupo de gauge (para imponer la invariancia de gauge) y, posteriormente, sobre el grupo de simetría global (para imponer la proyección de singlete).
2. Descomposición de Hironaka: Las funciones de partición resultantes se analizan utilizando la descomposición de Hironaka para identificar el anillo de invariantes. Esto permite a los autores distinguir entre invariantes primarios (generadores algebraicamente independientes) e invariantes secundarios (generadores cuadráticamente reducibles), contabilizando las relaciones de traza.
3. Fijación de Gauge y Descomposición en Valores Singulares (SVD): Para interpretar las funciones de partición, realizan una fijación de gauge explícita. Mapean las configuraciones de matrices múltiples a formas más simples mediante SVD, reduciendo los grados de libertad a un conjunto más pequeño de matrices efectivas (por ejemplo, una única matriz real simétrica).
4. Análisis del Sector BMN: Para el caso supersimétrico, se centran en el subsector 1/16 BPS de la teoría de super Yang-Mills (SYM) $\mathcal{N}=4$ $SU(N)$, específicamente el sector BMN. Computan el índice superconforme restringido a singletes de $SU(3)_R$.
5. Separación de Gravitón vs. No-Gravitón: Construyen explícitamente el espacio de operadores "gravitones" (primarios quirales y sus descendientes) y restan su contribución del índice completo para aislar el índice de "no-gravitones", el cual se conjetura contiene microestados de agujeros negros en $AdS_5$.

Contribuciones Clave y Resultados

1. Modelos de Matrices Bosónicas ($U(2)$ y $SU(2)$ con simetría global $SO(d)$):

• Reducción a Modelos de Matriz Única: Los autores demuestran que el sector de singletes de $SO(d)$ de los modelos de matrices $SU(2)$ con $d \ge 4$ está descrito efectivamente por un modelo de matriz de una sola matriz real simétrica $3 \times 3$ con gauge $SO(3)$. Para $d=3$, aparece un invariante secundario adicional (determinante al cuadrado).
• Modelos $U(2)$: Para modelos $U(2)$ con $d \ge 5$, el sector de singletes se reduce a un modelo $SO(3)$ que involucra una matriz simétrica, una matriz antisimétrica (o vector) y un escalar. Para $d=4$, aparece un invariante secundario adicional.
• Simplificación de la Dinámica: Esta reducción implica que el Hamiltoniano en el sector de singletes se simplifica significamente. Por ejemplo, la parte bosónica del modelo BFSS en el sector de singletes $SO(d)$ se reduce a una partícula moviéndose en un potencial tridimensional, $H = \frac{1}{2}(p_x^2 + p_y^2 + p_z^2) + \frac{1}{2}(x^2y^2 + y^2z^2 + z^2x^2)$.
• Validez Cinemática: Los autores señalan que, aunque se computaron funciones de partición para modelos libres, la identificación de invariantes se basa en relaciones de traza cinemáticas, lo que sugiere que estas simplificaciones estructurales se extienden a modelos interactuantes.

2. Sector BMN de $\mathcal{N}=4$ SYM ($SU(N)$ con simetría global $SU(3)_R$):

• Proyección de Singlete: Los autores proyectan el sector 1/16 BPS sobre singletes de $SU(3)_R$. Encuentran que esta proyección simplifica drásticamente el espectro de operadores de gravitones.
• Ausencia de Gravitones Singletes ($N=2$): Para la teoría de gauge $SU(2)$, prueban que no existen operadores de gravitón singletes de $SU(3)_R$. El índice de gravitones singletes es trivial ($1$). En consecuencia, la proyección de singlete del índice completo aísla directamente las cohomologías de no-gravitones (agujeros negros).
• Sector de Gravitones Simplificado ($N=3$): Para la teoría de gauge $SU(3)$, el sector de gravitones singletes es extremadamente simple, consistiendo únicamente en dos operadores no triviales (en los órdenes $t^{18}$ y $t^{24}$). Esto permite una expresión de forma cerrada para el índice de gravitones singletes.
• Índices de No-Gravitones en Forma Cerrada: Al restar el índice de gravitones simplificado del índice BMN completo, los autores derivan expresiones de forma cerrada para el índice de no-gravitones para $N=2$ y $N=3$. Estas expresiones revelan características estructurales del espectro, tales como torres infinitas de cohomologías generadas por operadores como $\text{tr}(f^2)$ y $\text{tr}(f^3)$.
• Caso $N=4$: Para $SU(4)$, los autores identifican nuevos operadores de gravitones singletes (incluyendo uno puramente bosónico en $t^{12}$) que estaban ausentes en los casos de $N$ menor debido a las relaciones de traza. Aunque no se proporciona una forma cerrada completa, proporcionan la expansión en serie e identifican las nuevas contribuciones de gravitones.

Significancia y Reivindicaciones
El artículo afirma que el "doble gaugado" (proyectar sobre singletes de simetría global) es una herramienta poderosa para simplificar el análisis de modelos de matrices y teorías de gauge supersimétricas.

• Simplificación Estructural: La reivindicación principal es que la estructura del espacio de Hilbert se simplifica en el sector de singletes, a menudo reduciendo sistemas de matrices múltiples a modelos efectivos de una sola matriz.
• Microestados de Agujeros Negros: En el contexto del sector BMN, los autores argumentan que la escasez de gravitones singletes de $SU(3)_R$ (especialmente para $N=2, 3$) convierte al sector de singletes en un escenario ideal para estudiar operadores de no-gravitones. Se espera que estos operadores correspondan a los microestados de los agujeros negros supersimétricos en $AdS_5$.
• Formas Cerradas: El trabajo proporciona las primeras expresiones de forma cerrada para el índice de no-gravitones en el sector de singletes de $SU(3)_R$ para $N=2$ y $N=3$, ofreciendo una alternativa tratable a los métodos numéricos de bases de Gröbner requeridos previamente para $N$ finito.
• Direcciones Futuras: Los autores sugieren que estas simplificaciones podrían facilitar estudios numéricos y la simulación cuántica de protocolos holográficos (por ejemplo, formación y evaporación de agujeros negros) en computadoras cuánticas de corto plazo, ya que los Hamiltonianos reducidos son más aptos para la simulación que los modelos de matrices completos. También señalan que el estatus de la conjetura de exactitud de un solo bucle para $SU(N)$ sigue siendo incierto, y que el sector de singletes proporciona un entorno más simple para investigar el posible levantamiento de estados debido a correcciones cuánticas.