Degeneracies for semi-simplicial Kan complexes

The answer to (1) is to be found in

Rourke, C. P.; Sanderson, B. J.$\Delta$-sets. I. Homotopy theory. Quart. J. Math. Oxford Ser. (2) 22 (1971), 321–338.

It is shown there that a Kan "semi-simplicial" set admits a compatible system of degeneracies.

By the way, the term "semi-simplicial" set is not the usual name for this term; it is usually called a "$\Delta$-set."


Added: Given Mike's comment below, I realize now that the following sketch doesn't do the job.

I haven't looked at this paper recently, but I would imagine the way it goes is as follows: Let $$ \Delta^{\text{inj}} = \text{category of finite ordered sets and order preserving injections} $$

$$ \Delta = \text{category of finite ordered sets and order preserving maps} $$ The we have an inclusion functor $j: \Delta^{\text{inj}} \to \Delta$. Given a "semi-simplicial" set $X$ (i.e., a functor $X: \Delta^{\text{inj}} \to \text{Sets}$) we can form the left Kan extension $j_*X$ and then the restriction $j^*j_*X$ to get a natural map $X \to j^*j_*X$. One can ask whether this is a weak equivalence of simplicial sets. Perhaps what Rourke and Sanderson are doing is showing this map to be a weak homotopy equivalence, or maybe just so when $X$ is Kan? (I don't have the paper at hand, so this is speculation on my part.) One might argue as follows: Step a): show that $j^\ast j_\ast$ preserves colimits, Step b) show that the map $X \to j^\ast j_\ast X$ is a weak equivalence when $X$ is a standard "semi-simplicial" $n$-simplex, Step c) infer the general case by induction on simplices.

At any rate, if this is how it goes, then the outcome also provides an answer to (3).


The paper by Rourke and Sanderson writes that "it is a standard exercise to show that $g$ induces an isomorphism of homology and of fundamental groups" and then "applies" Whitehead's theorem; unfortunately that is not Whitehead's theorem on homotopy equivalences. A detailed proof due M. Zisman of the map from the "thick" to the usual realisation being a homotopy equivalence is given on p. 573 of "Nonabelian algebraic topology" (EMS Tract vol 15, August 2011), pdf available from my web page http://groupoids.org.uk/nonab-a-t.html .


Kan wrote a very short note while the paper by Rourke and Sanderson (mentioned in the other answers) was in the publishing process:

Daniel M. Kan, Is an ss complex a css complex? Advances in Mathematics Volume 4, Issue 2, April 1970, Pages 170–171.

(as explained in the comments "ss" refers to semi-simplicial set -- without degeneracies -- and "css" to what is known as simplicial set nowadays).

The proposition is: "An ss complex $X$ which satisfies the extension condition can be completed (although, in general, in many diferent ways)." and he states afterwards that "It is clear that any two such completions will have the same homotopy type."

The proof proceeds by an inductive construction of a simplicial set $WX$ such that there is an isomorphism $FWX \to X$ where $F$ is the forgetful functor from simplicial sets to semi-simplicial sets. As a crucial ingredient he uses the geometric realization from Rourke and Sanderson (he gives a reference to [1,1.3], which should probably be Proposition 2.1. on p.325 in the published version of Rourke and Sanderson's On $\Delta$-sets, I).