Zoran Skoda
gluing categories from localizations

Idea

Descent for the abelian categories may be given in two standard ways: one by using transition functors, and another to pack all the transition functors in a single comonad. We shall deal here with a family of flat localizations which are jointly a conservative family (cover by flat localization). If we satisfy conditions for one of the variants of the Beck’s comonadicity theorems we have descent.

From a family of localizations to a comonad

This section is explained in (Ros:Nc-Sch) and (Skoda:nloc).

By a flat localization (functor) we will mean an exact additive functor Q *Q^* having a fully faithful right adjoint Q *Q_*. The composition Q *Q *Q_* Q^* is then often denoted by QQ. A family F λ *:𝒜 λF_\lambda^*: \mathcal{A}\to \mathcal{B}_\lambda, λΛ\lambda\in\Lambda of functors with the same domain is conservative if Q λ *(f)Q^*_\lambda(f) is invertible for all λ\lambda only if ff is invertible. A flat cover of an abelian category 𝒜\mathcal{A} is by definition a conservative family of flat functors F λ:𝒜 λF_{\lambda}:\mathcal{A}\to\mathcal{B}_{\lambda}.

Localization functors typically do not mutually commute. Namely, given a family of flat localizations Q λ *:𝒜𝒜 λQ_\lambda^*: \mathcal{A}\to\mathcal{A}_\lambda, λΛ\lambda\in\Lambda, the functors Q λQ μ=Q λ*Q λ *Q μ*Q μ *:𝒜𝒜Q_{\lambda} Q_\mu = Q_{\lambda*}Q_\lambda^{*}Q_{\mu*}Q_\mu^*:\mathcal{A}\to\mathcal{A} and Q μQ λQ_\mu Q_\lambda for λμ\lambda\neq\mu are in general not isomorphic. If the family is a cover then define the product category 𝒜 Λ= λΛ𝒜 λ\mathcal{A}_\Lambda = \prod_{\lambda\in\Lambda}\mathcal{A}_\lambda and the functor Q *:𝒜𝒜 Λ\mathbf{Q}^*:\mathcal{A}\to\mathcal{A}_\Lambda, Q *:M(Q λ *M) λ\mathbf{Q}^*:M\to(Q_\lambda^* M)_{\lambda} where the notation (N λ) λ=(N λ) λΛ(N_\lambda)_\lambda = (N_\lambda)_{\lambda\in\Lambda} denotes the ordered Λ\Lambda-tuple in 𝒜 Λ\mathcal{A}_\Lambda. If 𝒜\mathcal{A} has products of families of cardΛ\mathrm{card}\,\Lambda objects, then Q *\mathbf{Q}^* has a right adjoint Q *:𝒜 Λ𝒜\mathbf{Q}_* :\mathcal{A}_\Lambda\to\mathcal{A} given by (M λ) λ λQ λ*M λ(M^\lambda)_\lambda\mapsto \prod_\lambda Q_{\lambda *} M^\lambda. Indeed,

Hom 𝒜 Λ((M λ) λ,(Q λ *N) λ) := λΛHom 𝒜 λ(M λ,Q λ *N) = λΛHom 𝒜(Q λ*M λ,N) = Hom 𝒜( λ*Q λ*M λ,N)\array{ Hom_{\mathcal{A}_\Lambda}((M^\lambda)_\lambda,(Q^*_\lambda N)_\lambda) &:=& \prod_{\lambda\in\Lambda} Hom_{\mathcal{A}_\lambda}(M^\lambda,Q^*_\lambda N) \\ &=& \prod_{\lambda\in\Lambda} Hom_{\mathcal{A}}(Q_{\lambda*}M^\lambda,N) \\ &=& Hom_{\mathcal{A}}(\prod_{\lambda*}Q_{\lambda *}M^\lambda,N)\,\, }

