Arxiv:2002.10963V1 [Math.DS] 25 Feb 2020 Hsrsac Sspotdb Nfo Hn 1915,11571 (11971455, China of NNSF by Supported Is Research This Phrases

Home , X2 (record label)

arXiv:2002.10963v1 [math.DS] 25 Feb 2020 hsrsac sspotdb NFo hn 1915,11571 (11971455, China of NNSF by supported is research This phrases. and words Key ..Srcueo iia systems 2010 minimal of Structure PI-extensions and 3.6. extension PI-systems distal for theorem 3.5. structure Furstenberg’s group 3.4. actions Ellis minimal universal about facts 3.3. Some semigroups 3.2. dynamics Enveloping topological abstract about facts 3.1. Basic extensions fundamental 3. relations Some proximal regionally and distal 2.4. Proximal, extensions and 2.3. Factors systems dynamical 2.2. Topological 2.1. Preliminaries paper the of 2. Organization 1.4. progressions arithmetic along pair 1.3. Independent progression arithmetic along factors 1.2. Characteristic 1.1. .Introduction 1. OOOIA HRCEITCFCOSADINDEPENDENCE AND FACTORS CHARACTERISTIC TOPOLOGICAL ahmtc ujc Classification. Subject Mathematics ( is hsppr egnrlz lse’ oki [ in work Glasner’s generalize we paper, this huhframnmlsystem minimal a for though iia ytm n ieisrltv eso.T rv thes prove To version. relative its with give and systems minimal for that order shown of is factor it distal example, largest For its systems. minimal for factor set a aeP-oe for PI-tower have can ( ytmhsn otiilidpnetpi ln arithmetic along pair independent exampl nontrivial For no developed. has results system the of applications some give pt aoial endpoia xeso,i sP ford of PI is it extension, proximal defined canonically a to up ∆ A Y X ∆ tastv eso order of sets -transitive BSTRACT , π , T -transitivity X T × ) 0 ( ) X ... ssi ob a be to said is of a nontrivial a has , T × X m Let . ) π uhta o each for that such for ( d LN RTMTCPROGRESSIONS ARITHMETIC ALONG m ie)strtd n[ In saturated. times) π einlypoia eain iia flow. minimal relation; proximal regionally : ∈ ( X N ( d X , se oooia hrceitcfco fteeeit d a exists there if factor characteristic topological -step d ewl td h tutr hoe of theorem structure the study will We . T AGHUCIADSN SHAO SONG AND CAI FANGZHOU , d se oooia hrceitcfco,te hr exist there then factor, characteristic topological -step T ) . m → ) ( X n nfc tlostesm steP oe of tower PI the as same the looks it fact in and ( x Y , T d , ∈ T ) − X ) and rmr:3B5 54H20. 37B05; Primary: 0 sits is 1 eafco a ftplgcldnmc and dynamics topological of map factor a be C 11 h ri closure orbit the ONTENTS m lse tde h oooia characteristic topological the studied Glasner ] ∈ 1 N d 11 se oooia hrceitcfco.In factor. characteristic topological -step , ( otepoutsse ffiieymany finitely of system product the to ] X , T m ) O a o emnml u estill we but minimal, be not may (( 335). rgesoso order of progressions ,w hwta faminimal a if that show we e, x .., ,... s eut,w edt deal to need we results, e er s itlmnmlsystem, minimal distal a ( d x X famnmlsystem minimal a if ; ) , , T T m × ) eso that show We . T 2 × ( X ... ense , “many” T d d × ) then , We . ∈ T G N d δ ) . 11 11 11 10 9 9 9 8 8 7 7 6 6 5 4 2 2 2 FANGZHOUCAIANDSONGSHAO

3.7. PI tower of order n 13 3.8. Largest distal factor of order n 14 4. Decomposition of not totaly minimal systems 14 5. Structure theorems of minimal but not totally minimal systems 17 5.1. Furstenberg-Zimmer structure theorem 17 5.2. PI-towers for T m 18 6. A generalization of Glasner’s theorem 22 6.1. Statement of the results 22 6.2. Proof of Theorem 6.1 23 7. Independent pair along arithmetic progressions 29 7.1. Regionally proximal pair along arithmetic progressions 29 7.2. Independence 29 7.3. A minimal system without nontrivial Indap-pairs 30 7.4. A minimal system without nontrivial Indap-pair of order d 32 8. ∆-transitivity 34 8.1. ∆-transitivity 34 8.2. ∆-transitive sets 38 References 39

1. INTRODUCTION This paper is motivated by the work of Glasner on topological characteristic factors along arithmetic progressions [11], which is the topological counterpart of Furstenberg’s work on ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions [7]. In this paper we will give a generalized version of Glasner’s work, and give some applications of the results we developed. 1.1. Characteristic factors along arithmetic progressions. As said in [11], one of the basic problems in both the measure theoretical and the topological theory is roughly the following: given a system (X,T) (ergodic or minimal) and d ∈ N, describe the most general relation that holds for (d +1)-tuples (x,Tx,T 2x,...,T dx) in the product space X × X × ... × X (d + 1 times). To illustrate this, let us see Fursten- berg’s work in [7]. The multiple recurrence theorem says that for a measure preserving system (X,X , µ,T ), d ∈ N and A ∈ X with positive measure, there is some n ∈ N such that µ(A ∩ T −nA ∩ T −2nA ∩ ...∩ T −dnA) > 0. To prove the multiple recurrence theorem, which is equivalent to the famous theorem of Szemerédi [28], Furstenberg introduced the following measure (called Furstenberg joining) [7]: N (d) 1 n d (1.1) µ = lim (τd)∗µ∆, N→∞ ∑ N n=1 TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 3 N 2 d d d where d ∈ , τd = T × T × ... × T and µ∆ is the diagonal measure on X defined by d f1(x1) f2(x2)... fd(xd)dµ∆ = f1(x) f2(x)... fd(x)dµ, ZXd ZX (d) for all continuous functions f1,..., fd. In [7], it was shown that µ is a conditional d product measure in X relative to (Yd−1(X), µd−1), where {(Yn(X), µn)}n is the distal sequence of (X,X , µ,T ). That is,

(d) (d) (1.2) µ = µy × µy × ... × µy dµ (y1,y2,...,yd), Z d 1 2 d d−1 Yd−1 (d) where µ = µy dµd−1(y) is the disintegration of µ with respect to µd−1, and µd−1 is defined as (1.1R ) on Yd−1. This leads to the notion of “characteristic factors”, which was first explicitly defined by Furstenberg and Weiss in [9]. Let (X,X , µ,T ) be a measurable system and (Y,Y , µ,T ) be a factor of X. Let d ∈ N. We say that Y is a characteristic factor for τd of X if for all ∞ f1,..., fd ∈ L (X,X , µ), N−1 1 n 2n dn ∑ f1(T x) f2(T x)... fd(T x) N n=0 N−1 1 E Y n E Y 2n E Y dn − ∑ ( f1| )(T x) ( f2| )(T x)... ( fd| )(T x) → 0,N → ∞ N n=0 2 in L (X,X , µ). Thus (1.2) is equivalent to say that Yd−1 is a characteristic factor for τd of X. This enables us to give a reduction of the problem on the multiple recurrence to its distal factors. Recently, Host and Kra [17] showed that for an ergodic system (X,X , µ,T ), (d − 1)- step pro-nilsystem is a characteristic factor for τd, and using this result they proved that N−1 1 n 2n dn 2 lim f1(T x) f2(T x)... fd(T x) exists in L (X,X , µ) (see also [33]). N→∞ ∑ N n=0 The counterpart of characteristic factors in topological dynamics was first studied by Glasner in [11]. To state the result we need a notion called saturated subset. Let X,Y be a set and let π : X → Y be a map. A subset L of X is called π-saturated if {x ∈ L : π−1(π(x)) ⊆ L} = L, i.e. L = π−1(π(L)). The following is the definition of topological characteristic factors along arithmetic progressions given by Glasner [11]. Let π : (X,T) → (Y,T ) be a factor map of topological systems and d ∈ N. (Y,T ) is said to be a d-step topological characteristic factor (along arithmetic progressions) or topological characteristic factor of order d if there exists a dense Gδ set X0 of X such that for each x ∈ X0 the orbit closure

Lx = O((x,...,x),τd) d times | {z } 4 FANGZHOUCAIANDSONGSHAO

′ ′ ′ is π × ... × π saturated. That is, (x1,x2,...,xd) ∈ Lx if and only if (x1,x2,...,xd) ∈ Lx d times ′ whenever| {z for} all i ∈{1,2,...,d}, π(xi) = π(xi). The main result of [11] is that up to canonically defined proximal extensions, a char- 2 d acteristic family for τd = T × T × ... × T is the family of canonical PI flows of order d − 1. In particular, if (X,T) is a distal minimal system, then its largest distal factor of order d − 1 is its topological characteristic factor of order d; if (X,T) is a weakly mixing system, then the trivial system is its d-step topological characteristic factor for all d ∈ N. In [2] the authors study the topological characteristic factors along cubes. It is shown that up to proximal extensions the pro-nilfactors are the topological characteristic factors along cubes of minimal systems. In particular, for a distal minimal system, the maximal (d − 1)-step pro-nilfactor is a topological characteristic factor along cubes of order d. Since in ergodic theory Host and Kra showed that (d − 1)-step pro-nilsystem is a characteristic factor for τd, it is natural to conjecture that if (X,T) is a distal minimal system, then its maximal (d − 1)-step pro-nilfactor is its d-step topological characteristic factor along arithmetic progressions. Unlike the work in [2], it is more difficult to handle topological characteristic factor along arithmetic progressions than topological characteristic factor along cubes. In this paper, we are unable to solve this question. Our aim here is to generalize Glasner’s results and give some applications. 2 d To investigate the dynamical systems under the action τd = T ×T ×...×T , we have to deal with (X,T m) for m ∈ N. Observe that for a minimal system (X,T), (X,T m) need not be minimal in general. In any case (X,T m) will have at most m minimal components and we have to work with each of them separately. Keeping track of these components is a technical complication, and hence to simplify the discussion in [11] the author assume that (X,T) is totally minimal (i.e. (X,T m) is minimal for all m ∈ N) in all proofs involved. In this paper, we will not assume that (X,T) is totally minimal, and hence we have to deal with (X,T m) for m ∈ N. We will study the structure theorem of (X,T m). We show that though for a minimal t.d.s. (X,T) and m ∈ N, (X,T m) may not be minimal, but we still can have PI-tower for (X,T m) and in fact it looks the same as the PI tower of (X,T) (see Theorem 5.6). This part is also of independent interest. The main result of [11] says that for a minimal system (X,T), up to canonically 2 d defined proximal extensions, a characteristic family for τd = T × T × ... × T is the family of canonical PI flows of order d − 1. We will show this result still holds if (X,T)=(X1 × X2 × ... × Xk,T1 × T2 × ... × Tk), where k ∈ N and (X1,T1),...,(Xk,Tk) are minimal systems (see Theorem 6.1). Note that in this case (X,T) is not minimal in general, but it remains lots of good properties of minimal systems. When k = 1, it is the case in [11]. And we will also give the relative version of this result. 1.2. Independent pair along arithmetic progressions. One application of our results is to study independence pairs along arithmetic progressions in topological systems. The notion of independence was first introduced in [22]. It corresponds to a modification of the notion of interpolator studied in [15, 21, 18] and was discussed in depth in [19]. Let (X,T) be a topological dynamical system and A =(A1,...,Ak) be a tuple of subsets of X. We say that a subset F ⊆ Z is an independence set for A if for any non-empty TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 5

J − j finite subset J ⊆ F and any s =(s( j) : j ∈ J) ∈{1,...,k} we have j∈J T As( j) 6= /0. The notion of independence is very useful in the study of dynamical systems.T For example, it is shown that (X,T) has positive entropy if and only if there are two disjoint closed sets U1,U2 such that (U1,U2) has an independence set of positive density; (X,T) has positive sequence entropy if and only if there are two disjoint closed sets U1,U2 such that (U1,U2) has arbitrarily large finite independence sets. In [3], pairs with arbitrarily long finite IP-independence sets are systematically inves- tigated. For a finite subset {p1,..., pm} of N, the finite IP-set generated by {p1,..., pm} is the set {ε1 p1 + ... + εm pm : εi ∈{0,1},1 ≤ i ≤ m}\{0}. Let (X,T) be a topological 2 system, a pair (x,y) in X is an Ind f ip-pair if and only if each A =(A1,A2), with A1 and A2 neighborhoods of x and y respectively, has arbitrarily long finite IP-independence sets. In [3], it is proved that any minimal system without nontrivial Ind f ip-pairs is an almost one to one extension of its maximal ∞-step nilfactor, and each invariant ergodic measure is measure theoretical isomorphic to the Haar measure on some ∞-step nilsystem. In particular, a minimal distal system is an ∞-step nilsystem if and only if it has no nontrivial Ind f ip-pairs. Similarly, pairs with arithmetic progressions independence sets are studied in [14] re- 2 cently. A pair (x,y) in X is an Indap-pair if and only if each A =(A1,A2), with A1 and A2 neighborhoods of x and y respectively, has arbitrarily long arithmetic progressions independence sets. But Indap-pairs are more difficult to handle than Ind f ip-pairs. In [14], it is shown that if a minimal system has no nontrivial Indap-pairs, then for each ergodic Borel measure µ, (X, µ,T) is measure theoretical isomorphic to the Haar measure on some ∞-step nilsystem. Unlike in [3], we do not know whether a minimal system without nontrivial Indap-pairs is an almost one to one extension of its maximal ∞-step nilfactor. Or for a distal minimal system, if it has no nontrivial Indap-pairs, is it an ∞-step nilsystem? In this paper we try to investigate this question. We could not give the full answer to questions above. But with the help of results developed in the paper, we have some progress. We show that if a minimal system has no nontrivial Indap-pairs, then it is a PI-system; and if a minimal system has no nontrivial independent pairs along arithmetic progressions of order d, then up to canonically defined proximal extensions, it is equal to it’s canonical PI flow of order d. In particular, for a distal minimal system, if it has no nontrivial independent pairs along arithmetic progressions of order d, then it is equal to its largest distal factor of order d. 1.3. ∆-transitivity. By Glasner’s result in [11], for a minimal weakly mixing system (X,T), the trivial system is its d-step topological characteristic factor for each d ≥ 2, i.e. there is a dense d Gδ set X0 ⊆ X such that for all x ∈ X0, (x,x,...,x) ∈ X has a dense orbit under the action T × T 2 × ...× T d. Inspired by this result, one can define a system (X,T) (not necessarily minimal) is ∆-transitive if for every d ≥ 2 there is a dense Gδ set X0 ⊆ X such that for d 2 d all x ∈ X0, (x,x,...,x) ∈ X has a dense orbit under the action T × T × ... × T . It was shown that ∆-transitivity implies weak mixing, but there exist strongly mixing systems which are not ∆-transitive [26]. 6 FANGZHOUCAIANDSONGSHAO

