The classifying-spaces tag has no wiki summary.

**1**

vote

**0**answers

97 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

97 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

203 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

173 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

391 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

318 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

285 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

92 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

252 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

198 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

819 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

133 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

540 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

210 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

297 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

215 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

170 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

318 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

696 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 ...

**7**

votes

**3**answers

564 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

216 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

142 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

208 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

154 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

177 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

561 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

448 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

748 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

451 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

340 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

303 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

403 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

121 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

293 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

202 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

453 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

209 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

601 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

639 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

278 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

459 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

401 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

993 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 ...

**30**

votes

**10**answers

3k views

### List of Classifying Spaces and Covers

I am looking for a list of classifying spaces $BG$ of groups $G$ (discrete and/or topological) along with associated covers $EG$; there does not seem to be such cataloging on the web. Or if not a ...

**28**

votes

**5**answers

1k views

### How are the classifying space of $E_8$ and $K(\mathbb{Z},4)$ related?

I recently heard the following fact :
Up to the $15$th skeleton, the classifying space $BE_8$ and $K(\mathbb{Z},4)$ are homotopy equivalent?
I have two questions on this :
(1) Is there any easy way ...

**15**

votes

**1**answer

639 views

### Formality of classifying spaces

Let $G$ be a compact Lie group (or reductive algebraic group over $\mathbb{C}$), and let $BG$ be its classifying space. Fix a prime $p$. Let $\mathcal{A}$ denote the dg algebra of singular cochains on ...