Skip to main content
5 events
when toggle format what by license comment
Jan 21, 2014 at 17:10 vote accept Ma Ming
Jan 20, 2014 at 23:51 comment added David Roberts I'm not 100% sure about the universal property of the homotopy pullback square (even though you do get a square commutative up to a homotopy arising from the nat. iso), but that would give you the space $P$. I'm not so sure about it giving the structure of $P$ as a $G$-bundle, but it is plausible.
Jan 20, 2014 at 12:54 comment added Ma Ming Thanks a lot. I have an alternative argument, which seems not very rigorous. We have a weak pullback square $\underline{P}\to P\rtimes G$, over $*\to *\rtimes G$. Taking nerve and geometric realization weak pullback square becomes(?) homotopy pullback square.
Jan 19, 2014 at 23:59 history edited David Roberts CC BY-SA 3.0
added 471 characters in body
Jan 19, 2014 at 23:43 history answered David Roberts CC BY-SA 3.0