Hyperfinite equivalence relation

In descriptive set theory and related areas of mathematics, a hyperfinite equivalence relation on a standard Borel space X is a Borel equivalence relation E with countable classes, that can, in a certain sense, be approximated by Borel equivalence relations that have finite classes.

Definitions

Definition 1. Let X be a standard Borel space, that is; it is a measurable space which arises by equipping a Polish space X with its σ-algebra of Borel subsets (and forgetting the topology). Let E be an equivalence relation on X. We will say that E is Borel if E is a Borel subset of the cartesian product of X with itself, when equipped with the product σ-algebra. We will say that E is finite (respectively, countable) if E has finite (respectively, countable) classes.

The above names might be misleading, since if X is an uncountable standard Borel space, the equivalence relation will be uncountable when considered as a set of ordered pairs from X.

Definition 2. Let E be a countable Borel equivalence relation on a standard Borel space X. We will say that E is hyperfinite if $E=\bigcup _{n\in \mathbb {N} }F_{n}$, where $F_{n}$ is an increasing sequence of finite Borel equivalence relations on X.

Intuitively, this means that there is a sequence finite equivalence relations on X, each finer then its predecessors, approximating E arbitrarily well.

Discussion

A major area of research in descriptive set theory is the classification of Borel equivalence relations, and in particular those which are countable. Among these, finite equivalence relations are considered to be the simplest (for instance, they admit Borel transversals). Therefore, it is natural to ask whether certain equivalence relations, which are not necessarily finite, can be approximated by finite equivalence relations. This turns out to be a notion which is both rich enough to encapsulate many natural equivalence relations appearing in mathematics, yet restrictive enough to allow deep theorems to develop.

It is also worthwhile to note that any countable equivalence relation can be written down as an increasing union of finite equivalence relations. This can be done, for instance, by taking a partition of every class into classes of size two, then joining two sets in the partition within the same class into an equivalence relation with classes of size four, and so forth. The key observation is that this process requires the axiom of choice in general, and therefore it is not clear that this process generates Borel approximations. Indeed, there are countable Borel equivalence relations that are not hyperfinite, and so in particular the process described above will fail to generate Borel equivalence relations approximating the larger equivalence relation.

Examples and non-examples

• Any finite Borel equivalence relation is hyperfinite. Indeed, it is a finite approximation of itself.
• A subequivalence relation of a hyperfinite equivalence relation is hyperfinite.
• If E is a countable equivalence relation and $E'\subset E$ is hyperfinite and of finite index (meaning that every E-class contains finitely many E'-classes), then E is hyperfinite.
• Any countable Borel equivalence relation that admits a Borel transversal is hyperfinite; this can be shown by a simple application of the Feldman-Moore theorem.
• Any Borel action of the integers on a standard Borel space generates a hyperfinite orbit equivalence relation (recall that a Borel action of a countable group G on a standard Borel space X is a Borel-measurable action $a:G\times X\rightarrow X$, where G is equipped with the σ-algebra of all its subsets). Moreover, it turns out that any hyperfinite equivalence relation is equal to the orbit equivalence relation generated by some Borel action of the integers , making this an equivalent definition to hyperfiniteness that is often more accessible.
• More generally, any Borel action of a countable abelian group on a standard Borel space induces a hyperfinite orbit equivalence relation .
• Any Borel action of a finitely-generated group with polynomial growth on a standard Borel space induces a hyperfinite orbit equivalence relation.
• The action of a finitely-generated hyperbolic group on its Gromov boundary is hyperfinite .
• Any countable Borel equivalence relation can be restricted to a comeagre set on which it is hyperfinite . Explicitly, this means that one can remove a collection of equivalence classes which is meagre, and get that the equivalence relation is hyperfinite on the remaining space.
• Any group which is not amenable admits a Borel action on a standard Borel space which induces an equivalence relation that is not hyperfinite.
• The action of the free group $F_{2}$ on two generators on the space <math>2^{F_{2}}<\math> by the shift maps is not hyperfinite. This fact is often considered to be a variant of the Banach-Tarski paradox.

Open problems

The above examples seem to indicate that Borel actions of "tame" countable groups induce hyperfinite equivalence relations. Weiss conjectured that any Borel action of a countable amenable group on a standard Borel space induces a hyperfinite orbit equivalence relation. While this is still an open problem, some partial results are known .

Another open problem in the area is whether a countable increasing union of hyperfinite equivalence relations is hyperfinite .

Measure-theoretic results

Under the assumption that the underlying space X is equipped with a Borel probability measure μ and that one is willing to remove sets of measure zero, the theory is much better understood. For instance, if the equivalence relation is generated by a Borel action of a countable amenable group, the resulting orbit equivalence relation is "μ-hyperfinite", meaning that it is hyperfinite on a subset of the space of full measure (it is worthwhile to note that the action need not be measure-preserving, or even quasi-measure preserving). Similarly, a countable increasing union of hyperfinite equivalence relations on such a space is μ-hyperfinite as well.

See also

• Hyperfinite type II factor

References

• Connes, Alain; Feldman, Joel; Weiss, Benjamin (1995), "An amenable equivalence relation is generated by a single transformation", Ergodic Theory and Dynamical Systems, 1 (4): 431–450, doi:10.1017/S014338570000136X
• Gao, Su; Jackson, Steve (2007), "Countable abelian groups and hyperfinite equivalence relations", Inventiones mathematicae, 201 (1), doi:10.1007/s00222-015-0603-y
• Conley, Clinton; Jackson, Steve; Marks, Andrew; Seward, Brandon; Tucker-Drob, Robin, Borel asymptotic dimension and hyperfinite equivalence relations, doi:10.48550/arXiv.2009.06721
• Dougherty, Randall; Jackson, Steve; Kechris, Alexander S. (1994), "The structure of hyperfinite Borel equivalence relations", Transactions of the American Mathematical Society, 341, doi:10.1090/S0002-9947-1994-1149121-0
• Kechris, Alexander S.; Miller, Benjamin D. (2004), Topics in orbit equivalence, Springer, doi:10.1007/b99421
• Marquis, Timothée; Sabok, Marcin (2020), "Hyperfiniteness of boundary actions of hyperbolic groups", Matematische Annalen, 377 (4), doi:10.1007/s00208-020-02001-9