Timeline for Where is simpleness used in the proof of existence of Postnikov towers of principal fibrations?
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 1, 2014 at 14:23 | vote | accept | Alexei | ||
| Apr 29, 2014 at 2:21 | answer | added | Peter May | timeline score: 8 | |
| Apr 28, 2014 at 8:26 | comment | added | Alexei | @OscarRandal-Williams Thank you, I misunderstood the notion of $n$-equivalence. Is there any way to fix this proof, maybe by using a modified version of the homotopy excision theorem? | |
| Apr 27, 2014 at 22:10 | comment | added | Oscar Randal-Williams | @Alexi: yes, the homotopy excision theorem applies, but the statement of that theorem shows that $(A,C) \to (C(\alpha_n), B)$ is a $(n+2 = m_{ex} + n_{ex}-2)$-equivalence, which on $\pi_{n+2}$ only means it is a surjection: May's proof uses that it is an isomorphism in this degree. | |
| Apr 27, 2014 at 21:10 | comment | added | Alexei | @OscarRandal-Williams I added the version of the proof of the part you mention which we discussed at the seminar, to my post. | |
| Apr 27, 2014 at 20:58 | history | edited | Alexei | CC BY-SA 3.0 |
Added part of the proof mentioned by Oscar Randal-Williams.
|
| Apr 27, 2014 at 19:02 | comment | added | Oscar Randal-Williams | The application of homotopy excision in May's proof does not give the claimed range for the map $\eta$ to be an isomorphism. | |
| Apr 27, 2014 at 18:32 | review | First posts | |||
| Apr 27, 2014 at 18:33 | |||||
| Apr 27, 2014 at 18:13 | history | asked | Alexei | CC BY-SA 3.0 |