• Bulletin of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1567-1583
• /
• 2016

In this paper we present the computation of two kinds of cohomotopy groups $[{\Sigma}^n+^4{\mathbb{H}}P^2,S^n]$ and $[{\Sigma}^n+^5{\mathbb{H}}P^2,S^n]$ for a non-negative integer n, where ${\Sigma}^k{\mathbb{H}}P^2$ is the k-fold suspension of quaternionic projec- tive plane ${\mathbb{H}}P^2$.

• Journal of the Korean Mathematical Society
• /
• v.58 no.3
• /
• pp.761-790
• /
• 2021

For given spaces X and Y, let map(X, Y) and map_*(X, Y) be the unbased and based mapping spaces from X to Y, equipped with compact-open topology respectively. Then let map(X, Y ; f) and map_*(X, Y ; g) be the path component of map(X, Y) containing f and map_*(X, Y) containing g, respectively. In this paper, we compute cohomotopy groups of suspended complex plane π^n+m(ΣⁿℂP²) for m = 6, 7. Using these results, we classify path components of the spaces map(ΣⁿℂP², S^m) up to homotopy equivalence. We also determine the generalized Gottlieb groups G_n(ℂP², S^m). Finally, we compute homotopy groups of mapping spaces map(ΣⁿℂP², S^m; f) for all generators [f] of [ΣⁿℂP², S^m], and Gottlieb groups of mapping components containing constant map map(ΣⁿℂP², S^m; *).

• Journal of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.399-415
• /
• 2017

Given a topological space X and a non-negative integer k, we study the self-homotopy equivalences of X that do not change maps from X to n-sphere $S^n$ homotopically by the composition for all $n{\geq}k$. We denote by ${\varepsilon}^{\sharp}_k(X)$ the set of all homotopy classes of such self-homotopy equivalences. This set is a dual concept of ${\varepsilon}^{\sharp}_k(X)$, which has been studied by several authors. We prove that if X is a finite CW complex, there are at most a finite number of distinguishing homotopy classes ${\varepsilon}^{\sharp}_k(X)$, whereas ${\varepsilon}^{\sharp}_k(X)$ may not be finite. Moreover, we obtain concrete computations of ${\varepsilon}^{\sharp}_k(X)$ to show that the cardinal of ${\varepsilon}^{\sharp}_k(X)$ is finite when X is either a Moore space or co-Moore space by using the self-closeness numbers.

• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1371-1385
• /
• 2019

Given a topological space X and a non-negative integer k, ${\varepsilon}^{\sharp}_k(X)$ is the set of all self-homotopy equivalences of X that do not change maps from X to an t-sphere $S^t$ homotopically by the composition for all $t{\geq}k$. This set is a subgroup of the self-homotopy equivalence group ${\varepsilon}(X)$. We find certain homotopic tools for computations of ${\varepsilon}^{\sharp}_k(X)$. Using these results, we determine ${\varepsilon}^{\sharp}_k(M(G,n))$ for $k{\geq}n$, where M(G, n) is a Moore space type of (G, n) for a finitely generated abelian group G.