The spectrum of an abelian category (or Rosenberg’s spectrum) is a set attached to a svelte (equivalent to small) abelian category generalizing the left spectrum of a noncommutative ring. It can be equipped with natural Zariski topology and a stack of local abelian categories, similar to the picture of locally ringed spaces. It has been invented by A. L. Rosenberg in 1980-s.
Let be a svelte abelian category. One first defines a preorder on the class of nonzero objects in by setting if is a subquotient of finitely many copies of . In other words, if there exists a positive number and a subobject of a direct sum of copies of and an epimorphism from to .
As a set, spectrum of an abelian category , can be described as a set of equivalence classes of topologizing subcategories generated by objects in such that for any nonzero subobject of , equipped with a specialization preorder.
If where is the abelian category of quasicoherent sheaves of modules on a quasiseparated? quasicompact scheme, then the scheme can be reconstructed up to isomorphisms in two steps. First one constructs the spectrum as a topological space with a stack of local abelian categories. Then one does fibrewise the construction of a center of an abelian category, that is replacing each fibre (which is an abelian category) by the commutative ring of endotransformations of the identity functor and sheafifies. The Rosenberg’s version of the Gabriel-Rosenberg reconstruction of commutative schemes states that the result is isomorphic to the original scheme. One can generalize to arbitrary schemes posseing a cover by affiness whose inclusions have a direct image functor, but then one needs to use a different spectrum.
A. L. Rosenberg, The spectrum of abelian categories and reconstructions of schemes, in Rings, Hopf Algebras, and Brauer groups, Lectures Notes in Pure and Appl. Math. 197, Marcel Dekker, New York, 257–274, 1998; MR99d:18011; and Max Planck Bonn preprint Reconstruction of Schemes, MPIM1996-108, pdf (1996).
A. L. Rosenberg, The left spectrum, the Levitzki radical, and noncommutative schemes, Proc. Nat. Acad. Sci. U.S.A. 87 (1990), no. 21, 8583–8586.
A. L. Rosenberg, Noncommutative local algebra, Geom. Funct. Anal. 4 (1994), no. 5, 545–585.
A. L. Rosenberg, Noncommutative algebraic geometry and representations of quantized algebras, MIA 330, Kluwer Academic Publishers Group, Dordrecht, 1995. xii+315 pp. ISBN: 0-7923-3575-9