The purpose of this paper is to solve a problem posed by Strominger in constructing smooth models of superstring theory with flux. These are given by non-Khler manifolds with torsion.

We describe local mirror symmetry from a mathematical point of view and make several A-model calculations using the mirror principle (localization). Our results agree with B-model computations from solutions of Picard-Fuchs differential equations constructed form the local geometry near a Fano surface within a Calabi-Yau manifold. We interpret the Gromov-Witten-type numbers from an enumerative point of view. We also describe the geometry of singular surfaces and show how the local invariants of singular surfaces agree with the smooth cases when they occur as complete intersections.

We investigate topological properties of Calabi-Yau four-folds and consider a wide class of explicit constructions in weighted projective spaces and, more generally, toric varieties. Divisors which lead to a non-perturbative superpotential in the effective theory have a very simple description in the toric construction. Relevant properties of them follow just by counting lattice points and can also be used to construct examples with negative Euler number. We study nets of transitions between cases with generically smooth elliptic fibres and cases with ADE gauge symmetries in the <i>N</i> = 1 theory due to degenerations of the fibre over codimension one loci in the base. Finally we investigate the quantum cohomology ring of this four-folds using Frobenius algebra.

We study a variational problem whose critical point determines the Reeb vector field for a SasakiEinstein manifold. This extends our previous work on Sasakian geometry by lifting the condition that the manifolds are toric. We show that the EinsteinHilbert action, restricted to a space of Sasakian metrics on a link <i>L</i> in a CalabiYau cone <i>X</i>, is the volume functional, which in fact is a function on the space of Reeb vector fields. We relate this function both to the DuistermaatHeckman formula and also to a limit of a certain equivariant index on <i>X</i> that counts holomorphic functions. Both formulae may be evaluated by localisation. This leads to a general formula for the volume function in terms of topological fixed point data. As a result we prove that the volume of a SasakiEinstein manifold, relative to that of the round sphere, is always an algebraic number. In complex dimension <i>n</i>=3 these results provide, via AdS

Mirror Symmetry, Picard-Fuchs equations and instanton corrected Yukawa couplings are discussed within the framework of toric geometry. It allows to establish mirror symmetry of Calabi-Yau spaces for which the mirror manifold had been unavailable in previous constructions. Mirror maps and Yukawa couplings are explicitly given for several examples with two and three moduli.