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

**2**

votes

**2**answers

212 views

### Is the following 3-manifold irreducible?

We start with product manifold $ X := S_g \times (0,1)$, where $S_g$ is a closed, orientable surface of genus $g \geq 1$. Since this has $\mathbb R^3$ as its universal cover, $X$ is irreducible. Now ...

**3**

votes

**1**answer

171 views

### Whitney sum formula for Pontryagin classes II

I have read in several places that the total Pontryagin classes of real vector bundles satisfy a Whitney sum formula $p(E\oplus F) = p(E)\cdot p(F)$ modulo 2-torsion. I would like to understand the ...

**7**

votes

**1**answer

237 views

### Whitney sum formula for Pontryagin classes I

I have read in several places that the total Pontryagin classes of real vector bundles satisfy a Whitney sum formula $p(E\oplus F) = p(E)\cdot p(F)$ modulo 2-torsion. I would like to understand this ...

**6**

votes

**1**answer

156 views

### homotopy groups of an orbifold

The isometry group of the 3-dimensional hyperbolic space $\mathbb{H}^{3}$ is $PSL(2,\mathbf{C})$. What are the homotopy groups of the quotient space $\mathbb{H}^{3}/PSL(2,\mathbf{Z})$ ?

**3**

votes

**1**answer

167 views

### Status of Zeeman's collapsability Conjecture

Zeeman's conjecture in topological combinatorics states that if K is a contractible polyhedron of dimension 2, then K×I has a collapsible subdivision.
What is the status of this conjecture ...

**14**

votes

**1**answer

230 views

### Multiplicative cohomology theories and smash products

In his student guide on page 154, Adams gives a construction of products for cohomology using "pairings" of spectra (now known as maps from $E\wedge E\to E$). But then he says
However, G. W. ...

**3**

votes

**0**answers

75 views

### When closed subsets have finitely many connected componenets

Let $X$ be topological space such that every its closed subset has finitely many connected componenets. Is there any charactrization for such topological space?

**12**

votes

**1**answer

192 views

### Computing Homotopy Fixed Point Spectral Sequences related to Morava E thories

Given a finite subgroup of $G$ sitting inside the Morava stabilizer group $S_n$, we can form the homotopy fixed point spectrum $E_n^{hG}$. There is a spectral sequence with $E_2^{s,t} = ...

**20**

votes

**2**answers

519 views

### How does Poincare duality interact with the Serre spectral sequence?

Suppose $F^m \to E^{m + n} \to B^n$ is a fiber bundle of closed oriented manifolds. I'm interested in understanding how the Serre spectral sequences for homology and cohomology of $E$ interact with ...

**14**

votes

**3**answers

814 views

### Motivation for equivariant homotopy theory?

I'm in the process of learning equivariant homotopy theory, so I was wondering: what is the importance of equivariant homotopy theory, and what has it been applied to so far? I know of HHR's solution ...

**10**

votes

**1**answer

280 views

### T-equivariant cohomology of flag variety

Let $X=G/B$ , where $G=GL_n(\mathbb{C}^n)$ and $B$ be the upper triangular matrices. I am curoius about the structure of $H^*_T(G/B)$ which I consider as a $H_T^*(pt)$-module. If we just consider ...

**7**

votes

**0**answers

338 views

### Algebraic geometry introduction for homotopy theorists/algebraic topologists

Algebraic geometry has a plenty of decent introductory texts now. Some are of the classical commutative algebraic approach(following EGA), like Ravi Vakil's "Foundations".
Some use facts from ...

**8**

votes

**2**answers

738 views

### Is every vector bundle over a noncompact finite-dimensional manifold a summand of a trivial bundle?

In the notes of Vector Bundles and K-theory by Prof Allen Hatcher, on page 12 he proved a Proposition that for each vector bundle $E\to B$ with $B$ compact hausdorff there exists a vector bundle ...

**4**

votes

**1**answer

207 views

### A question on complex line bundle over $S^{2}$

Consider the trivial bundle $\epsilon_{2}=S^{2}\times \mathbb{C}^{2}$ with the standard Hermitian inner product $<(a,b), (c,d)>=a\bar{c}+b\bar{d}$.
Assume that $\ell$ is a sub line bundle of ...

**1**

vote

**1**answer

111 views

### triviality of a $2$-sheeted covering map and the triviality of the associated vector bundle

Let $ X$ be a space with a (free and properly discontinuous) $\mathbb{Z}/2$-action and $$p: X\to X/(\mathbb{Z}/2) $$ be a $2$-sheeted covering map. Then we have an associated vector bundle
$$
\xi: ...

**2**

votes

**0**answers

109 views

### Divisible fundamental group [duplicate]

I apologize if this question seems trivial or elementary. Is there any concrete topological space with divisible fundamental group? For example, is there any such a space the fundamental group in ...

**5**

votes

**1**answer

201 views

### Graded Hopf algebras and H-spaces

