Communications of the
Korean Mathematical Society
CKMS

ISSN(Print) 1225-1763 ISSN(Online) 2234-3024

Article

HOME ALL ARTICLES View

Commun. Korean Math. Soc. 2019; 34(3): 991-1004

Online first article July 8, 2019      Printed July 31, 2019

https://doi.org/10.4134/CKMS.c180326

Copyright © The Korean Mathematical Society.

A proset structure induced from homotopy classes of maps and a classification of fibrations

Toshihiro Yamaguchi, Shoji Yokura

Kochi University; Kagoshima University

Abstract

Firstly we consider preorders (not necessarily partial orders) on a canonical quotient of the set of the homotopy classes of continuous maps between two spaces induced by a certain equivalence relation $ \sim_{{\mathcal E}R}$. Secondly we apply it {to} a classification of orientable fibrations over $Y$ with fibre $X$. In the classification theorem of J. Stasheff \cite{Sta} and G. Allaud \cite{All}, they use the set $[Y,B{\rm aut}_1X]$ of homotopy classes of continuous maps from $Y$ to $B{\rm aut}_1X$, which is the classifying space for fibrations with fibre $X$ due to A. Dold and R. Lashof \cite{DL}. In this paper we give a classification of fibrations using a preordered set (abbr., proset) structure induced by $[Y,B{\rm aut}_1X]_{{\mathcal E}R}:=[Y,B{\rm aut}_1X]/\sim_{{\mathcal E}R}$.

Keywords: homotopy set, proset, orientable fibration, classifying space, rational homotopy, Sullivan minimal model

MSC numbers: 55P10, 55R15, 55P62

Supported by: The second author was partially supported by JSPS KAKENHI Grant Numbers 16H03936.