Timeline for "Singular homology = simplicial homology" relative to a fibration
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 6, 2022 at 8:34 | history | edited | Yeah | CC BY-SA 4.0 |
added 504 characters in body
|
| Nov 5, 2022 at 17:05 | history | became hot network question | |||
| Nov 5, 2022 at 16:00 | comment | added | Tyrone | Cross-posted on MSE. | |
| Nov 5, 2022 at 15:38 | history | edited | LSpice | CC BY-SA 4.0 |
Capitalise title
|
| Nov 5, 2022 at 15:24 | answer | added | Dmitri Pavlov | timeline score: 8 | |
| Nov 5, 2022 at 13:47 | comment | added | John Wiltshire-Gordon | But I'm guessing that the proof of the Serre spectral sequence actually uses a result like this one, so I'm hoping you get an answer that is short and sweet! | |
| Nov 5, 2022 at 13:46 | comment | added | John Wiltshire-Gordon | I think I know how to prove it: your complex includes in the usual singular complex for E; filter both by the skeletal filtration on the base; an inductive proof shows that the inclusion induces an isomorphism on exact couples, which gives an isomorphism on spectral sequences; finally, noting that the larger filtered complex defines the Serre spectral sequence, we obtain the result. | |
| Nov 5, 2022 at 9:05 | history | asked | Yeah | CC BY-SA 4.0 |