The mirror theorem is generalized to any smooth projective variety X. That is, a fundamental relation between the Gromov-Witten invariants of X and Gromov-Witten invariants of complete intersections Y in X is established.

In this article we study a conjecture of Geiss-Leclerc-Schröer, which is an analogue of a classical conjecture of Lusztig in the Weyl group case. It concerns the relation between canonical basis and semi-canonical basis through the characteristic cycles. We formulate an approach to this conjecture and prove it for type quiver. In the general type A case, we reduce the conjecture to show that certain nearby cycles have vanishing Euler characteristic.

The paper is Part III of our ongoing project to study a case of Crepant Transformation Conjecture: K-equivalence Conjecture for ordinary flops. In this paper we prove the invariance of quantum rings for general ordinary flops, whose local models are certain non-split toric bundles over arbitrary smooth base. An essential ingredient in the proof is a quantum splitting principle, which reduces a statement in Gromov--Witten theory on non-split bundles to the case of split bundles.

A reconstruction theorem for genus 0 gravitational quantum cohomology and quantum K-theory is proved. A new linear equivalence in the Picard group of the moduli space of genus 0 stable maps relating the pull-backs of line bundles from the target via different markings is used for the reconstruction result. Examples of calculations in quantum cohomology and quantum K-theory are given.

We study the quantum sheaf cohomology of flag manifolds with deformations of the tangent bundle and use the ring structure to derive how the deformation transforms under the biholomorphic duality of flag manifolds. Realized as the OPE ring of A/2-twisted twodimensional theories with (0,2) supersymmetry, quantum sheaf cohomology generalizes the notion of quantum cohomology. Complete descriptions of quantum sheaf cohomology have been obtained for abelian gauged linear sigma models (GLSMs) and for nonabelian GLSMs describing Grassmannians. In this paper we continue to explore the quantum sheaf cohomology of nonabelian theories. We first propose a method to compute the generating relations for (0,2) GLSMs with (2,2) locus. We apply this method to derive the quantum sheaf cohomology of products of Grassmannians and flag manifolds. The dual deformation associated with the biholomorphic duality gives rise to an explicit IR duality of two A/2-twisted (0,2) gauge theories.