Showing 1–50 of 69 results for author: Glasner, E

On the class of systems which are disjoint from every ergodic system

Authors: Eli Glasner, Benjamin Weiss

Abstract: In this note we give a fairly direct proof of a recent theorem of Gorska, Lemanczyk and de la Rue which characterises the class of measure preserving transformations that are disjoint from every ergodic measure preserving transformation. Our proof works just as well for any countable acting group. In this note we give a fairly direct proof of a recent theorem of Gorska, Lemanczyk and de la Rue which characterises the class of measure preserving transformations that are disjoint from every ergodic measure preserving transformation. Our proof works just as well for any countable acting group. △ Less

Submitted 1 May, 2024; originally announced May 2024.

MSC Class: 37A25; 37A05; 37A15

The Unique stationary boundary property

Authors: Eli Glasner

Abstract: Let $G$ be a locally compact group and $μ$ an admissible probability measure on $G$. Let $(B,ν)$ be the universal topological Poisson $μ$-boundary of $(G,μ)$ and $Π_s(G)$ the universal minimal strongly proximal $G$-flow. This note is inspired by a recent result of Hartman and Kalantar. We show that for a locally compact second countable group $G$ the following conditions are equivalent: (i) the me… ▽ More Let $G$ be a locally compact group and $μ$ an admissible probability measure on $G$. Let $(B,ν)$ be the universal topological Poisson $μ$-boundary of $(G,μ)$ and $Π_s(G)$ the universal minimal strongly proximal $G$-flow. This note is inspired by a recent result of Hartman and Kalantar. We show that for a locally compact second countable group $G$ the following conditions are equivalent: (i) the measure $ν$ is the unique $μ$-stationary measure on $B$, (ii) $(B,G) \cong (Π_s(G),G)$. △ Less

Submitted 5 May, 2024; v1 submitted 28 April, 2024; originally announced April 2024.

Comments: The formulation of Theorem 2.1 is corrected, and a proof of corollary 2.2 is added

MSC Class: 22D40; 37A50; 37B05

Crossed products of dynamical systems; rigidity Vs. strong proximality

Authors: Tattwamasi Amrutam, Eli Glasner, Yair Glasner

Abstract: Given a dynamical system $(X, Γ)$, the corresponding crossed product $C^*$-algebra $C(X)\rtimes_{r}Γ$ is called reflecting, when every intermediate $C^*$-algebra $C^*_r(Γ)<\mathcal{A} < C(X)\rtimes_{r}Γ$ is of the form $\mathcal{A}=C(Y)\rtimes_{r}Γ$, corresponding to a dynamical factor $X \rightarrow Y$. It is called almost reflecting if $\mathbb{E}(\mathcal{A}) \subset \mathcal{A}$ for every such… ▽ More Given a dynamical system $(X, Γ)$, the corresponding crossed product $C^*$-algebra $C(X)\rtimes_{r}Γ$ is called reflecting, when every intermediate $C^*$-algebra $C^*_r(Γ)<\mathcal{A} < C(X)\rtimes_{r}Γ$ is of the form $\mathcal{A}=C(Y)\rtimes_{r}Γ$, corresponding to a dynamical factor $X \rightarrow Y$. It is called almost reflecting if $\mathbb{E}(\mathcal{A}) \subset \mathcal{A}$ for every such $\mathcal{A}$. These two notions coincide for groups admitting the approximation property (AP). Let $Γ$ be a non-elementary convergence group or a lattice in $\text{SL}_d(\mathbb{R})$ for some $d \ge 2$. We show that any uniformly rigid system $(X,Γ)$ is almost reflecting. In particular, this holds for any equicontinuous action. In the von Neumann setting, for the same groups $Γ$ and any uniformly rigid system $(X,\mathcal{B},μ, Γ)$ the crossed product algebra $L^{\infty}(X,μ)\rtimesΓ$ is reflecting. An inclusion of algebras $\mathcal{A}\subset\mathcal{B}$ is called $\textit{minimal ambient}$ if there are no intermediate algebras. As a demonstration of our methods, we construct examples of minimal ambient inclusions with various interesting properties in the $C^*$ and the von Neumann settings. △ Less

Submitted 6 May, 2024; v1 submitted 15 April, 2024; originally announced April 2024.

Comments: Minor typos corrected

MSC Class: 46L55; 37A55; 37B05

On intermediate factors of a product of disjoint systems

Authors: Eli Glasner, Benjamin Weiss

Abstract: We consider an intermediate factor situation in two categories: probability measure preserving ergodic theory and compact topological dynamics. In the first we prove a master-key theorem and examine a wide range of applications. In the second we treat the case when one of the systems is distal and then provide some counterexamples. We consider an intermediate factor situation in two categories: probability measure preserving ergodic theory and compact topological dynamics. In the first we prove a master-key theorem and examine a wide range of applications. In the second we treat the case when one of the systems is distal and then provide some counterexamples. △ Less

Submitted 17 June, 2025; v1 submitted 6 December, 2023; originally announced December 2023.

MSC Class: 37A15; 37A35; 37B05

Non-Abelian Factors for Actions of $\mathbb{Z}$ and Other Non-$C^*$-Simple Groups

Authors: Tattwamasi Amrutam, Eli Glasner, Yair Glasner

Abstract: Let $Γ$ be a countable group and $(X, Γ)$ a compact topological dynamical system. We study the question of the existence of an intermediate $C^*$-subalgebra $\mathcal{A}$ $$C^{*}_{r}(Γ)<\mathcal{A}<C(X)\rtimes_rΓ,$$ which is not of the form $\mathcal{A} = C(Y) \rtimes_r Γ$, corresponding to a factor map $(X,Γ) \to (Y,Γ)$. Here $ C^{*}_{r} (Γ)$ and $C(X) \rtimes_r Γ$ are the reduced $C^*$-algebras… ▽ More Let $Γ$ be a countable group and $(X, Γ)$ a compact topological dynamical system. We study the question of the existence of an intermediate $C^*$-subalgebra $\mathcal{A}$ $$C^{*}_{r}(Γ)<\mathcal{A}<C(X)\rtimes_rΓ,$$ which is not of the form $\mathcal{A} = C(Y) \rtimes_r Γ$, corresponding to a factor map $(X,Γ) \to (Y,Γ)$. Here $ C^{*}_{r} (Γ)$ and $C(X) \rtimes_r Γ$ are the reduced $C^*$-algebras of $Γ$ and $(X,Γ)$ respectively. Our main results are (1) For $Γ$, which is not $C^*$-simple, if $(X,Γ)$ admits a $Γ$-invariant probability measure, then such a sub-algebra always exists. (2) For $Γ= \mathbb{Z}$ and $(X, Γ)$ an irrational rotation of the circle $X = S^1$, we give a full description of all these non-crossed-product subalgebras. △ Less

Submitted 15 April, 2024; v1 submitted 25 June, 2023; originally announced June 2023.

Comments: All the changes suggested by the referee have been implemented. There is a change in the title, which aptly describes the paper's contents. The paper has been accepted into the Journal of Functional Analysis

MSC Class: 46L55; 37A55; 37B05;

More on tame dynamical systems

Authors: Eli Glasner, Michael Megrelishvili

Abstract: In this work, on the one hand, we survey and amplify old results concerning tame dynamical systems and, on the other, prove some new results and exhibit new examples of such systems. In particular, we study tame symbolic systems and establish a neat characterization of tame subshifts. We also provide sufficient conditions which ensure that certain coding functions are tame. Finally we discuss exam… ▽ More In this work, on the one hand, we survey and amplify old results concerning tame dynamical systems and, on the other, prove some new results and exhibit new examples of such systems. In particular, we study tame symbolic systems and establish a neat characterization of tame subshifts. We also provide sufficient conditions which ensure that certain coding functions are tame. Finally we discuss examples where certain universal dynamical systems associated with some Polish groups are tame. △ Less

Submitted 19 February, 2023; originally announced February 2023.

Comments: 32 pages, revised proof of Theorem 6.8. arXiv admin note: substantial text overlap with arXiv:1405.2588

