English

Shift-preserving maps on $\omega^*$

General Topology 2016-05-05 v1

Abstract

The shift map σ\sigma on ω\omega^* is the continuous self-map of ω\omega^* induced by the function nn+1n \mapsto n+1 on ω\omega. Given a compact Hausdorff space XX and a continuous function f:XXf: X \rightarrow X, we say that (X,f)(X,f) is a quotient of (ω,σ)(\omega^*,\sigma) whenever there is a continuous surjection Q:ωXQ: \omega^* \to X such that Qσ=fQQ \circ \sigma = f \circ Q. Our main theorem states that if the weight of XX is at most 1\aleph_1, then (X,f)(X,f) is a quotient of (ω,σ)(\omega^*,\sigma) if and only if ff is weakly incompressible (which means that no nontrivial open UXU \subseteq X has f(Uˉ)Uf(\bar{U}) \subseteq U). Under CH, this gives a complete characterization of the quotients of (ω,σ)(\omega^*,\sigma) and implies, for example, that (ω,σ1)(\omega^*,\sigma^{-1}) is a quotient of (ω,σ)(\omega^*,\sigma). In the language of topological dynamics, our theorem states that a dynamical system of weight 1\aleph_1 is an abstract ω\omega-limit set if and only if it is weakly incompressible. We complement these results by proving (1)(1) our main theorem remains true when 1\aleph_1 is replaced by any κ<p\kappa < \mathfrak{p}, (2)(2) consistently, the theorem becomes false if we replace 1\aleph_1 by 2\aleph_2, and (3)(3) OCA+MA implies that (ω,σ1)(\omega^*,\sigma^{-1}) is not a quotient of (ω,σ)(\omega^*,\sigma).

Keywords

Cite

@article{arxiv.1605.01385,
  title  = {Shift-preserving maps on $\omega^*$},
  author = {Will Brian},
  journal= {arXiv preprint arXiv:1605.01385},
  year   = {2016}
}
R2 v1 2026-06-22T13:53:26.821Z