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

learn more… | top users | synonyms (1)

3
votes
1answer
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
2answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
5answers
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
1answer
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
0answers
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
0answers
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
0answers
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
2answers
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
3answers
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
0answers
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
1answer
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
1answer
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
3answers
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
1answer
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
2answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
3answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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 ...