The unit η:Id 𝒜Q *Q *:𝒜𝒜\mathbf{\eta}:Id_{\mathcal{A}}\to\mathbf{Q}_*\mathbf{Q}^*:\mathcal{A}\to\mathcal{A} of the adjunction Q *Q *\mathbf{Q}^*\dashv\mathbf{Q}_* is the map induced from the units η λ\eta^\lambda, by the universality of Cartesian product in 𝒜\mathcal{A}, namely η=(η λ) λΛ:M λQ λ*Q λ *M\mathbf{\eta} = (\eta^\lambda)_{\lambda\in\Lambda} : M\to\prod_\lambda Q_{\lambda*}Q^*_\lambda M. The counit ϵ:Q *Q *Id 𝒜 Λ\mathbf{\epsilon}:\mathbf{Q}^*\mathbf{Q}_*\to Id_{\mathcal{A}_\Lambda} has the components given by the compositions

ϵ (N λ) λ:(Q λ * μQ μ*N μ) λ(Q λ *(pr λ)) λ(Q λ *Q λ*N λ) λ(ϵ λ) λ(N λ) λ\mathbf{\epsilon}_{(N^\lambda)_\lambda} : (Q^*_\lambda\prod_\mu Q_{\mu*} N^\mu)_\lambda \stackrel{(Q^*_\lambda (\mathrm{pr}_\lambda))_\lambda}\to (Q^*_\lambda Q_{\lambda*}N^\lambda)_\lambda \stackrel{(\epsilon^\lambda)_\lambda}\to (N^\lambda)_\lambda

where in the first functor the projections for the Cartesian product are used.

Denote Ω:=Q *Q *:𝒜 Λ𝒜 Λ\Omega:= \mathbf{Q}^* \mathbf{Q}_{*} :\mathcal{A}_\Lambda\to\mathcal{A}_\Lambda; then Ω=(Ω,δ,ϵ)\mathbf{\Omega} = (\Omega,\mathbf{\delta},\mathbf{\epsilon}) is the comonad on 𝒜 Λ\mathcal{A}_\Lambda induced by the adjunction Q *Q *\mathbf{Q}^*\dashv\mathbf{Q}_*, where for each (N λ) λ𝒜 Λ(N^\lambda)_\lambda\in\mathcal{A}_\Lambda the component δ (N λ) λ λ\mathbf{\delta}^\lambda_{(N^\lambda)_\lambda} of the comultiplication δ=Q *ηQ *\mathbf{\delta} = \mathbf{Q}^*\mathbf{\eta}\mathbf{Q}_* is more explicitly the map

δ (N λ) λ λ=(Q μ *(η λQ λ*N λ ρ) ρ) μ:(Q μ * λQ λ*N λ) μ(Q μ * ρQ ρ*Q ρ * λQ λ*N λ) μ \mathbf{\delta}^\lambda_{(N^\lambda)_\lambda} = (Q_\mu^* (\eta^\rho_{\prod_\lambda Q_{\lambda*}N^\lambda})_\rho)_\mu : (Q^*_\mu\prod_\lambda Q_{\lambda *} N^\lambda)_\mu \to (Q_\mu^*\prod_\rho Q_{\rho*}Q^*_\rho\prod_\lambda Q_{\lambda *} N^\lambda)_\mu

Again, if each Q μ *Q_\mu^* commutes with Λ\Lambda-products then the products can be placed in front: $( λQ μ *Q λ*N λ) μ( λρQ μ *Q ρ*Q ρ *Q λ*N λ) μ(\prod_\lambda Q^*_\mu Q_{\lambda *} N^\lambda)_\mu \to (\prod_{\lambda\rho}Q_\mu^*Q_{\rho*}Q^*_\rho Q_{\lambda *} N^\lambda)_\mu$

There is a comparison functor

K Ω:𝒜(𝒜 Λ) Ω,M(Q *M,Q *(η M))=((Q λ *M) λ,(Q λ *(η M μ) μ) λ);K_{\mathbf{\Omega}}:\mathcal{A}\to(\mathcal{A}_\Lambda)_{\mathbf{\Omega}}, \,\,\,M\mapsto (\mathbf{Q}^*M,\mathbf{Q}^*(\mathbf{\eta}_M)) =((Q_{\lambda}^* M)_\lambda,(Q^*_\lambda(\eta^\mu_M)_\mu)_\lambda);

