Homology, Homotopy and Applications

Volume 21 (2019)

Number 2

Poset-stratified space structures of homotopy sets

Pages: 1 – 22

DOI: https://dx.doi.org/10.4310/HHA.2019.v21.n2.a1

Authors

Toshihiro Yamaguchi (Faculty of Education, Kochi University, Kochi, Japan)

Shoji Yokura (Department of Mathematics and Computer Science, Graduate School of Science and Engineering, Kagoshima University, Korimoto, Kagoshima, Japan)

Abstract

A poset-stratified space is a pair $(S, S \overset{\pi}{\to} P)$ of a topological space $S$ and a continuous map $\pi : S \to P$ with a poset $P$ considered as a topological space with its associated Alexandroff topology. In this paper we show that one can impose such a poset-stratified space structure on the homotopy set $[X, Y ]$ of homotopy classes of continuous maps by considering a canonical but nontrivial order (preorder) on it, namely we can capture the homotopy set $[X, Y ]$ as an object of the category of poset-stratified spaces. The order we consider is related to the notion of dependence of maps (by Karol Borsuk). Furthermore via homology and cohomology the homotopy set $[X, Y ]$ can have other poset-stratified space structures. In the cohomology case, we get some results which are equivalent to the notion of dependence of cohomology classes (by René Thom) and we can show that the set of isomorphism classes of complex vector bundles can be captured as a poset-stratified space via the poset of the subrings consisting of all the characteristic classes. We also show that some invariants such as Gottlieb groups and Lusternik–Schnirelmann category of a map give poset-stratified space structures to the homotopy set $[X, Y ]$.

Keywords

homotopy set, poset, poset-stratified space, Alexandroff topology, dependence of maps, dependence of cohomology classes, Sullivan minimal model

2010 Mathematics Subject Classification

06A06, 18A99, 54B99, 55P10, 55P20, 55P62, 55P99

Received 27 October 2017

Received revised 19 December 2018

Published 19 December 2018