Split Heun functions via blown-up surface defects

Technische Samenvatting: Gesplitste Heun-functies via blown-up oppervlakte-defecten

Probleemstelling
Het artikel onderzoekt resonante oplossingen van de Heun-differentiaalvergelijking en de confluente limieten daarvan, die voortkomen in de Nekrasov–Shatashvili (NS) limiet van vierdimensionale $\mathcal{N}=2$ $SU(2)$ gauge-theorieën met fundamentele hypermultiplets. Specifiek adresseren de auteurs het gedrag van deze oplossingen bij resonante loci in de Coulomb-tak parameterruimte, gedefinieerd door $2a/\hbar \in \mathbb{Z}$. Op deze punten coalesceren de Floquet-multiplicatoren van de Heun-vergelijking, wat leidt tot niet-semisimpele monodromie.

Een primaire obstructie voor het analyseren van deze resonante limieten met standaard gauge-theoretische methoden is de structuur van de instanton-expansies. De coëfficiënten van de bulk NS-functies ($W_0, W_1$) en de defect NS-functies ($\hat{W}_\beta$) ontwikkelen polen van toenemende orde naarmate het instantongetal groeit. Bijgevolg kunnen de instanton-expansie en de resonante limiet niet term-voor-term worden uitgewisseld; de naïeve reeks levert geen eindige, goed gedefinieerde resonante accessory parameters of golffuncties op. Hoewel eerdere werken vergelijkbare problemen hebben behandeld voor de Mathieu-operator (pure $SU(2)$) en de $N=2^*$ theorie, ontbrak een systematisch resummatieregel voor theorieën met fundamentele hypermultiplets die zowel bulk- als defect NS-functies simultaan behandelt.

Methodologie
De auteurs ontwikkelen een resummatie-framework gebaseerd op blow-up vergelijkingen, constraints die worden voldaan door partitiefuncties op de blow-up van $\mathbb{C}^2$.

1. Afleiding van nieuwe Blow-up Vergelijkingen: Vertrekkend vanuit de bekende blow-up vergelijkingen voor orbifold oppervlakte-defect partitiefuncties (die partitiefuncties met verschillende fluxen op de exceptional divisor relateren), nemen de auteurs een specifieke limiet waarbij de equivariante parameters worden ingesteld op $\epsilon_1 = \epsilon_2 = \hbar$. Door de vergelijkingen geassocieerd met twee verschillende flux-waarden ($k=0$ en $k=1$) te vergelijken en hun gemeenschappelijke delen te elimineren, leiden zij een nieuwe klasse van blow-up vergelijkingen (Eq. 2.31) af die uitsluitend de NS-functies $W_0$, $W_1$ en $\hat{W}_\beta$ bevatten.
2. Resummatie Ansatz: Om deze vergelijkingen nabij resonantie op te lossen, introduceren de auteurs een verandering van variabelen $q=t^2$ en $x=zt$. Zij stellen een ansatz voor waarbij de enkelvoudige poolbijdragen in de instanton-expansie worden georganiseerd in functies van gecorreleerde variabelen $x_j^\pm = t^j / (j \pm 2a/\hbar)$. Deze aanpak ressumeert volledige torens van Coulomb-tak polen over verschillende instanton-ordes heen.
3. Recursieve Bepaling: De nieuwe blow-up vergelijkingen maken de recursieve bepaling van de defect resummatie-functies mogelijk, gegeven de bekende resummatie-functies voor de bulk NS-functies. De auteurs berekenen de leidende-orde resummatie-functies expliciet voor $N_f=(2,2)$, $N_f=(1,1)$ en $N_f=(0,0)$ theorieën.
4. Constructie van Oplossingen: Gebruikmakend van de geressummeerde functies, construeren zij:
   • Geressummeerde Accessory Parameters: Deze staan eindige laterale limieten toe als $2a/\hbar \to n$, wat de band-edge parameters van het spectraal probleem definieert.
   • Gesplitste Eigenfuncties: Twee lineair onafhankelijke Floquet-oplossingen worden geconstrueerd, die (anti-)periodiek worden bij de resonantie-randen.
   • Logaritmische Companions: De auteurs demonstreren hoe de tweede onafhankelijke oplossing (die in het generieke resonante geval logaritmisch is) geconstrueerd kan worden via reductie van orde, botsingslimieten van de gesplitste oplossingen, of door de afgeleide van een enkele Floquet-oplossing met betrekking tot de Coulomb-parameter $a$ te nemen, mits de afgeleide van de duale periode bij resonantie verdwijnt.

