On the derived category of a graded commutative noetherian ring

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.

💡 Research Summary

The paper studies the derived category D(R) of a graded commutative Noetherian ring R whose grading group G is an arbitrary abelian group (possibly with torsion) and whose commutativity is allowed to follow a general sign rule encoded by a symmetric bilinear map ε: G×G → ℤ/2. Such ε‑commutative rings include ordinary commutative rings (ε=0), the usual ℤ‑graded commutative rings, and super‑commutative algebras (G=ℤ/2).

The authors’ main goal is to extend Neeman’s classification of localizing subcategories of the ungraded derived category to this graded setting. To achieve this they develop a “small support” theory based on graded residue fields k(p) associated to homogeneous prime ideals p∈Spec⁽ʰ⁾R. For any object X∈D(R) they define

ssupp X = { p ∈ Spec⁽ʰ⁾R | k(p)⊗ᴸ X ≠ 0 }.

Key properties of this support are proved: it detects objects (if ssupp X=∅ then X≅0), it is compatible with the tensor product (ssupp (X⊗Y)=ssupp X∩ssupp Y), and it behaves well with respect to compact objects. The proof uses only elementary facts about injective graded modules and the structure of graded fields.

With this support in hand, the authors apply Balmer’s tensor‑triangular spectrum theory. They show that the Balmer spectrum of the subcategory of compact objects D(R)^c is homeomorphic to the homogeneous spectrum Spec⁽ʰ⁾R (Theorem 5.1). Since R is Noetherian, this space is Noetherian, allowing the full machinery of tensor‑triangular geometry to be used.

Two maps are introduced:

• τ(S) = { X ∈ D(R) | ssupp X ⊆ S } for any subset S⊆Spec⁽ʰ⁾R,
• σ(L) = ⋃_{X∈L} ssupp X for any localizing subcategory L⊆D(R).

The authors prove that τ and σ are mutually inverse inclusion‑preserving bijections between (i) twist‑closed localizing subcategories of D(R) (i.e. those closed under the G‑action given by degree shifts) and (ii) arbitrary subsets of Spec⁽ʰ⁾R (Theorem 5.7). “Twist‑closed” is necessary because when G≠0 the tensor unit R does not generate D(R); the extra closure condition exactly captures the G‑action.

A crucial ingredient is the minimality of the tensor‑ideal generated by each residue field: ⟨k(p)⟩⊗ is either zero or a minimal non‑zero tensor ideal (Proposition 5.5). This follows from the fact that k(p) behaves like a field object (Lemma 3.5).

The paper concludes with an application to weighted projective schemes. If R is a graded polynomial ring with weights, then Proj R (the weighted projective scheme) inherits a derived category of quasi‑coherent sheaves. Using the established support theory, the authors obtain a classification of its twist‑closed localizing subcategories in terms of subsets of the homogeneous spectrum of the underlying graded ring, thereby extending Neeman’s result to this geometric setting.

Overall, the work provides a clean, conceptual framework that unifies the classification of localizing subcategories for both ungraded and graded Noetherian rings, and demonstrates the power of tensor‑triangular geometry when combined with a suitably defined support theory. It also opens the door to further extensions, such as non‑abelian grading groups or non‑Noetherian contexts.