S-duality and the prepotential in N=2⋆\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}={2}^{\star } $$\end{document} theories (I): the ADE algebras

The prepotential of N=2⋆\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}={2}^{\star } $$\end{document} supersymmetric theories with unitary gauge groups in an Ω background satisfies a modular anomaly equation that can be recursively solved order by order in an expansion for small mass. By requiring that S-duality acts on the prepotential as a Fourier transform we generalise this result to N=2⋆\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}={2}^{\star } $$\end{document} theories with gauge algebras of the D and E type and show that their prepotentials can be written in terms of quasi-modular forms of SL2,ℤ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathrm{S}\mathrm{L}\left(2,\ \mathbb{Z}\right) $$\end{document}. The results are checked against microscopic multi-instanton calculus based on localization for the A and D series and reproduce the known 1-instanton prepotential of the pure N=2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=2 $$\end{document} theories for any gauge group of ADE type. Our results can also be used to obtain the multi-instanton terms in the exceptional theories for which the microscopic instanton calculus and the ADHM construction are not available.