Kernbijdragen en Resultaten

• Resummatie van Singuliere Expansies: Het papier slaagt erin de divergerende torens van polen in de instanton-expansies te vervangen door gecontroleerde wortelwortel- en logaritmische vertakkingsgedragingen. Dit maakt de definitie van eindige, eenzijdige limieten voor de accessory parameter en passend genormaliseerde defect golffuncties bij resonantie mogelijk.
• Analytische Structuur van Resonante Oplossingen: De geressummeerde functies onthullen de analytische structuur van de gauge-theoretische oplossingen nabij resonantie, inclus\n bij de branch-structuur van de accessory parameter. De auteurs tonen aan dat de accessory parameter bij een niet-nulle resonantie $2a/\hbar = n$ over het algemeen twee verschillende laterale limieten toelaat, $u^{(n)}_+$ en $u^{(n)}_-$, die overeenkomen met de twee randen van een spectrale gap.
• Logaritmische Companions en Monodromie: Het papier biedt expliciete constructies voor de logaritmische companions van de resonante oplossingen. Het identificeert de coëfficiënt $K^{(n)}_\sigma$ van de logaritmische term als een lokale vertegenwoordiger van het nilpotente deel van de resonante A-cyclus monodromie. Het verdwijnen van deze coëfficiënt karakteriseert de semisimpliciteit van de monodromie.
• Speciale Massa Loci: De auteurs identificeren onderscheidende loci in de massa-parameterruimte die het sluiten van spectrale gaps en de semisimpliciteit van de monodromie regelen:
  • $D^{(N)}_{bulk}$: De locus waar de spectrale gap sluit (de twee band-edge accessory parameters coalesceren). Dit vereist de specialisatie van ten minste twee verschillende massaparameters naar nulpunten van specifieke polynomen $p_N(m)$.
  • $D^{(N)}_{defect}$: Een kleinere locus die binnen $D^{(N)}_{bulk}$ ligt, die de specialisatie van ten minste één massa van elke flavor-kleur vereist. Op deze locus blijven de twee genormaliseerde resonante defect golffuncties lineair onafhankelijk en lossen zij dezelfde Heun-vergelijking op, wat resulteert in semisimpele monodromie ($M_A = (-1)^N I$). Op de grotere locus $D^{(N)}_{bulk} \setminus D^{(N)}_{defect}$ sluit de gap wel, maar leveren de defect golffuncties dezelfde oplossing op (tot normalisatie), waardoor de monodromie niet-semisimpel is.
• Expliciete Voorbeelden: De methodologie wordt expliciet gedemonstreerd voor de $N_f=(1,1)$ theorie, waarbij de eerste paar termen van de $t$-expansie voor resonante oplossingen en hun logaritmische companions worden gegeven.

Significantie
Het artikel claimt een systematisch framework te bieden voor het construeren van resonante Floquet-oplossingen en hun logaritmische companions voor Heun-type vergelijkingen die voortkomen uit gauge-theorie, waarbij de beperkingen van standaard instanton-expansies worden overwonnen. Door gebruik te maken van blow-up vergelijkingen die enkel NS-functies bevatten, bereiken de auteurs een simultane resummatie van zowel de bulk- als de defect-sectoren. Dit framework biedt analytische controle nabij resonante punten, die in de oorspronkelijke formulering doorgaans singulier zijn.

Het werk suggereert dat deze technieken kunnen worden uitgebreid naar andere gauge-theorieën en quantum curves. Specifiek merken de auteurs de potentiële toepassing op voor de $N=2^*$ $SU(2)$ theorie (Lamé-vergelijking), vijfdimensionale $N=1$ $SU(2)$ gauge-theorieën (verschilvergelijkingen), en hogere-rang gauge-groepen. Bovendien kan de regularisatie van de accessory parameter en de separatie van resonante oplossingen van hun logaritmische companions een natuurlijke regularisatie bieden voor de isomonodromische tau-functie nabij resonante monodromie-strata.