The classifying-spaces tag has no wiki summary.

**3**

votes

**1**answer

164 views

### Stacks with a small coarse moduli space

Let $k$ be a field of characteristic zero.
Let $X$ be a finite type algebraic stack over $k$ with a coarse (or good) moduli space $M$.
Suppose that $M$ is isomorphic to a point, i.e., $M = Spec k$.
...

**-2**

votes

**1**answer

107 views

### configuration space and iterated loop space

Let the topological monoid $M$ be the configuration space $C(\mathbb{R}^n;X)=C_n(X)$ as in the book The geometry of iterated loop spaces, Theorem 5.2. I want to prove that the map $\alpha_n$ in ...

**-1**

votes

**0**answers

25 views

### why group completion of configuration space is the iterated suspension space

In Lecture notes in mathematics Vol. 533, The homology of $C_{n+1}$-spaces, $n\geq 0$, F. Cohen, page 226, Corollary 3.3:
$\alpha_{n+1}: C(\mathbb{R}^{n+1};X)\to \Omega^{n+1}\Sigma^{n+1}X$ is a ...

**3**

votes

**1**answer

243 views

### Classifying spaces of topological groups whose underlying spaces are homotopy equivalent

Let $G$, $H$ be topological groups and $f:G\rightarrow H$ a continuous group homomorphism which happens to be a homotopy equivalence of the underlying topological spaces. Let us assume that $G$, $H$ ...

**6**

votes

**1**answer

184 views

### Are all quotients of a weakly contractible space via a free group action classifying spaces of the group?

I asked this question on math.stackexchange a week ago, but did not get an answer.
First of all, I don't want to restrict to any kind of "nice spaces" since I am interested in the most general ...

**7**

votes

**2**answers

370 views

### contractible configuration spaces

Let $F(M,k)=\{(x_1,\cdots,x_k)\mid x_1\cdots,x_k\in M,x_i\neq x_j, \text{ for } i\neq j \}$. It is known that $F(\mathbb{R}^\infty,k)$ is contractible for each $k$.
My question: is $F(S^\infty,k)$ ...

**7**

votes

**1**answer

535 views

### Relation between $BG$ in topology and in algebraic geometry

This could as well have been asked in the comments to this question, but I prefer to open a new one for the sake of clarity.
Say $G$ is a reductive group over the complex numbers, with compact real ...

**3**

votes

**2**answers

273 views

### The relation between group cohomology and the cohomology of the classifying space

We know that the Borel group cohomology (group cohomology of measurable functions) of a group $G$, ${\cal H}_B^d(G,Z)$, is given by the cohomology of the classifying space: ${\cal ...

**4**

votes

**1**answer

309 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). ...

**2**

votes

**2**answers

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

**42**

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

310 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

109 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

219 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

202 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

456 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

379 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

350 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

106 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

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

**5**

votes

**0**answers

246 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, ...

**5**

votes

**1**answer

1k 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

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

**11**

votes

**2**answers

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

**3**

votes

**0**answers

208 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

228 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

317 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

263 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

175 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

330 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

747 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

617 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

223 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

221 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

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

**8**

votes

**0**answers

164 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

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

**21**

votes

**0**answers

646 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

531 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

773 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

502 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

378 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

335 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

432 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

132 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

321 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

210 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

458 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

219 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

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