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.
    • CommentAuthorTim_Porter
    • CommentTimeNov 22nd 2014

    I have expanded the Idea section in localization of model categories as it previously seemed to be a stub. (It said: A localisation for model categories. Doh!) I have given a quote from Hirschhorn’s book.

    • CommentRowNumber2.
    • CommentAuthorDmitri Pavlov
    • CommentTimeApr 21st 2023

    This article describes left Bousfield localizations. Why is it separate from left Bousfield localization? I suggest deleting this article.

    diff, v3, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeApr 21st 2023

    But there is a notion of localization of model categories beyond Bousfield localization. So I think what the article needs is better content, not deletion.

    • CommentRowNumber4.
    • CommentAuthorDmitri Pavlov
    • CommentTimeApr 21st 2023
    • (edited Apr 21st 2023)

    But there is a notion of localization of model categories beyond Bousfield localization.

    What do you have in mind, specifically? Do you have a reference? Hirschhorn talks about left Bousfield localizations exclusively.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeApr 22nd 2023

    Hirschhorn’s book starts with a general notion of localization of model categories in section 3.1 and then turns attention to Bousfield localizations from 3.3 on.

    From p. 47:

    In Section 3.1 we define left and right localizations of model categories […] in Section 3.3 we discuss (left and right) Bousfield localizations of categories, a special case of left and right localizations

    I have essentially rewritten the entry to better reflect this.

    diff, v4, current

    • CommentRowNumber6.
    • CommentAuthorDmitri Pavlov
    • CommentTimeApr 22nd 2023

    Re #5: No, this is just Hirschhorn’s idiosyncrasy that is not shared by other authors. Both notions present exactly the same construction of reflective (∞,1)-localizations.

    Look at Definition 4.2 in Barwick’s “On left and right…”, he defines left Bousfield localizations exactly as what this article calls “localizations of model category”, i.e., Hirschhorn’s left localization.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeApr 22nd 2023

    Does he also show that the two definitions are equivalent?

    • CommentRowNumber8.
    • CommentAuthorDmitri Pavlov
    • CommentTimeApr 22nd 2023

    Re #7: I would not even call the construction with S-local weak equivalences a definition on its own.

    The fundamental property that we want is precisely the same as for reflective localizations: we want the initial object in the category of left adjoint functors that invert S.

    In the ordinary case, if the category is locally presentable and S is a set, then the reflective localization exists, and can be computed either as the full subcategory of S-local objects, or as the category of fractions of C with respect to S-local equivalences.

    However, we do not say that either of these two constructions is a “new notion of a localization”. These are just computational descriptions of reflective localizations.

    Likewise, in the model categorical case, there is only one definition: the initial object in the category of left Quillen functors whose left derived functor inverts S.

    If the category is combinatorial and left proper, and S is a set of morphisms, than the localization exists and can be computed either as the full subcategory of S-local objects (if we are willing to work with relative categories, not model categories), or as the original model structure whose weak equivalences are enlarged to S-local weak equivalences.

    However, we do not say that either of these two constructions is a “new notion of a localization”. These are just computational descriptions of left Bousfield localizations.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeApr 23rd 2023

    Maybe it’s trivial, just let me know (though it didn’t seem obvious to Hirschhorn, who calls Bousfield loc a “special case”):

    Are the two definitions equivalent? I.e. does it follow that every “left localization” fixes the class of cofibrations?

    • CommentRowNumber10.
    • CommentAuthorHurkyl
    • CommentTimeApr 23rd 2023

    Re #8: I don’t think I’ve ever seen a definition of “reflective localization” that isn’t “has a fully faithful right adjoint”. Is it automatic that the right adjoint to a functor satisfying the “fundamental property” you describe is a fully faithful functor?

    Barring an affirmative answer to that question, I would say that “a functor satisfying the fundamental property of #8” is a “new notion of a localization”, one that happens to coincide with “has a fully faithful right adjoint” when the latter exists. (well, I would lean towards saying “generalization”, but you get the point)

    My state of knowledge is the same regarding left Bousfield localization; the definitions I’ve encountered are “same underlying category and cofibrations, but more weak equivalences”. And while such a thing satisfies the universal property you allude to… it is by no means obvious to me that such a thing is guaranteed to exist whenever there exists something satisfying said universal property.

    • CommentRowNumber11.
    • CommentAuthorDmitri Pavlov
    • CommentTimeApr 23rd 2023

    Re #9: As far as I know, there is not a single example of a “left localization” in the literature that is not a left Bousfield localization. (Using Hirschhorn’s terminology.)

    I am not sure whether having an article about a potential empty set is warranted. And other authors, like Barwick, use the definition of this article as the definition of a left Bousfield localization.

    There is also a potential mathematical problem: whereas in the case of left Bousfield localizations we do know that they present reflective localizations of underlying (∞,1)-categories, I am not aware of such a proof for Hirschorn’s “left localizations”. (We would have to show that the strictly initial left Quillen functor is also homotopy initial, which as far as I am aware, nobody ever looked at.) So in fact, we don’t know whether left localizations are localizations!

    • CommentRowNumber12.
    • CommentAuthorDmitri Pavlov
    • CommentTimeApr 23rd 2023

    Re #10:

    I don’t think I’ve ever seen a definition of “reflective localization” that isn’t “has a fully faithful right adjoint”. Is it automatic that the right adjoint to a functor satisfying the “fundamental property” you describe is a fully faithful functor?

    A priori, one could define two different notions: (1) the initial object in the category of left adjoint functors that invert S; (2) the initial object in the category of left adjoint functors that invert S and whose right adjoint is fully faithful.

    In the case when S is a set and the category is locally presentable, (1) and (2) coincide, since any left adjoint functor that inverts S must invert morphisms in the strong saturation of S, and the latter coincides with S-local equivalences when S is a set and the category is locally presentable.

    It would be interesting to see examples that distinguish (1) and (2).

    For model categories, the situation is the same: if S is a set and the model category is combiantorial (or cellular), then the right derived functor of the right adjoint is automatically homotopically fully faithful.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeApr 23rd 2023

    Thanks for clarifying.

    It seems to me only one thing is really clear now: We want to retain that page in order to have a place to discuss all these issues. :-)

    • CommentRowNumber14.
    • CommentAuthorDmitri Pavlov
    • CommentTimeApr 23rd 2023

    Re #13: But then the title of the article is problematic: we do not know that Hirschhorn’s definition gives a localization, until we show that it coincides with the left Bousfield localization. Otherwise, it is just some formal construction for which we have no idea how it relates to reflective localizations of (∞,1)-categories. The only thing we can show is that if CDC\to D is a left localization of C at S in the sense of Hirschhorn, then on the underlying (∞,1)-categories, we have a left adjoint functor C[W 1]D[W 1]C[W^{-1}]\to D[W^{-1}] that inverts elements of S. However, I see no way to prove that this functor is ∞-initial among all such functors, nor a way to prove that its right adjoint is a fully faithful functor.