Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

May 21, 2012

Superextensive Sites

Posted by Mike Shulman

When I first learned about sheaves and (1-)topos theory, I was taught that the most natural and general domain for sheaves is a site, i.e. a category equipped with a Grothendieck topology. This structure is a collection of covering families {u ix} iI\{u_i \to x\}_{i\in I} satisfying certain closure conditions.

However, as I progressed in sheaf theory, I found that often, people working with sheaves in some concrete way often consider only single covers uxu\to x. For instance, I’ve read one book in which sheaves on topological spaces were defined only in terms of gluing along single surjective local homeomorphisms. This sort of restriction is particularly pronounced among people who study internal categories in a topos: frequently an internal category is defined to be a stack just when it satisfies descent for single epimorphisms, and similarly internal anafunctors are defined using only single covers.

I have always found this strangely dissonant. Surely we care about the non-singleton covering families in all of these cases as well? So why are we justified in ignoring them?

Sometimes one finds a justifying comment along the lines of “any covering family {u ix} iI\{u_i \to x\}_{i\in I} can be replaced by the single cover iu ix\coprod_i u_i \to x”. In this post I’d like to talk about (1) a nice general context in which we can do this, (2) what exactly it lets us do, and (3) what it doesn’t let us do.

So in what sort of site can we replace covering families by single covers? Obviously our site has to have sufficiently many coproducts, to start with. And in this case, if {u ix} iI\{u_i \to x\}_{i\in I} is a covering family and the coproduct iu i\coprod_i u_i exists, then iu ix\coprod_i u_i \to x is factored through by our given covering family, and hence is indeed, itself, a singleton covering family.

But if covering families are to be determined by singleton covers, we should also have the converse: if iu ix\coprod_i u_i \to x is a singleton cover, then {u ix} iI\{u_i \to x\}_{i\in I} should be a covering family. As a particular case of this, the family of coprojections into a coproduct {u i ju j} iI\{u_i \to \coprod_j u_j\}_{i\in I} should be a covering family — and this case implies the general one, since {u ix} iI\{u_i \to x\}_{i\in I} is a composite of iu ix\coprod_i u_i \to x with {u i ju j} iI\{u_i \to \coprod_j u_j\}_{i\in I}.

Now recall from my last post that when the family of coprojections into a colimit in a site are covering, and some other condition holds, then that colimit is called postulated. For coproducts, the extra condition makes them stable and disjoint. In other words, the following are equivalent:

  1. A subcanonical site with postulated coproducts.

  2. A subcanonical site which is an extensive category, such that all families {u i ju j} iI\{u_i \to \coprod_j u_j\}_{i\in I} are covering.

We call a site (not necessarily subcanonical) with the latter property superextensive. The prefix “super-” is dual to the prefix “sub-” occurring in “subcanonical”: the latter means “contained in the canonical topology”, while the former means “containing the extensive topology”. The extensive topology on an extensive category is, of course, that generated by the families of coprojections {u i ju j} iI\{u_i \to \coprod_j u_j\}_{i\in I}. (I guess it was Toby Bartels and me who came up with the terminology “superextensive”.)

So a superextensive site is a very natural context in which to talk about the relationship of covering families to singleton covers. There are also lots of examples: TopTop or DiffDiff or SchSch with their usual topologies, or the canonical topology on any Grothendieck topos. This answers the first question.

Let me next answer the third question: what can’t we say, even in a superextensive site? The main thing we can’t say, but which occasionally people are misled into believing to be true, is that the category of sheaves (or stacks) on a superextensive site is equivalent to the category of sheaves (or stacks) for its singleton covers alone.

When you phrase things in the way that I have, this seems fairly clear: you also need the sheaf condition for the coproduct injections! Of course, since coproducts are disjoint, the sheaf condition for these is pretty simple: it just says that X( iu i) iX(u i)X(\coprod_i u_i) \cong \prod_i X(u_i). (For the nullary coproduct, this means X()1X(\emptyset) \cong 1.)

However, there are things we can say about superextensive sites, which in some cases does justify restricting attention to the singleton covers. One thing we can say is proven on the nlab page superextensive site: if XX is a sheaf for the extensive topology (that is, we have X( iu i) iX(u i)X(\coprod_i u_i) \cong \prod_i X(u_i)), then its sheafification with respect to singleton covers only is still a sheaf for the extensive topology, and therefore also a sheaf with respect to the whole superextensive topology. (Note that in general, it is not true that sheafification for one topology preserves sheaves for another topology.)

