New symplectic singularities from $SU(2)$ gauge theories

Technische Samenvatting: Nieuwe Symplectische Singulariteiten uit SU(2) Faledeoriën

Probleem en Motivatie
De moduli-ruimten van vacua in 3d $\mathcal{N}=4$ supersymmetrische veldentheoriën zijn hyper-Kähler kegels, waarvan vele symplectische singulariteiten zijn. Deze ruimten zijn gestratificeerd door symplectische bladeren (leaves), en de structuur van deze bladeren wordt gecodeerd in Hasse-diagrammen. Een specifieke klasse van belang is "geïsoleerde kegelvormige symplectische singulariteiten" (isolated conical symplectic singularities, ICSS), die slechts twee symplectische bladeren bezitten: een singulier punt en het gladde complement daarvan. Deze dienen als fundamentele bouwstenen voor complexere singulariteiten.

Vorig werk [1] maakte gebruik van "magnetische quivers" (Coulomb-tak constructies) en een "decay and fission" algoritme om een een-parameter familie van geïsoleerde singulariteiten te identificeren, aangeduid als $gSO(N)$ (gesplitst in $gdn$ voor even $N$ en $gbn$ voor oneven $N$). De magnetische quivers voor deze singulariteiten bevatten echter vaak niet-eenvoudig gelaste randen (non-simply laced edges), wat directe berekening van Higgs-tak Hilbert-reeksen verhindert. Bovendien werd de classificatie van ICSS via magnetische quivers beschouwd als uitputtend voor unitaire gaugegroepen, wat suggereert dat nieuwe families wellicht alleen toegankelijk zijn via "elektrische" (Higgs-tak) constructies. Dit artikel onderzoekt of nieuwe families van geïsoleerde symplectische singulariteitenen gerealiseerd kunnen worden als Higgs-takken van $Sp(1) \simeq SU(2)$ gauge-theorieën met specifieke materie-inhoud.

Methodologie
De auteurs hanteren een veelzijdige aanpak die geometrische constructie, gauge-theorie analyse en computationele algebra combineert:

