Homotopy, stable homotopy, homology and cohomology, homotopical algebra.

**3**

votes

**1**answer

171 views

### Fiber bundle and fibration of classifying space [closed]

Let $BG$ is classifying space of $G$ topological group.
If $G$ is any compact group and $H$ is a closed subgroup of $G$, then the
inclusion map $i:H\rightarrow G$ induces
\begin{equation*}
...

**13**

votes

**2**answers

368 views

### When do colimits agree with homotopy colimits?

I'm wondering about when the colimit and the homotopy colimit agree with diagrams of simplicial sets. I know that hocolim$(F)=$colim$(F_c)$ where $F_c$ is the cofibrant replacement of $F$. However, it ...

**13**

votes

**1**answer

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

**4**

votes

**1**answer

153 views

### On push-forward of the constant sheaf for fibrations

Let $f\colon E\to B$ be a fiber bundle with a connected fiber $F$, $f$ is proper. Let $\underline{\mathbb{C}}_E$ be the constant sheaf on $E$. Let $f_*(\underline{\mathbb{C}}_E)$ denote its direct ...

**4**

votes

**0**answers

113 views

### Relative Hurewicz Theorem

For a given zero-reduced simply connected simplicial set $X$, one can define simplicial group $GX$ representing the loop space of $X$, its Abelianization $AX = GX/[GX,GX]$ and show that the map ...

**2**

votes

**0**answers

92 views

### How many linear independent vector fields can be constructed on a general manifold with $\chi(M)=0$?

We have known how many linear independent vector fields can be constructed on $S^n$:https://en.wikipedia.org/wiki/Vector_fields_on_spheres
So how many linear independent vector fields can be ...

**7**

votes

**0**answers

102 views

### Are infinite simplicial complexes all manifolds?

Are infinite dimensional simplicial complexes manifolds locally modeled on $\mathbb R^\infty=\operatorname{colim}\mathbb R^n$? If they are homotopy equivalent, are they homeomorphic?
Of course not. ...

**2**

votes

**1**answer

104 views

### Universal space for the family of subgroups of a finite cyclic group

Let $G$ be a compact Lie group and let $\mathcal{P}_G$ denote the family of proper subgroups of $G$. The universal space for the family $\mathcal{P}_G$ is a cofibrant $G$-space which does not have ...

**4**

votes

**0**answers

113 views

### Bockstein morphism of spectral sequences

Given an omega spectrum $E$, there is a type of chern character map given by its rationalization
$$r:E\to E\wedge M\mathbb{R}\;,$$
where $M\mathbb{R}$ denotes a Moore spectrum. The cofiber of the map
...

**7**

votes

**1**answer

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

**30**

votes

**5**answers

2k views

### Does $\mathbb C\mathbb P^\infty$ have a group structure?

Does $\mathbb C\mathbb P^\infty$ have a (commutative) group structure? More specifically, is it homeomorphic to $FS^2$, (the connected component of) the free commutative group on $S^2$?
$\mathbb ...

**11**

votes

**1**answer

276 views

### A symmetric embedding of manifolds

