We describe the counting of BPS states of Type II on K3 by relating the supersymmetric cycles of genus <i>g</i> to the number of rational curves with <i>g</i> double points on K3. The generating function for the number of such curves is the left-moving partition function of the bosonic string.

It is argued that every Calabi-Yau manifold <i>X</i> with a mirror <i>Y</i> admits a family of supersymmetric toroidal 3-cycles. Moreover the moduli space of such cycles together with their flat connections is precisely the space <i>Y</i>. The mirror transformation is equivalent to <i>T</i>-duality on the 3-cycles. The geometry of moduli space is addressed in a general framework. Several examples are discussed.

We find some integrability conditions for low-dimensional manifolds to admit metrics with nonnegative scalar curvature. In particular, we solve the positive action conjecture in general relativity in the affirmative.

In this paper we study the quantum sheaf cohomology of Grassmannians with deformations of the tangent bundle. Quantum sheaf cohomology is a (0,2) deformation of the ordinary quantum cohomology ring, realized as the OPE ring in A/2-twisted theories. Quantum sheaf cohomology has previously been computed for abelian gauged linear sigma models (GLSMs); here, we study (0,2) deformations of nonabelian GLSMs, for which previous methods have been intractable. Combined with the classical result, the quantum ring structure is derived from the one-loop effective potential. We also utilize recent advances in supersymmetric localization to compute A/2 correlation functions and check the general result in examples. In this paper we focus on physics derivations and examples; in a companion paper, we will provide a mathematically rigorous derivation of the classical sheaf cohomology ring.

We provide an explicit desingularization and study the resulting fiber geometry of elliptically fibered four-folds defined by Weierstrass models admitting a split ilde {A} _4 singularity over a divisor of the discriminant locus. Such varieties are used to geometrically engineer SU (5) grand unified theories in F-theory. The desingularization is given by a small resolution of singularities. The ilde {A} _4 fiber naturally appears after resolving the singularities in codimension-one in the base. The remaining higher codimension singularities are then beautifully described by a four-dimensional affine binomial variety which leads to six different small resolutions of the elliptically fibered four-fold. These six small resolutions define distinct four-folds connected to each other by a network of flop transitions forming a dihedral group. The location of these exotic fibers in the base is mapped to conifold points of the three-folds that defines the type IIB