Search Results
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 |
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.
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 …
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
$$
…
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 $ …
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 …
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 …
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 …