The injective spectrum of a right Noetherian ring (Q2201061)

Although the authors are mainly interested in the study of injective spectra of right Noetherian rings, many results are true in locally Noetherian categories, so the results are given in this setting. For any Grotendieck category \(\mathcal{A}\), the injective spectrum \(\mathrm{InjSpec}(\mathcal{A})\) is defined as the set of (isoclasses of) indecomposable injective objects of \(A\), with the topology that has as basis of open sets the collection of all \([A]:=\{E \in \mathrm{InjSpec}(\mathcal{A})\mid (A,E)=0\}\), as A ranges over \(\mathcal{A}^{\mathrm{fp}}\), the category of finitely presented objects of \(\mathcal{A}\). Here \((A,E)\) denotes the group of maps \(A \rightarrow E\). The injective spectrum coincides with the well-known Zariski spectrum in the case where \(R\) is commutative Noetherian. Let \(\mathcal{A}\) be any (fixed) locally Noetherian Grotendieck category. For \(E,F \in \mathrm{InjSpec}(\mathcal{A})\), \(E\) is said to specialise to \(F\) if every closed set containing \(E\) also contains \(F\). This is written as \(E \rightsquigarrow F\). It is shown that \(E\) specialises to \(F\) if and only if there is a cardinal \(\lambda\) such that \(E\) embeds in \(F^\lambda\). As a corollary to this result, it is shown that if \(A\) is a uniform object of \(\mathcal{A}\) and \(E \in \mathrm{InjSpec}(R)\), then if \(A\) embeds in a product of copies of \(E\), then \(E(A)\) specialises to \(E\) (where \(E(A)\) denotes the injective hull of \(A\)). This result is the main tool for showing specialisation in examples. It is proved that any \(E\) in the injective spectrum of \(\mathcal{A}\) having a simple subobject is a closed point, but only a partial converse of this is found. Unlike the in case of the Zariski spectrum for a commutative Noetherian ring, which is a covariant functor between the category of commutative rings and the category of topological spaces, not much can be said about the functoriality of the injective spectrum \(S\). It is shown for certain ring maps from a ring \(R\) to a ring \(S\) that continuous maps \(\mathrm{InjSpec}(R) \rightarrow \mathrm{InjSpec}(S)\) are induced. The relation between Krull dimension and the topological structure of the injective spectrum is considered next and results concerning specialisation, points of maximal dimension and irreducibility of the injective spectrum of a Noetherian domain are obtained. In the final section a few examples are given in great detail. The injective spectra of right Artinian rings and right Noetherian domains of Krull dimension are found. The universal enveloping algebra of the first Heisenberg algebra is also determined. All of these have a very neat description. As an example of more complicated behaviour of the injective spectrum, a specific ring with Krull dimension 2 is considered.