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

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.

1. INDEX THEORY, ELLIPTIC CURVES AND LOOP GROUPS One can look at elliptic genus from several different points of view; from index theory, from representation theory of Kac-Moody affine Lie algebras or from the theory of elliptic functions and modular forms. Each of them shows us some quite different interesting features of ellitic genus. On the other hand we can also combine the forces of these three different mathematical fields to derive many interesting results in topology such as rigidity, divisibility and vanishing of topological invariants..

We establish a generic vanishing theorem for surfaces in characteristic p that lift to p and use it for classification of surfaces of general type with Euler characteristic p and large Albanese dimension.