We construct a smooth algebraic stack of tuples consisting of genus two nodal curves, line bundles, and twisted fields. It leads to a desingularization of the moduli of genus two stable maps to projective spaces. The construction is based on systematical application of the theory of stacks with twisted fields (STF), which has its prototype appeared in arXiv:1906.10527 and arXiv:1201.2427 and is fully developed in this article. The results of this article are the second step of a series of works toward the resolutions of the moduli of stable maps of higher genera.

Given a smooth projective variety X and a smooth divisor D\subset X. We study relative Gromov-Witten invariants of (X,D) and the corresponding orbifold Gromov-Witten invariants of the r-th root stack X_{D,r}. For sufficiently large r, we prove that orbifold Gromov- Witten invariants of X_{D,r} are polynomials in r. Moreover, higher genus relative Gromov-Witten invariants of (X,D) are exactly the constant terms of the corresponding higher genus orbifold Gromov-Witten invari- ants of X_{D,r}. We also provide a new proof for the equality between genus zero relative and orbifold Gromov-Witten invariants, originally proved by Abramovich-Cadman-Wise. When r is sufficiently large and X=C is a curve, we prove that stationary relative invariants of C are equal to the stationary orbifold invariants in all genera.

We show that Q-Fano varieties of fixed dimension with anti-canonical degrees and alpha-invariants bounded from below form a bounded family. As a corollary, K-semistable Q-Fano varieties of fixed dimension with anti-canonical degrees bounded from below form a bounded family.

We have developed a mathematical theory of the topological vertexa theory that was originally proposed by M Aganagic, A Klemm, M Mario and C Vafa on effectively computing GromovWitten invariants of smooth toric CalabiYau threefolds derived from duality between open string theory of smooth CalabiYau threefolds and ChernSimons theory on three-manifolds.

We study stable curves of arithmetic genus 2 which admit two morphisms of finite degree d, resp. (d,d′), onto smooth elliptic curves, with particular attention to the case d prime.