4
$\begingroup$

Let $P$ be a small category, and let $F:P\to M$ be a diagram in a left-proper combinatorial model category $M$. We say that $F$ is a diagram of cofibrations if for every object $p\in P$, $F(p)$ is cofibrant, and for any $f:p\to p'$ in $\mathrm{Arr}(P)$, $F(f)$ is a cofibration.

Recall that a diagram $F: P\to M$ is called projectively cofibrant if the map $\emptyset \to F$ in $M^P$ has the left lifting property with respect to the class of morphisms that are objectwise trivial fibrations.

An easy example of when this holds is a for spans. Such diagrams are projectively cofibrant if and only if they are diagrams of cofibrations. Another example of such a diagram shape is the category of natural numbers (viewed as an ordered set).

Are there any known rules of thumb for when we can say that a diagram of cofibrations is projectively cofibrant?

If no general result exists, I'm specifically interested in the case where $M$ is the category of simplicial sets and $P$ is a poset.

Edit: Since the original question was answered in the comments, I'd like to add the conditions that the poset $P$ is finite and Thomason-contractible (that is, its nerve is a weakly contractible simplicial set).

Improve this question
$\endgroup$
7
  • 4
    $\begingroup$ It's very rarely true. Note that if this is true for $P$ then it is also true for any subposet $Q\subset P$ such that no element of $Q$ is less than any element of $P-Q$. It also appears to me that, in order for it to hold for $P$, the realization of the nerve of $P$ must be homotopy equivalent to a discrete space. $\endgroup$
    – Tom Goodwillie
    Commented Jul 18, 2011 at 14:03
  • 5
    $\begingroup$ If $P$ is a direct category, then projectively cofibrant diagrams coincide with Reedy cofibrant diagrams. It is easily seen that only very uncomplicated direct categories will satisfy your property. For example a constant diagram is always a "diagram of cofibrations", but constant diagrams are Reedy cofibrant only when $P$ is a coproduct of categories with initial objects. The situation is probably only worse for non-direct categories. $\endgroup$
    – Karol Szumiło
    Commented Jul 18, 2011 at 14:30
  • 1
    $\begingroup$ Does "Thomason-contractible" mean "with a contractible nerve"? If so this is not sufficient and my previous comment explains why. There are contractible direct categories with no initial object, for example the direct part of $\Delta$ (i.e. the category of finite nonempty totally ordered sets and injective order-preserving maps). There are also examples among posets. $\endgroup$
    – Karol Szumiło
    Commented Jul 18, 2011 at 18:19
  • 4
    $\begingroup$ This will fail when $P$ is the product of two copies of $\{0\to 1\}$, so that to be a "finite Thomason-contractible poset" won't be sufficient. I think the case of spans is quite representative: you will need $P$ to be a directed category which is free (i.e. isomorphic to the free category on a graph). Note that, for a directed category, to be free is a very big constraint; this implies, for instance, that for any model category $M$, the functor $Ho(M^P)\to Ho(M)^P$ is full and essentially surjective. $\endgroup$
    – D.-C. Cisinski
    Commented Jul 18, 2011 at 22:40
  • 2
    $\begingroup$ This condition on a poset $P$ (every "diagram of cofibrations" is a cofibrant diagram) implies that for any element of $P$ the set of all lower bounds is totally ordered. $\endgroup$
    – Tom Goodwillie
    Commented Jul 19, 2011 at 2:40

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .