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

Título: Orbi-Instantons e Teorias de Classe S de Tipo D
Autores: Jiakang Bao, Noppadol Mekareeya, Gabi Zafrir, Hao Y. Zhang

Problema

O artigo investiga o panorama das teorias de campos superconformes (SCFTs) de seis dimensões (6d) $\mathcal{N}=(1,0)$ conhecidas como teorias de orbi-instantons, especificamente aquelas associadas a singularidades de tipo D ($\Gamma = \tilde{D}_k \subset SU(2)$). Uma questão central no campo é se a compactação em toro dessas teorias de 6d produz teorias de Classe S de 4d, que são construídas pela compactação de teorias $\mathcal{N}=(2,0)$ de 6d em uma superfície de Riemann perfurada. Embora essa correspondência seja bem estabelecida para orbi-instantons de tipo A (onde as teorias de 6d reduzem-se a teorias de Classe S em uma esfera com três perfurações de tipo A), a situação para teorias de tipo D é menos clara. Os autores visam determinar se todas as teorias de orbi-instanton de tipo D admitem uma descrição como uma teoria de Classe S de 4d em uma esfera com três perfurações de tipo D não torcidas, e, se assim for, estabelecer o mapeamento preciso entre os dados de 6d e os dados de perfuração de 4d.

Metodologia

Os autores empregam uma abordagem multifacetada combinando construções de F-theory, teorias de quiver de gauge generalizadas e o formalismo de Classe S:

1. Análise de F-theory/Quiver de 6d: Eles utilizam a descrição de quiver generalizada de SCFTs de 6d, onde curvas com autointerseção $-n$ representam álgebras de gauge e conteúdo de matéria. Eles analisam as descrições de ramo tensorial das teorias de orbi-instanton de tipo D, que são definidas por um homomorfismo discreto $\tilde{D}_k \to E_8$ e uma órbita nilpotente.
2. Classificação via Partições: Eles referenciam a classificação dessas teorias por Frey e Rudelius [FR18], que rotula as teorias por uma partição de tipo D $p$ e uma álgebra de Lie $\mathfrak{g}$. Eles categorizam as teorias baseando-se nas entradas da partição transposta $p^T_1$ e $p^T_2$.
3. Construção de Descrições de Classe S de 4d: Para as teorias que suspeitam possuir uma descrição de Classe S, os autores propõem uma forma específica para a teoria de 4d: uma redução da teoria $(2,0)$ de $D_{3n+\delta}$ em uma esfera com três perfurações regulares não torcidas específicas ($\lambda, \mu, \nu$).
4. Introdução de Rótulos:
   • rótulos s (rótulos do tipo Kac): Um conjunto de inteiros derivados das partições de perfuração, análogos aos rótulos de Kac em teorias de tipo A. Eles estão ligados a "números de excesso modificados" nos quivers espelhados (magnéticos) de 3d associados.
   • rótulos m: Um conjunto de inteiros que representam as posições de hipermultipletos (sabores) no quiver de 6d. Eles servem como uma ponte para mapear o quiver de 6d diretamente para as partições de perfuração de 4d.
5. Verificações de Consistência: Para validar seus mapeamentos propostos, eles realizam verificações rigorosas comparando os dados de 6d e 4d, incluindo:
   • Espectros de operadores do ramo de Coulomb.
   • Simetrias globais (via índices de Schur).
   • Coeficientes de anomalia de 't Hooft (cargas centrais $a, c$ e cargas centrais de sabor).
   • Dimensões do ramo de Higgs.
6. Análise de Higgsing: Eles analisam fluxos de Renormalização (RG) (Higgsings) tanto em 6d quanto em 4d. Eles comparam as órbitas de Higgsing de teorias de 6d com o fechamento de perfurações em teorias de Classe S, para identificar "Higgsings ocultos" — fluxos presentes em 6d que não são manifestos nos fechamentos de perfurações das descrições de Classe S propostas.

Principais Contribuições e Resultados

1. Não Universalidade das Descrições de Classe S para Orbi-Instantons de Tipo D
A principal descoberta é que, em contraste com a série de tipo A, nem todas as teorias de orbi-instanton de tipo D admitem uma descrição de Classe S em uma esfera com três perfurações de tipo D não torcidas.

• Teorias correspondentes aos casos de classificação de Frey-Rudelius onde $p^T_1 + p^T_2 < 6$ (Caso iii) e certos subcasos de $p^T_1 < 8$ (Caso ii) e $p^T_1 \ge 8$ (Caso i) não possuem uma descrição de Classe S da forma proposta.
• Para $k=4$ e $k=5$, varreduras exaustivas mostram que aproximadamente 68% das teorias de orbi-instanton de tipo D admitem uma descrição de Classe S, enquanto o restante não admite.

