Spivak normal fibration (Ex)

Revision as of 07:39, 30 May 2012

In the following exercises $<wikitex>; In the following exercises $X$ is a connected Poincaré complex of formal dimension $n$ and $M$ is a compact manifold of dimension $n$. {{beginthm|Exercise}} Let $(M, \partial M)$ be a compact, connected, oriented, $n$-dimensional manifold with boundary, embedded in $\mathbb{R}^n$. The collapse map $c:S^n\to M/\partial M$ is defined by $$c(x)=\begin{cases} x&\text{if }x\in M-\partial M\\{\partial M\}&\text{else}\end{cases}$$ Let $h:\pi_n(M, \partial M)\to H_n(M, \partial M)$ be the [[Hurewicz homomorphism]], show that $$h([c])=\pm [M,\partial M]$$ {{endthm}} {{beginthm|Exercise}} \label{ex1} Let $\xi \colon E \to X$ be a spherical fibration $X$ with homotopy fibre $S^k$. Show that $E$ is homotopy equivalent to a Poincaré complex of formal dimension $n + k$. {{endthm}} Here is an interesting problem we now confront {{beginthm|Problem}} Determine the Spivak normal fibration of $E$ above in terms of $\xi$ and the Spivak normal fibration of $X$. {{endthm}} Here are some hints for this problem: [[Tangent bundles of bundles (Ex)]], {{citeD|Wall1966a}}, {{citeD|Chazin1975}} {{beginthm|Remark}} Exercise \ref{ex1} is a diffcult problem. It was solved in greater generality in {{citeD|Klein2001a|Theorem I}}. {{endthm}} </wikitex> <!-- == References == {{#RefList:}} --> [[Category:Exercises]] [[Category:Exercises without solution]]X$ is a connected Poincaré complex of formal dimension $n$ and $M$ is a compact manifold of dimension $n$.

Exercise 0.1. Let $(M, \partial M)$ be a compact, connected, oriented, $n$-dimensional manifold with boundary, embedded in the $n$-sphere $S^n$. The collapse map $c:S^n\to M/\partial M$ is defined by

$$\displaystyle c(x)=\begin{cases} x&\text{if }x\in M-\partial M\\\{\partial M\}&\text{else}\end{cases}$$

Let $h:\pi_n(M, \partial M)\to H_n(M, \partial M)$ be the Hurewicz homomorphism, show that

$$\displaystyle h([c])=\pm [M,\partial M]$$

Here is an interesting problem we now confront

Here are some hints for this problem: Tangent bundles of bundles (Ex), [Wall1966a], [Chazin1975]