Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I added a definition to locally contractible space, but is it correct?
Thanks, Toby. Discussion of this and many related aspects has been on my to-do list for quite a while, but I have not really gotten around to it.
Let’s first clarify the case of locally contractible topological spaces. I have now added a discussion of this at locally infinity-connected (infinity,1)-site.
So the general statement is that (hypercompleted) -sheaves on a 1-site form a locally -connected -topos if all constant -presheaves are already sheaves, which is the case if there is for each object a split hypercover .
This is a sufficient, not a necessary condition. For a locally contractible topological space, the condition is not satisfied for the category of open subsets . Becuse even though every open subset is covered by contractibles, it need not even be connected, and hence constant presheaves are not even sheaves.
But there is another site of definition for and : the full subcategrory
on the contractible open subsets: since by assumption every has a cover by contractbles, two sheaves are equivalent already when they are equivalent on contractibles.
And the site does have the property that all constant -presheaves on it are already -sheaves, for all .
So if is locally contractible then is locally -connected.
For the converse statement, let me think…
I wrote:
For the converse statement, let me think…
I went back to the 1-categorical statement that the sheaf topos over a topological space is a locally connected topos precisely if the topological space is so. The key step is to prove that if we do have an essential geometric mophism , then every object is the coproduct of connected objects.
In the Elephant, lemma 3.3.6. this is a 6-line argument. But I am not sure how to generalize that argument to -sheaves. (Maybe it’s easy, but I am not sure.)
So what I did instead now is that I re-proved this in a fashion that ought to have a straightforward, almost verbatim, -categorical analog.
What i came up with is now the proof here at locally connected topos.
I’ll think a bit more now to see if from this I can really deduce that is locally -connected precisely if is locally contractible…
I wrote:
I’ll think a bit more now to see if from this I can really deduce that is locally -connected precisely if is locally contractible…
It seems that the argument that is needed is that which we already discussed once at Whitehead tower in an (infinity,1)-topos. I try to go through this now carefully to see if it serves to prove the above, but I will likely be interrupted before I am done.
But let me just briefly notice the relation to Whitehead towers:
Along the lines of the proof for we want to say that for a locally n-connected (n,1)-topos and any object, that the -connected objects covering are the pullbacks
where the bottom morphism is the -unit. It is clear that this collection of objects does cover:
this follows from universal colimits. The question is if the are really all -connected in that .
But this is exactly the implicit claim at Whitehead tower in an (infinity,1)-topos. Notice that
is what I call the intrinsic path n-groupoid .
In suitable situations where both notions exist, this does coincide with the -truncation of the standard fundamental infinity-groupoid of a topological space. As observed at universal cover, we have that the universal 1-connected cover of a connected topological space is the -pullback
Back then this was the starting point for the idea of defining the whole Whitehead tower of any object in any locally -connected -topos by the obvious iteration of this construction.
Now, at Whitehead tower in an (ininity,1)-topos I had once typed the argument for how the internal homotopy groups do behave as expected. If this goes through as one might expect, it would serve to yield a proof that is locally contracible precisely if is locally -connected.
[edit: hm, some s are off by , as usual…]
Thanks, that sounds reasonable. I’ll read through the proofs that you have so far and see if they make sense to me.
There does seem to be some discussion of locally contractible locales in the literature already, although I can’t read any of it online right now. Ieki Moerdijk in particulary has mentioned them, and presumably he has a definition in mind.
I’ll read through the proofs that you have so far and see if they make sense to me.
Please do. I’d be grateful if you’d tried hard to poke holes into everything.
Meanwhile, I still don’t have a general proof that the in comment #4 are -connected in the -topos over a locally -connected topological space, except for .
I do have something different, but related: in the cohesive -topos ETop ∞Grpd I think I can show (see there) the analogous statement for the case that is a paracompact space: that all homotopy fibers of are geometrically contractible. In fact, in that case I think I can show that the homotopy fibers of for all map under to the whole standard Whitehead tower of .
But the proof of this is not purely general abstract, so I am not sure right now how to generalize it. Maybe I am just being dense. Or maybe there is more to it.
There does seem to be some discussion of locally contractible locales in the literature already, although I can’t read any of it online right now. Ieke Moerdijk in particulary has mentioned them, and presumably he has a definition in mind.
I’ll see what i can find out next week.
Maybe I missed the mention of something like this, but won’t you need some sort of q- or m-cofibrancy? Since isn’t toposic (local) connectiveness more about trivial homotopy (pro)groups?
but won’t you need some sort of q- or m-cofibrancy? Since isn’t toposic (local) connectiveness more about trivial homotopy (pro)groups?
Hm, let’s see, my argument is as follows:
by Artin-Mazur we have that if is a locally contractible topological space, then the simplicial set
(where the colimit ranges over all hypercovers and is the simplicial set obtained by contracting degreewise each connected summand to a point) has the same homotopy groups as .
Observe that when switching site of definition (right?) we have that this procedure computes the left derived functor of ;
By Dugger-Hollander-Isaksen this means that the colimit in the above localizes on any split hypercover, degreewise a coproduct of contractibles.
I was talking about the converse: if Sh(X) is locally -connected then is locally contractible.
Hi Mike,
sorry, I had missed that you had already replied here. (That Publication-discussion is drawing a lot of energy and attention…)
First, just for the record, concerning item 2 in #8: I have recorded the standard facts and the example of locally contractible spaces at dense sub-site.
Then finally concerning your comment:
so you are suggesting that for an -topos over a topological space being toposophically -connected to imply that is locally contractible it is necessary that is an m-cofibrant space?
Not sure. Maybe I need to think more about this.
By the way, I asked about the definition of “locally contractibe locale” as given somewhere by Ieke: presumeably it was by saying there is a cover such that the patches are contractible as seens by homming the locales into them.
so you are suggesting that for an
∞-topos over a topological space X being toposophically [locally] ∞-connected to imply that X is locally contractible it is necessary that X is an m-cofibrant space?
Yes, I’m suggesting that something of the sort at least might be necessary (perhaps even “local m-cofibrancy”). I would be a bit surprised if no conditions at all were required. Of course the toposophic homotopy groups are more refined than the classical ones, so my intuition could be off.
I edited the example of good open covers at dense sub-site to read as follows:
every paracompact manifold has a good open cover by open balls diffeomorphic to a Cartesian space.
I changed homeomorphic to diffeomorphic. Just checking this is correct (not quite sure about exotic smoothness, that’s all)
Just checking this is correct
Yes, it is. A while back I spelled out the full detailed proof for this at good open cover. This statement has a curious status in the literature: in textbooks one finds both the statement that this is a difficult open problem and the statement that this is obvious, but never a statement of the proof.
I’d prefer, though, if we kept topological and smooth manifolds as two distinct cases at dense sub-site. I think I’ll do that now.
1 to 13 of 13