nLab superextensive site

Conntents

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Conntents

Idea

A superextensive site is a site whose covering families can be reduced to single covers combined with stable coproducts. Many naturally occuring sites are superextensive. The prefix ‘super-’ is opposite to ‘sub-’ as in ‘subset’ and indicates that the Grothendieck topology of the site contains the extensive topology; compare subcanonical site.

Definition

Let CC be a finitely extensive category. A Grothendieck topology on CC is (finitely) superextensive if it includes the (finitely) extensive topology (generated by families of injections into finite coproducts) and every covering family is generated by a finite one.

Likewise, if CC is infinitary-extensive, a topology is infinitary-superextensive if it includes the infinitary-extensive topology (generated by families of injections into small coproducts) and every covering family is generated by a small one. (Of course, the last condition is vacuous if CC is small.)

Examples

  • Well known examples of infinitary superextensive sites include Top and Diff with their usual topologies, generated by the open covers.
  • The coherent topology on any (finitely or infinitary) extensive coherent category is (finitely or infinitary) superextensive. In particular, this includes (in the infinitary case) the canonical topology on a Grothendieck topos.

Properties

Relationship to singleton covers

If ff is a single morphism in CC that generates a covering family, we call it a cover. The basic property of a superextensive site is that one can replace any (finite or small, as appropriate) covering family (j i:U iB) i(j_i: U_i \to B)_i with the single map [j i] i: iU iB[j_i]_i: \coprod_i U_i \to B. This is a cover, since the original covering family factors through it, and the original covering family can be written as the composite of this cover and the family of coproduct injections U i iU iU_i \to \coprod_i U_i.

Note that covers are stable under pullback, whenever such pullbacks exist. Even without pullbacks, they always satisfy the condition that if f:UBf\colon U\to B is a cover and g:ABg\colon A\to B is any morphism, then there is a cover f¯:VA\bar{f}\colon V\to A such that gf¯g \bar{f} factors through ff. For by the pullback condition on a Grothendieck topology, there is a covering family (f¯ j:V jA)(\bar{f}_j\colon V_j\to A) such that each gf¯ jg \bar{f}_j factors through ff, but then [f¯ j]: jV jA[\bar{f}_j]\colon \coprod_j V_j \to A is the required cover. Covers are also easily seen to be stable under composition, and generate another Grothendieck topology (which is a “singleton pretopology”). If the original topology was denoted TT, we denote the topology generated by single covers by T covT_{cov}.

The main conclusion is:

Theorem

A superextensive Grothendieck topology TT on an extensive category CC is generated by the union of T covT_{cov} and the extensive topology T extT_{ext}.

Proof

By definition, T covT_{cov} and T extT_{ext} are sub-topologies of TT, so it suffices to observe that any covering family (j i:U iB) i(j_i: U_i \to B)_i in TT is the composite of the family of coproduct injections (j i:U i jU j) i(j_i: U_i \to \coprod_j U_j)_i with the cover [j i] i: jU jB[j_i]_i: \coprod_j U_j \to B.

Beware, however, of the following common misconception: TT is not identical with T covT_{cov}. That is, although a superextensive topology is determined by its singleton covers, in the sense that it can be recovered uniquely by knowing only them, it is not generated by its singleton covers as a Grothendieck topology; we need to also include T extT_{ext} in the generating covering families.

An easy way to see that TT and T covT_{cov} must be different is to notice that T covT_{cov}, like any singleton pretopology, is a locally connected site, so that all constant presheaves are sheaves for T covT_{cov}. But since the initial object is covered by the empty family in T extT_{ext}, no nontrivial constant presheaf can be a sheaf for T extT_{ext}.

Compatibility of sheafification

In general, it is not true, for two Grothendieck topologies T 1T_1 and T 2T_2 on the same category, that T 2T_2-sheafification preserves T 1T_1-sheaves (and hence takes them to T 1T 2T_1\cup T_2-sheaves). For example, let CC be the walking arrow 010 \to 1, let T 1T_1 be generated by the nonidentity morphism (so that T 1T_1-sheaves are those for which the image of 010\to 1 is an isomorphism), and let T 2T_2 be generated by the empty family covering 00 (so that T 2T_2-sheaves are those for which the image of 00 is terminal).

However, if T 1T_1 is the extensive topology and T 2=T covT_2 = T_{cov} for some superextensive topology (which is then recovered as T 1T 2T_1\cup T_2), and coproducts preserve covers, then it is true.

Theorem

Let CC be a finitary superextensive site, and suppose that finite coproducts of covers in CC are again covers. If XX is a presheaf on CC which is a T extT_{ext}-sheaf, then the T covT_{cov}-sheafification of XX is also a T extT_{ext}-sheaf, and hence a TT-sheaf.

Proof

We show that if XX is a T extT_{ext}-sheaf, then so is X +X^+, where () +(-)^+ is the reflection into T covT_{cov}-separated presheaves. Since X ++X^{++} is T covT_{cov}-sheafification, this will prove the theorem.

Since T covT_{cov} is generated by single covers, for any cCc\in C we have

X +(c)=colim f:dcgl(X,f)X^+(c) = colim_{f\colon d \to c} gl(X,f)

where the colimit is over all covers with target cc, and gl(X,f)X(d)gl(X,f)\subseteq X(d) consists of those xX(d)x\in X(d) such that r *(x)=s *(x)r^*(x) = s^*(x), where (r,s):d× cdd(r,s)\colon d\times_c d \rightrightarrows d is the kernel pair of ff.

