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.

Witten's gauged linear sigma model [Wi1] is one of the universal frameworks or structures that lie behind stringy dualities. Its A-twisted moduli space at genus 0 case has been used in the Mirror Principle [LLY] that relates Gromov-Witten invariants and mirror symmetry computations. In this paper the A-twisted moduli stack for higher genus curves is defined and systematically studied. It is proved that such a moduli stack is an Artin stack. For genus 0, it has the A-twisted moduli space of [MP] as the coarse moduli space. The detailed proof of the regularity of the collapsing morphism by Jun Li in [LLY: I and II] can be viewed as a natural morphism from the moduli stack of genus 0 stable maps to the A-twisted moduli stack at genus 0.

An effective algorithm of determining Gromov–Witten invariants of smooth hypersurfaces in any genus (subject to a degree bound (1)) from Gromov–Witten invariants of the ambient space is proposed.

Tautological systems developed in [8, 9] are Picard-Fuchs type systems to study period integrals of complete intersections in Fano varieties. We generalize tautological systems to zero loci of global sections of vector bundles. In particular, we obtain similar criterion as in [8, 9] about holonomicity and regularity of the systems. We also prove solution rank formulas and geometric realizations of solutions following the work on hypersurfaces in homogeneous varieties [4].

Tautological systems are Picard-Fuchs type systems arising from varieties with large symmetry. In this survey, we discuss recent progress on the study of tautological systems. This includes tautological systems for vector bundles, a new construction of Jacobian rings for homogenous vector bundles, and relations between period integrals and zeta functions.