The injective spectrum of a noncommutative space. (Q1604361)

Noncommutative algebraic geometry arises from the various attempts to develop a geometric interpretation of information obtained from the study of noncommutative Noetherian rings. While a perhaps somewhat extremist point of view asserts that this can be done without associating a space with the ring, and that all that is needed is a category of sheaves on a ``virtual'' space, some people consider this to be too radical an approach and continue to search for what could possibly serve as the analogue of the ``spectrum'' of the commutative theory. A number of spectra arise quite naturally, and according to \textit{A.~L.~Rosenberg} [Noncommutative algebraic geometry and representations of quantized algebras (1995; Zbl 0839.16002)], they are all worth studying. The usual starting point for the different investigations is to replace the ring by its module category (a Grothendieck category) and to discuss the various topological spaces associated with it. In the paper under review, the author chooses as his ``spectrum'' the (suitably topologized) set \(\text{Inj}(\mathcal C)\) of isomorphism classes of injective indecomposable objects of the Grothendieck category \(\mathcal C\), an idea that goes back to \textit{P.~Gabriel} [Bull. Soc. Math. Fr. 90, 323-448 (1962; Zbl 0201.35602)]. It turns out that many notions from classical algebraic geometry generalize remarkably well to \(\text{Inj}(\mathcal C)\).