Higher homotopy normalities in topological groups

• Published in: Journal of topology Vol. 16; no. 1; pp. 234 - 263
• Main Author: Tsutaya, Mitsunobu
• Format: Journal Article
• Language: English
• Published: 01.03.2023
• ISSN: 1753-8416; 1753-8424
• DOI: 10.1112/topo.12282

The purpose of this paper is to introduce Nk(ℓ)$N_k(\ell )$‐maps (1⩽k,ℓ⩽∞$1\leqslant k,\ell \leqslant \infty$), which describe higher homotopy normalities, and to study their basic properties and examples. An Nk(ℓ)$N_k(\ell )$‐map is defined with higher homotopical conditions. It is shown that a homomorphism is an Nk(ℓ)$N_k(\ell )$‐map if and only if there exists fiberwise maps between fiberwise projective spaces with some properties. Also, the homotopy quotient of an Nk(k)$N_k(k)$‐map is shown to be an H$H$‐space if its LS category is not greater than k$k$. As an application, we investigate when the inclusions SU(m)→SU(n)$\operatorname{SU}(m)\rightarrow \operatorname{SU}(n)$ and SO(2m+1)→SO(2n+1)$\operatorname{SO}(2m+1)\rightarrow \operatorname{SO}(2n+1)$ are p$p$‐locally Nk(ℓ)$N_k(\ell )$‐maps.