Decomposition spaces and poset-stratified spaces

DOI10.32513/TBILISI/1593223222arXiv1912.00339MaRDI QIDQ6330185FDOQ6330185

Authors: Shoji Yokura 

Publication date: 1 December 2019

Abstract: In 1920s R. L. Moore introduced emph{upper semicontinuous} and emph{lower semicontinuous} decompositions in studying decomposition spaces. Upper semicontinuous decompositions were studied very well by himself and later by R.H. Bing in 1950s. In this paper we consider lower semicontinuous decompositions $mathcalD$ of a topological space $X$ such that the decomposition spaces $X/mathcalD$ are Alexandroff spaces. If the associated proset (preordered set) of the decomposition space $X/mathcalD$ is a poset, then the decomposition map $pi:XoX/mathcalD$ is emph{a continuous map from the topological space $X$ to the poset $X/mathcalD$ with the associated Alexandroff topology}, which is nowadays called emph{a poset-stratified space}. As an application, we capture the face poset of a real hyperplane arrangement $mathcalA$ of $mathbb{R}^n$ as the associated poset of the decomposition space $mathbb{R}^n/mathcalD(mathcalA)$ of the decomposition $mathcalD(mathcalA)$ determined by the arrangement $mathcalA$. We also show that for any locally small category $mathcalC$ the set $ho{m}_{mathcalC}(X,Y)$ of morphisms from $X$ to $Y$ can be considered as a poset-stratified space, and that for any objects $S,T$ (where $S$ plays as a source object and $T$ as a target object) there are a covariant functor $frak{st}_{\ast }^S:mathcalComathcalStrat$ and a contravariant functor $frak{st}_T^{\ast }$ $frak{st}_T^{\ast }:mathcalComathcalStrat$ from $mathcalC$ to the category $mathcalStrat$ of poset-stratified spaces. We also make a remark about Yoneda's Lemmas as to poset-stratified space structures of $ho{m}_{mathcalC}(X,Y)$.

Mathematics Subject Classification ID

Partial orders, general (06A06) Quotient spaces, decompositions in general topology (54B15) Homotopy theory (55P99) General theory of categories and functors (18A99) Basic constructions in general topology (54B99)

This page was built for publication: Decomposition spaces and poset-stratified spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6330185)