9
$\begingroup$

I am interested in comparison of homotopy pullback squares in the category of simplicial sets with respect to Joyal' model structure and Quillen's one.

Suppose we are given a (strict) pullback square

$\begin{array}{ccc}W&\to&X\\ \downarrow && \downarrow\rlap{p}\\ S&\to&T\end{array}$

of quasi-categories with $p$ a categorical fibration; i.e. a fibration in the Joyal model structure, so it is a homotopy pullback in the Joyal model structure.

Question

Are there any criteria for the square to be a homotopy pullback also in Quillen model structure?

I also appreciate criteria with additional assumption on $p$; e.g. being a left / right fibration.

Improve this question
$\endgroup$
8
  • 1
    $\begingroup$ Left fibration and right fibration are insufficient. In fact the only right or left fibrations satisfying this condition (for all square of quasi categories) are the Kan fibrations. Though there are some $p$ that satisfies this without being a Kan fibrations. (for example, unless I making a mistake, all Joyal fibrations to the terminal simplicial sets...). I'm not sure what it the appropriate condition. $\endgroup$
    – Simon Henry
    Commented Sep 27, 2018 at 12:31
  • 1
    $\begingroup$ Just my opinion, but I think the question title is too broad. Would be better if it said something about homotopy pullbacks in the Joyal vs Quillen model structures on sSet. $\endgroup$
    – David White
    Commented Sep 27, 2018 at 14:23
  • 7
    $\begingroup$ Quillen's theorem B gives sufficient conditions for this to hold. One can extend it to infinity-categories. See for instance Prop. 4.6.11 in my book Higher Categories and Homotopical Algebra (available here: mathematik.uni-regensburg.de/cisinski/publikationen.html). Prop. 4.6.2 in loc. cit. might be relevant as well. $\endgroup$
    – D.-C. Cisinski
    Commented Sep 27, 2018 at 14:46
  • 2
    $\begingroup$ This is a pervasive question in homotopy theory. I would really like to see a comprehensive survey of the different sufficient conditions available. One source I like is Rezk's note. $\endgroup$
    – Tim Campion
    Commented Sep 27, 2018 at 22:10
  • 2
    $\begingroup$ @Jun Yoshida: asserting that (ii) implies (iii) in 4.6.11 precisely means that 4.6.12 holds for quasi-categories. $\endgroup$
    – D.-C. Cisinski
    Commented Sep 29, 2018 at 13:39

0

Reset to default

You must log in to answer this question.