Skip to main content
3 of 4
added 485 characters in body
Simon Henry
  • 42.4k
  • 5
  • 107
  • 205

If $B$ is a complete boolean algebra without atoms (seen as a locale), then the categories $Sh(B,Ab)$ or $Sh(B,R\text{-Mod})$ are Grothendieck abelian categories that have no simple objects, in fact no indecomposable objects.

If I understand correctly what you are saying, It follows that for any non-discrete regular topological space or locale $X$, the category $Sh(X,R\text{-Mod})$ is a Grothendieck abelian category that is not Gabriel, indeed if you localize it as the double negation topology (and kill off the eventual isolated point of X by localizing away from them) you'll get the example above, and as you said the the localization of a Gabriel category is a gain a Gabriel category.

Here is the proof of the claim above:

Essentially the point is that you can always decompose object in this category as follows: Assume $F$ is any object in $Sh(B,Ab)$ then for any element $U \in B$ we can construct the restriction $F|_U$ defined by $F|_U = i_* i^* U$ where $i:U \to X$ is the inclusion. or more explicitly $F|_U (V) = F(U \cap V)$, and we can always write that $F = F|_U \oplus F|_{\neg U}$.

To make an actual proof out of this, assume $F$ is simple (or just indecomposable) it follows from the abofe that for every $U \in B$ we have either $F|_U = 0 $ or $F|_{\neg U} =0$.

From this we can deduce that if $F$ is an indecomposable object, then if we define $P = \{V \in B| F|_V \neq 0 \}$ we can check that $P$ is a point of $B$

Indeed, $1 \in P$ because $F$ is non-trivial, if $\bigcup U_i \in P$ then $F$ has to be non trivial on at least one of the $U_i$. and if $F$ is non-trivial on $V$ and on $W$, then $F|_{\neg V} = 0$, so $F$ has to be concentrated on $W \cap V$. hence $W \cap V \in P$.

This concludes the proof as points of complete boolean algebra corresponds to atoms, and we assume there was no atoms in $B$.

Simon Henry
  • 42.4k
  • 5
  • 107
  • 205