Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $R$ be a Reedy category and consider the category $\mathcal{P}(R) = \mathbf{sSet}^{R^{\mathrm{op}}}$ of simplicial presheaves on $R$. When are the Reedy and injective model structures on $\mathcal{P}(R)$ the same? Are there useful sufficient conditions on $R$?

I know this is the case when all the morphisms of $R$ raise degree (I hope that's the right direction), and also when $R = \Delta$. I am specifically interested about the case where $R$ is $\Theta_n$, or a product of several copies of $\Theta_n$.

share|improve this question
add comment

2 Answers

I've been thinking about this question too! It seems that showing that the Reedy and injective model structures agree for presheaves on $R$ boils down to having a well-behaved notion of "degeneracy".

Suppose you have a simplicial set $X$. Given an $n$-simplex $x\in X([n])$, you say it is degenerate if there exists a $k<n$, a $k$-simplex $y\in X([k])$, and a surjective map $\sigma : [n]\to [k]$ such that $X(\sigma)(y)=x$. The simplex $x$ is non-degenerate if it is not degenerate.

Two facts:

  1. If $X\subseteq Y$ is an inclusion, and $x\in X([n])$ is non-degenerate as a simplex of $X$, then it is also non-degenerate as a simplex of $Y$.

  2. For every $x\in X([n])$, there exists a unique pair $(y,\sigma)$ consisting of a surjection $\sigma:[n]\to [k]$ and a non-degenerate $y\in X([k])$ such that $X(\sigma)(y)=x$.

These facts turn out to be what you need to show that the Reedy and injective model structures coincide on $\mathrm{sSet}^{\Delta^{op}}$; in particular, you can show that all monomorphisms are Reedy cofibrations (which is the hard part). If you replace $\Delta$ with a Reedy category $R$ and make the appropriate definition of "degenerate" and "non-degenerate", conditions 1 and 2 are sufficient for injective=Reedy.

This leaves the question: why are 1 and 2 true for simplicial sets? I've known these facts for years, but only recently realized that I didn't know the proof! And then when I constructed a proof on my own, it turned out to be quite ugly. The good news is that there is in fact a very nice proof, due to Eilenberg and Zilber, and which you can find in section II.3 of Gabriel-Zisman, "Calculus of Fractions and Homotopy Theory".

I think these ideas generalize to $\Theta_n$.

share|improve this answer
    
@ Reid: I can send you a document, on request. –  Charles Rezk Mar 30 '10 at 3:28
    
@Charles: That would be greatly appreciated. –  Reid Barton Mar 30 '10 at 3:39
    
I don't have the paper in front of me, but I think that facts 1 and 2 above show up in Milnor's original paper on simplicial sets (the one where he gives the correct definition of "thin" realization, and proves that it respects products). –  Dan Ramras Mar 30 '10 at 6:31
3  
Sort of. Milnor states the result, says "the proof is not difficult", and cites the Eilenberg-Zilber paper ("Semi-simplicial complexes and singular homology", Ann. of Math (2) 51.) –  Charles Rezk Mar 30 '10 at 13:31
add comment

I complete the answer of Charles Rezk by some precise references: you may find the answer to your questions in my book Les préfaisceaux commes modèles des types d'homotopie, Astérisque 308 (2006). In chapter 8 of loc cit, I gave an axiomatic approach to this. Indeed, if $R$ is a skeletal category in the sense of Definition 8.1.1 in loc cit, and in which the automorphisms are trivial, then the class of monomorphisms in $\mathcal{P}(R)$ is generated by the set of boundary inclusions $\partial x\to x$, where $x$ runs over the family of representable precheaves; see Proposition 8.1.37. Now, these nice categories are closed under finite cartesian product (see Remark 8.1.7), from which you deduce easily that the Reedy model structure on the category of simplicial presheaves on $R$ coincides with the injective one. This applies of course to $R=\Theta_n$.

However, as I wrote this in French, I suspect some people might be happy to have a reference in English: Section 4 in this paper of Samuel B. Isaacson.

share|improve this answer
    
Cool. I'll take a look at it. I wish I'd known this was already in your paper; I've spent more time than I care to admit working this out. Can you say a word about why it works for $\Theta_n$? I think I have a proof, but maybe yours is better. –  Charles Rezk Mar 30 '10 at 21:21
    
Thank you for the references. Do you have a convenient reference for the fact that $\Theta_n$ is a skeletal category? –  Reid Barton Mar 30 '10 at 21:28
2  
The fact $\Theta_n$ has all the good properties follows from Lemma 2.4 in Clemens Berger's paper: "A cellular nerve for higher categories", Adv. Math. 169 (2002), no. 1, pp. 118-175. As an exercise, you may also prove directly that whenever $R$ is nice, so is its wreath product with $\Delta$ (in the sense of Definition 3.1 in this other paper of C. Berger: "Iterated wreath product of the simplex category and iterated loop spaces", Adv. Math. 213 (2007), no. 1, pp. 230-270); this would give another (and nicer) proof. –  Denis-Charles Cisinski Mar 30 '10 at 21:53
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.