The Gabriel–Zariski topology associated to a locally finitely presented additive category is introduced. This topology for the functor category is shown to be equivalent to the dual-Ziegler topology for the module category. The “structure sheaf” formed by rings of definable scalars over this topology is defined and computed for certain types of ring.

The Gabriel–Zariski spectrum

In Section 14.1.1 we see how to define the Zariski spectrum of a commutative noetherian ring purely in terms of its category of modules. This results in a definition that makes good sense in any locally finitely presented abelian category and yields, in Section 14.1.2, a spectrum based on indecomposable injectives. This space carries a presheaf of localisations which we also define.

The coincidence of various topologies over various types of ring is considered in Section 14.1.3 and it is shown in that section that the dual-Ziegler and rep-Zariski topologies coincide.

We are going to define a presheaf of rings over the set, pinjR, of isomorphism types of indecomposable pure-injective right R-modules equipped with the dual-Ziegler topology. That topology was defined in Section 5.6 and we will see another way of defining it here.