Theory and Applications of Categories, Vol. 16, No. 1, 2006, pp. 1–45.
MONADS OF EFFECTIVE DESCENT TYPE AND COMONADICITY
BACHUKI MESABLISHVILI
Abstract. We show, for an arbitrary adjunction F U : B→Awith B Cauchy complete, that the functor F is comonadic if and only if the monad T on A induced by the adjunction is of effective descent type, meaning that the free T-algebra functor F T : A→AT is comonadic. This result is applied to several situations: In Section 4 to give a sufficient condition for an exponential functor on a cartesian closed category to be monadic, in Sections 5 and 6 to settle the question of the comonadicity of those functors whose domain is Set,orSet, or the category of modules over a semisimple ring, in Section 7 to study the effectiveness of (co)monads on module categories. Our final application is a descent theorem for noncommutative rings from which we deduce an important result of A. Joyal and M. Tierney and of J.-P. Olivier, asserting that the effective descent morphisms in the opposite of the category of commutative unital rings are precisely the pure monomorphisms.
1. Introduction Let A and B be two (not necessarily commutative) rings related by a ring homomorphism i : B → A. The problem of Grothendieck’s descent theory for modules with respect to i : B → A is concerned with the characterization of those (right) A-modules Y for which there is X ∈ ModB andanisomorphismY X⊗BA of right A-modules. Because of a fun- damental connection between descent and monads discovered by Beck (unpublished) and B´enabou and Roubaud [6], this problem is equivalent to the problem of the comonadicity of the extension-of-scalars functor −⊗BA :ModB → ModA. There are several results obtained along this line. For example, a fundamental result, due to A. Grothendieck [22] in the case of commutative rings and extended by Cipolla [14] and Nuss [40] to the noncommutative setting, states that the extension-of-scalars functor −⊗BA is comonadic provided A is a faithfully flat left B-module. Descent theory for modules w.r.t. morphism of (not necessarily commutative) rings can be generalized by considering the situation in which the rings A and B are related by a (B,A)-bimodule M. Thiscaseisconsidered by L. El Kaoutit and J. G´omez Torrecillas in [16] and S. Caenepeel, E. De Groot and J. Vercruysse in [13]. They have in particular showed that when BM is faithfully flat, the induction functor −⊗BM :ModB → ModA is comonadic. We observe that in this case, the left B-module S =EndA(M)oftheA-endomorphisms of M is also faithfully flat,
The work was partially supported by the Georgian Academy of Sciences under the project 1.5.04 Received by the editors 2005-08-11 and, in revised form, 2006-01-05. Transmitted by S. Lack. Published on 2006-01-09. 2000 Mathematics Subject Classification: 18A40, 18C15, 18C20, 16W30. Key words and phrases: Monad of effective descent type, (co)monadicity, separable functor, coring, descent data. c Bachuki Mesablishvili, 2006. Permission to copy for private use granted. 1 2 BACHUKI MESABLISHVILI and hence the extension-of-scalars functor −⊗BS :ModB → ModS corresponding to the canonical ring extension B → S, b → (m → bm) is comonadic. This rises the question of whether the converse is also true. Thus, it seems natural and, indeed, desirable to pursue the relations between the (pre)comonadicity of the functor −⊗BM :ModB → ModA and that of −⊗BS :ModB → ModS.Since−⊗BS can be considered as the monad on the category ModB arising from the adjunction −⊗BM Mod(M,−):ModA → ModB and ModS as the Eilenberg-Moore category of algebras over this monad, this motivates to consider an arbitrary adjunction F U : B→Aand to investigate what is the connection between the (pre)comonadicity of the functor F and that of the free T-algebra functor F T : A→AT, for T being the monad on A arising from this adjunction. The first observation in this direction is that F is precomonadic iff so is F T,andwhenB is Cauchy complete, our main result, given in Theorem 3.20, asserts that F is comonadic iff F T is, from which we deduce in Theorem 7.5 that the question of the comonadicity of the induction functor −⊗BM reduces to the comonadicity of the extension-of-scalars functor −⊗BS corresponding to the ring extension B → S. The outline of this paper is as follows. After recalling in Section 2 those notions and aspects of the theory of (co)monads that will be needed, we introduce the notion of monad of (effective) descent type and give a necessary and sufficient condition for a monad on a category having an injective cogenerator to be of descent type. In Section 3 we present our main result and obtain a necessary and sufficient condition for an arbitrary monad on a Cauchy complete category to be of effective descent type. In Section 4 we illustrate how to use the results of the previous section to obtain a sufficient condition on an adjoint (co)monad in order its functor-part be (co)monadic. In Section 5 we analyze when (co)monads on (co)exact categories in which every object is projective (injective) are of effective descent type. In Section 6 the question of the comonadicity of those functors whose domain is the category of sets is fully answered. In Section 7 we find some conditions on a (B,A)-bimodule M under which the corre- sponding induction functor −⊗BM :ModB → ModA is comonadic. Finally, in Section 8 we make some applications to the descent problem for modules with respect to morphisms of (not necessarily commutative) rings.
2. Preliminaries
In this section we collect some basic facts on (co)monads and their (co)algebras as well as fix notation and terminology. We shall follow usual conventions as, for example, in [1] and [33]. We write η, : F U : B→Ato denote that F : A→Band U : B→Aare functors where F is left adjoint to U with unit η :1→ UF and counit : FU → 1. MONADS OF EFFECTIVE DESCENT TYPE AND COMONADICITY 3
A monad T =(T,η,µ) on a given category A is an endofunctor T : A→Aequipped with natural transformations η :1→ T and µ : T 2 → T satisfying
µ · Tµ = µ · µT and µ · ηT = µ · Tη =1.
Comonads are dual to monads. Namely, G =(G, , δ) is a comonad on a given category B if G : B→Bis an endofunctor, : G → 1andδ : G → G2 are natural transformations satisfying axioms formally dual to those of a monad. Let T =(T,η,µ)beamonadonacategoryA with the Eilenberg-Moore category of T- algebras AT and the corresponding forgetful-free adjunction ηT,T : F T U T : AT →A, where F T : A→AT is the free T-algebra functor, and U T : AT →Ais the underlying object functor. Recall that U T(a, ξ)=a,where(a, ξ)=(a, ξ : T (a) → a)isaT-algebra, T T T T T T while F (a)=(T (a),µa). We have U F = T = UF, and η = η; while F U (a, ξ)= T (T (a),µa)and (a, ξ):(T (a),µa) → (a, ξ)istheT-algebra morphism ξ : T (a) → a.If T =(T,η,µ) is the monad generated on A by an adjoint pair η, : F U : B→A(so T that, T = UF and µ = UF), then there is the comparison functor KT : B→A which assigns to each object b ∈Bthe T-algebra (U(b),U(b)), and to each morphism f : b → b T T the morphism U(f):U(b) → U(b ), and for which U KT U and KTF F .This situation is illustrated by the following diagram
?B ? ? ?? ?? F ?KT ? ?? U ?? ? o UT A /AT. FT
The functor U is called monadic (resp. premonadic) if the comparison functor KT is an equivalence of categories (resp. full and faithful). Dually, any comonad G =(G, , δ) on a category B gives rise to an adjoint pair FG UG : BG →B, where BG is the category of G-coalgebras, UG(a)=(G(a),δa)and FG(a, h)=a.IfF U : B→Ais an adjoint pair and G =(FU,,FηU) is the comonad on B associated to (U, F ), then one has the comparison functor
KG : A→BG,a→ (F (a),F(δa))
for which FG · KG F and KG · U UG. One says that the functor F is precomonadic if KG is full and faithful, and it is comonadic if KG is an equivalence of categories. Beck’s monadicity theorem gives a necessary and sufficient condition for a right adjoint functor to be (pre)monadic. Before stating this result, we need the following definitions f / (see [33]). A coequalizer b / h / is said to be split if there are morphisms g b b k : b → b and l : b → b with
hl =1,fk=1andgk = lh. 4 BACHUKI MESABLISHVILI
Given a functor U : B→A, a pair of morphisms (f,g : b ⇒ b )inB is U-split if the pair (U(f),U(g)) is part of a split coequalizer in A,andU preserves coequalizers of U-split pairs if for any U-split pair (f,g : b ⇒ b )inB, and any coequalizer h : b → b of f and g, U(h) is a coequalizer (necessarily split) of U(f)andU(g). We are now ready to state Beck’s monadicity theorem.
2.1. Theorem. (Beck, [5]) Let η, : F U : B→Abe an adjunction, and let T = (UF,η,UF) be the corresponding monad on A.Then:
T T 1. the comparison functor KT : B→A has a left adjoint LT : A →Bif and only if T for each (a, h) ∈A , the pair of morphisms (F (h),F (a)) has a coequalizer in B.
2. When the left adjoint LT of KT exists (as it surely does when B has coequalizers of reflexive pairs of morphisms), then:
(i) the unit 1 → KTLT of the adjunction LT KT is an isomorphism (or, equivalently, the functor U is premonadic) if and only if each
FU( b) / b FUFU(b) /FU(b) /b FU(b)
is a coequalizer diagram, if and only if each b : FU(b) → b is a regular epimorphism;
(ii) the counit LTKT → 1 of the adjunction LT KT is an isomorphism if and only if for all (a, h) ∈AT, the functor U preserves the coequalizer of F (h) and F (a);
(iii) if the counit LTKT → 1 is an isomorphism, then the unit 1 → KTLT is an isomorphism if and only if the functor U is conservative (that is, reflects invertibility of morphisms).
Thus, U is monadic if and only if it is conservative and for each (a, h) ∈AT,thepair of morphisms (F (h),F (a)) has a coequalizer and this coequalizer is preserved by U. It is well-known (see, for example, [9]) that if η, : F U : B→Ais an adjunction with B admitting equalizers, then U is conservative iff each b : FU(b) → b is an extremal epimorphism; that is, an epimorphism that factorizes through no proper subobject of its codomain. Quite obviously, every regular epimorphism is extremal, hence U is conserva- tive, provided that it is premonadic. Moreover, it is easy to see that if every extremal epimorphism in B is regular, then U is premonadic iff it is conservative. Hence: MONADS OF EFFECTIVE DESCENT TYPE AND COMONADICITY 5 2.2. Proposition. Let F U : B→Abe an adjunction with B admitting equalizers. If U is premonadic, then it is conservative. The converse holds when every extremal epimorphism in B is regular. Consider now a monad T =(T,η,µ) on a category A and the corresponding adjoint pair ηT,T : F T U T : AT→A. This adjunction gives rise to a comonad G =(G = T T T T T T T T F U ,= ,δ = F η U )onA . Write (A )G for the category of G-coalgebras, and T write K : A−→(A )G for the comparison functor. We record this information in the following diagram ?A ? ?? ? T ?? U ?K ?? T ? F ?? ( T) o F G T T A /(A )G T (U )G where
T T • F (a)=(T (a),ηa),F(f)=f • U T(a, h)=a, U T(f)=f
T • (U )G(a, h)=((T (a),µa),T(ηa)),UG(f)=T (f)
T T • (F )G((a, h),θ)=(a, h), (F )G(f)=f
T T • (F )G is a left adjoint of (U )G
T T T T • (F )G · K F and K · U (U )G.
T The category (A )G is called the category of descent data with respect to the monad T and denoted by DesA(T). We say that the monad T =(T,η,µ)isof descent type when K is full and faithful (or, equivalently, when the functor F T : A→AT is precomonadic), and it is of effective descent type if K is an equivalence of categories (or, equivalently, if F T is comonadic). In order to state conditions on T so that it be of (effective) descent type, we apply the dual of Beck’s theorem to our present situation and conclude that: 2.3. Theorem. let T =(T,η,µ) be a monad on a category A.Then:
(i) T is of descent type iff each component ηa of the unit η :1→ T is a regular monomorphism.
(ii) T =(T,η,µ) is of effective descent type iff the functor T is conservative and for each ((a, h),θ) ∈ DesA(T), the pair of morphisms (ηa,θ : a ⇒ T (a)) has an equalizer in A and this equalizer is preserved by T . Moreover, applying Proposition 2.2 to the adjunction F T U T : AT →A,weget: 6 BACHUKI MESABLISHVILI
2.4. Proposition. Let T =(T,η,µ) be a monad on a category A which admits coequal- izers. If T is of descent type, then the functor T is conservative. Moreover, if extremal monomorphisms in A coincide with regular ones, the converse is also true. The next result determines exactly what is needed to guarantee that a left adjoint functor whose domain has an injective cogenerator be precomonadic. 2.5. Proposition. Let F : A→Bbe a functor with right adjoint U : B→Aand unit η :1→ UF, and suppose that A has an injective cogenerator Q.ThenF is precomonadic if and only if the morphism ηQ : Q → UF(Q) is a (split) monomorphism. Proof. In view of (the dual of) Theorem 2.1(2)(i), F is precomonadic if and only if each ηa : a → UF(a) is a regular monomorphism; and since Q is injective in A, one direction is clear. For the converse, suppose that ηQ : Q → UF(Q) is a split monomorphism. Then it follows from the Yoneda lemma that the natural transformation
A(η, Q):A(UF(−),Q) →A(−,Q) is a split epimorphism. Hence, for any a ∈A, the morphism
A(η, Q):A(UF(a),Q) →A(a, Q)
is a split epimorphism and since Q is an injective cogenerator for A, the morphism ηa : a → UF(a) is a regular monomorphism. As an immediate consequence we observe that 2.6. Corollary. Let T =(T,η,µ) be a monad on a category A and suppose that A has an injective cogenerator Q.ThenT is of descent type if and only if the morphism ηQ : Q → T (Q) is a (split) monomorphism.
3. Separable functors and comonadicity We begin by recalling the notion of a separable functor of the second kind introduced in [12]. Given a diagram A F /B
I X of categories and functors, consider the following diagram of functors and natural trans- formations F−,− A(−, −) /B(F (−),F(−))
I−,− X (I(−),I(−)). MONADS OF EFFECTIVE DESCENT TYPE AND COMONADICITY 7
The functor F is called I-separable (or a separable functor of the second kind)ifthere exists a natural transformation τ : B(F (−),F(−)) →X(I(−),I(−))
with τ ◦ F−,− = I−,−. Note that F is 1A-separable if and only if it is separable in the sense of [39]. The following result gives a useful way to check that a left adjoint functor is separable, using the unit of the adjunction. 3.1. Theorem. (Rafael, [43]) Let η, : F U : B→A be an adjunction and I: A→X a functor. Then F is I-separable if and only if the natural transformation Iη: I → IUF is a split monomorphism. Given a monad T =(T,η,µ) on a category A, an adjunction σ, : F U : B→A is said to be a T-adjunction on A if T = UF, σ = η and µ = UF. In other words, F U : B→A is a T-adjunction on A if the monad generated by this adjunction is the given monad T. Clearly the adjunction F T U T : AT →Ais a T-adjunction on A. Given an arbitrary functor I : A→X, we say that the monad T is I-separable if its functor-part T is I-separable. It follows from Theorem 3.1 that: 3.2. Proposition. Let η, :F U : B→A be an adjunction, T the corresponding monad on A and I:A→X an arbitrary functor. The following assertions are equivalent: (i) The functor F is I-separable. (ii) The free T-algebra functor F T :A→AT is I-separable. (iii) For any T-adjunction F U :B →A, the functor F is I-separable. (iv) The monad T is I-separable. Since any functor V is at once seen to be V -separable, a corollary follows immediately: 3.3. Corollary. Let F U : B→Abe an adjunction and T the corresponding monad on A. Then, for any T-adjunction F U : B →A, the functor F is F -separable and the monad T is F -separable. In particular, F is F T-separable and T is F T-separable. We shall need the following elementary lemmas on separable functors. The first one is evident. 3.4. Lemma. If F : A→Bis the composite of functors I : A→X and K : X→B,then the functor I is F -separable. 3.5. Lemma. Let F : A→Band I : A→X be functors such that F is I-separable. If I is conservative, then so is F . Proof. Let F (f) is an isomorphism. Then I(f) is also an isomorphism by Proposition 2.4 in [12], and since I is conservative by hypothesis, f is an isomorphism as well. So F is conservative. 8 BACHUKI MESABLISHVILI The two preceding lemmas yield: 3.6. Proposition. In the situation of Lemma 3.4, suppose further that F is I-separable. Then F is conservative if and only if I is. Recall [33] that a pair of morphisms (f,g : a ⇒ a ) in a category A is called con- tractible if there exists a morphism t : a → a with tf =1andftg = gtg;andthatif F : A→Bis a functor, (f,g : a ⇒ a ) is called F -contractible if the pair of morphisms (F (f),F(g):F (a ) ⇒ F (a )) in B is contractible. 3.7. Proposition. Let F:A→B and I:A→X be functors and assume that F is I-separable. Then any F -contractible pair is also I-contractible. Moreover, when X is Cauchy com- plete, in the sense that every idempotent endomorphism e in X has a factorization e = ij where ji =1,anyF -split pair is also I-split. Proof. Since F is I-separable, there exists a natural transformation τ : B(F, F) → X (I,I) such that τ ◦ F−,− I−,−.Now,if(f,g : a ⇒ a )isaF -contractible pair, there exists a morphism q : F (a ) → F (a ) such that q · F (f)=1andF (f) · q · F (g)= F (g) · q · F (g). Put t = τa ,a (q). Then, using the naturality of τ, we compute
t · I(f)=τa ,a (q) · I(f)=τa ,a (q · F (f)) = τa ,a (1F (a ))=Ia ,a (1a )=1I(a ),
and
I(f) · t · I(g)=I(f) · τa ,a (q) · I(g)=τa ,a · (F (f) · q · F (g)
= τa ,a (F (g) · q · F (g)) = I(g) · τa ,a (q) · I(g)=I(g) · t · I(g).
Hence that pair (I(f),I(g)) is contractible, so that (f,g)isI-contractible. For the second assertion of the proposition, we recall (for instance from [1]) that an f / equalizer x h /y /z in an arbitrary category X is split if and only if the pair (f,g) g is contractible; and if one assumes that X is Cauchy complete, then any contractible pair has an equalizer (see, for example, [4]), and this equalizer is split. Now, if (f,g : a ⇒ a ) is F -split, then the pair (f,g)isF -contractible and it follows from the previous part of the proof that it is also I-contractible. By hypothesis, X is Cauchy complete, so that I(f)andI(g) have an equalizer and this equalizer splits. Consequently, the pair (f,g)is I-split. Combining this with Lemma 3.4 gives: 3.8. Proposition. Let F : A→Bbe a composite KI,whereI : A→X and K : X→B. If F is I-separable, then a pair of morphisms in A is F -contractible if and only if it is I-contractible. When X is Cauchy complete, then a pair of morphisms in A is F -split if and only if it is I-split. Proof. Just observe that any I-split pair is also F KI-split. MONADS OF EFFECTIVE DESCENT TYPE AND COMONADICITY 9 A corollary follows immediately: 3.9. Corollary. Let F : A→Bbe a composite KI,whereI : A→X and K : X→B. Suppose that F is I-separable and that the category X is Cauchy complete. Then A has equalizers of F -split pairs if and only if it has equalizers of I-split pairs. Call a conservative functor I : A→Xquasi-comonadic if A has and I preserves equalizers of I-split pairs. Clearly a quasi-comonadic functor is comonadic iff it has a right adjoint. 3.10. Proposition. Let F : A→Bbe a left adjoint functor and let I : A→X be a quasi-comonadic functor such that F is I-separable. Suppose that X is Cauchy complete and that F preserves equalizers of I-split pairs (available by our assumption on I). Then F is comonadic. Proof. The functor I, being quasi-comonadic, is conservative and it follows from Lemma 3.5 that F is also conservative. Moreover, F has a right adjoint by hypothesis. Then we conclude from (the dual of ) Beck’s Theorem that F is comonadic if and only if A has and F preserves equalizers of F -split pairs. But since A has and F preserves equalizers of I-split pairs by our assumption on I, it suffices to show that every F -split pair is also I-split. Since X is assumed to be Cauchy complete, this follows from Proposition 3.8.
3.11. Proposition. Let T =(T,η,µ) be a monad on a Cauchy complete category A,and let F T U T : AT →Abe the corresponding adjunction. Then:
(i) The functor T is conservative iff F T is.
(ii) A has and T preserves equalizers of T -split pairs iff A has and F T preserves equal- izers of F T-split pairs.
(iii) The monad T is of effective descent type if and only if the functor T is quasi- comonadic.
Proof. (i). Since T = U TF T and since F T : AT →Ais conservative, T is conservative iff so is F T. (ii). As A is Cauchy complete by hypothesis, so too is AT, and since T is F T-separable by Corollary 3.3, it follows from Corollary 3.9 applied to the diagram
T / A =A || || F T || || U T AT
that A hasequalizersofF T-split pairs iff it has equalizers of T -split pairs. The result now follows from the fact that U T preserves and reflects all limit that exist in AT. (iii) is an immediate consequence of (i) and (ii). 10 BACHUKI MESABLISHVILI 3.12. Corollary. Let T be a monad on a Cauchy complete category A. If the functor T has a right adjoint, then the following are equivalent:
(i) T is of effective descent type.
(ii) T is conservative.
In order to proceed, we shall need the following
3.13. Lemma. Let H, H : X→Ybe functors and assume that there are natural trans- formations p : H → H and q : H → H such that q · p =1. Then, for any dia- ( ) f / H(h) H f / gram x h /y /z in X such that fh = gh,with H(x) /H(y) /H(z) also g H(g)