Source author record

Assaf Shani

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

2works

1topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

Anti-classification results for groups acting freely on the line

We explore countable ordered Archimedean groups from the point of view of descriptive set theory. We introduce the space of Archimedean left-orderings $\mathrm{Ar}(G)$ for a given countable group $G$ , and prove that the equivalence relation induced by the natural action of $\mathrm{GL}_2(\mathbb{Q})$ on $\mathrm{Ar}(\mathbb{Q}^2)$ is not concretely classifiable. Then we analyze the isomorphism relation for countable ordered Archimedean groups, and pin its complexity in terms of the hierarchy of Hjorth, Kechris and Louveau. In particular, we show that its potential class is not $\boldsymbolΠ^0_3$ . This topological constraint prevents classifying Archimedean groups using countable subsets of reals. We obtain analogous results for the bi-embeddability relation, and we consider similar problems for circularly ordered groups, and o-minimal structures such as ordered divisible Abelian groups, and real closed fields. Our proofs combine classical results on Archimedean groups, the theory of Borel equivalence relations, and analyzing definable sets in the basic Cohen model and other models of Zermelo-Fraenkel set theory without choice.

preprint2022arXiv

Strong ergodicity for the Gamma-jump operator and for actions of Polish wreath products

Let $Γ$ and $Δ$ be sufficiently distinct countable groups. We show that there is an orbit equivalence relation $E$ , induced by an action of the Polish wreath product group $Γ\wrΓ$ , so that $E$ is generically $F$ -ergodic for any orbit equivalence relation $F$ induced by an action of $Δ\wrΔ$ . More generally, we establish generic ergodicity between $Γ$ -jumps and the iterated $Δ$ -jumps, answering a question of Clemens and Coskey. The proofs follow a translation between Borel homomorphisms and definable pins.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.