MSC Class: 37Bxx; 46-xx; 54H15; 26A45

Journal ref: Lecture Notes in Mathematics, v. 2213, Ergodic Theory and Dynamical Systems in their Interactions with Arithmetics and Combinatorics, Eds.: S. Ferenczi, J. Kulaga-Przymus, M. Lemanczyk, Springer, 2018, pp. 351--392

Rigid topologies on groups

Authors: Eli Glasner, Benjamin Weiss

Abstract: Our main result is to show that every infinite, countable, residually finite group $G$ admits a Hausdorff group topology which is neither discrete nor precompact. Our main result is to show that every infinite, countable, residually finite group $G$ admits a Hausdorff group topology which is neither discrete nor precompact. △ Less

Submitted 1 July, 2023; v1 submitted 25 December, 2022; originally announced December 2022.

MSC Class: Primary 20E26; Secondary 37B20

An ergodic system is dominant exactly when it has positive entropy

Authors: Tim Austin, Eli Glasner, Jean-Paul Thouvenot, Benjamin Weiss

Abstract: An ergodic dynamical system $\mathbf{X}$ is called dominant if it is isomorphic to a generic extension of itself. It was shown in an earlier paper by Glasner, Thouvenot and Weiss that Bernoulli systems with finite entropy are dominant. In this work we show first that every ergodic system with positive entropy is dominant, and then that if $\mathbf{X}$ has zero entropy then it is not dominant. An ergodic dynamical system $\mathbf{X}$ is called dominant if it is isomorphic to a generic extension of itself. It was shown in an earlier paper by Glasner, Thouvenot and Weiss that Bernoulli systems with finite entropy are dominant. In this work we show first that every ergodic system with positive entropy is dominant, and then that if $\mathbf{X}$ has zero entropy then it is not dominant. △ Less

Submitted 7 December, 2021; originally announced December 2021.

MSC Class: 37A25; 37A05; 37A15; 37A20

On a question of Kazhdan and Yom Din

Authors: Eli Glasner

Abstract: Studying a question of Kazhdan and Yom Din we first prove some new fixed point theorems for linear actions of a discrete countable group $G$ on a dual Banach space $V^*$, and then show that the answer to the question in full generality is in the negative. Studying a question of Kazhdan and Yom Din we first prove some new fixed point theorems for linear actions of a discrete countable group $G$ on a dual Banach space $V^*$, and then show that the answer to the question in full generality is in the negative. △ Less

Submitted 13 April, 2022; v1 submitted 14 November, 2021; originally announced November 2021.

Comments: An appendix by Nicolas Monod is added

MSC Class: 37C25; 37B05; 37A40

A family of distal functions and multipliers for strict ergodicity

Authors: Eli Glasner

Abstract: We give two proofs to an old result of E. Salehi, showing that the Weyl subalgebra $\mathcal{W}$ of $\ell^\infty(\mathbb{Z})$ is a proper subalgebra of $\mathcal{D}$, the algebra of distal functions. We also show that the family $\mathcal{S}^d$ of strictly ergodic functions in $\mathcal{D}$ does not form an algebra and hence in particular does not coincide with $\mathcal{W}$. We then use similar c… ▽ More We give two proofs to an old result of E. Salehi, showing that the Weyl subalgebra $\mathcal{W}$ of $\ell^\infty(\mathbb{Z})$ is a proper subalgebra of $\mathcal{D}$, the algebra of distal functions. We also show that the family $\mathcal{S}^d$ of strictly ergodic functions in $\mathcal{D}$ does not form an algebra and hence in particular does not coincide with $\mathcal{W}$. We then use similar constructions to show that a function which is a multiplier for strict ergodicity, either within $\mathcal{D}$ or in general, is necessarily a constant. An example of a metric, strictly ergodic, distal flow is constructed which admits a non-strictly ergodic $2$-fold minimal self-joining. It then follows that the enveloping group of this flow is not strictly ergodic (as a $T$-flow). Finally we show that the distal, strictly ergodic Heisenberg nil-flow is relatively disjoint over its largest equicontinuous factor from $|\mathcal{W}|$. △ Less

Submitted 3 July, 2021; v1 submitted 20 June, 2021; originally announced June 2021.

MSC Class: 37B05; 37A05

Todorcević' trichotomy and a hierarchy in the class of tame dynamical systems

Authors: Eli Glasner, Michael Megrelishvili

Abstract: Todorcević' trichotomy in the class of separable Rosenthal compacta induces a hierarchy in the class of tame (compact, metrizable) dynamical systems $(X,T)$ according to the topological properties of their enveloping semigroups $E(X)$. More precisely, we define the classes $\mathrm{Tame}_\mathbf{2} \subset \mathrm{Tame}_\mathbf{1} \subset \mathrm{Tame},$ where $\mathrm{Tame}_\mathbf{1}$ is the pro… ▽ More Todorcević' trichotomy in the class of separable Rosenthal compacta induces a hierarchy in the class of tame (compact, metrizable) dynamical systems $(X,T)$ according to the topological properties of their enveloping semigroups $E(X)$. More precisely, we define the classes $\mathrm{Tame}_\mathbf{2} \subset \mathrm{Tame}_\mathbf{1} \subset \mathrm{Tame},$ where $\mathrm{Tame}_\mathbf{1}$ is the proper subclass of tame systems with first countable $E(X)$, and $\mathrm{Tame}_\mathbf{2}$ is its proper subclass consisting of systems with hereditarily separable $E(X)$. We study some general properties of these classes and exhibit many examples to illustrate these properties. △ Less

Submitted 9 July, 2021; v1 submitted 9 November, 2020; originally announced November 2020.

Comments: 37 pages, to appear in Trans. AMS

MSC Class: 37Bxx; 54H15; 54H05; 54F05

On some generic classes of ergodic measure preserving transformations

Authors: Eli Glasner, Jean-Paul Thouvenot, Benjamin Weiss

Abstract: We answer positively a question of Ryzhikov, namely we show that being a relatively weakly mixing extension is a comeager property in the Polish group of measure preserving transformations. We study some related classes of ergodic transformations and their interrelations. In the second part of the paper we show that for a fixed ergodic T with property A, a generic extension $\hat{T}$ of T also has… ▽ More We answer positively a question of Ryzhikov, namely we show that being a relatively weakly mixing extension is a comeager property in the Polish group of measure preserving transformations. We study some related classes of ergodic transformations and their interrelations. In the second part of the paper we show that for a fixed ergodic T with property A, a generic extension $\hat{T}$ of T also has the property A. Here A stands for each of the following properties: (i) having the same entropy as T, (ii) Bernoulli, (iii) K, and (iv) loosely Bernoulli. △ Less

Submitted 4 September, 2021; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: Corrections to the proof of Theorem 6.1

MSC Class: 37A25; 37A05; 37A15; 37A20

Topological characteristic factors and nilsystems

Authors: Eli Glasner, Wen Huang, Song Shao, Benjamin Weiss, Xiangdong Ye

