Spivak normal fibration (Ex)

In the following exercises $X$$<wikitex>; In the following exercises $X$ be a connected Poincaré complex of formal dimension $n$. {{beginthm|Exercise}} 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}} </wikitex> == References == {{#RefList:}} [[Category:Exercises]]X$ be a connected Poincaré complex of formal dimension $n$$n$.

Exercise 0.1. Let $\xi \colon E \to X$$\xi \colon E \to X$ be a spherical fibration $X$$X$ with homotopy fibre $S^k$$S^k$. Show that $E$$E$ is homotopy equivalent to a Poincaré complex of formal dimension $n + k$$n + k$.

Here is an interesting problem we now confront

Problem 0.2. Determine the Spivak normal fibration of $E$$E$ above in terms of $\xi$$\xi$ and the Spivak normal fibration of $X$$X$.

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