New Jump Operators on Equivalence Relations

John D. Clemens, Samuel Coskey

Research output: Contribution to journalArticlepeer-review

Abstract

We introduce a new family of jump operators on Borel equivalence relations; specifically, for each countable group Γ we introduce the Γ-jump. We study the elementary properties of the Γ-jumps and compare them with other previously studied jump operators. One of our main results is to establish that for many groups Γ, the Γ-jump is proper in the sense that for any Borel equivalence relation E the Γ-jump of E is strictly higher than E in the Borel reducibility hierarchy. On the other hand, there are examples of groups Γ for which the Γ-jump is not proper. To establish properness, we produce an analysis of Borel equivalence relations induced by continuous actions of the automorphism group of what we denote the full Γ-tree, and relate these to iterates of the Γ-jump. We also produce several new examples of equivalence relations that arise from applying the Γ-jump to classically studied equivalence relations and derive generic ergodicity results related to these. We apply our results to show that the complexity of the isomorphism problem for countable scattered linear orders properly increases with the rank.

Original languageAmerican English
JournalMathematics Faculty Publications and Presentations
StatePublished - 1 Dec 2022

Keywords

  • Borel equivalence relations
  • jump operators
  • scattered linear orders

EGS Disciplines

  • Mathematics

Fingerprint

Dive into the research topics of 'New Jump Operators on Equivalence Relations'. Together they form a unique fingerprint.

Cite this