Reconstructing projective schemes from Serre subcategories

Abstract

Given a positively graded commutative coherent ring A which is finitely generated as an A_0-algebra, a bijection between the tensor Serre subcategories of qgr A and the set of all subsets Y\subseteq Proj A of the form Y=\bigcup_{i\in\Omega}Y_i with quasi-compact open complement Proj A\Y_i for all i\in\Omega is established. To construct this correspondence, properties of the Ziegler and Zariski topologies on the set of isomorphism classes of indecomposable injective graded modules are used in an essential way. Also, there is constructed an isomorphism of ringed spaces (Proj A,O_{Proj A}) --> (Spec(qgr A),O_{qgr A}), where (Spec(qgr A),O_{qgr A}) is a ringed space associated to the lattice L_{serre}(qgr A) of tensor Serre subcategories of qgr A.