Let $k$ denote an algebraically closed field of characteristic $0$. Suppose $K=\bigoplus_{i\geq 0}K(i)$ is a Hopf $k$-algebra which admits a connected Hopf-grading (that is, a grading which is both ...

**3**

votes

**1**answer

227 views

### Stratification of complex algebraic varieties

Let $V$ be a complex quasi-projective variety, we know from H. Whitney's and B Teissier works on stratifications of algebraic varieties that $V$ has an intrinsic stratification
$$X_0\subset ...

**3**

votes

**1**answer

182 views

### geometric conditions on maps between manifolds inducing monomorphisms on cohomology

Let $M,N$ be manifolds whose dimensions may be different. Let $f: M\longrightarrow N$ be a smooth map. What geometric conditions on $f$ can we impose such that the induced homomorphism
$$
f^*: ...

**17**

votes

**0**answers

246 views

### Topological loops vs. algebro-geometric suspension in Hochschild homology

Let $k$ be a base commutative ring, and let $A$ be a (unital but not necessarily commutative) $k$-algebra. The cone on $A$ is the ring $CA$ of infinite matrices $(a_{ij})_{i,j \geq 1}$ that are ...

**8**

votes

**0**answers

64 views

### numerical methods to compute approximated Stiefel-Whitney class

Let $0<\epsilon<1$, $k\geq 4$ be an integer, $S^2$ be the unit sphere in $\mathbb{R}^3$, $d$ the Euclidean distance in $\mathbb{R}^3$ and
$$
...

**12**

votes

**1**answer

409 views

### Realizing symmetric groups by diffeomorphisms

Let $M$ be a (closed, smooth) manifold of dimension $d$. For $n$ a positive integer, fix $n$ points $x_1, \dots, x_n \in M$. The group of diffeomorphisms of $M$ that permutes the points $x_i$ surjects ...

**2**

votes

**0**answers

92 views

### obstructions to embeddings of manifolds into Grassmannians

Let $G_k(\mathbb{R}^n)$ be the Grassmannian consisting of $k$-dimensional subspaces in $\mathbb{R}^n$ and $AG_k(\mathbb{R}^n)$ the "affine Grassmannian" consisting of $k$-dimensional planes in ...

**6**

votes

**1**answer

140 views

### Change of groups for naive G-spectra

Let $H$ be a subgroup of $G$ a compact Lie group and
let $\text{spectra}[G]$ be the category of naive $G$-spectra (ie G-objects in the category of spectra). Then there is a forgetful functor $i^*$ ...

**2**

votes

**1**answer

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

**4**

votes

**3**answers

182 views

### A natural embedding of the total space of tautological bundle over $G(2,n)$ in $G(2,n+1)$

I learned from the following post that the total space of the tautological line bundle over $\mathbb{R}P^{n}$ is diffeomorphic to $\mathbb{R}P^{n+1}\setminus \{pt\}$.(There is a natural ...

**8**

votes

**2**answers

254 views

### Groups with trivial rational homology and their finite index subgroups

For a short exact sequence $0 \to G \to H \to K \to 0$ of (discrete) groups with $K$ finite we have, as a consequence of the Hochschild-Serre spectral sequence, that $H^{\ast}(H;\mathbb Q) = ...

**7**

votes

**0**answers

167 views

### When do contributions of $\pi_*(L_{K(n)}S^0)$ to $\pi_*(S^0)$ stabilize?

I apologize if this question is obvious as I am just beginning to learn this field. I am also abusing the dependance on $p$ for notational ease. The Chromatic Convergence theorem establishes that ...

**7**

votes

**4**answers

634 views

### Is an entire function, with nowhere vanishing derivative, always a covering map?

Assume that $f:\mathbb C\to\mathbb C$ is entire, and also that $f'(z)\ne 0$, for all $z\in\mathbb C$. Does that imply that $f$ is a covering map of $f[\mathbb C]$?
Clearly, $f$ is a local ...

**9**

votes

**2**answers

329 views

### In CGWH, is every cofibration an inclusion with closed image?

As the title suggests, in CGWH, is every cofibration an inclusion with closed image?

**0**

votes

**0**answers

114 views

### Homology of $S^n/G_x$

I tried to find the homology groups of the quotient of the unit sphere $S^{n-1}$ by an action of a finite subgroup $G$ of $SO(n)$. I'm especially concerned with
$$H_i(S^{n-1}/G),\quad 1\leq i\leq ...

**9**

votes

**4**answers

404 views

### Vietoris-Begle theorem for simplicial sets

I've learned the theorem when reading a comment by Vidit Nanda to my question see here.
Here is the (simplified) version of the theorem for topological spaces:
Vietoris-Begle Theorem
Let ...

**20**

votes

**1**answer

537 views

### Is the moduli of formal groups smooth?

There is a notion of smooth stack in "homotopical algebraic geometry 2" and a notion of a cotangent complex for certain kinds of stacks (including representable stacks). I have two questions.
Is ...

**1**

vote

**0**answers

71 views

### cohomology ring of configuration spaces of the plane with the $k$-points not all lying in the $x$-axis

(I). For an integer $k\geq 3$ and a topological space $A$, let $S_k$ be the $k$-th symmetric group, $F(A,k)$ be the $k$-th ordered configuration space and $F(A,k)/S_k$ be the $k$-th unordered ...

**5**

votes

**2**answers

165 views

### What is this construction using iterated face maps of semisimplicial sets?

Let $X$ be a semisimplicial set (face maps but no degeneracy maps). Fix a positive integer $k$. Let $Y_n$ be $X_{(n+1)k}$ and then define $\partial^Y_i:Y_n\to Y_{n-1}$ by
$$\partial^Y_i = ...

**4**

votes

**1**answer

143 views

### Localization at the Johnson-Wilson spectrum and rationalization

Is there a clean proof that the $L_n$, localization at $E(n)$, is simply rationalization (i.e. $L_0$) on Eilenberg-MacLane spectra? Eric Peterson asked this here, but I haven't seen an answer.

**0**

votes

**1**answer

184 views

### fiber, homotopy fiber of spaces

Suppose we have a pullback of topological spaces (CW-complexes) $B\rightarrow A\leftarrow C$ which I will denote by $D$.
Assumptions
The induced map $D\rightarrow C$ is a trivial fibration
The map ...

**2**

votes

**0**answers

120 views

### What's the story with the Hopf fibration and the Jacobi identity?

I like the Hopf fibration of the 3-sphere $S^3$ enough that I found a nice way to make a physical model of it. All you need is to combine a bunch of key rings in such a way that (ii) every pair of ...

**1**

vote

**0**answers

63 views

### characteristic classes of associated vector bundles of a covering map

For a specific Riemannian manifold $M$ (we can regard $M$ as the $m$-sphere $S^m$), there is a covering map from the ordered configuration space to the unordered configuration space
$$
...

**6**

votes

**1**answer

255 views

### What are some examples of total derived functors that can't be computed from a functorial replacement?

(Or more generally, what are some examples of Kan extensions which are not pointwise?)
By a total derived functor of a functor $F: C \to D$, I simply mean a (left or right) Kan extension of $F$ along ...

**6**

votes

**0**answers

81 views

### Sitefel-Whitney class of bundles induced by a covering map

Let $S^m$ be the unit $m$-sphere. Let $P$ be a $m$-dimensional polyhedron with $k$-vertices, such that all the vertices of $P$ lie in $S^m$. The isometry group of $S^m$ is $Iso(S^m)=O(m+1)$. Let ...

**1**

vote

**0**answers

207 views

### Generalization for Leray Hirsch theorem for Principal $G$-bundle [closed]

This is a general question:
Is there a generalized Leray Hirsch theorem for Principal $G$-bundle? with $G$ finite group with discrete topology. I know it does not make sense to compare with original ...

**2**

votes

**1**answer

104 views

### positions of regular cubes in Euclidean space with all its vertices without distinction

Let $P$ be the standard regular cube, centered at the origin of $\mathbb{R}^3$ with all its vertices on the unit sphere.
If the vertices are labelled by $1,2,3,4,5,6,7,8$, then the collection of ...

**5**

votes

**1**answer

173 views

### Existence of a non-null-homotopic simple closed curve

Assume that $X$ is a path-wise connected Hausdorff space, and assume that its fundamental group is non-trivial. Does it always exist a simple curve in $X$ which is non-null-homotopic?
Such curve does ...

**8**

votes

**1**answer

181 views

### references for Stiefel-Whitney class of Stiefel manifolds and Grassmannians

Let $M$ be a manifold. The total Stiefel-Whitney class of $M$ is defined to be the Stiefel-Whitney class of the tangent bundle $TM$
$$
w(M)=1+w_1(TM)+w_2(TM)+\cdots
$$
I want to find references for
$$
...

**8**

votes

**0**answers

226 views

### Descent theorems for fundamental groups and groupoids?

Grothendieck in his 1984 "Esquisse d'un programme" (Section 2) wrote (English translation):
" ..,people still obstinately persist, when calculating with fundamental groups, in fixing a single base ...

**4**

votes

**0**answers

72 views

### positions of polyhedrons with vertices on the unit sphere

Let $S^2$ be the unit $2$-sphere canonically embedded in $\mathbb{R}^3$. Let $P$ be a polyhedron whose all vertices are in $S^2$. Let $\text{Iso}(S^2)$ be the isometry group of $S^2$ and ...

**3**

votes

**1**answer

183 views

### Polynomial differential forms on $BG$

Let $\Omega^{*}_{\text{poly}}\: : \: sSet\to dg_{\geq 0}Comm_{+}$ be the polynomial De Rahm functor on simplicial sets, where the codomain is the category of commutative differential graded algebras ...

**3**

votes

**1**answer

127 views

### unwinding the definition of $H_i(KU)$ as a map of spectra $\mathbb{S}^i \to HZ \wedge KU$

I asked this on mathstackexchange but didn't get any response (or many views) so I'm asking it here, although clearly it belongs over there.
In the answer to this question on mathoverflow, it says:
...

**4**

votes

**2**answers

228 views

### triviality of Whitney sums of a vector bundle

Let a $3$-dimensional subspace $V$ of $\mathbb{R}^4$ be $$V=\{(x_1,x_2,x_3,x_4)\in\mathbb{R}^4\mid\sum_{i=1}^4x_i=0\}.$$ The alternating group $A_4$ acts on $V$ by
...