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

Titel: Orbi-instantons en Class S-theorieën van Type D
Auteurs: Jiakang Bao, Noppadol Mekareeya, Gabi Zafrir, Hao Y. Zhang

Probleemstelling

Het artikel onderzoekt het landschap van zesdimensionale (6d) $\mathcal{N}=(1,0)$ superconforme veldentheorieën (SCFT's) die bekend staan als orbi-instantontheorieën, specifiek die geassocieerd met D-type singulariteiten ($\Gamma = \tilde{D}_k \subset SU(2)$). Een centrale vraag in het vakgebied is of de torus-compactificatie van deze 6d-theorieën 4d Class S-theorieën oplevert, die worden geconstrueerd door 6d $\mathcal{N}=(2,0)$ theorieën te compactificeren op een gepuncteerde Riemann-oppervlakte. Hoewel deze correspondentie goed gevestigd is voor A-type orbi-instantontheorieën (waarbij de 6d-theorieën reduceren tot Class S-theorieën op een sfeer met drie A-type puncturen), is de situatie voor D-type theorieën minder duidelijk. De auteurs beogen te bepalen of alle D-type orbi-instantontheorieën een beschrijving toelaten als een 4d Class S-theorie op een sferische oppervlakte met drie ongewijzigde (untwisted) D-type puncturen, en zo ja, om de precieze mapping tussen de 6d-data en de 4d-punctuurdata vast te stellen.

Methodologie

De auteurs hanteren een veelzijdige aanpak die F-theorie-constructies, gegeneraliseerde quiver-gauge-theorieën en Class S-formalisme combineert:

1. 6d F-theorie/Quiver Analyse: Zij maken gebruik van de gegeneraliseerde quiver-beschrijving van 6d SCFT's, waarbij curven met zelfdoorsnijding $-n$ gauge-algebra's en materie-inhoud representeren. Ze analyseren de tensor branch-beschrijvingen van D-type orbi-instantontheorieën, die worden gedefinieerd door een discrete homomorfisme $\tilde{D}_k \to E_8$ en een nilpotente baan (nilpotent orbit).
2. Classificatie via Partities: Zij verwijzen naar de classificatie van deze theorieën door Frey en Rudelius [FR18], die de theorieën labelt met een D-type partitie $p$ en een Lie-algebra $\mathfrak{g}$. Ze categoriseren de theorieën op basis van de getransponeerde partitie-elementen $p^T_1$ en $p^T_2$.
3. Constructie van 4d Class S Beschrijvingen: Voor theorieën waarvan wordt vermoed dat ze een Class S-beschrijving hebben, stellen de auteurs een specifieke vorm voor de 4d-theorie voor: een reductie van de $D_{3n+\delta}$ $(2,0)$ theorie op een sfeer met drie specifieke ongewijzigde reguliere puncturen ($\lambda, \mu, \nu$).
4. Introductie van Labels:
   • s-labels (Kac-type labels): Een verzameling gehele getallen afgeleid van de punctuur-partities, analoog aan Kac-labels in A-type theorieën. Deze zijn gekoppeld aan "gemodificeerde excess-getallen" in de geassocieerde 3d spiegel (magnetische) quivers.
   • m-labels: Een verzameling gehele getallen die de posities van hypermultiplets (flavours) in de 6d quiver representeren. Deze dienen als een brug om de 6d quiver direct te mappen naar de 4d punctuur-partities.
5. Consistentiecontroles: Om de voorgestelde mappings te valideren, voeren zij rigoureuze controles uit door 6d- en 4d-data te vergelijken, waaronder:
   • Coulomb branch operator-spectra.
   • Globale symmetrieën (via Schur-indices).
   • 't Hooft anomalie-coëfficiënten ($a, c$ centrale ladingen en flavour centrale ladingen).
   • Higgs branch dimensies.
6. Higgsing Analyse: Zij analyseren RG-stromen (Higgsings) in zowel 6d als 4d. Ze vergelijken de Higgsing-banen van 6d-theorieën met de sluiting van puncturen in Class S-theorieën om "verborgen Higgsings" te identificeren—stromen die aanwezig zijn in 6d maar niet manifest zijn in de punctuur-sluitingen van de voorgestelde 4d beschrijvingen.

Belangrijkste Bijdragen en Resultaten

1. Niet-universaliteit van Class S Beschrijvingen voor D-type Orbi-instantons
De primaire bevinding is dat, in tegenstelling tot de A-type reeks, niet alle D-type orbi-instantontheorieën een Class S-beschrijving toelaten op een sfeer met drie ongewijzigde D-type puncturen.

• Theorieën die overeenkomen met de Frey-Rudelius classificatiegevallen waar $p^T_1 + p^T_2 < 6$ (Geval iii) en bepaalde subgevallen van $p^T_1 < 8$ (Geval ii) en $p^T_1 \ge 8$ (Geval i) bezitten geen Class S-beschrijving van de voorgestelde vorm.
• Voor $k=4$ en $k=5$ laten exhaustieve scans zien dat ongeveer 68% van de D-type orbi-instantontheorieën een Class S-beschrijving toelaat, terwijl de rest dat niet doet.

2. Karakterisering via s-labels en m-labels
Voor de subklasse van theorieën die wel een Class S-beschrijving toelaten, introduceren de auteurs een systematische karakterisering:

• s-labels: Deze gehele getallen (afgeleid van de punctuur-partities) komen overeen met de "gemodificeerde excess-getallen" van de 3d spiegel-theorieën. Ze voldoen aan een gewogen som-conditie vergelijkbaar met Kac-labels, maar bepalen de discrete homomorfisme $\tilde{D}_k \to E_8$ niet uniek vanwege de niet-abelse natuur van $\tilde{D}_k$.
• m-labels: Deze gehele getallen specificeren de locatie van de flavours in de 6d quiver. Ze bieden een direct algoritme om een 6d gegeneraliseerde quiver te vertalen naar de specifieke partities ($\lambda, \mu, \nu$) die de 4d Class S-theorie definiëren.

3. Rol van 6d $\theta$-hoeken
Het artikel verheldert de fysieke betekenis van 6d $\theta$-hoeken voor USp gauge-groepen.

• In specifieke bifurcatiegevallen (waar het meest linkse uiteinde van de quiver splitst), leiden de relatieve $\theta$-hoeken tussen de twee USp-nodes tot onderscheidende 6d SCFT's.
• Dit onderscheid manifesteert zich in de 4d Class S-theorie als een keuze tussen twee verschillende sets punctuur-partities (overeenkomend met even of oneven waarden van een specifieke combinatie van $m$-labels), zelfs wanneer de globale symmetrieën identiek lijken.

4. Verborgen Higgsings
De auteurs ontdekken instanties van "verborgen Higgsings".

• Sommige RG-stromen (Higgsings) die aanwezig zijn in de 6d ouder-theorie kunnen niet gerealiseerd worden door simpelweg de puncturen van de corresponderende 4d Class S-beschrijving te sluiten.
• Dit komt voor omdat de volledige globale symmetrie van de 4d-theorie mogelijk niet manifest is in de puncturen (bijvoorbeeld door "verdubbeling" van symmetrieën waarbij alleen een diagonale subgroep zichtbaar is). Het proberen te Higgsen van de zichtbare symmetrie in 4d kan onbedoeld meerdere symmetrieën tegelijkertijd Higgsen of een specifieke 6d-transitie overslaan.

5. Exceptionele Gevallen en Speciale Families
Het artikel beschrijft verschillende exceptionele families van quivers die speciale behandeling vereisen of geheel geen Class S-beschrijving hebben:

• Quivers die spinor bifundamentals van $SO(7)$ of $SO(8)$ bevatten.
• Gevallen met $G_2$ gauge-factoren met minder dan twee fundamentele hypers.
• Gevallen met $SO(13)$ met spinor half-hypers.
• Gevallen met lege $-2$ curven die $SU(1)$ of rank-2 E-strings ondersteunen.
• Gevallen waarbij de parameter $M$ (afgeleid van $m$-labels) geen geheel getal is, wat vaak leidt tot "slechte" of "lelijke" Class S-theorieën.

Betekenis en Claims

Het artikel claimt de eerste systematische analyse te bieden van de relatie tussen D-type orbi-instantontheorieën en 4d Class S-theorieën.

• Beperking van Class S: Het demonstreert dat het Class S-raamwerk, hoewel krachtig, niet het volledige landschap van D-type orbi-instanton torus-reducties dekt. Dit suggereert dat de 4d-theorieën verkregen uit 6d $(2,0)$ theorieën op een sfeer met drie ongewijzigde D-type puncturen slechts een deelverzameling vormen van de dimensionale reducties van D-type orbi-instantontheorieën.
• Mapping Regels: Het stelt expliciete regels op (via $s$- en $m$-labels) om een 4d Class S-theorie te associëren met een 6d quiver of een Frey-Rudelius label voor de theorieën die wel aan een dergelijke beschrijving voldoen.
• Fysieke Onderscheidingen: Het benadrukt de rol van 6d $\theta$-hoeken bij het onderscheiden van 4d-theorieën en identificeert "verborgen" RG-stromen die de directe correspondentie tussen 6d Higgsing en 4d punctuur-sluiting uitdagen.

De auteurs benadrukken dat hun resultaten gebaseerd zijn op uitgebreide observaties en het matchen van fysieke data voor lage waarden van $k$ ($k=3,4,5$), in plaats van formele bewijzen voor alle $k$. Ze waarschuwen dat hoewel de patronen suggereren dat de resultaten algemeen standhouden, er speciale gevallen kunnen bestaan voor grotere $k$ die niet door hun exhaustieve zoektocht zijn gevangen.