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.

We study certain six dimensional theories arising on (p, q) brane webs living on R × S. These brane webs are dual to toric elliptically fibered Calabi-Yau threefolds. The compactification of the space on which the brane web lives leads to a deformation of the partition functions equivalent to the elliptic deformation of the Ding-Iohara algebra. We compute the elliptic version Dotsenko-Fateev integrals and show that they reproduce the instanton counting of the six dimensional theory.

A compactness framework is established for approximate solutions to subsonicsonic flows governed by the steady full Euler equations for compressible fluids in arbitrary dimension. The existing compactness frameworks for the two-dimensional irrotational case do not directly apply for the steady full Euler equations in higher dimensions. The new compactness framework we develop applies for both non-homentropic and rotational flows. One of our main observations is that the compactness can be achieved by using only natural weak estimates for the mass balance and the vorticity, along with the Bernoulli law and the entropy relation, through a more delicate analysis on the phase space. As direct applications, we establish two existence theorems for multidimensional subsonic-sonic full Euler flows through infinitely long nozzles.