The absorption theorem for affable equivalence relations

TL;DR

This paper proves an absorption theorem showing that extending a minimal AF-equivalence relation on the Cantor set by a small modification on a thin set results in an orbit equivalent, affable relation, crucial for analyzing minimal Z^n-actions.

Contribution

It introduces a powerful absorption theorem that generalizes previous results, enabling the extension of AF-equivalence relations while preserving orbit equivalence.

Findings

Extended equivalence relations remain orbit equivalent to the original

The theorem applies even when the modification set is finite

It serves as a key tool for studying minimal Z^n-actions

Abstract

We prove a result about extension of a minimal AF-equivalence relation R on the Cantor set X, the extension being `small' in the sense that we modify R on a thin closed subset Y of X. We show that the resulting extended equivalence relation S is orbit equivalent to the original R, and so, in particular, S is affable. Even in the simplest case--when Y is a finite set--this result is highly non-trivial. The result itself--called the absorption theorem--is a powerful and crucial tool for the study of the orbit structure of minimal Z^n-actions on the Cantor set [GMPS]. The absorption theorem is a significant generalization of the main theorem proved in [GPS2]. However, we shall need a few key results from [GPS2] in order to prove the absorption theorem.