×

On the continuous gradability of the cut-point orders of \(\mathbb{R} \)-trees. (English) Zbl 07453445

Summary: An \(\mathbb{R} \)-tree is a certain kind of metric space tree in which every point can be branching. Favre and Jonsson posed the following problem in 2004: can the class of orders underlying \(\mathbb{R} \)-trees be characterised by the fact that every branch is order-isomorphic to a real interval? In the first part, I answer this question in the negative: there is a ‘branchwise-real tree order’ which is not ‘continuously gradable’. In the second part, I show that a branchwise-real tree order is continuously gradable if and only if every well-stratified subtree is \(\mathbb{R} \)-gradable. This link with set theory is put to work in the third part answering refinements of the main question, yielding several independence results. For example, when \(\kappa \geqslant \mathfrak{c} \), there is a branchwise-real tree order which is not continuously gradable, and which satisfies a property corresponding to \(\kappa \)-separability. Conversely, under Martin’s Axiom at \(\kappa\) such a tree does not exist.

MSC:

03E05 Other combinatorial set theory
06A07 Combinatorics of partially ordered sets
54F05 Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces
54F50 Topological spaces of dimension \(\leq 1\); curves, dendrites

References:

[1] Bestvina, M., Real trees in topology, geometry, and group theory (1997)
[2] Mayer, J. C.; Nikiel, J.; Oversteegen, L. G., Universal spaces for r-trees, Trans. Am. Math. Soc., 334, 411-432 (1992) · Zbl 0787.54036
[3] Fabel, P., A topological characterization of the underlying spaces of complete r-trees (2015), 881-887 · Zbl 1345.54016
[4] Favre, C.; Jonsson, M., The valuative tree, number 1853, (Lecture Notes in Mathematics (2004), Springer: Springer Berlin, London), E-print available · Zbl 1064.14024
[5] Nikiel, J., Topologies on Pseudo-Trees and Applications, Vol. 416 (1989), American Mathematical Society · Zbl 0693.54017
[6] Jech, T., Set Theory, Springer Monographs in Mathematics (2003), Springer-Verlag · Zbl 1007.03002
[7] Kunen, K., Set Theory, Number 34, Studies in Logic (2013), College Publications: College Publications London
[8] Jones, P. B., Remarks on the Normal Moore Space Metrization Problem, Topology Seminar Wisconsin, vol. 60, 115-120 (1965), Princeton University Press: Princeton University Press Princeton
[9] Baumgartner, J. E., Results and Independence Proofs in Combinatorial Set Theory (1970), Ph.D. thesis
[10] Rudin, W., Principles of Mathematical Analysis, International Series in Pure and Applied Mathematics (1976), McGraw-Hill: McGraw-Hill New York · Zbl 0148.02903
[11] Bowditch, B., Treelike structures arising from continua and convergence groups, Mem. Am. Math. Soc., 139 (1999), e-print available · Zbl 0961.20034
[12] Erdös, P.; Tarski, A., On families of mutually exclusive sets, Ann. Math., 44, 315-329 (1943) · Zbl 0060.12602
[13] Shalen, P. B., Dendrology of groups: an introduction, (Gersten, S. M., Essays in Group Theory (1987), Springer: Springer New York, New York, NY), 265-319 · Zbl 0649.20033
[14] Shalen, P. B., Dendrology and its applications, (Ghys, E.; Haefliger, A.; Verjovsky, A., Group Theory from a Geometrical Viewpoint (1991), World Scientific), E-print available · Zbl 0843.20018
[15] Morgan, J. W., Λ-trees and their applications, Bull. Am. Math. Soc., 26, 87-113 (1992), E-print available · Zbl 0767.05054
[16] Chiswell, I., Introduction to Λ-trees (2001), Singapore · Zbl 1004.20014
[17] Fuchs, G.; Hamkins, J. D., Degrees of rigidity for souslin trees, J. Symb. Log., 74, 423-454 (2009) · Zbl 1179.03043
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.