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.
    • CommentAuthorUrs
    • CommentTimeAug 27th 2013

    Concerning our geologically slow discussion elsewhere, in various other threads, on \infty-toposes that contain non-trivial stable homotopy theory.

    Here is a trivial thought:

    while we grew fond of identifying the \infty-category and allegedly \infty-topos of parameterized spectra as the tangent (infinity,1)-category to Grpd\infty Grpd, maybe it’s after all more useful to think of it instead as the full sub-category of the slice (,2)(\infty,2)-category

    (,1)Cat /Spectra (\infty,1)Cat_{/Spectra}

    on the (,0)(\infty,0)-truncated objects, which we are inclined to write

    Grpd /Spectra(,1)Cat /Spectra. \infty Grpd_{/Spectra} \hookrightarrow (\infty,1)Cat_{/Spectra} \,.

    But suppose these two obviously plausible facts about (,2)(\infty,2)-toposes hold true:

    1. slices of (,2)(\infty,2)-toposes are (,2)(\infty,2)-toposes;

    2. full subcateories on (,0)(\infty,0)-truncated objects inside (,2)(\infty,2)-toposes are (,1)(\infty,1)-toposes

    then it would follow immediately that Grpd /Spectra\infty Grpd_{/Spectra} is an (,1)(\infty,1)-topos.

    Maybe somebody could remind me why this obvious (naive?) strategy for going about it is no good.

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 27th 2013

    Can’t see anything wrong myself.

    Is this argument likely to have a smooth or super analogue?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeAug 27th 2013

    If this argument works, then it is fully general.

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeAug 27th 2013

    It’s not true that a slice of a 2-topos is a 2-topos; you have to restrict to fibrations.

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 28th 2013

    So if we took the fibrational slice over spectra, what would the (,0)(\infty, 0)-truncated objects be?

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2013

    Thanks, Mike. What’s a reference for this?

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2013

    @David, re #5: fibrations won’t do, for our purpose here. For instance we need there to be a tensor unit of parameterized spectra over some XX, which is the functor constant on the sphere spectrum. This is far from being a fibration.

    • CommentRowNumber8.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 28th 2013

    Has anyone asked Joyal why he believes parameterized spectra form an \infty-topos?

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2013
    • (edited Aug 28th 2013)

    I have talked with him on a bus ride to a lobster restaurant in Hallifax, and back. He said he has a general theory of what he calls “loci” that allows him to check this. (I think I remember this correctly, but of course it’s just my memory.) We talked about a lot of things and I didn’t get around to asking for more details on the proof. Unfortunately.

    • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 28th 2013

    Could he be asked by email?

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2013

    Sure he could! :-)

    • CommentRowNumber12.
    • CommentAuthorMike Shulman
    • CommentTimeAug 28th 2013

    He gave a talk about it at IAS. A “locus” is a category CC such that the category of indexed families of objects of CC form a topos. Since toposes are closed under left exact localizations, so are loci. The category of pointed types is a locus, since families of it are a presheaf category (the category of retractions). Similarly, the category of prespectra is a locus. And the category of spectra is a left exact localization of the category of prespectra. Hence spectra form a locus, so parametrized spectra are a topos.

    Eric Finster had another argument for this that has some relationship to Goodwillie calculus, but I don’t remember it.

    • CommentRowNumber13.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 28th 2013

    I thought Goodwillie was somewhere around. That’s about taking the tangent at the one-point space, according to Finster. Hmm, can one ’transport’ the tangent space around along morphisms to 11 in the underlying (,1)(\infty, 1)-category?

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2013

    Heh, didn’t know that you knew the argument.

    I follow your paragraph in #12, except for one step. Maybe I am misunderstanding, but how is pointed \infty-groupoids paramerized over \infty-groupoids an \infty-presheaf \infty-topos?

    • CommentRowNumber15.
    • CommentAuthorMike Shulman
    • CommentTimeAug 29th 2013

    A pointed \infty-groupoid parametrized over an \infty-groupoid is just a map BAB\to A equipped with a section (which assigns the basepoints of the fibers). So the category of such is the category of diagrams on the walking map-equipped-with-a-section.

    • CommentRowNumber16.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 29th 2013

    Probably worth an entry then for locus. We would need some disambiguation though.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeAug 29th 2013

    Oh, I see. Thanks.

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeAug 29th 2013

    @David, I have added to your locus the clause that the indexing is specifically over \infty-groupoids.

    • CommentRowNumber19.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 29th 2013

    Might something be gained by allowing the indexing to take place over a different base?

    So a locus is something like the kind of fiber over 11 which if pulled back over all of Grpd\infty Grpd generates an \infty-topos?

    Then is there good reason why the tangent category to Grpd\infty Grpd at 11 should be one of these things?

    Where does the cohesiveness for parametrized spectra come from? Is it produced by that localization of the topos of parametrized prespectra?

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeAug 29th 2013

    I am not sure how to do the geometric version with this. One evident idea would be to consider presheaves on some site wih values in the \infty-topos of parameterized spectra and then localize again at the covers.

    I feel I am a bit behind the curve with this topic. Mike, have you thought about this?

    • CommentRowNumber21.
    • CommentAuthorMike Shulman
    • CommentTimeAug 29th 2013

    I don’t really fully understand it either. Nor am I really happy with the name “locus”. (-:

    There should be no reason we can’t vary the base. I think the general notion would be an EE-indexed locus: an EE-indexed category CC such that the EE-indexed category Fam(C)Fam(C) is an EE-indexed topos.

    • CommentRowNumber22.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 30th 2013

    So we need such a concept as locus, however we’d like it be called, because we can’t go directly via left exact localization from, say, parametrized prespectra to parametrized spectra, but need to do this via the unparametrized versions?

    • CommentRowNumber23.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 30th 2013
    • (edited Aug 31st 2013)

    I added a link (edit: to locus) to this discussion in a new reference section, and an attribution to Joyal.

    • CommentRowNumber24.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 30th 2013

    Was Joyal just considering 1-toposes? Wasn’t Mike just dropping the \inftys?

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeAug 30th 2013

    @David Corfield: yes, the discussion about stable objects only makes sense in \infty-toposes.

    @David Roberts: sorry, where did you add something?

    • CommentRowNumber26.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 30th 2013

    On locus. I’ll remove DR’s comment to that effect.

    • CommentRowNumber27.
    • CommentAuthorMike Shulman
    • CommentTimeAug 30th 2013
    • (edited Aug 30th 2013)

    Yes, I was slipping into the implicit infinity-category theory convention, sorry. I’m not entirely sure why the locus concept is needed; Joyal might just prefer to talk about it that way.

    • CommentRowNumber28.
    • CommentAuthorDavid_Corfield
    • CommentTimeNov 8th 2016

    A development