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

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

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.
    • CommentAuthorDavidCarchedi
    • CommentTimeOct 31st 2012

    I was having an email conversation with Jacob Lurie yesterday, and he totally shocked me. He gave me an example of a topological space QQ and a basis BB of Q,Q, such that Sh (Q)Sh_\infty(Q) and Sh (B)Sh_\infty(B) are NOT equivalent infinity topoi (where the latter is sheaves on BB with the induced Grothendieck topology). Note that by the Comparison Lemma (c.f. Elephant, Theorem 2.2.3) one always has that Sh(Q)Sh(Q) and Sh(B)Sh(B) ARE equivalent 1-topoi, so this is quite surprising. In particular, this means that if we left Bousfield localize simplicial sheaves with respect to Cech covers, this does not always represent the infinity topos of sheaves. To see this, if simplicial sheaves always presented the infinity topos of sheaves, then any two Grothendieck sites whose associated topos of sheaves were equivalent would then have Quillen equivalent model categories of simplicial sheaves, and hence, one would have equivalent infinity topoi of sheaves, but, this cannot be the case.

    For completeness, here is Jacob’s counterexample:

    Let QQ be the Hilbert cube (a product of countably many copies of the interval [0,1][0,1]) let X=Sh (Q)X = Sh_\infty(Q), and let DD be the subcategory of XX given by those open subsets of QQ which are homeomorphic to Q×[0,1)Q \times [0,1) (which you can view as subobjects of the unit object of XX). Such open subsets form a basis for the topology of QQ, so they can be used to cover any object of XX. Consider the functor which assigns to each open set UU of QQ the complex of Borel-Moore chains on UU. This defines a sheaf on QQ with values in the infinity-category of chain complexes of abelian groups. This sheaf vanishes on every object of DD but the sheaf does not vanish everywhere (the Borel-Moore homology of QQ is isomorphic to the usual homology of QQ, since QQ is compact).

    Any thoughts? This is very surprising to me. It also shows that the full and faithful embedding of 1-topoi into infinity topoi, whose essential image is 1-localic infinity topoi, does not always send the topos Sh(C,J)Sh(C,J) to Sh (C,J)Sh_\infty(C,J)! (otherwise we’d again have a contradiction). But it does provided we chose (C,J)(C,J) to be a site with finite limits (Proof of Proposition 6.5.4.7, HTT).

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeOct 31st 2012
    • (edited Oct 31st 2012)

    if simplicial sheaves always presented the infinity topos of sheaves, then any two Grothendieck sites whose associated topos of sheaves were equivalent would then have Quillen equivalent model categories of simplicial sheaves, and hence, one would have equivalent infinity topoi of sheaves, but, this cannot be the case.

    But the (Joyal) model structure on simplicial sheaves presents the hypercomplete \infty-topos. (It’s Quillen equivalent to the Jardine model structure.)

    Isn’t that what makes the difference? The two plain \infty-sheaf \infty-toposes may differ, but their hypercompletion will coincide if their sites have the same sheaf 1-topos.

    That’s, I think, also why the example that you quote invokes the Hilbert cube: the Hilbert cube is is an example of a site for which the \infty-sheaf \infty-topos differs from its hypercompletion.

    • CommentRowNumber3.
    • CommentAuthorDavidCarchedi
    • CommentTimeOct 31st 2012

    @Urs: Indeed, I was aware that they had equivalent hypercompletions for the reason you stated. But, I was (apparently incorrectly) under the impression that if we localize simplicial sheaves with respect to Cech covers (instead of hypercovers) that this would model the infinity topos of infinity sheaves (not hypersheaves). However, this is apparently wrong. I have many questions now, but one is:

    Given a full subcategory DD of a Grothendieck site (C,J),(C,J), under what conditions will Sh (D,j D)Sh_\infty(D,j_D) be equivalent to Sh (C,J).Sh_\infty(C,J). Clearly, the usual comparison lemma is not sufficient. I would guess one would guess that this is true if and only if the Yoneda-embedded image of DD in Sh (C,J)Sh_\infty(C,J) is dense, however, I would like something not directly involving the infinity topos.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeOct 31st 2012
    • (edited Oct 31st 2012)

    Oh, I see.

    You know, I have to think here: do we even have a global model structure on simplicial sheaves?

    But of course, I understand, for your example you start with one (hyper)local model structure and then ask about further localization.

    Okay, so I understand the question now. :-) I don’t know the answer. But clearly it’s a good question. Maybe one crisp way to put it would be:

    what are the \infty-analogs of the notion of dense subsite?

    • CommentRowNumber5.
    • CommentAuthorDavidCarchedi
    • CommentTimeOct 31st 2012

    @Urs: Yes, this is what lead me to the discussion I was having with Jacob. In particular, his counter-example shows the following straight-forward generalization of a very classical piece of 11-category theory breaks for infinity categories:

    Let DD be a full subcategory of C,C, and suppose that CC has pullbacks and arbitrary coproducts. If for every object cc of C,C, the canonical morphism limits f:dcdc\coprod\limits_{f:d \to c} d \to c is an effective epimorphism, where the coproduct is indexed over morphisms with domain in D,D, then DD is dense in C.C.

    Counter-example: Let C=Sh (Q)C=\Sh_\infty\left(Q\right) be sheaves on the Hilbert cube, and DD the subcategory described in 1. DD is not dense.

    However, Lurie’s notion of a hypercovering in an infinity topos makes sense in a wider context, and one can easily show that if every hypercover of an object in CC is effective, then DD is still dense. Moreover, every hypercovering of each object of an infinity topos is effective, if and only if the infinity topos is hypercomplete.

    • CommentRowNumber6.
    • CommentAuthorzskoda
    • CommentTimeOct 31st 2012
    • (edited Oct 31st 2012)

    I think this effect exist already at n=2n=2. In the times of Giraud’s book there were known examples of different sites with the equivalent topoi, but such that the categories of stacks are not equivalent. Of course, if one works internally, in the topos and takes the regular topology then one has trivially the same category of stacks. I think that Mike once convinced me that something was stupid about this kind of examples, but I do not remember the upshot now.

    • CommentRowNumber7.
    • CommentAuthorDavidCarchedi
    • CommentTimeOct 31st 2012

    @Zoran: I’m tempted not to believe this. For stacks of nn-groupoids for any finite n,n, one may use hypercovers instead of covers and get the same answer. So, one could construct the associated model categories on simplicial sheaves for hypersheaves. These are Quillen equivalent, hence they have equivalent infinity categories of hypersheaves. But now, by passing to 11-truncated objects, one has an equivalence between their associated (2,1)(2,1)-categories of stacks. (Each stack of groupoid is a hypersheaf).

    • CommentRowNumber8.
    • CommentAuthorDavidCarchedi
    • CommentTimeOct 31st 2012
    • (edited Oct 31st 2012)

    (comment removed, since I was being silly)

    • CommentRowNumber9.
    • CommentAuthorMike Shulman
    • CommentTimeNov 3rd 2012

    Like Urs, I kind of thought we already knew this, at least the bit about simplicial sheaves. But on the other hand, I’m pretty sure people have claimed to me things that contradict your last paragraph, and I haven’t been sure enough of myself to refute them — so this is clearly not as well-known as it should be. There should be a big warning label somewhere: you cannot reconstruct the \infty-sheaf topos on a site from its 1-sheaf topos! If only we knew the right place to put it….

    (Just coming back online after Hurricane Sandy here in Princeton…)

    • CommentRowNumber10.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 3rd 2012

    Glad to hear you are safe, Mike.

    • CommentRowNumber11.
    • CommentAuthorTim_Porter
    • CommentTimeNov 3rd 2012

    And the same from me. How has Princeton fared?

    • CommentRowNumber12.
    • CommentAuthorMike Shulman
    • CommentTimeNov 3rd 2012

    Well, here at IAS we lost power for a good long time, about 4 days. Other parts of town were better off and got their power back after a day or two, or maybe even never lost it. Princeton University apparently has its own generator. Lots of downed trees were blocking the roads, though, in addition to knocking down power lines. But I’ve only seen a couple of houses that got hit.

    • CommentRowNumber13.
    • CommentAuthorTodd_Trimble
    • CommentTimeNov 5th 2012

    Well, here at IAS we lost power for a good long time, about 4 days.

    That’s actually not long, compared to other parts of New Jersey, and even many parts of Connecticut. (My house got back utility power on Saturday night, and with it cable and internet.) My brother, who has a house in the Atlantic Highlands, has been living in a hotel in Pennsylvania, and will probably have to wait several weeks for power to return. A terrible mess.

    And a Nor’easter is due to hit in a few days, with yet more high winds!

    • CommentRowNumber14.
    • CommentAuthorMike Shulman
    • CommentTimeNov 6th 2012

    Yeah, so I’ve heard! I didn’t realize at first how lucky we were.

    • CommentRowNumber15.
    • CommentAuthorZhen Lin
    • CommentTimeApr 25th 2014
    • (edited Apr 25th 2014)

    @Urs #4

    Yes, in fact we have a “Čech” model structure structure on simplicial sheaves: define the weak equivalences and trivial fibrations as in presheaves, and define the cofibrations by the left lifting property. The fact that the adjunction unit is a natural weak equivalence allows us to apply Kan’s recognition theorem for cofibrantly generated model structures. This works for both the projective and injective versions of the “Čech” model structure of simplicial presheaves. The same arguments work for the local Jardine (“injective”) and Blander (“projective”) model structures, recovering the Joyal (“injective”) and Blander (“projective”) model structures.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeApr 26th 2014

    Thanks for picking up this old thread. In the spirit of the nnLab the idea would be that you write this out in a paragraph of a relevant nnLab entry.

    • CommentRowNumber17.
    • CommentAuthorZhen Lin
    • CommentTimeApr 26th 2014

    I created Čech model structure on simplicial sheaves and wrote a very brief sketch of the proof.

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeApr 26th 2014
    • (edited Apr 26th 2014)

    Thanks!!

    I have briefly edited the formatting a little (made the floating TOC come out right, made Definition numbers come out, added some hyperlinks). Also cross-linked at model structure on simplicial sheaves and topological localization.

    • CommentRowNumber19.
    • CommentAuthorDavidCarchedi
    • CommentTimeJul 3rd 2014

    @Zhen:

    I don’t think the proof can possibly be correct. See the first entry in this discussion. I give an example of two Gorthendieck 1-sites which have equivalent categories of sheaves, but nonequivalent infinity categories of infinity sheaves. If there were a model category on simplicial sheaves which were Quillen equivalent to the local model structure on simplicial presheaves that this would cause a contradiction, as the latter presents the infinity category of (Cech) infinity sheaves.

    • CommentRowNumber20.
    • CommentAuthorZhen Lin
    • CommentTimeJul 3rd 2014

    It’s not defined intrinsically in terms of the topos, so I don’t see the problem.

    • CommentRowNumber21.
    • CommentAuthorDavidCarchedi
    • CommentTimeJul 3rd 2014

    @Zhen: Ah, I see- the underlying categories of the model categories are equivalent, but this equivalence need not be a Quillen equivalence, got it :)