Abstract: We prove that the maximal infinite step pro-nilfactor $X_\infty$ of a minimal dynamical system $(X,T)$ is the topological characteristic factor in a certain sense. Namely, we show that by an almost one to one modification of $π:X \rightarrow X_\infty$, the induced open extension $π^*:X^* \rightarrow X^*_\infty$ has the following property: for $x$ in a dense $G_δ$ set of $X^*$, the orbit closure… ▽ More We prove that the maximal infinite step pro-nilfactor $X_\infty$ of a minimal dynamical system $(X,T)$ is the topological characteristic factor in a certain sense. Namely, we show that by an almost one to one modification of $π:X \rightarrow X_\infty$, the induced open extension $π^*:X^* \rightarrow X^*_\infty$ has the following property: for $x$ in a dense $G_δ$ set of $X^*$, the orbit closure $L_x=\overline{\mathcal{O}}((x,x,\ldots,x), T\times T^2\times \ldots \times T^d)$ is $(π^*)^{(d)}$-saturated, i.e. $L_x=((π^*)^{(d)})^{-1}(π^*)^{(d)}(L_x)$. Using results derived from the above fact, we are able to answer several open questions: (1) if $(X,T^k)$ is minimal for some $k\ge 2$, then for any $d\in {\mathbb N}$ and any $0\le j<k$ there is a sequence $\{n_i\}$ of $\mathbb Z$ with $n_i\equiv j\ (\text{mod}\ k)$ such that $T^{n_i}x\rightarrow x, T^{2n_i}x\rightarrow x, \ldots, T^{dn_i}x\rightarrow x$ for $x$ in a dense $G_δ$ subset of $X$; (2) if $(X,T)$ is totally minimal, then $\{T^{n^2}x:n\in {\mathbb Z}\}$ is dense in $X$ for $x$ in a dense $G_δ$ subset of $X$; (3) for any $d\in\mathbb N$ and any minimal system, which is an open extension of its maximal distal factor, ${\bf RP}^{[d]}={\bf AP}^{[d]}$, where the latter is the regionally proximal relation of order $d$ along arithmetic progressions. △ Less

Submitted 22 June, 2020; originally announced June 2020.

Comments: 49 pages

A generic distal tower of arbitrary countable height over an arbitrary infinite ergodic system

Authors: Eli Glasner, Benjamin Weiss

Abstract: We show the existence, over an arbitrary infinite ergodic $\mathbb{Z}$-dynamical system, of a generic ergodic relatively distal extension of arbitrary countable rank and arbitrary infinite compact extending groups (or more generally, infinite quotients of compact groups) in its canonical distal tower. We show the existence, over an arbitrary infinite ergodic $\mathbb{Z}$-dynamical system, of a generic ergodic relatively distal extension of arbitrary countable rank and arbitrary infinite compact extending groups (or more generally, infinite quotients of compact groups) in its canonical distal tower. △ Less

Submitted 15 September, 2020; v1 submitted 14 May, 2020; originally announced May 2020.

Comments: Improved presentation and corrected misprints

MSC Class: 3720; 37B35

Regionally proximal relation of order $d$ along arithmetic progressions and nilsystems

Authors: Eli Glasner, Wen Huang, Song Shao, Xiangdong Ye

Abstract: The regionally proximal relation of order $d$ along arithmetic progressions, namely ${\bf AP}^{[d]}$ for $d\in \N$, is introduced and investigated. It turns out that if $(X,T)$ is a topological dynamical system with ${\bf AP}^{[d]}=Δ$, then each ergodic measure of $(X,T)$ is isomorphic to a $d$-step pro-nilsystem, and thus $(X,T)$ has zero entropy. Moreover, it is shown that if $(X,T)$ is a stri… ▽ More The regionally proximal relation of order $d$ along arithmetic progressions, namely ${\bf AP}^{[d]}$ for $d\in \N$, is introduced and investigated. It turns out that if $(X,T)$ is a topological dynamical system with ${\bf AP}^{[d]}=Δ$, then each ergodic measure of $(X,T)$ is isomorphic to a $d$-step pro-nilsystem, and thus $(X,T)$ has zero entropy. Moreover, 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 ${\bf AP}^{[d]}={\bf RP}^{[d]}$ for each $d\in {\mathbb N}$. It follows that for a minimal $\infty$-pro-nilsystem, ${\bf AP}^{[d]}={\bf RP}^{[d]}$ for each $d\in {\mathbb N}$. An example which is a strictly ergodic distal system with discrete spectrum whose maximal equicontinuous factor is not isomorphic to the Kronecker factor is constructed. △ Less

Submitted 12 November, 2019; originally announced November 2019.

On the virtual automorphism group of a minimal flow

Authors: Joseph Auslander, Eli Glasner

Abstract: We introduce the notions "virtual automorphism group" of a minimal flow and "semi-regular flow" and investigate the relationship between the virtual and actual group of automorphisms. We introduce the notions "virtual automorphism group" of a minimal flow and "semi-regular flow" and investigate the relationship between the virtual and actual group of automorphisms. △ Less

Submitted 19 June, 2019; originally announced June 2019.

MSC Class: 37B05; 54H20

Journal ref: Ergod. Th. Dynam. Sys. 41 (2021) 1281-1295

Bernoulli disjointness

Authors: Eli Glasner, Todor Tsankov, Benjamin Weiss, Andy Zucker

Abstract: Generalizing a result of Furstenberg, we show that for every infinite discrete group $G$, the Bernoulli flow $2^G$ is disjoint from every minimal $G$-flow. From this, we deduce that the algebra generated by the minimal functions $\mathfrak{A}(G)$ is a proper subalgebra of $\ell^\infty(G)$ and that the enveloping semigroup of the universal minimal flow $M(G)$ is a proper quotient of the universal e… ▽ More Generalizing a result of Furstenberg, we show that for every infinite discrete group $G$, the Bernoulli flow $2^G$ is disjoint from every minimal $G$-flow. From this, we deduce that the algebra generated by the minimal functions $\mathfrak{A}(G)$ is a proper subalgebra of $\ell^\infty(G)$ and that the enveloping semigroup of the universal minimal flow $M(G)$ is a proper quotient of the universal enveloping semigroup $βG$. When $G$ is countable, we also prove that for any metrizable, minimal $G$-flow, there exists a free, minimal flow disjoint from it and that there exist continuum many mutually disjoint minimal, free, metrizable $G$-flows. Finally, improving a result of Frisch, Tamuz, and Vahidi Ferdowsi and answering a question of theirs, we show that if $G$ is a countable icc group, then it admits a free, minimal, proximal flow. △ Less

Submitted 18 August, 2020; v1 submitted 10 January, 2019; originally announced January 2019.

Comments: 28 pages; some details added, minor corrections

MSC Class: 37B05 (Primary) 37B10; 54H20 (Secondary)

Journal ref: Duke Math. J. 170, no. 4 (2021), 615-651

Irregular model sets and tame dynamics

Authors: Gabriel Fuhrmann, Eli Glasner, Tobias Jäger, Christian Oertel

Abstract: We study the dynamical properties of irregular model sets and show that the translation action on their hull always admits an infinite independence set. The dynamics can therefore not be tame and the topological sequence entropy is strictly positive. Extending the proof to a more general setting, we further obtain that tame implies regular for almost automorphic group actions on compact spaces. In… ▽ More We study the dynamical properties of irregular model sets and show that the translation action on their hull always admits an infinite independence set. The dynamics can therefore not be tame and the topological sequence entropy is strictly positive. Extending the proof to a more general setting, we further obtain that tame implies regular for almost automorphic group actions on compact spaces. In the converse direction, we show that even in the restrictive case of Euclidean cut and project schemes irregular model sets may be uniquely ergodic and have zero topological entropy. This provides negative answers to questions by Schlottmann and Moody in the Euclidean setting. △ Less

Submitted 15 November, 2018; originally announced November 2018.

Comments: 22 pages

MSC Class: 52C23; 37B50; 37B10

On the disjointness property of groups and a conjecture of Furstenberg

Authors: Eli Glasner, Benjamin Weiss

