# Tagged Questions

**7**

votes

**2**answers

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

**2**

votes

**1**answer

143 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

206 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

841 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

266 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

576 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

667 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?