Abstract:We prove a theorem relating torus-equivariant coherent sheaves on toric varieties to polyhedrally-constructible sheaves on a vector space. At the level of K-theory, the theorem recovers Morelli’s description of the K-theory of a smooth projective toric variety (Morelli in Adv. Math. 100(2):154–182, 1993). Specifically, let X be a proper toric variety of dimension n and let \(M_{\mathbb{R}} = \mathrm{Lie}(T_{\mathbb{R}}^{\vee})\cong\mathbb {R}^{n}\) be the Lie algebra of the compact dual (real) torus \(T_{\mathbb{R}}^{\vee}\cong U(1)^{n}\). Then there is a corresponding conical Lagrangian Λ⊂T ∗ M ℝ and an equivalence of triangulated dg categories \(\mathcal{P}\mathrm{erf}_{T}(X) \cong\mathit{Sh}_{cc}(M_{\mathbb{R}};\Lambda)\), where \(\mathcal{P}\mathrm{erf}_{T}(X)\) is the triangulated dg category of perfect complexes of torus-equivariant coherent sheaves on X and Sh cc (M ℝ;Λ) is the triangulated dg category of complex of sheaves on M ℝ with compactly supported, constructible cohomology whose singular support lies in Λ. This equivalence is monoidal—it intertwines the tensor product of coherent sheaves on X with the convolution product of constructible sheaves on M ℝ.

Classifying torsionfree classes of the category of coherent sheaves and their Serre subcategories

Quasi-coherent torsion sheaves, the semiderived category, and the semitensor product: Semi-infinite algebraic geometry of quasi-coherent sheaves on ind-schemes

Derived category of equivariant coherent sheaves on a smooth toric variety and Koszul duality

Semistable torsion classes and canonical decompositions in Grothendieck groups

A Categorification of Morelli’s Theorem

Coherent sheaves, sheared D-modules, and Hochschild cochains

Flat quasi-coherent sheaves as directed colimits, and quasi-coherent cotorsion periodicity

When are KE-closed subcategories torsion-free classes?

Flat quasi-coherent sheaves as direct limits, and quasi-coherent cotorsion periodicity

Semi-Homogeneous Sheaves and Twisted Derived Categories

Torsion Pairs in Categories of Modules on Ringed Finite Sites

On the derived category of a toric stack bundle

Half-spherical twists on derived categories of coherent sheaves

IE-closed subcategories of commutative rings are torsion-free classes

Sheaves of Higher Categories on Generalised Spaces

Torsion models for tensor-triangulated categories: the one-step case

Derived categories of curves of genus one and torsors over abelian varieties

Serre's theorem for coherent sheaves via Auslander's techniques

Compactly generated tensor t-structures on the derived category of a Noetherian scheme

Quasi-coherent sheaves on complex analytic spaces

Serre functors and complete torsion pairs