Abstract: In his seminal 1967 paper "Disjointness in ergodic theory, minimal sets, and a problem in Diophantine approximation" Furstenberg introduced the notion of disjointness of dynamical systems, both topological and measure preserving. In this paper he showed that for actions of the integers the Bernoulli system $Ω= \{0, 1\}^\mathbb{Z}$, is disjoint from every minimal system, and that the subring $R_0$,… ▽ More In his seminal 1967 paper "Disjointness in ergodic theory, minimal sets, and a problem in Diophantine approximation" Furstenberg introduced the notion of disjointness of dynamical systems, both topological and measure preserving. In this paper he showed that for actions of the integers the Bernoulli system $Ω= \{0, 1\}^\mathbb{Z}$, is disjoint from every minimal system, and that the subring $R_0$, over the field $\mathbb{Z}_2 =\{0, 1\}$, generated by the minimal functions in $Ω$, is a proper subset of $Ω$. He conjectured that a similar result holds in general and in our 1983 work "Interpolation sets for subalgebras of $l^\infty(\mathbb{Z})$" we confirmed this by showing that the closed subalgebra $\mathfrak{A}$ of $l^\infty(\mathbb{Z})$, generated by the minimal functions, is a proper subalgebra of $l^\infty(\mathbb{Z})$. In this work we generalize these results to a large class of groups. We call a countable group $G$ a DJ group if for every metrizable minimal action of $G$ there exists an essentially free minimal action disjoint from it. We show that amenable groups are DJ and that the DJ property is preserved under direct products. We define a simple dynamical condition DDJ on minimal systems, which is a strengthening of the Gottchalk-Hedlund property, and we say that a group $G$ is DDJ if every minimal $G$-system has this property. The DJ property implies DDJ and by means of an intricate construction we show that every finitely generated DDJ group is also DJ. Residually finite, maximally almost periodic and $C^*$-simple groups are all DDJ. Finally we show that Furstenberg's conjecture holds for every DDJ group. △ Less

Submitted 14 January, 2019; v1 submitted 23 July, 2018; originally announced July 2018.

Comments: This work is now superseded by arXiv:1901.03406

MSC Class: 37B05; 37B10; 37A15; 54H20

Group actions on treelike compact spaces

Authors: Eli Glasner, Michael Megrelishvili

Abstract: We show that group actions on many treelike compact spaces are not too complicated dynamically. We first observe that an old argument of Seidler implies that every action of a topological group $G$ on a regular continuum is null and therefore also tame. As every local dendron is regular, one concludes that every action of $G$ on a local dendron is null. We then use a more direct method to show tha… ▽ More We show that group actions on many treelike compact spaces are not too complicated dynamically. We first observe that an old argument of Seidler implies that every action of a topological group $G$ on a regular continuum is null and therefore also tame. As every local dendron is regular, one concludes that every action of $G$ on a local dendron is null. We then use a more direct method to show that every continuous group action of $G$ on a dendron is Rosenthal representable, hence also tame. Similar results are obtained for median pretrees. As a related result we show that Helly's selection principle can be extended to bounded monotone sequences defined on median pretrees (e.g., dendrons or linearly ordered sets). Finally, we point out some applications of these results to continuous group actions on dendrites. △ Less

Submitted 4 June, 2019; v1 submitted 26 June, 2018; originally announced June 2018.

Comments: 22 pages

MSC Class: 37Bxx; 54H20; 54H15; 22A25

Journal ref: SCIENCE CHINA Mathematics, 2019

Circular orders, ultra-homogeneous order structures and their automorphism groups

Authors: Eli Glasner, Michael Megrelishvili

Abstract: We study topological groups $G$ for which the universal minimal $G$-system $M(G)$, or the universal irreducible affine $G$-system $IA(G)$ are tame. We call such groups intrinsically tame and convexly intrinsically tame. These notions are generalized versions of extreme amenability and amenability, respectively. When $M(G)$, as a $G$-system, admits a circular order we say that $G$ is intrinsically… ▽ More We study topological groups $G$ for which the universal minimal $G$-system $M(G)$, or the universal irreducible affine $G$-system $IA(G)$ are tame. We call such groups intrinsically tame and convexly intrinsically tame. These notions are generalized versions of extreme amenability and amenability, respectively. When $M(G)$, as a $G$-system, admits a circular order we say that $G$ is intrinsically circularly ordered. This implies that $G$ is intrinsically tame. We show that for every circularly ultrahomogeneous action $G \curvearrowright X$ on a circularly ordered set $X$ the topological group $G$, in its pointwise convergence topology, is intrinsically circularly ordered. This result is a "circular" analog of Pestov's result about the extremal amenability of ultrahomogeneous actions on linearly ordered sets by linear order preserving transformations. In the case where $X$ is countable, the corresponding Polish group of circular automorphisms $G$ admits a concrete description. Using the Kechris-Pestov-Todorcevic construction we show that $M(G)$ is a circularly ordered compact space obtained by splitting the rational points on the circle. We show also that $G$ is Roelcke precompact, satisfies Kazhdan's property $T$ (using results of Evans-Tsankov) and has the automatic continuity property (using results of Rosendal-Solecki). △ Less

Submitted 20 March, 2022; v1 submitted 17 March, 2018; originally announced March 2018.

Comments: 23 pages, corrections in Theorem 4.9

MSC Class: Primary 37Bxx; Secondary 54H20; 54H15; 22A25

Journal ref: chapter in: Topology, Geometry, and Dynamics: V. A. Rokhlin-Memorial, Contemp. Math. 772 (2021), eds.: A.M. Vershik, V.M. Buchstaber, A.V. Malyutin

Distal strongly ergodic actions

Authors: Eli Glasner, Benjamin Weiss

Abstract: Let $η$ be an arbitrary countable ordinal. Using results of Bourgain and Gamburd on compact systems with spectral gap we show the existence of an action of the free group on three generators $F_3$ on a compact metric space $X$, admitting an invariant probability measure $μ$, such that the resulting dynamical system $(X, μ, F_3)$ is strongly ergodic and distal of rank $η$. In particular this shows… ▽ More Let $η$ be an arbitrary countable ordinal. Using results of Bourgain and Gamburd on compact systems with spectral gap we show the existence of an action of the free group on three generators $F_3$ on a compact metric space $X$, admitting an invariant probability measure $μ$, such that the resulting dynamical system $(X, μ, F_3)$ is strongly ergodic and distal of rank $η$. In particular this shows that there is a $F_3$ system which is strongly ergodic but not compact. This result answers the open question whether such actions exist. △ Less

Submitted 24 September, 2020; v1 submitted 4 March, 2018; originally announced March 2018.

Comments: A section is added where we show the existence of distal strongly ergodic $F_3$-systems of arbitrary countable rank. A few corrections of some mathematical errors and some misprints

MSC Class: 54H20; 37B05; 22D40

A minimal PI cascade with $2^{\mathfrak{c}}$ minimal ideals

Authors: Eli Glasner, Yair Glasner

Abstract: We first improve an old result of McMahon and show that a metric minimal flow whose enveloping semigroup contains less than $2^{\mathfrak{c}}$ (where ${\mathfrak{c}} ={2^{\aleph_0}}$) minimal left ideals is PI. Then we show the existence of various minimal PI flows with many minimal left ideals, as follows. For the acting group $G=SL_2(\mathbb{R})^\mathbb{N}$, we construct a metric minimal PI $G$-… ▽ More We first improve an old result of McMahon and show that a metric minimal flow whose enveloping semigroup contains less than $2^{\mathfrak{c}}$ (where ${\mathfrak{c}} ={2^{\aleph_0}}$) minimal left ideals is PI. Then we show the existence of various minimal PI flows with many minimal left ideals, as follows. For the acting group $G=SL_2(\mathbb{R})^\mathbb{N}$, we construct a metric minimal PI $G$-flow with $\mathfrak{c}$ minimal left ideals. We then use this example and results established in \cite{GW-79} to construct a metric minimal PI cascade $(X,T)$ with $\mathfrak{c}$ minimal left ideals. We go on and construct an example of a minimal PI-flow $(Y, \mathcal{G})$ on a compact manifold $Y$ and a suitable path-wise connected group $\mathcal{G}$ of homeomorphism of $Y$, such that the flow $(Y, \mathcal{G})$ is PI and has $2^{\mathfrak{c}}$ minimal left ideals. Finally, we use this latter example and a theorem of Dirbák to construct a cascade $(X, T)$ which is PI (of order 3) and has $2^\mathfrak{c}$ minimal left ideals. Thus this final result shows that, even for cascades, the converse of the implication "less than $2^\mathfrak{c}$ minimal left ideals implies PI", fails. △ Less

Submitted 4 March, 2018; v1 submitted 10 January, 2018; originally announced January 2018.

Comments: Minor changes and corrections. To appear in ETDS

MSC Class: 54H20; 37B05 (Primary)

On minimal actions of countable groups

