nLab compatible localization

There are several notions under a name of compatible localization; where localization pertains to the localization of rings or of localization of categories.

(Pairwise) compatibility of a family of localizations

Consider a family of localizations sharing the same source ring (or source category). Two Gabriel localizations i Rk:RR ki_{R k}: R\to R_k, k=1,2k = 1,2 of a ring RR, with corresponding localization endofunctors for modules Q k:MM kQ_{k}:M\to M_k are mutually compatible if the consecutive localization of Q 2Q 1RQ_2 Q_1 R is naturally a ring (or equivalently Q 1Q 2RQ_1 Q_2 R is a ring), such that the corresponding localization arrow is a morphism of rings. This is equivalent to the following more general criterium.

Two affine localizations with the inverse image functors Q k *Q_k^* and direct image functors Q k*:AA kQ_{k*}: A\to A_k, k=1,2k = 1,2 are mutually compatible if the endofunctors Q k:=Q k*Q k *Q_k:=Q_{k*}Q_k^* mutually commute as endofunctors of AA.

According to Thomason-Trobaugh, an algebraic scheme is semiseparated if it has an affine cover such that the intersection of any two affines in the cover is affine (semiseparated cover). For example, every separated scheme is semiseparated. Alexander Rosenberg extends this terminology to noncommutative schemes by observing that an affine cover is semiseparated iff the corresponding localization functors restricting the category of quasicoherent sheaves on the whole scheme to an element of a cover, form a compatible family of affine localizations.

Coaction compatible localizations

Given a right BB-comodule algebra (E,ρ)(E, \rho) for a bialgebra HH, with coaction ρ:EEH\rho : E\to E\otimes H, an Ore localization of rings (or more general affine localization) j:EEj : E\to E' is ρ\rho-compatible if there exists a morphism ρ:EEH\rho': E'\to E\otimes H such that the following diagram commutes:

E j E ρ ρ EH jH EH\array{ E & \stackrel{j}\to & E'\\ \downarrow\rho && \downarrow \rho'\\ E\otimes H &\stackrel{j\otimes H}\to & E'\otimes H }

Compatibility of localizations and endofunctors

A localization functor Q *=Q Σ *:ABQ^*=Q^*_\Sigma : A\to B (not necessarily having a right adjoint) universally inverting a family Σ\Sigma of morphisms in AA is compatible with an endofunctor G:AAG:A\to A if G(Σ)ΣG(\Sigma)\subset \Sigma. By the universality property of the localization functor, this is equivalent to the existence of a functor G ΣBG_\Sigma\in B such that Q *G=G ΣQ *Q^* G = G_\Sigma Q^*.

If Q *Q^* is a localization having a fully faithful right adjoint Q *Q_*, with counit ϵ\epsilon (which is hence iso) and unit η\eta; then the compatibility of Q *Q^* with an endofunctor GG is equivalent to any of the following:

(i) there exists a distributive law l:Q *Q *GGQ *Q *l : Q_* Q^* G\to G Q_* Q^* where Q *Q *Q_* Q^* is understood as (the underlying functor of) the idempotent monad induced by the adjunction Q *Q *Q^*\dashv Q_*

(ii) the natural transformation Q *Gη:Q *GQ *GQ *Q *Q^* G\eta : Q^* G\to Q^* G Q_* Q^* is invertible

(iii) there is a functor GG' and a natural isomorphism Q *GGQ *Q^* G\cong G' Q^*.

If (i) holds then ll is invertible and uniquely determined by GG and the monad Q *Q *Q^* Q_*. Notice that Q *G ΣGQ *Q_* G_\Sigma \neq G Q_* in general. See distributive law for idempotent monad for more.

One can also consider the distributive laws l˜:GQ *Q *Q *Q *G\tilde{l} : G Q_* Q^*\to Q_* Q^* G. The inverse l 1l^{-1} of the distributive law l:GQ *Q *Q *Q *Gl: G Q_* Q^*\to Q_* Q^* G as above is the unique invertible example of such. It is not clear (to me at least – Zoran) if there are also noninvertible examples for l˜\tilde{l}.


For the pairwise compatibility of localizations see

  • Fred Van Oystaeyen, Compatibility of kernel functors and localization functors, Bull. Soc. Math. Belg. 28 (1976), no. 2, 131–137.

  • Alain Verschoren, Compatibility and stability,

    Notas de Matemática [Mathematical Notes], 3. Universidad de Murcia, Secretariado de Publicaciones e Intercambio Científico, Murcia, 1990. xii+81 pp. ISBN: 84-7684-934-6

  • J. Mulet, A. Verschoren, On compatibility. II., Comm. Algebra 20 (1992), no. 7, 1897–1905. doi

  • M. I. Segura, D. Tarazona, A. Verschoren, On compatibility, Comm. Algebra 17 (1989), no. 3, 677–690.

The compatibility of coactions with Ore localizations is introduced in

  • Zoran Škoda, Localizations for construction of quantum coset spaces, in “Noncommutative geometry and Quantum groups”, W.Pusz, P.M. Hajac, eds. Banach Center Publications 61, pp. 265–298, Warszawa 2003, math.QA/0301090.

The compatibilities between localization functors with endofunctors is formulated in

  • V. A. Lunts, A. L. Rosenberg, Differential calculus in noncommutative algebraic geometry I. D-calculus on noncommutative rings, MPI 1996-53 pdf

A version with distributive laws is introduced in

  • Zoran Škoda, Some equivariant constructions in noncommutative algebraic geometry, Georgian Mathematical Journal 16 (2009), No. 1, 183–202, arXiv:0811.4770.

See also

Created on September 6, 2010 at 16:36:28. See the history of this page for a list of all contributions to it.