pith. sign in

arxiv: 2601.01681 · v3 · submitted 2026-01-04 · 🧮 math.DS · math.FA· math.GN

Tameness of actions on finite rank median algebras

Michael Megrelishvili This is my paper

Pith reviewed 2026-05-16 17:41 UTC · model grok-4.3

classification 🧮 math.DS math.FAmath.GN
keywords median algebrafinite rankmedian-preserving mapRosenthal dichotomyHelly selection principledynamical tamenesstopological group actioncompact median algebra
0
0 comments X

The pith

In finite-rank median algebras the algebraic rank equals the independence number of all median-preserving maps into the unit interval.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that for any finite-rank median algebra X, the rank of X is identical to the independence number of the family of all median-preserving functions from X to the interval [0,1]. In the compact setting this holds also for continuous such functions. This identification, when combined with Rosenthal's dichotomy theorem, produces a Helly-type selection principle for sequences of median-preserving maps. As a consequence, continuous actions of topological groups by median automorphisms on compact finite-rank median algebras are shown to be dynamically tame.

Core claim

For every finite-rank median algebra X, the rank of X coincides with the independence number of the family of all median-preserving maps X → [0,1]. In the compact topological case, the same equality holds for the family of all continuous median-preserving maps. This yields a generalized Helly selection principle: for every finite-rank median algebra, every uniformly bounded sequence of median-preserving real-valued maps admits a pointwise convergent subsequence whose limit is again median-preserving.

What carries the argument

The coincidence between the rank of a finite-rank median algebra and the independence number of its median-preserving real-valued maps, which enables application of Rosenthal's dichotomy to obtain selection principles and dynamical tameness.

If this is right

  • Continuous actions of topological groups by median automorphisms on compact finite-rank median algebras are Rosenthal representable and hence dynamically tame.
  • The Roller-Fioravanti compactification of finite-rank topological median G-algebras carries tame actions under continuous group actions.
  • Complete finite-rank median metric spaces admit tameness results for their continuous isometric actions.
  • Every uniformly bounded sequence of median-preserving real-valued maps on a finite-rank median algebra has a pointwise convergent subsequence whose limit preserves the median operation.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same rank-independence equality may connect finite-rank median algebras to related structures such as dendrites, where similar tameness results were previously known.
  • Dynamical tameness could imply new fixed-point or representation properties for group actions on these algebras.
  • The selection principle might extend to non-compact settings if additional uniformity or boundedness conditions are imposed on the maps.

Load-bearing premise

The median algebra must have finite rank so that Rosenthal's dichotomy theorem can be applied to the family of median-preserving maps.

What would settle it

A counterexample would be a finite-rank median algebra where the rank differs from the maximum size of an independent family of median-preserving maps to [0,1], or a bounded sequence of such maps with no pointwise convergent subsequence that preserves the median operation.

read the original abstract

We show that for every finite-rank median algebra $X$, the rank of $X$ coincides with the independence number of the family of all median-preserving maps $X \to [0,1]$. In the compact topological case, the same equality holds for the family of all continuous median-preserving maps. Combined with Rosenthal's dichotomy, this yields a generalized Helly selection principle: for every finite-rank median algebra, every uniformly bounded sequence of median-preserving real-valued maps admits a pointwise convergent subsequence whose limit is again median-preserving. As a dynamical application, we generalize a joint result with E. Glasner on dendrites and prove that every continuous action of a topological group by median automorphisms on a compact finite-rank median algebra is Rosenthal representable, and hence dynamically tame. We also apply this result to the Roller--Fioravanti compactification of finite-rank topological median $G$-algebras, and in particular to complete finite-rank median metric spaces under continuous isometric actions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper shows that for every finite-rank median algebra X, the rank of X coincides with the independence number of the family of all median-preserving maps X → [0,1]. In the compact topological case, the equality holds for continuous median-preserving maps. Using Rosenthal's dichotomy, this implies a generalized Helly selection principle for uniformly bounded sequences of such maps. Dynamical applications include that every continuous action of a topological group by median automorphisms on a compact finite-rank median algebra is Rosenthal representable and dynamically tame, with further applications to the Roller-Fioravanti compactification and complete finite-rank median metric spaces under isometric actions.

