The classifying-spaces tag has no wiki summary.

**3**

votes

**1**answer

240 views

### Classifying space for fibrations with Eilenberg-MacLane space as fibers

The following result seems to be frequently quoted:
Consider the fibration $K(\pi,n)=\Omega K(\pi,n+1)\to PK(\pi,n+1)\to K(\pi,n+1)$. Let $B$ be any topological space (which is not too pathologic). ...

**1**

vote

**2**answers

195 views

### A fibration of classifying spaces

Let $G$ be a Lie group, $N$ a closed connected normal subgroup. Let $BG$, $BN$, $B(G/N)$ be the classifying spaces of $G,N$ and $G/N$. Is there a fibration $BN\to BG\to B(G/N)$ ?
It seems that such a ...

**37**

votes

**2**answers

1k views

### $H^4(BG,\mathbb Z)$ torsion free for $G$ a connected Lie group

Recently, prompted by considerations in conformal field theory, I was let to guess that for every compact connected Lie group $G$, the fourth cohomology group of it classifying space is torsion free.
...

**2**

votes

**1**answer

276 views

### The topology of the classifying space of U(n)

In $\textit{Atiyah and Bott: The Yang-Mills equations over riemann surfaces}$, there is a sentence about the topology of BU(n) (i.e. the classifying space of U(n)):
Here $K(\mathbb{Z},n)$ means the ...

**1**

vote

**0**answers

102 views

### Retracts of 2-categories

Let $\mathbf{C}$ be a strict $2$-category and let $M = \{(x_\alpha,y_\alpha)\}$ be a collection of object-pairs so that each hom-category $\mathbf{C}(x_\alpha,y_\alpha)$ has an initial element ...

**3**

votes

**1**answer

208 views

### Quasi-coherent sheaves on classifying stacks

Let $G$ be a smooth group scheme over some base $S$. Then we have the $S$-stack $BG$ whose $T$-points are the $G$-torsors on $T$. Under which conditions do we have $\mathsf{Qcoh}(BG) \simeq ...

**3**

votes

**0**answers

176 views

### Cohomology of BG, algebraically

Let $k$ be a field (algebraically closed if you will) and $G$ be a connected reductive group over $k$. I would like to know a purely algebraic computation of the cohomology of $BG$, as the quotient ...

**11**

votes

**2**answers

398 views

### rationalization of classifying spaces

This question is probably trivial for anyone who is more familiar with rational homotopy theory than me, but anyway:
Let $G$ be a simply-connected topological group. In particular, it is an ...

**12**

votes

**2**answers

331 views

### Group cohomology without G-modules (a.k.a. what does this bar construction compute?)

Without any prior exposure to the cohomology of groups, one might naively proceed by replacing a group by a sort of resolution.
For instance, let's take $G = \mathbb{Z}^2$, and "resolve":
$$ 0 \to ...

**13**

votes

**1**answer

296 views

### Equivariant classifying spaces from classifying spaces

Given compact Lie groups $G$ and $\Pi$, there is a notion of "$G$-equivariant principal $\Pi$-bundle", and a corresponding notion of classifying space, often denoted $B_G\Pi$, so that $G$-equivariant ...

**2**

votes

**0**answers

97 views

### The transfer map $H_*(BSO(3))\rightarrow H_*(BO(2))$: reference request

All cohomology and homology will be $Z/2$ coefficient. The restriction map
$H^*(BSO(3))\rightarrow H^*(BO(2))$ is well-known to be the inclusion of
the Dickson invariant $Z/2[w_2,w_3]$ into the ...

**7**

votes

**2**answers

255 views

### Integral versus real (universal) characteristic classes

I'm pretty confused about the precise relation of the integral and the real cohomology of the classifying space $BG$ of a compact Lie group $G$. The natural map $H^n(BG;\mathbb{Z})\to ...

**4**

votes

**0**answers

206 views

### Is the Milnor construction contractible

Let $G$ be any topological group. Then we can form the infinite join $E_G$ of $G$, i.e. the colimit $G*G*G\cdots$.
Is $E_G$ contractible?
I mean it is clear that $E_G$ is weakly contractible, ...

**6**

votes

**1**answer

910 views

### Double coset formulas for Orthogonal groups [Solved]

According to Madsen-Brumfiel "Evaluation of the Transfer and the Universal Surgery Classes" Inventiones mathematicae 32 (1976): 133-170 Theorem 3.11, we can compute
the composition
...

**2**

votes

**1**answer

134 views

### Construction of a classifying map from a connection 1-form

From a connection 1-form on $M$, I can construct a parallel transport from which in turn I can construct a classifying map $M \to BG$.
Is there a construction of such a classifying map directly from a ...

**12**

votes

**2**answers

551 views

### Is every connected space equivalent to some B(Aut(X))?

Given a connected space $B$, is there always some space $X$ with $B \simeq \mathbf{B}(\mathrm{Aut}(X))$?
Here by space I mean simplicial set, by $\mathrm{Aut}(X)$ I mean the simplicial monoid of ...

