*The primary source is the seminal 1963 differential-topology article, "Groups of homotopy spheres," by Michel Kervaire and John Milnor.*

Professor Khan will outline Section 7 of the paper. The goals are to show that P_{4k} is infinite cyclic, detected by signature, and that its image bP_{4k} in Θ_{4k-1} is finite. These conclusions depend on deep work of R Bott (Lie groups) and of J F Adams (homotopy theory).

(For continuity, here's a link to the previous talk.)