今日の時点で、岩波位相幾何学 I の m 枠とか Stiefel 多様体、グラスマン多様体の部分を終えています。これらの部分は、昔、古典群などの定式化をまとめた pdf と結果を照合したにとどまりますが。明日から、ブルバキ積分 vol.4 に切り替えます。

pdf での清書が終わりました. こちらになります. 岩波位相幾何学 I では, SP^2 S^n は SP^2 S^{n-1} の unreduced suspension Σ' SP^2 S^{n-1} に 2n-cell を attach した空間であると述べています. その証明が上記 pdf の §2.9 にあります.

今の時点で, 岩波『位相幾何学 I』p.20, 例題 2.4 の証明を与えています. 本文の証明は随分と行間が開いており,「明らかに」なんていう言葉も見受けられますが, まるで信用できません. 証明ができたら pdf で公開します.