English

Trivial automorphisms

Logic 2012-11-16 v2

Abstract

We prove that the statement `For all Borel ideals I and J on ω\omega, every isomorphism between Boolean algebras P(ω)/IP(\omega)/I and P(ω)/JP(\omega)/J has a continuous representation' is relatively consistent with ZFC. In this model every isomorphism between P(ω)/IP(\omega)/I and any other quotient P(ω)/JP(\omega)/J over a Borel ideal is trivial for a number of Borel ideals I on ω\omega. We can also assure that the dominating number is equal to 1\aleph_1 and that 21>202^{\aleph_1}>2^{\aleph_0}. Therefore the Calkin algebra has outer automorphisms while all automorphisms of P(ω)/FinP(\omega)/Fin are trivial. Proofs rely on delicate analysis of names for reals in a countable support iteration of suslin proper forcings.

Keywords

Cite

@article{arxiv.1112.3571,
  title  = {Trivial automorphisms},
  author = {Ilijas Farah and Saharon Shelah},
  journal= {arXiv preprint arXiv:1112.3571},
  year   = {2012}
}

Comments

Thoroughly revised version

R2 v1 2026-06-21T19:52:03.634Z