# Tagged Questions

**7**

votes

**1**answer

264 views

### Homotopy spheres with vanishing and non-vanishing $\alpha$-invariant

I'm unsure whether this question is appropriate for mathoverflow, so feel free to criticize.
All manifolds are closed, smooth and have dimensions $n\ge 5$.
The Atiyah-Shapiro-Bott-Orientation gives ...

**4**

votes

**0**answers

156 views

### “Naïve”cobordism?

The naive view of (say, complex) cobordism of a space $X$ is that it should be the group generated by continuous families of closed manifolds parametrized by $X$. Acting even more naively, one may try ...

**7**

votes

**2**answers

282 views

### Reference Request: Compact manifolds with boundary have the homotopy type of a CW-complex

Let $M$ be a compact manifold (possibly non-smooth) manifold with boundary $\partial M$.
Is the inclusion $\partial M\hookrightarrow M$ homotopy equivalent to the inclusion of a subcomplex into a ...

**1**

vote

**1**answer

152 views

### isotopy classes of embeddings of the torus

Let's consider $S^1$-bundle $E$ over a 2-manifold $M$. How many isotopy classes of embeddings of the torus $\mathbb{T}^2$ in $E$?
For each free homotopy classes $\gamma$ of mappings of the circle ...

**5**

votes

**0**answers

212 views

### Embedding tower in low codimension

If $F$ is a suitably nice functor from manifolds to spaces, it has a degree $k$ "polynomial" approximation $T_k F$ in the sense of embedding calculus. We set $T_\infty F := \mathrm{holim} T_k F$.
The ...

**20**

votes

**4**answers

876 views

### Is the space of diffeomorphisms homotopy equivalent to a CW-complex?

Clarification: My question concerns the homotopy type of the space of $C^k$ diffeomorphisms with the compact-open $C^k$ topology, where $0< k \leq\infty$. I have stated my question below with $k=1$ ...

**6**

votes

**1**answer

267 views

### Does there exist a model of chains on oriented manifolds with both a strict intersection pairing and strict functoriality for closed embeddings?

Let $M$ be a smooth oriented $n$-dimensional manifold. My favorite model of $\operatorname{Chains}_\bullet(M) \otimes \mathbb R$ is the space of smooth compactly-supported de Rham forms on $M$, ...

**16**

votes

**1**answer

582 views

### How are these algebraic and geometric notions of homotopy of maps between manifolds related?

Let $M$ and $N$ be smooth manifolds, and $f,g: M \to N$ smooth maps. Denote by $(\Omega^\bullet M,\mathrm d_M)$ and $(\Omega^\bullet N, \mathrm d_N)$ the cdgas of de Rham forms in each manifold, and ...

**5**

votes

**1**answer

676 views

### Exotic spheres detected in higher homotopy

Thinking about exotic 7-spheres, one can look at the maps $\cdots \rightarrow \Omega^2Diff(D^4, rel \space \partial) \rightarrow \Omega Diff(D^5, rel \space \partial) \rightarrow Diff(D^6, rel \space ...

**8**

votes

**5**answers

2k views

### Are there two non-homotopy equivalent spaces with equal homotopy groups?

Could someone show an example of two spaces X and Y which are not of the same homotopy type, but nevertheless \pi_q(X)=\pi_q(Y) for every q? Is there an example in the CW complex or smooth category?