Significance. This characterization of rank via independence number is a clean, direct result from the definitions and the finite-rank Helly property, as detailed in Theorem 3.4. The selection principle generalizes known Helly-type results, and the tameness theorem extends previous work on dendrites to a wider class of spaces. The manuscript provides explicit constructions and conditions the applications precisely on the finite-rank hypothesis without additional assumptions like separability.

minor comments (3)
  1. [Theorem 3.4] Theorem 3.4: the two-sided argument for the equality is clear, but the explicit construction of the rank-many independent maps could benefit from a small diagram or example for intuition.
  2. [Corollary 4.2] Corollary 4.2: the invocation of Rosenthal's dichotomy is well-conditioned on finite rank and uniform boundedness, but the corollary statement could explicitly restate the uniform boundedness hypothesis for self-contained reading.
  3. [Section 5] Section 5: the generalization of the joint result with E. Glasner on dendrites should include the precise reference or statement of the original theorem being extended.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the main results, and recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The central claim equates rank(X) with the independence number of median-preserving maps X to [0,1] and is proved directly in Theorem 3.4. The upper bound follows from the finite-rank Helly property (Proposition 2.7) while the lower bound is obtained by explicit construction of rank-many independent maps via the median operation on a basis of size equal to the rank. This is a self-contained two-sided argument from the definitions of rank and median algebras. The subsequent use of Rosenthal's dichotomy in Corollary 4.2 is an external theorem applied under the stated finite-rank and uniform-boundedness hypotheses. No load-bearing step reduces by construction to a fitted input, self-citation chain, imported uniqueness theorem, or renamed known result. The derivation therefore contains no circularity of the enumerated kinds.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on the standard definition of finite-rank median algebras and the invocation of Rosenthal's dichotomy; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)
  • domain assumption Standard definition and properties of median algebras and finite rank
    The paper works inside the established theory of median algebras as referenced in prior literature on dendrites.
  • standard math Rosenthal's dichotomy theorem
    Invoked to obtain the pointwise convergent subsequence whose limit preserves medians.

