Speculations on homological mirror symmetry for hypersurfaces in \((\mathbb{C}^{\ast})^n\) (Q5970201): Difference between revisions

The homological mirror symmetry of a hypersurface \(H=f^{-1}(0)\subset (\mathbb{C}^\ast)^n\) (close to a maximal degeneration limit), formulated as the equivalence of wrapped Fukaya category \(\mathcal{W}(H)\) of \(H\) and a quotient of the derived category of singularities of the mirror Landau-Ginzburg model \(D^b_{sg}(Z)\), is investigated. The author points out that there are no known higher-dimensional examples that admit homological mirror symmetry. After introducing several useful techniques to study homological mirror symmetry of hypersurfaces, this paper is finally devoted to the study of homological mirror symmetry for higher-dimensional pants \(\Pi_n\), that is the hypersurfaces defined by the equation \[ f(x_1,\ldots,x_{n+1})=x_1+\cdots+x_{n+1}+1=0, \] in \((\mathbb{C}^\ast)^{n+1}\) (\S8 and \S 9). \S9 sketches the computation of \(\mathcal{W}(\Pi_n)\) with the aid of work in progress by \textit{Z. Sylvan} [``A gluing formula for wrapped Fukaya categories'', Preprint]. (A pair of pants \(\mathbb{C}^\ast\setminus \{-1\}\) admits homological mirror symmetry [\textit{M. Abouzaid} et al., J. Am. Math. Soc. 26, No. 4, 1051--1083 (2013; Zbl 1276.53089)]. This is reviewed in \S3.) Precisely, \(f\) is the Laurent polynomial \[ f(x_1,\ldots, x_n)=\sum_{\alpha\in A}c_\alpha\tau^{\rho(\alpha)}x_1^{\alpha_1}\cdots x_n^{\alpha_n}, \] where \(A\) is a finite subset of \(\mathbb{Z}^n\), \(\tau\in\mathbb{R}_+\) is assumed sufficiently small, and \(\rho\) is the restriction of a piecewise linear convex function \(\hat{\rho}\) defined on the convex hull of \(A\), whose polyhedral decomposition defined by \(\hat{\rho}\) is denoted by \(\mathcal{P}\). It is proposed that \(H\) should arise as a mirror to a toric Landau-Ginzburg model \((Y,W)\) [\textit{K. Hori} and \textit{C. Vafa}, ``Mirror symmetry'', Preprint, \url{arXiv:hep-th/0002222}; \textit{M. Abouzaid} et al., Publ. Math., Inst. Hautes Étud. Sci. 123, 199--282 (2016; Zbl 1368.14056)]. Note that there are Landau-Ginzburg models that have no projective mirrors [\textit{E. Ballico} et al., Manuscr. Math. 158, No. 1--2, 85--101 (2019; Zbl 1406.53087)]. \(Y\) is the \((n+1)\)-dimensional toric variety defined by the moment polytope \(\Delta_Y=\{(\xi,\eta)\in\mathbb{R}^n\oplus \mathbb{R}|\eta>\phi(\xi)\}\) where \(\phi(\xi)=\mathrm{max}\{\langle\alpha,\xi\rangle-\rho(\alpha)|\alpha\in A \}\). It is generated by the fan \(\Sigma_Y\) whose rays are generated by \((-\alpha,1)\in \mathbb{R}^n\oplus\mathbb{R}\). The irreducible toric divisor \(Z_\alpha\) corresponds to the ray \((-\alpha,1)\). Then we have \(Z=\cup_{\alpha\in A}Z_\alpha =W^{-1}(0)\). \(D^b_{sg}(Z)\) is defined as the quotient \(D^b\mathrm{Coh}(Z)/\mathrm{Perf}(Z)\), where Perf(\(Z\)) is the full triangulated subcategory of perfect complexes. The wrapped Fukaya category and the related Hamiltonian Floer theory (wrapped Floer cohomology; \(HW^\ast(L_i,L_j)\)) are explained in \S2. To interpret \(D^b\mathrm{Coh}(Z)\) on the symplectic side, the restriction functor \(\rho:\mathcal{W}((\mathbb{C}^\ast)^n\setminus H)\to \mathcal{W}(H)\) is defined as the composition of the restriction functor \(r:\mathrm{W}((\mathbb{C}^\ast)^n)\setminus H)\to\mathcal{W}(H\times \mathbb{C}^\ast)\) [\textit{M. Abouzaid} and \textit{P. Seidel}, Geom. Topol. 14, No. 2, 627--718 (2010; Zbl 1195.53106)] and a projection functor \(p:\mathcal{W}(H\times \mathbb{C}^\ast)\to \mathcal{W}(H)\) in \S4. \S5 reviews \textit{M. Abouzaid}'s version of the Fukaya category of the Landau-Ginzburug model \(((\mathbb{C}^\ast)^n,f)\) [Geom. Topol. 10, 1097--1156 (2006; Zbl 1160.14030); Sel. Math., New Ser. 15, No. 2, 189--270 (2009; Zbl 1204.14019)], with suitable modifications for the use of this paper. Here, a subcategory \(\mathcal{F}^\circ((\mathbb{C}^\ast)^n,f)\) of the Fukaya category \(\mathcal{F}((\mathbb{C}^\ast)^n,f)\) is introduced (Definition 5.1) from the logarithmic map \[ \mathrm{Log}:(x_1,\ldots,x_n)\to \frac{1}{|\log\tau|}(\log|x_1|,\ldots,\log|x_n|). \] The author remarks that \(\mathcal{F}^\circ((\mathbb{C}^\ast)^n,f)\cong D^b\mathrm{Coh}(Z_0)\) is essentially shown in [loc. cit.]. In \S6, the acceleration functors \(\alpha_0\) and \(\alpha_\infty\) from \(\mathcal{F}^\circ((\mathbb{C}^\ast)^n)\) to \(\mathcal{W}((\mathbb{C}^\ast)^n\setminus H)\) are constructed. \(\alpha_0\) is canonically defined, while to define \(\alpha_\infty\), we need to assume: (*) \(A\) is a vertex of every maximal cell of the polyhedral decomposition \(\mathcal{P}\). It is conjectured that \(\alpha_0\) corresponds to the inclusion pushforward \(i_\ast: D^b\mathrm{Coh}(Z_0)\to D^b(\mathrm{Coh}(Z))\), and that if (*) holds \(\alpha_\infty\) corresponds to the pullback \(\pi^\ast: D^b\mathrm{Coh}(Z_0)\to \mathrm{Perf}(Z)\subset D^b\mathrm{Coh}(Z)\), provided homological mirror symmetry holds (Conjecture 1.3). \S7 considers the hypersurface defined by \(f(x_1,\ldots,x_n)=x_1+\cdots+x_n+\dfrac{\tau}{x_1\cdots x_n}+1\), and uses previous results and results in [Zbl 1160.14030]. The related wrapped Floer cohomologies are computed. Then \(\Pi_n\) is treated in \S8 and 9, the last section, and \(\mathcal{W}(\Pi_n)\) is computed. The author remarks that there is another direction of homological mirror symmetry relating coherent sheaves on \(H\) to the Fukaya category of the Landau-Ginzburg model \((Y,W)\), established in work in progress [\textit{M. Abouzaid} and the author, ``Homological mirror symmetry for hypersurfaces in \((\mathbb{C}^\ast)^n\)'', Preprint]. For the entire collection see [Zbl 1402.14006].