2
$\begingroup$

Let $i: X \to \mathrm{N}\mathcal C$ be a monomorphism in the category of simplicial sets, with $\mathcal C$ a category and $\mathrm{N}\mathcal C$ its nerve. I am looking for sufficient conditions (and not too difficult to check) under which this monomorphism is a Joyal equivalence.

A sufficient condition I know is to apply $\mathfrak C$, the adjoint of the homotopy coherent nerve and check that $\mathfrak C(i)$ is a Dwyer-Kan equivalence.

Since $\mathcal C$ is a category, $\mathfrak C \mathrm N\mathcal C$ is DK-equivalent to the discrete simplicial category $C$, thus one should find conditions under which $\mathfrak CX$ is also DK-equivalent to the discrete simplicial category $\mathcal C$.

For the $\pi_0$ condition, one can use the fact that $(\pi_0)_* \mathfrak C \cong h$, where $h$ is the adjoint to the classical nerve, and relatively well understood.

Is there any known way of computing the fundamental group and/or the homology of the hom spaces of $\mathfrak C X$?

$\endgroup$
2
  • $\begingroup$ If $X\rightarrow NC$ is a categorical equivalence, then $\mathbb{C}X$ is homotopy discrete but not discrete in general since $\mathbb{C}X$ is cofibrant simplicial category in the model category of small simplicial categories. Unless I misunderstood what you mean by "discrete". $\endgroup$
    – Ilias A.
    Jan 30, 2015 at 20:44
  • $\begingroup$ Oh yes, that's what I meant. Thanks, I will correct. $\endgroup$ Jan 31, 2015 at 11:26

0

Your Answer

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