The extensive topology is generated by the empty covering family of the initial object, and by the injections into binary coproducts. First consider the initial object 00. XX being a sheaf for the empty family on 00 means that X(0)=1X(0)=1 is terminal?. But since CC is extensive, its initial object is strict, so any morphism f:d0f\colon d\to 0 is an isomorphism. Therefore, X +(0)=X(0)=1X^+(0) = X(0) = 1.

Now consider a binary coproduct c=c 1+c 2c = c_1 + c_2. XX being a sheaf for this means that X(c)X(c 1)×X(c 2)X(c) \to X(c_1)\times X(c_2) is an isomorphism (since coproducts are disjoint and X(0)X(0) is terminal, there is no compatibility condition to worry about). We want to show that X +(c)X +(c 1)×X +(c 2)X^+(c) \to X^+(c_1)\times X^+(c_2) is also an isomorphism.

First suppose given x,xX +(c)x,x'\in X^+(c). Since covers are stable under pullback and composition, we can represent xx and xx' by some x¯,x¯X(d)\bar{x}, \bar{x'}\in X(d) for the same cover f:dcf\colon d\to c. Now since CC is extensive and c=c 1+c 2c=c_1+c_2, ff decomposes dd as d=d 1+d 2d = d_1+d_2, and moreover d 1d_1 and d 2d_2 are the pullbacks of ff along the two inclusions c 1cc 2c_1 \to c \leftarrow c_2. Thus, since covers are stable under pullback, we have covers f 1:d 1c 1f_1\colon d_1\to c_1 and f 2:d 2c 2f_2\colon d_2\to c_2, and so the restrictions of xx and xx' to c 1c_1 and c 2c_2 can be represented by the restrictions of x¯\bar{x} and x¯\bar{x'} to d 1d_1 and d 2d_2 respectively.

Now if xx and xx' become equal in X +(c 1)X^+(c_1) and X +(c 2)X^+(c_2), there must be covers g i:b id ig_i\colon b_i \to d_i for i=1,2i=1,2 such that g i *(x¯)=g i *(x¯)g_i^*(\bar{x}) = g_i^*(\bar{x'}) in X(b i)X(b_i) for i=1i=1 and 22. Now since covers are stable under coproducts, the map g 1+g 2:b 1+b 2d 1+d 2=dg_1+g_2\colon b_1+b_2 \to d_1+d_2 = d is a cover, and moreover g i *(x¯)g_i^*(\bar{x}) and g i *(x¯)g_i^*(\bar{x'}) can be obtained by first restricting to b 1+b 2b_1+b_2 and then along the two coproduct injections.

b i b 1+b 2 g i g 1+g 2 d i d c i c\array{b_i & \overset{}{\to} & b_1+b_2\\ ^{g_i}\downarrow && \downarrow^{g_1+g_2}\\ d_i& \overset{}{\to} & d\\ \downarrow && \downarrow\\ c_i & \underset{}{\to} & c}

But since XX is a T extT_{ext}-sheaf and g i *(x¯)=g i *(x¯)g_i^*(\bar{x}) = g_i^*(\bar{x'}) for i=1,2i=1,2, we must have that x¯\bar{x} and x¯\bar{x'} become equal in X(b 1+b 2)X(b_1+b_2). Now since the composite b 1+b 2dcb_1+b_2 \to d \to c is a cover, it follows that xx and xx' are equal in X +(c)X^+(c). Thus, X +(c)X +(c 1)×X +(c 2)X^+(c) \to X^+(c_1)\times X^+(c_2) is injective, i.e. X +X^+ is T extT_{ext}-separated.

The case of surjectivity is easier. Suppose given x iX +(c i)x_i\in X^+(c_i), represented by x i¯X(d i)\bar{x_i}\in X(d_i) for some covers f i:d ic if_i\colon d_i\to c_i. Then since covers are stable under coproduct, f 1+f 2:d 1+d 2c 1+c 2=cf_1+f_2 \colon d_1+d_2 \to c_1+c_2 = c is a cover. And since XX is a T extT_{ext}-sheaf, we have a x¯X(d)\bar{x}\in X(d) which restricts to x i¯\bar{x_i} for i=1,2i=1,2. Hence x¯\bar{x} represents some xX +(c)x\in X^+(c) which restricts to each x ix_i, as desired. Thus, X +X^+ is a T extT_{ext}-sheaf.

Of course, there is an analogous result for infinitary superextensive sites. With a little more work we can also prove the same thing for stacks and stackification.

This result is especially interesting because sheaves and stacks for the extensive topology are easier to come by than those for some other topologies. For instance, if CC is an extensive coherent category, then any internal category in CC represents a functor C opCatC^{op}\to Cat which is a stack for the extensive topology, but not usually for the coherent topology. However, the coherent topology is superextensive and its covers are precisely the regular epimorphisms, i.e. T covT_{cov} is the regular topology. Thus, the stackification of an internal category in CC relative to the regular topology is still a stack for the extensive topology, and hence also for the coherent topology.

References

  • Chapter 1 of David Roberts‘ thesis uses superextensive sites in the study of anafunctors. The material is covered and updated in the paper Internal categories, anafunctors and localisations.

Some discussion about terminology in this entry is on the nForum here.

Last revised on June 7, 2014 at 03:11:52. See the history of this page for a list of all contributions to it.