On the derived category of a graded commutative noetherian ring

From MaRDI portal
Publication:2377440



Abstract: For any graded commutative noetherian ring, where the grading group is abelian and where commutativity is allowed to hold in a quite general sense, we establish an inclusion-preserving bijection between, on the one hand, the twist-closed localizing subcategories of the derived category, and, on the other hand, subsets of the homogeneous spectrum of prime ideals of the ring. We provide an application to weighted projective schemes.


\textit{A. Neeman} [Topology 31, No. 3, 519--532 (1992; Zbl 0793.18008)] has shown that for a noetherian commutative ring \(R\) there is a bijection \[ \{\text{subset of Spec }R\}\rightarrow\{\text{localizing subcategories of } D(R)\}. \] The authors extend Neeman's classification to the setting of a graded modules over a graded commutative noetherian ring. Let \(G\) denote a grading group of a graded ring \(R\) and \(\epsilon:G\times G\rightarrow \mathbb{Z}/2\) be a symmetric \(\mathbb{Z}\)-bilinear map. The authors say that the graded ring \(R\) is \(\epsilon\)-commutative if \(r\cdot s=(-1)^{\epsilon(\deg\; r, \deg\; s)}s\cdot r\) holds for all homogeneous elements \(r\) and \(s\) in \(R\). Let \(\text{Spc } D(R)^c\) denote the spectrum of the tensor triangulated category of compact objects, in the sense of \textit{P. Balmer} [J. Reine Angew. Math. 588, 149--168 (2005; Zbl 1080.18007)]. The authors prove that for every \(\epsilon\)-commutative noetherian \(G\)-graded ring \(R\) there is a unique support preserving homeomorphism \(\text{Spec}^h R\rightarrow\text{Spc }D(R)^c\). In particular, there are inclusion preserving mutually inverse assignments \[ \{\text{specialization closed subsets of Spec}^h R\}\rightleftarrows\{\text{thick} \otimes\text{-ideals of } D(R)^c\} \] In the last section, authors provide an application to weighted projective schemes.



Cites work


Cited in
(23)








This page was built for publication: On the derived category of a graded commutative noetherian ring

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