It is easy to see that a t.d.s. (X,T) is ∆-transitive if and only if for every d ≥ 2 and non-empty open subsets U0,U1,...,Ud of X, N(U0,U1,...,Ud) 6= /0, where d −in N(U0,U1,...,Ud) = {n ∈ N : T Ui 6= /0}. i\=0 The local version of ∆-transitivity was studied in [20]. A closed subset A of X is said to be a ∆-transitive set if for every d ≥ 2 and non-empty open subsets U0,U1,...,Ud of X intersecting A, N(U0 ∩ A,U1,...,Ud) 6= /0. The property of ∆-transitive sets has been systematically studied, and refer to [20, 23, 26] etc. for details. Similarly, for d ≥ 2, we say a t.d.s (X,T) is ∆-transitive of order d if any non-empty open subsets U0,U1,...,Ud of X, N(U0,U1,...,Ud) 6= /0. A closed subset A of X is a ∆- transitive set of order d if any non-empty open subsets U0,U1,...,Ud of X intersecting A, N(U0 ∩ A,U1,...,Ud) 6= /0.

In this paper, we show that using the notion of Indap-pairs, we can characterize ∆- transitivity: (X,T) is ∆-transitive if and only if each pair in X × X is an Indap-pair. We also show that if (X,T) has a nontrivial d-step topological characteristic factor, then there exist “many” ∆-transitive sets of order d. To be precise, we show that for a nontrivial factor map π : (X,T) → (Y,T ) of minimal topological dynamical systems and d ≥ 2, if (Y,T ) is a d-step topological characteristic factor of (X,T), then there exists a dense −1 Gδ subset Ω of X such that for any x ∈ Ω,π (π(x)) is a ∆-transitive set of order d in (X,T). Thus if π : (X,T) → (Y,T ) is a nontrivial RIC weakly mixing extension of minimal topological dynamical systems, then there exists a dense Gδ subset Ω of X such that for any x ∈ Ω,π−1(π(x)) is a ∆-transitive set in (X,T). Also for a distal minimal t.d.s. (X,T) and d ∈ N, if the order of (X,T) is greater than d, there exists a dense Gδ subset Ω of X such that for any x ∈ Ω,π−1(π(x)) is a ∆-transitive set of order d + 1 in (X,T). 1.4. Organization of the paper. We organize the paper as follows. In Section 2, we give some basic notions in topological dynamics. Since our proofs rely heavily on the structure theorem of minimal systems, we give some basic facts on abstract topological dynamics in Section 3. Since for a minimal system (X,T) and m ≥ 2, the system (X,T m) may not be minimal, we need to take care of this very carefully as we are studying the transformation T × T 2 × ... × T d. Thus in Section 4, we study the decomposition of T m and in Section 5, we give the PI-tower for T m. After that we present our generalization of Glasner’s theorem in Section 6. In the next two sections we give applications of our results. Acknowledgments: We would like to thank Wen Huang, Hanfeng Li, Xiangdong Ye and Tao Yu for their very useful comments.

2. PRELIMINARIES In this section we introduce some basic notions in topological dynamics. In this paper, we will consider not only a single transformation T , but also commuting transformations T1, ... , Tk of X. We only give some basic deﬁnitions and properties for one transformation, and extensions to the general case are straightforward. TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 7

Integers and natural numbers are denoted by Z and N respectively. 2.1. Topological dynamical systems. By a topological dynamical system (t.d.s. or system for short) we mean a pair (X,T) where X is a compact metric space (with metric ρ) and T : X → X is a homeomorphism. For n ≥ 2 we write (X n,T (n)) for the n-fold product system (X × ... × X,T × ... × T ). The diagonal of X n is n ∆n(X) = {(x,...,x) ∈ X : x ∈ X}. When n = 2 we write ∆(X) = ∆2(X). Let x ∈ X. The orbit of x ∈ X is given by O(x,T) = {T nx : n ∈ Z}. For convenience, sometimes we denote the orbit closure of x ∈ X under T by O(x,T ) or O(x), instead of O(x,T ). Let A ⊆ X, the orbit of A is given by O(A,T) = {T nx : x ∈ A,n ∈ Z}, and O(A,T ) = O(A,T). A subset A ⊆ X is called invariant if TA = A. When Y ⊆ X is a closed and T -invariant subset of the system (X,T) we say that the system (Y,T |Y ) is a subsystem of (X,T). Usually we will omit the subscript, and denote (Y,T |Y ) by (Y,T ). It is obvious that for any A ⊆ X, (O(A,T),T ) is a subsystem. A t.d.s. (X,T) is transitive if for any two non-empty open sets U and V there is n ∈ Z such that U ∩T −nV 6= /0. A t.d.s. (X,T) is point transitive if there is some point x ∈ X with X = O(x,T ). Such a point is called a transitive point of (X,T). Under our assumptions on (X,T), a t.d.s. is transitive if and only if it is point transitive, and in this case the set of transitive points forms a dense Gδ set of X. A t.d.s. (X,T) is weakly mixing if the product system (X × X,T × T ) is transitive. A topological dynamical system (X,T) is minimal if O(x,T) is dense in X for every x ∈ X. (X,T) is totally minimal if for every n ≥ 1, the system (X,T n) is minimal. A point x ∈ X is minimal or almost periodic if the subsystem (O(x,T ),T) is minimal. Let (X,T) and (Y,S) be two minimal t.d.s. and let (x,y) be a minimal point in the product system (X ×Y,T × S). We denote the minimal system O((x,y),T × S) by (X,x,T) ∨ (Y,y,S). If x,y are ﬁxed and there is no room for confusion, we sometimes write (X,T) ∨ (Y,S) or X ∨Y for short. 2.2. Factors and extensions. Let (X,T) and (Y,S) be t.d.s. A factor map or homomorphism π : (X,T) → (Y,S) is a continuous onto map which intertwines the actions (i.e. π ◦ T = S ◦ π): T X −−−→ Y

π π    S  Yy −−−→ Yy. We say that (Y,S) is a factor of (X,T) and that (X,T) is an extension of (Y,S). In this paper, we often use the same symbol for the transformations in both extension and factor, i.e. we use (Y,T ) instead of (Y,S). Let (X,T) be a t.d.s. and let R be a closed invariant equivalence relation on X. The quotient space deﬁned by Y = X/R is a compact metric space and if we endow it with the 8 FANGZHOUCAIANDSONGSHAO

action induced by T , we get a t.d.s. (Y,T ). By deﬁnition, the quotient map π from X to Y deﬁnes a factor map. On the other hand, let π : (X,T) → (Y,T ) be a factor map. Then

