The Mathematics of Fivebranes

Fivebranes are non-perturbative objects in string theory that generalize two-dimensional conformal field theory and relate such diverse subjects as moduli spaces of vector bundles on surfaces, automorphic forms, elliptic genera, the geometry of Calabi-Yau threefolds, and generalized Kac-Moody algebras.Comment: 10 pages, 2 figures, Lecture at ICM'9

Determinant Formulas for Matrix Model Free Energy

The paper contains a new non-perturbative representation for subleading contribution to the free energy of multicut solution for hermitian matrix model. This representation is a generalisation of the formula, proposed by Klemm, Marino and Theisen for two cut solution, which was obtained by comparing the cubic matrix model with the topological B-model on the local Calabi-Yau geometry $\hat {II}$ and was checked perturbatively. In this paper we give a direct proof of their formula and generalise it to the general multicut solution.Comment: 5 pages, submitted to JETP Letters, references added, minor correction

Balanced Topological Field Theories

We describe a class of topological field theories called ``balanced topological field theories.'' These theories are associated to moduli problems with vanishing virtual dimension and calculate the Euler character of various moduli spaces. We show that these theories are closely related to the geometry and equivariant cohomology of ``iterated superspaces'' that carry two differentials. We find the most general action for these theories, which turns out to define Morse theory on field space. We illustrate the constructions with numerous examples. Finally, we relate these theories to topological sigma-models twisted using an isometry of the target space.Comment: 40 pages, harvmac, references added, to appear in Commun. Math. Phy

Holomorphic matrix models

This is a study of holomorphic matrix models, the matrix models which underlie the conjecture of Dijkgraaf and Vafa. I first give a systematic description of the holomorphic one-matrix model. After discussing its convergence sectors, I show that certain puzzles related to its perturbative expansion admit a simple resolution in the holomorphic set-up. Constructing a `complex' microcanonical ensemble, I check that the basic requirements of the conjecture (in particular, the special geometry relations involving chemical potentials) hold in the absence of the hermicity constraint. I also show that planar solutions of the holomorphic model probe the entire moduli space of the associated algebraic curve. Finally, I give a brief discussion of holomorphic $ADE$ models, focusing on the example of the $A_2$ quiver, for which I extract explicitly the relevant Riemann surface. In this case, use of the holomorphic model is crucial, since the Hermitian approach and its attending regularization would lead to a singular algebraic curve, thus contradicting the requirements of the conjecture. In particular, I show how an appropriate regularization of the holomorphic $A_2$ model produces the desired smooth Riemann surface in the limit when the regulator is removed, and that this limit can be described as a statistical ensemble of `reduced' holomorphic models.Comment: 45 pages, reference adde

Another Leigh-Strassler deformation through the Matrix model

In here the matrix model approach, by Dijkgraaf and Vafa, is used in order to obtain the effective superpotential for a certain deformation of N=4 SYM discovered by Leigh and Strassler. An exact solution to the matrix model Lagrangian is found and is expressed in terms of elliptic functions.Comment: 15 pages,2 figure

On the partition sum of the NS five-brane

We study the Type IIA NS five-brane wrapped on a Calabi-Yau manifold X in a double-scaled decoupling limit. We calculate the euclidean partition function in the presence of a flat RR 3-form field. The classical contribution is given by a sum over fluxes of the self-dual tensor field which reduces to a theta-function. The quantum contributions are computed using a T-dual IIB background where the five-branes are replaced by an ALE singularity. Using the supergravity effective action we find that the loop corrections to the free energy are given by B-model topological string amplitudes. This seems to provide a direct link between the double-scaled little strings on the five-brane worldvolume and topological strings. Both the classical and quantum contributions to the partition function satisfy (conjugate) holomorphic anomaly equations, which explains an observation of Witten relating topological string theory to the quantization of three-form fields.Comment: 35 page

Branched Matrix Models and the Scales of Supersymmetric Gauge Theories

In the framework of the matrix model/gauge theory correspondence, we consider supersymmetric U(N) gauge theory with $U(1)^N$ symmetry breaking pattern. Due to the presence of the Veneziano--Yankielowicz effective superpotential, in order to satisfy the $F$--term condition $\sum_iS_i=0$, we are forced to introduce additional terms in the free energy of the corresponding matrix model with respect to the usual formulation. This leads to a matrix model formulation with a cubic potential which is free of parameters and displays a branched structure. In this way we naturally solve the usual problem of the identification between dimensionful and dimensionless quantities. Furthermore, we need not introduce the $\N=1$ scale by hand in the matrix model. These facts are related to remarkable coincidences which arise at the critical point and lead to a branched bare coupling constant. The latter plays the role of the $\N=1$ and $\N=2$ scale tuning parameter. We then show that a suitable rescaling leads to the correct identification of the $\N=2$ variables. Finally, by means of the the mentioned coincidences, we provide a direct expression for the $\N=2$ prepotential, including the gravitational corrections, in terms of the free energy. This suggests that the matrix model provides a triangulation of the istanton moduli space.Comment: 1+18 pages, harvmac. Added discussion on the CSW relative shifts of theta vacua and the odd phases at the critical point. References added and typos correcte