This is interesting because sheaves and stacks for the extensive topology are generally much easier to come by. In particular, any internal category in an extensive category is automatically a stack for the extensive topology. This obviously means that it a stack for the whole superextensive topology if and only if it is so for the singleton covers. But the theorem above (or more precisely, its presumed analogue for stacks) means that when stackifying such an internal category, it suffices to consider only singleton covers as well.

There’s another interesting thing we can say, which requires a bit of technology from my exact completions paper. First of all, there’s a size issue; so far I’ve been talking about “coproducts” quite loosely, but of course an extensive category with all coproducts is rarely small, whereas toposes of sheaves make the most sense for small sites. To be precise, let κ\kappa be what I call an “arity class”, i.e. a class of small cardinalities closed under indexed sums and decompositions. For instance, κ\kappa could be the set ω\omega of finite cardinals, or the class “\infty” of all small cardinalities, or the set {1}\{1\}. We then have notions of κ\kappa-extensive category and κ\kappa-superextensive site, which involve only coproducts of cardinalities belonging to κ\kappa.

Now we also have the notion of κ\kappa-ary site, which is a site whose covering families are (generated by) those of sizes belonging to κ\kappa. For instance, in a {1}\{1\}-ary (or “unary”) site, all covering families are generated by singleton covers. There’s also a solution-set condition for finite limits in the definition of κ\kappa-ary site, but let’s ignore that by assuming all our sites have finite limits.

Obviously, it’s most natural to consider κ\kappa-superextensive sites which are also κ\kappa-ary. In fact, if CC is a κ\kappa-extensive category with finite limits, then there is a bijection between (1) unary topologies on CC and (2) κ\kappa-superextensive κ\kappa-ary topologies on CC. From (2) to (1), we restrict to the singleton covers, while from (1) to (2) we add the families {u i ju j} iI\{u_i \to \coprod_j u_j\}_{i\in I}.

Now every κ\kappa-ary site has a κ\kappa-ary exact completion: a universal morphism of sites into a category that is both Barr-exact and κ\kappa-extensive. For instance, the \infty-ary exact completion of a small site is precisely its topos of sheaves.

Finally, the theorem is the following: for any κ\kappa-superextensive κ\kappa-ary site CC, the following two categories are equivalent:

  1. The κ\kappa-ary exact completion of CC.

  2. The unary exact completion of the corresponding unary topology on CC.

Roughly, this means that while the category of sheaves (the \infty-ary exact completion) of a superextensive site is not the same as the category of sheaves for its singleton covers alone, we can still recover that category of sheaves from the singleton cover topology by a unary exact completion. (I say “roughly” because if we take κ=\kappa=\infty, then CC will not be small, which means that its \infty-ary exact completion is not the entire category of sheaves but only the “small sheaves”. But arguably, for large sites one should only be interested in the small sheaves anyway.)

Assuming that something analogous is true for stacks, this roughly justifies the use of internal categories and anafunctors (defined as usual using only singleton covers) in a superextensive site. Internal categories and anafunctors look very much like a construction of the “unary 2-exact completion”; thus the stack-version of this theorem would tell us that they also construct the \infty-ary 2-exact completion (roughly, the 2-topos of 2-sheaves) with respect to the whole superextensive topology. (I should mention that David Roberts’ thesis also includes some remarks on the value of anafunctors in superextensive sites.)

I think this is a nice application of the general theory of exact completion (and of its hypothetical 2-categorical analogue). In particular, even stating this theorem depends on having a notion of (unary) exact completion of sites, rather than merely of left-exact, weakly left-exact, or regular categories.

Posted at May 21, 2012 5:53 AM UTC

TrackBack URL for this Entry:

2 Comments & 0 Trackbacks

Re: Superextensive sites

The comments Mike refers to in my thesis are probably best found in my paper on anafunctors, although the latest polished version available on my page (newer than the arXiv version) to which he linked is a bit confusing, and I’m rewriting it at a referee’s request. The latest *unpolished* version is available too, but that is a bit patchy.

Posted by: David Roberts on May 21, 2012 6:57 AM | Permalink | Reply to this

Re: Superextensive Sites

The final version of my exact completions paper, which mentions superextensive sites as a particular case of “𝒥\mathcal{J}-superexact sites”, has now appeared in the CT2011 proceedings volume of TAC. The theorem mentioned at the end of the post is Example 11.12.

Posted by: Mike Shulman on September 5, 2012 8:05 PM | Permalink | Reply to this

Post a New Comment