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

Suppose I have a simplicial space $X_{\bullet}$ without degeneracies (sometimes called semi-simplicial space or incomplete simplicial space). There still is a geometric realization $\lVert X \rVert$ of $X_{\bullet}$, which only uses the face maps. What properties does this realization have?

  • Does it still preserve products, i.e. is $\lVert X \times Y \rVert$ still (weakly?) homotopy equivalent to $\lVert X \rVert \times \lVert Y \rVert$?
  • Do levelwise (weak) equivalences still induce a (weak) homotopy equivalence of the geometric realizations?

I know of the paper "Categories and Cohomology Theories" by Segal, where he defines this "fat" geometric realization in the appendix. Unfortunately, he proves the above properties by a comparison with another construction that takes the degeneracies into account. Is this the only way to prove this? Do the properties fail in case there are no degeneracies?

share|improve this question
add comment

2 Answers

In brief:

For your first question, no. Let $X_\bullet$ be any semi-simplicial space and $Y_\bullet$ have a point in degree zero and be empty in every other degree. Then $\vert X_\bullet \times Y_\bullet \vert = X_0$, which will not usually be equivalent to $\vert X_\bullet \vert$.

For your second question, yes. This is always true for semi-simplicial spaces, and is not always true for simplicial spaces (It is in the case where the thick and thin realisations are equivalent, of course). To see this you prove that the maps on $k$-skeleta $\vert X_\bullet \vert^{(k)} \to \vert Y_\bullet \vert^{(k)}$ are equivalences by induction on $k$, using the push-out description of the $k$-skeleton from the $(k-1)$-skeleton, and the fact that $$X_k \times \partial \Delta^k \to X_k \times \Delta^k$$ is a cofibration so that it is a homotopy push-out. Then you use that $\vert X^\bullet \vert = \mathrm{colim} \vert X^\bullet \vert^{(k)}$ and that each $\vert X^\bullet \vert^{(k-1)} \to \vert X^\bullet \vert^{(k)}$ is a cofibration so this is a homotopy colimit.

share|improve this answer
add comment

[ I now realize that the OP is asking about functors in the image of the forgetful functor from simplicial spaces to semisimplicial spaces, though I focus my answer mainly on a general semisimplicial space. I'll keep the answer up anyway in case it's helpful.

To clarify, by a simplicial blah, I'm as usual talking about a functor $\Delta^{op} \to Blahs$. A semisimplicial blah is given by a functor $\Delta_0^{op} \to Blahs$, where $\Delta_0$ is the non-full subcategory where we discard the non-identity surjections.]

The degeneracies are critical when considering products--it is in fact false that the geometric realization commutes with products (up to homotopy equivalence) without the degenerate simplices. A simple example is given by taking the product of $S^1$ with itself---if you take the one-vertex, one-edge semisimplicial structure, you'll never recover the torus via geometric realization. (An obvious problem arises when now your higher simplices $X_n$ can equal the empty set.) Note this is an example in semisimplicial sets, not even spaces. In short, the functor $||\bullet||: semiSSpace \to Spaces$ is not well-behaved with respect to products.

However, these "incomplete" simpicial sets/spaces arise really naturally. For instance, a lot of categories may not have a natural unit/identity, so there are no degeneracy maps in the nerve of the category---these are modeled most easily by "semi"simplicial sets/spaces. But so long as you're not taking products, the theory of such things (I think) work out just fine. You can still talk about the classifying space of a non-unital category by taking geometric realization of the corresponding semisimplicial set (i.e., its nerve).

As for your second question, I'm fairly certain that what you say is correct--if you have two semisimplicial spaces $Y_\bullet, X_\bullet$ with a natural transformation that induces level-wise equivalences, then the geometric realizations will be (weakly) homotopy equivalent. I think you can see this by taking a filtration by simplicial index and seeing that the associated gradeds are equivalent.

Given a semisimplicial space, there are some ways to get an actual simplicial space (this is akin to formally adding units in a category, or to an algebra) but I'm not sure how well-behaved this functor is.

However, the composite functor $$ SSpace \to semiSSpace \to Spaces $$ (forget, and then realize) will satisfy all the properties you asked for, mainly because the fat geometric realization doesn't differ in homotopy type from the usual geometric realization (provided the simplicial space is good, in the sense of Segal!).

As always if anybody has questions or more enlightening comments, please share.

Hiro

share|improve this answer
    
Thanks! That was really helpful. The spaces I have are Γ-spaces without degeneracies, but with some kind of homotopy unit. Maybe I can tweak Segal's degeneracy arguments to get the product preserving property for these as well *fingers crossed*. –  Ulrich Pennig Mar 19 '12 at 17:34
    
Hi Ulrich--are you thinking of $\Gamma$-spaces as strict functors from $\gamma^{op}$ to Spaces? Or as $\infty$-functors? Is there a way you can rig your homotopy unit to such an $\infty$-functor (and in particular, one with degeneracies)? –  Hiro Lee Tanaka Mar 19 '12 at 18:10
    
Hmm, probably. But is this enough to get a delooping of a $\Gamma$-space? Lurie's higher topos theory is probably the right place to look for something like that, is it? –  Ulrich Pennig Mar 19 '12 at 18:13
    
About how well-behaved the adjoint to the forgetting-degeneracies-functor is: mathoverflow.net/questions/57653/… and mathoverflow.net/questions/75094/… could be interesting –  Peter Arndt Mar 21 '12 at 0:24
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.