One-ended spanning subforests and treeability of groups

Abstract

We show that several new classes of groups are measure strongly treeable. In particular, finitely generated groups admitting planar Cayley graphs, elementarily free groups, and the group of isometries of the hyperbolic plane and all its closed subgroups. This provides the first examples of one-ended nonamenable groups which are measure strongly treeable. In higher dimensions, we also prove a dichotomy that the fundamental group of a closed aspherical 3-manifold is either amenable or has strong ergodic dimension 2. Our main technical tool is a method for finding measurable treeings of Borel planar graphs by constructing one-ended spanning subforests in their planar dual. Our techniques for constructing one-ended spanning subforests also give a complete classification of the locally finite pmp graphs which admit Borel a.e. one-ended spanning subforests.

Theorems & Definitions (11)

• Theorem 1
• Theorem 2
• Theorem 3: Theorem \ref{['erg dim 3-dim mfld']}
• Theorem 4
• Theorem 5: Theorem \ref{['erg dim d-mfld']}
• Theorem 6: See Corollary \ref{['cor:subgroup']}
• Theorem 7: See Corollary \ref{['cor:subgroup']} and Remark \ref{['rem:lcsccost']}
• Theorem 8: Theorem \ref{['thm:pmp']}
• Theorem 9: Theorem \ref{['thm:1percent']}
• Theorem 10: See Corollary \ref{['cor:planarforest']}