Normal invariants and G/O (Ex)
From Manifold Atlas
(Difference between revisions)
m |
|||
Line 3: | Line 3: | ||
Given the map $BO\stackrel{BJ}\to{BG}$, define $G/O$ to be the homotopy fibre of $BJ$: | Given the map $BO\stackrel{BJ}\to{BG}$, define $G/O$ to be the homotopy fibre of $BJ$: | ||
− | $$G/O:=\text{hofib}( | + | $$G/O:=\text{hofib}(BJ).$$ |
− | In {{citeD|Lück2001|p | + | In {{citeD|Lück2001|p. 66}} there is defined a group of stable fibre homotopy trivialisations of smooth vector bundles over a space $X$ which is denoted $\mathcal{G}/\mathcal{O}(X)$. |
{{beginthm|Exercise}} | {{beginthm|Exercise}} | ||
Show that for any space $X$ there is a bijection | Show that for any space $X$ there is a bijection |
Latest revision as of 18:29, 2 April 2012
The aim of these exercises is to follow the proof of [Lück2001, Theorem 3.45].
Given the map , define to be the homotopy fibre of :
In [Lück2001, p. 66] there is defined a group of stable fibre homotopy trivialisations of smooth vector bundles over a space which is denoted .
Exercise 0.1. Show that for any space there is a bijection