Hi,
Let's denote by "semi-simplicial set" a simplicial set without degeneracies, i.e. a contravariant functor from the category $\Delta_{inj}$ of finite linearly ordered sets and order preserving injections to sets (this is also known as $\Delta$-set).
We have an inclusion functor $j: \Delta_{inj} \rightarrow \Delta$ giving us an adjunction between semi-simplicial sets and simplicial sets: The right adjoint is $j^*: Set^{\Delta^{op}} \rightarrow Set^{\Delta_{inj}^{op}}$ given by precomposition with $j$ (i.e. forgetting degeneracies), the left adjoint is $j_!:Set^{\Delta_{inj}^{op}} \rightarrow Set^{\Delta^{op}} $ given by left Kan extension (i.e. taking realization in simplicial sets). It is known from the article referred to in this MO-answer that boosting a semi-simplicial set up to a simplicial one and then forgetting degeneracies again results in an equivalent semi-simplicial set (in the sense that their realizations are equivalent).
I would like to know about the other direction: Does anyone know conditions on a simplicial set $K$ which ensure that the map $j_!j^*K \rightarrow K$ is a weak equivalence?
I am especially interested in the case where $K$ is the nerve of a category.
A related question is the following: Given a Reedy cofibrant semi-cosimplicial object in the category of simplicial categories, which is equivalent to the underlying semi-cosimplicial object of the usual cosimplicial object, one can by the usual yoga set up an adjunction between semi-simplicial sets and simplicial categories.
Starting with a simplicial set $K$ one can view it as a semi-simplicial set, then produce a simplicial category. I would like to know under which conditions on $K$ this simplicial category is equivalent to the simplicial category which one gets by applying the usual functor from simplicial sets to simplicial categories (the left adjoint to the coherent nerve) directly to $K$. Again the case of biggest interest for me is when $K$ is the nerve of a category.
Best Answer
The map $j_! j^{\ast} K \rightarrow K$ is never a Joyal equivalence unless $K$ is empty. For example, if $K = \Delta^{0}$, then $j_{!} j^{\ast} K$ is the nerve of the category with one object $X$ and a single nonidentity morphism $e: X \rightarrow X$ satisfying $e^2 = e$. You can think of $j_{!} j^{\ast} K$ as "obtained from $K$ by freely adjoining new identity morphisms".