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.

Improve this question
$\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
    Commented 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$
    – Jesse Wolfson
    Commented 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
    Commented 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$
    – David Carchedi
    Commented 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$
    – Jesse Wolfson
    Commented Jun 20, 2011 at 18:38

1 Answer 1

Reset to default
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.

Improve this answer
$\endgroup$

You must log in to answer this question.

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