Actions of tame abelian product groups

DOI10.1142/S0219061322500283MaRDI QIDQ6132763OpenAlexFDO

Authors Shaun Allison, Assaf Shani

Publication date 14 July 2023

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

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)

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.

Cites work

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

Cited in

(2)

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

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)