ScalingStacks

0MXZ

Proposition 3.6. The weight complex functor yields an equivalence of categories

t:DTM⁡(k,ℚ)→Kb⁡(DTM⁡(k,ℚ)w=0)≅Db⁡(ℚ​−modℤ)t:\operatorname{DTM}(k,\mathbb{Q})\to\operatorname{K}^{b}(\operatorname{DTM}(k,\mathbb{Q})^{w=0})\cong\operatorname{D}^{b}(\mathbb{Q}\operatorname{-mod}^{\mathbb{Z}})

where ℚ​(1)​[2]\mathbb{Q}(1)[2] corresponds to the one-dimensional vector space in degree one ℚ​⟨1⟩\mathbb{Q}\langle 1\rangle in the category ℚ​−modℤ\mathbb{Q}\operatorname{-mod}^{\mathbb{Z}} of graded finite-dimensional vector spaces over ℚ.\mathbb{Q}.

0MY0

Proof. Lemma 3.1 implies that DTM⁡(k,ℚ)w=0\operatorname{DTM}(k,\mathbb{Q})^{w=0} is tilting in DTM⁡(k,ℚ).\operatorname{DTM}(k,\mathbb{Q}). Further, DM\operatorname{DM} admits an enhancement as stable ∞\infty-category. The statement follows from Corollary 2.16. ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Jens Niklas Eberhardt, Catharina Stroppel

Original source: arXiv:2109.00305v2