MathSciDoc: An Archive for Mathematician ∫

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.

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 double point relation defines a natural theory of algebraic cobordism for bundles on varieties. We construct a simple basis (over the rationals) of the corresponding cobordism groups over Spec(C) for all dimensions of varieties and ranks of bundles. The basis consists of split bundles over products of projective spaces. Moreover, we prove the full theory for bundles on varieties is an extension of scalars of standard algebraic cobordism.

We discuss selected topics on the topology of moduli spaces of curves and maps, emphasizing their relation with Gromov--Witten theory and integrable systems.

We show that the generating functions of Gromov--Witten invariants with ancestors are invariant under a simple flop, for all genera, after an analytic continuation in the extended Kähler moduli space. This is a sequel to [LLW].

This an expository article on Givental's axiomatic Gromov--Witten theory and some of its applications.

For ordinary flops, the correspondence defined by the graph closure is shown to give equivalence of Chow motives and to preserve the Poincaré pairing. In the case of simple ordinary flops, this correspondence preserves the big quantum cohomology ring after an analytic continuation over the extended Kähler moduli space. For Mukai flops, it is shown that the birational map for the local models is deformation equivalent to isomorphisms. This implies that the birational map induces isomorphisms on the full quantum rings and all the quantum corrections attached to the extremal ray vanish.

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 prove that all monomials of κ-classes and ψ-classes are independent in $R^k(\ocM_{g,n})/R^k(\partial\ocM_{g,n})$ for all k≤[g/3]. We also give a simple argument for κ_l≠0 in $R^l(\ocM_g)$ for l≤g−2.

The main goal of this paper is to introduce a set of conjectures on the relations in the tautological rings. In particular, the framework gives an efficient algorithm to calculate all tautological equations using only finite dimensional linear algebra. Other applications are also indicated.