Inverse limits of left adjoint functors on pointed sets

MaRDI QIDQ6343635zbMATH OpenFDO

Authors Ilan Barnea, S. Shelah

Publication date 24 June 2020

Abstract: This paper is a continuation of [BaSh], where we studied the behaviour of the abelianization functor under inverse limits. Our main result in [BaSh] was that if $mathcalT$ is a countable directed poset and $G:mathcalTomathcalGrp$ is a diagram of groups that satisfies the Mittag-Leffler condition, then the natural map ${\displaystyle }$mathrm{Ab}({lim}_{tinmathcal{T}}G_t) o {lim}_{tinmathcal{T}}mathrm{Ab}(G_t)${\displaystyle }$ is surjective, and its kernel is a cotorsion group. The abelianization is an example of a left adjoint functor from groups to abelian groups. In this paper we study the behaviour under inverse limits of left adjoint functors from pointed sets to abelian groups. Such functors are classified by abelian groups, where to the abelian group $A$ corresponds the left adjoint functor $L_A:mathcalSext{et}_{\ast }omathcalAextb$ given by $$ If $mathcalT$ is a directed poset and $X:mathcalTomathcalSext{et}_{\ast }$ is a is diagram of pointed sets, we show that the natural map ${\displaystyle }$ ho:L_A({lim}_{tinmathcal{T}}X_t) o{lim}_{tinmathcal{T}}L_A(X_t)${\displaystyle }$ is injective. If, in addition, $mathcalT$ is countable and $X$ satisfies the Mittag-Leffler condition, we show that the cokernel of $ho$ is an algebraically compact group. Compared with the main result in [BaSh], algebraically compact is much stronger then cotorsion as it also requires the Ulm length to be $leq1$. We also show that this result, even in its weak form of cotorsion, does not extend to uncountable diagrams. Namely, if $A$ is not the product of a divisible group and a bounded group, we construct a directed poset $mathcalT$ with $|mathcalT|=2^{alep{h}_0}$ and a diagram $X:mathcalTomathcalSext{et}_{\ast }$, that satisfies the Mittag-Leffler condition, such that the cokernel of $ho$ is not cotorsion.

This page was built for publication: Inverse limits of left adjoint functors on pointed sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6343635)