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

**1**

vote

**0**answers

60 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)$ ...

**2**

votes

**2**answers

149 views

### boundary homomorphism in the homotopy exact seqeunce of principal $SO(9)$ bundle over $S^8$

Consider principal $SO(9)$ bundles over $S^8$.They are in 1-1 correspondence with $$[S^8,BSO(9)]\cong \pi_7(SO(9))\cong \mathbb{Z}$$
Now pick up one such bundle $\xi$,we have the long exact sequence ...

**-2**

votes

**1**answer

143 views

### Degree of a rational function [on hold]

I would like to have a simple proof for the following result:
Let $f=\frac{p}{q}:\mathbb{C}\longrightarrow\mathbb{C}$ be a quotient of polynomials (of course, at some points it may be undefined). ...

**0**

votes

**0**answers

67 views

### Relating overlapping simplicial complexes

Let $X$ be a simplicial complex and let $A,B\subset X$ be
subcomplexes such that $C=A\cap B$ is a non-empty simplicial
complex. Finally, let $C_{\cdot}(X)$, $C_{\cdot}(A)$, $C_{\cdot}(B)$,
...

**1**

vote

**1**answer

90 views

### configuration spaces of real projective space

Let $F(\mathbb{R}P^n,k)$ be the $k$-th ordered configuration space on $\mathbb{R}P^n$. In http://arxiv.org/abs/1502.04258, the cohomology ring
$$
H^*(F(\mathbb{R}P^n,k);R)$$
is obtained for any ...

**3**

votes

**0**answers

86 views

### When does a map in the stable homotopy group gets killed when smashed with cone of itself?

Consider an element $e \in \pi_n^s(S^0)$, in the stable homotopy groups of sphere. Let $C$ denote the spectrum which is cone of $e$, i.e. $C$ fits in the cofiber sequence
$$ S^n \to S^0 \to C.$$
...

**4**

votes

**1**answer

187 views

### Massey products and $A_{\infty}$ structures

I know the general theorem of Kadeishvili which says that, for a DGA $C$, when $H^{i}(C)$, $i\geq 0$, is free, $H(C)$ can be made into an $A_{\infty}$ algebra. If my understanding is correct, the ...

**4**

votes

**2**answers

409 views

### Based loop groups as stacks?

I have been stuck for some time, thinking about the following question.
Let $G$ be a Lie group. Its classifying space $BG$ can be seen as the differentiable stack $[pt/G]$, which is of dimension ...

**2**

votes

**1**answer

168 views

### Loop space structures on $RP^\infty$

I am interested in infinite loop structures on the infinite dimensional projective space $\mathbb{R} P^\infty$. Is it unique? I think this has to be known in work of May, and If so, then I presume its ...

**4**

votes

**1**answer

146 views

### liftings of principal bundles

