Current browse context:
math.AG
Change to browse by:
References & Citations
Mathematics > Algebraic Geometry
Title: Producing "new" semi-orthogonal decompositions in arithmetic geometry
(Submitted on 14 Mar 2022 (v1), last revised 25 Nov 2023 (this version, v4))
Abstract: This paper is devoted to constructing "new" admissible subcategories and semi-orthogonal decompositions of triangulated categories out of "old" ones. For two triangulated subcategories $T$ and $T'$ of a certain $D$ and a decomposition $(L,R)$ of $T$ we look either for a decomposition $(L',R')$ of $T'$ such that there are no non-zero $D$-morphisms from $L$ into $L'$ and from $R$ into $R'$, or for a decomposition $(L_D,R_D)$ of $D$ such that $L_D\cap T=L$ and $R_D\cap T=R$. We prove some general existence statements (that also extend to semi-orthogonal decompositions with any number of components) and apply them to various derived categories of coherent sheaves over a scheme $X$ that is proper over a noetherian ring $R$. This gives a one-to-one correspondence between semi-orthogonal decompositions of $D_{perf}(X)$ and $D^b_{coh}(X)$; the latter extend to $D^-_{coh}(X)$, $D^+_{coh}({Qcoh}(X))$, $D_{coh}({Qcoh}(X))$, and $D({Qcoh}(X))$ under very mild conditions. In particular, we obtain a vast generalization of a theorem of J. Karmazyn, A. Kuznetsov, and E. Shinder.
These applications rely on recent results of Neeman that express $D^b_{coh}(X)$ and $D^-_{coh}(X)$ in terms of $D_{perf}(X)$ along with its new variations corresponding to $D^+_{coh}({Qcoh}(X))$ and $D_{coh}({Qcoh}(X))$. We also discuss an application of this theorem to the construction of certain adjoint functors.
Submission history
From: Mikhail Bondarko [view email][v1] Mon, 14 Mar 2022 17:21:04 GMT (39kb)
[v2] Mon, 11 Jul 2022 17:16:33 GMT (40kb)
[v3] Tue, 27 Jun 2023 10:21:57 GMT (41kb)
[v4] Sat, 25 Nov 2023 12:34:35 GMT (42kb)
Link back to: arXiv, form interface, contact.