Baire measurable paradoxical decompositions via matchings

DOI10.1016/J.AIM.2015.11.034zbMATH Open1335.54035arXiv1501.01690OpenAlexW1936911642MaRDI QIDQ904022FDOQ904022

Authors: Spencer Unger, Andrew S. Marks 

Publication date: 15 January 2016

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

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$.

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

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

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)

Cites Work

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

Cited In (10)

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

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)