# Questions tagged [classifying-spaces]

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.

145
questions

**10**

votes

**0**answers

179 views

### Roadmap to homotopical group theory

I have been lurking here for a long time just enjoying the scenery from my beginner's viewpoint. I have a math.SE account but I think this question is appropriate here based on the nature of the ...

**9**

votes

**1**answer

420 views

### About the cohomology of $BG^\delta$. Making a Lie group discrete

Let $G$ be a connected Lie group. Recall that the topological group $G^\delta$ is $G$ endowed with the discrete topology. The inclusion $G^\delta \to G$ induces a map between the classifying spaces $\...

**8**

votes

**1**answer

593 views

### For which G is BLG weak homotopy equivalent to LBG?

Let $G$ be a (Edit: path-)connected topological group. Under what additional hypotheses on $G$ is it true that $LBG$ is a classifying space for $LG$? (or, I guess equivalently, when is $LBG \sim BLG$?)...

**5**

votes

**1**answer

392 views

### Classifying space BG and contractable space EG

This question is probably not research level that's why I asked it previously on MSE a week ago. Unfortunately it doesn't get much attention there and I thought I would try it here.
Choose a ...

**12**

votes

**1**answer

504 views

### Classifying space for Thompson's group F?

Let $\mathcal C$ be the free monoidal category generated by an object $X$, and a morphism $X \otimes X \to X$.
This category contains exactly two connected components: that of the monoidal unit $1\in ...

**15**

votes

**0**answers

277 views

### Can the intermediate Chern classes be expressed as Euler classes?

General question: We know that the top Chern class $c_n(\xi)$ of an $n$-dimensional complex vector bundle $\xi$ is its Euler class, while the first Chern class, $c_1(\xi)$, is the Euler class of its ...

**7**

votes

**0**answers

200 views

### Positive instances of the Eilenberg-Ganea conjecture with families

The original Eilenberg-Ganea conjecture, which remains unsettled, can be formulated as: any (discrete) group $G$ of cohomological dimension $\operatorname{cd}(G)=2$ has geometric dimension $\...

**2**

votes

**0**answers

77 views

### Displaying displayed categories

