Instanton counting via affine Lie algebras II: from Whittaker vectors to the Seiberg-Witten prepotential
Alexander Braverman, Pavel Etingof
TL;DR
The paper develops a unified framework linking instanton partition functions to Seiberg-Witten prepotentials via Schrödinger operators with periodic potentials and affine Toda integrable systems. It first constructs equivariant partition functions ${\mathcal{Z}}$ in the 1D setting and then generalizes to higher dimensions under integrability, using period integrals on spectral curves to define the instanton prepotential ${\mathcal{F}}^{inst}$. A central achievement is proving Nekrasov's conjecture by showing that the leading small-$\varepsilon$ behavior of the affine partition function ${\mathcal{Z}}_{G}^{aff}$ coincides with the instanton prepotential of the affine Toda system, with a robust parabolic generalization. The method hinges on Whittaker vector realizations, non-stationary Toda Hamiltonians, and a period-based description of the prepotential, offering a distinct route from prior proofs for classical groups. The results illuminate deep connections between equivariant geometry, integrable systems, and gauge-theory prepotentials, extending known cases to a broad algebraic framework.
Abstract
We introduce the notion of the (instanton part of the) Seiberg-Witten prepotential for general Schrodinger operators with periodic potential. In the case when the operator in question is integrable we show how to compute the prepotential in terms of period integrals; this implies that in the integrable case our definition of the prepotential coincides with the one that has been extensively studied in both mathematical and physical literature. As an application we give a proof of Nekrasov's conjecture connecting certain "instanton counting" partition function for an arbitrary simple group G with the prepotential of the Toda integrable system associated with the affine Lie algebra whose affine Dynkin diagram is dual to that of the affinization of the Lie algebra of G (for G=SL(n) this conjecture was proved earlier in the works of Nekrasov-Okounkov and Nakajima-Yoshioka). Our proof is totally different and it is based on the results of the paper math.AG/0401409 by the first author.
