Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 6666

The classifying space BG of a group G classifies principal G-bundles, in that homotopy classes of maps [X, BG] are naturally identified with isomorphism classes of principal G-bundles P ⭢ X.

4 votes

Is this true of the frame bundle $\operatorname{Fr}(M)$?

A lifting of the map $Fr(M)\to EO(n)$ along the map $(B\phi^\ast)EO(n)\to EO(n)$ always exists (up to homotopy, which I think is what you mean), simply because the space $EO(n)$ is contractible and th …
Tom Goodwillie's user avatar
5 votes
Accepted

Construct a 'nice' trivializing cover of universal principal $G$-bundle $EG \to BG$

I think that this works. EDIT: No, it doesn't. See John Rognes's comment. Notation: For a point $x\in EG$ we may symbolically write $x=\sum_{j=0}^nt_jg_j$, where $g_0,\dots ,g_n$ is an ordered tuple o …
Tom Goodwillie's user avatar
8 votes
Accepted

Classifying space of bundles over bundles

If I understand the question right, I think the classifying space can be described like this. Let $Map(G,BH)$ be the space of all continuous maps from $G$ to $BH$. Make the group $G$ act continuously …
Tom Goodwillie's user avatar
27 votes
Accepted

Torsion in the Atiyah–Hirzebruch spectral sequence of a classifying space

Of course, in any spectral sequence $E_{r+1}$ is a subquotient of $E_r$ (the kernel of $d_r$ divided by the image of $d_r$). And in general new torsion can appear in the sense of torsion elements in $ …
Tom Goodwillie's user avatar
2 votes

Relation between groups and classifying spaces

I thought about the case when $G$ is a free group. I believe that in this case $H_2(BG/G)$ is the second exterior power of $G^{ab}$ (which is also $H_2(BG^{ab})$), and $H_3(BG/G)$ is the kernel of $$ …
Tom Goodwillie's user avatar
8 votes

what does BG classify? i.e. what is a principal fibration?

This is not an answer but an attempt to clarify the question. In the category of right $G$-spaces (with weak equivalences being the maps that as maps of spaces are weak equivalences) let us single ou …
Tom Goodwillie's user avatar