The tag has no usage guidance.

learn more… | top users | synonyms

8
votes
0answers
87 views

Are the unwound thin realization and fat realization homotopy equivalent?

This is a question about a theorem (proposition 2) in the article--On the homotopy type of classifying spaces Recall some definitions first: Given a category $\mathcal{C}$ internal in $\...
5
votes
1answer
150 views

Homotopy Type of the Based Mapping Space $Map_*^{(k,l)}(\mathbb{C}P^2,BU(2))$

Path components of the based mapping space $Map_*(\mathbb{C}P^2,BU(2))$ are indexed by a pair of integers $(k,l)$ determined by the values of the first two Chern classes that a map $f:\mathbb{C}P^2\...
3
votes
0answers
147 views

The homotopy type of the mapping space $Map_{B\rho}(BS^1,BG)$? for $G$ a compact Lie group

Given a homomorphism $\rho:S^1\rightarrow G$ with $G$ a compact Lie group there is an induced map of classifying spaces $B\rho:BS^1\rightarrow BG$. What is known about the homotopy type of the mapping ...
13
votes
1answer
333 views

Homotopy fiber of a map between classifying spaces

I'm looking for a reference (and precise hypothesis if more are needed) for the following facts (or a correction, if I'm just plain wrong): Let $G$ and $H$ be topological groups and $f : G \to H$ be ...
7
votes
1answer
197 views

Source request for $H^*(B\mathrm{TOP},\mathbb{Q}) \cong H^*(BO,\mathbb{Q})$

Let $B\mathrm{TOP}$ denote the classifying space for microbundles, i.e. $B\operatorname{Homeo}(\mathbb{R}^n,0)$. Now we get a map from $BO$ to $B\mathrm{TOP}$ via the inclusion. Let $f$ denote the ...
7
votes
1answer
143 views

Chern classes of PU(n)-bundles

Let $PU(n) = U(n)/U(1)$ be the projective unitary group and denote by $BPU(n)$ its classifying space. Consider the algebra $M_n(\mathbb{C})$ as an $n^2$-dimensional Hilbert space equipped with the ...
6
votes
1answer
201 views

Are there familiar expressions for (finite) joins of finite groups?

Milnor construction of the classifying space of a topological group $G$ is given in terms of infinite joins of $G$. Schwarz then proved that the $k+1$ iterated self join of a group $G$ classifies $G$-...
11
votes
0answers
104 views

Is every simply connected finite complex the classifying space of a finite monoid

On page 323 of Fiedorowicz, "Classifying Spaces of Topological Monoids and Categories" it was stated that "it seems likely that any finite simply connected complex should [have the same weak homotopy ...
5
votes
2answers
188 views

comparing homology of a space and homology of the classifying space of its fundamental group

Let $X$ be a (connected) closed $n$-manifold and $G=\pi_1(X)$ be the fundamental group of $X$. There is a classifying map $f: X \rightarrow K(G, 1)$ which induces an isomorphism on $\pi_1$. I would ...
6
votes
2answers
527 views

quotient space of Eilenberg-MacLane space

Let $\pi$ be a group and $K(\pi,1)$ the Eilenberg-MacLane space. Let $G$ be a finite group acting on $K(\pi,1)$ such that the following is a covering map $$ K(\pi,1)\longrightarrow K(\pi,1)/G. $$ ...
5
votes
3answers
433 views

classifying space of orthogonal groups

Let $O(n)$ be the $n$-th orthogonal group and $O$ be the direct limit of $O(n)$ with respect to $n$. Let $BO(n)$ and $BO$ be the classifying spaces. Question: Why $BO$ is an $H$-space? My supervisor ...
3
votes
2answers
253 views

rational cohomology of symmetric groups

Let $\Sigma_k$ be the $k$-th symmetric group and $B\Sigma_k$ be its classifying space. How to prove: for any $n\geq 1$ and the $n$-skeleton $sk_n (B\Sigma_k)$, there exists a finite dimensional $CW$-...
5
votes
1answer
218 views

how to prove the $n$-times self-product of a map is null-homotopic

Let $k$ be a fixed positive integer and $\Sigma_k$ the $k$-th symmetric group. By letting $\Sigma_k$ permuting an orthonormal basis of a $k$-dimensional Euclidean space, there is a "regular ...
7
votes
1answer
165 views

classifying maps of Whitney sums of vector bundles

For an $n$-dimensional vector bundle $\xi$ with structure group $G\leq O(n)$ over a $CW$-complex $B$, we have a classifying map up to homotopy $$ f(\xi): B\longrightarrow BG, $$ $f(\xi)\in [B;BG]$, ...
2
votes
0answers
88 views

order of elements in a mapping space

Let $B$ be a finite CW-complex and $\xi$ be a vector bundle over $B$ with structure group $\Sigma_n$, the $n$-th symmetric group. Then corresponding to $\xi$, we have a classifying map $$ g\in \tilde {...
3
votes
1answer
222 views

the “Kahn-Priddy map” and “multiplicative $p$-local equivalence”

The following is a part of a paper that I need to understand I totally do not know the argument. Could you explain? Thanks. Let $\Sigma_n$ be the $n$-th symmetric group and $\Sigma_\infty$ be the ...
2
votes
1answer
194 views

Is this affine-subspace analogue of a Grassmannian a classifying space?

Let $AG_k(\mathbb{R}^N)$ be the "affine Grassmannian" consisting of $k$-dimensional hyperplanes (i.e. affine subspaces) in $\mathbb{R}^N$. Is there any relation between $AG_k(\mathbb{R}^N)$ and the ...
3
votes
1answer
127 views

Classifying space for homology endomorphisms supported on a graph?

Let $X$ be a reasonable topological space (say one that has the homotopy type of a finite CW complex) and consider a subset $\Gamma$ of $X \times X$ so that the projection $p:\Gamma \to X$ onto the ...
6
votes
0answers
160 views

Manifold approximations to $BO(3)$

We know that $BO(1) =\mathbb{R}P^\infty$ has closed, finite-dimensional manifold approximations $\mathbb{R}P^1\subset \mathbb{R}P^2\subset\cdots.$ Similarly $BO(2)$ can be approximated by closed, ...
4
votes
1answer
270 views

What is the (co-)homology of $K(\mathbb{R}_\delta,n)$?

To elaborate on the question from the title, $\mathbb{R}_\delta$ is the additive group of real numbers (without any topology) and $K(\mathbb{R}_\delta,n)$ is an Eilenberg-MacLane space. I would like ...
4
votes
1answer
199 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
1answer
151 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 ...
4
votes
1answer
534 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$ ...
7
votes
1answer
279 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
2answers
424 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
1answer
580 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
2answers
315 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 H}_B^d(G,Z)=H^d(BG,Z)...
4
votes
1answer
380 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
2answers
356 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 ...
43
votes
2answers
2k 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. ...
3
votes
1answer
343 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
0answers
116 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 $f_\...
3
votes
1answer
273 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 \mathrm{...
4
votes
0answers
236 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 ...
12
votes
2answers
519 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 $H$-...
13
votes
2answers
445 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 \...
22
votes
2answers
764 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
0answers
118 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 ...
9
votes
2answers
357 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 H^n(BG;\mathbb{R}...
5
votes
0answers
323 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
1answer
2k 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 $BO(1)^2\stackrel{...
2
votes
1answer
142 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 ...
13
votes
2answers
633 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 auto-...
3
votes
0answers
215 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
1answer
238 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
2answers
323 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 $Y\...
3
votes
1answer
306 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
0answers
187 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 non-...
12
votes
1answer
347 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 $\mathcal{C}...
6
votes
3answers
801 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 ...