4-manifolds and topological modular forms

We build a connection between topology of smooth 4-manifolds and the theory of topological modular forms by considering topologically twisted compactification of 6d (1,0) theories on 4-manifolds with flavor symmetry backgrounds. The effective 2d theory has (0,1) supersymmetry and, possibly, a residual flavor symmetry. The equivariant topological Witten genus of this 2d theory then produces a new invariant of the 4-manifold equipped with a principle bundle, valued in the ring of equivariant weakly holomorphic (topological) modular forms. We describe basic properties of this map and present a few simple examples. As a byproduct, we obtain some new results on 't Hooft anomalies of 6d (1,0) theories and a better understanding of the relation between 2d (0,1) theories and TMF spectra

ABJM theory as a Fermi gas

The partition function on the three-sphere of many supersymmetric Chern-Simons-matter theories reduces, by localization, to a matrix model. We develop a new method to study these models in the M-theory limit, but at all orders in the 1/N expansion. The method is based on reformulating the matrix model as the partition function of an ideal Fermi gas with a non-trivial, one-particle quantum Hamiltonian. This new approach leads to a completely elementary derivation of the N^{3/2} behavior for ABJM theory and N=3 quiver Chern-Simons-matter theories. In addition, the full series of 1/N corrections to the original matrix integral can be simply determined by a next-to-leading calculation in the WKB or semiclassical expansion of the quantum gas, and we show that, for several quiver Chern-Simons-matter theories, it is given by an Airy function. This generalizes a recent result of Fuji, Hirano and Moriyama for ABJM theory. It turns out that the semiclassical expansion of the Fermi gas corresponds to a strong coupling expansion in type IIA theory, and it is dual to the genus expansion. This allows us to calculate explicitly non-perturbative effects due to D2-brane instantons in the AdS background.Comment: 52 pages, 11 figures. v3: references, corrections and clarifications added, plus a footnote on the relation to the recent work by Hanada et a

Partition Functions of Matrix Models as the First Special Functions of String Theory. II. Kontsevich Model

In arXiv:hep-th/0310113 we started a program of creating a reference-book on matrix-model tau-functions, the new generation of special functions, which are going to play an important role in string theory calculations. The main focus of that paper was on the one-matrix Hermitian model tau-functions. The present paper is devoted to a direct counterpart for the Kontsevich and Generalized Kontsevich Model (GKM) tau-functions. We mostly focus on calculating resolvents (=loop operator averages) in the Kontsevich model, with a special emphasis on its simplest (Gaussian) phase, where exists a surprising integral formula, and the expressions for the resolvents in the genus zero and one are especially simple (in particular, we generalize the known genus zero result to genus one). We also discuss various features of generic phases of the Kontsevich model, in particular, a counterpart of the unambiguous Gaussian solution in the generic case, the solution called Dijkgraaf-Vafa (DV) solution. Further, we extend the results to the GKM and, in particular, discuss the p-q duality in terms of resolvents and corresponding Riemann surfaces in the example of dualities between (2,3) and (3,2) models.Comment: 48 pages, 2 figure

Nonperturbative aspects of ABJM theory

Using the matrix model which calculates the exact free energy of ABJM theory on S^3 we study non-perturbative effects in the large N expansion of this model, i.e., in the genus expansion of type IIA string theory on AdS4xCP^3. We propose a general prescription to extract spacetime instanton actions from general matrix models, in terms of period integrals of the spectral curve, and we use it to determine them explicitly in the ABJM matrix model, as exact functions of the 't Hooft coupling. We confirm numerically that these instantons control the asymptotic growth of the genus expansion. Furthermore, we find that the dominant instanton action at strong coupling determined in this way exactly matches the action of an Euclidean D2-brane instanton wrapping RP^3.Comment: 26 pages, 14 figures. v2: small corrections, final version published in JHE

Non-perturbative effects and the refined topological string

The partition function of ABJM theory on the three-sphere has non-perturbative corrections due to membrane instantons in the M-theory dual. We show that the full series of membrane instanton corrections is completely determined by the refined topological string on the Calabi-Yau manifold known as local P1xP1, in the Nekrasov-Shatashvili limit. Our result can be interpreted as a first-principles derivation of the full series of non-perturbative effects for the closed topological string on this Calabi-Yau background. Based on this, we make a proposal for the non-perturbative free energy of topological strings on general, local Calabi-Yau manifolds.Comment: 38 pages, 5 figure

Roadmap on Wilson loops in 3d Chern-Simons-matter theories

This is a compact review of recent results on supersymmetric Wilson loops in ABJ(M) and related theories. It aims to be a quick introduction to the state of the art in the field and a discussion of open problems. It is divided into short chapters devoted to different questions and techniques. Some new results, perspectives and speculations are also presented. We hope this might serve as a baseline for further studies of this topic

Lectures on localization and matrix models in supersymmetric Chern-Simons-matter theories

In these lectures I give a pedagogical presentation of some of the recent progress in supersymmetric Chern-Simons-matter theories, coming from the use of localization and matrix model techniques. The goal is to provide a simple derivation of the exact interpolating function for the free energy of ABJM theory on the three-sphere, which implies in particular the N^{3/2} behavior at strong coupling. I explain in detail part of the background needed to understand this derivation, like holographic renormalization, localization of path integrals, and large N techniques in matrix modelsComment: 73 pages, 7 figures. v2: references and clarifications added, misprints corrected. v3: more references, clarifications, and corrections. v4: more corrections and clarifications, final version to appear in J. Phys.

Generalized cusp in AdS_4 x CP^3 and more one-loop results from semiclassical strings

We evaluate the exact one-loop partition function for fundamental strings whose world-surface ends on a cusp at the boundary of AdS_4 and has a "jump" in CP^3. This allows us to extract the stringy prediction for the ABJM generalized cusp anomalous dimension Gamma_{cusp}^{ABJM} (phi,theta) up to NLO in sigma-model perturbation theory. With a similar analysis, we present the exact partition functions for folded closed string solutions moving in the AdS_3 parts of AdS_4 x CP^3 and AdS_3 x S^3 x S^3 x S^1 backgrounds. Results are obtained applying to the string solutions relevant for the AdS_4/CFT_3 and AdS_3/CFT_2 correspondence the tools previously developed for their AdS_5 x S^5 counterparts.Comment: 48 pages, 2 figures, version 3, corrected misprints in formulas 2.12, B.86, C.33, added comment on verification of the light-like limi