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.

Filter by
Sorted by
Tagged with
10
votes
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
3answers
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
2answers
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
1answer
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
2answers
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 ...