Welcome to MathOverflow

Question

3

If $E$ is a Grothendieck topos, one can equip it with the "regular epimorphism topology"- this is the topology generated by covering families consisting of singleton epimorphisms. A presheaf on $E$ is a sheaf for this topology if and only if it is representable, so that the topos of sheaves with respect to this topology is equivalent to $E$ itself. This is primarly done in order to introduce stacks over a topos. My question is, how is this done rigorously since $E$, as a Grothendieck topos, is not a small category, so the "category of presheaves on E" only exists as a metacategory.

flag	asked Oct 22 2010 at 20:01 David Carchedi 7,747●10●27

1

I thought for that to work you had to take the canonical topology, consisting of all jointly-epimorphic families of maps. Why is it enough to take only single epimorphisms? – Mike Shulman Oct 23 2010 at 0:54

1

Because toposes have small sums, so that you may always see your covering family as a single map. – Denis-Charles Cisinski Oct 23 2010 at 1:00

Because a Grothendieck topos is infinitary extensive ;), and any pretopology can be turned into a singleton pretopology as Denis-Charles intimates. – David Roberts Oct 23 2010 at 1:11

2

Indeed, that property guarantees that any pretopology is the union of a singleton pretopology with the extensive one. But it seems that a presheaf might be a sheaf for the singleton pretopology without being a sheaf for the extensive topology. In less hifalutin' language, small sums let you see your covering family as a single map, but unless you know that your presheaf preserves the small sums, I don't see why being a sheaf for the single map implies that it is also a sheaf for the original covering family. – Mike Shulman Oct 23 2010 at 5:39

1

In particular, I think any singleton pretopology is a locally connected site ncatlab.org/nlab/show/locally+connected+site, which implies that any constant presheaf is a sheaf for such a pretopology. But this is certainly not the case for the extensive or canonical topologies. – Mike Shulman Oct 23 2010 at 6:14

David Carchedi · Answer 1 · 2010-10-23 02:07:27Z UTC

3

In a word universes! Define $U-Set$ to be the small sets for a universe $U$, and pick two universes $U \in V$. Thus let $E \simeq Sh^U(C)$ where $C$ is a category in $U-Set$ (Edit: with a Grothendieck topology), and the sheaves take values in $U-Set$. $E$ is not a $U$-small category, but a $V$-small category. One can then take sheaves on $E$ with values in $V-Set$, and this will still be a category for the ambient metatheory.

There are theorems about properties of these various levels of categories of sheaves, and you may be able to get away with slightly less than what I have assumed, but this is a start.

edited Oct 23 2010 at 2:07

David Carchedi

answered Oct 23 2010 at 0:29

David Roberts
11.7k●2●18●55

	So then I'd get that $Sh^V\left(E\right) \cong E$ as $V$-small categories? – David Carchedi Oct 23 2010 at 1:47
	Actually, taking Denis-Charles' answer into account, you probably only need one universe, U; then E=Sh^U(D) is a large category, but with a U-small generating set, which I think would make E with the regular epimorphism pretopology a site as in SGA4, Expose II. Then the sheaves on E would form a large category (of the same 'size'), and this would be equivalent to E. – David Roberts Oct 24 2010 at 10:43
	On the other hand, without referring to conjectural connections between a generating family and a topologically generating set, you should get Sh^V(E) is a V-large category (but still a category in the metalogic), which is essentially V-small: it is equivalent to E. – David Roberts Oct 24 2010 at 21:30

Denis-Charles Cisinski · Answer 2 · 2010-10-23 00:57:44Z UTC

In [SGA 4, Exposé II], a site is defined as a category $C$ that is endowed with a (Grothendieck) topology, and which admits a small topologically generating set. This last property means that there exists a small family $G$ of objects of $C$ such that, for any object $X$ of $C$, any covering of $X$ admits a refinement by a covering family of shape $\{U_i\to X\}_{i\in I}$, such that the $U_i$'s all belong to $G$. The theory of sheaves on such a site is very well defined (see Theorème 3.4 in loc. cit.), and this is a topos because its satisfies the Giraud axioms (combine Proposition 4.8 and Corollary 4.11 in loc. cit.).

Otherwise, what you want is precisely stated as one of the characterizations of toposes in the original Theorem of Giraud (i.e. Théorème 1.2 in [SGA 4, Exposé IV]). And, by the way, what you call the 'regular epimorphism topology' is also known to be the canonical topology.

How to resolve size issues with the regular epimorphism topology

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.