under the appropriate (Beck comonadicity criteria) conditions K ΩK_{\mathbf{\Omega}} is an equivalence, with the (quasi)inverse mapping sending an Ω\mathbf{\Omega}-comodule (N,ν)(𝒜 Λ) Ω(N,\nu)\in(\mathcal{A}_\Lambda)_{\mathbf{\Omega}}, into the equalizer of morphisms η Q *N\mathbf{\eta}_{\mathbf{Q}_*N} and Q *(ν):Q *NQ *Q *Q *N\mathbf{Q}_*(\nu) : \mathbf{Q}_* N\to \mathbf{Q}_*\mathbf{Q}^*\mathbf{Q}_* N in 𝒜\mathcal{A}, thus identifying 𝒜\mathcal{A} with the Eilenberg-Moore category of comodules for the comonad Ω\mathbf{\Omega}.

Local description of functors

Now consider functor F:𝒜F:\mathcal{A}\to\mathcal{B} between two comonadic categories. Throughout we assume that the comonad is induced by a cover by flat localization functors commuting with direct products cardΛcard\,\Lambda objects; without loss of generality, for simplicity, the categories are identified with the Eilenberg-Moore categories for the corresponding comonad. The localization data for \mathcal{B} will be denoted by primed symbols, like Ω\Omega', QQ' etc. while the label set for the cover will be MM rather than Λ\Lambda.

