Enumerative geometry and modularity in two-modulus K3-fibered Calabi-Yau threefolds

Motivated in part by the modular properties of enumerative invariants of K3-fibered Calabi-Yau threefolds, we introduce a family of 39 Calabi-Yau mirror pairs $(X,Y)$ with $h_{1,1}(X)=h_{2,1}(Y)=2$, labelled by certain integer quadruples $(m,i,j,s)$ with $m\le 11$. On the A-model side, $X$ arises as a complete intersection in a projective bundle over a Fano fourfold $V_m^{[i,j]}$, and admits a Tyurin degeneration into a pair of degree $m$ Fano threefolds $F_m^{[i]}\cup F_m^{[j]}$ intersecting on an anticanonical K3 divisor of degree $2m$. On the B-model side, $Y$ is fibered by $M_m$-polarized K3-surfaces of Picard rank 19, and determined by a branched covering of ${\mathbb{P}}^1$, consistent with the Doran-Harder-Thompson mirror conjecture. When $s=0$, $Y$ itself acquires a Tyurin degeneration, and correspondingly $X$ acquires a fibration by degree $2m$ K3 surfaces, such that the two Kähler moduli control the size of the K3-fiber and base ${\mathbb{P}}^1$. While the mirror pairs with $m\le 4$ can be realized as complete intersections in products of projective spaces or as hypersurfaces in toric varieties, the examples with $m\ge 5$ are intrinsically non-toric. We obtain uniform formulae for the genus 0 and 1 topological free energies near the Tyurin degeneration (mirror to the large base limit), exhibiting modular properties under the Fricke-extended congruence group ${\mathrm{\Gamma }}_0(m{)}^{+}$. We use these results to compute the vertical Gopakumar-Vafa and Noether-Lefschetz invariants and check that their generating functions satisfy the expected modular properties. We also compute generating series of Gopakumar-Vafa invariants with fixed non-zero base degree and exhibit their modular properties.