Displayed categories provide a natural categorification from classifying functions to the world of functors. The spirit of the idea is to encode a functor $ F: D \to C $ using a suitable 2-functor (...

**6**

votes

**2**answers

410 views

### 1-dimensional pure gauge theory

I am learning TQFT from compact Lie groups by Freed, Hopkins, Lurie,
and Teleman: https://arxiv.org/abs/0905.0731 , and got stuck very hard
even in the first section ($n = 1$), which was "trivial but ...

**5**

votes

**1**answer

299 views

### Map from a classifying space to a stack

Let $G$ be an algebraic group over a field $k$, and let $BG$ be its classifying space. Let $X$ be a stack over $k$ (e.g. $X$ could be the Picard stack $Pic(S)$, for some scheme $S$). I'm trying to ...

**4**

votes

**1**answer

141 views

### Group completion of $E_k$-algebras

Let $X$ be an $E_k$-algebra. We can form the delooping $BX$, which is a $E_{k-1}$-algebra. The space $\Omega B X$ is again an $E_k$-algebra, which is grouplike (i. e. $\pi_0(\Omega B X)=\pi_1(B X)$ is ...

**6**

votes

**1**answer

181 views

### A sufficient condition for $\pi_1(\operatorname B\Gamma) = 0$

I am currently reading Ghys and Sergiescu's paper Sur un groupe remarquable de difféomorphisms du cercle (French only I'm afraid), but part of their proof of Corollary 3.4 (page 20 of the pdf) is ...

**8**

votes

**1**answer

235 views

### When does $BG \to BA$ loop to a homomorphism?

If I have a compact connected Lie group $G$ and a (relatively nice) simply-connected topological abelian group $A$, when is it the case that a given $f\colon BG \to BA$ loops to a (continuous) ...

**4**

votes

**1**answer

130 views

### Injectivity on rational homtopy implies surjectivity on rational cohomology for classifiying spaces BO and BTOP

Take $BO=\bigcup_{n\geq 1}BO(n)$ and $BTOP=\bigcup_{n\geq 1}BTOP(n)$ where $TOP(n)$ is the set of homeomorphisms of $\mathbb{R}^n$ which send $0$ to $0$ and let $\phi: BO \rightarrow BTOP$ be the map ...

**1**

vote

**0**answers

93 views

### Classifying map of a simple circle bundle

Let $\mathbb{K}_0 \subset \mathbb{K}$ be two tori (subtori of $(S^1)^n$). We suppose that $\mathbb{K}_0$ is obtained from $\mathbb{K}$ by the following procedure: consider, on the lie algebra $\text{...

**0**

votes

**0**answers

98 views

### Topological groups with homeomorphic underlying spaces, isomorphic abstract groups and homotopy equivalent classifying spaces

Define the classifying space $BG$ of a well-pointed topological group $G$ as the fat realization of the nerve of $G$.
Let $G$, $H$ be well-pointed topological groups. Assume that there is a ...

**6**

votes

**1**answer

247 views

### Approximation of classifying space BG of compact Lie group G by finite CW complexes

The classifying space of a topological group $G$ is usually constructed as follows: one constructs a sequence of spaces $E_1G$, $E_2G$, $E_3G$, … with a free $G$-action such that the (homotopy) ...

**2**

votes

**0**answers

88 views

### Associated bundle construction and classifying space

Let $\theta:G\rightarrow H$ be a morphism of Lie groups.
Given $G$ we have classifying space $BG$ and given $H$ we have classifying space $BH$. This $\theta:G\rightarrow H$ gives a map $B\theta:BG\...

**4**

votes

**0**answers

120 views

### Different definitions of a structure on principal bundles

Let $P\to B$ be a principal $G$-bundle and $\psi:H\to G$ a homomorphism of topological groups. A $\psi$-structure for $P$ can be defined in two different ways. I am trying to prove their equivalence.
...

**10**

votes

**1**answer

335 views

### What does the classifying space of a topological monoid classify?

The classifying space $BG$ of a topological group $G$ classifies principal $G$ bundles. I have come to appreciate this.
I hope the following question is appropriate for MathOverflow:
What does the ...

**4**

votes

**1**answer

244 views

### Trivialization of Pontryagin square on oriented $4$-manifolds

I'm sorry for not clearly stating my question, thanks to Robert Bruner for answering my original question, let me restate it.
Let $\mathcal{P}:H^2(-,\mathbb{Z}/2)\to H^4(-,\mathbb{Z}/4)$ be the ...

**6**

votes

**1**answer

391 views

### Homotopy type of a specific discrete monoid

Consider the discrete monoid $M$ of nondecreasing continuous maps from $[0,1]$ to itself preserving the extremities. Note that the monoid is right-cancellative ($x.z=y.z$ implies $x=y$, since $z$ is ...

**5**

votes

**1**answer

252 views

### Interesting properties in $…\to K(\mathbb{Z}_4,1) \overset{f}{\to} K(\mathbb{Z}_2,1)\overset{g}{\to}K(\mathbb{Z}_2,2) \to …$

Let $K(G,n)$ be the Eilenberg Maclane space.
Consider the map from
$$
K(\mathbb{Z}_2,1) \to K(\mathbb{Z}_4,1) \overset{f}{\to} K(\mathbb{Z}_2,1)\overset{g}{\to}K(\mathbb{Z}_2,2) \to \dots,
$$
It ...

**5**

votes

**1**answer

270 views

### Classification of Principal $G$ bundles and vector bundles in smooth sense

Suppose $G$ is a Topological group then classification theorem of Principal $G$ bundles says that
there is a Principal $G$ bundle $EG\rightarrow BG$ such that any principal $G$ bundle over a ...

**3**

votes

**1**answer

269 views

### Motivation for classifying vector bundles

The statement I am familiar with regarding classification of vector bundles is :
Given a paracompact space $X$. The set of isomorphism classes of rank $n$ vector bundles over $X$ is in bijective ...

**3**

votes

**0**answers

102 views

### Cobordant of 5d manifolds, and the generalization of bordisms

Some of the 5-dimensional manifolds are (co)bordant via oriented cobordism.
For example, if I understand correctly, 5-dimensional Dold manifold and Wu manifold are manifolds which are cobordant to ...

**4**

votes

**1**answer

217 views

### $\mathbb{P}^1$-bundle over compact base

1) Is it possible to construct a $\mathbb{P}^1$-bundle $P\to B$ where $B$ is a proper variety and $P$ is not $\mathbb{P}(V)$ for a rank 2 vector bundle $V\to B$?
If we drop the properness assumption ...

**3**

votes

**0**answers

122 views

### Classification of fibrations for classifying spaces $B^2\mathbb{Z}_2$ and $BSO(2)$ or $BO(2)$

Thanks to a suggestion by @Igor Belegradek, I am interested also in a simpler problem of this earlier question 301523, by knowing what can we say about the classification of fibrations for classifying ...

**5**

votes

**1**answer

292 views

### Classification of fibrations for classifying spaces $B^2\mathbb{Z}_2$ and $BSO(3)$ or $BO(3)$

I am interested in knowing what can we say about the classification of fibrations for classifying spaces $B^2M \equiv B^2\mathbb{Z}_2$ and $BG \equiv BSO(3)$ or $BO(3)$.
Here we can take either:
$B^...

**5**

votes

**0**answers

127 views

### Filling points to a simplex in models for EG

I have a question which is related to higher Dehn functions of groups.
I also have a group $G$ with a finite $K(G,1)$. Let us denote by $EG$ the universal cover of this complex. We choose a path-...

**8**

votes

**1**answer

375 views

### fibrations of classifying spaces - Leray Hirsch Theorem converse

Let $G$ be a topological group and let $H$ be a closed subgroup. Assume that $G \rightarrow G/H$ is a principal $H$-bundle. We have a fibration of classyifing spaces
$$G/H \rightarrow BH \rightarrow ...

**4**

votes

**0**answers

195 views

### Why is any $G$-resolution a principal $G$-bundle?

In the article The Cohomology of Classifying Spaces of H-Spaces by M. Rothenberg and N. Steenrod (https://projecteuclid.org/euclid.bams/1183527356) it is stated as a theorem that if $G$ is a ...

**2**

votes

**3**answers

420 views

### Classification of principal bundles

I'm trying to reconcile two results on the classification of principal bundles. First, we have $\mathrm{Prin}_G(X)$ (the equivalence classes of $G$-bundles on $X$) is isomorphic to $H^1(X;G)$ (the ...

**6**

votes

**1**answer

233 views

### Calculating topological index

Consider the space $X=BSL(8,\mathbb{C})/(\mathbb{Z}/2)$. The topological Brauer group of $X$ is given by $Br_{top}(X)=Tor(H^{3}(X;\mathbb{Z}))=\mathbb{Z}/2$. I'm studying concepts of topological ...

**4**

votes

**1**answer

399 views

### Cohomology of $BE_8$ and $BSU(2)$

What are the cohomology of the classifying space of $E_8$ group and $SU(2)$ group, $H^*(BE_8;\mathbb{Z})$ and $H^*(BSU(2);\mathbb{Z})$?
In the paper
http://homepages.math.uic.edu/~bshipley/...

**11**

votes

**1**answer

135 views

### A group of type F that is an extension of type F-by-type F

Let us first recall that a group of type $F$ is a group admitting a compact classifying space.
Let $K$ and $Q$ be groups of type $F$. Consider the family $\mathcal{G}(K, Q)$ consisting of groups $G$ ...

**9**

votes

**2**answers

927 views

### Classifying space as the geometric realization of the nerve of $G$ viewed as a small category

Let $C$ be a small category: we define its nerve $(N(C)_k)_k$ as the following simplicial set: $N(C)_0=Ob(C)$ (the set of objects), $N(C)_1=Mor(C)$ (the set of all morphisms) and $N(C)_k$ to be a set ...

**9**

votes

**1**answer

577 views

### Sullivan conjecture for compact Lie groups

Let $G$ be a topological group, and $M$ a connected compact smooth manifold. I'm studying
$$ \pi_0 (map (BG,M)). $$
For $G$ a finite group, we know that this is just a point by the Sullivan ...

**2**

votes

**1**answer

147 views

### non-simple local coefficient system on a fibration of classifying spaces

Long story short; I posted in MSE
https://math.stackexchange.com/questions/2500745/local-system-of-coefficients-on-a-fibration-of-classyfing-spaces
It is well known that if $G$ is a lie group ...

**10**

votes

**0**answers

154 views

### Baum Connes conjecture and abstract isomorphism

Baum-Connes conjecture states that for a locally compact group $G$ the so called assebly map $\mu$ between $G$-equivariant K-homology of the universal example for proper actions of $G$ and K-theory of ...

**2**

votes

**1**answer

286 views

### Oriented Bordism Group and Un-Oriented Bordism Group of points $pt$

Do we know, or are there any References that list down complete oriented and unoriented Bordism Group $Ω_{n,O}(pt)$ and $Ω_{n,SO}(pt)$ of points $pt$ for dimensions $n=1,2,...,10$?
Here are some ...

**1**

vote

**1**answer

395 views

### Bijection homotopy class of maps and homomorphisms of fundamental group

I was told there was a bijection between $[X;BG]$, the set of homotopy types of maps from a topological space $X$ to the classifying space $BG$, and the set of group homomorphisms $Hom(\pi_1 (X), G)$. ...

**4**

votes

**0**answers

170 views

### Two definitions of central extensions of simplicial groups

This is a cross-post from MSE.
Let $\overline W$ be a classifying space functor on $\mathrm{sGrp}$ with $G$ be a corresponding left adjoint (Kan's loop group).
Def 1 : a sequence of maps $A\to E\...

**5**

votes

**0**answers

112 views

### rational cohomology of classifying spaces of complex reductive Lie groups

I am looking for a reference or an ad-hoc proof of the following fact, which seems to be known to experts: Let $\mathbf{G}$ be a complex algebraic group with maximal (algebraic) torus $\mathbf{T}$ and ...

**2**

votes

**1**answer

179 views

### Odd homotopy group of $BU(m)$

Let $U$ be the infinite unitary group $\lim_{n\to\infty}U(n)$. It is well known that, over the rationals, $BU$ is homotopy equivalent to $\prod_{n=1}^\infty K(\mathbb{Z}, 2n)$.
Question: Is it true ...

**21**

votes

**0**answers

600 views

### If $X\times Y$ is homotopy equivalent to a finite-dimensional CW Complex, are $X$ and $Y$ as well?

Is there a space $X$ that is not homotopy equivalent to a finite-dimensional CW complex for which there exists a space $Y$ such that the product space $X\times Y$ is homotopy equivalent to a finite-...

**19**

votes

**1**answer

930 views

### Torsion in the Atiyah–Hirzebruch spectral sequence of a classifying space

Let $G$ be a compact, connected Lie group. There is an Atiyah–Hirzebruch spectral sequence
$$H^*(BG;K^*) \implies K^*(BG)$$
connecting $H^*BG$, which generally contains torsion, with $K^*BG \cong \...

**6**

votes

**2**answers

404 views

### Group cohomology version of Deligne-Beilinson cohomology

I appreciate Deligne-Beilinson cohomology as a topological cohomology generalization of de Rham cohomology, which concerns the topological structure of manifolds.
On the other hand, we know that ...

**5**

votes

**1**answer

152 views

### Intuition for the construction of the space $M_G=EG\times _G M$

Reference: Atiyah & Bott, The moment map and Equivariant cohomology
Question: What could be the motivation and the intuition behind the construction of the space $M_G=EG\times _G M$? When I am ...

**4**

votes

**2**answers

302 views

### The mod p cohomologies of classifying spaces of compact Lie groups

I want to do some computation which need the mod p cohomologies of classifying spaces of connected compact Lie groups as input. I need the table for both the simply connected case and the central ...