We claim that FF can be locally represented by fucntors F μλ:𝒜 λ μF_{\mu\lambda} : \mathcal{A}_\lambda\to\mathcal{B}_\mu for all pairs λ,μ\lambda,\mu where these local functors have to satisfy a set of compatibility conditions to explain later. The passage from FF to F μλF_{\mu\lambda} is given by a simple recipe, namely F μλ=Q μ *FQ λ*F_{\mu\lambda} = Q^{'*}_\mu F Q_{\lambda*}, reminding the description of morphisms of manifolds in pairs of local charts.

Obsolete section

Let {Q λ *:AB λ} λΛ\{ Q^*_\lambda : A \rightarrow B_\lambda\}_{\lambda \in \Lambda} be a small family of functors having fully faithful right adjoints Q λ*Q_{\lambda *}. In practice, the categories B λB_\lambda are not necessarily constructed from AA by a localization, but of course they are equivalent to such.

One may consider the category B Λ:= λΛB λB_\Lambda : = \prod_{\lambda \in \Lambda}B_\lambda whose objects are families λΛM λ\prod_{\lambda \in \Lambda} M^\lambda of objects M λM^\lambda in B λB_\lambda and morphisms are families λΛf λ: λΛM λ λΛN λ\prod_{\lambda \in \Lambda}f_\lambda : \prod_{\lambda \in \Lambda} M^\lambda \rightarrow \prod_{\lambda \in \Lambda} N^\lambda where f λ:M λN λf_\lambda : M^\lambda \rightarrow N^\lambda is a morphism in B λB_\lambda, with componentwise composition. This makes sense as the family of objects is literally a function from Λ\Lambda to the disjoint union λObB λ\coprod_\lambda {Ob}\,B_\lambda which is in the same Grothendieck universe.

The family of adjoint pairs Q λ *Q λ*Q^*_\lambda \dashv Q_{\lambda *} defines an inverse image functor Q *=Q λ *:AA Λ\mathbf{Q}^* = \prod Q^*_\lambda : A \rightarrow A_\Lambda by Q *(M):= λΛQ λ *(M)\mathbf{Q}^*(M) := \prod_{\lambda \in \Lambda}Q^*_\lambda(M) on objects and Q *(f):= λQ λ *(f)\mathbf{Q}^*(f) := \prod_\lambda Q^*_\lambda(f) on morphisms. However, a direct image functor may not exist. We may naturally try Q *: λM λ λQ *(M λ)\mathbf{Q}_* : \prod'_\lambda M^\lambda \mapsto \prod'_\lambda Q_*(M^\lambda) where \prod' is now the symbol for the Cartesian product in AA which may not always exist. For finite families, with AA abelian, these trivially exist. Let A Λ= λΛAA^\Lambda = \prod_{\lambda\in\Lambda} A be the power category. Assume a fixed choice of the Cartesian product for all Λ\Lambda-tuples in AA. Then {M λ} λ λΛM λ\{M^\lambda\}_\lambda \mapsto \prod'_{\lambda\in \Lambda} M^\lambda extends to a functor A ΛAA^\Lambda\to A, and the universality of products implies that the projections p ν{M λ} λ: λM λM νp'_{\nu \{M^\lambda\}_\lambda} : \prod_\lambda M^\lambda \rightarrow M^\nu form a natural transformation of functors p ν: λId Ap νp'_\nu : \prod'_{\lambda} {Id}_A\Rightarrow {p}_{\nu} where p ν:A ΛAp_\nu : A^\Lambda \rightarrow A is the ν\nu-th formal projection λM λM ν\prod_\lambda M^\lambda\to M^\nu. The unique liftings η M:MQ *Q *(M)\mathbf{\eta}_M : M \rightarrow \mathbf{Q}_* \mathbf{Q}^* (M) of morphisms η νM:MQ ν*Q ν *(M)\eta_{\nu M} : M \rightarrow Q_{\nu *} Q^*_\nu (M) in the sense that (ν)η νM=p νMη M(\forall \nu)\, \eta_{\nu M} = p'_{\nu M} \circ \eta_M hence form a natural transformation η:Id AQ *Q *\mathbf{\eta} : {Id}_A \Rightarrow \mathbf{Q}_* \mathbf{Q}^*.

Define ϵ λϵ λ: λQ λ *Q λ* λId B λ=Id B Λ\mathbf{\epsilon} \equiv \prod_\lambda \epsilon_\lambda: \prod_\lambda Q^*_\lambda Q_{\lambda *} \Rightarrow \prod_\lambda {Id}_{B_\lambda} = {Id}_{ B_\Lambda} componentwise. This way we obtain an adjunction Q *Q *\mathbf{Q}^* \dashv \mathbf{Q}_*. As usual, every adjunction generates a comonad on B ΛB_\Lambda, which will be in our case denoted by G=(G,δ,ϵ)\mathbf{G}=(G,\delta,\mathbf{\epsilon}) where G=Q *Q *G=\mathbf{Q}^*\mathbf{Q}_*, the comultiplication is δ=Q *ηQ *\delta = \mathbf{Q}^*\mathbf{\eta}\mathbf{Q}_* where the counit ϵ\mathbf\epsilon and the unit η\mathbf{\eta} are from above.

Sufficient conditions for comonadicity

If Q λ*Q_{\lambda *} is faithful and exact for every λ\lambda then Q *\mathbf{Q}_* is as well.

Consider the comonad G\mathbf{G} in B ΛB_\Lambda associated to Q *Q *\mathbf{Q}^* \dashv \mathbf{Q}_*. We are interested in situation when the comparison functor K GK_{\mathbf{G}} is an equivalence of categories.

Typically one needs to ensure the faithfulness of Q *\mathbf{Q}_* for what we require that the family {Q λ *} λΛ\{Q^*_\lambda\}_{\lambda \in \Lambda} is a flat cover of AA, by that in this setup we mean that Q λ *Q^*_\lambda are all exact (and having right adjoint as before). Flat cover is by a definition a small flat family of functors with domain AA which is conservative, i.e. a morphism fAf \in A is invertible iff Q λ *(f)Q^*_\lambda(f) is invertible for each λΛ\lambda \in \Lambda. A flat map whose direct image functor is conservative is called almost affine. In particular, this is true for adjoint triples f *f *f !f^* \dashv f_* \dashv f^! coming from a map f:RSf : R \rightarrow S of rings. Adjoint triples where the direct image functor is conservative are called affine morphisms.

The cocycle condition for gluing morphism is equivalent to the coaction axiom for the associated comodule. The remaining requirements are made to ensure that the comparison functor is an equivalence and the other original data may be reconstructed as well. The Eilenberg-Moore category of the associated monad may be constructed directly from gluing morphisms, and it appears to be just a reformulation of the descent category.

A special case of Beck's theorem. Let Q *Q *\mathbf{Q}^* \dashv \mathbf{Q}_* be an adjoint pair and G\mathbf{G} its associated comonad._If Q *\mathbf{Q}^* preserves and reflects equalizers of all parallel pairs in B\mathbf{B} (for which equalizers exists) and if any parallel pair mapped by Q *\mathbf{Q}^* into a pair having an equalizer in AA has an equalizer in B\B, then the comparison functor K:AGComodK : A \rightarrow \mathbf{G}-{Comod} is an equivalence of categories.

Peculiarities in localization of rings and modules

Notation standard in the localization theory of modules. We usually denote the composition Q λ:=Q λ*Q λ *Q_\lambda := Q_{\lambda *}Q_\lambda^* where Q λ*Q_{\lambda *} is the right adjoint to the categorical localization Q λ *Q_\lambda^*. No star means hence means that we consider a localization as an endofunctor (comp. of a localization and an embedding back of the localized category). When ring theorists say that a localization Q λQ_\lambda is flat you never know if they mean really that the composition is flat (stronger property: means that both left and right adjoints Q λ*Q_{\lambda *} and Q λ *Q_\lambda^* are flat, we say that the “geometric morphism” is biflat. If MM is in the nonlocalized category, then the component of the adjunction is denoted by i λM:MQ λMi_{\lambda M}:M\to Q_\lambda M. If the domain is the category RModR-Mod of modules over a ring RR and Q λQ_\lambda itself has a right adjoint (affine localization) then in fact Q λRQ_\lambda R is also a ring and i λRi_{\lambda R} is a ring homomorphism (this is true for example for all perfect localizations e.g. Ore localizations which are affine and biflat).

Localization functors do not commute. While the descent over topological spaces compares the modules over multiple intersections and UV=VUU\cap V=V\cap U, for the descent over the covers by localizations the consecutive localized modules Q μQ νMQ_\mu Q_\nu M and Q νQ μMQ_\nu Q_\mu M are NOT in general isomorphic!

We denote M λ=Q λMM_\lambda = Q_\lambda M. Thus M μν=Q νQ μMM_{\mu\nu} = Q_\nu Q_\mu M (note order!).

Canonical maps between single and (pair-) consecutive localizations are of two distinct kinds

  • i μνM μ=(i ν) M μ:M μM μνi^\mu_{\mu\nu M}=(i_\nu)_{M_\mu}: M_\mu\to M_{\mu\nu} is given by the component of the adjunction morphism i ν:IdQ ν=Q ν *Q ν*i_\nu:Id\to Q_\nu = Q^*_\nu Q_{\nu *} at M μM_\mu

  • i μνM ν=Q ν(i μM):M νM μνi^\nu_{\mu\nu M} = Q_\nu(i_{\mu M}) : M_\nu\to M_{\mu\nu} is obtained by applying localization functor to the component of adjunction morphism i μi_\mu at MM.

Notice that while Grothendieck topologies satisfy stability exiom, we do not have pullback here at all: while intersections of open sets are pullbacks, the consecutive localizations Q μQ νAQ_\mu Q_\nu A are not pullbacks of Q μAQ_\mu A and Q νAQ_\nu A and instead of comparing modules at the pullbacks, the descent requires that we compare N μN^\mu from μ\mu-localization and module N μN^\mu from ν\nu-localization both in μ,ν\mu,\nu and ν,μ\nu,\mu-consecutive localizations, for the comparison we use both kinds of the canonical maps. When I say N μN^\mu I mean some object in μ\mu-localization, which is not necessarily of the form Q μNQ_\mu N for some NN, if it were I would call it N μN_\mu (lower index).

Application: globalization lemma

Globalization lemma. (version for Gabriel filters: in (Rosen:88) p. 103) Suppose {Q λ *:RMod λ} λΛ\{Q_\lambda^* : R-{Mod} \rightarrow \mathcal{M}_\lambda \}_{\lambda \in \Lambda} is a finite cover of RModR-{Mod} by affine biflat localization functors (e.g. a conservative family of Ore localizations {S λ 1R} λΛ\{S_\lambda^{-1}R \}_{\lambda \in \Lambda}). Then for every left RR-module MM the sequence

0Mι Λ,M λΛQ λMι ΛΛ,M (μ,ν)Λ×ΛQ μQ νM 0 \to M \stackrel{\iota_{\Lambda,M}}\longrightarrow \prod_{\lambda \in \Lambda} Q_\lambda M \stackrel{\iota_{\Lambda\Lambda,M}}\longrightarrow \prod_{(\mu,\nu) \in \Lambda\times \Lambda} Q_{\mu}Q_\nu M

is exact, where ι ΛM:mι λ,M(m)\iota_{\Lambda M} : m \mapsto \prod \iota_{\lambda,M}(m), and

(1)ι ΛΛM:= λm λ (μ,ν)(ι μ,ν,M μ(m μ)ι μ,ν,M ν(m ν)). \iota_{\Lambda\Lambda M} := \prod_\lambda m_\lambda \mapsto \prod_{(\mu,\nu)} (\iota^\mu_{\mu,\nu,M} (m_\mu) - \iota^\nu_{\mu,\nu,M} (m_\nu)).

The maps ι μν\iota_{\mu\nu} etc. are obtained as components of adjunctions as usual. For ι ΛΛ\iota_{\Lambda\Lambda} we use combination of all such maps. Here the order matters: pairs with μ=ν\mu = \nu may be (trivially) skipped, but, unlike in the commutative case, we can not confine to the pairs of indices with μ<ν\mu\lt\nu only. Nota bene!

Proof is a direct corollary of Beck theorem. For proofs in the cases and in terms of Gabriel filters and hereditary torsion theories see (Rosen:book), pp. 23–25, and (Jara-Verschoren-Vidal, Versch:96, vOyst:assalg).

Literature

  • (Jara-Verschoren-Vidal) P. Jara, A. Verschoren, C. Vidal, Localization and sheaves: a relative point of view, Pitman Res. Notes in Math. 339, Longman 1995.

  • (Rosen:88) A. L. Rosenberg, Non-commutative affine semischemes and schemes, Seminar on supermanifolds No. 26, edited by D. Leites, Dept. of Math., Univ. of Stockholm 1988, ISSN 0348-7652.

  • (Rosen:book) A. L. Rosenberg, Noncommutative algebraic geometry and representations of quantized algebras, MAIA 330, Kluwer 1995.

  • (Ros:Nc-Sch) A. L. Rosenberg, Noncommutative schemes, Comp. Math. 112 (1998), pp. 93–125.

  • (Skoda:nloc) Z. Škoda, Noncommutative localization in noncommutative geometry

  • (vOyst:assalg) F. van Oystaeyen, Algebraic geometry for associative algebras, Marcel Dekker 2000.

  • (vOyst-Willaert:1995) F. van Oystaeyen, L. Willaert, Grothendieck topology, coherent sheaves and Serre’s theorem, J. Pure Appl. Alg. 104 (1995), pp. 109–122.

  • (Versch:96) A. Verschoren, Sheaves and localization, J. Algebra 182 (1996), no. 2, pp. 341–346.

Revised on August 17, 2010 20:06:39 by Zoran Škoda (193.198.162.14)