Split Heun functions via blown-up surface defects

Sintesi Tecnica: Funzioni di Heun scisse tramite difetti di superficie con blow-up

Enunciato del Problema
Il saggio investiga le soluzioni risonanti dell'equazione differenziale di Heun e dei suoi limiti confluenti, che emergono nel limite di Nekrasov–Sathashvili (NS) di teorie di gauge $SU(2)$ con $\mathcal{N}=2$ supermultipletti fondamentali in quattro dimensioni. In particolare, gli autori affrontano il comportamento di queste soluzioni presso i loci risonanti nello spazio dei parametri del ramo di Coulomb, definiti da $2a/\hbar \in \mathbb{Z}$. In tali punti, i moltiplicatori di Floquet dell'equazione di Heun coalescono, portando a una monodromia non semisimple.

Un ostacolo primario all'analisi di questi limiti risonanti mediante metodi standard della teoria di gauge è la struttura delle espansioni di istantoni. I coefficienti delle funzioni NS del bulk ($W_0, W_1$) e delle funzioni NS del difetto ($\hat{W}_\beta$) sviluppano poli di ordine crescente al crescere del numero di istantoni. Di conseguenza, l'espansione di istantoni e il limite risonante non possono essere scambiati termine per termine; la serie ingenua fallisce nel produrre parametri accessori o funzioni d'onda risonanti finite e ben definite. Sebbene lavori precedenti abbiano affrontato problemi simili per l'operatore di Mathieu (pure $SU(2)$) e la teoria $N=2^*$, mancava una procedura di risommazione sistematica per teorie con supermultipletti fondamentali che gestisse simultaneamente sia le funzioni NS del bulk che quelle del difetto.

Metodologia
Gli autori sviluppano un framework di risommazione basato su equazioni di blow-up, ovvero vincoli soddisfatti dalle funzioni di partizione sulla blow-up di $\mathbb{C}^2$.

1. Derivazione di Nuove Equazioni di Blow-up: Partendo dalle note equazioni di blow-up per le funzioni di partizione di difetti di superficie orbifold (che mettono in relazione le funzioni di partizione con diversi flussi sul divisore eccezionale), gli autori prendono un limite specifico in cui i parametri equivarianti sono impostati come $\epsilon_1 = \epsilon_2 = \hbar$. Confrontando le equazioni associate a due distinti valori di flusso ($k=0$ e $k=1$) ed eliminando le loro parti comuni, derivano una nuova classe di equazioni di blow-up (Eq. 2.31) che coinvolgono esclusivamente le funzioni NS $W_0$, $W_1$ e $\hat{W}_\beta$.
2. Ansatz di Risommazione: Per risolvere queste equazioni vicino alla risonanza, gli autori introducono un cambio di variabili $q=t^2$ e $x=zt$. Propongono un ansatz in cui i contributi dei poli singolari nell'espansione di istantoni sono riorganizzati in funzioni di variabili correlate $x_j^\pm = t^j / (j \pm 2a/\hbar)$. Questo approccio risomma intere torri di poli del ramo di Coulomb attraverso diversi ordini di istantoni.
3. Determinazione Ricorsiva: Le nuove equazioni di blow-up permettono la determinazione ricorsiva delle funzioni di risommazione del difetto, dati i termini di risommazione noti per le funzioni NS del bulk. Gli autori calcolano esplicitamente le funzioni di risommazione di ordine dominante per le teorie $N_f=(2,2)$, $N_f=(1,1)$ e $N_f=(0,0)$.
4. Costruzione delle Soluzioni: Utilizzando le funzioni risommate, gli autori costruiscono:
   • Parametri Accessori Risommati: Questi ammettono limiti laterali finiti per $2a/\hbar \to n$, definendo i parametri di bordo di banda del problema spettrale.
   • Autofunzioni Scisse: Due soluzioni di Floquet linearmente indipendenti vengono costruite, le quali diventano (anti)periodiche ai bordi della risonanza.
   • Compagni Logaritmici: Gli autori dimostrano come costruire la seconda soluzione indipendente (che è logaritmica nel caso risonante generico) tramite riduzione d'ordine, limiti di collisione delle soluzioni scisse, o differenziando una singola soluzione di Floquet rispetto al parametro di Coulomb $a$, a condizione che la derivata del periodo duale sia nulla alla risonanza.

