Measurable realizations of abstract systems of congruences

DOI10.1017/FMS.2020.4arXiv1903.05135MaRDI QIDQ6315487FDOQ6315487

Authors: Clinton T. Conley, Andrew S. Marks, Spencer Unger 

Publication date: 12 March 2019

Abstract: An abstract system of congruences describes a way of partitioning a space into finitely many pieces satisfying certain congruence relations. Examples of abstract systems of congruences include paradoxical decompositions and $n$-divisibility of actions. We consider the general question of when there are realizations of abstract systems of congruences satisfying various measurability constraints. We completely characterize which abstract systems of congruences can be realized by nonmeager Baire measurable pieces of the sphere under the action of rotations on the $2$-sphere. This answers a question of Wagon. We also construct Borel realizations of abstract systems of congruences for the action of $mathsf{PSL}_2(mathbbZ)$ on $mathsf{P}^1(mathbbR)$. The combinatorial underpinnings of our proof are certain types of decomposition of Borel graphs into paths. We also use these decompositions to obtain some results about measurable unfriendly colorings.

Mathematics Subject Classification ID

Length, area, volume, other geometric measure theory (28A75) Algebraic ergodic theory, cocycles, orbit equivalence, ergodic equivalence relations (37A20) Descriptive set theory (03E15) Dissections and valuations (Hilbert's third problem, etc.) (52B45)

This page was built for publication: Measurable realizations of abstract systems of congruences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6315487)