K-invariant for G/PL (Ex)
From Manifold Atlas
In talk 16 the -local homotopy type of was described as being
where is a two stage Postnikov system with nontrivial homotopy groups , and (non-trivial) Postnikov invariant . The goal of this exercise is to show that is nonzero.
Exercise 0.1. Let be the surgery obstruction map, and its factorization through the localized Hurewicz map , so that . Show that if is surjective, then is nonzero.
Exercise 0.2. Show that is surjective by constructing a -manifold and a map with surgery invariant 1.
Hint 0.3. Try to construct a degree one normal map , where denotes connected sum and denotes with the conjugate complex struture.