nLab spectrum of an abelian category

Contents

Contents

Idea

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.

Definition

Let AA be a svelte abelian category. One first defines a preorder \succ on the class of nonzero objects in AA by setting MNM\succ N if NN is a subquotient of the direct sum of finitely many copies of MM. In other words, MNM\succ N if there exists a positive number kk and a subobject UU of a direct sum i=1 kM\oplus_{i = 1}^k M of kk copies of MM and an epimorphism from UU to NN.

As a set, spectrum SpecA\mathbf{Spec}\,A of an abelian category AA, can be described as a set of equivalence classes of topologizing subcategories [M][M] generated by objects MM in AA such that LML\succ M for any nonzero subobject LL of MM, equipped with a specialization preorder.

If A=Qcoh(X)A = Qcoh(X) where XX is the abelian category of quasicoherent sheaves of 𝒪 X\mathcal{O}_X modules on a quasiseparated quasicompact scheme, then the scheme XX can be reconstructed up to isomorphisms in two steps. First one constructs the spectrum SpecQcoh(X)\mathbf{Spec} Qcoh(X) 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 possessing a cover by affines whose inclusions have a direct image functor, but then one needs to use a different spectrum.

References

  • Alexander Rosenberg, Geometry of Noncommutative ‘Spaces’ and Schemes, MPIM 2011-68, pdf

  • A. L. Rosenberg, Underlying spaces of noncommutative spaces, dvi, ps

  • A. L. Rosenberg, Topics in noncommutative algebraic geometry, homological algebra and K-theory, preprint MPIM Bonn 2008-57 pdf

  • 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, Spectra of noncommutative spaces, MPIM2003-110 ps dvi (2003)

  • A. L. Rosenberg, Noncommutative schemes, Compos. Math. 112 (1998) 93–125 (doi)

  • 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

Last revised on March 25, 2021 at 03:56:22. See the history of this page for a list of all contributions to it.