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.
    • CommentAuthorUrs
    • CommentTimeOct 9th 2021

    starting something, meaning to record a transparent proof of an adjoint equivalence that becomes a Quillen equivalence for simplicial presheaves (haven’t seen this discussed anywhere).

    But not done yet, just need to save…

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeOct 9th 2021

    I have now typed out full proof of the adjoint equivalence.

    It follows (not in the entry yet) with K. Brown’s lemma that for simplicial presheaves this adjoint equivalence is a Quillen adjunction for the projective model structure and the slice of that.

    Still need to think about full proof that this is a Quillen equivalence. But need to interrupt now.

    diff, v2, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 11th 2021

    Have typed out the argument (here) that the simplicial version of the adjoint equivalence is a Quillen adjunction.

    Still need to show that it’s a Quillen equivalence.

    diff, v7, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeOct 11th 2021

    Finally I have typed out also the proof of the Quillen equivalence property (here)

    diff, v9, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeOct 11th 2021

    Have now added a concluding section (here) with the statement seen in \infty-category theory.

    Also adjusted the Idea-section, to reflect this completion of the proofs.

    diff, v10, current

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeOct 11th 2021

    Added mentioning (here) of the application to the proof of cohesion of global- over G-equivariant homotopy theory.

    diff, v10, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJul 9th 2022
    • (edited Jul 9th 2022)

    Following discussion in another thread (here)…

    …I have added (here) a section which proves the equivalence of categories in the generality where the base object need not be representable.

    Strictly speaking, the statement proven in this case is (currently) a little weaker than that given over a representable, (which proves an adjoint equivalence with identification of the right adjoint as the functor of sections). But the proof is general abstract and applies verbatim also in \infty-category theory (where all the required properties, such as the interplay of hom-functors with colimits, still hold as natural equivalences of \infty-groupoids).

    I have added a brief remark on this here.

    diff, v11, current

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJul 10th 2022

    I have slightly adjusted and re-arranged throughout the entry, for better readability (hopefully).

    diff, v13, current

    • CommentRowNumber9.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 10th 2022

    Added:

    In simplicial presheaf theory

    {#InSimplicialPresheafTheory}

    We now promote the Quillen equivalence in the previous section to the case of Čech-[[local model structures on simplicial presheaves].

    Recall that these are obtained as a left Bousfield localization of the (say) projective model structure on simplicial presheaves with respect to Čech nerves of covering families.

    We reuse the notation of the previous section.

    \begin{proposition} The Quillen equivalence of \ref{SimplicialLocalSectionsIsRightQuillen} descends to a Quillen equivalence of the corresponding Čech-local projective model structures. \begin{tikzcd} \big( \mathrm{sPSh}(\mathcal{C}){/y{\mathcal{C}}(X)} \big){\mathrm{\v Cech,proj}} \ar[ rrr, shift right=8pt, “{ \mathrm{PSh}(\mathcal{C}){/y(X)} \big( (y_{\mathcal{C}}){/X}(-) ,, -
    \big) }”{below} ] &&& \mathrm{sPSh} \big( \mathcal{C}
    {/X} \big)_{\mathrm{\v Cech,proj}} \ar[ lll, shift right=8pt ] \ar[ lll, phantom, “{ \scalebox{.6}{ Qu\simeq_{\mathrlap{\mathrm{Qu}}}} }” ] \end{tikzcd} \end{proposition}

    \begin{proof} Both model categories are left proper and combinatorial. Therefore we can take left Bousfield localizations with respect to arbitrary sets of morphisms.

    We localize both sides with respect to Čech nerves of respective covering families. Observe that Čech nerves of covering families in 𝒞 /X\mathcal{C}_{/X} are mapped to Čech nerves of covering families in sPSh(𝒞)sPSh(\mathcal{C}) and therefore also in the slice category sPSh(𝒞) y 𝒞(X)sPSh(\mathcal{C})_{y_{\mathcal{C}}(X)}. Thus, we have an induced Quillen adjunction between localized model categories.

    It remains to show that this Quillen adjunction is a Quillen equivalence.

    It suffices to show that the right adjoint reflects weak equivalences between fibrant objects. Here fibrant objects are objectwise Kan complexes that satisfy the appropriate variant of the homotopy descent property. Local weak equivalences between locally fibrant objects coincide with objectwise weak equivalences. As established in the previous section, the right adjoint functor reflects objectwise weak equivalences between objectwise fibrant presheaves, which completes the proof. \end{proof}

    diff, v14, current

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeAug 12th 2022

    I have added (here), as a simple but fun example of the “fundamental theorem of \infty-presheaf \infty-topos theory”, that it gives the identification of the slice over delooping \infty-groupoids with \infty-group actions:

    (Grpd ) /B𝒢(PSh (*)) /B𝒢 Γ PSh (* /B𝒢)PSh (B𝒢)𝒢Act(Grpd ). \array{ \big(Grpd_\infty\big)_{/\mathbf{B}\mathcal{G}} \,\simeq\, \big( PSh_\infty(\ast) \big)_{/\mathbf{B}\mathcal{G}} & \underoverset {\phantom{--}\sim\phantom{--}} {\Gamma} {\longrightarrow} & PSh_\infty \big( \ast_{/\mathbf{B}\mathcal{G}} \big) \;\simeq\; PSh_\infty( \mathbf{B}\mathcal{G} \big) \;\simeq\; \mathcal{G} Act \big( Grpd_\infty \big) \,. }

    diff, v15, current

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeAug 19th 2022
    • (edited Aug 19th 2022)

    This example shows that there is a gap in the previous argument that the proof in the entry generalizes immediately to slicing over non-representables.

    Namely, take, for instance, the simplicial site to be the terminal category 𝒞=*\mathcal{C} = \ast; and take the simplicial preasheaf over this site to be W¯GsSet=sPSh(*)\overline{W}G \,\in\, sSet \,=\, sPSh(\ast) for a non-trivial group GG.

    Then the slice enriched category is still trivial: */W¯G=*\ast\big/\overline{W}G \,=\, \ast, since the hom-pullback does not pick up the higher cells in W¯G\overline{W}G.

    Therefore sPSh(*)/W¯GsPSh(\ast)/{\overline{W}G} is not equivalent to sPSh(*/W¯G)sPSh\big( \ast/\overline{W}G \big), contrary to what the above discussion is assuming.

    [edit: The problem is the appeal to the enriched slice category. It needs to be replaced by the “discrete enriched Grothendieck construction”. I’ll try to make the edits. ]

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeAug 19th 2022
    • (edited Aug 19th 2022)

    I have accordingly adjusted the material on simplicial presheaves:

    • The previous material I have given a section header “Over 0-truncated objects” (now here).

    • The pointers to Hollander’s article I have (slightly expanded and) put under “Over 1-truncated objects” (now here).

    In another direction, I guess over 0-connected simplicial presheaves, one could regard the coefficient sSets as one-object sSet-categories and then model the proper slice sSet-site by the sSet-enriched Grothendieck construction from Beardsley & Wong 2018, Def. 4.2 .

    But in full generality, without any truncation of connectedness assumptions, I am afraid one does need to invoke some straightening yoga.

    diff, v19, current

    • CommentRowNumber13.
    • CommentAuthorHurkyl
    • CommentTimeAug 19th 2022
    • (edited Aug 19th 2022)

    Random aside: did the meaning of “slice” change over time? I.e. given a functor p:XCp : X \to C, I’m reasonably certain I’ve seen the comma category (Cp)(C \downarrow p) called the slice category in the past, including here at nLab, rather than as the category of cones over pp which seems the standard today.

    But maybe I just got mixed up by seeing the notation C/pC/p used for both notions and there was never the term “slice” attached to it when used for commas.

    • CommentRowNumber14.
    • CommentAuthorDmitri Pavlov
    • CommentTimeAug 19th 2022

    Re #12: There is an easy way to define the slice category of a simplicial presheaf without any straightening.

    Suppose FF is a simplicial presheaf on a small category CC.

    We define the slice site C/FC/F as follows.

    Objects are morphisms σ:Δ n×y(c)F\sigma\colon\Delta^n\times y(c)\to F, i.e., elements of the set F(c) nF(c)_n.

    Morphisms ([n],c,σ)([n],c,σ)([n],c,\sigma)\to([n'],c',\sigma') are given by pairs (f:[n][n],g:cc)(f\colon[n]\to[n'],g\colon c\to c') such that F(g)(c) f=cF(g)(c')_f=c.

    The Grothendieck topology on C/FC/F is induced by the forgetful functor to CC.

    Now consider the category of simplicial presheaves on C/FC/F. Equip it with the projective (or injective) model structure, then left Bousfield localize at Čech covers (or hypercovers), then further left Bousfield localize at morphisms of representable presheaves induced by morphisms (f,g)(f,g) in CC such that gg is the identity map.

    It is not difficult to show that the resulting model category MM is Quillen equivalent to the slice model category of FF.

    The left Quillen equivalence MsPSh(C)/FM\to sPSh(C)/F sends the representable presheaf of ([n],c,σ)([n],c,\sigma) to the object in sPSh(C)/FsPSh(C)/F given by the morphism σ:Δ n×y(c)F\sigma\colon\Delta^n\times y(c)\to F.

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeAug 20th 2022

    I see, thanks. What I’d need is is proof of the fact that the equivalence is induced by forming homotopy sections. This becomes a little opaque with the category of simplices.

    • CommentRowNumber16.
    • CommentAuthorDmitri Pavlov
    • CommentTimeAug 20th 2022

    Re #15: The right adjoint functor R to the left adjoint functor I described above indeed sends an object G in the slice category sPSh(C)/F to its sections over Δ n×y(c)\Delta^n\times y(c) (which become homotopy sections once you pass to right derived functors):

    R(G)(σ:Δ n×y(c))=Map(σ,G).R(G)(\sigma\colon\Delta^n\times y(c))=Map(\sigma,G).

    In particular, after right deriving,

    R(G)(σ:Δ n×y(c))R(G)(\sigma\colon\Delta^n\times y(c))

    no longer depends on nn in the following precise sense: taking any vertex of Δ n\Delta^n produces a weakly equivalent fiber

    R(G)(σ:Δ 0×y(c)).R(G)(\sigma\colon\Delta^0\times y(c)).
    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeAug 20th 2022
    • (edited Aug 20th 2022)

    While I haven’t yet checked the Quillen equivalence that you are claiming now, what puzzles me at the moment is that it would seem to imply that all slices of 1-localic \infty-toposes (i.e. with a 1-site of definition) are again 1-localic (have again a 1-categorical site of definition).

    But a slice \infty-topos over an object that is not nn-truncated should be at least n+1n+1-localic (e.g. here). What am I missing here?

    • CommentRowNumber18.
    • CommentAuthorDmitri Pavlov
    • CommentTimeAug 20th 2022
    • (edited Aug 20th 2022)

    all slices of 1-localic ∞\infty-toposes (i.e. with a 1-site of definition) are again 1-localic (have again a 1-categorical site of definition).

    No, it does not. Observe that I also left Bousfield localized at morphisms of representable presheaves induced by morphisms (f,g) in C such that g is the identity map.

    This produces a relative site, i.e., a site equipped with a notion of a weak equivalence, equivalently, a relative category equipped with a coverage.

    Of course, you can take its Dwyer–Kan hammock localization and convert it to a simplicial site. However, the resulting site is not 1-categorical.

    • CommentRowNumber19.
    • CommentAuthorMarc Hoyois
    • CommentTimeAug 20th 2022

    Additionally, the ∞-topos of a 1-site need not be 1-localic, if that site does not have finite limits.

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeAug 20th 2022

    I see, thanks!

    • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTimeAug 20th 2022

    Yeah, I had missed that you have a nontrivial Bousfield localization in #14 even in the case that the original topology was trivial. That explains it.