Timeline for Internal principal $G$-bundles
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 10, 2021 at 18:41 | vote | accept | Dat Minh Ha | ||
| Sep 10, 2021 at 13:02 | comment | added | Marc Hoyois | I mean that there is a $G$-equivariant isomorphism $P\times_XP\simeq G\times P$ over $P$. This is a local trivialisation of your bundle, since $P\to X$ is a covering. | |
| Sep 8, 2021 at 19:53 | comment | added | Dat Minh Ha | @MarcHoyois Could you be a bit more specific ? What do you mean by "pulling $P \to X$ back along $P \to X$" ? | |
| Sep 8, 2021 at 18:48 | history | edited | Dat Minh Ha | CC BY-SA 4.0 |
deleted 1 character in body
|
| Sep 8, 2021 at 18:46 | comment | added | Marc Hoyois | The bundle $P\to X$ becomes trivial after pulling back along the effective epimorphism $P\to X$, since $P\to X\to BG$ factors through the base point. | |
| Sep 8, 2021 at 18:35 | answer | added | Dmitri Pavlov | timeline score: 5 | |
| Sep 8, 2021 at 17:11 | history | asked | Dat Minh Ha | CC BY-SA 4.0 |