The boundary map of Kan simplicial sets - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T06:20:22Z http://mathoverflow.net/feeds/question/83801 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/83801/the-boundary-map-of-kan-simplicial-sets The boundary map of Kan simplicial sets Mirco 2011-12-18T16:20:18Z 2011-12-18T18:33:30Z <p>I don't know whether or not the following is a research level question, but since it is concerned with simplicial sets and since they are very popular these days, I think this is the right place to ask:</p> <p>Suppose $S_\bullet$ is a simplicial set, </p> <p>$\partial(S_n) = \lbrace (x_0,...,x_n)| d_i(x_j)=d_{j-1}(x_i) \text{ for } i &lt; j \rbrace \subset \times^{n+1}S_{n-1}$</p> <p>is the simplicial kernel (simplicial boundery) of $S_\bullet$ in dimension $n$ and </p> <p>$\Lambda^n_k = \lbrace \left(x_0,\ldots,\hat{x}_k,\ldots,x_n\right)| d_i(x_j)=d_{j-1}(x_i) \mbox{ for } i &lt; j \mbox{ and } i,j \neq k \rbrace \subset \times^{n}S_{n-1}$</p> <p>is the $k$-horn in dimension $n$.</p> <p>Then if the simplicial set is Kan (has the Kan property) the map $$\begin{array}{cccl} Kan(n,k): &amp; S_n &amp;\rightarrow&amp; \Lambda^n_k \ ; &amp; x &amp; \mapsto &amp; \left(d_1(x),\ldots,\widehat{d_k(x)},\ldots,d_n(x) \right) \end{array}$$ is surjective.</p> <p>Now my question is:</p> <p>If $S_\bullet$ is Kan, is the 'boundary map' $$\begin{array}{cccl} \partial_n: &amp; S_n &amp;\rightarrow&amp; \partial(S_n)\ ; &amp; x &amp; \mapsto &amp; \left(d_1(x),\ldots,d_n(x) \right) \end{array}$$ surjective, too?</p> http://mathoverflow.net/questions/83801/the-boundary-map-of-kan-simplicial-sets/83811#83811 Answer by Karol Szumiło for The boundary map of Kan simplicial sets Karol Szumiło 2011-12-18T18:33:30Z 2011-12-18T18:33:30Z <p>The surjectivity of your "Kan maps" is equivalent to the lifting property against all horn inclusions. Similarly the surjectivity of "boundary maps" is equivalent to the lifting property against all boundary inclusions $\partial \Delta^n \to \Delta^n$. The horn inclusions generate acyclic cofibartions and similarly boundary inclusions generate cofibrations. This means that "boundary maps" are surjective if and only if $S$ is a <em>contractible</em> Kan complex.</p>