21 Mar
2021
21 Mar
'21
10:08 a.m.
上記の定理が証明されたのは第２次世界大戦が 終わって１０年と経たない頃の話ですが、 homotopy論において枢要な位置を占めており、 Freudenthal Suspension Theoremをsparkし、 stable homotopy theoryへと誘います。
この定理は２１世紀に入ってから HoTT (Homotopy Type Theory)の枠組みの 中で構成的に別証明が与えられ、しかも computerを用いてverificationに委ねられました。
https://zbmath.org/?q=an:1395.55011
最近、この定理をさらに一般化し、 それが単に位相空間のみならす 任意のinfinity toposで成り立つことを 示す論文をreviewしましたので、 ご案内しておきます。
https://zbmath.org/pdf/07262227.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=X7Dlk1Jd-Jk