Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Projective Fraïssé limits and generalized Ważewski dendrites

Alessandro Codenotti, Aleksandra Kwiatkowska

TL;DR

The paper develops a Fraïssé-theoretic framework for realizing generalized Ważewski dendrites $W_P$ as topological realizations of projective Fraïssé limits of finite trees with monotone and (weakly) coherent epimorphisms. It presents two parallel approaches: direct limits of finite trees with coherence constraints, and Fraïssé categories (projection-embedding pairs) that encode ramification data to obtain all $W_P$. It proves that, under various conditions on $P$, the limits yield dendrites with ramification orders in $P$ and arcwise densely distributed ramification points, and, in the Fraïssé-categorical setting, recovers a countable dense homogeneity result for endpoint sets of $W_P$. Collectively, the results unify continuum-topology constructions of Ważewski dendrites with model-theoretic Fraïssé methods, enabling precise control over ramification structure and endpoint homogeneity with broad applicability to topological dynamics of dendrite continua.

Abstract

We continue the study of projective Fraïssé limits of trees initiated by Charatonik and Roe and we construct many generalized Ważewski dendrites as the topological realization of a projective Fraïssé limit of families of finite trees with (weakly) coherent epimorphisms. Moreover we use the categorical approach to Fraïssé limits developed by Kubiś to construct all generalized Ważewski dendrites as topological realizations of Fraïssé limits of suitable categories of finite structures. As an application we recover a homogeneity result for countable dense sets of endpoints in generalized Ważewski dendrites.

Projective Fraïssé limits and generalized Ważewski dendrites

TL;DR

The paper develops a Fraïssé-theoretic framework for realizing generalized Ważewski dendrites as topological realizations of projective Fraïssé limits of finite trees with monotone and (weakly) coherent epimorphisms. It presents two parallel approaches: direct limits of finite trees with coherence constraints, and Fraïssé categories (projection-embedding pairs) that encode ramification data to obtain all . It proves that, under various conditions on , the limits yield dendrites with ramification orders in and arcwise densely distributed ramification points, and, in the Fraïssé-categorical setting, recovers a countable dense homogeneity result for endpoint sets of . Collectively, the results unify continuum-topology constructions of Ważewski dendrites with model-theoretic Fraïssé methods, enabling precise control over ramification structure and endpoint homogeneity with broad applicability to topological dynamics of dendrite continua.

Abstract

We continue the study of projective Fraïssé limits of trees initiated by Charatonik and Roe and we construct many generalized Ważewski dendrites as the topological realization of a projective Fraïssé limit of families of finite trees with (weakly) coherent epimorphisms. Moreover we use the categorical approach to Fraïssé limits developed by Kubiś to construct all generalized Ważewski dendrites as topological realizations of Fraïssé limits of suitable categories of finite structures. As an application we recover a homogeneity result for countable dense sets of endpoints in generalized Ważewski dendrites.
Paper Structure (12 sections, 30 theorems, 35 equations, 2 figures)

This paper contains 12 sections, 30 theorems, 35 equations, 2 figures.

Table of Contents

  1. Introduction
  2. Projective Fraïssé Limits
  3. Topological Graphs and Monotone Epimorphisms
  4. Topological Graphs and epimorphisms
  5. Dendrites
  6. Weakly Coherent Epimorphisms and Generalized Ważewski Dendrites.
  7. Weakly Coherent Epimorphisms
  8. Generalized Ważewski Dendrites from Projective Fraïssé Families
  9. Fraïssé categories and Projection-Embedding pairs
  10. Fraïssé Categories
  11. Generalized Ważewski Dendrites from Fraïssé Categories
  12. A countable Dense Homogeneity Result for WP

Key Result

Theorem 1.1

Let $P\subseteq\{3,4,\ldots,\omega\}$ be coinfinite. Then the Ważewski dendrite $W_P$ can be constructed as the topological realization of the projective Fraïssé limit of finite trees with monotone maps with additional properties.

Figures (2)

  • Figure 1: The construction of $B'$ from $B$
  • Figure 2: The construction of $D'$ from $D$

Theorems & Definitions (92)

  • Theorem 1.1
  • Theorem 1.2
  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4
  • Theorem 2.5: A_combinatorial_model
  • proof
  • Definition 2.6
  • Definition 3.1
  • ...and 82 more