Contributi Chiave e Risultati

• Risommazione di Espansioni Singolari: Il saggio sostituisce con successo le divergenti torri di poli nelle espansioni di istantoni con comportamenti di branca radice-quadrata e logaritmica controllati. Ciò permette di definire limiti laterali finiti per il parametro accessorio e funzioni d'onda del difetto opportunamente normalizzate alla risonanza.
• Struttura Analitica delle Soluzioni Risonanti: Le funzioni risommate rivelano la struttura analitica delle soluzioni di gauge vicino alla risonanza, inclusa la struttura di branca del parametro accessorio. Gli autori mostrano che, a una risonanza non nulla $2a/\hbar = n$, il parametro accessorio ammette generalmente due distinti limiti laterali, $u^{(n)}_+$ e $u^{(n)}_-$, corrispondenti ai due bordi di un gap spettrale.
• Compagni Logaritmici e Monodromia: Il lavoro fornisce costruzioni esplicite per i compagni logaritmici delle soluzioni risonanti. Identifica il coefficiente $K^{(n)}_\sigma$ del termine logaritmico come un rappresentante locale della parte nilpotente della monodromia del ciclo-A risonante. L'annullamento di questo coefficiente caratterizza la semisimplicità della monodromia.
• Loci di Massa Speciali: Gli autori identificano loci distinti nello spazio dei parametri di massa che governano la chiusura dei gap spettrali e la semisimplicità della monodromia:
  • $D^{(N)}_{bulk}$: Il locus dove il gap spettrale si chiude (i due parametri accessori di bordo di banda coalescono). Ciò richiede la specializzazione di almeno due parametri di massa distinti nei poli di specifici polinomi $p_N(m)$.
  • $D^{(N)}_{defect}$: Un locus più piccolo contenuto in $D^{(N)}_{bulk}$, che richiede la specializzazione di almeno una massa da ogni colore di sapore. Su questo locus, le due funzioni d'onda del difetto risonanti normalizzate rimangono linearmente indipendenti e risolvono la stessa equazione di Heun, risultando in una monodromia semisimple ($M_A = (-1)^N I$). Sul locus più ampio $D^{(N)}_{bulk} \setminus D^{(N)}_{defect}$, il gap si chiude, ma le funzioni d'onda del difetto producono la stessa soluzione (a meno di normalizzazione), lasciando la monodromia non semisimple.
• Esempi Espliciti: La metodologia è esplicitamente dimostrata per la teoria $N_f=(1,1)$, fornendo i primi termini dell'espansione in $t$ per le soluzioni risonanti e i loro compagni logaritmici.

Significato
Il saggio sostiene di fornire un framework sistematico per costruire soluzioni di Floquet risonanti e i loro compagni logaritmici per equazioni di tipo Heun derivanti dalla teoria di gauge, superando i limiti delle standard espansioni di istantoni. Utilizzando equazioni di blow-up che coinvolgono solo funzioni NS, gli autori ottengono una risommazione simultanea dei settori bulk e del difetto. Questo framework offre controllo analitico vicino ai punti di risonanza, che sono tipicamente singolari nella formulazione originale.

Il lavoro suggerisce che queste tecniche possono essere estese ad altre teorie di gauge e curve quantistiche. In particolare, gli autori notano il potenziale di applicazione alla teoria $N=2^*$ $SU(2)$ (equazione di Lamé), alle teorie $N=1$ $SU(2)$ a cinque dimensioni (equazioni a differenza finita), e a gruppi di gauge di rango superiore. Inoltre, la regolarizzazione del parametro accessorio e la separazione delle soluzioni risonanti dai loro compagni logaritmici possono fornire una regolarizzazione naturale per la funzione tau isomonodromica vicino agli strati di monodromia risonante.