Localized mirror functor for Lagrangian immersions, and homological mirror symmetry for \(\mathbb{P}^1_{a,b,c}\) (Q2358668)

In [\textit{A. Strominger} et al., Nucl. Phys., B 479, No. 1--2, 243--259 (1996; Zbl 0896.14024)], it was proposed that the mirror manifold can be constructed by taking fiberwise tori of the original manifold (SYZ construction). This construction was generalized in [\textit{M. Aganagic} and \textit{C. Vafa}, ``Large \(N\) duality, mirror symmetry and a \(Q\)-deformed \(A\)-polynomial for knots'', Preprint, \url{arXiv:1204.4709}] by using non-compact Lagrangian branes in the resolved conifold from knots inside \(\mathbb{S}^3\) instead of compact fibers of a Lagrangian torus fibration in the SYZ program. In this paper, an alternative generalized SYZ construction by using one Lagrangian \(\mathbb{L}\) possibly immersed and its deformation theory to construct a Landau-Ginzburg model \(W\) as a Lagrangian Floer potential (explained in \S3). The authors say that the differences between this generalization and the Aganagic-Vafa generalization are the following: {\parindent=0.7cm\begin{itemize}\item[--] It allows to consider a general Kähler manifold rather than restricting to the case of a resolved conifold. \item[--] It uses compact Lagrangian immersions rather than non-compact Lagrangian branes to carry out the mirror symmetry. \item[--] It uses the immersed Lagrangian Floer theory rather than a physical theory, and in particular, discs of Maslov index two are counted rather than those of one. \end{itemize}} The authors note that this paper works with \(\mathbb{Z}/2\) grading: The Lagrangians are \(\mathbb{Z}/2\)-graded and the matrix factorizations on the mirror side also \(\mathbb{Z}/2\)-graded (Definition 2.16). The generalized SYZ construction of this paper has a direct relationship with homological mirror symmetry. This is explained in \S2 [\textit{K. Fukaya} et al., Lagrangian intersection Floer theory. Anomaly and obstruction. I. Providence, RI: American Mathematical Society (AMS); Somerville, MA: International Press (2009; Zbl 1181.53002); Lagrangian intersection Floer theory. Anomaly and obstruction. II. Providence, RI: American Mathematical Society (AMS); Somerville, MA: International Press (2009; Zbl 1181.53003)], and the localized mirror functor is constructed by a purely algebraic method (Definition 2.18 and Theorem 2.19). Then, the Lagrangian Floer theory for immersed Lagrangian [\textit{M. Akahi} and \textit{D. Joyce}, J. Differ. Geom. 86, No. 3, 381--500 (2010; Zbl 1226.53085)], is reviewed in \S3. This section also gives a detailed definition of the generalized SYZ construction. A following geometric version of Theorem 2.19, and a uniform and functorial understanding of homological mirror symmetry providing this geometric version are given in \S4. Theorem 4.1: Let \(\mathcal{F}uk_\lambda(X)\) be the Fukaya category of \(X\) (as an \(A_\infty\)-ctegory) whose objects are weakly unobstructed Lagragians with potential value \(\lambda\), and \(\mathcal{MF}(W-\lambda)\) be the \(dg\) category of matrix factorizations of \(W-\lambda\). Then there exists an \(A_\infty\)-functor \[ \mathcal{LM}^\mathbb{L}:\mathcal{F}uk_\lambda(X)\to \mathcal{MF}(W-\lambda). \] Theorem 4.2: Suppose that there exists a set of Lagrangians \(\{L_i:i\in I\}\) which split-generates \(D^\pi\mathcal{F}uk_0(X)\), and suppose the functor \(\mathcal{LM}^\mathbb{L}\) induces an isomorphism on cohomologies \[ \mathrm{HF}(L_i,L_j)\cong \mathrm{Mor}(\mathcal{LM}^\mathbb{L}(L_i),\mathcal{LM}^\mathbb{L}(L_j)) \] for all \(i,j\in I\). Then the derived functor \[ D^\pi(\mathcal{LM}^\mathbb{L}): D^\pi\mathcal{F}uk_0(X)\to D^\pi\mathcal{MF}(W) \] is fully faithful. Furthermore, if \(\{\mathcal{LM}^\mathbb{L}(L_i); i\in I\}\) split-generates \(D^\pi\mathcal{MF}(W)\), then \(D^\pi(\mathcal{LM}^\mathbb{L})\) is a quasi-equivalence. The rest of the paper is devoted to the application of the generalized SYZ construction to construct the mirror of the orbifold projective line \(X=\mathbb{P}^1_{a,b,c}\). For this purpose, a Lagrangian immersion into a global quotient orbifold \(X=[\tilde{X}/G]\) is considered where \(G\) is a finite group, and carrying out its generalized SYZ mirror construction in \S5. Results are applied to \(\mathbb{P}^1_{3,3,3}\) in \S6 and general \(\mathbb{P}^1_{a.b.c}\) in \S7. The main results are the following: Theorem 6.4: The mirror map equals the generalized SYZ map for the elliptic curve quotient \(X=E/(\mathbb{Z}/3)=\mathbb{P}^1_{3,3,3}\), where \(E\) is the elliptic curve with complex multiplication by cube root of unity. Theorem 7.24. Let \(X=\mathbb{P}^1_{a,b,c}\) and \(W\) be its generalized SYZ mirror. Assume \(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\leq 1\). The \(A_\infty\)-functor \(\mathcal{LM}^\mathbb{L}\) in Theorem 4.1 derives homological mirror symmetry, that is, the split-cosed derived functor of \(\mathcal{LM}^\mathbb{L}:\mathcal{F}uk(\mathbb{P}^1_{a,b,c})\to\mathcal{MF}(W)\) is an equivalence of triangulated categories \[ D^\pi(\mathcal{F}uk(\mathcal{F}uk(\mathbb{P}^1_{a,b,c}))\cong D^\pi(\mathcal{MF}(W)), \] for \(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\leq 1\). Theorem 6.4 is proved via an exact computation of the Lagrangian Floer potential (Theorem 6.3). It gives a quantum correction of the folklore mirror potential \(x^3+y^3+z^3-\sigma xyz\). The enumerative meaning of the mirror maps is also explained in \S6 and \S7. This paper is concluded by brief discussions of mirror maps of Fermat surfaces (\S8).