1
$\begingroup$

Is there a good nerve-like functor from simplicial objects in categories to simplicial sets which takes level-wise equivalences of categories to weak equivalences?

To give this some context, I'd like to extract a simplicial set from the Waldhausen S-construction applied to a category with cofibrations, and I realized that my standard way of taking a nerve is for simplicial categories (i.e. simplicial objects in categories for which the objects form a constant simplicial set), and this doesn't clearly apply to the S-construction.

$\endgroup$
7
  • $\begingroup$ What about taking the nerve in each simplicial degree and then taking the diagonal of the resulting bisimplicial set? $\endgroup$
    – K.J. Moi
    Jun 20, 2011 at 16:21
  • $\begingroup$ I think that does something slightly different, but it does helpfully rephrase the question: Taking the levelwise nerve puts us in bisimplicial sets, and takes levelwise equivalences to levelwise homotopy equivalences, i.e. to weak equivalences (w.e.) in the Bousfield-Kan or Reedy structures. Taking the diagonal of a bisimplicial set preserves w.e. in the Moerdijk structure (by definition), but not necessarily in the BK or Reedy structures. So, I'm looking for a functor from bisimplicial sets to simplicial sets which preserves BK or Reedy w.e. $\endgroup$ Jun 20, 2011 at 16:48
  • $\begingroup$ If we consider a bisimplicial set as a simplicial object in simplicial sets then a levelwise weak equivalence induces a weak equivalence on diagonals, right? Sorry if I'm missing the point here. $\endgroup$
    – K.J. Moi
    Jun 20, 2011 at 17:39
  • $\begingroup$ All simplicial sets cofibrant (in the Quillen model structure). Do you mean with the Joyal model structure? $\endgroup$ Jun 20, 2011 at 17:51
  • $\begingroup$ @KJ, I don't think that a levelwise w.e. necessarily induces a w.e. on diagonals. That was my point about the different model structures on bisimplicial sets. @David, thanks, you're absolutely right. $\endgroup$ Jun 20, 2011 at 18:38

1 Answer 1

3
$\begingroup$

Here is an idea. Try the homotopy coherent nerve. (This was originally introduced, sort of, by Boardman and Vogt in a topological context and was formulated for simplicially enriched categories (and please do not use `simplicial category' as it is ambiguous!) by Cordier in 1980. The H.c. nerve is related to the bisimplicial nerve by using the codiagonal of Artin and Mazur. (which has been mentioned in several of my answers!!!). Some details of the H.C. nerve as discussed in the nLab entry on that and there are links to elsewhere. A chatty discussion can be found in Kamps and Porter, (again that has been mentioned before :-))!

Hope this helps.

[Edit] I should mention the papers

M. Bullejos and A. Cegarra, On the Geometry of 2-Categories and their Classifying Spaces , K-Theory, 29, (2003), 211 – 229.

M. Bullejos and A. M. Cegarra, Classifying Spaces for Monoidal Categories Through Geometric Nerves , Canadian Mathematical Bulletin, 47, (2004), 321–331.

A. Cegarra and J. Remedios, The relationship between the diagonal and the bar constructions on a bisimplicial set , Topology and its Applications, 153, (2005), 21 – 51.

A. Cegarra and J. Remedios, The behaviour of the $\overline{W}$-construction on the homotopy theory of bisimplicial sets , Manuscripta Math., 124, (2007), 427 – 457, ISSN 0025-2611.

some of which may help and that there is related discussion in the Menagerie and in Lurie's HTT.

$\endgroup$

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.