Mapping spaces from projective spaces

Research output: Contribution to journalArticle

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 well-pointed topological monoid having the homotopy type of a CW complex and G′ a well-pointed grouplike topological monoid. We prove that there is a natural weak equivalence between the pointed mapping space Map0(BnG,BG′) and the space An(G,G′) of all An-maps from G to G′. Moreover, if we suppose G=G′, then an appropriate union of path-components of Map0(BnG,BG) is delooped.

This fact has several applications. As the first application, we show that the evaluation fiber sequence Map0(BnG,BG)→Map(BnG,BG)→BG extends to the right. As other applications, we investigate higher homotopy commutativity, An-types of gauge groups, Tfk-spaces and homotopy pullback of An-maps. The concepts of Tfk-space and Cfk-space were introduced by Iwase–Mimura–Oda–Yoon, which is a generalization of Tk-spaces by Aguadé. In particular, we show that the Tfk-space and the Cfk-space are exactly the same concept and give some new examples of Tfk-spaces.
Original languageEnglish
Pages (from-to)173-203
Number of pages31
JournalHomology, Homotopy and Applications
Publication statusPublished - 2016

Fingerprint

Projective Space
Monoid
Homotopy
Classifying Space
CW-complex
Homotopy Type
Pullback
Gauge Group
Commutativity
Union
Equivalence
Fiber
Denote
Path
Evaluation

Cite this

Mapping spaces from projective spaces. / Tsutaya, Mitsunobu.

In: Homology, Homotopy and Applications, 2016, p. 173-203.

Research output: Contribution to journalArticle

@article{27348a3867b2467493447426953c75a6,
title = "Mapping spaces from projective spaces",
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 well-pointed topological monoid having the homotopy type of a CW complex and G′ a well-pointed grouplike topological monoid. We prove that there is a natural weak equivalence between the pointed mapping space Map0(BnG,BG′) and the space An(G,G′) of all An-maps from G to G′. Moreover, if we suppose G=G′, then an appropriate union of path-components of Map0(BnG,BG) is delooped.This fact has several applications. As the first application, we show that the evaluation fiber sequence Map0(BnG,BG)→Map(BnG,BG)→BG extends to the right. As other applications, we investigate higher homotopy commutativity, An-types of gauge groups, Tfk-spaces and homotopy pullback of An-maps. The concepts of Tfk-space and Cfk-space were introduced by Iwase–Mimura–Oda–Yoon, which is a generalization of Tk-spaces by Aguad{\'e}. In particular, we show that the Tfk-space and the Cfk-space are exactly the same concept and give some new examples of Tfk-spaces.",
author = "Mitsunobu Tsutaya",
year = "2016",
language = "English",
pages = "173--203",
journal = "Homology, Homotopy and Applications",
issn = "1532-0073",
publisher = "International Press of Boston, Inc.",

}

TY - JOUR

T1 - Mapping spaces from projective spaces

AU - Tsutaya, Mitsunobu

PY - 2016

Y1 - 2016

N2 - We denote the n-th projective space of a topological monoid G by BnG and the classifying space by BG. Let G be a well-pointed topological monoid having the homotopy type of a CW complex and G′ a well-pointed grouplike topological monoid. We prove that there is a natural weak equivalence between the pointed mapping space Map0(BnG,BG′) and the space An(G,G′) of all An-maps from G to G′. Moreover, if we suppose G=G′, then an appropriate union of path-components of Map0(BnG,BG) is delooped.This fact has several applications. As the first application, we show that the evaluation fiber sequence Map0(BnG,BG)→Map(BnG,BG)→BG extends to the right. As other applications, we investigate higher homotopy commutativity, An-types of gauge groups, Tfk-spaces and homotopy pullback of An-maps. The concepts of Tfk-space and Cfk-space were introduced by Iwase–Mimura–Oda–Yoon, which is a generalization of Tk-spaces by Aguadé. In particular, we show that the Tfk-space and the Cfk-space are exactly the same concept and give some new examples of Tfk-spaces.

AB - We denote the n-th projective space of a topological monoid G by BnG and the classifying space by BG. Let G be a well-pointed topological monoid having the homotopy type of a CW complex and G′ a well-pointed grouplike topological monoid. We prove that there is a natural weak equivalence between the pointed mapping space Map0(BnG,BG′) and the space An(G,G′) of all An-maps from G to G′. Moreover, if we suppose G=G′, then an appropriate union of path-components of Map0(BnG,BG) is delooped.This fact has several applications. As the first application, we show that the evaluation fiber sequence Map0(BnG,BG)→Map(BnG,BG)→BG extends to the right. As other applications, we investigate higher homotopy commutativity, An-types of gauge groups, Tfk-spaces and homotopy pullback of An-maps. The concepts of Tfk-space and Cfk-space were introduced by Iwase–Mimura–Oda–Yoon, which is a generalization of Tk-spaces by Aguadé. In particular, we show that the Tfk-space and the Cfk-space are exactly the same concept and give some new examples of Tfk-spaces.

M3 - Article

SP - 173

EP - 203

JO - Homology, Homotopy and Applications

JF - Homology, Homotopy and Applications

SN - 1532-0073

ER -