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 conjecture that appropriate K-theoretic Gromov-Witten invariants of complex flag manifolds G/B are governed by finite-difference versions of Toda systems constructed in terms of the Langlands-dual quantized universal enveloping algebras U_q(g'). The conjecture is proved in the case of classical flag manifolds of the series A. The proof is based on a refinement of the famous Atiyah-Hirzebruch argument for rigidity of arithmetical genus applied to hyperquot-scheme compactifications of spaces of rational curves in the flag manifolds.

No abstract uploaded!

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.

Let V be a convex vector bundle over a smooth projective manifold X, and let Y be the subset of X which is the zero locus of a regular section of V. This mostly expository paper discusses a conjecture which relates the virtual fundamental classes of X and Y. Using an argument due to Gathmann, we prove a special case of the conjecture. The paper concludes with a discussion of how our conjecture relates to the mirror theorems in the literature.

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].

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.

The aim of Part II is to explore the technique of invariance of tautological equations in the realm of Gromov--Witten theory. The main result is a proof of Invariance Theorem (Invariance Conjecture~1 in [14]), via the techniques from Gromov--Witten theory. It establishes some general inductive structure of the tautological rings, and provides a new tool to the study of this area.

We introduce the notion of completed F-crystals on the absolute prismatic site of a smooth p-adic formal scheme. We define a functor from the category of completed prismatic F-crystals to that of crystalline étale Zp-local systems on the generic fiber of the formal scheme and show that it gives an equivalence of categories. This generalizes the work of Bhatt and Scholze, which treats the case of a complete discrete valuation ring with perfect residue field.

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.