English

Does $\mathcal P(\omega) / \mathrm{fin}$ know its right hand from its left?

Logic 2026-01-14 v3 Dynamical Systems General Topology

Abstract

Let σ\sigma denote the shift automorphism on P(ω)/fin\mathcal{P}(\omega) / \mathrm{fin}, defined by setting σ([A])=[A+1]\sigma([A]) = [A+1] for all AωA \subseteq \omega. We show that the Continuum Hypothesis implies the shift automorphism σ\sigma and its inverse σ1\sigma^{-1} are conjugate in the automorphism group of P(ω)/fin\mathcal{P}(\omega) / \mathrm{fin}. Due to work of van Douwen and Shelah, it has been known since the 1980's that it is consistent with ZFC\mathsf{ZFC} that σ\sigma and σ1\sigma^{-1} are not conjugate. Our result shows that the question of whether σ\sigma and σ1\sigma^{-1} are conjugate is independent of ZFC\mathsf{ZFC}. As a corollary to the main theorem, we deduce that the structures P(ω)/fin,σ\langle \mathcal{P}(\omega) / \mathrm{fin},\sigma \rangle and P(ω)/fin,σ1\langle \mathcal{P}(\omega) / \mathrm{fin},\sigma^{-1} \rangle are elementarily equivalent in the language of algebraic dynamical systems (Boolean algebras together with an automorphism). This corollary does not depend on the Continuum Hypothesis.

Cite

@article{arxiv.2402.04358,
  title  = {Does $\mathcal P(\omega) / \mathrm{fin}$ know its right hand from its left?},
  author = {Will Brian},
  journal= {arXiv preprint arXiv:2402.04358},
  year   = {2026}
}
R2 v1 2026-06-28T14:40:42.707Z