This is the first of a sequence of papers proving the quantum invariance under ordinary flops over an arbitrary smooth base. In this first part, we determine the defect of the cup product under the canonical correspondence and show that it is corrected by the small quantum product attached to the extremal ray. We then perform various reductions to reduce the problem to the local models. In Part II, we develop a quantum Leray--Hirsch theorem and use it to show that the big quantum cohomology ring is invariant under analytic continuations in the Kähler moduli space for ordinary flops of splitting type. In Part III, together with F. Qu, we remove the splitting condition by developing a quantum splitting principle, and hence solve the problem completely.

The celebrated Mirror Theorem states that the genus zero part of the A model (quantum cohomology, rational curves counting) of the Fermat quintic threefold is equivalent to the B model (complex deformation, variation of Hodge structure) of its mirror dual orbifold. In this article, we establish a mirror-dual statement. Namely, the B model of the Fermat quintic threefold is shown to be equivalent to the A model of its mirror, and hence establishes the mirror symmetry as a true duality.

We give an effective algorithm to compute the Euler characteristics χ(\mbar_{1,n}, \otimes_{i=1}^n L_i^{d_i}). In addition, we give a simple proof of Pandharipande's vanishing theorem H^j (\mbar_{0,n}, \otimes_{i=1}^n L_i^{d_i})=0 for j≥1,di≥0.

This is the second of a sequence of papers proving the quantum invariance for ordinary flops over an arbitrary smooth base. In this paper, we complete the proof of the invariance of the big quantum rings under ordinary flops of splitting type. To achieve that, several new ingredients are introduced. One is a quantum Leray--Hirsch theorem for the local model (a certain toric bundle) which extends the quantum D module of Dubrovin connection on the base by a Picard--Fuchs system of the toric fibers. Nonsplit flops as well as further applications of the quantum Leray--Hirsch theorem will be discussed in subsequent papers. In particular, a quantum splitting principle is developed in Part III which reduces the general ordinary flops to the split case solved here.

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.