Skip to main content

Timeline for weak equivalence of simplicial sets

Current License: CC BY-SA 3.0

6 events
when toggle format what by license comment
Apr 29, 2011 at 16:14 comment added Allen Hatcher A counterexample is given in Example 4.35 in the textbook that's mentioned in the question. It's a pretty simple construction: Start with $S^1\vee S^n$, $n >1$, and attach an $(n+1)$-cell by a map $S^n \to S^1 \vee S^n$ representing the element $2t-1$ in $\pi_n(S^1 \vee S^n) = {\Bbb Z}[t,t^{-1}]$. Then the inclusion of $S^1$ into the resulting space is an isomorphism on all homology groups and on $\pi_i$ for $i < n$ but not on $\pi_n$.
Apr 28, 2011 at 8:21 comment added Johannes Ebert In my answer to this question: mathoverflow.net/questions/53399/…; I gave an example of a map which is a homology equivalence and an isomorphism on $\pi_i$ for $i < n$ (for a fixed $n$ that can be arbitrary large). Moreover, all homotopy groups of these spaces are abstractly isomorphic. You can see what goes wrong in the Leray-Serre spectral sequence. Talking about fibrant simplicial sets in this situation is a distraction.
Apr 28, 2011 at 4:04 comment added Somnath Basu It seems that this question (and questions of this kind) can be answered generally using usual topological spaces. Using words like simplicial sets, morphisms and fibrant objects may be overkill!
Apr 27, 2011 at 19:54 answer added John Klein timeline score: 7
Apr 27, 2011 at 19:50 history edited Enxin Wu
edited tags
Apr 27, 2011 at 19:16 history asked Enxin Wu CC BY-SA 3.0