Rπ = {(x1,x2) : π(x1) = π(x2)} is a closed invariant equivalence relation, and Y = X/Rπ. For n ≥ 2, we write n Rπ = {(x1,x2,...,xn) : π(x1) = π(x2) = ··· = π(xn)}. It is clear that n −1 n Rπ = (π (y)) . y[∈Y 2.3. Proximal, distal and regionally proximal relations. Let (X,T) be a t.d.s. Let (x,y) ∈ X × X. A pair (x,y) is a proximal pair if inf ρ(T nx,T ny) = 0; n∈Z it is a distal pair if it is not proximal. Denote by P(X,T) the set of proximal pairs of (X,T). A t.d.s. (X,T) is equicontinuous if for every ε > 0, there exists δ > 0 such that ρ(x,y) < δ implies ρ(T nx,T ny) < ε for every n ∈ Z. A t.d.s. (X,T) is distal if P(X,T) = ∆(X). Let (X,T) be a t.d.s. The regionally proximal relation Q(X,T) is deﬁned as: (x,y) ∈ Q(X,T) if there are sequences {xi}i∈N,{yi}i∈N ⊆ X,{ni}i∈N ⊆ Z and some z ∈ X such n that (xi,yi) → (x,y) and (T × T ) i (xi,yi) → (z,z), i → ∞. It is well known that for a minimal system (X,T), Q(X,T) is an invariant closed equivalence relation and this relation deﬁnes the maximal equicontinuous factor Xeq = X/Q(X,T) of (X,T). A t.d.s. (X,T) is equicontinuous if and only if Q(X,T) = ∆(X). 2.4. Some fundamental extensions. Let (X,T) and (Y,T ) be topological dynamical systems and let π : X → Y be a factor map. One says that π is an open extension if it is open as a map. π is proximal if π(x1) = π(x2) implies (x1,x2) ∈ P(X,T), and π is distal if π(x1) = π(x2) and x1 6= x2 implies (x1,x2) 6∈ P(X,T). π is an equicontinuous or isometric extension if for any ε > 0 n n there exists δ > 0 such that π(x1) = π(x2) and ρ(x1,x2) < δ imply ρ(T (x1),T (x2)) < ε for any n ∈ Z.

A factor map π is called a weakly mixing extension if (Rπ ,T ×T ) as a subsystem of the product system (X × X,T × T ) is transitive. Let π : (X,T) → (Y,T ) be a factor map. Call

Pπ (X,T) = P(X,T) ∩ Rπ the proximal relation relative to π. We deﬁne the relative regionally proximal relation Qπ (X,T) as follows: (x,y) ∈ Qπ (X,T) if and only if there are sequences {xi}i∈N,{yi}i∈N ⊆ ni X,{ni}i∈N ⊆ Z and some z ∈ X such that (xi,yi) ∈ Rπ, (xi,yi) → (x,y),and (T ×T ) (xi,yi) → (z,z), i → ∞. A factor map π is proximal if and only if Pπ(X,T) = ∆(X), and π is equicontinuous if and only if Qπ (X,T) = ∆(X) (see [1, Chapter 7, Propositoin 2] for example). TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 9

3. BASICFACTSABOUTABSTRACTTOPOLOGICALDYNAMICS In this section we recall some basic definitions and results in abstract topological systems. For more details, see [1, 4, 10, 12, 30, 31]. 3.1. Enveloping semigroups. Given a t.d.s. (X,T) its enveloping semigroup or Ellis semigroup E(X,T) is defined as the closure of the set {T n : n ∈ Z} in X X (with its compact, usually non-metrizable, pointwise convergence topology). For an enveloping semigroup, E → E : p 7→ pq and p 7→ Tp is continuous for all q ∈ E. Let T : X X → X X be defined as f 7→ f ◦ T . Then (X X ,T) is a t.d.s. and E(X,T) is its subsystem. Let (X,T),(Y,T ) be t.d.s. and π : X → Y be a factor map. Then there is a unique continuous semigroup homomorphism π∗ : E(X,T) → E(Y,T ) such that π(px) = π∗(p)π(x) for all x ∈ X, p ∈ E(X,T). When there is no confusion, we usually regard the enveloping semigroup of X as acting on Y : pπ(x) = π(px) for x ∈ X and p ∈ E(X,T). For a semigroup the element u with u2 = u is called an idempotent. Ellis-Namakura Theorem says that for a compact Hausdorff space F with a semigroup structure for which right multiplication is continuous, the set J(F) of idempotents of F is not empty (see [1, Chapter 6, Lemma 6]). A non-empty subset I ⊆ E is a left ideal if EI ⊆ I. A minimal left ideal is a left ideal that does not contain any proper left ideal of E. By Ellis-Namakura Theorem, all minimal left ideals in E(X,T) contain idempotents.

3.2. Some facts about universal minimal actions. Let βZ be the Stone-Cˇech compactiﬁcation of Z, which is a compact Hausdorff topological space where Z is densely and equivariantly embedded. Moreover, the addition on Z can be extended to an addition on βZ in such a way that βZ is a closed semigroup with continuous right translations. The action of Z on βZ is point transitive. Let (M,Z) be a minimal left ideal in βZ. Then M is a closed semigroup with continuous right translations. By the Ellis-Namakura Theorem the set J = J(M) of idempotents in M is non-empty. Moreover, {vM : v ∈ J} is a partition of M and every vM is a group with unit element v. Let (X,T) be a t.d.s. and then Z acts on the compact metric space X as follows: for any m ∈ Z and x ∈ X one has mx = T mx. Then the sets βZ and M also act on X as semigroups and βZx = {px : p ∈ βZ} = O(x,T ). If (X,T) is minimal, then Mx = O(x,T ) = X for every x ∈ X. For x ∈ X deﬁne

Jx = {v ∈ J : vx = x}.

It holds that x is minimal if and only if Jx is not empty. That is, a necessary and sufﬁcient condition for x to be minimal is that ux = x for some u ∈ J. Observe that for any invariant closed subset A of X, JA is the collection of minimal points in A. Let 2X be the collection of non-empty closed subsets of X endowed with the Hausdorff topology. A basis for this topology on 2X is given by n X hU1,...,Uni = {A ∈ 2 : A ⊆ Ui and A ∩Ui 6= /0for every i ∈{1,...,n}}, i[=1 10 FANGZHOUCAIANDSONGSHAO

X where each Ui ⊆ X is open. The action of Z on 2 is given by mA = {ma : a ∈ A} = {T ma : a ∈ A} for each m ∈ Z and A ∈ 2X . This action induces another one of βZ on 2X . To avoid ambiguities one denotes the action of βZ on 2X by the circle operation Z X as follows: let p ∈ β and A ∈ 2 , and deﬁne p ◦ A = lim mλ A for any net {mλ }λ∈Λ λ converging to p. Moreover

p ◦ A = {x ∈ X : for each λ ∈ Λ there is dλ ∈ A with x = limmλ dλ } λ

for any fixed net {mλ }λ∈Λ converging to p. Observe that pA ⊆ p ◦ A, where pA = {pa : a ∈ A}. The following is a well known fact about open mappings (see [31, Appendix A.8] for example). Theorem 3.1. Let π : (X,T) → (Y,T ) be a factor map of t.d.s. Then the map π−1 : Y → 2X ,y 7→ π−1(y) is continuous if and only if π is open. 3.3. Ellis group. The group of automorphisms of (M,T ), G = Aut(M,T) can be identified with any one of the groups uM (u ∈ J) as follows: with α ∈ uM we associate the automorphism αˆ : (M,T) → (M,T ) given by right multiplication αˆ (p) = pα, p ∈ M. The group G plays a central role in the algebraic theory of minimal systems. It carries a natural T1 compact topology, called by Ellis the τ-topology, which is weaker than the relative topology induced on G = uM as a subset of M. It is convenient to fix an idempotent u ∈ M. As explained above we identify G with uM and for any subset A ⊆ G, τ-topology is determined by

clτ A = u(u ◦ A) = G ∩ (u ◦ A).

For a point x0 ∈ uX = {x ∈ X : ux = x} we associate a τ-closed subgroup

G (X,x0) = {α ∈ G : αx0 = x0}, which is called the Ellis group of the pointed system (X,x0). For a homomorphism π : X → Y with π(x0) = y0 we have

G (X,x0) ⊆ G (Y,y0). −1 It is easy to see that uπ (y0) = G (Y,y0)x0. Ellis group can be used to characterize proximal extension (see [1, Theorem 10.1] for example): Theorem 3.2. Let π : (X,T) → (Y,T ) be a factor map of minimal systems. Let u ∈ J(M) and x ∈ uX, y = π(x) ∈ uY. Then π is a proximal extension if and only if G (X,x) = G (Y,y).

For a τ-closed subgroup F of G the derived group H(F) is given by:

H(F) = clτ O : O is a τ-open neighborhood of u in F }. \ H(F) is a τ-closed normal subgroup of F and it is characterized as the smallest τ-closed subgroup H of F such that F/H is a compact Hausdorff topological group. TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 11

3.4. Furstenberg’s structure theorem for distal extensions. Furstenberg’s structure theorem for distal systems [6] says that any distal minimal system can be constructed by equicontinuous extensions. We state the result in its relative version, which was ﬁrst given by Ellis [4]. Let π : (X,T) → (Y,T ) be a distal extension of minimal systems. Then there is an ordinal η (which is countable when X is metrizable) and a family of systems {(Zn,T)}n≤η such that (i) Z0 = Y , (ii) for every n < η there exists a homomorphism ρn+1 : Zn+1 → Zn which is equicontinuous, (iii) for a limit ordinal ν ≤ η the system Zν is the inverse limit of the systems {Zι }ι<ν , (iv) Zη = X.

ρ1 ρ2 ρn ρn+1 (3.1) Y = Z0 ←− Z1 ←−··· ←− Zn ←− Zn+1 ←−··· ←− Zη = X. When Y = {pt} is the trivial system, we have the structure theorem for a distal minimal system. Note that the ordinal η in (3.1) is not unique. We will discuss this later. 3.5. PI-systems and PI-extensions. Let π : (X,T) → (Y,T ) be a factor map of minimal t.d.s. We say that π is a strictly PI extension (P is for proximal, and I is for isometric) if there is an ordinal η (which is countable when X is metrizable) and a family of systems {(Wn,wn)}n≤η such that (i) Y = W0, (ii) for every n < η there exists a homomorphism ρn+1 : Wn+1 → Wn which is either proximal or equicontinuous, (iii) for a limitordinal ν ≤ η the system Wν is the inverse limitof the systems {Wι }ι<ν , (iv) Wη = X. We say that π : (X,T) → (Y,T ) is a PI extension if there exists a minimal system (X˜ ,T ) such that θ : X˜ → X is proximal homomorphism and π′ : X˜ → Y is strictly PI.

X o θ X˜ ⑧⑧ π ⑧⑧ ⑧⑧ ′ ⑧ ⑧ π Y

When Y = {pt} is the trivial system, we call (X,T) is a PI system. 3.6. Structure of minimal systems.

Let π : (X,T) → (Y,T ) be a factor map of minimal t.d.s., and x0 ∈ X, y0 = π(x0). We say that π is a RIC (relatively incontractible) extension if for every y = py0 ∈ Y , p ∈ M, −1 −1 π (y) = p ◦ uπ (y0) = p ◦ Fx0, where F = G (Y,y0). One can show that π : X → Y is RIC if and only if it is open and n for every n ≥ 1 the minimal points are dense in the relation Rπ . Note that every distal extension is RIC, and every distal extension is open. 12 FANGZHOUCAIANDSONGSHAO

Every factor map between minimal systems can be lifted to a RIC extension by proximal extensions (see [5]or[31, Chapter VI]). Theorem 3.3. Given a factor map π : X → Y of minimal systems, there exists a commutative diagram of factor maps (called RIC-diagram or EGS-diagram1)

θ ′ X ←−−− X ′

π π′    θ  Yy ←−−− Yy′ such that: (a) θ ′ and θ are proximal extensions; (b) π′ is a RIC extension; ′ ′ ′ (c) X is the unique minimal set in Rπθ = {(x,y) ∈ X ×Y : π(x) = θ(y)}, and θ and π′ are the restrictions to X ′ of the projections of X ×Y ′ ontoX andY ′ respectively.

We sketch the construction of these factors. Let x ∈ X, u ∈ Jx and y = π(x). Let y′ = u ◦ uπ−1(y), then y′ is a minimal point in 2X for the action of Z. Deﬁne Y ′ = {p ◦ uy′ : p ∈ M} to be the orbit closure of y′ and X ′ = {(px, p ◦ y′) ∈ X ×Y ′ : p ∈ M}, and factor maps given by θ(p ◦ y′) = py and θ ′((px, p ◦ y′)) = px. It can be proved that X ′ = {(x˜,y˜) ∈ X ×Y ′ :x ˜ ∈ y˜}.

If π : (X,T) → (Y,T ) is a RIC factor map of minimal systems, then Qπ (X,T) is an invariant closed equivalence relation and this relation deﬁnes the maximal equicontinuous eq factor relative to π, Xπ = X/Qπ(X,T) of (X,T). π is weakly mixing if and only if Qπ (X,T) = Rπ [30]. Theorem 3.4. [5] Let π : (X,T) → (Y,T ) be a RIC extension of minimal systems with x0 ∈ X and y0 = π(x0) ∈ Y. Denote by A,F the Ellis group of X and Y respectively, i.e. A = G (X,x0),F = G (Y,y0). Then there exist a minimal system (Z,T) and factor maps ρ : (Z,T) → (Y,T ), σ : (X,T) → (Z,T ) such that ρ ◦ σ = π, i.e. the following diagram is communicative: X ❄❄ ❄❄ σ π ❄❄ ❄❄ o Yρ Z, and ρ is an equicontinuous extension and the Ellis group of Z is H(F)A, i.e. B = G (Z,z0) = H(F)A, where z0 = σ(x0). The system (Z,T ) is the largest equicontinuous extension of Y within X, and ρ is an isomorphism if and only if H(F)A = F if and only if π is a weakly mixing extension.

Using the RIC-diagram and Theorem 3.4 repeatedly, we have the structure theorem for minimal systems (Ellis-Glasner-Shapiro [5], Veech [30], and Glasner [10]). We state the structure theorem in its relative form. 1EGS stands for Ellis, Glasner and Shapiro [5]. TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 13

Theorem 3.5. Given a factor map π : X → Y of minimal systems, there exists an ordinal η (countable when X is metrizable) and a canonically deﬁned commutative diagram (the canonical PI tower) ˜ ˜ ˜ o θ0 o θ1 o θν+1 X X0 X1 ··· Xν Xν+1 ··· Xη = X∞ ❄❄ ❉❉ ❄❄ σ1 ❉❉σν+1 π π0 ❄❄ π1 πν ❉❉ πν+1 π∞ ❄❄ ❉❉! o o o o o Y Y0 Z1 Y1 ··· Yν Zν+1 Yν+1 ··· Yη = Y∞ θ0 ρ1 θ1 ρν+1 θν+1

where for each ν ≤ η,πν is RIC, ρν is equicontinuous, θν ,θ˜ν are proximal and π∞ is RIC and weakly mixing. For a limit ordinal ν, Xν,Yν ,πν etc. are the inverse limits of Xι ,Yι ,πι etc. for ι < ν. Thus X∞ is a proximal extension of X and a RIC weakly mixing extension of Y∞. The factor map π∞ is an isomorphism (so that X∞ = Y∞)ifandonlyifX isaPIextension ofY. Remark 3.6. (1) For any ordinal number α, we can also deﬁne a τ-closed normal subgroup Hα (F) of F. Let H1(F) = H(F). Let Hα+1(F) = H(Hα(F)) if α is a successor ordinal; let Hα (F) = ∩β<α Hβ (F) if α is a limit ordinal. We omit the ﬁxed points x0,y0 etc. and denote the Ellis groups of X and Y by A and F respectively, i.e. G (X) = A,G (Y) = F. Then for every ν, the Ellis groups of Xν , Yν and Zν are as follows:

G (Xν) = A, G (Yν ) = Hν (F)A, G (Zν ) = Hν(F)A.

(2) By Theorem 3.4, for n ∈ N, πn is an isomorphism if and only if Hn(F) ⊆ A. 3.7. PI tower of order n. Let π : (X,T) → (Y,T ) is a factor map of minimal systems. For our purpose, we do not need the whole PI tower of π. Let n ∈ N. We need the ﬁrst n step of PI tower of π in Theorem 3.5 as follows: ˜ ˜ ˜ o θ0 o θ1 o θn (3.2) X X0 X1 ··· Xn−1 Xn ❅❅ ❉❉ ❅❅ σ1 ❉❉σn π π0 ❅❅ π1 πn−1 ❉❉ πn ❅❅ ❉❉! o o o o o Y Y0 Z1 Y1 ··· Yn−1 Zn Yn θ0 ρ1 θ1 ρn θn We call the above diagram the canonical tower of order n associated with π : X → Y . If in (3.2) πn : Xn → Yn is an isomorphism, then we say that n is the order of π . Remark 3.6-(2) gives a condition to decide the order of π. When Y = {pt} is trivial, we also say that n is the order of X.

Note that each πm : Xm →Ym is RIC for m < n, but λm : Xn →Ym is not RIC in general. In [11], it is shown that one can remedy this deﬁciency by enlarging the proximal extensions.

Deﬁnition 3.7. If in (3.2), for m < n, λm : Xn → Ym is RIC, then we call it is the complete canonical tower of order n associated with π : X → Y . 14 FANGZHOUCAIANDSONGSHAO

3.8. Largest distal factor of order n. If π : (X,T) → (Y,T ) is a distal extension of minimal t.d.s. Then in Theorem 3.5, there are no proximal extensions and weakly mixing extension in the PI-tower. That is, PI tower of π is as in Furstenberg Theorem:

ρ1 ρ2 ρn ρn+1 (3.3) Y = Z0 ←− Z1 ←−··· ←− Zn ←− Zn+1 ←−··· ←− Zη = X.

Note that in (3.3) for each n < η, the system (Zn+1,T ) is the largest equicontinuous extension of Zn within X. And in this case η is called the order of π. For n ≤ η, we call (Zn,T) the largest distal factor of order n of π. When Y = {pt} is trivial, (X,T) is distal and η is called the order of X. In this case for n < η, (Zn,T) is called the largest distal factor of order n of X. Note that for n ≤ η (Zn,T) is also distal and its order is exactly n. Remark 3.8. By Furstenberg structure theorem for distal systems, there is some ordinal η corresponding to the number of successive equicontinuous extension needed to pass from the trivial system to the given one. Clearly this ordinal is not unique. But if we require that as in (3.3), for each n < η, the system (Zn+1,T) is the largest equicontinuous extension of Zn within X (this condition is called normal in [6]), then the tower is unique. For more discussion about order of a minimal distal system, refer to [6, Section 13.].

4. DECOMPOSITION OF NOT TOTALY MINIMAL SYSTEMS Let (X,T) be a minimal t.d.s. and m ∈ N. In general, (X,T m) may not be minimal. But it has finitely many minimal components. In this section we collect some basic facts about the decomposition of (X,T m). The first one is easy to be verified (see [31, Chapter II, 5.4] for example). Lemma 4.1. Let (X,T) be a t.d.s. and m ∈ N. Then the T-minimal points of (X,T) are identical with the T m-minimal points of (X,T m). We need the following theorem about decomposition of T m. Lemma 4.2. [32, Theorem 3.1] Let (X,T) be a minimal t.d.s. and m ∈ N. Then X decomposes into a disjoint union of lm = lm(X,T) ∈ N sets X = X m,1 ∪ ... ∪ X m,lm, m, j m, j+1 (mod l ) m, j m where lm divides m, TX = X m , and the systems (X ,T ), j = 1,...,lm, are minimal. Remark 4.3. (1) It is clear that for all k ∈ Z, we have T kX m, j = X m, j+k (mod lm). To save on notation, the second component of the index on X m, j+k will be implicitly m,0 m,l understood to be taken modulo lm. For example, we have that X = X m, X m,k = X m,k+ jlm for all j,k ∈ Z etc. (2) Suppose (X,T) is minimal but not totally minimal. Let p1 be the smallest positive p integer such that (X,T 1 ) is not minimal, then p1 is prime and all minimal subsets p p of (X,T 1 ) are isomorphic. Let X1 be such a minimal subset of (X,T 1 ), and let p1 T1 = T |X1. If (X1,T1) is not totally minimal, then the smallest positive integer p2 p2 such that (X1,T1 ) is not minimal is a prime with p2 ≥ p1. Continuing in TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 15

this manner, we either obtain a totally minimal cascade (Xn,Tn) or a sequence of primes p1 ≤ p2 ≤ .... Refer to [1, Page 31] about this result. (3) Let (X,T) be a minimal t.d.s. and m,n ∈ N with m|n. Then by Lemma 4.2, we have decompositions X = X m,1 ∪ ... ∪ X m,lm, and X = X n,1 ∪ ... ∪ X n,ln, m, j m n, j n where lm|m and ln|n and the systems (X ,T ), j = 1,...,lm; (X ,T ), j = 1,...,ln are minimal. Note that for each k ∈{1,...,ln}, there issome i ∈{1,2,...,lm} such that X n,k ⊆ X m,i. In fact, since m|n, there is some k ∈ N such that n = km. Now for each m,i m m,i m i ∈{1,2,...,lm}, (X ,T ) is minimal, and there is some lk = lk(X ,T ) independent of i such that X m,i =(X m,i)k,1 ∪ ... ∪ (X m,i)k,lk , m,i k, j mk n where ((X ) ,T = T ), j = 1,...,lk are minimal. It follows that for each i ∈ m,i k, j {1,2,...,lm}, j ∈{1,2,...,lk}, thereis aunique k ∈{1,...,ln} such that (X ) = n,k X . Hence ln = lmlk and for each k ∈{1,...,ln}, there is some i ∈{1,2,...,lm} such that X n,k ⊆ X m,i.

Let (X,T) be a t.d.s., A ⊆ X and d ∈ N. Set d ∆d(A) = {(x,x,...,x) : x ∈ A} ⊆ X , T (d) = T × ... × T (d times), 2 d τd = τd(T) = T × T × ... × T and ′ ′ d−1 τd = τd(T) = id × T × ... × T = id × τd−1. (d) ′ (d) d (d) Note that hτd,T i = hτd,T i, and ∆d(X) is the diagonal of X , where hτd,T i denotes (d) the group generated by τd and T . Let (X,T) be a t.d.s. and d ∈ N. Let

Nd(X) = O(∆d(X),τd). If (X,T) is transitive and x ∈ X is a transitive point, then (d) (d) Nd(X) = O(x ,hτd,T i), (d) (d) the orbit closure of x =(x,...,x) (d times) under the action of the group hτd,T i. The following result was given by Glasner in [11], and one may ﬁnd another proof in [13, Chapter 1]. (d) Theorem 4.4 (Glasner). Let (X,T) beaminimalt.d.s. andd ∈ N. Then (Nd(X),hτd,T i) is minimal and the τd-minimal points are dense in Nd(X).

In fact, to get the fact of density of τd-minimal points in Nd(X), we may only assume (X,T) has a dense set of minimal points. 16 FANGZHOUCAIANDSONGSHAO

Lemma 4.5. Let (X,T) be a t.d.s. and d ∈ N. If X has a dense set of minimal points, then Nd(X) has a dense subset of τd-minimal points. (d) (d) d Proof. Denote by T = hτd,T i the group generated by τd and T . Let U ⊆ X be an open set intersect with Nd(X) = O(∆d(X),τd). We can ﬁnd some x ∈ X such that d O(x ,τd) ∩U 6= /0. Since the set of T -minimal points is dense in X, we can assume x is a T -minimal point. (d) By Theorem 4.4, (O(x ,T ),T ) is minimal, and the set of τd-minimal points is dense (d) d in O(x ,T ). Since O(x ,τd) ∩U 6= /0, we have O(x(d),T ) ∩U 6= /0. (d) As the set of τd-minimal points is dense in O(x ,T ), one can ﬁnd some τd-minimal point in U. It follows that Nd(X) has a dense subset of τd-minimal points. The case k = 1 of the following lemma is just Theorem 4.2 in [16].

Lemma 4.6. Let k ∈ N and (Xi,Ti),1 ≤ i ≤ k be minimal t.d.s. Let m ∈ N and M be the lowest common multiple of 1,2,...,m. Assume the decompositions of Xi,1 ≤ i ≤ k as in M Lemma 4.2 respect to Ti are: i M,1 M,lM Xi = Xi ∪ ... ∪ Xi , i where lM|M. Let k k (X,T)=(∏Xi,∏Ti) i=1 i=1 2 m m m and let τm = τm(T ) = T × T × ... × T : X → X . O O k Then Nm(X) = (∆m(X),τm) = (∆m(∏i=1 Xi),τm) has the following decomposition k M, ji Nm(X) = Nm(∏Xi ), 1 [ k i=1 1≤ j1≤lM,...,1≤ jk≤lM k M, ji O k M, ji k M, ji where Nm(∏i=1 Xi ) = (∆m(∏i=1 Xi ),τm) are mutually disjoint. In particular,Nm(∏i=1 Xi ) is clopen in Nm(X).

k k M, ji Proof. Since X = ∏i=1 Xi = ∏i=1 Xi , it follows that 1 k 1≤ j1≤lM,...,S 1≤ jk≤lM k M, ji Nm(X) = Nm(∏Xi ). 1 [ k i=1 1≤ j1≤lM,...,1≤ jk≤lM

k M, ji k M, ji We need to show that Nm(∏i=1 Xi ) are mutually disjoint. Note that ∏i=1 Xi are −→ k M, ji mutually disjoint and clopen in X, for every x ∈ Nm(∏i=1 Xi ), it is easy to deduce that −→x must be in a set of the following form: k k k M, ji+n M, ji+2n M, ji+mn ∏Xi × ∏Xi × ... × ∏Xi , i=1 i=1 i=1 TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 17

Z ′ 1 ′ k where n ∈ . Suppose that 1 ≤ j1, j1 ≤ lM,...,1 ≤ jk, jk ≤ lM such that

k k ′ M, ji M, ji Nm(∏Xi ) ∩ Nm(∏Xi ) 6= /0. i=1 i=1 It implies that there exist n,n′ ∈ Z such that k k k M, ji+n M, ji+2n M, ji+mn ∏Xi × ∏Xi × ... × ∏Xi i=1 i=1 i=1 is equal to k ′ ′ k ′ ′ k ′ ′ M, ji+n M, ji+2n M, ji+mn ∏Xi × ∏Xi × ... × ∏Xi . i=1 i=1 i=1 It follows that ′ ′ 1 j1 − j1 ≡ s(n − n )(mod lM), for all 1 ≤ s ≤ m. 1 ′ 1 1 ′ Thus (s,lM)|( j1 − j1) for all 1 ≤ s ≤ m, and lM =(M,lM)|( j1 − j1). It follows that j1 ≡ ′ 1 ′ ′ ′ j1 (mod lM), that is, j1 = j1. Similarly we have j1 = j1,..., jk = jk, which means that

k k ′ M, ji M, ji Nm(∏Xi ) = Nm(∏Xi ). i=1 i=1 k M, ji So Nm(∏i=1 Xi ) are mutually disjoint, and the proof is completed.

5. STRUCTURETHEOREMSOFMINIMALBUTNOTTOTALLYMINIMALSYSTEMS In this section we will study the structure theorem of (X,T m). The main result of this section is that though for a minimal t.d.s. (X,T) and m ∈ N, (X,T m) may not be minimal, but we still can have PI-tower for (X,T m) and in fact it looks the same as the PI tower of (X,T). To get better understand of this point, ﬁrst let us recall the measure version of this result. 5.1. Furstenberg-Zimmer structure theorem. In [7], to prove multiple recurrence theorem, Furstenberg built a structure for ergodic systems. It says that each ergodic system is a weakly mixing extension of a distal system. For the general locally compact acting group actions, this was independently given by Zimmer [34, 35]. To give the precise description of the theorem, we need some deﬁni- tions. Let π : (X,X , µ,T ) → (Y,Y ,ν,T ) be a factor map of measure preserving systems 2 X and µ = Y µydν(y) the disintegration of µ relative to ν. A function f ∈ L (X, , µ) is 2 almost periodicR over Y if for every ε > 0 there exist g1,...,gl ∈ L (X,X , µ) such that for all n ∈ Z, n min ||T f − g j||L2(µ ) < ε 1≤ j≤l y for ν almost every y ∈ Y . Let K(X|Y,T) be the closed subspace of L2(X) spanned by the 2 almost periodic functions over Y . When Y is trivial, K(X|Y,T) is Hc = L (X,Kµ, µ), the closed subspace spanned by eigenfunctions of T . 18 FANGZHOUCAIANDSONGSHAO

We say that X is an isometric extension of Y if K(X|Y,T) = L2(X) and it is a (measurable) weak mixing extension of Y if K(X|Y,T) = L2(Y). Deﬁnition 5.1. Let (X,X , µ,T ) be an ergodic measure preserving system. Then (X,X , µ,T ) is measurable distal if there exists a countable ordinal η and a directed family of factors (Xθ ,Xθ , µθ ,T ),θ ≤ η such that (1) X0 = {pt} is the trivial system and Xη = X. (2) For θ < η the extension πθ : Xθ+1 → Xθ is isometric and nontrivial. (3) For a limit ordinal λ ≤ η, Xλ = lim Xθ (i.e. Xλ = Xθ ). ←−θ<λ W π0 π1 πn−1 πn πn+1 {pt} = X0 ←− X1 ←−··· ←− Xn ←− Xn+1 ←−··· ←− Xη = X. Theorem 5.2 (Furstenberg-Zimmer’s structure theorem). Each ergodic measure preserving system (X,X , µ,T ) is a weakly mixing extension of an ergodic distal system Xη .

π0 π1 πn−1 πn πn+1 πη (X0,T ) ←− (X1,T ) ←−··· ←− (Xn,T ) ←− (Xn+1,T ) ←−··· ←− (Xη ,T) ←− (X,T). measurable distal factor | 2 {z d } m In [7], to deal with τd = T × T × ... × T for all d ∈ N, one needs to study T , 1 ≤ m ≤ d. For ergodic system (X,X , µ,T ) and m ∈ N, in general (X,X , µ,T m) is not necessarily ergodic. But in [7], it is shown that K(X|Y,T m) = K(X|Y,T) for all m. Thus one can come to the following conclusion: Theorem 5.3. Let (X,X , µ,T ) be an ergodic measure preserving system and m ∈ N. Then (X,X , µ,T m) has the same structure theorem as (X,X , µ,T ) in Theorem 5.2. That is, (X,X , µ,T m) is a measurable weakly mixing extension of a measurable distal m system (Xη,Xη , µ,T ):

m π0 m π1 πn−1 m πn m πn+1 m πη m (X0,T ) ←− (X1,T ) ←−··· ←− (Xn,T ) ←− (Xn+1,T ) ←−··· ←− (Xη ,T ) ←− (X,T ). In this section we will give the topological version of Theorem 5.3. 5.2. PI-towers for T m. In this subsection we will give PI-tower for T m. Let π : (X,T) → (Y,T ) be a factor map of minimal t.d.s. and m ∈ N. Let the PI-tower of π : (X,T) → (Y,T ) be: ˜ ˜ ˜ o θ0 o θ1 o θv+1 X X0 X1 ··· Xv Xv+1 ··· Xη = X∞ ❄❄ ❈❈ ❄❄ σ1 ❈❈σv+1 π π0 ❄❄ π1 πv ❈❈ πv+1 π∞ ❄❄ ❈❈! o o o o o Y Y0 Z1 Y1 ··· Yv Zv+1 Yv+1 ··· Yη = Y∞ θ0 ρ1 θ1 ρv+1 θv+1 In general (X,T m) is not minimal, but we will show that π : (X,T m) → (Y,T m) has the same PI-tower as π : (X,T) → (Y,T ). In fact we will give the all PI-towers of minimal components of (X,T m) (see Theorem 5.6). First we need some lemmas.

Lemma 5.4. Let π : (X,T) → (Y,T) bea factormapoft.d.s.,and m ∈ N. Then Qπ (X,T) = m m Qπ (X,T ) and Pπ(X,T) = Pπ (X,T ). TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 19

m Proof. Let m ∈ N. It is clear that Qπ (X,T ) ⊆ Qπ (X,T). Now we show that Qπ (X,T) ⊆ m Qπ (X,T ). Let (x,z) ∈ Qπ (X,T). Then by deﬁnition there exist {(xi,zi)}i∈N ⊆ Rπ and {ni}i∈N ⊆ Z such that ni ni (xi,zi) → (x,z), ρ(T xi,T zi) → 0,i → ∞.

Passing to a subsequence we may assume there exists 0 ≤ m0 ≤ m − 1 such that ni ≡ m0 ( mod m) for all i ∈ N. Let ni = mki + m0, ki ∈ Z. Then

mki+m0 mki+m0 ρ(T xi,T zi) → 0,i → ∞. Note that T m−m0 is uniformly continuous, we have

m(ki+1) m(ki+1) ρ(T xi,T zi) → 0,i → ∞. m m It follows that (x,z) ∈ Qπ (X,T ). That is, Qπ (X,T) ⊆ Qπ (X,T ). m Similarly we can show that Pπ(X,T) = Pπ (X,T ) for all m ∈ N. Lemma 5.5. Let π : (X,T) → (Y,T ) be a factor map of t.d.s. If π is proximal, then there is one to one correspondence between the set of minimal subsystems of (X,T) and (Y,T ).

Proof. It sufﬁces to show that if there are minimal subsets X1,X2 of X with π(X1) = π(X2), then X1 = X2. Since π(X1) = π(X2), there are some x1 ∈ X1 and x2 ∈ X2 such that π(x1) = π(x2). Since π is proximal, x1,x2 are proximal. Hence there are some sequence ∞ Z {ni}i=1 ⊆ and z ∈ X such that ni ni (T x1,T x2) → (z,z), i → ∞. n Since x1 ∈ X1 and X1 is a T -invariant closed set, T i x1 ∈ X1 for all i and hence z ∈ X1. By the same reason, z ∈ X2. It follows that z ∈ X1 ∩ X2. Thus X1 = X2 by the minimality of X1 and X2. Theorem 5.6. Let π : (X,T) → (Y,T ) be a factor map of minimal t.d.s., and m ∈ N. Let the PI-tower of π : (X,T) → (Y,T ) be: ˜ ˜ ˜ o θ0 o θ1 o θv+1 X X0 X1 ··· Xv Xv+1 ··· Xη = X∞ ❄❄ ❈❈ ❄❄ σ1 ❈❈σv+1 π π0 ❄❄ π1 πv ❈❈ πv+1 π∞ ❄❄ ❈❈! o o o o o Y Y0 Z1 Y1 ··· Yv Zv+1 Yv+1 ··· Yη = Y∞ θ0 ρ1 θ1 ρv+1 θv+1

By Lemma 4.2, X decomposes into a disjoint union of lm = lm(X,T) ∈ N sets X = X m,1 ∪ ... ∪ X m,lm, m, j m, j+1 (mod l ) m, j m where lm|m, TX = X m , and the systems (X ,T ), j = 1,...,lm are minimal. Then for each ν ≤ η, we also have the decompositions:

m,1 m,lm Xν = Xν ∪ ... ∪ Xν ,ν ≥ 0 m,1 m,lm Yν = Yν ∪ ... ∪Yν ,ν ≥ 1 m,1 m,lm Zν = Zν ∪ ... ∪ Zν ,ν ≥ 1 such that 20 FANGZHOUCAIANDSONGSHAO

m, j m, j+1 (mod lm) m, j m (1) THν = Hν , and the systems (Hν ,T ), j = 1,...,lm are minimal, where H is one of X,Y,Z. m, j m, j m, j m, j m, j m, j (2) πν (Xν ) = Yν ;σν+1(Xν ) = Zν+1;ρν+1(Zν+1) = Yν , 1 ≤ j ≤ lm. m, j m m, j m (3) the PI-towers of π : (X ,T ) → (π(X ),T ),1 ≤ j ≤ lm are: ˜ ˜ ˜ θ0 m, j θ1 m, j m, j θν+1 m, j m, j m, j m, j o o ··· o ··· X X0 X1 Xν Xν+1 Xη = X∞ ❋❋ ❈❈ ❋ σ1 ❈ σν+1 π ❋❋ π π ❈❈ π π π 0 ❋❋ 1 ν ❈❈ ν+1 ∞ ❋❋# ❈! m j m j m j m j m j m j m j m j m, j o , o , o , ··· , o , o , ··· , , π(X ) π0(X0 ) Z1 Y1 Yν Zν+1 Yν+1 Yη = Y∞ θ0 ρ1 θ1 ρν+1 θν+1

Proof. Let m ∈ N be ﬁxed. By Lemma 4.2, X decomposes into a disjoint union of lm = lm(X,T) ∈ N sets X = X m,1 ∪ ... ∪ X m,lm, m, j m, j+1 (mod l ) m, j m where lm|m, TX = X m , and the systems (X ,T ), j = 1,...,lm are minimal. By Lemma 5.4, for each ν ≤ η, P (X ,T ) = P (X ,T m). So θ˜ : (X ,T m) → (X ,T m) θ˜ν ν θ˜ν ν v ν ν−1 is proximal. By Lemma 5.5, for each ν ≤ η,

m,1 m,lm (5.1) Xν = Xν ∪ ... ∪ Xν , m, j m, j+1 (mod lm) m, j m where TXν = Xν , and the systems (Xν ,T ), j = 1,...,lm are minimal. m Now we show that for all ν ≤ η, Zν has just lm T -minimal subsets. Recall in the following diagram, Zν+1 = Xν /Qπν (Xν,T ), i.e. Rσν+1 = Qπν (Xν,T ).

Xν ❊❊ ❊❊σν+1 πν ❊❊ ❊❊" o Yν Zν+1. ρν+1 Let m, j m, j m, j m, j πν (Xν ) = Yν ; σν+1(Xν ) = Zν+1, 1 ≤ j ≤ lm. m, j We need to show that Zν+1, j = 1,...,lm are disjoint. If not, without loss of generality m,1 m,1 m,h m,h assume σν+1(Xν ) = Zν+1 = Zν+1 = σν+1(Xν ) for some h 6= 1. Choose m,1 m,h (x1,xh) ∈ (Xν × Xν ) ∩ Rσν+1 . By Lemma 5.4 m Rσν+1 = Qπν (Xν,T ) = Qπν (Xν,T ), i i Z and there are {z1} ⊆ Xν ,{zh} ⊆ Xν and {ni} ⊆ such that i i mni i mni i (z1,zh) → (x1,xh),(T z1,T zh) → (z,z), i → ∞. m,1 m,h m,1 m,h i i m,1 m,h Since (x1,xh) ∈ Xν ×Xν and Xν ×Xν is open, (z1,zh) ∈ Xν ×Xν for sufﬁciently large i ∈ N. It follows that

mni i mni i m,1 m,h (T z1,T zh) ∈ Xν × Xν TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 21

m,1 m,h m,1 m,h for sufﬁciently large i ∈ N. Hence (z,z) ∈ Xν × Xν , i.e. Xν ∩ Xν 6= /0. A contra- m, j diction! So Zν+1, j = 1,...,lm are disjoint. Thus for each ν ≤ η with ν ≥ 1, Zν has the following decomposition:

m,1 m,lm (5.2) Zν = Zν ∪ ... ∪ Zν , m, j m, j+1 (mod lm) m, j m where TZν = Zν , and the systems (Zν ,T ), j = 1,...,lm are minimal. Note that for each ν ≤ η with ν ≥ 1 we have the following extensions:

m θν m πν m (Zν ,T ) ←− (Yν ,T ) ←− (Xν,T ).

By (5.1) and (5.2), we have for each ν ≤ η with ν ≥ 1, Yν has the following decomposition: m,1 m,lm (5.3) Yν = Yν ∪ ... ∪Yν , m, j m, j+1 (mod lm) m, j m where TYν = Yν , and the systems (Yν ,T ), j = 1,...,lm are minimal. m, j m m, j m It is left to show that the PI-towers of π : (X ,T ) → (π(X ),T ),1 ≤ j ≤ lm are: ˜ ˜ ˜ θ0 m j θ1 m j m j θν+1 m j m j m j m, j o , o , ··· , o , ··· , , X X0 X1 Xν Xν+1 Xη = X∞ ❋❋ ❈❈ ❋ σ1 ❈ σν+1 π ❋❋ π π ❈❈ π π π 0 ❋❋ 1 ν ❈❈ ν+1 ∞ ❋❋# ❈! m j m j m j m j m j m j m j m j m, j o , o , o , ··· , o , o , ··· , , π(X ) π0(X0 ) Z1 Y1 Yν Zν+1 Yν+1 Yη = Y∞ . θ0 ρ1 θ1 ρν+1 θν+1

Fix j ≤ lm. By Lemma 5.4 for each ν ≤ η, θ˜ν and θν are proximal with respect to the action T m. m, j m m, j m Now for each ν ≤ η, we show that πν : (Xν ,T ) → (Yν ,T ) is RIC. Since πν : n (Xν,T ) → (Yν ,T) is RIC , πν is open and Rπν has dense T -minimal points for every N n m N m, j n ∈ . By Lemma 4.1, Rπν has dense T -minimal points for every n ∈ . Note that Xν m, j m m, j m is open, and it follows that πν : (Xν ,T ) → (Yν ,T ) is RIC. m We next show that ρν+1 is the largest equicontinuous factor of πν with respect to T . To this aim, it needs to show that m, j m, j m, j m Rσν+1 ∩ (Xν × Xν ) = Qπν (Xν ,T ). Note that m Rσν+1 = Qπν (Xν,T ) = Qπν (Xν,T ). m By the deﬁnition of Qπν (Xν,T ) we have m, j m, j m, j m, j i i Rσν+1 ∩(Xν × Xν ) = {(x1,x2) ∈ Xν × Xν : ∃ (z1,z2) ∈ Rπν , Z i i mni i mni i ni ∈ s.t. (z1,z2) → (x1,x2),ρ(T z1,T z2) → 0}. m, j m, j m, j m Note that Xν × Xν is open, the set on the right side is just Qπν (Xν ,T ). m, j m m, j m The last thing left is to show that π∞ : (X∞ ,T ) → (Y∞ ,T ) is weakly mixing. Since m Rπ∞ = Qπ∞ (X∞,T ) = Qπ∞ (X∞,T ), it follows that m, j m m m, j m, j m, j m, j Qπ∞ (X∞ ,T ) = Qπ∞ (X∞,T ) ∩ X∞ × X∞ = Rπ∞ ∩ X∞ × X∞ . 22 FANGZHOUCAIANDSONGSHAO

m, j m m, j m That means π∞ : (X∞ ,T ) → (Y∞ ,T ) has trivial maximal equicontinuous factor. Since it is RIC, it is weakly mixing. The proof is completed. m Remark 5.7. (1) In Theorem 5.6, for T , Y and Y0 have the decompositions ′ Y = Y m,1 ∪ ... ∪Y m,lm , and ′ m,1 m,lm Y0 = Y0 ∪ ... ∪Y0 , ′ where lm = lm(Y,T ) = lm(Y0,T) (lm(Y,T ) = lm(Y0,T ) follows from the fact that ′ ′ θ0 is proximal). It is obvious that lm ≤ lm, and it may happen that lm 6= lm. For m ′ example (X,T ) is not minimal and (Y,T ) is trivial. In this case lm = 1 < lm. (2) If (X,T) is a totally minimal system, then lm = 1 for every m ∈ N.

6. A GENERALIZATION OF GLASNER’S THEOREM In this section we will give a generalization of Glasner’s theorem in [11]. 6.1. Statement of the results. In this section, we deal with topological characteristic factors along arithmetic progressions. The main theorem of this section is: i Theorem 6.1. Let π : (Xi,Ti) → (Yi,Ti) be factor maps of minimal t.d.s., 1 ≤ i ≤ k, where i k ∈ N. Let n ∈ N and assume the complete canonical PI-towers of order n of π : (Xi,Ti) → (Yi,Ti),1 ≤ i ≤ k are as follows:

θ˜ i θ˜ i θ˜ i o 0 o 1 o n Xi (Xi)0 (Xi)1 ··· (Xi)n−1 (Xi)n ❋❋ i ❍❍ i ❋ σ1 ❍❍ σn i πi ❋❋ πi πi ❍ i π 0 ❋❋ 1 n−1 ❍❍ πn ❋# ❍❍$ Y o (Y ) o (Z ) o (Y ) ··· (Y ) o (Z ) o (Y ) , i i i 0 i i 1 i i 1 i n−1 i i n i i n θ0 ρ1 θ1 ρn θn k k Then ( ∏ (Yi)n,T ) is an n-step topological characteristic factor of ( ∏ (Xi)n,T ), where i=1 i=1 T = T1 × ... × Tk. k k If in addition ( ∏ (Xi)n,T ) is transitive, then ( ∏ (Yi)n,T) is an (n+1)-step topological i=1 i=1 k characteristic factor of ( ∏ (Xi)n,T). i=1

Remark 6.2. When k = 1 and Y1 is a trivial system, it is Glasner’s result in [11]. We generalize Glasner’s result in two ways. First it is a relative version; secondly we study the system (X,T) with the form (X1 × ... × Xk,T1 × ... × Tk), in which case (X,T) is not minimal in general but it remains lots of good properties of minimal systems. TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 23

Corollary 6.3. Let π : (X,T) → (Y,T ) be a factor map of minimal t.d.s. and let k,n ∈ N. Assume the complete canonical PI-tower of order n of π is as follows: ˜ ˜ ˜ o θ0 o θ1 o θn X X0 X1 ··· Xn−1 Xn ❅❅ ❉❉ ❅❅ σ1 ❉❉σn π π0 ❅❅ π1 πn−1 ❉❉ πn ❅❅ ❉❉! o o o o o Y Y0 Z1 Y1 ··· Yn−1 Zn Yn. θ0 ρ1 θ1 ρn θn k (k) k (k) Then (Yn ,T ) is an n-step topological characteristic factor of (Xn ,T ), and (Yn,T ) is an (n + 1)-step topological characteristic factor of (Xn,T ). Corollary 6.4. Let π : (X,T) → (Y,T ) be a distal extension of minimal t.d.s. and let N k (k) k,n ∈ . Let Yn be the largest distal factor of π of order n. Then (Yn ,T ) is an n-step k (k) topological characteristic factor of (X ,T ), and (Yn,T ) is an (n + 1)-step topological characteristic factor of (X,T). Corollary 6.5. Let π : (X,T) → (Y,T ) be a RIC weakly mixing extension of minimal t.d.s. and let k ∈ N. Then (Y k,T (k)) is an n-step topological characteristic factor of (X k,T (k)) for all n ∈ N.

Corollary 6.6. Let (X1,T1),...,(Xk,Tk) be weakly mixing minimal t.d.s. with k ∈ N. Then the trivial system is an n-step topological characteristic factor of (X1 ×...×Xk,T1 ×...× Tk) for all n ∈ N. In particular, (X1 × ... × Xk,T1 × ... × Tk) is transitive. 6.2. Proof of Theorem 6.1. To prove Theorem 6.1, we need the following lemma in [11], which plays a key role in the proof.

Lemma 6.7. [11, Lemma 3.3] Let k ∈ N and (Xi,Ti),(Yi,Ti),1 ≤ i ≤ k be minimal t.d.s. 0 0 0 0 Fix some u ∈ J(M). For each 1 ≤ i ≤ k, choose xi ∈ Xi with uxi = xi and let πi(xi ) = 0 0 0 G 0 G 0 yi ,σi(xi ) = zi . Let Ai = (Xi,xi ),Fi = (Yi,yi ),1 ≤ i ≤ k. Suppose that for each 1 ≤ i ≤ k, a commutative diagram

(Xi,Ti) ■ ■■ σ ■■ i πi ■■ ■■$ o (Yi,Ti)(Zi,Ti) ρi G 0 is given, in which Bi = (Zi,zi ) = H(Fi)Ai,1 ≤ i ≤ k. Let k k k (X,T)=(∏Xi,T ), (Y,T )=(∏Yi,T ), (Z,T )=(∏Zi,T), i=1 i=1 i=1 where T = T1 × ... × Tk, and let π = π1 × ... × πk,σ = σ1 × ... × σk,ρ = ρ1 × ... × ρk denote the product homomorphisms respectively. (X,T) ❍ ❍❍ ❍❍σ π ❍❍ ❍❍$ o (Y,T )(ρ Z,T ) 24 FANGZHOUCAIANDSONGSHAO

−1 −1 Let NY be a closed T-invariant subset ofY and let NX = π (NY ),NZ = ρ (NY ). Let Q be a closed subset of NX . Suppose that (1) σi is open for each 1 ≤ i ≤ k and the set of T-minimal points is dense in NX , (2) O(Q,T) = NX , O (3) for every relatively open subsetU of Q, intNX ( (U,T)) 6= /0. Then there exists a dense Gδ subset Ω of Q such that x ∈ Ω implies O(x) is σ-saturated. Now we prove Theorem 6.1: Proof of Theorem 6.1. We show the case k = 2, and for general k ∈ N, it is essentially the same. i To be precise, let π : (Xi,Ti) → (Yi,Ti) be factor maps of minimal t.d.s. (Xi,Ti) and (Yi,Ti),1 ≤ i ≤ 2. Let n ∈ N and assume the complete canonical PI-towers of order n of i π : (Xi,Ti) → (Yi,Ti),1 ≤ i ≤ 2 are:

θ˜ i θ˜ i θ˜ i o 0 o 1 o n (6.1) Xi (Xi)0 (Xi)1 ··· (Xi)n−1 (Xi)n ❋❋ i ❍❍ i ❋ σ1 ❍❍ σn i πi ❋❋ πi πi ❍ i π 0 ❋❋ 1 n−1 ❍❍ πn ❋# ❍❍$ o o o o o Y o (Y ) o (Z ) o (Y ) ··· (Y ) o (Z ) o (Y ) , i i i 0 i i 1 i i 1 i n−1 i i n i i n θ0 ρ1 θ1 ρn θn i in which λm : (Xi)n → (Yi)m is RIC for each m ∈{0,1,...,n}. Let X = X1 × X2, Y = Y1 ×Y2, and for all m ∈{0,1,...,n},

Xm =(X1)m × (X2)m, Ym =(Y1)m × (Y2)m, Zm =(Z1)m × (Z2)m, 1 2 1 2 1 2 1 2 πem = πm × πm,σm = σme × σm,ρm = ρm × ρme,θm = θm × θm, etc. Hence we have the diagram: ˜ ˜ ˜ o θ0 o θ1 o θn X X0 X1 ··· Xn−1 Xn ❃❃ ❆❆ ❃❃ σ1 ❆❆ σn π π0e ❃ π1e πn−e1 ❆❆ πne ❃❃ ❆ ❃ ❆❆ o o o o o Y Y0 Z1 Y1 ··· Yn−1 Zn Yn θ0 ρ1 θ1 ρn θn e e e e e e Let T = T1 × T2, and 2 m τm = T × T × ... × T , m ∈ N, ′ N τm = idX × τm−1, m ∈ . We want to prove that (Yn,T) is an n-step topological characteristic factor of (Xn,T ). That is, there is some dense Gδ subset Ω of (Xn,T ) such that for all x ∈ Ω, O(x,τn) is (n) e e πn -saturated. e To this aim, we prove that for every 1 ≤ m ≤ n, (Ym,T ) is an m-step topological characteristic factor of X T . We prove by induction on m. ( n, ) e e TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 25

First we show the case m = 1, that is, (Y1,T ) is a 1-step topological characteristic factor of X T . Recall that we have the following diagrams: ( n, ) e e ((X1)n,T1) ((X2)n,T2) ◆◆◆ λ 1 ◆◆◆ λ 2 1 ◆◆◆ 1 2 ◆◆◆ 1 λ0 ◆◆ λ0 ◆◆ ◆◆◆' ◆◆◆' o o ((Y1)0,T1)((Y1)1,T1) ((Y2)0,T2)((Y2)1,T2), 1 1 2 2 where λ0 ,λ1 ,λ0 ,λ1 are RIC. Also we have the following diagram:

(Xn,T ) ■ ■■ ■■λ1 λe0 ■■ ■■$ o (Y0,T )(Y1,T),

where Xn =(X1)n × (X2)n,Y0 =(Y1e)0 × (Y2)0,Y1e=(Y1)1 × (Y2)1, and T = T1 × T2, λ0 = λ 1 λ 2, λ λ 1 λ 2. To show that Y T is a 1-step topological characteristic factor 0 × 0e 1 = 1 × 1 e ( 1, ) e of (Xn,T ), means that there exists a densee Gδ set Ω1 of Xn such that for each x ∈ Ω1 the orbit closure O(x,T) is λ -saturated. To this aim, we need to use Lemma 6.7. e 1 e Note that N1(Xn) = O(∆1(Xn),τ1) = O(Xn,T) = Xn, and N1(Y0) = Y0, N1(Y1) = Y1. Since proximal extension preserves Ellis groups, the conditions “B = H(F )A ” in Lemma e e e e ie ei i e e 6.7 are satisﬁed. Since ((Xi)n,Ti),i = 1,2 are minimal, N1(Xn) = Xn =(X1)n × (X2)n has a dense set of T -minimal points. Now we take Q N X in Lemma 6.7, and then = 1(en) e conditions (2), (3) in Lemma 6.7 are trivial. Thus by Lemma 6.7, there exists a dense G e δ subset Ω1 of Q = Xn such that x ∈ Ω1 implies O(x) is λ1-saturated. That is, (Y1,T ) is a 1-step topological characteristic factor of X T . e ( n, ) e Assume that for 1 ≤ m ≤ n − 1, (Ym,T ) ise an m-step topological characteristic factor of X T . We will show that Y T is an m 1 -step topological characteristic factor ( n, ) ( m+1, e) ( + ) of X T . e( n, ) e Let M be the lowest common multiple of 1,2,...,m + 1. Assume the decompositions e M of Xi,1 ≤ i ≤ 2 as in Lemma 4.2 respect to Ti are: i M,1 M,lM Xi = Xi ∪ ... ∪ Xi , i = 1,2, i i M, j M, j+1 (mod lM) M, j M i where lM|M, TiXi = Xi , and the systems (Xi ,Ti ), j = 1,...,lM are minimal. By Lemma 5.6, for i = 1,2 and for each ν ≤ n, for systems appeared in (6.1) we also have the decompositions: i M,1 M,lM (Xi)ν =(Xi)ν ∪ ... ∪ (Xi)ν , 0 ≤ ν ≤ n, i M,1 M,lM (Yi)ν =(Yi)ν ∪ ... ∪ (Yi)ν , 1 ≤ ν ≤ n, i M,1 M,lM (Zi)ν =(Zi)ν ∪ ... ∪ (Zi)ν , 1 ≤ ν ≤ n, such that M, j M i (1) the systems ((Hi)ν ,Ti ), j = 1,...,lM are minimal, where H is one of X,Y,Z. 26 FANGZHOUCAIANDSONGSHAO

i M, j M, j i M, j M, j i M, j M, j (2) πν (Xi)ν =(Yi)ν ;σν+1 (Xi)ν =(Zi)ν+1;ρν+1 (Zi)ν+1 =(Yi)ν , 1 ≤ i j ≤ lM. i M, j M M, j M i (3) the PI-towers of π : (Xi ,Ti ) → (π(Xi ),Ti ),1 ≤ j ≤ lM are: ˜ i ˜ i ˜ i M, j θ0 M, j θ1 M, j M, j θn M, j o o ··· o Xi (Xi)0 (Xi)1 (Xi)n−1 (Xi)n ❑❑ i ❍❍ i ❑❑ σ1 ❍❍ σn i πi ❑❑ πi πi ❍ i π 0 ❑❑ 1 n−1 ❍❍ πn ❑❑% ❍❍# M, j o M, j o M, j o M, j M, j o M, j o M, j i X o i X o Z o Y ··· Y o Z o Y π ( i ) i π0(( i)0 ) i ( i)1 i ( i)1 ( i)n−1 i ( i)n i ( i)n θ0 ρ1 θ1 ρn θn Note that M, j1 M, j2 Xn =(X1)n × (X2)n = (X1)n × (X2)n . [ 1 1≤ j1≤lM e 2 1≤ j2≤lM 1 2 We will show that for every 1 ≤ j1 ≤ lM,1 ≤ j2 ≤ lM there is a dense Gδ subset Ω j1, j2 of M, j1 M, j2 (X1)n × (X2)n which is λm+1-saturated. Then

Ωm+1 = Ω j1, j2 . [ 1 1≤ j1≤lM 2 1≤ j2≤lM is what we are looking for.

We show the case j1 = 1, j2 = 1, and the proof for general case is the same. That is, we M,1 M,1 only show how to ﬁnd Ω1,1 in (X1)n × (X2)n . To prove this, we will use Lemma 6.7. So it needs to verify conditions in Lemma 6.7. M,1 M M,1 M First note that ((X1)n ,T1 ) and ((X2)n ,T2 ) are minimal. By Remark 4.3-(3), for j j,1 j every 1 ≤ j ≤ m + 1, as j|M, there is some T1 -minimal component ((X1)n ,T1 ) of (X1)n M,1 j,1 j j,1 j such that (X1)n ⊆ (X1)n . Similarly there is some T2 -minimal component ((X2)n ,T2 ) M,1 j,1 of (X2)n such that (X2)n ⊆ (X2)n . For 1 ≤ j ≤ m + 1, i = 1,2, we have the following communicative diagram: j,1 j ((Xi)n ,Ti ) ◆◆◆ i ◆◆λm+1 λ i ◆◆◆ m ◆◆◆' j,1 j o j,1 j ((Yi)m ,Ti )((Yi)m+1,Ti )

j,1 i j,1 j,1 i j,1 where (Yi)m = λm (Xi)n and (Yi)m = λm 1 (Xi)n . Since proximal extension +1 + preserves Ellis groups, by Lemma 5.6, we conclude that the conditions “Bi = H(Fi)Ai” in Lemma 6.7 are satisﬁed. Let M,1 M,1 O M,1 M,1 Nm+1((X1)n × (X2)n ) = (∆m+1((X1)n × (X2)n ),τm+1).

Since ((Xi)n,Ti),i = 1,2 are minimal, Xn =(X1)n × (X2)n has a dense set of T -minimal points. By Lemma 4.5, e Nm+1(Xn) = O(∆m+1(Xn),τm+1) e e TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 27

M,1 M,1 has a dense set of τm+1-minimal points. By Lemma 4.6, Nm+1((X1)n × (X2)n ) is M,1 M,1 clopen in Nm+1(Xn). Hence Nm+1((X1)n × (X2)n ) has a dense set of τm+1-minimal points. e By induction hypothesis, let Ω0 be the dense Gδ subset of Xn =(X1)n ×(X2)n such that for any x ∈ Ω0, (m) e O(x ,τm) (m) 1 2 (m) is λm =(λm × λm) -saturated. Recall that Ym =(Y1)m × (Y2)m. (m+1) −1 Claim: Nm+1(Xn)=(λm ) (Nm+1(Ym)). e Proof of claim.eIt is clear that e (m+1) −1 Nm+1(Xn) ⊆ (λm ) (Nm+1(Ym)). −1 Now we prove the converse. Lete y ∈ Ym and x ∈ λm (ye). Since Ω0 is dense, choose {x } N ⊆ Ω such that x → x,i → ∞. Let y = λ (x ), then y → y,i → ∞. Since i i∈ 0 i e i m i i {xi}i∈N ⊆ Ω0, for each i ∈ N (m) (m) −1 (m) O((xi) ,τm)=(λm ) O(yi ,τm) . It follows that (m) −1 (m) {xi} × (λm ) O(yi ,τm) O (m) = {xi} × (xi ,τm) O (m+1) O (m+1) ′ = (xi ,idX × τm) = (xi ,τm+1) O ′ O ⊆ (∆m+1(Xn),τm+1) = (∆m+1(Xn),τm+1). In particular, e e (m) −1 (m) {xi} × (λm ) yi ⊆ O(∆m+1(Xn),τm+1). −1 Note that λm is continuous as λm is open, and we have e (m) −1 (m) (m) −1 (m) {x} × (λm ) y = lim{xi} × (λm ) yi i→∞ ⊆ O(∆m+1(Xn),τm+1). That is, e (m+1) −1 (m+1) −1 (m) −1 (m) O (λm ) y = λm (y) × (λm ) y ⊆ (∆m+1(Xn),τm+1). e Since y ∈ Ym is arbitrary, we have (m+1) −1 e (λm ) (∆m+1(Ym)) ⊆ O(∆m+1(Xn),τm+1). −1 By the continuity of λm , we have e e (m+1) −1 (m+1) −1 (λm ) (Nm+1(Ym))=(λm ) (O(∆m+1(Ym),τm+1)) (m+1) −1 = O((λm ) (∆m+e1(Ym)),τm+1) e

⊆ O(∆m+1(Xn),τm+1). e e 28 FANGZHOUCAIANDSONGSHAO

The proof of the claim is completed. Combining the claim, Lemma 5.6 and Lemma 4.6, we conclude that M,1 M,1 (m+1) −1 M,1 M,1 Nm+1((X1)n × (X2)n )=(λm ) (Nm+1((Y1)n × (Y2)n ). M,1 M,1 M,1 M Let U1 ×U2 be a non-empty open subset of (X1)n ×(X2)n . Since ((Xi)n ,Ti ),i = 1,2, are minimal, we can ﬁnd N ∈ N such that N M,1 Mj (Xi)n = Ti Ui, i = 1,2. j[=1 Hence M,1 M,1 Mt1 Mt2 (X1)n × (X2)n = (T1 × T2 )(U1 ×U2). 1≤t1[,t2≤N So M,1 M,1 Mt1 Mt2 (m+1) ∆m+1((X1)n × (X2)n ) = (T1 × T2 ) ∆m+1(U1 ×U2), 1≤t1[,t2≤N where we recall that (m+1) ∆m+1(U1 ×U2) = {x : x ∈ U1 ×U2}. It follows that M,1 M,1 O M,1 M,1 Nm+1((X1)n × (X2)n ) = (∆m+1((X1)n × (X2)n ),τm+1) Mt1 Mt2 (m+1)O = (T1 × T2 ) (∆m+1(U1 ×U2),τm+1). 1≤t1[,t2≤N By Baire’s theorem, we have that

int M,1 M,1 (O(∆m+1(U1 ×U2),τm+1)) 6= /0. Nm+1((X1)n ×(X2)n )

Now we have veriﬁed all conditions in Lemma 6.7, and hence there exists a dense Gδ M,1 M,1 O (m+1) (m+1) subset Ω1,1 of (X1)n × (X2)n such that x ∈ Ω1,1 implies (x ,τm+1) is λm+1 - saturated. 1 2 Similarly, for every 1 ≤ j1 ≤ lM,1 ≤ j2 ≤ lM there is such a dense Gδ subset Ω j1, j2 of M, j1 M, j2 (X1)n × (X2)n . Let

Ωm+1 = Ω j1, j2 . 1[ 2 1≤ j1≤lM,1≤ j2≤lM

It is easy to see that Ωm+1 is a dense Gδ subset of Xn =(X1)n × (X2)n and for each x ∈ O (m+1) (m+1) Ωm+1 we have that (x ,τm+1) is λm+1 -saturated.e Hence (Ym+1,T ) is an (m + 1)- step topological characteristic factor of (Xn,T). By induction, wee have proved that for every 1 m n, Y T is an m-step topological characteristic factor of X T . In ≤ ≤ ( m, ) e ( n, ) particular, Y T is an n-step topological characteristic factor of X T . The proof of ( n, ) e ( n, ) e the ﬁrst part of Theorem 6.1 is completed. e e If in addition, (Xn,T ) is transitive. Then we start with m = 0, and in this case we consider λ : X Y . Since X T is transitive, the set of transitive points Ω is a dense 0 n → e0 ( n, ) 0 G set of X . For all x Ω , O x T X and it is λ -saturated. That is, Y T is a δ n e e ∈ 0 e ( , ) = n 0 ( 0, ) e e e TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 29

1-step topological characteristic factor of (Xn,T ). The rest of proof is the same with the proof of the first part of the theorem, and the only difference is that now Y T is an e ( n, ) n 1 -step topological characteristic factor of X T . ( + ) ( n, ) e 7. INDEPENDENTPAIRALONGARITHMETICPROGRESSIONSe In this section we will study the independence pair along arithmetic progressions. We show that if a minimal system has no nontrivial independent pair along arithmetic progressions, then it is a PI-system; and if a minimal system has no nontrivial independent pair along arithmetic progressions of order d, then up to a canonically defined proximal extension, it is equal to it’s canonical PI flow of order d. In particular, for a distal minimal system, if it has no nontrivial independent pair along arithmetic progressions of order d, then it is equal to its largest distal factor of order d. 7.1. Regionally proximal pair along arithmetic progressions. The regionally proximal pair of order d along arithmetic progressions was introduced and studied in [14]. Definition 7.1. Let (X,T) be a t.d.s. and d ∈ N. We say that (x,y) ∈ X ×X is a regionally proximal pair of order d along arithmetic progressions if for each δ > 0 there exist x′,y′ ∈ X and n ∈ Z such that ρ(x,x′) < δ,ρ(y,y′) < δ and ρ(T in(x′),T in(y′)) < δ for each 1 ≤ i ≤ d. The set of all such pairs is denoted by AP[d](X) and is called the regionally proximal relation of order d along arithmetic progressions. Theorem 7.2. [14] Let (X,T) be a t.d.s. with AP[d](X) = ∆(X) for some integer d ≥ 1, then for each ergodic Borel measure µ, (X, µ,T ) is measure theoretical isomorphic to a d-step pro-nilsystem. In [14] it is shown that if (X,T) is a strictly ergodic distal system with the property that the maximal topological and measurable d-step pro-nilsystems are isomorphic, then AP[d] is an equivalence relation for each d ∈ N. We do not have general result on this direction. 7.2. Independence. Let us recall the definition of independence set.

Deﬁnition 7.3. Let (X,T) be a t.d.s. Given a tuple A =(A1,...,Ak) of subsets of X we say that a subset F ⊆ Z is an independence set for A if for any non-empty ﬁnite subset J ⊆ F and any s =(s( j) : j ∈ J) ∈{1,...,k}J we have − j T As( j) 6= /0 . \j∈J

We shall denote the collection of all independence sets for A by Ind(A1,...,Ak) or IndA . 30 FANGZHOUCAIANDSONGSHAO

Deﬁnition 7.4. Let (X,T) be a t.d.s. and d ∈ N. A pair (x1,x2) ∈ X × X is called an Indap-pair of order d (ap for arithmetic progression) if for every pair of neighborhoods U1,U2 of x1 and x2 respectively, there exists some n ∈ Z \{0} such that {n,2n,...,dn} is d an independence set for (U1,U2), i.e. for each t =(t1,t2,...,td) ∈{1,2} , −n −2n −dn T Ut1 ∩ T Ut2 ∩ ... ∩ T Utd 6= /0. A pair (x1,x2) ∈ X × X is called an Indap-pair if for every d ∈ N, (x1,x2) is an Indap-pair of order d. [d] Denote by Indap(X,T) (resp. Indap(X,T)) the set of all Indap-pairs (resp. Indap-pairs of order d) of (X,T). [d] Remark 7.5. (1) Note that for all d ∈ N, Indap(X,T) ⊆ AP (X). (2) Let π : (X,T) → (Y,T ) be a factor map and d ∈ N. By deﬁnition, it is easy to verify that [d] [d] π × π(Indap(X,T)) ⊆ Indap(Y,T ), π × π(Indap(X,T)) ⊆ Indap(Y,T ).

7.3. A minimal system without nontrivial Indap-pairs. In this subsection we study the dynamical properties of a minimal system without nontrivial Indap-pair. 2 d We ﬁrst give a criterion to be an Indap-pair. Recall that we denote T ×T ×...×T by τd.

Lemma 7.6. Let (X,T) beat.d.s. and (x1,x2) ∈ X ×X \∆(X). Then (x1,x2) ∈ Indap(X,T) d if and only if for every d ∈ N, {x1,x2} ⊆ Nd(X) = O(∆d(X),τd).

Proof. “⇒”: Let (x1,x2) ∈ Indap(X,T), and d ∈ N. Let U1,U2 be neighborhoods of x1 and x2 respectively. By deﬁnition there exists some n 6= 0 such that for each (t1,...,td) ∈ {1,2}d, −n −2n −dn T Ut1 ∩ T Ut2 ∩ ... ∩ T Utd 6= /0. d d Let (xt1 ,...,xtd ) ∈{x1,x2} , where (t1,...,td) ∈{1,2} . By property above, choose −n −2n −dn x ∈ T Ut1 ∩ T Ut2 ∩ ...∩ T Utd . Then n (d) n (τd) (x )=(τd) (x,x,...,x) ∈ (Ut1 ×Ut2 × ... ×Utd ).

Since (Ut1 ×Ut2 ×...×Utd ) is a neighborhood of (xt1 ,xt2 ,...,xtd ) and U1,U2 are arbitrary, we have that O (xt1 ,...,xtd ) ∈ (∆d(X),τd). d Hence {x1,x2} ⊆ O(∆d(X),τd). “⇐”:Let d ∈ N and let U1,U2 be neighborhoods of x1 and x2 respectively. By assump- d2d O tion, {x1,x2} ⊆ (∆d2d (X),τd2d ). Then d2d O ∏ (xt1 ,...,xtd ) ∈{x1,x2} ⊆ (∆d2d (X),τd2d ). d (t1,...,td)∈{1,2} Note that

∏ (xt1 ,...,xtd ) ∈ ∏ (Ut1 × ... ×Utd ). d d (t1,...,td)∈{1,2} (t1,...,td)∈{1,2} TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 31

Hence there exist some x ∈ X and n 6= 0 such that n n (d2d ) (τd2d ) (x,x,...,x)=(τd2d ) (x ) ∈ ∏ (Ut1 × ... ×Utd ). d (t1,...,td)∈{1,2} d It follows that for each (t1,...,td) ∈{1,2} , −n −2n −dn T Ut1 ∩ T Ut2 ∩ ... ∩ T Utd 6= /0. By deﬁnition, (x1,x2) ∈ Indap(X,T). Corollary 7.7. Let π : (X,T) → (Y,T ) be an open extension of t.d.s. If (Y,T ) is a d-step topological characteristic factor of (X,T) for all d ∈ N, then Rπ \ ∆(X) ⊆ Indap(X,T).

Proof. Let (x1,x2) ∈ Rπ \ ∆(X). It is easy to see that for all d ∈ N d d (d) −1 O {x1,x2} ⊆ Rπ =(π ) (∆d(Y)) ⊆ (∆d(X),τd). By Lemma 7.6, (x1,x2) ∈ Indap(X,T). That is, Rπ \ ∆(X) ⊆ Indap(X,T).

Let π : (X,T) → (Y,T ) be a factor map of minimal t.d.s. Let [d] [d] Indap(π) = Indap(X,T) ∩ Rπ, Indap(π) = Indap(X,T) ∩ Rπ .

The following theorem shows that if Indap(π) is trivial, then π is a PI extension: Theorem 7.8. Let π : (X,T) → (Y,T ) be a factor map of minimal t.d.s. If

Indap(π) = ∆(X), then π is PI. In particular, a minimal t.d.s. without nontrivial Indap-pair is a PI-system. Proof. Let the PI-tower of π : (X,T) → (Y,T ) be as follows: ˜ ˜ ˜ o θ0 o θ1 o θv+1 X X0 X1 ··· Xv Xv+1 ··· Xη = X∞ ❄❄ ❈❈ ❄❄ σ1 ❈❈σv+1 π π0 ❄❄ π1 πv ❈❈ πv+1 π∞ ❄❄ ❈❈! o o o o o Y Y0 Z1 Y1 ··· Yv Zv+1 Yv+1 ··· Yη = Y∞. θ0 ρ1 θ1 ρv+1 θv+1 We have the following claim: Claim 1 2 : For an ordinal v0 and (xv0 ,xv0 ) ∈ Indap(πv0 ) \ ∆(Xv0), (1) if v0 is a limit ordinal, then we can ﬁnd v < v0 such that 1 2 (xv,xv) ∈ Indap(πv) \ ∆(Xv), where x1 x2 is the image of x1 x2 ; ( v, v) ( v0 , v0 ) (2) if v0 is a successor ordinal, then x1 x2 X ( v0−1, v0−1) ∈ Indap(πv0−1) \ ∆( v0−1), where (x1 ,x2 ) is the image of (x1 ,x2 ). v0−1 v0−1 v0 v0 32 FANGZHOUCAIANDSONGSHAO

Proof of claim. First we consider the case that v0 is a limit ordinal. Then we can assume x1 x2 x1 x2 x1 x2 v v x1 x2 ( v0 , v0 )=({ v}v

Note that Xv0 = Xv0−1 ∨Yv0 in the structure of the PI-tower (see Theorem 3.3), and we can assume x1 x1 y1 x2 x2 y2 v0 =( v0−1, v0 ), v0 =( v0−1, v0 ). Since π (x1 ) = π (x2 ), we have y1 = y2 . Note that x1 6= x2 , and we have x1 6= v0 v0 v0 v0 v0 v0 v0 v0 v0−1 x2 . Since the diagram is communicative, we have v0−1 x1 x2 y1 y2 πv0−1( v0−1, v0−1) = ρv0 ◦ θv0 ( v0 , v0 ), and (x1 ,x2 ) ∈ R . Since (x1 ,x2 ) ∈ Ind (X ,T ), by Remark 7.5-(2) we have v0−1 v0−1 πv0−1 v0 v0 ap v0 (x1 ,x2 ) ∈ Ind (X ,T ), and v0−1 v0−1 ap v0−1 x1 x2 X ( v0−1, v0−1) ∈ Indap(πv0−1) \ ∆( v0−1). The proof of claim is completed. 1 2 If π∞ is not an isomorphism, then we can choose (x∞,x∞) ∈ Rπ∞ \ ∆(X∞). By Corollary 7.7, Rπ∞ \ ∆(X∞) ⊆ Indap(X∞,T ), and hence 1 2 (x∞,x∞) ∈ Indap(π∞) \ ∆(X∞). 1 2 Using Claim inductively, we have some (x ,x ) ∈ Indap(π)\∆(X), which contradicts with Indap(π) = ∆(X). By Remark 7.5-(1), we have the following corollary. Corollary 7.9. Let (X,T) be a t.d.s.and d ∈ N. If AP[d](X) = ∆(X), then (X,T) is PI.

7.4. A minimal system without nontrivial Indap-pair of order d.

In this subsection we consider a minimal system without nontrivial Indap-pair of order d. We give an analogous result to Theorem 7.8. We show that if a minimal system (X,T) has no nontrivial Indap-pairs of order d, then in the PI-tower of (X,T), πd is an isomorphism. We state the result in its relative version. Theorem 7.10. Let π : (X,T) → (Y,T ) be a factor map of minimal t.d.s. If [d] Indap(π) = ∆(X), then in the PI tower of π, the order is less than d. TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 33

Proof. Assume the complete canonical PI-tower of order d of π is ˜ ˜ ˜ o θ0 o θ1 o θd X X0 X1 ··· Xd−1 Xd ❅❅ ❉❉ ❅❅ σ1 ❉❉σd π π0 ❅❅ π1 πd−1 ❉❉ πd ❅❅ ❉❉! o o o o o Y Y0 Z1 Y1 ··· Yd−1 Zd Yd. θ0 ρ1 θ1 ρd θd

Then the maps λ j : Xd → Yj (0 ≤ j ≤ d) are RIC. We need to show that πd is an isomorphism. 2d (2d) 2d (2d ) By Theorem 6.1, (Yd ,T ) is a d-step topological characteristic factor of (Xd ,T ). Hence O 2d (d2d ) −1 O 2d (∆d(Xd ),τd)=(πd ) ( (∆d(Yd ),τd)). (2d ) 2 (2d) d (2d) Note that here τd = T × (T ) × ... × (T ) , i.e. 2 2 2 d d d τd = T × T × ... × T ×T × T × ... × T ×... × T × T × ... × T . 2d times 2d times 2d times | {z } | {z } | {z } If Rπd 6= ∆(Xd), we can ﬁnd (z1,z2) ∈ Rπd with z1 6= z2. Let πd(z1) = πd(z2) = y. Choose d neighborhoods U1,U2 of z1 and z2 respectively. Enumerate {1,2} as: d i i i d {1,2} = {(t1,t2,...,td) :1 ≤ i ≤ 2 }. Note that 2d 2d 2d −1 d2d ( U i × U i × ... × U i ) (π (y)) 6= /0. ∏ t1 ∏ t2 ∏ td d i=1 i=1 i=1 \ (d2d ) 2d Since y ∈ ∆d(Yd ), we have −1 d2d (d2d) −1 2d (πd (y)) ⊆ (πd ) (∆d(Yd )), and it follows that 2d 2d 2d 2d ( U i × U i × ... × U i ) O(∆d(X ),τd) 6= /0. ∏ t1 ∏ t2 ∏ td d i=1 i=1 i=1 \ Z 2d Hence there exist n ∈ \{0} and x =(x1,x2,...,x2d ) ∈ Xd such that 2d 2d 2d n (d) (τd) (x ) ∈ U i × U i × ... × U i . ∏ t1 ∏ t2 ∏ td i=1 i=1 i=1 d d For every (t1,t2,...,td) ∈{1,2} , there is some 1 ≤ i ≤ 2 such that (t1,t2,...,td) = i i i (t1,t2,...,td). Then 2 d n (T × T × ... × T ) (xi,xi,...,xi) ∈ U i ×U i × ... ×U i = Ut ×Ut × ... ×Ut . t1 t2 td 1 2 d Hence −n −2n −dn T Ut1 ∩ T Ut2 ∩ ... ∩ T Utd 6= /0. [d] [d] By deﬁnition, (z1,z2) ∈ Indap(Xd,T ). Thus Indap(πd) \ ∆(Xd) 6= /0. 34 FANGZHOUCAIANDSONGSHAO

Consider the following diagram: ˜ o θd Xd−1 Xd ❉❉ ❉❉σd πd−1 ❉❉ πd ❉❉! o o Yd−1 Zd Yd. ρd θd

Since Xd = Xd−1 ∨Yd (this condition still holds after adjusting λ j to be RIC [11]), repeat- [d] ing the same discussion as in Theorem 7.8, we have that Indap(πd−1) \ ∆(Xd−1) 6= /0. [d] Inductively, we have that Indap(π) \ ∆(X) 6= /0. A contradiction! Thus πd is an isomorphism. The proof is completed. Corollary 7.11. Let (X,T) be a minimal t.d.s. with AP[d](X) = ∆(X) for some d ∈ N, then it has a PI tower of order d. [d] Corollary 7.12. Let (X,T) be a distal minimal t.d.s. If Indap(X,T) = ∆(X), then the order of (X,T) is less than d. We conjecture that Corollary 7.12 can be improved as follows: [d] Conjecture 7.13. Let (X,T) be a distal minimal t.d.s. If Indap(X,T) = ∆(X), then (X,T) is a d-step pro-nilsystem.

8. ∆-TRANSITIVITY In this section we study ∆-transitivity and the local version of ∆-transitivity. We show [d] that the condition Indap(X,T)=X × X (Indap(X,T)=X × X) is equivalent to ∆-transitivity (∆-transitivity of order d). We also study the relative case. The property of ∆-transitivity has been systematically studied, we refer readers to [20, 23, 26] for details. 8.1. ∆-transitivity.

Let (X,T) be a t.d.s. and d ∈ N. Let U0,U1,...,Ud be subsets of X. Deﬁne d −in N(U0,U1,...,Ud) = {n ∈ N : T Ui 6= /0}. i\=0 Deﬁnition 8.1. Let (X,T) be a t.d.s. and d ∈ N. (X,T) is said to be ∆-transitive of order d if for any non-empty open subsets U0,U1,...,Ud of X, N(U0,U1,...,Ud) 6= /0. A closed subset A of X is a ∆-transitive set of order d if for any non-empty open subsets U0,U1,...,Ud of X intersecting A, N(U0 ∩ A,U1,...,Ud) 6= /0. A t.d.s. (X,T) is said to be ∆-transitive if it is ∆-transitive of order d for every d ∈ N. A closed subset A of X is said to be a ∆-transitive set if A is a ∆-transitive set of order d for all d ∈ N.

Denote by ∆-Trans(X,T) (resp. ∆d-Trans(X,T)) the set of all ∆-transitive sets (resp. ∆-transitive sets of order d) of (X,T). TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 35

Remark 8.2. By deﬁnition we can see that {x} is a ∆-transitive set of order d if and only if x is a multiple recurrent point of order d, i.e. there exists a sequence {n1 < n2 <...} of N such that lim T ink x = x, i = 1,2,...,d. k→∞ To prove the next result, we need a characterization of weakly mixing systems. Recall that (X,T) is weakly mixing, if for any non-empty open sets U1,U2,V1,V2, there is some −n −n n ∈ Z such that U1 ∩ T V1 6= /0and U2 ∩ T V2 6= /0. In [27], it was proved that (X,T) is weakly mixing if and only if for any non-empty open sets U,V, there is some n ∈ Z such that U ∩ T −nU 6= /0and U ∩ T −nV 6= /0. [d] Now we give the conditions that Indap(X,T) = X × X and Indap(X,T) = X × X: Theorem 8.3. Let (X,T) be a t.d.s. and d ≥ 2. Then the following conditions are equivalent: [d+1] (1) Indap (X,T) = X × X. (2) (X,T) is ∆-transitive of order d. (3) The trivial system is a d-step topological characteristic factor of (X,T). X (4) ∆d-Trans(X,T) is a dense Gδ set in 2 . Proof. (1)⇒(2): We prove by induction on d. When d = 2, we ﬁrst show that (X,T) is [3] weakly mixing. Let U0,U1 be non-empty open sets in X. Since Indap(X,T) = X × X, there exists n ∈ Z such that −n −2n U0 ∩ T U0 ∩ T U1 6= /0.

Hence (X,T) is weakly mixing. Now let U0,U1,U2 be non-empty open sets in X. Since (X,T) is weakly mixing, (X,T) has no isolated point and there exists n ∈ N such that −n −n −2n [3] U0 ∩ T U1 6= /0. Let V1 = U0 ∩ T U1,V2 = T U2. Since Indap(X,T) = X × X, there exists m ∈ N such that −m −2m V1 ∩ T V1 ∩ T V2 6= /0. Hence m + n ∈ N(U0,U1,U2). Thus (X,T) is ∆-transitive of order 2. [d] Now assume the statement holds for d, i.e. Indap(X,T) = X × X implies that (X,T) is [d+1] ∆-transitive of order d − 1. We show that Indap (X,T) = X × X implies that (X,T) is ∆-transitive of order d. [d+1] [d] Let U0,U1,...,Ud be non-empty open sets in X. Since Indap (X,T) ⊆ Indap(X,T), [d] we have Indap(X,T) = X ×X. By the induction hypothesis, (X,T) is ∆-transitive of order d − 1. Let n ∈ N(U0,U1,...,Ud−1), and let −n −(d−1)n −dn V1 = U0 ∩ T U1 ∩ ... ∩ T Ud−1, V2 = T Ud. [d+1] Since Indap (X,T) = X × X, there exists m ∈ N such that −m −(d−1)m −dm V1 ∩ T V1 ∩ ... ∩ T V1 ∩ T V2 6= /0.

It implies that m + n ∈ N(U0,U1,...,Ud). Thus (X,T) is ∆-transitive of order d.

(2)⇒(1): We ﬁrst show that (X,T) is weakly mixing. Let U0,U1 be non-empty open sets in X. Then there exists n ∈ Z such that −n −2n U0 ∩ T U0 ∩ T U1 6= /0. 36 FANGZHOUCAIANDSONGSHAO

Hence (X,T) is weakly mixing. Let U0,U1,...,Ud,V0,V1,...,Vd be non-empty open sets in X. Since (X,T) is weakly mixing, there exists n ∈ Z such that −n (U0 ×U1 × ... ×Ud) ∩ (T × T × ... × T ) (V0 ×V1 × ... ×Vd) 6= /0. It is easy to check that −n −n −n N(U0 ∩ T V0,U1 ∩ T V1,...,Ud ∩ T Vd) ⊆ N(U0,U1,...,Ud) ∩ N(V0,V1,...,Vd). Hence the family

{N(U0,U1,...,Ud) : U0,U1,...,Ud be non-empty open sets in X}

is a ﬁlter base. Hence for any (x1,x2) ∈ X × X and any open neighborhoods U1 ×U2 of (x1,x2), N(Uσ(0),Uσ(1),...,Uσ(d)) 6= /0. σ∈{1,2\}{0,1,...,d} [d+1] [d+1] It follows that (x1,x2) ∈ Indap (X,T), i.e. Indap (X,T) = X × X. (2)⇔(3): See [20, Proposition 3.1]. X (2)⇒(4): We ﬁrst show that ∆d-Trans(X,T) is a Gδ set in 2 . We follow the methods in [20]. Let 1 A (X,T) = {E ∈ 2X : there exist k ∈ N and open sets W ,...,W with diam (W ) < m 1 k i m k {0,1,...,d} such that E ⊆ Wi and for any σ ∈{1,2,...,k} , i[=1 N(E ∩Wσ(0),Wσ(1),...,Wσ(d)) 6= /0 } X It is easy to check that Am(X,T) is open in 2 and ∞ ∆d-Trans(X,T) = Am(X,T). m\=1 X Hence ∆d-Trans(X,T) is a Gδ set in 2 . X For any open set < U1,U2,...,Um > in 2 , since (X,T) is ∆-transitive of order d, −n −dn X0 = (T V1 ∩ ... ∩ T Vd) \ [ V1,...,Vd∈B n∈N

is a dense Gδ set in X, where B is a countable topological basis of X. Choose xi ∈ Ui ∩ X0. Hence

{x1,x2 ...,xm}∈hU1,U2,...,Umi,

and it is easy to check that {x1,x2 ...,xm} is a ∆-transitive set of order d. d (4)⇒(2): Let U0,U1,...,Ud be non-empty open sets in X. Note that X ∈ hUi,Xi, iT=0 d d X and hence hUi,Xi is a non-empty open set in 2 . Let A ∈ hUi,Xi be a ∆-transitive iT=0 iT=0 TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 37

set of order d, then A∩Ui 6= /0,i = 0,1,...,d. It follows that N(A∩U0,U1,...,Ud) 6= /0. In particular, N(U0,U1,...,Ud) 6= /0. Similarly we have: Theorem 8.4. Let (X,T) be a t.d.s. Then the following conditions are equivalent: (1) Indap(X,T) = X × X. (2) (X,T) is ∆-transitive. (3) The trivial system is a d-step topological characteristic factor of (X,T) for all d ≥ 2. X (4) ∆-Trans(X,T) is a dense Gδ set in 2 . Remark 8.5. If (X,T) is minimal we may say more. In fact in [14], it is shown that if (X,T) is a minimal t.d.s., then the following statements are equivalent: (1) Indap(X) = X × X. (2) (X,T) is weakly mixing. (3) AP[d](X) = X × X for some d ≥ 2. We next give an example, which is adapted from the one in [26, Proposition 3]: [d] [d+1] Example 8.6. There exists a t.d.s. (X,T) with Indap(X,T) = X ×X and Indap (X,T) ⊆ ∆(X). Let ({0,1}Z,T ) be the full shift. Let X ⊆{0,1}Z be the collection of all x ∈{0,1}Z satisfying the following condition:

if v1,v2 ...,vd are words (may be empty) over {0,1} with 1v11v21...1vd1 appearing in x, then there must be some vi,v j such that vi,v j have different lengths. It is easy to see that X is non-empty, closed and T -invariant. That is, (X,T) is a subsystem Z [d] [d+1] of ({0,1} ,T ). We will show that Indap(X,T) = X × X and Indap (X,T) ⊆ ∆(X). We ﬁrst show that (X,T) is ∆-transitive of order d − 1. For any non-empty open sets U0,U1,...,Ud−1 in X, assume that there exist m ∈ N and xi ∈ X,i = 0,1,...,d − 1 such 1 that B(xi, m ) ⊆ Ui,i = 0,1,...,d − 1. Choose n > m and let words ui = xi(−m)...xi(−1)xi(0)xi(1)...xi(m), i = 0,1,...,d − 1. Let ∞ n n n ∞ x = 0 u00 u10 u2 ···0 ud−10 ,x(0) = x0(0). It is easy to see that x ∈ X. Furthermore −(2m+1+n) −2(2m+1+n) −(d−1)(2m+1+n) x ∈ U0 ∩ T U1 ∩ T U2 ∩ ... ∩ T Ud−1. [d] Hence (X,T) is ∆-transitive of order d − 1, i.e. Indap(X,T) = X × X. [d+1] Now we show that Indap (X,T) ⊆ ∆(X). Let x0,x1 ∈ X such that x0 6= x1. Since [d+1] Indap (X,T) is T × T -invariant we can assume x0(0) = 0,x1(0) = 1. Let

U0 = {x ∈ X : x(0) = 0}, U1 = {x ∈ X : x(0) = 1}. [d+1] If (x0,x1) ∈ Indap (X,T), then there exists n ∈ N such that −n −dn U0 ∩ T U0 ∩ ... ∩ T U0 6= /0, 38 FANGZHOUCAIANDSONGSHAO

−n −dn U0 ∩ T U1 ∩ ... ∩ T U1 6= /0. Let −n −dn x ∈ U0 ∩ T U0 ∩ ... ∩ T U0. Then x(0) = x(n) = ... = x(dn) = 1. Hence 1v11v21...1vd1 appears in x, where the length of vi, i = 0,1,...,d, is n − 1. It contradicts with that x ∈ X. Hence (x0,x1) ∈/ [d+1] [d+1] Indap (X,T). So we have that Indap (X,T) ⊆ ∆(X).

8.2. ∆-transitive sets. Now we show if (X,T) has a nontrivial d-step topological characteristic factor, then there exist lots of ∆-transitive sets of order d. To show this we need the following well known result. Theorem 8.7. [29, Proposition 3.1] Let π : (X,T) → (Y,T ) be a factor map of minimal t.d.s. Let R be a dense Gδ subset of X, then −1 −1 Y0 = {y ∈ Y : π (y) ∩ R is dense Gδ in π (y)} is a dense Gδ subset ofY. Theorem 8.8. Let π : (X,T) → (Y,T ) be a nontrivial factor map of minimal t.d.s. and d ≥ 2. If (Y,T ) is a d-step topological characteristic factor of (X,T), then there exists a −1 dense Gδ subset Ω of X such that for any x ∈ Ω,π (π(x)) is a ∆-transitive set of order d in (X,T).

Proof. By the deﬁnition of topological characteristic factor, there exists a dense Gδ subset (d) (d) Ω1 of X such that for any x ∈ Ω1, O(x ,τd) is π -saturated. Since (X,T) is minimal, the set of multiple recurrent points is residual, i.e.

ni (d) (d) Ω2 = {x ∈ X : τd (x ) → x ,i → ∞, for some sequence {ni}i∈N} is a dense Gδ set of X [24]. Take R = Ω1 ∩ Ω2 in Theorem 8.7, and there is a dense Gδ subset Y0 of Y : −1 −1 Y0 = {y ∈ Y : π (y) ∩ R is dense Gδ in π (y)}. −1 Let Ω = R ∩ π (Y0). Then Ω is a dense Gδ subset of X. We will show that for any x ∈ Ω,π−1(π(x)) is a ∆-transitive set of order d in (X,T). −1 Clearly, π (π(x)) is closed. For any non-empty open subsets U0,U1,...,Ud of X −1 −1 −1 −1 intersecting π (π(x)), since R ∩ π (π(x)) is dense in π (π(x)) and U0 ∩ π (π(x)) is open in π−1(π(x)), we have that −1 U0 ∩ R ∩ π (π(x)) 6= /0. −1 Choose x0 ∈ U0 ∩ R ∩ π (π(x)). Then −1 d O (d) π (π(x)) ⊆ (x0 ,τd), O (d) (d) since (x0 ,τd) is π -saturated. It follows that O (d) (U1 ×U2 × ... ×Ud) ∩ (x0 ,τd) 6= /0. TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 39

As x0 ∈ Ω2, there exists n ∈ N such that n (d) τd (x0 ) ∈ U1 ×U2 × ... ×Ud. It follows that −1 −n −2n −dn x0 ∈ U0 ∩ π (π(x)) ∩ T U1 ∩ T U2 ∩ ... ∩ T Ud. That is, −1 N(U0 ∩ π (π(x)),U1,...,Ud) 6= /0. Thus for all x ∈ Ω, π−1(π(x)) is a ∆-transitive set of order d in (X,T). The proof is completed. By Corollary 6.5 and Corollary 6.4, we have the following corollaries. Theorem 8.9. Let π : (X,T) → (Y,T ) be a nontrivial RIC weakly mixing extension of min- −1 imal t.d.s. Then there exists a dense Gδ subset Ω of X such that for any x ∈ Ω,π (π(x)) is a ∆-transitive set in (X,T). Theorem 8.10. Let (X,T) be a distal minimal t.d.s. and let d ∈ N. If theorder of (X,T) is −1 greater than d, there exists a dense Gδ subset Ω of X such that for any x ∈ Ω,π (π(x)) is a ∆-transitive set of order d + 1 in (X,T). Let (X,T) be a dynamical system and A be a closed subset of X with at least two points. We say that A is ∆-weakly mixing if for every n ∈ N, An is a ∆-transitive subset in n (n) (X ,T ), that is, for every n,d ≥ 2 and non-empty open subsets Ui, j of X intersecting A, i = 1,2,...,n and j = 0,1,...,d, we have n N(Ui,0 ∩ A,Ui,1,...,Ui,d) 6= /0. i\=1 In [20] ∆-weakly mixing sets are systematically studied. Theorem C of [20] said that for a t.d.s. (X,T) if there exists an ergodic invariant measure µ such that (X, µ,T ) is not measurable distal, then there exist “many” ∆-weakly mixing sets in (X,T). Inspired by this result, we have the following question: Question 8.11. Let π : (X,T) → (Y,T ) be a nontrivial RIC weakly mixing extension of minimal t.d.s. Does there exist a ∆-weakly mixing set in some ﬁber π−1(y)? Furthermore, −1 is there a dense Gδ subset Ω ofX suchthatforanyx ∈ Ω,π (π(x)) isa ∆-weakly mixing set in (X,T)?

REFERENCES [1] J. Auslander, Minimal flows and their extensions, volume 153 of North-Holland Mathematics Studies. North-Holland Publishing Co., Amsterdam, 1988. Notas de Matemática [Mathematical Notes], 122. [2] F. Cai, S. Shao, Topological characteristic factors along cubes of minimal systems, Discrete Contin. Dyn. Syst. 39 (9): 5301–5317, 2019. [3] P. Dong, S. Donoso, A. Maass, S. Shao, and X. Ye, Infinite-step nilsystems, independence and com- plexity, Ergodic Theory Dynam. Systems, 33(1):118–143, 2013. [4] R. Ellis, Lectures on topological dynamics. W. A. Benjamin, Inc., New York, 1969. [5] R. Ellis, S. Glasner, and L. Shapiro, Proximal-isometric flows, Advances in Math., 17(3):213–260, 1975. [6] H. Furstenberg, The structure of distal flows, Amer. J. Math., 85: 477–515, 1963. 40 FANGZHOUCAIANDSONGSHAO

[7] H. Furstenberg, Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions, J. Analyse Math., 31:204–256, 1977. [8] H. Furstenberg, Recurrence in ergodic theory and combinatorial number theory, M. B. Porter Lec- tures. Princeton University Press, Princeton, N.J., 1981. N n n2 [9] H. Furstenberg, B. Weiss, A mean ergodic theorem for (1/N)∑n=1 f (T x)g(T x). In Convergence in ergodic theory and probability (Columbus, OH, 1993), volume 5 of Ohio State Univ. Math. Res. Inst. Publ., pages 193–227. de Gruyter, Berlin, 1996. [10] S. Glasner, Proximal flows. Lecture Notes in Mathematics, Vol. 517. Springer-Verlag, Berlin-New York, 1976. [11] E. Glasner, Topological ergodic decompositions and applications to products of powers of a minimal transformation, J. Anal. Math., 64:241–262, 1994. [12] E. Glasner, Structure theory as a tool in topologicaldynamics, In Descriptive set theory and dynamical systems (Marseille-Luminy, 1996), volume 277 of London Math. Soc. Lecture Note Ser., pages 173– 209. Cambridge Univ. Press, Cambridge, 2000. [13] E.Glasner, Ergodic theory via joinings,volume101 of Mathematical Surveys and Monographs. Amer- ican Mathematical Society, Providence, RI, 2003. [14] E. Glasner, W. Huang, S. Shao and X. Ye, Regionally proximal relation of order d along arithmetic progressions and nilsystem, to appear in Sci. China Math. [15] E. Glasner and B. Weiss, Quasi-factors of zero-entropy systems, J. Amer. Math. Soc., 8:665–686, 1995. [16] D. Glasscock, A. Koutsogiannis, F. Richter, Multiplicative combinatorial properties of return time sets in minimal dynamical systems, arXiv:1809.08702 [17] B. Host, B. Kra, Nonconventional ergodic averages and nilmanifolds, Ann. of Math. (2), 161(1):397– 488, 2005. [18] W. Huang, S. M. Li, S. Shao, and X. Ye, Null systems and sequence entropy pairs, Ergodic Theory Dynam. Systems, 23(5):1505–1523, 2003. [19] W. Huang, H. Li, and X. Ye, Family independence for topological and measurable dynamics, Trans. Amer. Math. Soc., 364(10):5209–5242, 2012. [20] W. Huang, J. Li, X. Ye and X. Zhou, Positive topological entropy and ∆-weakly mixing sets, Adv. Math., 306: 653–683, 2017. [21] W. Huang, X. Ye, A local variational relation and applications, Israel J. Math., 151:237–279, 2006. [22] D. Kerr, H. Li, Independence in topological and C∗-dynamics, Math. Ann., 338(4):869–926, 2007. [23] D. Kwietniak, P. Oprocha, On weak mixing, minimality and weak disjointness of all iterates, Ergodic Theory Dynam. Systems, 32:1661–1672, 2012. [24] A. Leibman, Multiple recurrence theorem for nilpotent group actions, Geometic and Functional Anal- ysis, 4: 648–659, 1994. [25] D. C. McMahon, Weak mixing and a note on a structure theorem for minimal transformation groups, Illinois J. Math., 20:186–197, 1976. [26] T.K.S. Moothathu, Diagonal points having dense orbit, Colloq. Math., 120:127–138, 2010. [27] K. Petersen, Disjointness and weak mixing of minimal sets, Proc. Amer. Math. Soc., 24: 278–280, 1970. [28] E. Szemerédi, On sets of integers containing no k elements in arithmetic progression, Acta Arith., 27: 199–245, 1975. [29] W. A. Veech, Point-distal systems, Amer. J. Math., 92: 205–242, 1970. [30] W. Veech, Topological dynamics, Bull. Amer. Math. Soc., 83(5):775–830, 1977. [31] J. de Vries. Elements of topological dynamics, volume 257 of Mathematics and its Applications. Kluwer Academic Publishers Group, Dordrecht, 1993. [32] X.Ye, D-function of a minimal set and an extension of Sharkovski˘ı’s theorem to minimal sets, Ergodic Theory Dynam. Systems, 12(2):365–376, 1992. [33] T. Ziegler, Universal characteristic factors and Furstenberg averages. J. Amer.Math. Soc., 20(1):53–97, 2007. [34] R.J. Zimmer, Extensions of ergodic group actions, Illinois J. Math., 20:373–409, 1976. [35] R.J. Zimmer, Ergodic actions with generalized discrete spectrum, Illinois J. Math., 20:555–588, 1976. TOPOLOGICALCHARACTERISTICFACTORSANDINDEPENDENCE 41

WU WEN-TSUN KEY LABORATORY OF MATHEMATICS, USTC, CHINESE ACADEMY OF SCIENCES AND DEPARTMENT OF MATHEMATICS,UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA,HEFEI, ANHUI, 230026, P.R. CHINA. E-mail address: [email protected] E-mail address: [email protected]