Mapping spaces form projective spaces

Date
2014/10/27 Mon 15:00 - 16:00
Room
6号館609号室
Speaker
蔦谷充伸
Affiliation
京都大学
Abstract

We denote the n-th projective space of a topological monoid G by BnG and the classifying space by BG. Let G be a topological monoid of pointed homotopy type of a CW complex and G a grouplike topological monoid. We prove the weak equivalence between the pointed mapping space Map0(BnG,BG) and the space of all An-maps from G to G. This fact has several applications. As the first application, we show that the connecting map GMap0(BnG,BG) of the evaluation fiber sequence Map0(BnG,BG)Map(BnG,BG)BG is delooped. As other applications, we consider higher homotopy commutativity, An-types of gauge groups and Tfk-spaces by Iwase-Mimura-Oda-Yoon.