Authors: Eli Glasner, Benjamin Weiss

Abstract: Our purpose here is to review some recent developments in the theory of dynamical systems whose common theme is a link between minimal dynamical systems, certain Ramsey type combinatorial properties, and the Lovasz local lemma (LLL). For a general countable group G the two classes of minimal systems we will deal with are (I) the minimal subsystems of the {\em subgroup system} (Sub(G), G), called U… ▽ More Our purpose here is to review some recent developments in the theory of dynamical systems whose common theme is a link between minimal dynamical systems, certain Ramsey type combinatorial properties, and the Lovasz local lemma (LLL). For a general countable group G the two classes of minimal systems we will deal with are (I) the minimal subsystems of the {\em subgroup system} (Sub(G), G), called URS's (uniformly recurrent subgroups), and (II) minimal {\em subshifts}; i.e. subsystems of the binary Bernoulli G-shift ({0, 1}^G, {\sig_g}_{g \in G}). △ Less

Submitted 10 January, 2018; originally announced January 2018.

Comments: An invited review

MSC Class: 54H20; 05D10; 37A50 (Primary); 20E99; 37B10 (Secondary)

On weak rigidity and weakly mixing enveloping semigroups

Authors: Ethan Akin, Eli Glasner, Benjamin Weiss

Abstract: The question we deal with here, which was presented to us by Joe Auslander and Anima Nagar, is whether there is a nontrivial cascade (X,T) whose enveloping semigroup, as a dynamical system, is topologically weakly mixing (WM). After an introductory section recalling some definitions and classic results, we establish some necessary conditions for this to happen, and in the final section we show, us… ▽ More The question we deal with here, which was presented to us by Joe Auslander and Anima Nagar, is whether there is a nontrivial cascade (X,T) whose enveloping semigroup, as a dynamical system, is topologically weakly mixing (WM). After an introductory section recalling some definitions and classic results, we establish some necessary conditions for this to happen, and in the final section we show, using Ratner's theory, that the enveloping semigroup of the `time one map' of a classical horocycle flow is weakly mixing. △ Less

Submitted 16 November, 2018; v1 submitted 8 November, 2017; originally announced November 2017.

MSC Class: 54H20; 37B05

On universal minimal proximal flows of topological groups

Authors: Xiongping Dai, Eli Glasner

Abstract: In this paper, we show that the action of a characteristically simple, non-extremely amenable (non-strongly amenable, non-amenable) group on its universal minimal (minimal proximal, minimal strongly proximal) flow is effective. We present necessary and sufficient conditions, for the action of a topological group with trivial center on its universal minimal proximal flow, to be effective. A theorem… ▽ More In this paper, we show that the action of a characteristically simple, non-extremely amenable (non-strongly amenable, non-amenable) group on its universal minimal (minimal proximal, minimal strongly proximal) flow is effective. We present necessary and sufficient conditions, for the action of a topological group with trivial center on its universal minimal proximal flow, to be effective. A theorem of Furstenberg about the isomorphism of the universal minimal proximal flows of a discrete group and its subgroups of finite index ([Theorem~II.4.4]) is strengthened. Finally, for a pair of groups $H < G$ the same method is applied in order to extend the action of $H$ on its universal minimal proximal flow to an action of its commensurator group $\mathrm{Comm}_G(H)$. △ Less

Submitted 8 August, 2017; originally announced August 2017.

Comments: 14 pages. Comments are welcome

MSC Class: 37B05

Relative weak mixing is generic

Authors: Eli Glasner, Benjamin Weiss

Abstract: A classical result of Halmos asserts that among measure preserving transformations the weak mixing property is generic. We extend Halmos' result to the collection of ergodic extensions of a fixed, but arbitrary, ergodic transformation $T_0$. We then use a result of Connes, Feldman and Weiss to extend this relative theorem to the general (countable) amenable group. A classical result of Halmos asserts that among measure preserving transformations the weak mixing property is generic. We extend Halmos' result to the collection of ergodic extensions of a fixed, but arbitrary, ergodic transformation $T_0$. We then use a result of Connes, Feldman and Weiss to extend this relative theorem to the general (countable) amenable group. △ Less

Submitted 23 July, 2018; v1 submitted 20 July, 2017; originally announced July 2017.

MSC Class: 37A25; 37A05; 37A15; 37A20

The structure of tame minimal dynamical systems for general groups

Authors: Eli Glasner

Abstract: We use the structure theory of minimal dynamical systems to show that, for a general group $Γ$, a tame, metric, minimal dynamical system $(X, Γ)$ has the following structure: \begin{equation*} \xymatrix {& \tilde{X} \ar[dd]_π\ar[dl]_η& X^* \ar[l]_-{θ^*} \ar[d]^ι \ar@/^2pc/@{>}^{π^*}[dd]\\ X & & Z \ar[d]^σ\\ & Y & Y^* \ar[l]^θ} \end{equation*} Here (i) $\tilde{X}$ is a metric minimal and tame syste… ▽ More We use the structure theory of minimal dynamical systems to show that, for a general group $Γ$, a tame, metric, minimal dynamical system $(X, Γ)$ has the following structure: \begin{equation*} \xymatrix {& \tilde{X} \ar[dd]_π\ar[dl]_η& X^* \ar[l]_-{θ^*} \ar[d]^ι \ar@/^2pc/@{>}^{π^*}[dd]\\ X & & Z \ar[d]^σ\\ & Y & Y^* \ar[l]^θ} \end{equation*} Here (i) $\tilde{X}$ is a metric minimal and tame system (ii) $η$ is a strongly proximal extension, (iii) $Y$ is a strongly proximal system, (iv) $π$ is a point distal and RIM extension with unique section, (v) $θ$, $θ^*$ and $ι$ are almost one-to-one extensions, and (vi) $σ$ is an isometric extension. When the map $π$ is also open this diagram reduces to \begin{equation*} \xymatrix {& \tilde{X} \ar[dl]_η\ar[d]^ι \ar@/^2pc/@{>}^π[dd]\\ X & Z \ar[d]^σ\\ & Y } \end{equation*} In general the presence of the strongly proximal extension $η$ is unavoidable. If the system $(X, Γ)$ admits an invariant measure $μ$ then $Y$ is trivial and $X = \tilde{X}$ is an almost automorphic system; i.e. $X \oversetι{\to} Z$, where $ι$ is an almost one-to-one extension and $Z$ is equicontinuous. Moreover, $μ$ is unique and $ι$ is a measure theoretical isomorphism $ι: (X,μ, Γ) \to (Z, λ, Γ)$, with $λ$ the Haar measure on $Z$. Thus, this is always the case when $Γ$ is amenable. △ Less

Submitted 1 July, 2017; originally announced July 2017.

Comments: 27 pages; to appear in Invent. Math. arXiv admin note: substantial text overlap with arXiv:math/0609503

MSC Class: 54H20

Higher order regionally proximal equivalence relations for general minimal group actions

Authors: Eli Glasner, Yonatan Gutman, XiangDong Ye

Abstract: We introduce higher order regionally proximal relations suitable for an arbitrary acting group. For minimal abelian group actions, these relations coincide with the ones introduced by Host, Kra and Maass. Our main result is that these relations are equivalence relations whenever the action is minimal. This was known for abelian actions by a result of Shao and Ye. We also show that these relations… ▽ More We introduce higher order regionally proximal relations suitable for an arbitrary acting group. For minimal abelian group actions, these relations coincide with the ones introduced by Host, Kra and Maass. Our main result is that these relations are equivalence relations whenever the action is minimal. This was known for abelian actions by a result of Shao and Ye. We also show that these relations lift through extensions between minimal systems. Answering a question by Tao, given a minimal system, we prove that the regionally proximal equivalence relation of order $d$ corresponds to the maximal dynamical Antolín Camarena--Szegedy nilspace factor of order at most $d$. In particular the regionally proximal equivalence relation of order one corresponds to the maximal abelian group factor. Finally by using a result of Gutman, Manners and Varjú under some restrictions on the acting group, it follows that the regionally proximal equivalence relation of order $d$ corresponds to the maximal pronilfactor of order at most $d$ (a factor which is an inverse limit of nilsystems of order at most $d$). △ Less

