Baire measurable paradoxical decompositions via matchings

DOI10.1016/J.AIM.2015.11.034MaRDI QIDQ904022zbMATH OpenOpenAlexFDO

Authors Spencer Unger, Andrew S. Marks

Publication date 15 January 2016

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1501.01690

zbMATH Keywords

amenableBaire propertyperfect matchingBanach-Tarski paradoxparadoxical decompositionequidecomposability

Mathematics Subject Classification ID

Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) (05C70) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Transformation groups and semigroups (topological aspects) (54H15)

Abstract: We show that every locally finite bipartite Borel graph satisfying a strengthening of Hall's condition has a Borel perfect matching on some comeager invariant Borel set. We apply this to show that if a group acting by Borel automorphisms on a Polish space has a paradoxical decomposition, then it admits a paradoxical decomposition using pieces having the Baire property. This strengthens a theorem of Dougherty and Foreman who showed that there is a paradoxical decomposition of the unit ball in $mathbb{R}^3$ using Baire measurable pieces. We also obtain a Baire category solution to the dynamical von Neumann-Day problem: if $a$ is a nonamenable action of a group on a Polish space $X$ by Borel automorphisms, then there is a free Baire measurable action of $mathbb{F}_2$ on $X$ which is Lipschitz with respect to $a$.

Recommendations

• Banach-Tarski Decompositions Using Sets with the Property of Baire
• Banach-Tarski paradox using pieces with the property of Baire.
• Solutions to congruences using sets with the property of Baire
• The Banach-Tarski paradox
• scientific article; zbMATH DE number 3909046
• Borel actions of Polish groups
• Automatic continuity of group operations
• scientific article; zbMATH DE number 727413
• The Hahn-Banach theorem implies the Banach-Tarski paradox
• Hyperfiniteness and Borel combinatorics

Cites work

• scientific article; zbMATH DE number 3909046 (Why is no real title available?)
• scientific article; zbMATH DE number 3706692 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• A measurable-group-theoretic solution to von Neumann's problem
• Amenability and paradoxical decompositions for pseudogroups and for discrete metric spaces
• Amenability, bi-Lipschitz equivalence, and the von Neumann conjecture
• Baire Paradoxical Decompositions Need at Least Six Pieces
• Banach-Tarski Decompositions Using Sets with the Property of Baire
• Banach-Tarski paradox using pieces with the property of Baire.
• Borel chromatic numbers
• Closed Sets Without Measurable Matching
• Equidecomposability and discrepancy; a solution of Tarski's circle-squaring problem
• Graph theory
• Means for the Bounded Functions and Ergodicity of the Bounded Representations of Semi-Groups
• Measurable chromatic and independence numbers for ergodic graphs and group actions
• Perfect matchings as IID factors on non-amenable groups
• Topics in orbit equivalence

Cited in

(10)

• Measurable perfect matchings for acyclic locally countable Borel graphs
• Measurable Hall's theorem for actions of abelian groups
• On Baire measurable colorings of group actions
• One-ended spanning trees and definable combinatorics
• Computable paradoxical decompositions
• On Følner sets in topological groups
• Measurable equidecompositions for group actions with an expansion property
• Hyperfiniteness and Borel combinatorics
• About von Neumann's problem for locally compact groups
• MEASURABLE REALIZATIONS OF ABSTRACT SYSTEMS OF CONGRUENCES

This page was built for publication: Baire measurable paradoxical decompositions via matchings

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