Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorZhen Lin
    • CommentTimeMar 18th 2012
    • (edited Mar 18th 2012)

    I’m a little confused by the remarks about induced coverages in Section C2.2 of the Elephant. Consider the poset {a,b,c,d}\{ a, b, c, d \} with b<ab \lt a, c<ac \lt a, d<ad \lt a, d<cd \lt c, and let JJ be the Grothendieck topology given by:

    J(a)={{b},{b,d},{b,c,d},{a,b,c,d}}J(a) = \{ \{ b \}, \{ b, d \}, \{ b, c, d \}, \{ a, b, c, d \} \} J(b)={{b}}J(b) = \{ \{ b \} \} J(c)={,{d},{c,d}}J(c) = \{ \emptyset, \{ d \}, \{ c, d \} \} J(d)={,{d}}J(d) = \{ \emptyset, \{ d \} \}

    Now, consider the non-full subcategory with the same objects but only the relations b<ab \lt a, c<ac \lt a, d<ad \lt a. As I understand it, the induced coverage KK takes the form below:

    K(a)={{b},{b,d},{b,c,d},{a,b,c,d}}K(a) = \{ \{ b \}, \{ b, d \}, \{ b, c, d \}, \{ a, b, c, d \} \} K(b)={{b}}K(b) = \{ \{ b \} \} K(c)={,{c}}K(c) = \{ \emptyset, \{ c \} \} K(d)={,{d}}K(d) = \{ \emptyset, \{ d \} \}

    But this is not a Grothendieck topology, since K(a) fails to be a filter. Have I misunderstood something?

    It seems that some care is required when constructing the induced topology when the subcategory is non-full: in this case, what happens is that every sieve on aa in the parent category either contains both cc and dd or not at all, but there are sieves on aa on the subcategory which only contain one of cc or dd but not both.

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeMar 18th 2012

    That’s a good point! I think that must be a slip. In fact, the same issue is pointed out later on in the proof of C2.3.19.

    • CommentRowNumber3.
    • CommentAuthorZhen Lin
    • CommentTimeMar 18th 2012
    • (edited Mar 19th 2012)

    Actually, I just found an example of a saturated coverage and a subcategory such that the induced “coverage” is not even a coverage. Let 𝒞\mathcal{C} be the poset {a,b,c,d}\{ a, b, c, d \} with relations b<ab \lt a, c<ac \lt a, d<ad \lt a, d<bd \lt b, d<cd \lt c. (This is isomorphic to the powerset on the 2-element set.) Let 𝒟\mathcal{D} be the subcategory with the same objects but with the relation d<cd \lt c removed. Let TT be the saturated coverage on 𝒞\mathcal{C} defined as follows:

    T(a)={𝔘sinkonaa𝔘orc𝔘}T(a) = \{ \mathfrak{U} sink on a \mid a \in \mathfrak{U} or c \in \mathfrak{U} \} T(b)={𝔘sinkonbb𝔘ord𝔘}T(b) = \{ \mathfrak{U} sink on b \mid b \in \mathfrak{U} or d \in \mathfrak{U} \} T(c)={𝔘sinkoncc𝔘}T(c) = \{ \mathfrak{U} sink on c \mid c \in \mathfrak{U} \} T(d)={𝔘sinkondd𝔘}T(d) = \{ \mathfrak{U} sink on d \mid d \in \mathfrak{U} \}

    Then, the induced “coverage” on 𝒟\mathcal{D} fails to be a coverage: there is no covering of bb whose pushforward to aa is subordinate to the covering {c}\{ c \}.

    Also, here is another counterexample for the induced coverage being a Grothendieck topology, this time using a full subcategory. Let 𝒞\mathcal{C} be the poset {a,b,c,d}\{ a, b, c, d \} with relations b<ab \lt a, c<ac \lt a, d<ad \lt a, d<cd \lt c, and let 𝒟\mathcal{D} be the subposet {a,b,d}\{ a, b, d \}. Let JJ be the Grothendieck topology on 𝒞\mathcal{C} defined by

    J(a)={{b,c,d},{a,b,c,d}}J(a) = \{ \{ b, c, d \}, \{ a, b, c, d \} \} J(b)={{b}}J(b) = \{ \{ b \} \} J(c)={{c,d}}J(c) = \{ \{ c, d \} \} J(d)={,{d}}J(d) = \{ \emptyset, \{ d \} \}

    Then, the induced coverage on 𝒟\mathcal{D} is given by

    K(a)={{b,d},{b,c,d}}K(a) = \{ \{ b, d \}, \{ b, c, d \} \} K(b)={{b}}K(b) = \{ \{ b \} \} K(d)={,{d}}K(d) = \{ \emptyset, \{ d \} \}

    This is a coverage, but fails to satisfy condition (L) because {b}\{ b \} is not KK-covering.

    Here are some conditions under which the induced “coverage” is nice. Let 𝒞\mathcal{C} be a category, let TT be a coverage on 𝒞\mathcal{C}, let 𝒟\mathcal{D} be a subcategory, and let SS be the induced “coverage” on 𝒟\mathcal{D}.

    1. If 𝒟\mathcal{D} is a full subcategory, then SS is actually a coverage. In fact, it is enough to assume that f:UXf : U \to X factors through g:YXg : Y \to X in 𝒟\mathcal{D} if and only if it factors in 𝒞\mathcal{C}.

    2. If TT is a sifted coverage, then SS is also a sifted coverage. (No assumptions on 𝒟\mathcal{D}.)

    3. If 𝒟\mathcal{D} is a full subcategory and TT is a saturated coverage, then SS is also a saturated coverage.

    Ultimately though, it’s not clear to me what the motivation behind the induced coverage is. I wonder whether it should be defined via a universal property similar to the quotient topology?

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeMar 19th 2012

    I believe C2.3.19 gives it a universal property: it is the minimal coverage such that the inclusion functor is cover-reflecting.

    • CommentRowNumber5.
    • CommentAuthorZhen Lin
    • CommentTimeMar 19th 2012
    • (edited Mar 19th 2012)

    Mmm… that is what I expected, but those pathologies made me sceptical about whether inclusions could have any good properties.

    One precoverage which makes the inclusion functor manifestly cover-reflecting (and cover-preserving!) is the one that has all the covering families of 𝒞\mathcal{C} which are contained in 𝒟\mathcal{D}, but this fails to be a coverage in general. For example, the precoverage obtained by this construction on the span \bullet \rightarrow \bullet \leftarrow \bullet considered as a subcategory of the commutative square equipped with the atomic coverage (every non-empty sink is covering) fails to be a coverage; however, the smallest coverage containing it is precisely the induced coverage in this case, and that is indeed cover-reflecting. On the other hand, because there are empty sinks which are covering in the induced coverage, the inclusion functor cannot preserve covers.

    Are there situations where the induced coverage makes the inclusion functor both cover-reflecting and cover-preserving? This would probably be a good way of getting essential geometric morphisms and/or local geometric morphisms. For example, if 𝒞\mathcal{C} is a category with all pullbacks and TT is a Grothendieck pretopology, and 𝒟\mathcal{D} is a left exact full subcategory closed under pullbacks and covering families, then the induced coverage SS on 𝒟\mathcal{D} would be exactly the same as the restriction (!!) of the Grothendieck pretopology to 𝒟\mathcal{D}. Saturated coverages are too big to make this construction useful, but here I’m quite sure that the coverage induced by the saturation of TT turns out to be the same as the saturation of SS.

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeMar 19th 2012

    Well, if the subcategory is dense, which is the context I expect Johnstone had in mind in C2.2, then I expect the inclusion is both cover-preserving and cover-reflecting. But that will of course only induce an equivalence, not something like a local or essential geometric morphism. Have you read about fibrations of sites in the elephant?

    Also, it’s not obvious to me why you say “Saturated coverages are too big to make this construction useful”; can you explain?

    • CommentRowNumber7.
    • CommentAuthorZhen Lin
    • CommentTimeMar 19th 2012

    By saturated coverage I mean a (non-sifted) coverage TT satisfying the following conditions:

    • (I) If ff is an isomorphism, {f}\{ f \} is TT-covering.
    • (T) The composition of TT-coverings is a TT-covering. (Formally, it is the same as the transitivity axiom for Grothendieck pretopologies.)
    • (U) If 𝔘\mathfrak{U} and 𝔙\mathfrak{V} are sinks on XX, 𝔘T(X)\mathfrak{U} \in T (X), and 𝔘\mathfrak{U} is subordinate to 𝔙\mathfrak{V} (i.e. 𝔘\mathfrak{U} is contained in the sieve generated by 𝔙\mathfrak{V}), then 𝔙T(X)\mathfrak{V} \in T(X).

    This is basically the non-sifted version of a Grothendieck topology. Clearly, covering families can get very large, so it is difficult to control the size of a subcategory closed under covering families.

    I have not yet had the chance to read about fibred categories in the context of topos theory. What I was trying to do was to reconcile Nick Duncan’s definitions of gros and petit toposes with the usual construction of petit toposes from a gros topos (e.g. the Zariski topos; see my other thread). One of the requirements is that there should be a local geometric morphism from the slice of gros topos to the petit topos – so I’m trying to find conditions that a subcategory of the underlying site of a gros topos ought to satisfy if it is to be the site of a petit topos.

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeMar 19th 2012

    That’s what I assumed you meant by a saturated coverage. But I guess I misunderstood what you meant by “useful” – you just meant that it’s hard to make examples maximally explicit with saturated coverages? The theory works just fine (better, in fact).

    Fibrations of sites are very different from fibered categories. I mean, they are technically fibered categories, but they serve a very different purpose. You might want to have a look at them.

    Have you read this paper?

    • CommentRowNumber9.
    • CommentAuthorZhen Lin
    • CommentTimeMar 20th 2012

    No no – I can see the theory works better. By “closed under covering families” what I mean is that if Xob𝒟X \in ob \mathcal{D}, and f:UXf : U \to X is contained in some covering family of XX, then ff (and UU) are also in 𝒟\mathcal{D}. Clearly, if 𝒟\mathcal{D} contains the terminal object and 𝒞\mathcal{C} is equipped with a saturated coverage, then 𝒟\mathcal{D} is closed under covering families if and only if ob𝒟=ob𝒞ob \mathcal{D} = ob \mathcal{C}. The intention was to extract a basis of the topology on SpecSpec \mathbb{Z} by looking at the full subcategory of Aff fp{Aff}^{fp}_{\mathbb{Z}} closed under covering families and containing SpecSpec \mathbb{Z}… but this is evidently an evil approach as it depends on the choice of coverage.

    Thanks for the reference to the paper – it looks very interesting! I’ll have to read it properly at some point.