The nonequivariant coherent-constructible correspondence for toric stacks

DOI10.1215/00127094-2020-0011MaRDI QIDQ2217877zbMATH OpenOpenAlexFDO

Publication date 12 January 2021

Published in Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1610.03214, https://projecteuclid.org/euclid.dmj/1594778753

differential graded category finite fan homological mirror symmetry microlocal geometry toric stacks

Generalizations (algebraic spaces, stacks) (14A20) Microlocal methods and methods of sheaf theory and homological algebra applied to PDEs (35A27) Symplectic aspects of mirror symmetry, homological mirror symmetry, and Fukaya category (53D37)

Abstract: The nonequivariant coherent-costructible correspondence is a microlocal-geometric interpretation of homological mirror symmetry for toric varieties conjectured by Fang-Liu-Treumann-Zaslow. We prove a generalization of this conjecture for a class of toric stacks which includes any toric varieties and toric orbifolds. Our proof is based on gluing descriptions of

i n f t y

-categories of both sides.

Review text

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)].

Recommendations

Cites work

Cited in

(28)

This page was built for publication: The nonequivariant coherent-constructible correspondence for toric stacks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2217877)