We show how the Riemann surface Σ of N = 2 Yang-Mills field theory arises in type II string compactifications on Calabi-Yau threefolds. The relevant local geometry is given by fibrations of ALE spaces. The 3-branes that give rise to BPS multiplets in the string descend to self-dual strings on the Riemann surface, with tension determined by a canonically fixed Seiberg-Witten differential λ. This gives, effectively, a dual formulation of Yang-Mills theory in which gauge bosons and monopoles are treated on equal footing, and represents the rigid analog of type II-heterotic string duality. The existence of BPS states is essentially reduced to a geodesic problem on the Riemann surface with metric |λ| 2 . This allows us, in particular, to easily determine the spectrum of stable BPS states in field theory. Moreover, we identify the six-dimensional space IR 4 × Σ as the world-volume of a five-brane and show that BPS states correspond to two-branes ending on this five-brane.

Using geometric engineering in the context of type II strings, we obtain exact solutions for the moduli space of the Coulomb branch of all N = 2 gauge theories in four dimensions involving products of SU gauge groups with arbitrary number of bi-fundamental matter for chosen pairs, as well as an arbitrary number of fundamental matter for each factor.Asymptotic freedom restricts the possibilities to SU groups with bi-fundamental matter chosen according to ADE or affine ADE Dynkin diagrams. Many of the results can be derived in an elementary way using the self-mirror property of K3. We find that in certain cases the solution of the Coulomb branch for N = 2 gauge theories is given in terms of a three dimensional complex manifold rather than a Riemann surface. We also study new stringy strong coupling fixed points arising from the compactification of higher dimensional theories with tensionless strings and consider applications to three dimensional N = 4 theories.

We analyze the map between heterotic and type II N=2 supersymmetric string theories for certain two and three moduli examples found by Kachru and Vafa. The appearance of elliptic j-functions can be traced back to specializations of the Picard-Fuchs equations to systems for K 3 surfaces. For the three-moduli example we write the mirror maps and Yukawa couplings in the weak coupling limit in terms of j-functions; the expressions agree with those obtained in perturbative calculations in the heterotic string in an impressive way. We also discuss symmetries of the world-sheet instanton numbers in the type II theory, and interpret them in terms of S-duality of the non-perturbative heterotic string.

Using heterotic/type II string duality, we obtain exact nonperturbative results for the point particle limit (α ′ → 0) of some particular four dimensional, N = 2 supersymmetric compactifications of heterotic strings. This allows us to recover recent exact nonperturbative results on N = 2 gauge theory directly from tree-level type II string theory, which provides a highly non-trivial, quantitative check on the proposed string duality. We also investigate to what extent the relevant singular limits of Calabi-Yau manifolds are related to the Riemann surfaces that underlie rigid N = 2 gauge theory.

We study the BPS states of non-critical strings which arise for zero size instantons of exceptional groups. This is accomplished by using F-theory and M-theory duals and by employing mirror symmetry to compute the degeneracy of membranes wrapped around 2-cycles of the Calabi-Yau threefold. We find evidence for a number of novel physical phenomena, including having infinitely many light states with the first lightest state including a nearly massless gravitino.