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

Título: Gaugar ou realizar o duplo gaugamento? Modelos de matriz, simetria global e cohomologias de buracos negros

Enunciado do Problema
O artigo aborda a complexidade de analisar a estrutura do espaço de Hilbert e a dinâmica de modelos de matriz, que são propostos como definições não perturbativas da gravidade quântica (por exemplo, os modelos BFSS e BMN). Embora esses modelos sejam ricos em graus de liberdade, sua análise completa é frequentemente intratável. Trabalhos anteriores mostraram que o ato de gaugar uma simetria simplifica a dinâmica ao projetar sobre setores de singletes, mas a estrutura do espaço de Hilbert nesses setores permanece complexa devido às relações de traço e à interação entre simetrias de calibre (gauge) e globais. Especificamente, os autores buscam compreender o cenário de "duplo gaugamento": modelos de matriz onde uma simetria global também é gaugada (projetada sobre singletes), tratando efetivamente a simetria global como uma simetria de calibre. Isso é contrastado com o debate "Gaugar ou não gaugar?", onde se observou que, no acoplamento forte, os não-singletes se desacoplam. Os autores investigam se essa dupla projeção simplifica ainda mais a estrutura do espaço de Hilbert e o espectro de operadores, particularmente no contexto da identificação de operadores "não-gravitons" relacionados a microestados de buracos negros supersimétricos em $AdS_5$.

Metodologia
Os autores empregam uma combinação de teoria de invariantes, análise de função de partição e técnicas de índice superconformal:

1. Fórmula de Molien-Weyl: Eles utilizam a fórmula de Molien-Weyl para computar funções de partição para modelos de matrizes bosônicas. Isso envolve integrar a função de partição estendida sobre o grupo de calibre (para impor a invariância de calibre) e, subsequentemente, sobre o grupo de simetria global (para impor a projeção de singlete).
2. Decomposição de Hironaka: As funções de partição resultantes são analisadas usando a decomposição de Hironaka para identificar o anel de invariantes. Isso permite que os autores distingam entre invariantes primários (geradores algebricamente independentes) e invariantes secundários (geradores quadraticamente redutíveis), contabilizando as relações de traço.
3. Fixação de Calibre e Decomposição em Valores Singulares (SVD): Para interpretar as funções de partição, os autores realizam uma fixação de calibre explícita. Eles mapeiam as configurações de múltiplas matrizes para formas mais simples usando SVD, reduzindo os graus de liberdade para um conjunto menor de matrizes efetivas (por exemplo, uma única matriz real simétrica).
4. Análise do Setor BMN: Para o caso supersimétrico, eles focam no subsetor 1/16 BPS da teoria de Super Yang-Mills (SYM) $\mathcal{N}=4$ $SU(N)$, especificamente o setor BMN. Eles computam o índice superconformal restrito a singletes de $SU(3)_R$.
5. Separação de Graviton vs. Não-Graviton: Eles constroem explicitamente o espaço de operadores "graviton" (primários quirais e seus descendentes) e subtraem sua contribuição do índice completo para isolar os cohomologias de "não-gravitons".

Principais Contribuições e Resultados

1. Modelos de Matriz Bosônicos ($U(2)$ e $SU(2)$ com simetria global $SO(d)$):

• Redução para Modelos de Matriz Única: Os autores demonstram que o setor de singlete $SO(d)$ de modelos de matriz $SU(2)$ com $d \ge 4$ é efetivamente descrito por um modelo de matriz gaugada $SO(3)$ de uma única matriz real simétrica $3 \times 3$ $B$. Para $d=3$, um invariante secundário adicional (determinante ao quadrado) aparece.
• Modelos $U(2)$: Para modelos $U(2)$ com $d \ge 5$, o setor de singlete reduz-se a um modelo $SO(3)$ envolvendo uma matriz simétrica, uma matriz antissimétrica (ou vetor) e um escalar. Para $d=4$, um invariante secundário adicional aparece.
• Simplificação da Dinâmica: Esta redução implica que o Hamiltoniano no setor de singlete simplifica-se significamente. Por exemplo, a parte bosônica do modelo BFSS no setor de singlete $SO(d)$ reduz-se a uma partícula movendo-se em um 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)$.
• Validade Cinemática: Os autores observam que, embora as funções de partição tenham sido computadas para modelos livres, a identificação de invariantes baseia-se em relações de traço cinemáticas, sugerindo que essas simplificações estruturais se estendem a modelos interagentes.

