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.

Let X denote an equivariant embedding of a connected reductive group X over an algebraically closed field X . Let X denote a Borel subgroup of X and let X denote a X -orbit closure in X . When the characteristic of X is positive and X is projective we prove that X is globally X -regular. As a consequence, X is normal and Cohen-Macaulay for arbitrary X and arbitrary characteristics. Moreover, in characteristic zero it follows that X has rational singularities. This extends earlier results by the second author and M. Brion.

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 verify the Invariance Conjectures of tautological equations in genus two. In particular, a uniform derivation of all known genus two equations is given.

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.