Assume that $M$ is a manifold.
Is there an embedding of $M$ in some $\mathbb{R}^{n}$ such that the image of $M$ in $\mathbb{R}^{n}$ is invariant under each reflection $(x_{1},x_{2},\ldots ...

**0**

votes

**0**answers

152 views

### About the homotopy type of diffeomorphism groups

In this paper by Antonelli, Burghelea and Kahn (Topology, 1972), a homomorphism $L :\pi_i(\operatorname{Diff}(S^n, D_+^{n})) \rightarrow \Gamma^{n+i+1}$ was used as a tool to detect non-triviality of ...

**20**

votes

**0**answers

286 views

### Does the Tate construction (defined with direct sums) have a derived interpretation?

Any abelian group M with an action of a finite group $G$ has a Tate cohomology object $\hat H(G;M)$ in the derived category of chain complexes. There are several ways to define this. One is as the ...

**2**

votes

**0**answers

34 views

### Understanding SFH of a product sutured manifold without stabilization

I'd like to understand Juhasz's proposition that
If $(M,\gamma)$ is a product sutured manifold, then
$$ SFH(M,\gamma) \cong \mathbf{Z} $$.
The main sticking point is this -- we know $(M,\gamma) = ...

**13**

votes

**2**answers

248 views

### Classification of $O(2)$-bundles in terms of characteristic classes

I had asked this question in stackexchange but there seems to be no consensus in the answer
It is well-known that $SO(2)$-principal bundles over a manifold $M$ are topologically characterized by ...

**12**

votes

**3**answers

453 views

### K-theory of non-compact spaces

This is a question on nomenclature of $K$-theory in the topological category.
The $K$-theory of a compact space $X$ is defined as the Grothendieck group of the vectorbundles on $X$. The Atiyah-Jänich ...

**2**

votes

**0**answers

84 views

### relation between representations of homology class

Let X be a topological space, for its homology class [f], we can alway construct a simplicial complex K_f by gluing "cancelling boundary pairs" of f and an induced continuous map f' from K_f to X. ...

**3**

votes

**1**answer

168 views

### The space of homotopy classes of maps of products of spheres

Proposition 17.6.1 of "Differential form in Algebraic Topology" by Bott and Tu proves the following beautiful result:
$[S^{q}, X]\simeq \frac{\pi_{q}(X,x)}{\pi_{1}(X,x)}$
where $S^{q}$ is the ...

**7**

votes

**1**answer

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

**31**

votes

**3**answers

2k views

### No matter how many algebraic invariants we attach to topological spaces, there will always be nonhomeomorphic spaces agreeing on all their invariants

A while ago a professor of mine said something along the lines of
No matter how many algebraic invariants we attach to topological spaces, there will always be nonhomeomorphic spaces agreeing on ...

**3**

votes

**1**answer

112 views

### When is the semidirect product of principal fiber bundles a fiber bundle

Let $P_{H}$ be a principal bundle over a manifold $M$ with fiber the Lie group $H$ and let $P_{G}$ be a principal bundle with fiber the Lie group $G$ over the same manifold $M$. Let $h_{ab}\colon ...

**15**

votes

**2**answers

423 views

### Massey products in the Steenrod algebra

When building $kU/2$ via its Postnikov tower, there are some interesting Massey products that show up in the Steenrod algebra, and I'd like to understand them. I bet these appear somewhere in the ...

**6**

votes

**1**answer

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

**8**

votes

**1**answer

296 views

### Topology on the space of constructible sheaves

Let $X$ be a nice compact topological space with a fixed finite stratification by locally closed topological manifolds. At the beginning one may assume that $X$ is a complex algebraic manifold with ...

**3**

votes

**0**answers

191 views

### N-periodic derived categories

I have some seemingly basic questions about $N$-periodic derived categories to which I have not found answers in any of the usual places.
Let $R$ be a ring, and let $D(R)_{\mathbb Z/N\mathbb Z}$ ...

**11**

votes

**1**answer

251 views

### Whitehead products and Framed Manifolds

The attaching map for the top cell of the torus $S^n \times S^n$ is a map
$$
[x,y]: S^{2n-1} \to S^n \vee S^n
$$
where the notation is such that
$x,y : S^n \to S^n \vee S^n$ are the two ...

**8**

votes

**1**answer

227 views

### Can the groupoid completion of a topological category be recovered from its classifying space?

Let $C$ be a category. The groupoid completion of $C$ is the free groupoid on $C$, i.e. the category $C[C^{-1}]$ obtained by localizing at everything. Recall that the classifying space $\mathbf{B}C$ ...

**23**

votes

**2**answers

793 views

### Steenrod operations in etale cohomology?

For $X$ a topological space, from the short exact sequence
$$ 0 \rightarrow \mathbb{Z}/2 \rightarrow \mathbb{Z}/4 \rightarrow \mathbb{Z}/2 \rightarrow 0 $$
we get a Bockstein homomorphism
...

**0**

votes

**0**answers

92 views

### Mapping class groups acting on simple closed curves

Let $S_{g,d}$ be a genus $g$ compact Riemann surface with $d$ punctures. Let $\mathcal{M}_{g,d}$ be the moduli space of all such surfaces, i.e. genus $g$ compact Riemann surfaces with $d$ marked ...

**5**

votes

**0**answers

128 views

### Push forward of the constant sheaf for a Serre's fibration

Let $f\colon X\to Y$ be a proper continuous map of topological spaces which is a Serre's fibration. $X$ and $Y$ may be assumed to be locally compact, $Y$ is connected topological manifold of finite ...

**8**

votes

**1**answer

181 views

### Homotopy type of diffeomorphism which are the identity on and near the boundary

Let $M$ be a compact manifold with boundary. Denote by $Diff(M), Diff_\partial(M)$ and $Diff_{U\partial}(M)$ the groups of diffeomorphisms of $M$ and the subgroups of the ones that are the identity on ...

**4**

votes

**1**answer

159 views

### How many quadratic fields occur as trace fields of hyperbolic knot complements?

I am interested in when the trace field of a knot complement has the form $F(\sqrt{-d})$ for $F\subset\mathbb{R}$ and $d\in F^+$ (squarefree). Does this occur for infinitely many choices of pairs ...

**2**

votes

**0**answers

71 views

### why is $\cap \mu_B:H^k(\mathbb{R}^n,\mathbb{R}^n\setminus B;R)\to H_{n-k}(\mathbb{R}^n;R)$ an isomorphism? [closed]

I asked this http://math.stackexchange.com/q/1694046/309968 question already on MSE, but received no answer and I hope it's ok if I ask here for once.
Let $R$ be commutative ring with $1_R$
Lemma: ...

**6**

votes

**3**answers

254 views

### For an arithmetic hyperbolic 3-manifold group, when is its trace field not its invariant trace field?

Edit: In my original post I failed to require the group to be a manifold group. The answer below from @BenLinowitz works in that case. I am really interested though in when the group is torsion-free, ...

**3**

votes

**1**answer

170 views

### How many non-commensurable non-arithmetic manifolds have a quaternion algebra like this?

I am interested in realizing commensurability classes of hyperbolic $3$-manifolds whose quaternion algebra (note: not invariant quaternion algebra) is isomorphic to one of the form ...

**1**

vote

**0**answers

103 views

### Behaviour of the Serre spectral sequence on a product of fibrations

Given fibration sequences $F\rightarrow E\rightarrow B$ and
$F'\rightarrow E'\rightarrow B'$,
consider the homology Serre spectral sequence $S$ for the product of fibrations
$F\times F'\rightarrow ...

**6**

votes

**1**answer

282 views

### Classify $K(\pi,n)$ that are manifolds

Inspired by `Naturally occuring' $K(\pi, n)$ spaces, for $n \geq 2$. and When is a classifying space a topological manifold?, I'd like to formulate a precise question:
For which $n \in ...

**3**

votes

**0**answers

70 views

### Example of R-bad space

I have been looking around for examples of $R$-bad spaced in the sense of Bousfield and Kan. In their book "Homotopy limits, completions and localizations] they give several examples of such spaces ...

**5**

votes

**1**answer

119 views

### The properness of the special singular simplicial spaces

This is a question related to another one in MO
Background : A special simplicial space $X_{\cdot}$ is a simplicial space with $X_{0}=\ast$ and $X_{n}\simeq X_{1}^{n}$ via the simplicial map ...

**6**

votes

**0**answers

126 views

### kernel of the mod $2$ Bockstein on the first cohomology group

Let $M$ be a path-connected finite $CW$-complex. Suppose the first integral homology group is $H_1(M;\mathbb{Z})= \mathbb{Z}_2^{\oplus r}\oplus A$ where $r\geq 1$ and $A$ is a finite abelian group of ...

**5**

votes

**1**answer

95 views

### Isomorphism classes of differential rank $k$ vectors bundles over $S^q$ [closed]

Could anybody provide a motivated sketch of why the isomorphism classes of the differentiable rank $k$ real vector bundles over the sphere $S^q$ are given by$$\text{Vect}_k(S^q) \simeq \pi_{q - ...

**11**

votes

**0**answers

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

**1**

vote

**0**answers

108 views

### Connecting homomorphism in generalized cohomology theory

I have some compact manifold with boundary $(M,\partial M)$, and there is a long exact sequence
$$\cdots\to KO^{-1}(\partial M)\xrightarrow{\partial} KO^{0}(M,\partial M)\to KO^0(M)\to KO^0(\partial ...

**8**

votes

**0**answers

123 views

### Characteristic classes for odd $K$-theory

There are different models of odd $K$-theory. In one case,
one takes the group $U=\lim\limits_{\longrightarrow}U(n)$ as classifying space. Similarly, if $\mathcal U$ denotes the unitary group of a ...

**1**

vote

**0**answers

58 views

### Possible directions of saddle connections

Let's consider a Riemann surface $X$ of genus $g\ge 2$ and $q$ a holomorphic quadratic differential on $X$. A natural parameter on $X$ is a chart for which $q=dz^2$. A $\theta$-trajectory is a maximal ...

**27**

votes

**0**answers

484 views

### Atiyah-Singer theorem-a big picture

So far I made several attempts to really learn Atiyah-Singer theorem. In order
to really understand this result rather broad background is required: you need
to know analysis (pseudodifferential ...

**10**

votes

**1**answer

375 views

### What was a cusp to Hurwitz in 1892?

Let $d\in\mathbb{N}$
be squarefree.
Let $\mathcal{O}_d$
be the ring of integers of $\mathbb{Q}(\sqrt{-d})$.
Let $\Gamma_d=\mathrm{PSL}_2(\mathcal{O}_d)$.
Let $\mathcal{H}^3$
be the upper half-space ...

**5**

votes

**0**answers

90 views

### cohomology ring of configuration spaces on $S^2$ and the projective plane

For a manifold $M$ and a positive integer $n$, the unordered configuration space $B(M,n)$ is the space consisting of all unordered collections of $n$ distinct points on $M$. Precisely,
$$
...

**16**

votes

**1**answer

372 views

### A spectral sequence for computing cohomology of a space from that of its strata

Let $X$ be a smooth complex variety (not necessarily compact) and let $D$ be a normal crossings divisors with components $D_1$, $D_2$, ..., $D_N$. For a set of indices $I$, let $D_I = \bigcap_{i \in ...