affine localization

A localization functor Q *:ABQ^* : A\to B is affine if it has a right adjoint Q *Q_* (which is automatically fully faithful, i.e. the localized category if reflective), and which itself is having its own right adjoint Q !Q^!. Therefore Q *Q *Q !Q^*\dashv Q_* \dashv Q^!.

For example, every left Ore localization of rings i:RS 1Ri: R\to S^{-1}R, induces a flat affine localization functor MS 1M=S 1R RMM\mapsto S^{-1}M = S^{-1}R\otimes_R M.

A functor is an affine localization if it is an inverse image part of an affine morphism with full direct image functor. Here affine morphism means an adjoint triple like above with conservative direct image functor; the conservativeness of an exact additive functor among abelian categories is equivalent to its faithfulness. While the notion of affine localization is fixed, the notion of an affine morphism given here has variants depending on the categorical context.

Last revised on April 8, 2011 at 18:46:32. See the history of this page for a list of all contributions to it.