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
    • CommentTimeOct 28th 2014

    created a bare minimum at sharp map

    • CommentRowNumber2.
    • CommentAuthorZhen Lin
    • CommentTimeOct 28th 2014

    I added in Rezk’s original definition. It agrees with the intuitive definition in the case of a right proper model category, but in general there seems to be a subtle difference.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 28th 2014

    Ah, thanks!

    • CommentRowNumber4.
    • CommentAuthorDmitri Pavlov
    • CommentTimeOct 28th 2014

    @ZhenLin: Where did you actually find this particular definition (i.e., base changes are also homotopy base changes) in Rezk’s paper?

    I am currently looking at Rezk’s paper and he defines sharp maps at the beginning of Section 2 and his definition is different from the one that is currently used in the article sharp map, and in fact one can construct examples of model categories (necessarily not right proper) where these two definitions are actually different.

    If the model category is right proper, then Rezk’s Proposition 2.7 does establish the equivalence of these two definitions.

    • CommentRowNumber5.
    • CommentAuthorDmitri Pavlov
    • CommentTimeOct 28th 2014

    @ZhenLin: Sorry, I guess I misunderstood which definition was actually added by you.

    Anyway, the current article has two nonequivalent definitions, and only the second one describes sharp maps.

    The definition in the “Idea” section is also a very important notion (in fact, I consider it to be more important than sharp maps), but I don’t know a name for it.

    It only coincides with sharp maps for right proper model categories, but in general it’s very different from sharp maps.

    In fact, I asked a question about this on MathOverflow: http://mathoverflow.net/questions/181807/reference-for-maps-whose-pushouts-are-also-homotopy-pushouts but so far there are no replies.

    I ended up calling these maps “i-fibrations”, and in my paper with Jakob Scholbach (http://arxiv.org/abs/1410.5675) we investigate the dual notion of i-cofibration quite extensively, in particular, we prove that (acyclic) i-cofibrations are weakly saturated under some mild additional conditions on the underlying model category and the class of acyclic i-cofibrations coincides with the class of couniversal weak equivalence (i.e., maps whose cobase changes are weak equivalences).

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeOct 28th 2014

    My fault. Fixed it.

    • CommentRowNumber7.
    • CommentAuthorZhen Lin
    • CommentTimeOct 28th 2014

    The intuitive definition is given by Rezk in the introduction:

    In this paper we study a class of maps called sharp maps. In our context, a map f:XYf : X \to Y will be called sharp if for each base-change of ff along any map into the base YY the resulting pullback square is homotopy cartesian.

    I am inclined to agree that this is the more important notion, but it has the disadvantage of requiring a (good) notion of homotopy pullback.

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeJan 26th 2019

    Added other references and discussion of the various other terminologies (but not redirects for most of them, since most of them would be confusing).

    diff, v5, current