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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Set OpenAlex properties.
 
(4 intermediate revisions by 4 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q115160781 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1705.06667 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2963608599 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 08:26, 30 July 2024

scientific article; zbMATH DE number 6996006
Language Label Description Also known as
English
Speculations on homological mirror symmetry for hypersurfaces in \((\mathbb{C}^{\ast})^n\)
scientific article; zbMATH DE number 6996006

    Statements

    Speculations on homological mirror symmetry for hypersurfaces in \((\mathbb{C}^{\ast})^n\) (English)
    0 references
    0 references
    19 December 2018
    0 references
    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].
    0 references
    0 references
    homological mirror symmetry
    0 references
    hypersurface
    0 references
    Landau-Ginzburg model
    0 references
    wrapped Fukaya category
    0 references
    wrapped Floer cohomology
    0 references
    derived category of coherent sheaves
    0 references
    higher-dimensional pants
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references