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

Titolo: Orbi-Istantoni e Teorie di Classe S di Tipo D
Autori: Jiakang Bao, Noppadol Mekareeya, Gabi Zafrir, Hao Y. Zhang

Problematica

Il saggio investiga il panorama delle teorie di campo superconferenziali (SCFT) in sei dimensioni (6d) $\mathcal{N}=(1,0)$ note come teorie di orbi-istantoni, specificamente quelle associate a singolarità di tipo D ($\Gamma = \tilde{D}_k \subset SU(2)$). Una questione centrale nel campo è se la compattificazione su toro di queste teorie 6d produca teorie di Classe S in 4d, che sono costruite compattificando teorie 6d $\mathcal{N}=(2,0)$ su una superficie di Riemann punteggiata. Mentre questa corrispondenza è ben stabilita per gli orbi-istantoni di tipo A (dove le teorie 6d si riducono a teorie di Classe S su una sfera con tre punte di tipo A), la situazione per le teorie di tipo D è meno chiara. Gli autori mirano a determinare se tutte le teorie di orbi-istantoni di tipo D ammettano una descrizione come teoria di Classe S in 4d su una sfera con tre punte di tipo D non ritorti (untwisted), e se sì, stabilire la precisa mappatura tra i dati 6d e i dati delle punte in 4d.

Metodologia

Gli autori impiegano un approccio multifaccettato che combina costruzioni di F-theory, teorie quiver generalizzate e il formalismo di Classe S:

1. Analisi Quiver/F-theory 6d: Utilizzano la descrizione quiver generalizzata delle SCFT 6d, dove le curve con auto-intersezione $-n$ rappresentano le algebre di gauge e il contenuto di materia. Analizzano le descrizioni del ramo tensoriale delle teorie di orbi-istantoni di tipo D, che sono definite da un omomorfismo discreto $\tilde{D}_k \to E_8$ e un orbita nilpotente.
2. Classificazione tramite Partizioni: Fanno riferimento alla classificazione di queste teorie da parte di Frey e Rudelius [FR18], che etichetta le teorie tramite una partizione di tipo D $p$ e un'algebra di Lie $\mathfrak{g}$. Categorizzano le teorie in base alle voci della partizione trasposta $p^T_1$ e $p^T_2$.
3. Costruzione di Descrizioni di Classe S 4d: Per le teorie sospettate di avere una descrizione di Classe S, gli autori propongono una forma specifica per la teoria 4d: una riduzione della teoria $(2,0)$ di $D_{3n+\delta}$ su una sfera con tre specifiche punte regolari non ritorte ($\lambda, \mu, \nu$).
4. Introduzione di Etichette:
   • Etichette s (etichette di tipo Kac): Un insieme di interi derivati dalle partizioni delle punte, analoghi alle etichette di Kac nelle teorie di tipo A. Queste sono collegate ai "numeri di eccesso modificati" nella loro teoria speculare (mirror) 3d (quiver magnetici).
   • Etichette m: Un insieme di interi che rappresentano le posizioni degli ipermultipletti (sapori) nel quiver 6d. Esse fungono da ponte per mappare direttamente il quiver 6d alle partizioni delle punte 4d.
5. Controlli di Coerenza: Per validare le loro proposte di mappatura, gli autori eseguono controlli rigorosi confrontando i dati 6d e 4d, inclusi:
   • Spettri degli operatori del ramo di Coulomb.
   • Simmetrie globali (tramite indici di Schur).
   • Coefficienti di anomalia di 't Hooft (centrali $a, c$ e centrali di sapore).
   • Dimensioni del ramo di Higgs.
6. Analisi di Higgsing: Analizzano i flussi del gruppo di rinormalizzazione (Higgsing) sia in 6d che in 4d. Confrontano gli orbiti di Higgsing delle teorie 6d con la chiusura delle punte nelle teorie di Classe S, al fine di identificare "Higgsing nascosti": flussi presenti in 6d che non sono manifesti nelle chiusure delle punte delle proposte descrizioni di Classe S.

Contributi Chiave e Risultati

1. Non-Universalità delle Descrizioni di Classe S per gli Orbi-Istantoni di Tipo D
La scoperta principale è che, in contrasto con la serie di tipo A, non tutte le teorie di orbi-istantoni di tipo D ammettono una descrizione di Classe S su una sfera con tre punte di tipo D non ritorti.

• Le teorie corrispondenti ai casi della classificazione Frey-Rudelius dove $p^T_1 + p^T_2 < 6$ (Caso iii) e certi sottocasi di $p^T_1 < 8$ (Caso ii) e $p^T_1 \ge 8$ (Caso i) non possiedono una descrizione di Classe S della forma proposta.
• Per $k=4$ e $k=5$, scansioni esaustive mostrano che circa il 68% delle teorie di orbi-istantoni di tipo D ammette una descrizione di Classe S, mentre il resto no.

