English

Borel structurability on the 2-shift of a countable group

Dynamical Systems 2014-02-19 v1 Logic

Abstract

We show that for any infinite countable group GG and for any free Borel action GXG \curvearrowright X there exists an equivariant class-bijective Borel map from XX to the free part Free(2G)\mathrm{Free}(2^G) of the 22-shift G2GG \curvearrowright 2^G. This implies that any Borel structurability which holds for the equivalence relation generated by GFree(2G)G \curvearrowright \mathrm{Free}(2^G) must hold a fortiori for all equivalence relations coming from free Borel actions of GG. A related consequence is that the Borel chromatic number of Free(2G)\mathrm{Free}(2^G) is the maximum among Borel chromatic numbers of free actions of GG. This answers a question of Marks. Our construction is flexible and, using an appropriate notion of genericity, we are able to show that in fact the generic GG-equivariant map to 2G2^G lands in the free part. As a corollary we obtain that for every ϵ>0\epsilon > 0, every free pmp action of GG has a free factor which admits a 22-piece generating partition with Shannon entropy less than ϵ\epsilon. This generalizes a result of Danilenko and Park.

Keywords

Cite

@article{arxiv.1402.4184,
  title  = {Borel structurability on the 2-shift of a countable group},
  author = {Brandon Seward and Robin D. Tucker-Drob},
  journal= {arXiv preprint arXiv:1402.4184},
  year   = {2014}
}
R2 v1 2026-06-22T03:10:10.779Z