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.
195
questions
1
vote
0
answers
86
views
Cohomology of the classifying space of a semidirect product, and some specific examples with cyclic groups
Let $G$ and $A$ be finite abelian groups and $\rho :G \rightarrow \text{Aut}(G)$ a representation of $G$. We can form the semidirect product $A\rtimes _{\rho} G$. Just to agree on the notation this is ...
- 461
4
votes
0
answers
81
views
Monodromy action on homogeneous spaces
If $H$ is a Lie subgroup of $G$, then there is a fibration sequence
$$
G/H\to BH\to BG.
$$
By choosing a model for $EG$ we can promote this into a fibre bundle.
My question is about how to understand ...
- 34k
0
votes
0
answers
64
views
Cellular structure of BSU(n)
I read somewhere that $BSU(n)$ has a cellular decomposition that consists of one 4-cell and higher dimensional cells. Can someone tell me why this is the case? In fact I am not sure if this statement ...
- 11
3
votes
1
answer
136
views
Geometric vs cohomological dimension with families - on a proof of Lueck and Meintrup
Let $G$ be a discrete group, and let $\mathcal{F}$ be a family of subgroups of $G$ (closed under conjugation and taking subgroups). Then we may define the geometric and cohomological dimensions of $G$ ...
- 34k
3
votes
1
answer
138
views
Defining the classifying space of a group acting on a set
$\DeclareMathOperator\Aut{Aut}\DeclareMathOperator\Gal{Gal}$Recall that $n$-simplices of the classifying space (simplicial set) $BG$ of a group are orbits of the diagonal action by shifts
on $n+1$-...
- 503
3
votes
0
answers
161
views
When is $BG \rightarrow BH \rightarrow BK$ a principal fibration?
Let $1 \rightarrow G \rightarrow H \rightarrow K \rightarrow 1$ be a short exact sequence of groups. Assume for simplicity that $G$ is finite, with the discrete topology (so $BG$ is a $K(G,1)$). ...
- 303
1
vote
1
answer
170
views
The simplicial set with a unique non-degenerate simplex in each dimension
There is
a unique simplicial set with a unique non-degenerate simplex in each dimension, (updated) and such that all faces of the non-degenerate simplex are non-degenerate.
Does it have a name, and ...
- 503
5
votes
2
answers
293
views
Construct a 'nice' trivializing cover of universal principal $G$-bundle $EG \to BG$
Let G be a discrete or say for sake of simplicity a finite group. In Hatcher's book Algebraic Topology on p 89 the construction of universal bundle $EG$ carries structure of a $\Delta$-complex whose $...
- 4,994
2
votes
0
answers
332
views
About infinite loop space and $\Omega$ spectrum
Let $A$ is an topological abelian monoid. Also $\pi_0(A)$ is a group and $A$ has $CW$ structure.
$BA$ is a classifying space of the topological abelian monoid.
My purpose is to construct an infinite ...
- 121
6
votes
1
answer
361
views
Completion of the classifying stack $BG$ at a point
With the classifying stack $BG$ I have come across "the formal completion of $BG$ at point", which is denoted $\widehat{BG}$, for instance on page 7 of https://arxiv.org/pdf/1703.08578.pdf, ...
4
votes
1
answer
125
views
CW structure for $\mathrm{BSp}(n,\mathbb{C})$ and $\mathrm{BPSp}(n,\mathbb{C})$ in degrees $4i$
$\DeclareMathOperator\Sp{Sp}\DeclareMathOperator\PSp{PSp}\DeclareMathOperator\USp{USp}\DeclareMathOperator\BSp{BSp}\DeclareMathOperator\BUSp{BUSp}\DeclareMathOperator\BPSp{BPSp}$Let $\USp(n,\mathbb{C})...
- 317
1
vote
0
answers
127
views
Representablility of maps between classifying spaces
Assume that $G,H$ are two sheaves of groups (say in fpqc topology on the scheme $X$) and there is a map $G\to H$ which is representable by a closed immersion. Let us also assume that the quotient is ...
- 1,016
3
votes
0
answers
105
views
Bar constructions of $A_\infty$-algebras and rectifications
Let $\mathscr{C}_1$ be the little 1-cubes operad. If $X$ is an algebra over $\mathscr{C}_1$, I can think of (at least) two ways how to deloop it:
I can consider its two-sided bar construction $B_\...
- 1,613
7
votes
2
answers
402
views
Simplicial nerve of a topological group
Given a group $G$, one way to construct the classifying (topological) space $BG$ is to regard $G$ as a category with one object and morphisms $G$, take its nerve, and then apply the geometric ...
- 1,052
11
votes
1
answer
403
views
Characteristic classes of non-linear sphere bundles
It is well known that the diffeomorphism group of there sphere $\operatorname{Diff}(S^n)$ has the homotopy type of a product $X:=O(n+1)\times \operatorname{Diff}_{\partial D^n}(D^n)$ of the orthogonal ...
- 6,366
6
votes
0
answers
227
views
"Whenever we have some interesting invariant of spaces, we try to cook up a space that represents this invariant"
In his essay Classifying Spaces Made Easy
Baez writes:
We've seen this trick a couple of times lately, and it's actually a
big theme in homotopy theory: whenever we have some interesting
invariant of ...
- 5,282
0
votes
0
answers
83
views
Is there a classifying space for transitive Lie algebroids? If so, what is it?
Let $M$ be a manifold. The data of a Lie groupoid over $M$ is equivalent to the data of a singular foliation $M=\sqcup\mathcal{F}_i$ and, for each $i$, a map (mod homotopy) $f_i:F_i\to BG_i$ (where $...
- 1,738
1
vote
0
answers
123
views
What are the obstacles for a complex to be a space of loops?
It is known that any space of loops is an H-space. So my question has two parts:
What are the obstacles for a complex to be an H-space? Is there any hope to somehow reasonably classify/characterize ...
- 5,282
2
votes
0
answers
127
views
Chain-level representability of simplicial cohomology
There's a simple construction for a classifying space $K(G,1)$ of a finite group $G$ as an infinite simplicial complex consisting of one $i$-simplex for each possible simplicial $1$-cocycle restricted ...
- 2,769
5
votes
0
answers
170
views
Do classifying spaces determine categories of principal bundles?
If $X$ is a topological space, $G$ a topological group and $E G \to BG$ a universal bundle, isomorphism classes of numerable principal $G$-bundles over $X$ are in one-to-one correspondence with ...
- 504
3
votes
0
answers
188
views
What characteristic classes are there?
Can someone concisely list all characteristic classes (i.e., the cohomology classes $H^*(BX,A)$ of the corresponding classifying spaces) for the most relevant structure groups $X$ such as $O(n)$, $SO(...
- 2,769
2
votes
1
answer
148
views
Explicitly calculating the homotopy fiber of a 3-cocycle in the category of simplicial sets
I am stuck at a critical step in my master's thesis. If someome can help me out here, I will give appropriate credit.
We know that the data of a 2-group $G$ can be given by a group $\tau_0(G)$ and a 3-...
7
votes
2
answers
282
views
If $G$ is a topological group that contains a torsion element, then the classifying space $BG$ is infinite-dimensional?
We know that if $G$ is a topological group that contains a torsion element and $G$ satisfies additional conditions such as $G$ discrete or $G$ finite-dimensional, then the classifying space $BG$ is ...
- 10.1k
6
votes
2
answers
490
views
Classifying space $\text{BU}(n)$ from the differential-geometric point of view?
The classifying space of a topological group $G$ is the quotient of $EG$ (a topological space with vanishing homotopy groups) by a proper free action of $G$. The standard notation for the classifying ...
- 71
3
votes
0
answers
200
views
Cohomology ring $H^*(BG,\mathbb{Z}_2)$ for $G=\mathbb{Z}_2\ltimes B^2\mathbb{Z}^2$
$$
\newcommand{\Z}{\mathbb{Z}}
$$
Consider the group $G=\Z_2\ltimes B^2\Z^2$ where $\Z_2$ acts on $\Z^2$ by interchanging the two factors of $\Z^2$, hence $\Z_2$ also acts on the Eilenberg-MacLane ...
- 10.1k
6
votes
1
answer
267
views
Classifying space of bundles over bundles
Consider a sufficiently nice topological space $X$ as well as topological groups $G$ and $H$. Consider the functor $F$ that associates to $X$ the set of all isomorphism classes of all principal $H$-...
- 63
7
votes
1
answer
280
views
Geometric models for the classifying spaces of the spin and string covers of the orthogonal, symplectic, and symmetric groups
$\newcommand{\oUConf}{\widehat{\mathrm{UConf}}}\newcommand{\UConf}{\mathrm{UConf}}\newcommand{\oGr}{\widehat{\mathrm{Gr}}}\newcommand{\Gr}{\mathrm{Gr}}\newcommand{\SO}{\mathrm{SO}}\newcommand{\Spin}{\...
- 9,387
9
votes
0
answers
423
views
Stable homotopy type of $BG^{\wedge}_p$ in algebraic terms
In the mid 90's, Martino- Priddy proved that given two finite groups $G, H$, the following are equivalent:
$\mathbb{F}_p\mathrm{Inj}(P,G)\cong \mathbb{F}_p\mathrm{Inj}(P,H)$ as $\mathbb{F}_p\mathrm{...
- 795
2
votes
0
answers
117
views
construction of open subsets in classifying space $BG$
Let $G$ be an arbitrary group and we
construct the classifying space $BG$ as quotient
of $EG$ where the latter one is considered in
this discussion to be constructed in natural way as $\Delta$-complex ...
- 4,994
8
votes
0
answers
190
views
Classifying spaces of monoidal categories and deloopings
$\newcommand{\abs}[1]{|#1|}$The classifying space $\abs{\mathcal{C}}$ of a category $\mathcal{C}$ is the geometric realisation $\abs{\mathrm{N}_{\bullet}(\mathcal{C})}$ of its nerve $\mathrm{N}_\...
- 9,387
13
votes
0
answers
855
views
A step in Toda's computation of a Cotor
I am trying to understand a proof from Toda's paper Cohomology of classifying spaces. The step I am stuck on is at page 96. Here is the setup.
We work with cohomology with $\mathbb{F}_2$ coefficients. ...
- 31
6
votes
1
answer
351
views
Cohomology of BG, G non-connected Lie group, and spectral sequence relating to classifying space of connected component of the identity
Suppose $G$ is a Lie group, with $\pi_0(G)$ not necessarily finite, but might as well assume $G_0$, the connected component of the identity, is compact.
In the case that $\pi_0(G)$ is finite, then we ...
- 32.3k
4
votes
2
answers
280
views
Low dimensional integral cohomology of $BPSO(4n)$
Toda has calculated the $\mathbb{Z}/2$‐cohomology ring of $BPSO(4n+2)$, and also gave the simple exceptional calculation of the $\mathbb{Z}/2$‐cohomology of $BPSO(4)$, in
Hiroshi Toda, Cohomology of ...
- 32.3k
3
votes
1
answer
246
views
Universal bundles over algebraic stacks
$\DeclareMathOperator\el{ell}$In the topological case, given a group $G$, we can define the classifying space $BG$ for principal $G$-bundles and there is a universal $G$-principal bundle $EG \to BG$ ...
- 457
5
votes
1
answer
323
views
$1$-cocycle associated to universal $G$-bundle $EG \to BG$
Let $G$ be a (topological) group whose identity element $e_G$ is
a nondegenerated basepoint (e.g. if $G$ is a Lie group). Then that's a
known fact that there is for every 'nice' enough topological ...
- 4,994
2
votes
1
answer
256
views
Group homology and singular homology
It is well-known that the singular homology of the classifying space of a group $G$ is isomorphic to the group homology of $G$ with coefficients in the trivial $G$-module $\mathbb{Z}$, i.e. $H_*(BG,\...
- 31
2
votes
0
answers
47
views
Bounded and Lipschitz De Rham cohomology representatives for pull-backs from classifying spaces
Let $(M,g)$ be a Riemannian manifold with $\pi_1(M)=\Gamma$. Let $\tilde{M}$ be its universal cover, and let $f\colon M\to B\Gamma$ be a classifying map.
Given any smooth differential form $\omega$ on ...
- 1,841
9
votes
0
answers
357
views
Milnor's universal bundle as a colimit?
I have had Milnor's construction of the classifying space of a topological group explained to me on multiple occasions, and seen it described briefly in various places. But only now am I reading the ...
- 1,107
2
votes
0
answers
105
views
Classifying space induces a equivalence of categories between $\operatorname{PBun}_G(M)$ and $\Pi(M,BG)$ for finite groups $G$
Let $G$ be a finite group, $BG$ its classifying space and M a manifold. Then it is mentioned in Schweigert and Woike - Orbifold construction for topological field theories (Remark 2.3 d) that there is ...
- 21
6
votes
2
answers
341
views
CW-presentation of configurations of points in plane and space
I know from the the theory of Artin groups that, as the $K(\pi,1)$ conjecture is known for Braids group, that using Salvetti complexes we have a fairly explicit finite CW-complex presentation of the ...
- 37.4k
3
votes
1
answer
168
views
$E_\infty$-space structure of $B\mathrm{GL}(\mathbb S_{(p)})$
In Geometric Topology - Localization, Periodicity, and Galois Symmetry by Dennis Sullivan, we can read that there is a decomposition
$$B\mathrm{SL}(\mathbb S_{(p)})\times K((\mathbf Z_{(p)})^\times)\...
- 263
5
votes
0
answers
255
views
Čech nerve $C(U)$ corresponds to $BG$ in same manner as a hypercover $\mathcal{H}(U)$ to
We can via the bar construction canonically associate to a monoid $A$ the nerve $N(B A)$, a simplicial set with $N(\mathbf{B}A)_k := \times^{k+1} A $ and canonical face maps and degeneracy maps ...
- 4,994
1
vote
0
answers
83
views
Definition of universal bundle in category of smooth manifolds
Let $(P, M, G)$ a smooth principal bundle over smooth manifold $M$ with Lie group $G$. We denote by $k_{G}(M)$ the set of all classes of principal G-bundle isomorphisms. If i want to define universal ...
5
votes
0
answers
182
views
Applications of Chow rings of classifying spaces in algebraic geometry
For an algebraic group $G$, the Chow ring of its classifying space $BG$, in the sense of
Totaro, The Chow ring of a classifying space
has been computed in many cases. Is there any interesting ...
- 935
5
votes
1
answer
424
views
Delooping of a group object as a one object groupoid
According to https://ncatlab.org/nlab/show/delooping#delooping_of_a_group_to_a_groupoid we can think of delooping of a group as the one object groupoid $BG$ consisting of a single object and whose ...
- 1,125
9
votes
2
answers
286
views
$p$-completeness of the function spectrum $F(\Sigma^{\infty} BS, \Sigma^{\infty} BK)$
Let $S$ be a finite $p$-group and $K$ a compact Lie group, in the paper A Segal conjecture for $p$-completed classifying spaces, it is said that the function spectrum $F(\Sigma^{\infty} BS, \Sigma^{\...
- 795
3
votes
1
answer
171
views
$(B\mathbb Z/p^{\infty})^{\wedge}_p\rightarrow (BS^1)^{\wedge}_p$ induced by inclusion is an equivalence
Let $\mathbb{Z}/p^{\infty}$ denote the Prufer group. By $p$-completion properties, it follows that $(B\mathbb Z/p^{\infty})^{\wedge}_p\simeq K(\mathbb{Z}^{\wedge}_p,2)\simeq(BS^1)^{\wedge}_p$. But, ...
- 795
3
votes
0
answers
134
views
Classifying spaces of amalgamated topological monoids
Let $\mathsf{Top}_*$ be the category of well-based spaces and $\mathsf{TopMon}$ the category of topological monoids. Recall the James construction $\mathcal{J}:\mathsf{Top}_*\to \mathsf{TopMon}$ which ...
- 1,613
7
votes
1
answer
189
views
Groupoid completion of a topological category vs its homotopy category?
Given a category $\mathcal{C}$ enriched in spaces, we can take the nerve (a simplicial space) and then geometric realization to get a space $B\mathcal{C}$. If we view spaces as $\infty$-groupoids, ...
- 26.6k
8
votes
0
answers
294
views
Is every space a classifying space?
Despite a pretty thorough look (I think) I can’t find the answer to the following question: Is every (reasonable?) path connected space weakly equivalent to the classifying space of some topological ...
- 885