Submitted 2 May, 2018; v1 submitted 22 June, 2017; originally announced June 2017.

Comments: To appear in Advances in Mathematics

MSC Class: 37C15; 37B20

Circularly ordered dynamical systems

Authors: Eli Glasner, Michael Megrelishvili

Abstract: We study topological properties of circularly ordered dynamical systems and prove that every such system is representable on a Rosenthal Banach space, hence, is also tame. We derive some consequences for topological groups. We show that several Sturmian like symbolic $\mathbb{Z}^k$-systems are circularly ordered. Using some old results we characterize circularly ordered minimal cascades. We study topological properties of circularly ordered dynamical systems and prove that every such system is representable on a Rosenthal Banach space, hence, is also tame. We derive some consequences for topological groups. We show that several Sturmian like symbolic $\mathbb{Z}^k$-systems are circularly ordered. Using some old results we characterize circularly ordered minimal cascades. △ Less

Submitted 30 August, 2016; v1 submitted 17 August, 2016; originally announced August 2016.

Comments: 21 pages

MSC Class: 37Bxx; 46-xx (Primary); 54H15; 26A45 (Secondary)

Short proofs of theorems of Malyutin and Margulis

Authors: Eli Glasner

Abstract: The Ghys-Margulis alternative asserts that a subgroup $G$ of homeomorphisms of the circle which does not contain a free subgroup on two generators must admit an invariant probability measure. Malyutin's theorem classifies minimal actions of $G$. We present a short proof of Malyutin's theorem and then deduce Margulis' theorem which confirms the G-M alternative. The basic ideas are borrowed from the… ▽ More The Ghys-Margulis alternative asserts that a subgroup $G$ of homeomorphisms of the circle which does not contain a free subgroup on two generators must admit an invariant probability measure. Malyutin's theorem classifies minimal actions of $G$. We present a short proof of Malyutin's theorem and then deduce Margulis' theorem which confirms the G-M alternative. The basic ideas are borrowed from the original work of Malyutin but the use of the apparatus of the enveloping semigroup enables us to shorten the proof considerably. △ Less

Submitted 3 June, 2016; v1 submitted 15 May, 2016; originally announced May 2016.

MSC Class: 54H20; 37B05; 20B07

Affinely prime dynamical systems

Authors: Hillel Furstenberg, Eli Glasner, Benjamin Weiss

Abstract: We study representations of groups by "affine" automorphisms of compact, convex spaces, with special focus on "irreducible" representations: equivalently "minimal" actions. When the group in question is PSL(2,R), we exhibit a one-one correspondence between bounded harmonic functions on the upper half-plane and a certain class of irreducible representations. Our analysis shows that, surprisingly, a… ▽ More We study representations of groups by "affine" automorphisms of compact, convex spaces, with special focus on "irreducible" representations: equivalently "minimal" actions. When the group in question is PSL(2,R), we exhibit a one-one correspondence between bounded harmonic functions on the upper half-plane and a certain class of irreducible representations. Our analysis shows that, surprisingly, all these representations are equivalent. In fact we find that all irreducible affine representations of this group are equivalent. The key to this is a property we call "linear Stone-Weierstrass" for group actions on compact spaces, which, if it holds for the "universal strongly proximal space" of the group (to be defined) then the induced action on the space of probability measures on this space is the unique irreducible affine representation of the group. △ Less

Submitted 16 December, 2015; originally announced December 2015.

On doubly minimal systems and a question regarding product recurrence

Authors: Eli Glasner, Benjamin Weiss

Abstract: We show that a doubly minimal system $X$ has the property that for every minimal system $Y$ the orbit closure of any pair $(y,x) \in Y \times X$ is either $Y \times X$ or it has the form $Γ_π= \{(π(x),x) : x \in X\}$ for some factor map $π: X \to Y$. As a corollary we resolve a problem of Haddad and Ott from 2008 regarding product recurrence. We show that a doubly minimal system $X$ has the property that for every minimal system $Y$ the orbit closure of any pair $(y,x) \in Y \times X$ is either $Y \times X$ or it has the form $Γ_π= \{(π(x),x) : x \in X\}$ for some factor map $π: X \to Y$. As a corollary we resolve a problem of Haddad and Ott from 2008 regarding product recurrence. △ Less

Submitted 12 August, 2015; originally announced August 2015.

MSC Class: 37B05; 37B20; 54H20

Is there a Ramsey-Hindman theorem ?

Authors: Ethan Akin, Eli Glasner

Abstract: We show that there does not exist a joint generalization of the theorems of Ramsey and Hindman, or more explicitly, that the property of containing a symmetric IP-set is not divisible. We show that there does not exist a joint generalization of the theorems of Ramsey and Hindman, or more explicitly, that the property of containing a symmetric IP-set is not divisible. △ Less

Submitted 21 August, 2015; v1 submitted 1 April, 2015; originally announced April 2015.

MSC Class: 11B75; 37Bxx; 54H20

Isomorphic extensions and applications

Authors: Tomasz Downarowicz, Eli Glasner

Abstract: If $π:(X,T)\to(Z,S)$ is a topological factor map between uniquely ergodic topological dynamical systems, then $(X,T)$ is called an isomorphic extension of $(Z,S)$ if $π$ is also a measure-theoretic isomorphism. We consider the case when the systems are minimal and we pay special attention to equicontinuous $(Z,S)$. We first establish a characterization of this type of isomorphic extensions in term… ▽ More If $π:(X,T)\to(Z,S)$ is a topological factor map between uniquely ergodic topological dynamical systems, then $(X,T)$ is called an isomorphic extension of $(Z,S)$ if $π$ is also a measure-theoretic isomorphism. We consider the case when the systems are minimal and we pay special attention to equicontinuous $(Z,S)$. We first establish a characterization of this type of isomorphic extensions in terms of mean equicontinuity, and then show that an isomorphic extension need not be almost one-to-one, answering questions of Li, Tu and Ye. △ Less

Submitted 24 February, 2015; originally announced February 2015.

Comments: 16 pages

MSC Class: 37A05; 37B05

WAP Systems and Labeled Subshifts

Authors: Ethan Akin, Eli Glasner

Abstract: The main object of this work is to present a powerful method of construction of subshifts which we use chiefly to construct WAP systems with various properties. Among many other applications of this so called labeled subshifts, we obtain examples of null as well as non-null WAP subshifts, WAP subshifts of arbitrary countable (Birkhoff) height, and completely scrambled WAP systems of arbitrary coun… ▽ More The main object of this work is to present a powerful method of construction of subshifts which we use chiefly to construct WAP systems with various properties. Among many other applications of this so called labeled subshifts, we obtain examples of null as well as non-null WAP subshifts, WAP subshifts of arbitrary countable (Birkhoff) height, and completely scrambled WAP systems of arbitrary countable height. We also construct LE but not HAE subshifts, and recurrent non-tame subshifts. △ Less

Submitted 31 October, 2016; v1 submitted 17 October, 2014; originally announced October 2014.

Comments: A revised version

MSC Class: 37Bxx; 37B10; 54H20; 54H15

Eventual nonsensitivity and tame dynamical systems

Authors: Eli Glasner, Michael Megrelishvili

