Roller–Fioravanti Compactification

• The Roller–Fioravanti compactification is a canonical extension of finite-rank topological median algebras that preserves compact intervals and median structure.
• It constructs a dense, convex embedding using continuous median retractions and ultrafilter techniques, ensuring functorial extension to compact spaces.
• The method guarantees rank preservation and tameness under group actions, bridging convex-median geometry with dynamical system theories.

The Roller–Fioravanti compactification is a canonical, functorial compactification of finite-rank topological median algebras with compact intervals, generalizing the classical Roller compactification for CAT(0) cube complexes. It is designed to preserve the median structure, rank, and dynamical properties under group actions by median automorphisms. The construction yields a compact median algebra in which the original space embeds densely and convexly, and supports a continuous extension of the group action. This compactification provides a universal object among compact median $G$-algebra compactifications respecting the median operations and compact intervals, and forms an essential bridge between convex-median geometry and the theory of tame dynamical systems (Megrelishvili, 4 Jan 2026, Fioravanti, 2017).

1. Construction and Definition

Given a topological median algebra $X$ of finite rank, with all intervals $[x,y]$ compact, and a (discrete or Baire) topological group $G$ acting by continuous median automorphisms, the Roller–Fioravanti compactification is formed as follows. For each $(x, y)$, consider the median retraction

$$\phi_{x,y}\colon X \to [x,y], \quad \phi_{x,y}(z) = m(x,y,z),$$

which is continuous and median-preserving. Defining the interval embedding

$$\nu\colon X \longrightarrow \prod_{(x,y)\in X^2} [x,y], \quad \nu(z) = (\phi_{x,y}(z))_{(x,y)},$$

and endowing the product with the Tikhonoff topology, one sets

$$\overline{X}^{\mathrm{RF}} := \overline{\nu(X)} \subset \prod_{(x,y)} [x,y].$$

The closure $\overline{X}^{\mathrm{RF}}$ carries the coordinatewise unique median, making it a compact median algebra, and the canonical embedding $\nu: X \hookrightarrow \overline{X}^{\mathrm{RF}}$ is the Roller–Fioravanti compactification.

Equivalently, via the zero-completion or ultrafilter approach, $X$0 embeds into $X$1 by associating to each $X$2 the characteristic function of halfspaces containing $X$3. Under the compact-interval hypothesis, both constructions yield canonically isomorphic compact median algebras (Megrelishvili, 4 Jan 2026, Fioravanti, 2017).

2. Structural Properties and Theorems

The essential structural result, Theorem 4.10 in (Megrelishvili, 4 Jan 2026), states that if $X$4 is complete, locally convex, and of finite rank with compact intervals, and $X$5 acts continuously by median isometries, then the RF-compactification $X$6 is a jointly continuous $X$7-compactification. $X$8 is a compact median $X$9-space of the same finite rank, and the dynamical system $[x,y]$0 is Rosenthal-representable (i.e., dynamically tame).

Notable properties include:

• Existence and Continuity: $[x,y]$1 is a continuous injective median homomorphism into a compact median algebra.
• Rank Preservation: $[x,y]$2.
• Functoriality: Any median-preserving map between such median algebras with compact intervals extends uniquely to a map between their RF-compactifications, establishing a functor on the category.
• Tameness: Every compact median $[x,y]$3-algebra of finite rank is WRN (Rosenthal representable), ensuring tame dynamics.

3. Dual Descriptions: Halfspaces, Ultrafilters, and Zero-Completions

There are two dual pictures of the construction:

• Halfspaces and Ultrafilters: The set $[x,y]$4 of all halfspaces forms a poc-set. The classical Roller compactification is the closure of the indicator embedding $[x,y]$5, associating to each point its ultrafilter of halfspaces.
• Median-Preserving Maps: $[x,y]$6 embeds into $[x,y]$7 (where $[x,y]$8 denotes the set of continuous median-preserving maps) by evaluation; the RF-compactification arises as the closure of this embedding, which is equivalent to the interval-retraction description.

The zero-completion or inverse-limit viewpoint identifies the RF-compactification with $[x,y]$9, using canonical gate-projections between intervals (Megrelishvili, 4 Jan 2026, Fioravanti, 2017).

4. Tameness, Function Spaces, and Representability

For any compact median algebra $G$0 of finite rank, the family $G$1 of median-preserving maps separates points and has independence number equal to the rank of $G$2. Therefore, this is a tame function family, and by the WRN-criterion, it yields Rosenthal representability for any $G$3-action by median automorphisms (Megrelishvili, 4 Jan 2026). Furthermore, the space $G$4 of $G$5-bounded variation functions is Rosenthal compact, and pointwise closure is sequentially compact by a Helly-type selection principle.

The independence number/VC-dimension of the dual families (halfspaces or median-preserving maps) is finite if and only if the rank is finite, ensuring that these structural and dynamical compactness properties hold.

5. Extension of Group Actions

Given a median action by $G$6 on $G$7, each retraction $G$8 is $G$9-equivariant up to reindexing: $(x, y)$0 As a result, each $(x, y)$1 permutes the coordinates of the product space and extends to a homeomorphism of $(x, y)$2. In the Baire $(x, y)$3 case, the induced action is jointly continuous, making the compactification $(x, y)$4-equivariant and suitable for representation-theoretic applications (Megrelishvili, 4 Jan 2026).

6. Relationship to Special Cases and CAT(0) Cube Complexes

When $(x, y)$5 is of rank $(x, y)$6, i.e., a compact dendron or pretree, the RF-compactification coincides with the classical end-compactification, adding “ends” to render the space compact. For CAT(0) cube complexes (0-skeleta), the RF-compactification coincides with the classical Roller boundary, where the set of all ultrafilters on halfspaces recovers the boundary construction and the median structure extends coordinatewise (Fioravanti, 2017).

Boundary points in the RF-compactification correspond to ultrafilters not associated with points in $(x, y)$7, often involving infinite descending chains of halfspaces. Components of the boundary have strictly lower rank than $(x, y)$8 in the finite-rank case.

7. Universality, Applications, and Interplay with Dynamical Systems

The Roller–Fioravanti compactification is universal among compact median $(x, y)$9-algebra compactifications that are median-preserving and respect compact intervals. It faithfully preserves the rank and allows the tameness and Rosenthal representability of the resulting $$\phi_{x,y}\colon X \to [x,y], \quad \phi_{x,y}(z) = m(x,y,z),$$0-system. Dually, the compactification underlies Helly-type subsequence selection principles for median-preserving maps and sequential compactness for bounded-variation function spaces.

Applications include:

• Encoding the asymptotic boundary of finite-dimensional CAT(0) cube complexes as a tame dynamical system.
• Enabling structure theorems and boundary amenability for group actions in geometric group theory settings.
• Providing a functorial construction facilitating the interplay between algebraic rank, combinatorial independence, and low-complexity dynamics, often employing Rosenthal, Bourgain–Fremlin–Talagrand, and Helly selection-theoretic frameworks (Megrelishvili, 4 Jan 2026, Fioravanti, 2017).

The compactification thus forms a central object connecting finite-rank convex-median geometry with the modern theory of tame dynamical $$\phi_{x,y}\colon X \to [x,y], \quad \phi_{x,y}(z) = m(x,y,z),$$1-systems, supporting a rich structural and dynamical theory.