I would like to know what structure has the category of liftings of a principal bundle. Let me be more precise.
Fix $k$ an algebraically closed field and $X$ a smooth projective variety over it (for ...

**4**

votes

**1**answer

305 views

### Boardman-Vogt tensor product

Let $\mathbf{sSet}$ be the model category of simplicial sets and $\mathbf{Op}$ the model category of symmetric operads. Equipped with Boardman-Vogt tensor product $ \otimes_{BV}$, the category ...

**14**

votes

**1**answer

383 views

### Free Loop-Space Recognition Principle

It is well-known that one can detect based loopspaces using the machinery of operads. Namely, given a group-like space $X$ with an action of $\mathbb{E}_n$-operad, then it is homotopy equivalent as an ...

**10**

votes

**1**answer

330 views

### Coboundary of a cup-product

Let $A\subset X$ be CW-complexes (or even manifolds). In cohomology with coefficients in a commutative ring $R$, we have a long exact sequence
$$\cdots \rightarrow H^p(X,A)\rightarrow ...

**3**

votes

**2**answers

200 views

### Weak homotopy equivalence and Cech cohomology

If two topological spaces are weak homotopy equivalent to each other, are their Cech cohomology groups the same?

**1**

vote

**0**answers

43 views

### What is the quotient $\mathbb{T}^3/\mathbb{Z}_2$? [migrated]

What is the quotient space $\mathbb{T}^3/\mathbb{Z}_2$, When $\mathbb{Z}_2$ acting on 3-dimensional torus $\mathbb{T}^3 := \mathbb{R}^3/\mathbb{Z}^3$ by sending $x$ to $-x$? Does anyone know how to ...

**2**

votes

**0**answers

114 views

### A Cartesian model structure (and straightening for) on $n$-trivial simplicial sets

A pair $(X,tX)$, with $X$ a simplicial set and $tX$ a collection of simplices of $X$, is said to be stratified if no $0$-simplex is in $X$ and all degenerate simplices of $X$ are in $tX$. Recall a ...

**17**

votes

**1**answer

393 views

### Super-cobordisms

One can construct the $d$-dimensional bordism category by declaring the objects to be the $(d-1)$-dimensional compact manifolds without boundary and the morphisms the $d$-dimensional bordisms between ...

**2**

votes

**2**answers

169 views

### A line bundle over the manifold of singular matrices

According to answer of Denis Serre to this question, the manifold of singular matrices in $M_{n}(\mathbb{R})$ is defined as follows:
$$M=\{A\in M_{n}(\mathbb{R})\mid \text{rank}(A)=n-1\}$$
So we ...

**1**

vote

**0**answers

165 views

### Intuitive Approach to Sheaf and Cech Cohomology [closed]

Sheaf and Cech cohomology $H^*(X,\mathcal{F})$ (which give the same result when applied to good enough topological spaces) are a useful generalisation of the concepts of de Rham and Dolbeault ...

**8**

votes

**0**answers

311 views

### Pairing of cohomology and homology Künneth formulas

Let $k$ be a field, and let $X$ and $Y$ be CW-complexes of finite type (although the question makes sense for $k$ a ring and for more general chain complexes of finitely generated free abelian ...

**9**

votes

**2**answers

628 views

### Symplectic K-theory

For a ring $R$ consider symplectic K-theory defined as follows: let $\operatorname{Sp}(R) = \lim_n \operatorname{Sp}_{2n}(R)$, let $\operatorname{ESp}(R)$ be the subgroup generated by elementary ...

**-3**

votes

**0**answers

91 views

### cohomology of permutation group of order power of $2$

Let $S_k$ be symmetric group of order $k$. What is
$$
H^*(BS_{2^k};\mathbb{Z}_2)?
$$
$$
H^*(BS_{2^k};\mathbb{Z})?
$$
I only know the case $k=1$.

**0**

votes

**0**answers

52 views

### discrete group action on Stiefel manifold

Let $S_3$ be the permutation group of order $3$. Let $V_2(\mathbb{R}^n)$ be the stiefel manifold of $2$-frames in $\mathbb{R}^n$. Let $S_3$ act on $V_2(\mathbb{R}^n)$ by
$$
(1,2)(u,v)=(-u,v-u),
$$
$$
...

**22**

votes

**2**answers

801 views

### fake $S^{2k}\times S^{2k}$

Let $X$ be a fixed closed manifold,$S(X)$ the structure set and $Aut(X)$ the group of self homotopy equivalence of $X$.
surgery theory tells us that $\mathcal{M}(X):=S(X)/Aut(X)$ is in bijection ...

**3**

votes

**0**answers

173 views

### What are iterated cobar constructions?

In Beck's paper "On H-spaces and Infinite Loop Spaces", he states that every algebra over the monad $\Omega^k$$\Sigma^k$ is a $k$-fold loop space. He proves the trivial case k = 0 when this is the ...

**2**

votes

**1**answer

126 views

### Fibration $p : \tilde Y \to Y$ with discrete fiber induces bijection $p_*:[X, \tilde Y]_* \to [X, Y]_*$

If $X$ is simply connected, locally path connected space and $p : \tilde Y \to Y$ is a covering map then it is easy to show that it induces bijection $p_*:[X, \tilde Y]_* \to [X, Y]_*$. Let's weak ...

**2**

votes

**1**answer

111 views

### cohomology of orthogonal (or general linear) group over finite fields

Let $\mathbb{Z}_2=\mathbb{Z}/2\mathbb{Z}$. Let
$$
O(\mathbb{Z}_2^{\oplus k})=\{A\mid A \text{ is a } k\times k \text{ - matrix with entries } 0,1, det(A)=\pm 1\}
$$
What is $$
...

**4**

votes

**3**answers

288 views

### Need examples of homotopy orbit and fixed points

I am no expert in equivariant homotopy theory. Let's say, I am planing to give a talk on homotopy fixed points and orbits. My audience will be graduate students who are doing algebraic topology or ...

**10**

votes

**3**answers

318 views

### Maps with Hopf invariant zero are suspensions

Let $h:\pi_{2n-1}(S^n) \rightarrow \mathbb{Z}$ be the Hopf invariant. I believe that in the same paper that proves his suspension theorem, Freudenthal proved that if $x \in \pi_{2n-1}(S^n)$ satisfies ...

**5**

votes

**1**answer

163 views

### Symmetric L-groups of integral group ring of finite cyclic groups

Where can i find the results about $L^{\ast}(\mathbb{Z}\pi)$ for $\pi$ a finite cyclic group?

**12**

votes

**3**answers

654 views

### Homology equivalence and isomorphism on $\pi_1$ not enough for homotopy equivalence?

It is a standard consequence of Hurewicz's theorem that a homology eqivalence between simply connected spaces is a weak equivalence (and hence a homotopy equivalence, if the spaces are CW-complexes).
...

**11**

votes

**1**answer

229 views

### What is obstructing two stably-isomorphic vector bundles from being isomorphic?

The specific situation is the following:
Let $n>0$ be a natural number, let $X$ be a finite CW complex of dimension $n$, and let $\xi_0,\xi_1$ be oriented real vector bundles of rank $n$ over $X$ ...

**-1**

votes

**0**answers

42 views

### Universal covering space of CW complex has CW complex structure [migrated]

We know that covering spaces of many low dimensional CW complexes such as graph (CW structures with only 0-cells and 1-cells) and all compact surfaces has CW structure. [The second fact is due to ...

**4**

votes

**1**answer

215 views

### Obstruction to a $SU(4)$-structure in eight dimensions

What is the obstruction for the existence of a $SU(4)$-structure on a spin, eight-dimensional manifold $M$? This is equivalent to the existence of two nowhere vanishing global sections of the ...

**17**

votes

**3**answers

561 views

### Center of a simply-connected simple compact Lie group and McKay correspondence

Let $G$ be a simply-connected simple compact Lie group. Its center $Z(G)$ is a finite abelian group, say $Z(G) = \mathbb Z/k\mathbb Z$ for $G=SU(k)$.
I find the following interpretation of $Z(G)$ in ...

**3**

votes

**1**answer

265 views

### Does homotopy invariance of homology follow from the structure of the simplex category $\Delta$?

Explicitly: Let $\Delta$ denote the simplex category, and $\mathscr{C}$ any small category, and fix a functor $F:\Delta \rightarrow \mathscr{C}$ such that $F\Delta^0$ is terminal. Also, assume ...

**5**

votes

**0**answers

114 views

### Actions of cofibrations and induced maps of cofibres

Working in some nice category of based topological spaces (compactly generated with CW homotopy type, say) suppose we have a homotopy commutative diagram
$$
\begin{array}{ccccc}
& & j & ...

**1**

vote

**1**answer

166 views

### cohomology of orthogonal group of integers

Let
$$
O(\mathbb{Z}^{\oplus k})=GL(\mathbb{Z}^{\oplus k})\cap O(k).
$$
What is $$
H^*(BO(\mathbb{Z}^{\oplus k});\mathbb{Z})?
$$
If it cannot be computed out, can we get
$$
H^*(O(\mathbb{Z}^{\oplus ...

**1**

vote

**1**answer

286 views

### cohomology ring of symmetric group of order $3$

Let $S_3$ be the symmetric group of order $3$. What is the cohomology ring
$$
H^*(S_3;\mathbb{Z})?$$
My attempt: I want to use mathematical induction on $n$ for $S_n$.
For $n=1$, $S_1$ is trivial. ...

**0**

votes

**1**answer

244 views

### History of Poincare conjecture in higher dimension [closed]

As far as I know, when Poincare formulated his well known conjecture, the original statement was the follwoing: if a closed manifold has the same homology groups as the sphere it is homoeomorphic to ...

**2**

votes

**0**answers

142 views

### easy question involving definition of bousfield localization [migrated]

Easy question: If $X$ is a space/spectrum such that $H_*(X)=0$ (where $H_*$ is ordinary homology), then why does this imply the Bousfield localization $L_HX$ is contractible?
My attempt: $L_HX$ is ...

**-3**

votes

**1**answer

107 views

### partial converse of existence of covering spaces [closed]

Suppose $X_1$ and $X_2$ are two spaces which has a common finite sheeted covering space $Z$ (may be distinct index)...from here can we conclude that there exists a space $W$ such that $X_1$ and $ X_2$ ...

**-1**

votes

**0**answers

146 views

### Flat vector bundles and constant transition functions [migrated]

Let $E\to M$ be a vector bundle endowed with a flat connection. Then, does $E$ admit a bundle atlas with constant transition functions?
For a vector bundle with constant transition functions, are ...

**6**

votes

**1**answer

435 views

### Homologically distinct infinite loop structures on a space

Let $X$ be a connected pointed topological space equipped with two different actions of $E_\infty$-operad. Each action provides a collection of deloopings $X_i$, where $X_0 = X$ and $\Omega X_i$ is ...

**1**

vote

**0**answers

101 views

### Spectral sequences and Batalin-Vilkovisky formalism

I have been studying the BRST quantization in quantum field theory recently and noticed that the subject is very much related to algebraic topology and cohomology. A quick google search led me to the ...

**3**

votes

**1**answer

163 views

### Centralizers in the universal central extensions of the alternating groups?

For $n \ge 8$ the Schur multiplier $H_2(BA_n, \mathbb{Z})$ (where $A_n$ denotes the alternating group) stabilizes to $\mathbb{Z}_2$, and hence there is a universal central extension $\widetilde{A}_n$ ...

**2**

votes

**0**answers

97 views

### Is the Thom diagonal co-$E_\infty$?

Given a map of spaces $f:X\to BGL_1(R)$ for $R$ an $E_\infty$-ring spectrum (of course this can be done more generally) one can produce a Thom spectrum $Mf$ by a number of methods. Let's denote such a ...

**2**

votes

**1**answer

130 views

### the Pontryagin number of a 4-dim orientable surface bundle with fiber of genus 2

Is the following statement correct or known to be correct?
For a 4-dimensional closed orientable
surface bundle $E$ with fiber of genus 2, the signature must be 0 mod 8 (or the Pontryagin number of ...

**7**

votes

**0**answers

146 views

### Unicity of Johnson-Wilson Theories

Let $E$ be a ring spectrum with a $p$-typical complex orientation. Then we call $E$ a form of $BP\langle n\rangle$ or a generalized $BP\langle n\rangle$ if the induced map
...

**0**

votes

**0**answers

118 views

### Pontryagin class of quaternionic line bundle

Let $\xi^{\mathbb{C}}$ be a complex line bundle over a CW complex $B$. Then
$$
VB_{\mathbb{C}^1}(B)\cong [B,BU(1)]=[B,\mathbb{C}P^\infty]=[B,K(\mathbb{Z},2)]\cong H^2(B;\mathbb{Z}).
$$
Hence if ...