**4**

votes

**0**answers

205 views

### Classifying spaces of algebraic groups

I am working on Fabien Morel's paper : "A1-Algebraic topology over a field" and I am a bit confused about certains properties of classifying spaces.
For example : How to show that $BSL_r ...

**8**

votes

**1**answer

216 views

### The Image of the Mod 2 Homology of BSp in the Homology of BSO

I'm essentially trying to figure out exactly what the title asks for. I've been scouring old Seminaires Henri Cartan and books by Stong to try to see exactly how to do this, but the combination of ...

**6**

votes

**2**answers

299 views

### Must the union of these two aspherical spaces be aspherical?

Let $X$ be a reasonably nice topological space (say, a connected CW complex), and let $Y$ and $Z$ be reasonably nice connected subspaces of $X$ such that $X = Y \cup Z$.
Suppose that $Y$, $Z$, and ...

**3**

votes

**1**answer

222 views

### $(BU,f)$ structures on manifolds via stable normal bundles and stable tangent bundles

Background
Consider $BU=colim \, BU_k$ where we take $BU_k$ to be the specific model of classifying space for the group $U(k)\subseteq O(2k)$ given by the quotient space of the infinite real Stiefel ...

**4**

votes

**0**answers

171 views

### Adding morphisms to a category without changing homotopy type

I have a really tame category $C$: there are only finitely many objects $C_0$, each hom-set $C(x,y)$ for $x,y \in C_0$ has at most one element, and (aside from identity morphisms) if $C(x,y)$ is ...

**12**

votes

**1**answer

322 views

### When does localization preserve homotopy type of classifying spaces?

Let $\mathcal{C}$ be a small category and $\Sigma$ a collection of morphisms in $\mathcal{C}$. Denote by $F_\Sigma:\mathcal{C} \to \mathcal{C}[\Sigma^{-1}]$ the usual quotient functor from ...

**5**

votes

**3**answers

704 views

### Why isn't $BG$ a group, for $G$ not abelian?

