We consider localized deformation for initial data sets of the Einstein field equations with the dominant energy condition. Deformation results with the weak inequality need to be handled delicately. We introduce a modified constraint operator to absorb the first order change of the metric in the dominant energy condition. By establishing the local surjectivity theorem, we can promote the dominant energy condition to the strict inequality by compactly supported variations and obtain new gluing results with the dominant energy condition. The proof of local surjectivity is a modification of the earlier work for the usual constraint map by the first named author and R. Schoen and by P. Chru\'sciel and E. Delay, with some refined analysis.

We construct SYZ mirrors of the local Calabi--Yau manifolds of type $\widetilde{A}$ 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.

This paper gives a new way of constructing Landau-Ginzburg mirrors using deformation theory of Lagrangian immersions motivated by the works of Seidel, Strominger-Yau-Zaslow and Fukaya-Oh-Ohta-Ono. Moreover we construct a canonical functor from the Fukaya category to the mirror category of matrix factorizations. This functor derives homological mirror symmetry under some explicit assumptions. As an application, the construction is applied to spheres with three orbifold points to produce their quantum-corrected mirrors and derive homological mirror symmetry. Furthermore we discover an enumerative meaning of the (inverse) mirror map for elliptic curve quotients.