Zoran Skoda
Beck's theorem

A fork

is split if there are morphisms s:bbs: b'\to b and h:bch:b\to c such that he=id ch\circ e =\id_c, sg=id bs\circ g = \id_b and sf=ehs\circ f = e\circ h; it is elementary that every split fork is an (absolute) equalizer.

Theorem. Let Q *Q *Q^*\dashv Q_*, Q *:ABQ^*: A\to B, be an adjoint pair of functors with unit η\eta and counit ϵ\epsilon, and Ω:BB\Omega:B\to B the corresponding comonad. Then Q *Q^* is comonadic, i.e. the comparison functor K:AB ΩK:A\to B^\Omega, M(Q *M,Q *MQ *(η M)Q *Q *Q *M)M\mapsto (Q^* M, Q^*M\stackrel{Q^*(\eta_M)}{\to}Q^*Q_*Q^*M) is an equivalence iff Q *Q^* has the property that every fork

in AA such that its image by Q *Q^* is a split equalizer sequence in BB, is itself an equalizer sequence.

We now sketch a proof in the presence of axiom of choice. The fact that the condition on the forks is necessary follows from the fact that the condition is invariant under an equivalence of categories over BB, while for the Eilenberg-Moore (EM) category the property is easy to check. For the opposite condition, we sketch a slightly nonstandard direct proof, exhibiting a quasiinverse K 1K^{-1} of the comparison map; for the Beck’s theorem in above form this is really easy for objects with a bit more discussion using universality of equalizers for morphisms.

The crucial observation is that, for any Ω\Omega-comodule, (N,ρ)B Ω(N,\rho)\in B^\Omega the diagram

manifestly exhibits a split equalizer sequence; hence, by the assumption, for each Ω\Omega-comodule (N,ρ)(N,\rho) there is an equalizer of the form

Using the axiom of choice we can therefore form a map K 1:ObB ΩObAK^{-1}:Ob B^\Omega\to Ob A. Once a choice of map K 1K^{-1} is made, for any f:(N,ρ)(N,ρ)f:(N,\rho)\to(N',\rho'), by the universality of equalizers, one has a unique map K 1(f):K 1(N,ρ)K 1(N,ρ)K^{-1}(f):K^{-1}(N,\rho)\to K^{-1}(N',\rho') for which the diagram

sequentially commutes. Again, by the universality of equalizers, it is easy to show that this rule is functorial; hence K 1K^{-1} becomes a functor.

It is now sufficient to exhibit natural isomorphisms KK 1Id B ΩK K^{-1}\cong Id_{B^\Omega} and K 1KId AK^{-1} K\cong Id_A.

Special case of Beck theorem. Let Q *Q *Q^* \dashv Q_* be an adjoint pair T\mathbf{T} its associated monad, and G\mathbf{G} its associated comonad.

If Q *Q_* preserves and reflects coequalizers of all parallel pairs in AA (for which coequalizers exists) and if any parallel pair mapped by Q *Q_* into a pair having a coequalizer in BB has a coequalizer in AA, then the comparison functor K:BA TK : B \rightarrow A^{\mathbf{T}} is an equivalence of categories.

If Q *Q^* preserves and reflects equalizers of all parallel pairs in BB (for which equalizers exists) and if any parallel pair mapped by Q *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.

See also monadic functor, monadic adjunction.

Revised on March 31, 2014 04:18:13 by Zoran Škoda (