Abstract: In this paper we characterize tame dynamical systems and functions in terms of eventual non-sensitivity and eventual fragmentability. As a notable application we obtain a neat characterization of tame subshifts $X \subset \{0,1\}^{\mathbb Z}$: for every infinite subset $L \subseteq {\mathbb Z}$ there exists an infinite subset $K \subseteq L$ such that $π_{K}(X)$ is a countable subset of… ▽ More In this paper we characterize tame dynamical systems and functions in terms of eventual non-sensitivity and eventual fragmentability. As a notable application we obtain a neat characterization of tame subshifts $X \subset \{0,1\}^{\mathbb Z}$: for every infinite subset $L \subseteq {\mathbb Z}$ there exists an infinite subset $K \subseteq L$ such that $π_{K}(X)$ is a countable subset of $\{0,1\}^K$. The notion of eventual fragmentability is one of the properties we encounter which indicate some "smallness" of a family. We investigate a "smallness hierarchy" for families of continuous functions on compact dynamical systems, and link the existence of a "small" family which separates points of a dynamical system $(G,X)$ to the representability of $X$ on "good" Banach spaces. For example, for metric dynamical systems the property of admitting a separating family which is eventually fragmented is equivalent to being tame. We give some sufficient conditions for coding functions to be tame and, among other applications, show that certain multidimensional analogues of Sturmian sequences are tame. We also show that linearly ordered dynamical systems are tame and discuss examples where some universal dynamical systems associated with certain Polish groups are tame. △ Less

Submitted 22 September, 2016; v1 submitted 11 May, 2014; originally announced May 2014.

Comments: 45 pages

MSC Class: 37Bxx; 46-xx; 54H15; 26A45

Uniformly recurrent subgroups

Authors: Eli Glasner, Benjamin Weiss

Abstract: We define the notion of uniformly recurrent subgroup, URS in short, which is a topological analog of the notion of invariant random subgroup (IRS), introduced in a work of M. Abert, Y. Glasner and B. Virag. Our main results are as follows. (i) It was shown by B. Weiss that for an arbitrary countable infinite group G, any free ergodic probability measure preserving G-system admits a minimal model.… ▽ More We define the notion of uniformly recurrent subgroup, URS in short, which is a topological analog of the notion of invariant random subgroup (IRS), introduced in a work of M. Abert, Y. Glasner and B. Virag. Our main results are as follows. (i) It was shown by B. Weiss that for an arbitrary countable infinite group G, any free ergodic probability measure preserving G-system admits a minimal model. In contrast we show here, using URS's, that for the lamplighter group there is an ergodic measure preserving action which does not admit a minimal model. (ii) For an arbitrary countable group G, every URS can be realized as the stability system of some topologically transitive G-system. △ Less

Submitted 20 February, 2014; originally announced February 2014.

Comments: To appear in the AMS Proceedings of the Conference on Recent Trends in Ergodic Theory and Dynamical Systems

MSC Class: 37B05; 37A15; 20E05; 20E15; 57S20

$RP^{[d]}$ is an equivalence relation: An enveloping semigroup proof

Authors: Eli Glasner

Abstract: We present a purely enveloping semigroup proof of a theorem of Shao and Ye which asserts that for an abelian group $T$, a minimal flow $(X,T)$ and any integer $d \ge 1$, the regional proximal relation of order $d$ is an equivalence relation. We present a purely enveloping semigroup proof of a theorem of Shao and Ye which asserts that for an abelian group $T$, a minimal flow $(X,T)$ and any integer $d \ge 1$, the regional proximal relation of order $d$ is an equivalence relation. △ Less

Submitted 20 January, 2015; v1 submitted 13 February, 2014; originally announced February 2014.

Comments: just a few minor corrections

MSC Class: 37B05; 37B20

A universal hypercyclic representation

Authors: Eli Glasner, Benjamin Weiss

Abstract: For any countable group, and also for any locally compact second countable, compactly generated topological group, G, we show the existence of a "universal" hypercyclic (i.e. topologically transitive) representation on a Hilbert space, in the sense that it simultaneously models every possible ergodic probability measure preserving free action of G. For any countable group, and also for any locally compact second countable, compactly generated topological group, G, we show the existence of a "universal" hypercyclic (i.e. topologically transitive) representation on a Hilbert space, in the sense that it simultaneously models every possible ergodic probability measure preserving free action of G. △ Less

Submitted 18 September, 2014; v1 submitted 9 January, 2014; originally announced January 2014.

MSC Class: 37A15 (Primary); 47A16; 47A67; 47D03 (Secondary)

Weak mixing properties for nonsingular actions

Authors: Eli Glasner, Benjamin Weiss

Abstract: For a general group G we consider various weak mixing properties of nonsingular actions. In the case where the action is actually measure preserving all these properties coincide, and our purpose here is to check which implications persist in the nonsingular case. For a general group G we consider various weak mixing properties of nonsingular actions. In the case where the action is actually measure preserving all these properties coincide, and our purpose here is to check which implications persist in the nonsingular case. △ Less

Submitted 17 December, 2014; v1 submitted 1 August, 2013; originally announced August 2013.

Comments: There is a lot of new stuff in this version

Hypercyclic operators, Gauss measures and Polish dynamical systems

Authors: Yiftach Dayan, Eli Glasner

Abstract: In this work we consider hypercyclic operators as a special case of Polish dynamical systems. In the first section we analyze the construction of Bayart and Grivaux of a hypercyclic operator which preserves a Gaussian measure, and derive a description of the maximal spectral type of the Koopman operator associated to the corresponding measure preserving dynamical system. We then use this informati… ▽ More In this work we consider hypercyclic operators as a special case of Polish dynamical systems. In the first section we analyze the construction of Bayart and Grivaux of a hypercyclic operator which preserves a Gaussian measure, and derive a description of the maximal spectral type of the Koopman operator associated to the corresponding measure preserving dynamical system. We then use this information to show the existence of a mildly but not strongly mixing hypercyclic operator on Hilbert space. In the last two sections we study hypercyclic and frequently hypecyclic operators which, as Polish dynamical systems are, M-systems, E-systems, and syndetically transitive systems. △ Less

Submitted 26 February, 2013; v1 submitted 1 November, 2012; originally announced November 2012.

Comments: The new version corrects the statement and proof of Theorem 1.7

Banach representations and affine compactifications of dynamical systems

Authors: Eli Glasner, Michael Megrelishvili

Abstract: To every Banach space V we associate a compact right topological affine semigroup E(V). We show that a separable Banach space V is Asplund if and only if E(V) is metrizable, and it is Rosenthal (i.e. it does not contain an isomorphic copy of $l_1$) if and only if E(V) is a Rosenthal compactum. We study representations of compact right topological semigroups in E(V). In particular, representations… ▽ More To every Banach space V we associate a compact right topological affine semigroup E(V). We show that a separable Banach space V is Asplund if and only if E(V) is metrizable, and it is Rosenthal (i.e. it does not contain an isomorphic copy of $l_1$) if and only if E(V) is a Rosenthal compactum. We study representations of compact right topological semigroups in E(V). In particular, representations of tame and HNS-semigroups arise naturally as enveloping semigroups of tame and HNS (hereditarily non-sensitive) dynamical systems, respectively. As an application we obtain a generalization of a theorem of R. Ellis. A main theme of our investigation is the relationship between the enveloping semigroup of a dynamical system X and the enveloping semigroup of its various affine compactifications Q(X). When the two coincide we say that the affine compactification Q(X) is E-compatible. This is a refinement of the notion of injectivity. We show that distal non-equicontinuous systems do not admit any E-compatible compactification. We present several new examples of non-injective dynamical systems and examine the relationship between injectivity and E-compatibility. △ Less

Submitted 2 November, 2013; v1 submitted 2 April, 2012; originally announced April 2012.

Comments: 45 pages; Fields institute proceedings dedicated to the 2010 thematic program on asymptotic geometric analysis, M. Ludwig, V.D. Milman, V. Pestov, N. Tomczak-Jaegermann (Editors), Springer, New-York, 2013

Translation-finite sets

Authors: Eli Glasner

Abstract: The families of right (left) translation finite subsets of a discrete infinite group $Γ$ are defined and shown to be ideals. Their kernels $Z_R$ and $Z_L$ are identified as the closure of the set of products $pq$ ($p\cdot q$) in the Čech-Stone compactification $βΓ$. Consequently it is shown that the map $π: βΓ\to Γ^{WAP}$, the canonical semigroup homomorphism from $βΓ$ onto $Γ^{WAP}$, the universa… ▽ More The families of right (left) translation finite subsets of a discrete infinite group $Γ$ are defined and shown to be ideals. Their kernels $Z_R$ and $Z_L$ are identified as the closure of the set of products $pq$ ($p\cdot q$) in the Čech-Stone compactification $βΓ$. Consequently it is shown that the map $π: βΓ\to Γ^{WAP}$, the canonical semigroup homomorphism from $βΓ$ onto $Γ^{WAP}$, the universal semitopological semigroup compactification of $Γ$, is a homeomorphism on the complement of $Z_R \cup Z_L$. △ Less

