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.
17
votes
cohomology of BG, G compact Lie group
If you know a bit of Algebraic Topology (in particular the dreaded spectral sequences), the following is a nice way to see this.
The well known Hopf Theorem states that for $G$ a compact connected Li …
13
votes
Accepted
When does $BG \to BA$ loop to a homomorphism?
If $G$ is a compact connected topological group and $A$ is a locally compact abelian topological group, then for any map $f:BG\to BA$ the looped map $\Omega f:\Omega BG\to \Omega BA$ is homotopically …
11
votes
Accepted
Integral versus real (universal) characteristic classes
If $X$ is a space of finite type (meaning that the homology groups $H_i(X)$ are all finitely generated, a condition which applies in particular to $X=BG$ for $G$ a compact Lie group) then for each $n$ …
8
votes
Accepted
Dualizable classifying spaces
Any finitely presented group of type FL admits a finite classifying space. (A group $G$ is of type FL if $\mathbb{Z}$ admits a finite length resolution by finitely generated, free $\mathbb{Z}G$-module …
8
votes
Accepted
rationalization of classifying spaces
In the paper
Arkowitz, Martin Categories equivalent to the category of rational H-spaces, Manuscripta Math. 64 (1989), no. 4, 419–429
it is shown that the rational homotopy equivalence $G_\mathbb{Q} …
2
votes
Equivariant Cohomology for actions with finite stabilizers
In fact "$\mathbb{Q}$-acyclic" means "having the same rational homology groups as a point". In particular, the classifying space of any finite group is $\mathbb{Q}$-acyclic, as can be seen by a simple …