A new tautological equation of $\bar{M}_{3,1}$ in codimension 3 is derived and proved, using the invariance condition explained in earlier works.

The main goal of this paper is to prove the following two conjectures for genus up to two: 1. Witten's conjecture on the relations between higher spin curves and Gelfand--Dickey hierarchy. 2. Virasoro conjecture for target manifolds with conformal semisimple Frobenius manifolds. The main technique used in the proof is the invariance of tautological equations under loop group action.

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