pith-pipeline@v0.9.0 · 5463 in / 1314 out tokens · 29856 ms · 2026-05-16T17:41:55.614374+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Intrinsic uniform structure on median algebras

    math.GN 2026-05 unverdicted novelty 7.0

    Defines the median uniformity U_m on median algebras to construct the Minimal Median Compactification (MMC) as a natural compactification for group actions by median automorphisms, with uniqueness and tameness results...

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages · cited by 1 Pith paper · 3 internal anchors

  1. [1]

    Bourgain, D.H

    J. Bourgain, D.H. Fremlin and M. Talagrand,Pointwise compact sets in Baire-measurable functions, Amer. J. of Math.,100:4(1977), 845-886

    work page 1977

  2. [2]

    Bowditch,Coarse median spaces and groups, Pacif

    B.H. Bowditch,Coarse median spaces and groups, Pacif. J. Math.261(2013), 53–93

    work page 2013

  3. [3]

    Coulembier: Algebraic geometry in tensor categories

    B.H. Bowditch,Median Algebras, Preprint (2024). arXiv:2311.02264

    work page arXiv 2024

  4. [4]

    Chatterji, C

    I. Chatterji, C. Drutu, F. Haglund,Kazhdan and Haagerup properties from the median viewpoint, Adv. Math.225(2010) 882–921

    work page 2010

  5. [5]

    Codenotti,Some examples of tame dynamical systems answering questions of Glasner and Megrel- ishvili, Proc

    A. Codenotti,Some examples of tame dynamical systems answering questions of Glasner and Megrel- ishvili, Proc. Amer. Math. Soc.153(2025), 2433–2449

    work page 2025

  6. [6]

    Driemel, A

    A. Driemel, A. Nusser, J.M. Phillips, I. Psarros,The VC Dimension of Metric Balls under Fr´ echet and Hausdorff Distances, Discrete & Computational Geometry66(2021), 1351–1381

    work page 2021

  7. [7]

    Duchesne,The Polish topology of the isometry group of the infinite dimensional hyperbolic space, Groups Geom

    B. Duchesne,The Polish topology of the isometry group of the infinite dimensional hyperbolic space, Groups Geom. Dyn.17(2023), 633–670

    work page 2023

  8. [8]

    Math.352(2019) 1206–1252

    E Fioravanti,Superrigidity of actions on finite rank median spaces,Adv. Math.352(2019) 1206–1252

    work page 2019

  9. [9]

    Fioravanti,Roller boundaries for median spaces and algebras, Algebraic and Geometric Topology20 (2020), 1325–1370

    E. Fioravanti,Roller boundaries for median spaces and algebras, Algebraic and Geometric Topology20 (2020), 1325–1370

    work page 2020

  10. [10]

    Glasner,On tame dynamical systems, Colloq

    E. Glasner,On tame dynamical systems, Colloq. Math.105(2006), 283–295

    work page 2006

  11. [11]

    Glasner,The structure of tame minimal dynamical systems for general groups, Invent

    E. Glasner,The structure of tame minimal dynamical systems for general groups, Invent. Math.211 (2018), no. 1, 213–244

    work page 2018

  12. [12]

    Glasner and M

    E. Glasner and M. Megrelishvili,Representations of dynamical systems on Banach spaces not containing ℓ1, Trans. Amer. Math. Soc.,364(2012), 6395–6424

    work page 2012

  13. [13]

    Eventual nonsensitivity and tame dynamical systems

    E. Glasner and M. Megrelishvili,Eventual nonsensitivity and tame dynamical systems, arXiv:1405.2588, 2014 18

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  14. [14]

    Glasner and M

    E. Glasner and M. Megrelishvili,More on tame dynamical systems, in: Lecture Notes S. vol. 2013, Ergodic Theory and Dynamical Systems in their Interactions with Arithmetics and Combinatorics, Eds.: S. Ferenczi, J. Kulaga-Przymus, M. Lemanczyk, Springer, 2018, pp. 351–392

    work page 2013

  15. [15]

    Glasner and M

    E. Glasner and M. Megrelishvili,Group actions on treelike compact spaces, Science China Math.,62 (2019), n. 12, 2447–2462

    work page 2019

  16. [16]

    Glasner and M

    E. Glasner and M. Megrelishvili,Todor˘ cevi´ c’ Trichotomy and a hierarchy in the class of tame dynamical systems, Trans. Amer. Math. Soc.375(2022), 4513–4548

    work page 2022

  17. [17]

    Coarse decompositions of boundaries for CAT(0) groups

    D.P. Guralnik,Coarse decompositions for boundaries of CAT(0) groups, Thesis, Technion, Haifa (2005), available at arXiv:math/0611006

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  18. [18]

    Kerr and H

    D. Kerr and H. Li,Independence in topological andC ∗-dynamics, Math. Ann.338(2007), 869–926

    work page 2007

  19. [19]

    Klavˇ zar and H

    S. Klavˇ zar and H. M. Mulder,Median graphs: A structure theory, in: Advances in Interdisciplinary Applied Discrete Mathematics, World Scientific (2010), 221–242

    work page 2010

  20. [20]

    K¨ ohler,Enveloping semigroups for flows, Proc

    A. K¨ ohler,Enveloping semigroups for flows, Proc. of the Royal Irish Academy,95A(1995), 179–191

    work page 1995

  21. [21]

    Kubis, A

    W. Kubis, A. Kucharski and S. Turek,Parovicenko spaces with structures, RACSAM108(2014), 989– 1004

    work page 2014

  22. [22]

    Megrelishvili,Compactification and factorization in the category of G-spaces, in: Categorical Topol- ogy, ed

    M. Megrelishvili,Compactification and factorization in the category of G-spaces, in: Categorical Topol- ogy, ed. J. Adamek and S. MacLane, World Scientific, Singapore, 1989, 220–237

    work page 1989

  23. [23]

    Megrelishvili,A note on tameness of families having bounded variation, Topology Appl.217(2017), 20–30

    M. Megrelishvili,A note on tameness of families having bounded variation, Topology Appl.217(2017), 20–30

    work page 2017

  24. [24]

    Megrelishvili,Median pretrees and functions of bounded variation, Topology Appl.285(2020)

    M. Megrelishvili,Median pretrees and functions of bounded variation, Topology Appl.285(2020)

    work page 2020

  25. [25]

    Megrelishvili,Lipschitz-Free Spaces: A Topometric Approach and Group Actions, Medit

    M. Megrelishvili,Lipschitz-Free Spaces: A Topometric Approach and Group Actions, Medit. J. Math. 22(2025)

    work page 2025

  26. [26]

    Megrelishvili,Topological Group Actions and Banach Representations, unpublished book, Available on author’s homepage, 2025

    M. Megrelishvili,Topological Group Actions and Banach Representations, unpublished book, Available on author’s homepage, 2025

    work page 2025

  27. [27]

    M.A. Roller,Poc sets, median algebras and group actions: an extended study of Dunwoody’s construction and Sageev’s theorem, Habilitationsschrift, Universit¨ at Regensburg (1998) arXiv:1607.07747, 1916

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  28. [28]

    Rosenthal,A characterization of Banach spaces containingl 1, Proc

    H.P. Rosenthal,A characterization of Banach spaces containingl 1, Proc. Nat. Acad. Sci. U.S.A., 71 (1974), 2411–2413

    work page 1974

  29. [29]

    Sageev,CAT(0) Cube Complexes and Groups, in: Geometric group theory, AMS, v

    M. Sageev,CAT(0) Cube Complexes and Groups, in: Geometric group theory, AMS, v. 21, 2014

    work page 2014

  30. [30]

    Shelah,Classification theory for elementary classes with the dependence property - a modest beginning, Scientiae Mathematicae Japonicae,59(2004), no

    S. Shelah,Classification theory for elementary classes with the dependence property - a modest beginning, Scientiae Mathematicae Japonicae,59(2004), no. 2, 265–316

    work page 2004

  31. [31]

    Sholander,Medians and betweenness, Proc

    M. Sholander,Medians and betweenness, Proc. Amer. Math. Soc.5(1954), 801–807

    work page 1954

  32. [32]

    Simon,A Guide to NIP Theories, Lecture Notes in Logic, Cambridge University Press, 2015

    P. Simon,A Guide to NIP Theories, Lecture Notes in Logic, Cambridge University Press, 2015

    work page 2015

  33. [33]

    Sauer,On the density of families of sets, J

    N. Sauer,On the density of families of sets, J. Combinatorial Theory Ser. A13(1972), 145–147

    work page 1972

  34. [34]

    van Mill,Supercompactness and Wallman Spaces, Math

    J. van Mill,Supercompactness and Wallman Spaces, Math. Centre Tracts 85, Amsterdam 1977

    work page 1977

  35. [35]

    van de Vel,Theory of Convex Structures, North-Holland Mathematical Library, Vol

    M.L.J. van de Vel,Theory of Convex Structures, North-Holland Mathematical Library, Vol. 50, Elsevier, 1993 Department of Mathematics, Bar-Ilan University, 52900 Ramat-Gan, Israel Email address:megereli@math.biu.ac.il URL:http://www.math.biu.ac.il/ ∼megereli

    work page 1993