2. Setor BMN de $\mathcal{N}=4$ SYM ($SU(N)$ com simetria global $SU(3)_R$):

• Projeção de Singlete: Os autores projetam o setor 1/16 BPS sobre singletes de $SU(3)_R$. Eles descobrem que essa projeção simplifica drasticamente o espectro de operadores de graviton.
• Ausência de Gravitons Singletes ($N=2$): Para a teoria de calibre $SU(2)$, eles provam que não existem operadores graviton singletes de $SU(3)_R$. O índice do graviton singlete é trivial ($1$). Consequentemente, a projeção de singlete do índice completo isola diretamente as cohomologias de não-graviton (buraco negro).
• Setor de Graviton Simplificado ($N=3$): Para a teoria de calibre $SU(3)$, o setor de graviton singlete é extremamente simples, consistindo apenas de dois operadores não triviais (nas ordens $t^{18}$ e $t^{24}$). Isso permite uma expressão de forma fechada do índice de graviton singlete.
• Índices de Não-Graviton em Forma Fechada: Ao subtrair o índice de graviton simplificado do índice BMN completo, os autores derivam expressões de forma fechada para os índices de não-graviton para $N=2$ e $N=3$. Essas expressões revelam características estruturais do espectro, tais como torres infinitas de cohomologias geradas por operadores como $\text{tr}(f^2)$ e $\text{tr}(f^3)$.
• Caso $N=4$: Para $SU(4)$, os autores identificam novos operadores graviton singletes (incluindo um puramente bosônico em $t^{12}$) que estavam ausentes em casos de $N$ inferior devido a relações de traço. Embora uma forma fechada completa não seja fornecida, eles apresentam a expansão em série e identificam as novas contribuições de graviton.

Significância e Alegações
O artigo afirma que o "duplo gaugamento" (projetar sobre singletes de simetria global) é uma ferramenta poderosa para simplificar a análise de modelos de matriz e teorias de calibre supersimétricas.

• Simplificação Estrutural: A principal alegação é que a estrutura do espaço de Hilbert simplifica-se no setor de singlete, muitas vezes reduzindo sistemas de múltiplas matrizes a modelos de matriz única efetivos.
• Microestados de Buracos Negros: No contexto do setor BMN, os autores argumentam que a escassez de gravitons singletes de $SU(3)_R$ (especialmente para $N=2, 3$) torna o setor de singlete um cenário ideal para estudar operadores de não-graviton. Esses operadores são esperados que correspondam aos microestados de buracos negros supersimétricos de $AdS_5$.
• Formas Fechadas: O trabalho fornece as primeiras expressões de forma fechada para o índice de não-graviton no setor singlete de $SU(3)_R$ para $N=2$ e $N=3$, oferecendo uma alternativa tratável aos métodos numéricos de base de Gröbner anteriormente exigidos para $N$ finito.
• Direções Futuras: Os autores sugerem que essas simplificações podem facilitar estudos numéricos e a simulação quântica de protocolos holográficos (por exemplo, formação e evaporação de buracos negros) em computadores quânticos de curto prazo, uma vez que os Hamiltonianos reduzidos são mais amigáveis à simulação do que os modelos de matriz completos. Eles também observam que o status da conjectura de exatidão de um loop para $SU(N)$ permanece incerto, e o setor de singlete fornece um ambiente mais simples para investigar o potencial levantamento de estados devido a correções quânticas.