If $G$ is a discrete or topological group, $G$ is a closed subgroup of $EG$, and normal iff $G$ is abelian, according to Segal, Cohomology of topological groups, Symposia Mathematica IV (1970) (a ...

**9**

votes

**3**answers

581 views

### The classifying space of a gauge group

Let $G$ be a Lie group and $P \to M$ a principal $G$-bundle over a closed Riemann surface. The gauge group $\mathcal{G}$ is defined by
$$\mathcal{G}=\lbrace f : P \to G \mid f(p \cdot g) = ...

**5**

votes

**1**answer

217 views

### Truncation of BG?

Let $G$ be a topological group. In some cases, e.g. when $G$ is discrete or when the spaces $G^n$ are locally contractible and the coefficients are discrete, the cohomology of the classifying space ...

**0**

votes

**0**answers

148 views

### Pontryagin Product on the Homology of $CP^{\infty}$

Is there an explicit description of the Pontryagin product on the homology of $CP^{\infty}$? Also, what is the homology of the classifying spaces $BU(n)$?

**3**

votes

**1**answer

211 views

### classifying space of a strange category

Suppose I have a topological category $\mathcal{C}$ of the following form: The object space consists of just two points $p_1, p_2$. The endomorphism space of $p_1$ contains just the identity. The ...

**7**

votes

**0**answers

158 views

### Tangent space, metrics etc. on simplicial sets

Is there a way to attach some sensible notion of tangent space to a simplicial set? If yes, is it possible to transfer typical local data from differential geometry such as metrics to this setting?
...

**3**

votes

**0**answers

180 views

### Bar construction for spectra

Suppose we have a group $G$ then one can construct $BG$ and one of the essential part of the construction is the co-unit map. Now suppose we have a ring spectrum $R$, then having a co-unit splits the ...

**20**

votes

**0**answers

572 views

### Is there a (discrete) monoid M injecting into its group completion G for which BM is not homotopy equivalent to BG?

For a (discrete) monoid $M$, the classifying space $BM$ is the
geometric realization of the nerve of the one object category whose
hom-set is $M$. (This definition gives the usual classfiying space
...

**3**

votes

**3**answers

463 views

### Equivariant Cohomology for actions with finite stabilizers

Let $X$ be a reasonable topological space (let's say it has the homotopy type of a CW complex) and let $G$ be a topological group acting on that space. Let $E_G \rightarrow B_G$ be the universal ...

**9**

votes

**3**answers

754 views

### Relation between groups and classifying spaces

Let $G$ be a nonabelian group, with classifying space $BG$.
Motivation: We can compute its homology, $H_\ast(BG)=H_\ast(G)$. It would be nice to see some equivariant computations, like $H_\ast^G(BG)$ ...

**6**

votes

**3**answers

453 views

### How does one go from Chern--Weil to cohomology classes on BGL(n,C)?

Let's assume we start with Chern--Weil theory in the following form:
Given a manifold $M$ and a complex vector bundle $V$ over $M$, we can equip $V$ with a $\mathfrak g\mathfrak l_n(\mathbb C)$ ...

**6**

votes

**2**answers

345 views

### Two commuting operad actions

If the following is true, it is probably well-known to the experts. Nevertheless, I could not find a reference for it.
Suppose $P$ and $Q$ are $A_{\infty}$-operads in topological spaces and $X$ is a ...

**7**

votes

**1**answer

306 views

### Classifying spaces of topological groups that are not well-pointed

Let $G$ be a topological group.
The geometric bar construction $BG = B_{\bullet}(pt, G, pt)$ together with $EG = B_{\bullet}(pt,G,G)$ and the map $EG \to BG$ yields the universal principal $G$-bundle ...

**16**

votes

**2**answers

409 views

### Characteristic classes for block bundles

Block bundles are PL analogs of vector bundles, see e.g. Rourke-Sanderson's
article
in Bulletin of AMS, 1966. There is a classifying space $B\widetilde{PL}_q$ for rank $q\ $ block bundles, which is ...

**1**

vote

**0**answers

125 views

### Classification of Principal G-Bundles on 2-dimensional manifolds vs. elliptic curves

I've been recently studying the classification of principal G-bundles over elliptic curves. Specifically I've been using the paper by Friedman, Morgan and Witten "Principal G-Bundles over elliptic ...

**7**

votes

**2**answers

295 views

### Classifying spaces of a profinite groups

As a topological group, a profinite group $G$ has a classifying space $BG$. On the other hand, since $G = \underleftarrow{\lim}\; G/U\;\;(U \le G$ open$)$ is an inverse limit of finite groups, we also ...

**4**

votes

**1**answer

205 views

### Can the set of iso classes of G-equivariant H-bundles be given by ordinary homotopy classes of non-equivariant maps?

Let $G$ be a (nice enough) topological group (actually a filtered colimit of compact Lie groups), and let $X$ be a manifold with an action (a proper one in fact) by a Lie group $H$. Let $X//H := ...

**7**

votes

**5**answers

455 views

### Dualizable classifying spaces

If $G$ is a finitely generated free group, then its classifying space $B G$ can be presented as a finite CW complex (a finite bouquet of circles), and therefore is Spanier-Whitehead dualizable. Are ...

**1**

vote

**0**answers

213 views

### Homotopy-Fibre Sequence of Classifying Spaces

Let $G$ be a topological group and $H$ be a normal subgroup of $G$ (I think $H$ is required to be admissible in the sense that the quotient map $G\to G/H$ is a principal $H$-bundle, am I right?). Then ...

**15**

votes

**1**answer

608 views

### Topos associated to a category

For each topos $\mathbb E$ let $\mathcal O(\mathbb E)$ be the locally presentable category of objects in $\mathbb E$. We can make $\mathcal O$ into a contravariant functor to the category of locally ...

**4**

votes

**2**answers

652 views

### The Classifying Space of the Discrete Heisenberg Group

What is the Classifying Space of the Discrete Heisenberg Group? Which paper/book contains a detailed proof?
Thank you for your time.

**9**

votes

**3**answers

1k views

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

I'm looking for cold hard facts about just what $BG$ classifies, if $G$ is any grouplike topological monoid. I have some vague idea that $[X,BG]$ is in bijection with equivalence classes of "principal ...

**2**

votes

**1**answer

279 views

### Classification of principal G-bundles over a differentiable stack

According to "Notes on differentiable stacks" by Heinloth,
the classifying stack will also classify $G$-bundles on stacks. (Remark 2.13)
(Here $G$ is a Lie group.) My questions are:
(1) What ...

**1**

vote

**3**answers

463 views

### Classifying spaces, Brown representability, and homotopy equivalences

Let $G_1$ and $G_2$ be topological groups. Assume that there exists a continuous homomorphism $f : G_1 \rightarrow G_2$ which (ignoring the group structure) is a homotopy equivalence. If $BG_i$ is a ...

**5**

votes

**2**answers

532 views

### Subobject-poset (co-)homology

Given a group, there is another way to define its "(co-)homology" using a classifying space. Specifically, one takes the partially ordered set of its proper non-trivial subgroups (if they exist), and ...

**6**

votes

**6**answers

1k views

### cohomology of BG, G compact Lie group

It has been stated in several papers that $H^{odd}(BG,\mathbb{R})=0$ for compact Lie group
$G$. However, I've still not found a proof of this. I believe that the proof is as follows:
--> $G$ compact ...

**2**

votes

**2**answers

402 views

### Classifying space of large category?

Whenever I've seen the definition of the classifying space of a category, the category is always specified to be small. I understand the definition well enough for my purposes (I think), but it ...

**8**

votes

**1**answer

1k views

### Why isn't the orbifold cohomology of $pt/G$ equal to the cohomology of $BG$?

The classifying space of a group $G$ is given by taking a contractible space $E$ equipped with a free $G$-action, and looking at the quotient, which we dub $BG$. The homotopy type of this space (and ...