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

N=1* model superpotential revisited (IR behaviour of N=4 limit)

The one-loop contribution to the superpotential, in particular the Veneziano-Yankielowicz potential in N=1 supersymmetric Yang-Mills model is discussed from an elementary field theory method and the matrix model point of view. Both approaches are based on the Renormalization Group variation of the superconformal N=4 supersymmetric Yang-Mills model.Comment: 31 page

Super Yang-Mills With Flavors From Large N_f Matrix Models

We consider the exact effective superpotential of N=1 U(N_c) super Yang-Mills theory with N_f massive flavors an additional adjoint Higgs field. We use the proposal of Dijkgraaf and Vafa to calculate the superpotential in terms of a matrix model with a large number of flavors. We do this by gauging the flavor symmetry and forcing this sector in a classical vacuum. This gives rise to a 2-matrix model of ADE type A_2, and large flavors. This approach allows us to add an arbitrary polynomial tree level superpotential for the Higgs field, and use strict large N methods in the matrix model.Comment: 17 p. LaTeX, 17 p. v2: ref added, typos corrected. v3: typos corrected. v4: typos corrected, extended discussion on classical solution

The Drinfel'd Double and Twisting in Stringy Orbifold Theory

This paper exposes the fundamental role that the Drinfel'd double \dkg of the group ring of a finite group $G$ and its twists \dbkg, \beta \in Z^3(G,\uk) as defined by Dijkgraaf--Pasquier--Roche play in stringy orbifold theories and their twistings. The results pertain to three different aspects of the theory. First, we show that $G$--Frobenius algebras arising in global orbifold cohomology or K-theory are most naturally defined as elements in the braided category of \dkg--modules. Secondly, we obtain a geometric realization of the Drinfel'd double as the global orbifold $K$--theory of global quotient given by the inertia variety of a point with a $G$ action on the one hand and more stunningly a geometric realization of its representation ring in the braided category sense as the full $K$--theory of the stack $[pt/G]$. Finally, we show how one can use the co-cycles $\beta$ above to twist a) the global orbifold $K$--theory of the inertia of a global quotient and more importantly b) the stacky $K$--theory of a global quotient $[X/G]$. This corresponds to twistings with a special type of 2--gerbe.Comment: 35 pages, no figure

Gravitational corrections in supersymmetric gauge theory and matrix models

Gravitational corrections in N=1 and N=2 supersymmetric gauge theories are obtained from topological string amplitudes. We show how they are recovered in matrix model computations. This provides a test of the proposal by Dijkgraaf and Vafa beyond the planar limit. Both, matrix model and topological string theory, are used to check a conjecture of Nekrasov concerning these gravitational couplings in Seiberg-Witten theory. Our analysis is performed for those gauge theories which are related to the cubic matrix model, i.e. pure SU(2) Seiberg-Witten theory and N=2 U(N) SYM broken to N=1 via a cubic superpotential. We outline the computation of the topological amplitudes for the local Calabi-Yau manifolds which are relevant for these two cases.Comment: 27 pages, one eps figur

On Lorentz invariance and supersymmetry of four particle scattering amplitudes in SNR8S^N\R^8 orbifold sigma model

The $S^N\R^8$ supersymmetric orbifold sigma model is expected to describe the IR limit of the Matrix string theory. In the framework of the model the type IIA string interaction is governed by a vertex which was recently proposed by R.Dijkgraaf, E.Verlinde and H.Verlinde. By using this interaction vertex we derive all four particle scattering amplitudes directly from the orbifold model in the large $N$ limit.Comment: Latex, 23 page

Matrix Models, Argyres-Douglas singularities and double scaling limits

We construct an N=1 theory with gauge group U(nN) and degree n+1 tree level superpotential whose matrix model spectral curve develops an A_{n+1} Argyres-Douglas singularity. We evaluate the coupling constants of the low-energy U(1)^n theory and show that the large N expansion is singular at the Argyres-Douglas points. Nevertheless, it is possible to define appropriate double scaling limits which are conjectured to yield four dimensional non-critical string theories as proposed by Ferrari. In the Argyres-Douglas limit the n-cut spectral curve degenerates into a solution with n/2 cuts for even n and (n+1)/2 cuts for odd n.Comment: 31 pages, 1 figure; the expression of the superpotential has been corrected and the calculation of the coupling constants of the low-energy theory has been adde

The Exact Geometry of a Kerr-Taub-NUT Solution of String Theory

In this paper we study a solution of heterotic string theory corresponding to a rotating Kerr-Taub-NUT spacetime. It has an exact CFT description as a heterotic coset model, and a Lagrangian formulation as a gauged WZNW model. It is a generalisation of a recently discussed stringy Taub-NUT solution, and is interesting as another laboratory for studying the fate of closed timelike curves and cosmological singularities in string theory. We extend the computation of the exact metric and dilaton to this rotating case, and then discuss some properties of the metric, with particular emphasis on the curvature singularities.Comment: 14 pages, 3 figure

Necessary and sufficient conditions for non-perturbative equivalences of large N orbifold gauge theories

Large N coherent state methods are used to study the relation between U(N) gauge theories containing adjoint representation matter fields and their orbifold projections. The classical dynamical systems which reproduce the large N limits of the quantum dynamics in parent and daughter orbifold theories are compared. We demonstrate that the large N dynamics of the parent theory, restricted to the subspace invariant under the orbifold projection symmetry, and the large N dynamics of the daughter theory, restricted to the untwisted sector invariant under "theory space'' permutations, coincide. This implies equality, in the large N limit, between appropriately identified connected correlation functions in parent and daughter theories, provided the orbifold projection symmetry is not spontaneously broken in the parent theory and the theory space permutation symmetry is not spontaneously broken in the daughter. The necessity of these symmetry realization conditions for the validity of the large N equivalence is unsurprising, but demonstrating the sufficiency of these conditions is new. This work extends an earlier proof of non-perturbative large N equivalence which was only valid in the phase of the (lattice regularized) theories continuously connected to large mass and strong coupling.Comment: 21 page, JHEP styl

Fourier transform and the Verlinde formula for the quantum double of a finite group

A Fourier transform S is defined for the quantum double D(G) of a finite group G. Acting on characters of D(G), S and the central ribbon element of D(G) generate a unitary matrix representation of the group SL(2,Z). The characters form a ring over the integers under both the algebra multiplication and its dual, with the latter encoding the fusion rules of D(G). The Fourier transform relates the two ring structures. We use this to give a particularly short proof of the Verlinde formula for the fusion coefficients.Comment: 15 pages, small errors corrected and references added, version to appear in Journal of Physics