2. Caratterizzazione tramite Etichette s e m
Per la sottoclasse di teorie che ammettono una descrizione di Classe S, gli autori introducono una caratterizzazione sistematica:

• Etichette s: Questi interi (derivati dalle partizioni delle punte) corrispondono ai "numeri di eccesso modificati" delle teorie speculari 3d. Soddisfano una condizione di somma pesata simile alle etichette di Kac, ma non determinano univocamente l'omomorfismo discreto $\tilde{D}_k \to E_8$ a causa della natura non abeliana di $\tilde{D}_k$.
• Etichette m: Questi interi specificano la posizione dei sapori nel quiver 6d. Forniscono un algoritmo diretto per tradurre un quiver generalizzato 6d nelle specifiche partizioni ($\lambda, \mu, \nu$) che definiscono la teoria di Classe S 4d.

3. Ruolo degli Angoli $\theta$ 6d
Il saggio elucida il significato fisico degli angoli $\theta$ 6d per i gruppi di gauge USp.

• In specifici casi di biforcazione (dove l'estremità sinistra del quiver si scinde), i relativi angoli $\theta$ tra i due nodi USp portano a distinte teorie SCFT 6d.
• Questa distinzione si manifesta nella teoria di Classe S 4d come una scelta tra due diversi set di partizioni delle punte (corrispondenti a valori pari o dispari di una specifica combinazione di etichette $m$), anche quando le simmetrie globali appaiono identiche.

4. Higgsing Nascosti
Gli autori scoprono istanze di "Higgsing nascosti".

• Alcuni flussi del gruppo di rinormalizzazione (Higgsing) presenti nella teoria genitrice 6d non possono essere realizzati semplicemente chiudendo le punte nella corrispondente descrizione di Classe S 4d.
• Ciò accade perché la piena simmetria globale della teoria 4d potrebbe non essere manifesta nelle punte (ad esempio, a causa del "raddoppio" delle simmetrie dove è visibile solo un sottogruppo diagonale). Tentare di Higgsare la simmetria visibile in 4d può involontariamente Higgsare più simmetrie simultaneamente o saltare la specifica transizione 6d.

5. Casi Eccezionali e Famiglie Speciali
Il saggio dettaglia diverse famiglie eccezionali di quiver che richiedono un trattamento speciale o mancano totalmente di una descrizione di Classe S:

• Quiver che coinvolgono bifundamentali spinor di $SO(7)$o$SO(8)$.
• Casi che coinvolgono fattori di gauge $G_2$ con meno di due ipermultipletti fondamentali.
• Casi con $SO(13)$ con semi-ipermultipleti spinor.
• Casi con curve $-2$ vuote che supportano $SU(1)$ o E-string di rango-2.
• Casi in cui il parametro $M$ (derivato dalle etichette $m$) non è un intero, portando spesso a teorie di Classe S "brutte" o "cattive".

Significatività e Rivendicazioni

Il saggio rivendica di fornire la prima analisi sistematica della relazione tra le teorie di orbi-istantoni di tipo D e le teorie di Classe S 4d.

• Limitazione di Classe S: Dimostra che il framework di Classe S, sebbene potente, non cattura l'intero panorama delle riduzioni su toro delle teorie di orbi-istantoni di tipo D. Ciò suggerisce che le teorie 4d ottenute dalle teorie 6d $(2,0)$ su una sfera con tre punte di tipo D non ritorto costituiscono solo un sottoinsieme delle riduzioni dimensionali di orbi-istantoni di tipo D.
• Regole di Mappatura: Stabilisce regole esplicite (tramite etichette $s$ e $m$) per associare una teoria di Classe S 4d a un quiver 6d o a un'etichetta Frey-Rudelius per le teorie che ammettono tale descrizione.
• Distinzioni Fisiche: Evidenzia il ruolo degli angoli $\theta$ 6d nel distinguere le teorie 4d e identifica flussi RG "nascosti" che sfidano la diretta corrispondenza tra l'Higgsing 6d e la chiusura delle punte in 4d.

Gli autori sottolineano che i loro risultati si basano su estese osservazioni e sul matching di dati fisici per bassi valori di $k$ ($k=3,4,5$) piuttosto che su prove formali per tutti i $k$. Avvertono che, sebbene i pattern suggeriscano che i risultati siano generalmente validi, potrebbero esistere casi speciali per $k$ più grandi che non sono stati catturati dalla loro ricerca esaustiva.