The nonequivariant coherent-constructible correspondence for toric stacks (Q2217877): Difference between revisions

The article under review is concerned with a microlocal-geometric interpretation of homological mirror symmetry (HMS). To set up the notations, let \(\Sigma\) be a finite fan in \(N \otimes_{\mathbb Z} \mathbb R\) where \(N\) is a free abelian group of rank \(n\). It is well known that one can associate a toric variety \(X_{\Sigma}\) and a Lagrangian subvariety \(\Lambda_{\Sigma} \subset T^*T^n\). More generally, let \(\beta: L \to N\) be a homomorphism with finite cokernel from an abelian group \(L\), and \(\hat{\Sigma}\) denotes a finite fan in \(L \otimes_{\mathbb Z} \mathbb R\). If \(X_{\hat{\Sigma}, \beta}\) is the toric variety associated to \(\hat{\Sigma}\), then the toric stack is defined by the quotient stack \[ {\mathcal X}_{\hat{\Sigma}, \beta} : =[X_{\hat{\Sigma}}/\ker(\beta \otimes_{\mathbb Z} \mathbb C^*)]. \] This class of toric stacks contains any (possibly singular) toric variety and any toric orbifold in the sense of toric Deligne-Mumford stacks. Under the assumption that \(\beta \otimes_\mathbb Z \mathbb R\) induces a certain equivalence between the fans \(\Sigma\) and \(\hat{\Sigma}\), the main result in this article establishes the following correspondence, as an equivalence of \(\infty\)-categories, \[ \mathbf{coh} \,{\mathcal X}_{\hat{\Sigma}, \beta} \simeq\mathbf{Sh}^{w}_{\Lambda_{\hat{\Sigma}, \beta}}(T^n). \] Here, the left-hand side is the bounded derived \(\infty\)-category of coherent sheaves on \({\mathcal X}_{\hat{\Sigma}, \beta}\), while the right-hand side is a subcategory, spanned by compact objects, of the category \(\mathbf{Sh}^{\diamondsuit}_{\Lambda_{\hat{\Sigma}, \beta}}(T^n)\), the derived \(\infty\)-category of quasi-constructible sheaves on \(T^n\) whose microsupports are contained in the Lagrangian subvariety \(\Lambda_{\hat{\Sigma}, \beta}\). In fact, this article proves a more general equivalence, \(\mathbf{Ind \, coh} \, {\mathcal X}_{\hat{\Sigma}, \beta} \simeq\mathbf{Sh}^{\diamondsuit}_{\Lambda_{\hat{\Sigma}, \beta}}(T^n)\). For ind-coherence sheaves and the associated category \(\mathbf{ Ind \, coh}\), see [\textit{D. Gaitsgory}, ``Ind-coherent sheaves'', Preprint, \url{arXiv:1105.4857}]. Comparing with the classical HMS proposed by Kontsevich, \[ \mathbf{ coh}\, X \simeq {\mathfrak F}{\mathfrak u}{\mathfrak k}(W) \] where \(X\) is a variety, \(W\) is a mirror of \(X\), and \({\mathfrak F}{\mathfrak u}{\mathfrak k}\) represents various Fukaya-type categories depending on the assumptions on \(X\), the equivalence as above in this article replaces the right-hand of Kontsevich's proposal with a category that is constructed based on Kashiwara-Schapira's microlocal geometry [\textit{M. Kashiwara} and \textit{P. Schapira}, Sheaves on manifolds. With a short history ``Les débuts de la théorie des faisceaux'' by Christian Houzel. Berlin etc.: Springer-Verlag (1990; Zbl 0709.18001)]. Moreover, this article generalizes a similar correspondence on toric varieties and toric orbifolds in [\textit{B. Fang} et al., Invent. Math. 186, No. 1, 79--114 (2011; Zbl 1250.14011); Adv. Math. 229, No. 3, 1875--1911 (2012, Zbl 1260.14049); Int. Math. Res. Not. 2014, No. 4, 914--954 (2014; Zbl 1326.14021)] to general toric stacks. Note that such a coherent-constructible correspondence in this article was first observed in \textit{A. I. Bondal}'s pioneer work [``Derived categories of toric varieties'', in: Convex and algebraic geometry. 284--286 (2006)]. The proof of the equivalence above given in this article (in fact, of the general equivalence involving the ind-coherence sheaves) is based on a gluing argument in the sense that the equivalence will be established on the affine case first and then glue together in a certain way. In particular, the gluing on the microlocal geometry side borrows Tamarkin's projector techniques in [\textit{D. Tamarkin}, Springer Proc. Math. Stat. 269, 99--223 (2018; Zbl 1416.35019)].