Submitted 2 November, 2011; originally announced November 2011.

Extensions of Cantor minimal systems and dimension groups

Authors: Eli Glasner, Bernard Host

Abstract: Given a factor map $p : (X,T) \to (Y,S)$ of Cantor minimal systems, we study the relations between the dimension groups of the two systems. First, we interpret the torsion subgroup of the quotient of the dimension groups $K_0(X)/K_0(Y)$ in terms of intermediate extensions which are extensions of $(Y,S)$ by a compact abelian group. Then we show that, by contrast, the existence of an intermediate no… ▽ More Given a factor map $p : (X,T) \to (Y,S)$ of Cantor minimal systems, we study the relations between the dimension groups of the two systems. First, we interpret the torsion subgroup of the quotient of the dimension groups $K_0(X)/K_0(Y)$ in terms of intermediate extensions which are extensions of $(Y,S)$ by a compact abelian group. Then we show that, by contrast, the existence of an intermediate non-abelian finite group extension can produce a situation where the dimension group of $(Y,S)$ embeds into a proper subgroup of the dimension group of $(X,T)$, yet the quotient of the dimension groups is nonetheless torsion free. Next we define higher order cohomology groups $H^n(X \mid Y)$ associated to an extension, and study them in various cases (proximal extensions, extensions by, not necessarily abelian, finite groups, etc.). Our main result here is that all the cohomology groups $H^n(X \mid Y)$ are torsion groups. As a consequence we can now identify $H^0(X \mid Y)$ as the torsion group of $ K_0(X)/K_0(Y)$. △ Less

Submitted 2 November, 2011; originally announced November 2011.

Recurrence for stationary group actions

Authors: Hillel Furstenberg, Eli Glasner

Abstract: Using a structure theorem from [FG2010] we prove a version of multiple recurrence for sets of positive measure in a general stationary dynamical system. Using a structure theorem from [FG2010] we prove a version of multiple recurrence for sets of positive measure in a general stationary dynamical system. △ Less

Submitted 2 November, 2011; originally announced November 2011.

Minimal hyperspace actions of homeomorphism groups of h-homogeneous spaces

Authors: Eli Glasner, Yonatan Gutman

Abstract: Let X be a h-homogeneous zero-dimensional compact Hausdorff space, i.e. X is a Stone dual of a homogeneous Boolean algebra. Using the dual Ramsey theorem and a detailed combinatorial analysis of what we call stable collections of subsets of a finite set, we obtain a complete list of the minimal sub-systems of the compact dynamical system (Exp(Exp(X)),Homeo(X)), where Exp(X) stands for the hyperspa… ▽ More Let X be a h-homogeneous zero-dimensional compact Hausdorff space, i.e. X is a Stone dual of a homogeneous Boolean algebra. Using the dual Ramsey theorem and a detailed combinatorial analysis of what we call stable collections of subsets of a finite set, we obtain a complete list of the minimal sub-systems of the compact dynamical system (Exp(Exp(X)),Homeo(X)), where Exp(X) stands for the hyperspace comprising the closed subsets of X equipped with the Vietoris topology. The importance of this dynamical system stems from Uspenskij's characterization of the universal ambit of G = Homeo(X). The results apply to X = C the Cantor set, the generalized Cantor sets X = {0,1}^kappa for non-countable cardinals kappa, and to several other spaces. A particular interesting case is X = beta(omega) \ omega, where beta(omega) denotes the Stone-Cech compactification of the natural numbers. This space, called the corona or the remainder of omega, has been extensively studied in the fields of set theory and topology. △ Less

Submitted 7 May, 2012; v1 submitted 7 July, 2011; originally announced July 2011.

Comments: Minor changes. To Appear in J. d'Analyse Math

MSC Class: 37B05; 54H10; 54H20; 03G05; 06E15

The universal minimal space for groups of homeomorphisms of h-homogeneous spaces

Authors: Eli Glasner, Yonatan Gutman

Abstract: Let X be a h-homogeneous zero-dimensional compact Hausdorff space, i.e. X is a Stone dual of a homogeneous Boolean algebra. It is shown that the universal minimal space M(G) of the topological group G=Homeo(X), is the space of maximal chains on X introduced by Uspenskij. If X is metrizable then clearly X is homeomorphic to the Cantor set and the result was already known (Glasner-Weiss 2003). Howev… ▽ More Let X be a h-homogeneous zero-dimensional compact Hausdorff space, i.e. X is a Stone dual of a homogeneous Boolean algebra. It is shown that the universal minimal space M(G) of the topological group G=Homeo(X), is the space of maximal chains on X introduced by Uspenskij. If X is metrizable then clearly X is homeomorphic to the Cantor set and the result was already known (Glasner-Weiss 2003). However many new examples arise for non-metrizable spaces. These include, among others, the generalized Cantor sets X={0,1}^{kappa} for non-countable cardinals kappa, and the corona or remainder of omega, X=beta(omega) \ omega, where beta(omega) denotes the Stone-Cech compactification of the natural numbers. △ Less

Submitted 13 October, 2011; v1 submitted 1 June, 2011; originally announced June 2011.

Comments: Minor changes

Three Zutot

Authors: Eli Glasner, Benjamin Weiss

Abstract: Three topics in dynamical systems are discussed. In the first two sections we solve some open problems concerning, respectively, Furstenberg entropy of stationary dynamical systems, and uniformly rigid actions admitting a weakly mixing fully supported invariant probability measure. In the third section we provide a new example that displays some unexpected properties of strictly ergodic actions of… ▽ More Three topics in dynamical systems are discussed. In the first two sections we solve some open problems concerning, respectively, Furstenberg entropy of stationary dynamical systems, and uniformly rigid actions admitting a weakly mixing fully supported invariant probability measure. In the third section we provide a new example that displays some unexpected properties of strictly ergodic actions of non-amenable groups. △ Less

Submitted 13 March, 2012; v1 submitted 28 February, 2011; originally announced February 2011.

Comments: The paper has been withdrawn because the statement, in the first zuta,that the product measure ν_t is stationary is wrong. This means that the proof of the main result of this part, as presented, is not valid

MSC Class: Primary 22D40; 37B05 (Primary) 37A30; 37A40; 37A50 (Secondary)

On fixed point theorems and nonsensitivity

Authors: Eli Glasner, Michael Megrelishvili

Abstract: Sensitivity is a prominent aspect of chaotic behavior of a dynamical system. We study the relevance of nonsensitivity to fixed point theory in affine dynamical systems. We prove a fixed point theorem which extends Ryll-Nardzewski's theorem and some of its generalizations. Using the theory of hereditarily nonsensitive dynamical systems we establish left amenability of Asp(G), the algebra of Asplund… ▽ More Sensitivity is a prominent aspect of chaotic behavior of a dynamical system. We study the relevance of nonsensitivity to fixed point theory in affine dynamical systems. We prove a fixed point theorem which extends Ryll-Nardzewski's theorem and some of its generalizations. Using the theory of hereditarily nonsensitive dynamical systems we establish left amenability of Asp(G), the algebra of Asplund functions on a topological group G (which contains the algebra WAP(G) of weakly almost periodic functions). We note that, in contrast to WAP(G), for some groups there are uncountably many invariant means on Asp(G). Finally we observe that dynamical systems in the larger class of tame G-systems need not admit an invariant probability measure. △ Less

Submitted 2 November, 2010; v1 submitted 29 July, 2010; originally announced July 2010.

Comments: 12 pages, revised version, to appear in Israel J. of Math

MSC Class: 37Cxx; 37B05; 46Axx; 52A07; 54H20