We establish a new relationship (the MLK correspondence) between twisted FJRW theory and local Gromov-Witten theory in all genera. As a consequence, we show that the Landau-Ginzburg/Calabi-Yau correspondence is implied by the crepant transformation conjecture for Fermat type in genus zero. We use this to then prove the Landau-Ginzburg/Calabi-Yau correspondence for Fermat type, generalizing the results of A. Chiodo and Y. Ruan.

We give an effective algorithm to compute the Euler characteristics χ(\mbar_{1,n}, \otimes_{i=1}^n L_i^{d_i}). In addition, we give a simple proof of Pandharipande's vanishing theorem H^j (\mbar_{0,n}, \otimes_{i=1}^n L_i^{d_i})=0 for j≥1,di≥0.

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.

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.

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