2. Caracterização via rótulos s e rótulos m
Para a subclasse de teorias que de fato admitem uma descrição de Classe S, os autores introduzem uma caracterização sistemática:

• rótulos s: Estes inteiros (derivados das partições de perfuração) correspondem aos "números de excesso modificados" das teorias espelhadas de 3d. Eles satisfazem uma condição de soma ponderada semelhante aos rótulos de Kac, mas não determinam unicamente o homomorfismo discreto $\tilde{D}_k \to E_8$ devido à natureza não abeliana de $\tilde{D}_k$.
• rótulos m: Estes inteiros especificam a localização dos sabores no quiver de 6d. Eles fornecem um algoritmo direto para traduzir um quiver generalizado de 6d para as partições específicas ($\lambda, \mu, \nu$) que definem a teoria de Classe S de 4d.

3. Papel dos Ângulos $\theta$ de 6d
O artigo elucida o significado físico dos ângulos $\theta$ de 6d para grupos de gauge USp.

• Em casos específicos de bifurcação (onde a extremidade esquerda do quiver se divide), os ângulos $\theta$ relativos entre os dois nós USp levam a distintas SCFTs de 6d.
• Essa distinção se manifesta na teoria de Classe S de 4d como uma escolha entre dois conjuntos diferentes de partições de perfuração (correspondendo a valores pares ou ímpares de uma combinação específica de rótulos $m$), mesmo quando as simetrias globais parecem idênticas.

4. Higgsings Ocultos
Os autores descobrem instâncias de "Higgsings ocultos".

• Alguns fluxos de RG (Higgsings) presentes na teoria pai de 6d não podem ser realizados simplesmente fechando as perfurações na descrição de Classe S de 4d correspondente.
• Isso ocorre porque a simetria global completa da teoria de 4d pode não ser manifesta nas perfurações (por exemplo, devido ao "dobramento" de simetrias onde apenas um subgrupo diagonal é visível). Tentar realizar o Higgsing da simetria visível em 4d pode inadvertidamente realizar o Higgsing de múltiplas simetrias simultaneamente ou saltar sobre a transição específica de 6d.

5. Casos Excepcionais e Famílias Especiais
O artigo detalha várias famílias excepcionais de quivers que requerem tratamento especial ou carecem totalmente de uma descrição de Classe S:

• Quivers envolvendo bifundamentais spinor de $SO(7)$ ou $SO(8)$.
• Casos envolvendo fatores de gauge $G_2$ com menos de dois hipermultipletos fundamentais.
• Casos envolvendo $SO(13)$ com meio-hipermultipletos spinor.
• Casos com curvas $-2$ vazias suportando $SU(1)$ ou E-strings de rank-2.
• Casos onde o parâmetro $M$ (derivado de rótulos $m$) não é inteiro, frequentemente levando a teorias de Classe S "ruins" ou "feias".

Significância e Alegações

O artigo alega fornecer a primeira análise sistemática da relação entre teorias de orbi-instanton de tipo D e teorias de Classe S de 4d.

• Limitação de Classe S: Demonstra que o arcabouço de Classe S, embora poderoso, não captura todo o panorama das reduções em toro de orbi-instantons de tipo D. Isso sugere que as teorias de 4d obtidas de teorias $(2,0)$ de 6d em uma esfera com três perfurações de tipo D não torcidas constituem apenas um subconjunto das reduções dimensionais de orbi-instantons de tipo D.
• Regras de Mapeamento: Estabelece regras explícitas (via rótulos $s$ e $m$) para associar uma teoria de Classe S de 4d a um quiver de 6d ou a um rótulo de Frey-Rudelius para as teorias que de fato admitem tal descrição.
• Distinções Físicas: Destaca o papel dos ângulos $\theta$ de 6d na distinção de teorias de 4d e identifica fluxos de RG "ocultos" que desafiam a correspondência direta entre o Higgsing de 6d e o fechamento de perfurações de 4d.

Os autores enfatizam que seus resultados baseiam-se em observações extensas e no ajuste de dados físicos para valores baixos de $k$ ($k=3,4,5$), em vez de provas formais para todos os $k$. Eles alertam que, embora os padrões sugiram que os resultados se sustentam genericamente, casos especiais podem existir para valores maiores de $k$ que não foram capturados por sua busca exaustiva.