Twisted polytope sheaves and coherent-constructible correspondence for toric varieties (Q1725965)

The paper proved a version of correspondence between coherent sheaves and constructible sheaves for smooth projective toric varieties, using twisted polytope sheaves. The theorem was also proved for toric stacks by \textit{T. Kuwagaki} [Duke Math. J. 169, No. 11, 2125--2197 (2020; Zbl 1461.53064)] using a different method. Strominger-Yau-Zaslow asserted that mirror symmetry results from duality between Lagrangian torus fibrations. In particular, it gives a clear correspondence between holomorphic line bundles and Lagrangian sections in the semi-flat scenario, namely, when there is no singular fiber in the Lagrangian fibration. Quantum corrections in terms of pseudo-holomorphic discs in Lagrangian Floer theory are necessary in more realistic situations. For toric varieties, the quantum corrections are encoded as a Laurent polynomial on the mirror \((\mathbb{C}^\times)^n\), which is called a Landau-Ginzburg mirror. When treated as the symplectic side, the data of \(W\) can be encoded by a conical Lagrangian, which is essentially the conormal bundle of a certain subset \(\Lambda \subset T^n\) which serves as the singular support of constructible sheaves on the base of \((\mathbb{C}^\times)^n = T^*T^n \to T^n\). By the work of \textit{D. Nadler} and \textit{E. Zaslow} [J. Am. Math. Soc. 22, No. 1, 233--286 (2009; Zbl 1227.32019)], infinitesimally wrapped (non-compact) Lagrangians in the mirror correspond to constructible sheaves over the base \(T^n\) supported by \(\Lambda\). Via homological mirror symmetry, coherent sheaves over toric varieties should correspond to these constructible sheaves. In [Invent. Math. 186, No. 1, 79--114 (2011; Zbl 1250.14011)], \textit{B. Fang} et al. constructed a dg functor from the derived category of a toric variety to the category of constructible sheaves, and proved that it is an embedding. Kuwagaki [loc. cit.] generalized to toric stacks and proved that the functor is a quasi-equivalence. This paper provided a different proof for smooth projective toric varieties. The proof uses twisted polytope sheaves which are interesting generalizations of ample line bundles, as illustrated by Figure 1 and 2 in the paper. The key step is to show that the image of the dg functor mentioned above generates the category. The paper constructs a family of constructible sheaves which correspond to toric line bundles. These constructible sheaves are obtained by certain deformations of some nice sheaves that can co-represent taking stalks. In particular, the family co-represents the stalk functor and hence generates. Twisted polytopes appear from such deformations.