Moduli space of quasimaps from \(\mathbb{P}^1\) with two marked points to \(\mathbb{P}(1,1,1,3)\) and \(j\)-invariant (Q2058810)

The authors of the present paper are interested in the weighted projective space \(X=\mathbb{P}(1,1,1,3)\) and an anticanonical \(K3\) surface \(Y\) in it. More precisely, they relate mirror symmetry of the two in an intricate way. In mirror symmetry, there is an \(A\)-side and a \(B\)-side. To the \(A\)-side are associated a symplectic geometry (such as \(X\) or \(Y\)) and its symplectic Gromov-Witten invariants. To the \(B\)-side are associated a complex-geometric structure (such as a family of mirror varieties) and its \(B\)-model invariants. The mirror map is a transcendental function that relates the invariants of the \(A\)- and \(B\)-side. It is typically computed from explicit hypergeometric functions. Denote by \(w_d\) the Taylor coefficients of the mirror map of \(Y\). The first author previously conjectured that the \(w_d\) are computed from specific \(B\)-model invariants of \(X\). The authors prove this conjecture in the present article. The main result of the present paper thus is an expression of \(w_d\) in terms of a \(B\)-model invariant of \(X\). This invariant is expressed as an intersection product on the \textit{I. Ciocan-Fontanine} and \textit{B. Kim} [Algebr. Geom. 1, No. 4, 400--448 (2014; Zbl 1322.14083)] moduli space of the 2-pointed quasimap invariants. In fact, the authors introduce a birational modification of this moduli space, which yields the same invariants, yet is easier to do intersection theory on. The authors describe their moduli space as a compact toric orbifold and compute its Chow ring. The main theorem of the present paper then is the result of an impressive feat of computation, which is possible thanks to the toric description of the moduli space, and the explicit description of the mirror map.