11
$\begingroup$

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$.

$\endgroup$
0

2 Answers 2

11
$\begingroup$

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$.

$\endgroup$
4
  • $\begingroup$ @ Reid: I can send you a document, on request. $\endgroup$ Mar 30, 2010 at 3:28
  • $\begingroup$ @Charles: That would be greatly appreciated. $\endgroup$ Mar 30, 2010 at 3:39
  • $\begingroup$ 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). $\endgroup$
    – Dan Ramras
    Mar 30, 2010 at 6:31
  • 4
    $\begingroup$ 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.) $\endgroup$ Mar 30, 2010 at 13:31
10
$\begingroup$

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.

$\endgroup$
3
  • $\begingroup$ 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. $\endgroup$ Mar 30, 2010 at 21:21
  • $\begingroup$ Thank you for the references. Do you have a convenient reference for the fact that $\Theta_n$ is a skeletal category? $\endgroup$ Mar 30, 2010 at 21:28
  • 4
    $\begingroup$ 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. $\endgroup$ Mar 30, 2010 at 21:53

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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