The present article surmmarizes our recent results about Calabi–Yau threefolds with infinite fundamental group. This class of Calabi–Yau manifolds is relatively simple yet rich enough to display the essential complexities of Calabi–Yau geometries, and thus it provides good testing-grounds for general theories and conjectures.

A Calabi–Yau threefold is called of type K if it admits an ´etale Galois covering by the product of a K3 surface and an elliptic curve. In our previous paper [16], based on Oguiso–Sakurai’s fundamental work [24], we have provided the full classification of Calabi–Yau threefolds of type K and have studied some basic properties thereof. In the present paper, we continue the study, investigating them from the viewpoint of mirror symmetry. It is shown that mirror symmetry relies on duality of certain sublattices in the second cohomology of the K3 surface appearing in the minimal splitting covering. The duality may be thought of as a version of the lattice duality of the anti-symplectic involution on K3 surfaces discovered by Nikulin [23]. Based on the duality, we obtain several results parallel to what is known for Borcea–Voisin threefolds. Along the way, we also investigate the Brauer groups of Calabi–Yau threefolds of type K.

Any Calabi–Yau threefold X with infinite fundamental group admits an ´etale Galois covering either by an abelian threefold or by the product of a K3 surface and an elliptic curve. We call X of type A in the former case and of type K in the latter case. In this paper, we provide the full classification of Calabi–Yau threefolds of type K, based on Oguiso and Sakurai’s work [24]. Together with a refinement of their result on Calabi–Yau threefolds of type A, we finally complete the classification of Calabi–Yau threefolds with infinite fundamental group.

We prove that the punctured generalized conifolds and punctured orbifolded conifolds are mirror symmetric under the SYZ program with quantum corrections. This mathematically confirms the gauge-theoretic prediction by Aganagic–Karch–L¨ust–Miemiec, and also provides a supportive evidence to Morrison’s conjecture that geometric transitions are reversed under mirror symmetry.

We construct SYZ mirrors of the local Calabi–Yau manifolds of type à by developing an equivariant SYZ theory for the toric Calabi–Yau manifolds of infinite-type. The equations for the SYZ mirrors involve the Riemann theta functions and generating functions of the open Gromov–Witten invariants. We obtain explicit formulae for the generating functions which are open analogs of the Yau–Zaslow formula in dimension 2, and show that they have nice modular properties. We also relate the SYZ mirror pairs with mirror symmetry for the abelian varieties and hypersurfaces therein.