Topological Characteristic Factors and Nilsystems
Eli Glasner,Wen Huang,Song Shao,Benjamin Weiss,Xiangdong Ye
DOI: https://doi.org/10.4171/jems/1379
2023-01-01
Journal of the European Mathematical Society
Abstract:We prove that the maximal infinite step pro-nilfactor X_∞ of a minimal dynamical system (X,T) is the topological characteristic factor in a certain sense. Namely, we show that by an almost one to one modification of π:X → X_∞, the induced open extension π^*:X^* → X^*_∞ has the following property: for x in a dense G_δ set of X^*, the orbit closure L_x=𝒪((x,x,…,x), T× T^2×…× T^d) is (π^*)^(d)-saturated, i.e. L_x=((π^*)^(d))^-1(π^*)^(d)(L_x). Using results derived from the above fact, we are able to answer several open questions: (1) if (X,T^k) is minimal for some k≥ 2, then for any d∈ℕ and any 0≤ j<k there is a sequence {n_i} of ℤ with n_i≡ j (mod k) such that T^n_ix→ x, T^2n_ix→ x, …, T^dn_ix→ x for x in a dense G_δ subset of X; (2) if (X,T) is totally minimal, then {T^n^2x:n∈ℤ} is dense in X for x in a dense G_δ subset of X; (3) for any d∈ℕ and any minimal system, which is an open extension of its maximal distal factor, RP^[d]= AP^[d], where the latter is the regionally proximal relation of order d along arithmetic progressions.