Categorical localization for the coherent-constructible correspondence (Q1731794): Difference between revisions

Kontsevich's homological mirror symmetry(HMS) conjecture states that two categories associated to a mirror pair are equivalent. For a Calabi-Yau(CY) variety, a mirror is also Calabi-Yau and the conjecture is a quasi-equivalence between the dg category of coherent sheaves over one and the derived Fukaya category of the other. For non-CY's, mirrors do not need to be varieties. For a Fano toric variety, its mirror is a Landau-Ginzburg (LG) model, which is a holomorphic function on \((\mathbb C^\times)^n\) which can be read from the defining fan of the toric variety which is in fact the specialization of Lagrangian potential function of the toric \(A\)-model that is the generating function of open Gromov-Witten invariants of a toric fiber [\textit{C.-H. Cho} and \textit{Y.-G. Oh}, Asian J. Math. 10, No. 4, 773--814 (2006; Zbl 1130.53055); \textit{K. Fukaya} et al., Duke Math. J. 151, No. 1, 23--175 (2010; Zbl 1190.53078)]. For a smooth Fano, it has been proven for many special cases that the dg category of coherent sheaves \(\mathbf{coh}\, X_\Sigma\) over the toric variety \(X_\Sigma\) associated to the fan \(\Sigma\) is quasi-equivalent to the Fukaya-Seidel category \(\mathfrak{Fuk}(W_\Sigma)\) of the associated Laurent polynomial \(W_\Sigma\). When a variety is not complete, \(\mathbf{coh}\, X_\Sigma\) is of infinite dimensional nature and its Fukaya-type category also should have an infinite-dimensional nature. Such a construction is known to be (partially) wrapped Fukaya categories. In this regard, the main theme of the present paper in review is to establish a quasi-isomorphism \(\mathbf{coh}(X\setminus D)\cong \mathbf{coh} X/\mathbf{coh}_D X\) in some special cases in the microlocal world: Here \(X\setminus D\) is the complement of a divisor \(D\) and \(\mathbf{coh} X/\mathbf{coh}_D X\) is the dg category of sheaves supported in \(D\) by relating the isomorphism to a similar isomorphism \[ W_{\mathbf{s}\setminus\mathbf{r}}(M) \cong W_{\mathbf{s}}(M)/\mathfrak B_{\mathbf{r}} \] of \textit{Z. Sylvan} [J. Topol. 12, No. 2, 372--441 (2019; Zbl 1430.53097)] in the Fukaya-Seidel side: Here \(\mathbf{s}\) is a collection of symplectic stops and \(\mathbf{r} \subset\mathbf{s}\) is a sub-collection thereof, and \(\mathfrak B_{\mathbf{r}}\) is the full subcategory spanned by Lagrangians near the sub-stops \(\mathbf{r}\). The paper extends a version of coherent-constructible correspondence [\textit{B. Fang} et al., Invent. Math. 186, No. 1, 79--114 (2011; Zbl 1250.14011); \textit{K. Bongartz} et al., Adv. Math. 226, No. 2, 1875--1910 (2011; Zbl 1223.16004)] to the dg category of \emph{quasi-coherent shaves} over \(X_\Sigma\) in dimension 2.