5
$\begingroup$

I would like to know how to cite this theorem (which has a quite surprising consequence):

A model category $\mathcal{M}$ is right proper if and only if for any weak equivalence $f:A\to B$, the Quillen adjunction $\Sigma_f:\mathcal{M}/ A \leftrightarrows \mathcal{M} / B:f^*$ is a Quillen equivalence.

I had never heard of it (I never read that in any textbook I believe) before I browse the nLab site which refers to this blog comment from C. Rezk.

Improve this question
$\endgroup$
1
  • $\begingroup$ There is a general (and quite useful) lemma saying that a Quillen adjunction $L:\mathcal{M}\leftrightarrows\mathcal{N}:R$ in which $L$ preserves and detects weak equivalences is a Quillen equivalence if and only if the counit map $v: L(R(X)) \to X$ is a weak equivalence for every fibrant object $X \in \mathcal{N}$. Now observe that $\Sigma_f$ preserves and detects weak equivalences and that $\mathcal{M}$ is right proper exactly when for every weak equivalence $f: A \to B$ in $\mathcal{M}$ and every fibrant $X \in \mathcal{M}/B$ the counit map $v: \Sigma_f(f^*(X)) \to X$ is a weak equivalence. $\endgroup$
    – Yonatan Harpaz
    Commented Sep 8, 2015 at 11:15

1 Answer 1

Reset to default
4
$\begingroup$

This is Proposition 2.7 in Rezk's Every Homotopy Theory of Simplicial Algebras Admits a Proper Model

Improve this answer
$\endgroup$
3
  • 2
    $\begingroup$ Proposition 2.5 in the published version. $\endgroup$
    – Zhen Lin
    Commented Sep 8, 2015 at 12:46
  • $\begingroup$ Thanks; I didn't have access to the published version, which is why I linked the arxiv version above. $\endgroup$
    – David White
    Commented Sep 8, 2015 at 18:14
  • 1
    $\begingroup$ It is freely available on the Web now (I mean legally freely available) : doi.org/10.1016/S0166-8641(01)00057-8 $\endgroup$
    – Philippe Gaucher
    Commented May 23, 2017 at 7:43

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .