The aim of these notes is to collect and motivate the basic localization
toolbox for the geometric study of ``spaces'', locally described by
noncommutative rings and their categories of one-sided modules.
We present the basics of Ore localization of rings and modules in much
detail. Common practical techniques are studied as well. We also describe a
counterexample for a folklore test principle. Localization in negatively
filtered rings arising in deformation theory is presented. A new notion of the
differential Ore condition is introduced in the study of localization of
differential calculi.
To aid the geometrical viewpoint, localization is studied with emphasis on
descent formalism, flatness, abelian categories of quasicoherent sheaves and
generalizations, and natural pairs of adjoint functors for sheaf and module
categories. The key motivational theorems from the seminal works of Gabriel on
localization, abelian categories and schemes are quoted without proof, as well
as the related statements of Popescu, Watts, Deligne and Rosenberg.
The Cohn universal localization does not have good flatness properties, but
it is determined by the localization map already at the ring level. Cohn
localization is here related to the quasideterminants of Gelfand and Retakh;
and this may help understanding both subjects.Comment: 93 pages; (including index: use makeindex); introductory survey, but
with few smaller new result