Stability of abelian groups in a topos of sheaves

Complete lattices, completions (06B23) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Homological and categorical methods for abelian groups (20K40)

Review text

While the category of abelian groups AB is known to be stable, in this paper the notion of stability and related facts are investigated for the category AbSh \({\mathcal L}\) of abelian groups in a topos of sheaves on a locale (a complete lattice such that \(U\wedge \bigvee_{i\in I}U_ i=\bigvee_{i\in I}(U\wedge U_ i)\) for each U and \(U_ i\) in \({\mathcal L})\). A morphism of locales h: \({\mathcal L}\to {\mathcal M}\) is a map which preserves arbitrary joins and finite meets. For any \(U\in {\mathcal L}\), \(\downarrow I\) denotes \(\{\) \(A|\) \(A\leq U\}\); if \({\mathcal L}\) is a locale, \(\downarrow U\) is again a locale. We denote by Sh \({\mathcal L}\) the category of sheaves on \({\mathcal L}\) with values in Ens, and by AbSh \({\mathcal L}\) the category of abelian groups in the topos Sh \({\mathcal L}.\) Proposition 1.1. AbSh \({\mathcal L}\) is stable iff there is a cover \(E=\bigvee_{i\in I}U_ i\) such that AbSh \(U_ i\) is stable for all \(i\in I\). Proposition 1.7. If \(\phi: {\mathcal L}\to {\mathcal M}\) is an onto map of locales and AbSh \({\mathcal L}\) is stable then AbSh \({\mathcal M}\) is also stable. Proposition 1.9. For a \(T_ 0\) topological space X, AbSh X stable implies that X is a \(T_ 1\) space. Proposition 1.11. A finite locale is stable iff it is boolean. The paper also gives some counterexamples of stability. (For any \({\mathcal L}\), the category AbSh \({\mathcal L}\) is said to be stable if for any \(A\in AbSh {\mathcal L}\) and any injective \(B\in AbSh {\mathcal L}\), \(H_{{\mathcal L}}(A,B)=0\) implies \(H_{{\mathcal L}}(E(A),B)=0\) where E(A) is the injective hull of A in AbSh \({\mathcal L}\) and \(H_{{\mathcal L}}\) is the hom- functor for the category AbSh \({\mathcal L}\).

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Stability of abelian groups in a topos of sheaves

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