Inverse sequences, rooted trees and their end spaces

DOI10.1016/J.TOPOL.2010.08.005MaRDI QIDQ712200zbMATH OpenOpenAlexFDO

Authors Álvaro Martínez-Pérez, Manuel A. Morón

Publication date 28 October 2010

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0710.3004

coarse map end space inverse sequence Mittag-Leffler property shape theory tree

General theory of distance geometry (51K05) Global differential geometry (53C99) Categorical methods in general topology (54B30) Shape theory in general topology (54C56) Metric spaces, metrizability (54E35) Shape theory (55P55)

Abstract: In this paper we prove that if we consider the standard real metric on simplicial rooted trees then the category Tower-Set of inverse sequences can be described by means of the bounded coarse geometry of the naturally associated trees. Using this we give a geometrical characterization of Mittag-Leffler property in inverse sequences in terms of the Lipschitz, and metrically proper, homotopy type of the corresponding tree and its maximal geodesically complete subtree. We also some consequences in shape theory, in particular we obtain some new representations of shape morphisms related to infinite brunches in trees.

Review text

In this paper the authors prove that if the standard real metric is considered on simplicial rooted trees then the category Tower-Set of inverse sequences can be described by means of a homotopy relation akin to the bounded coarse geometry of the naturally associated trees. First, an equivalence of categories between R-trees and ultrametric spaces is proved, which generalizes classical results of Freudenthal ends for locally finite simplicial trees. Then it is proved that there is an equivalence of categories between Tower-Set and the category of rooted simplicial trees with rooted metrically proper non-expansive homotopy classes of rooted metrically proper non-expansive maps. The authors convert the category Tower-Set into a geometrical language involving trees and coarse geometry, giving a new relation to shape theory. Using this approach they give a geometrical characterization of the Mittag-Leffler property in inverse sequences in terms of the metrically proper homotopy type of the corresponding tree and its maximal geodesically complete subtree. They also obtain some consequences in shape theory. In particular, they describe some new representations of shape morphisms related to infinite branches in trees.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Inverse sequences, rooted trees and their end spaces

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