Split Heun functions via blown-up surface defects

Technical Summary: Split Heun functions via blown-up surface defects

Problem Statement
The paper investigates resonant solutions of the Heun differential equation and its confluent limits, which arise in the Nekrasov–Shatashvili (NS) limit of four-dimensional $\mathcal{N}=2$ $SU(2)$ gauge theories with fundamental hypermultiplets. Specifically, the authors address the behavior of these solutions at resonant loci in the Coulomb branch parameter space, defined by $2a/\hbar \in \mathbb{Z}$. At these points, the Floquet multipliers of the Heun equation coalesce, leading to non-semisimple monodromy.

A primary obstruction to analyzing these resonant limits using standard gauge-theoretic methods is the structure of the instanton expansions. The coefficients of the bulk NS functions ($W_0, W_1$) and the defect NS functions ($\hat{W}_\beta$) develop poles of increasing order as the instanton number grows. Consequently, the instanton expansion and the resonant limit cannot be interchanged term-by-term; the naive series fails to yield finite, well-defined resonant accessory parameters or wavefunctions. While previous works have addressed similar issues for the Mathieu operator (pure $SU(2)$) and the $N=2^*$ theory, a systematic resummation procedure for theories with fundamental hypermultiplets that simultaneously handles both bulk and defect NS functions was lacking.

Methodology
The authors develop a resummation framework based on blow-up equations, which are constraints satisfied by partition functions on the blow-up of $\mathbb{C}^2$.

1. Derivation of New Blow-up Equations: Starting from the known blow-up equations for orbifold surface defect partition functions (which relate partition functions with different fluxes on the exceptional divisor), the authors take a specific limit where the equivariant parameters are set to $\epsilon_1 = \epsilon_2 = \hbar$. By comparing the equations associated with two distinct flux values ($k=0$ and $k=1$) and eliminating their common parts, they derive a new class of blow-up equations (Eq. 2.31) involving exclusively the NS functions $W_0$, $W_1$, and $\hat{W}_\beta$.
2. Resummation Ansatz: To solve these equations near resonance, the authors introduce a change of variables $q=t^2$ and $x=zt$. They propose an ansatz where the singular pole contributions in the instanton expansion are reorganized into functions of correlated variables $x_j^\pm = t^j / (j \pm 2a/\hbar)$. This approach resums entire towers of Coulomb-branch poles across different instanton orders.
3. Recursive Determination: The new blow-up equations allow for the recursive determination of the defect resummation functions, given the known resummation functions for the bulk NS functions. The authors compute the leading-order resummation functions explicitly for $N_f=(2,2)$, $N_f=(1,1)$, and $N_f=(0,0)$ theories.
4. Construction of Solutions: Using the resummed functions, the authors construct:
   • Resummed Accessory Parameters: These admit finite lateral limits as $2a/\hbar \to n$, defining the band-edge parameters of the spectral problem.
   • Split Eigenfunctions: Two linearly independent Floquet solutions are constructed, which become (anti)periodic at the resonance edges.
   • Logarithmic Companions: The authors demonstrate how to construct the second independent solution (which is logarithmic in the generic resonant case) via reduction of order, collision limits of the split solutions, or by differentiating a single Floquet solution with respect to the Coulomb parameter $a$, provided the derivative of the dual period vanishes at resonance.

Key Contributions and Results

• Resummation of Singular Expansions: The paper successfully replaces the divergent towers of poles in the instanton expansions with controlled square-root and logarithmic branch behaviors. This allows for the definition of finite, one-sided limits for the accessory parameter and suitably normalized defect wavefunctions at resonance.
• Analytic Structure of Resonant Solutions: The resummed functions reveal the analytic structure of the gauge-theoretic solutions near resonance, including the branch structure of the accessory parameter. The authors show that at a nonzero resonance $2a/\hbar = n$, the accessory parameter generally admits two distinct lateral limits, $u^{(n)}_+$ and $u^{(n)}_-$, corresponding to the two edges of a spectral gap.
• Logarithmic Companions and Monodromy: The paper provides explicit constructions for the logarithmic companions of the resonant solutions. It identifies the coefficient $K^{(n)}_\sigma$ of the logarithmic term as a local representative of the nilpotent part of the resonant A-cycle monodromy. The vanishing of this coefficient characterizes the semisimplicity of the monodromy.
• Special Mass Loci: The authors identify distinct loci in the mass parameter space governing the closure of spectral gaps and the semisimplicity of the monodromy:
  • $D^{(N)}_{bulk}$: The locus where the spectral gap closes (the two band-edge accessory parameters coalesce). This requires the specialization of at least two distinct mass parameters to zeros of specific polynomials $p_N(m)$.
  • $D^{(N)}_{defect}$: A smaller locus contained within $D^{(N)}_{bulk}$, requiring the specialization of at least one mass from each flavor color. On this locus, the two normalized resonant defect wavefunctions remain linearly independent and solve the same Heun equation, resulting in semisimple monodromy ($M_A = (-1)^N I$). On the larger locus $D^{(N)}_{bulk} \setminus D^{(N)}_{defect}$, the gap closes, but the defect wavefunctions yield the same solution (up to normalization), leaving the monodromy non-semisimple.
• Explicit Examples: The methodology is explicitly demonstrated for the $N_f=(1,1)$ theory, providing the first few terms of the $t$-expansion for resonant solutions and their logarithmic companions.

Significance
The paper claims to provide a systematic framework for constructing resonant Floquet solutions and their logarithmic companions for Heun-type equations arising in gauge theory, overcoming the limitations of standard instanton expansions. By utilizing blow-up equations involving only NS functions, the authors achieve simultaneous resummation of bulk and defect sectors. This framework offers analytic control near resonant points, which are typically singular in the original formulation.

The work suggests that these techniques can be extended to other gauge theories and quantum curves. Specifically, the authors note the potential application to the $N=2^*$ $SU(2)$ theory (Lamé equation), five-dimensional $N=1$ $SU(2)$ theories (finite-difference equations), and higher-rank gauge groups. Furthermore, the regularization of the accessory parameter and the separation of resonant solutions from their logarithmic companions may provide a natural regularization for the isomonodromic tau function near resonant monodromy strata.