Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

share|improve this question
    
In view of Karlo Szumilo's answer it seems that for the second question we have to look for conditions on $K$ under which the map $j_!j^*K \rightarrow K$ is a Joyal equivalence: The simplicial category obtained from the semi-simplicial set $j^*K$ seems to be the simplicial category obtained from the simplicial set $j_!j^*K$... –  Peter Arndt Sep 10 '11 at 18:18
add comment

2 Answers 2

up vote 12 down vote accepted

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

share|improve this answer
    
Thank you! . –  Peter Arndt Sep 23 '11 at 10:59
add comment

I haven't thought about your second question, but the counit $\varepsilon_K:j_!j^*K\to K$ is always a weak equivalence. It follows from the fact that the unit is a weak equivalence. First, observe that a map of simplicial sets $f:X\to Y$ is a weak equivalence if and only if $j^*f$ is a weak equivalence, because $|j^*X|$ is the "fat geometric realization" of $X$, which is naturally homotopy equivalent to the usual geometric realization. Since the unit is always a weak equivalence, it follows from one of the triangular identities that $j^*\varepsilon_K$ is a weak equivalence and by the above observation so is $\varepsilon_K$.

share|improve this answer
    
Cool, thank you! –  Peter Arndt Sep 10 '11 at 17:58
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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