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.

This is an expanded version of the third author's lecture in String-Math 2015 at Sanya. It summarizes some of our works in quantum cohomology. After reviewing the quantum Lefschetz and quantum Leray--Hirsch, we discuss their applications to the functoriality properties under special smooth flops, flips and blow-ups. Finally, for conifold transitions of Calabi--Yau 3-folds, formulations for small resolutions (blow-ups along Weil divisors) are sketched.

We give a short proof of Penner-Grushevsky-Schumacher-Trapanis large genus asymptotics of Weil-Petersson volumes of moduli spaces of curves. We also study asymptotic expansions for certain integrals of pure \psi classes and answer a question of Mirzakhani on the asymptotic behavior of one-point volume polynomials of moduli spaces of curves.

We introduce the notion of pseudo-N´eron model and give new examples of varieties admitting pseudo-N´eron models other than Abelian varieties. As an application of pseudo-N´eron models, given a scheme admitting a finite morphism to an Abelian scheme over a positive-dimensional base, we prove that for a very general genus-0, degree-d curve in the base with d sufficiently large, every section of the scheme over the curve is contained in a unique section over the entire base.

I will discuss results of three different types in geometry and topology.(1) General vanishing and rigidity theorems of elliptic genera proved by using modular forms, Kac-Moody algebras and vertex operator algebras.(2) The computations of intersection numbers of the moduli spaces of flat connections on a Riemann surface by using heat kernels.(3) The mirror principle about counting curves in Calabi-Yau and general projective manifolds by using hypergeometric series.