Lagrangian torus fibrations and homological mirror symmetry for the conifold (Q906910)

The conifold \(Z\) given by the equation \(u_1v_1= u_2 v_2\) has its smoothing \(Y\) given by the equation \(u_1v_1- u_2v_2= -\varepsilon\). The paper in review discusses homological mirror symmetry for the conifold from the point of view by \textit{A. Strominger} et al. [Nucl. Phys., B 479, No. 1--2, 243--259 (1996; Zbl 0896.14024)] conjecture. The authors first provide a SYZ fibration for the open subvariety \(Y_0\) of \(Y\) which is the complete intersection in \(C^*\times\mathbb{C}^4= \text{Spec}[z, z^{-1},u_1,u_2,v_1,v_2]\) defined by \(u_1v_1= z- a\), \(u_2v_2= z-b\). The mirror \(X^0\) of \(Y^0\) was identified as the complement of a divisor in the resolved conifold given by \(X^0= X\setminus D\) with \(X={\mathcal O}_{\mathbb{P}^1}\oplus{\mathcal Q}_{\mathbb{P}^1}\) by \textit{M. Abouzaid} et al. [Publ. Math., Inst. Hautes Étud. Sci. 123, 199--282 (2016; Zbl 1368.14056)], where \(D\) is the pullback of the divisor \(\{w_1w_2=0\}\) on the conifold \(Z\) expressed as \(uv= (1+w_1)(1+w_2)\) along the crepant resolution \(\varphi: X\to Z\). The authors compare the \(A\)-side of \(Y^0\) and \(B\)-side of \(X^0\) in homological mirror symmetry. They first associate a Lagrangian section of the SYZ fibration \(\rho: Y^0\to\mathbb{R}^3\) to each strongly admissible path \(\gamma\) similarly as done by \textit{D. Auroux} [J. Gökova Geom. Topol. GGT 1, 51--91 (2007; Zbl 1181.53076)]. They consider the wrapped Fukaya category generated by \(L_{\gamma_0}\), \(L_{\gamma_1}\) for \(\gamma_i\) of winding number \(i\) for \(i=0,1\) and associate the corresponding mirror objects, holomorphic line bundles which they identify with \({\mathcal O}_{X^0}(i)\) for \(i=0,1\). The main result then is that the wrapped Fukaya category is isomorphic to \(D^b\text{coh\,}X^0\) as a triangulated category. A similar statement is also proved for the compact version of the Fukaya category \(D^b{\mathcal F}_0\) generated by Lagrangian spheres in \(Y^0\) dual to the noncompact \(L_0\), \(L_1\) which the authors proved is isomorphic to \(D^b\text{coh}_0X^0\), where \(\text{coh}_0 X^0\) is the abelian category of coherent sheaves supported on the exceptional locus of the resolution \(\varphi: X\to Z\). The main scheme of the proof is based on some direct counting of holomorphic discs for the calculation of the of \(A_\infty\) structure maps in the Fukaya side and comparison thereof with various previous known calculations on the coherent sheaves on the resolved conifold which involves the notion of tilting objects in \(D^b\text{coh}\,X\).