1. Ketenspolymerisatie: Het artikel begint met het reconstrueren van de bekende $gSO(N)$ singulariteiten met behulp van "ketenspolymerisatie" [9] op magnetische quivers van vrije velden. Deze techniek houdt in dat men een hyper-Kähler quotient neemt van het product van twee vrije veld-moduli-ruimten door een diagonale $Sp(1)$ symmetrie. Dit proces levert een expliciete "elektrische quiver" beschrijving op voor $gSO(N)$ bestaande uit een $Sp(1)$ gaugegroep, $N$ fundamentele half-hypermultipleten, en één half-hypermultiplet in de $Sym_3$ representatie.
2. Generalisatie naar $Sym_k$ Materie: De elektrische quiver wordt gegeneraliseerd door de $Sym_3$ materie te vervangen door $Sym_k$ materie voor gehele getallen $k \geq 1$. De flavor-symmetrie $F$ is $O(1)$ voor oneven $k$ en $Sp(1)$ voor even $k$.
3. Analyse van het Higgs-mechanisme: Om te bepalen welke waarden van $k$ geïsoleerde symplectische singulariteiten opleveren, analyseren de auteurs het Higgs-mechanisme. Een geïsoleerde singulariteit vereist dat de $Sp(1)$ gaugegroep alleen breekt naar de triviale groep. Als de gaugegroep breekt naar een continue subgroep (bijv. $U(1)$) of een niet-minimale discrete subgroep, is de resulterende moduli-ruimte niet een ICSS. De auteurs voeren branching rule analyses uit voor $Sp(1) \to Pin(2) \to U(1)$ en $Sp(1) \to \Gamma_{ADE}$ om de massa-verwerving van W-bosonen en de existentie van noodzakelijke vacuümverwachtingswaarden (VEV's) te testen.
4. Computationele Verificatie: Voor de kandidaat-theorieën berekenen de auteurs de Higgs-tak Hilbert-reeks en de Highest Weight Generating (HWG) functies met behulp van Weyl-integratie op de elektrische quivers. Ze berekenen ook de Coulomb-tak Hilbert-reeks met de monopole-formule om kandidaat-symplectische dualen te identificeren.

Belangrijkste Bijdragen en Resultaten

• Identificatie van Nieuwe Families: De analyse van het Higgs-mechanisme laat zien dat alleen specifieke waarden van $k$ geïsoleerde symplectische singulariteiten produceren. De gevallen $k=1$ en $k=3$ reproduceren bekende constructies: $k=1$ komt overeen met de minimale nilpotente orbiet-sluitingen van $SO(N+1)$, terwijl $k=3$ de bekende $gSO(N)$ familie reproduceert. De gevallen $k=5$ en $k=7$ leveren twee voorheen onbekende families van geïsoleerde singulariteiten op. Deze zijn benoemd naar $hSO(N)$ en $iSO(N)$, respectievelijk.
• Realisatie van Klein-singulariteiten: Het artikel identificeert de een-dimensionale leden (quaternionische dimensie 1) van deze families, die overeenkomen met de beroemde Klein-singulariteiten:
  • $gSO(2) \simeq A_3$ (Klein $A_3$).
  • $hSO(1) \simeq E_6$ (Klein $E_6$).
  • $iSO(0) \simeq E_8$ (Klein $E_8$).
  • Daarnaast levert de $Z_2$ quotient van de $hSO(1)$ theorie de Klein $E_7$ singulariteit op.
  • Deze resultaten bieden nieuwe hyper-Kähler quotient constructies van deze Klein-singulariteiten als Higgs-takken van $Sp(1)$ gauge-theorieën, als aanvulling op de constructie van Kronheimer met affine quivers [2].
• Hilbert-reeks en HWG's: Expliciete ongeverfijnde (unrefined) Hilbert-reeksen en HWG's worden berekend voor de $gSO(N)$, $hSO(N)$, en $iSO(N)$ families.
  • Voor $hSO(N)$ en $iSO(N)$ zijn de HWG's complex en worden ze vaak uitgedrukt als een polynoom vermenigvuldigd met een Plethystic Exponential (PE) van een ander polynoom.
  • Het artikel merkt op dat voor $k=7$ ($iSO(N)$), de berekening van verfijnde (refined) reeksen computationeel uitdagend is vanwege de behandeling van de zevende eenheidswortels.
• Coulomb-tak Analyse: De Coulomb-takken van deze elektrische quivers worden berekend. Voor anomalievrije gevallen (waar de parity-anomalie parameter $\delta(k, N)$ even is), worden de Coulomb-takken geïdentificeerd als Klein $D$-type singulariteiten ($D_{\delta/2+2}$). In anomale gevallen (oneven $\delta$) suggereert de Hilbert-reeks een formele $Z_2$ cover van een Klein-singulariteit, hoewel de auteurs verduidelijken dat dit een uitspraak is op het niveau van de Hilbert-reeks en niet noodzakelijkerwijs overeenkomt met een normale homogene branched cover.
• Anomalie Overwegingen: Het artikel behandelt Witten-anomalieën. Voor oneven $N$ met $Sym_k$ materie waarbij $k \equiv 3 \pmod 4$, lijdt de elektrische quiver aan een Witten-anomalie. De auteurs beargumenteren echter dat de moduli-ruimte zelf een goed gedefinieerde geïsoleerde symplectische singulariteit blijft en kan voorkomen in het Hasse-diagram van niet-anomale theorieën, zelfs als de specifieke elektrische quiver-beschrijving anomaal is.

Betekenis
Het artikel beweert een nieuwe classificatie te bieden van geïsoleerde symplectische singulariteiten voortvloeiend uit $Sp(1)$ gauge-theorieën. Door aan te tonen dat $k=5$ en $k=7$ nieuwe families ($hSO(N)$ en $iSO(N)$) opleveren, breidt het werk de bekende landschappen van transversale sneden in de symplectische singulariteitentheorie uit.

Een primaire betekenis ligt in de realisatie van de exceptionele Klein-singulariteiten ($E_6, E_7, E_8$) als Higgs-takken van eenvoudige $Sp(1)$ gauge-theorieën. Dit biedt een "lift" van de standaard definitie (discrete groep quotients van $\mathbb{C}^2$) naar een gauge-theoretische context waarin de discrete groep actie is gecodeerd in de materie-representaties van de $Sp(1)$ theorie die werkt op $\mathbb{C}^8$. Deze constructie wordt gepresenteerd als complementair aan de affine quiver constructies van Kronheimer.

De auteurs concluderen dat deze theorieën "minimaal" zijn in de zin dat ze naar een triviale theorie Higgsen, waardoor ze fundamentele bouwstenen zijn. Ze benadrukken ook het nut van elektrische quivers voor het berekenen van Hilbert-reeksen voor singulariteiten waar magnetische quivers falen door niet-eenvoudig gelaste randen. Ten slotte identificeert het artikel het gebrek aan bekende magnetische quivers voor $hSO(N)$ en $iSO(N)$ als een open probleem, wat suggereert dat deze singulariteiten mogelijk magnetische quivers vereisen met orthosymplectische of exceptionele gaugegroepen, of meer exotische materie-representaties die buiten de eerder bestudeerde klasse van unitaire quivers vallen.