Actions of tame abelian product groups

DOI10.1142/S0219061322500283arXiv2105.05144OpenAlexW3160938664MaRDI QIDQ6132763FDOQ6132763

Authors: Shaun Allison, Assaf Shani 

Publication date: 14 July 2023

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Abstract: A Polish group $G$ is tame if for any continuous action of $G$, the corresponding orbit equivalence relation is Borel. When $G=pro{d}_{n}Gamm{a}_n$ for countable abelian $Gamm{a}_n$, Solecki (1995) gave a characterization for when $G$ is tame. Ding and Gao (2017) showed that for such $G$, the orbit equivalence relation must in fact be potentially $mathbf{Pi}_6^0$, while conjecturing that the optimal bound could be $mathbf{Pi}_3^0$. We show that the optimal bound is $D(mathbf{Pi}_5^0)$ by constructing an action of such a group $G$ which is not potentially $mathbf{Pi}_5^0$, and show how to modify the analysis of Ding and Gao to get this slightly better upper bound. It follows, using the results of Hjorth, Kechris, and Louvaeu (1998), that this is the optimal bound for the potential complexity of actions of tame abelian product groups. Our lower-bound analysis involves forcing over models of set theory where choice fails for sequences of finite sets.

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

zbMATH Keywords

axiom of choiceBorel reducibilityorbit equivalence relationssymmetric modelsabelian Polish groupspotential complexity

Mathematics Subject Classification ID

Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Model theory of denumerable and separable structures (03C15) Axiom of choice and related propositions (03E25) Applications of set theory (03E75) Other notions of set-theoretic definability (03E47)

Cites Work

• Title not available (Why is that?)
• Topics in orbit equivalence
• Invariant descriptive set theory
• Title not available (Why is that?)
• Set Theory
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• Set theory.
• Borel equivalence relations induced by actions of the symmetric group
• Polish Group Actions and the Vaught Conjecture
• Cohen and Set Theory
• Equivalence Relations Induced by Actions of Polish Groups
• Non-Archimedean abelian Polish groups and their actions
• Levy and set theory
• Title not available (Why is that?)
• Models of ZF with the same sets of sets of ordinals
• Borel reducibility and symmetric models
• New jump operators on equivalence relations

Cited In (2)

• Tame systems and scrambled pairs under an Abelian group action
• New jump operators on equivalence relations

This page was built for publication: Actions of tame abelian product groups

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