Skip to main content
4 of 4
changed back the notation. I don't want to use omega^star even if it is used by some authors. I think it's a poor notation.
YCor
  • 63.9k
  • 5
  • 187
  • 286

Self-homeomorphism of Stone-Čech boundary with an isolated fixed point

$\DeclareMathOperator\bso{\beta^*\!\omega}\DeclareMathOperator\Homeo{Homeo}$Let $\bso$ be the complement of the countable discrete space $\omega$ in its Stone-Čech compactification $\beta\omega$ (some authors denote it $\omega^*$).

Question. Assume ZFC+CH. Does there exist a self-homeomorphism of $\bso$ with an isolated fixed point (i.e., a fixed point that is not a limit of other fixed points)?

Bonus question: if yes: it it true that for every $x\in\bso$ there exist a self-homeomorphism of $\bso$ with $x$ an isolated fixed point?

Other bonus question: what about asking the self-homeomorphism to have order 2?


Contextual remarks:

  1. Say that a self-homeomorphism of $\bso$ is smooth if it is induced by a bijection between two subsets of $\omega$ with finite complement. If $f\in\Homeo(\bso)$ is smooth then the set of fixed points of $f$ is clopen, hence has no isolated point.

  2. Shelah in the early 1980s showed the existence of models of ZFC in which every self-homeomorphism of $\bso$ is smooth (and in particular in which $\#(\Homeo(\bso))=\mathfrak{c}$). Hence in such models the above question has a negative answer.

  3. Rudin proved in the 1950s that under ZFC+CH, $\#(\Homeo(\bso))=2^\mathfrak{c}$ and its action on $\bso$ is not transitive.

  4. If there's a self-homeomorphism with an isolated fixed point $x$, it is easy to modify it to get another one with unique fixed point $x$.

YCor
  • 63.9k
  • 5
  • 187
  • 286