-
Non-archimedean topological monoids
Authors:
Michael Megrelishvili,
Menachem Shlossberg
Abstract:
We say that a topological monoid $S$ is left non-archimedean (in short: l-NA) if the left action of $S$ on itself admits a proper $S$-compactification $ν\colon S \hookrightarrow Y$ such that $Y$ is a Stone space. This provides a natural generalization of the well known concept of NA topological groups. The Stone and Pontryagin dualities play major role in achieving useful characterizations of NA m…
▽ More
We say that a topological monoid $S$ is left non-archimedean (in short: l-NA) if the left action of $S$ on itself admits a proper $S$-compactification $ν\colon S \hookrightarrow Y$ such that $Y$ is a Stone space. This provides a natural generalization of the well known concept of NA topological groups. The Stone and Pontryagin dualities play major role in achieving useful characterizations of NA monoids. We discuss universal NA monoids and show that many naturally defined topological monoids are NA. We show that many naturally defined topological monoids are NA and present universal NA monoids. Among others, we prove that the Polish monoid $C(2^ω,2^ω)$ is a universal separable metrizable l-NA monoid and the Polish monoid ${\mathbb N}^{\mathbb N}$ is universal for separable metrizable r-NA monoids.
△ Less
Submitted 16 June, 2024; v1 submitted 15 November, 2023;
originally announced November 2023.
-
Key subgroups and co-minimality in topological groups
Authors:
Michael Megrelishvili,
Menachem Shlossberg
Abstract:
We introduce a minimality property for subgroups of topological groups. A subgroup $H$ is a key subgroup of a topological group $G$ if there is no strictly coarser Hausdorff group topology on $G$ which induces on $H$ the original topology. In fact, this concept appears implicitly in some earlier publications [10,4,12]. Every co-minimal subgroup is a key subgroup while the converse is not true even…
▽ More
We introduce a minimality property for subgroups of topological groups. A subgroup $H$ is a key subgroup of a topological group $G$ if there is no strictly coarser Hausdorff group topology on $G$ which induces on $H$ the original topology. In fact, this concept appears implicitly in some earlier publications [10,4,12]. Every co-minimal subgroup is a key subgroup while the converse is not true even for discrete groups. In this paper, we continue the study of minimality in topological matrix groups from [12]. Extending some results from [10,4] concerning the generalized Heisenberg group, we prove that the center of the upper unitriangular group $\operatorname{UT}(n,K)$, defined over a commutative topological unital ring $K$, is a key subgroup. If the multiplication map $m \colon K\times K\to K$ is strongly minimal, then this center is even co-minimal in $\operatorname{UT}(n,K)$. We show that this holds, for example, when $K$ is an archimedean absolute valued field or a local field.
△ Less
Submitted 20 November, 2023; v1 submitted 13 September, 2023;
originally announced September 2023.
-
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.
-
Tameness and Rosenthal type locally convex spaces
Authors:
Matan Komisarchik,
Michael Megrelishvili
Abstract:
Motivated by Rosenthal's famous $l^1$-dichotomy in Banach spaces, Haydon's theorem, and additionally by recent works on tame dynamical systems, we introduce the class of tame locally convex spaces. This is a natural locally convex analogue of Rosenthal Banach spaces (for which any bounded sequence contains a weak Cauchy subsequence). Our approach is based on a bornology of tame subsets which in tu…
▽ More
Motivated by Rosenthal's famous $l^1$-dichotomy in Banach spaces, Haydon's theorem, and additionally by recent works on tame dynamical systems, we introduce the class of tame locally convex spaces. This is a natural locally convex analogue of Rosenthal Banach spaces (for which any bounded sequence contains a weak Cauchy subsequence). Our approach is based on a bornology of tame subsets which in turn is closely related to eventual fragmentability. This leads, among others, to the following results:
$\bullet$ extending Haydon's characterization of Rosenthal Banach spaces, by showing that a lcs $E$ is tame iff every weak-star compact, equicontinuous convex subset of $E^{*}$ is the strong closed convex hull of its extreme points iff $\overline{\rm{co\,}}^{w^{*}}(K) = \overline{\rm{co\,}}(K)$ for every weak-star compact equicontinuous subset $K$ of $E^{*}$;
$\bullet$ $E$ is tame iff there is no bounded sequence equivalent to the generalized $l^{1}$-sequence;
$\bullet$ strengthening some results of W.M. Ruess about Rosenthal's dichotomy;
$\bullet$ applying the Davis-Figiel-Johnson-Pelczyński (DFJP) technique one may show that every tame operator $T \colon E \to F$ between a lcs $E$ and a Banach space $F$ can be factored through a tame (i.e., Rosenthal) Banach space.
△ Less
Submitted 14 April, 2022; v1 submitted 4 March, 2022;
originally announced March 2022.
-
Maximal equivariant compactifications
Authors:
Michael Megrelishvili
Abstract:
Let $G$ be a locally compact group. Then for every $G$-space $X$ the maximal $G$-proximity $β_G$ can be characterized by the maximal topological proximity $β$ as follows: $$ A \ \overline{β_G} \ B \Leftrightarrow \exists V \in N_e \ \ \ VA \ \overlineβ \ VB. $$ Here, $β_G \colon X \to β_G X$ is the maximal $G$-compactification of $X$ (which is an embedding for locally compact $G$), $V$ is a neighb…
▽ More
Let $G$ be a locally compact group. Then for every $G$-space $X$ the maximal $G$-proximity $β_G$ can be characterized by the maximal topological proximity $β$ as follows: $$ A \ \overline{β_G} \ B \Leftrightarrow \exists V \in N_e \ \ \ VA \ \overlineβ \ VB. $$ Here, $β_G \colon X \to β_G X$ is the maximal $G$-compactification of $X$ (which is an embedding for locally compact $G$), $V$ is a neighborhood of $e$ and $A \ \overline{β_G} \ B$ means that the closures of $A$ and $B$ do not meet in $β_G X$. Note that the local compactness of $G$ is essential. This theorem comes as a corollary of a general result about maximal $\mathcal{U}$-uniform $G$-compactifications for a useful wide class of uniform structures $\mathcal{U}$ on $G$-spaces for not necessarily locally compact groups $G$. It helps, in particular, to derive the following result. Let $(\mathbb{U}_1,d)$ be the Urysohn sphere and $G=Iso(\mathbb{U}_1,d)$ is its isometry group with the pointwise topology. Then for every pair of subsets $A,B$ in $\mathbb{U}_1$, we have $$ A \ \overline{β_G} \ B \Leftrightarrow \exists V \in N_e \ \ \ d(VA,VB) > 0. $$ More generally, the same is true for any $\aleph_0$-categorical metric $G$-structure $(M,d)$, where $G:=Aut(M)$ is its automorphism group.
△ Less
Submitted 31 January, 2022;
originally announced January 2022.
-
Orderable groups and semigroup compactifications
Authors:
Michael Megrelishvili
Abstract:
Our aim is to find some new links between linear (circular) orderability of groups and topological dynamics. We suggest natural analogs of the concept of algebraic orderability for topological groups involving order-preserving actions on compact spaces and the corresponding envelo** semigroups in the sense of R. Ellis. This approach leads to several natural questions. Some of them might be usefu…
▽ More
Our aim is to find some new links between linear (circular) orderability of groups and topological dynamics. We suggest natural analogs of the concept of algebraic orderability for topological groups involving order-preserving actions on compact spaces and the corresponding envelo** semigroups in the sense of R. Ellis. This approach leads to several natural questions. Some of them might be useful also for discrete (countable) orderable groups.
△ Less
Submitted 27 September, 2022; v1 submitted 29 December, 2021;
originally announced December 2021.
-
Topological group actions by group automorphisms and Banach representations
Authors:
Michael Megrelishvili
Abstract:
We study Banach representability for actions of topological groups on groups by automorphisms (in particular, actions of groups on itself by conjugations). Every such action is Banach representable on some Banach space. The natural question is to examine when we can find representations on low complexity Banach spaces. In contrast to the standard left action of a locally compact second countable g…
▽ More
We study Banach representability for actions of topological groups on groups by automorphisms (in particular, actions of groups on itself by conjugations). Every such action is Banach representable on some Banach space. The natural question is to examine when we can find representations on low complexity Banach spaces. In contrast to the standard left action of a locally compact second countable group $G$ on itself, the conjugation action need not be reflexively representable even for $\mathrm{SL}_2(\mathbb{R})$. The conjugation action of $\mathrm{SL}_n(\mathbb{R})$ is not Asplund representable for every $n \geq 4$. The linear action of $\mathrm{GL}(n,\mathbb{R})$ on $\mathbb{R}^n$, for every $n \geq 2$, is not representable on Asplund Banach spaces. On the other hand, this action is representable on a Rosenthal Banach space (not containing an isomorphic copy of $l_1$). The conjugation action of a locally compact group need not be Rosenthal representable (even for Lie groups). This is unclear for $\mathrm{SL}_2(\mathbb{R})$. As a byproduct we obtain some counterexamples about Banach representations of homogeneous $G$-actions $G/H$.
△ Less
Submitted 14 December, 2023; v1 submitted 4 October, 2021;
originally announced October 2021.
-
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 envelo** 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 envelo** 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.
-
Maximal equivariant compactification of the Urysohn spaces and other metric structures
Authors:
Tomás Ibarlucía,
Michael Megrelishvili
Abstract:
We study isometric $G$-spaces and the question of when their maximal equivariant compactification is the Gromov compactification (meaning that it coincides with the compactification generated by the distance functions to points). Answering questions of Pestov, we show that this is the case for the Urysohn sphere and related spaces, but not for the unit sphere of the Gurarij space.
We show that t…
▽ More
We study isometric $G$-spaces and the question of when their maximal equivariant compactification is the Gromov compactification (meaning that it coincides with the compactification generated by the distance functions to points). Answering questions of Pestov, we show that this is the case for the Urysohn sphere and related spaces, but not for the unit sphere of the Gurarij space.
We show that the maximal equivariant compactification of a separably categorical metric structure $M$ under the action of its automorphism group can be identified with the space $S_1(M)$ of 1-types over $M$, and is in particular metrizable. This provides a unified understanding of the previous and other examples. In particular, the maximal equivariant compactifications of the spheres of the Gurarij space and of the $L^p$ spaces are metrizable.
We also prove a uniform version of Effros' Theorem for isometric actions of Roelcke precompact Polish groups.
△ Less
Submitted 12 January, 2021; v1 submitted 20 January, 2020;
originally announced January 2020.
-
Minimality of topological matrix groups and Fermat primes
Authors:
Michael Megrelishvili,
Menachem Shlossberg
Abstract:
Our aim is to study topological minimality of some natural matrix groups. We show that the special upper triangular group $SUT(n,\mathbb{F})$ is minimal for every local field $\mathbb{F}$ of characteristic $\neq 2$. This result is new even for the field $\mathbb{R}$ of reals and it leads to some important consequences. We prove criteria for the minimality and total minimality of the special linear…
▽ More
Our aim is to study topological minimality of some natural matrix groups. We show that the special upper triangular group $SUT(n,\mathbb{F})$ is minimal for every local field $\mathbb{F}$ of characteristic $\neq 2$. This result is new even for the field $\mathbb{R}$ of reals and it leads to some important consequences. We prove criteria for the minimality and total minimality of the special linear group $SL(n,\mathbb{F})$, where $\mathbb{F}$ is a subfield of a local field. This extends some known results of Remus-Stoyanov (1991) and Bader-Gelander (2017). One of our main applications is a characterization of Fermat primes, which asserts that for an odd prime $p$ the following conditions are equivalent:
$\bullet$ $p$ is a Fermat prime;
$\bullet$ $SL(p-1,\mathbb{Q})$ is minimal, where $\mathbb{Q}$ is the field of rationals equipped with the $p$-adic topology;
$\bullet$ $SL(p-1,\mathbb{Q}(i))$ is minimal, where $\mathbb{Q}(i) \subset \mathbb{C}$ is the Gaussian rational field.
△ Less
Submitted 5 October, 2022; v1 submitted 27 December, 2019;
originally announced December 2019.
-
Median pretrees and functions of bounded variation
Authors:
Michael Megrelishvili
Abstract:
We introduce functions of bounded variation on median algebras and study some properties for median pretrees. We show that if $X$ is a compact median pretree in its shadow topology then every function $f: X \to R$ of bounded variation has the point of continuity property (Baire 1, if $X$, in addition, is metrizable). We prove a generalized version of Helly's selection theorem for a sequence of fun…
▽ More
We introduce functions of bounded variation on median algebras and study some properties for median pretrees. We show that if $X$ is a compact median pretree in its shadow topology then every function $f: X \to R$ of bounded variation has the point of continuity property (Baire 1, if $X$, in addition, is metrizable). We prove a generalized version of Helly's selection theorem for a sequence of functions with total bounded variation defined on a compact metrizable median pretree $X$.
△ Less
Submitted 16 September, 2020; v1 submitted 24 December, 2019;
originally announced December 2019.
-
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.
-
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.
-
Tame functionals on Banach algebras
Authors:
Michael Megrelishvili
Abstract:
In the present note we introduce tame functionals on Banach algebras. A functional $f \in A^*$ on a Banach algebra $A$ is tame if the naturally defined linear operator $A \to A^*, a \mapsto f \cdot a$ factors through Rosenthal Banach spaces (i.e., not containing a copy of $l_1$). Replacing Rosenthal by reflexive we get a well known concept of weakly almost periodic functionals. So, always…
▽ More
In the present note we introduce tame functionals on Banach algebras. A functional $f \in A^*$ on a Banach algebra $A$ is tame if the naturally defined linear operator $A \to A^*, a \mapsto f \cdot a$ factors through Rosenthal Banach spaces (i.e., not containing a copy of $l_1$). Replacing Rosenthal by reflexive we get a well known concept of weakly almost periodic functionals. So, always $WAP(A) \subseteq Tame(A)$. We show that tame functionals on the group algebra $l_1(G)$ are induced exactly by tame functions (in the sense of topological dynamics) on $G$ for every discrete group $G$. That is, $Tame(l_1(G))=Tame(G)$. Many interesting tame functions on groups come from dynamical systems theory. Recall that $WAP(L_1(G))=WAP(G)$ (Lau 1977, Ülger 1986) for every locally compact group $G$. It is an open question if $Tame(L_1(G))=Tame(G)$ holds for (nondiscrete) locally compact groups.
△ Less
Submitted 3 October, 2017;
originally announced October 2017.
-
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.
-
Minimality of the Semidirect Product
Authors:
Michael Megrelishvili,
Luie Polev,
Menachem Shlossberg
Abstract:
A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology. We provide a sufficient and necessary condition for the minimality of the semidirect product $G\leftthreetimes P,$ where $G$ is a compact topological group and $P$ is a topological subgroup of $Aut(G)$. We prove that $G\leftthreetimes P$ is minimal for every closed subgroup $P$ of $Aut(G)$. In case…
▽ More
A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology. We provide a sufficient and necessary condition for the minimality of the semidirect product $G\leftthreetimes P,$ where $G$ is a compact topological group and $P$ is a topological subgroup of $Aut(G)$. We prove that $G\leftthreetimes P$ is minimal for every closed subgroup $P$ of $Aut(G)$. In case $G$ is abelian, the same is true for every subgroup $P \subseteq Aut(G)$. We show, in contrast, that there exist a compact two-step nilpotent group $G$ and a subgroup $P$ of $Aut(G)$ such that $G\leftthreetimes P$ is not minimal. This answers a question of Dikranjan. Some of our results were inspired by a work of Gamarnik.
△ Less
Submitted 26 October, 2016; v1 submitted 22 November, 2015;
originally announced November 2015.
-
Non-archimedean transportation problems and Kantorovich ultra-norms
Authors:
Michael Megrelishvili,
Menachem Shlossberg
Abstract:
We study a non-archimedean (NA) version of transportation problems and introduce naturally arising ultra-norms which we call Kantorovich ultra-norms. For every ultra-metric space and every NA valued field (e.g., the field $\mathbb Q_{p}$ of $p$-adic numbers) the naturally defined inf-max cost formula achieves its infimum. We also present NA versions of the Arens-Eells construction and of the integ…
▽ More
We study a non-archimedean (NA) version of transportation problems and introduce naturally arising ultra-norms which we call Kantorovich ultra-norms. For every ultra-metric space and every NA valued field (e.g., the field $\mathbb Q_{p}$ of $p$-adic numbers) the naturally defined inf-max cost formula achieves its infimum. We also present NA versions of the Arens-Eells construction and of the integer value property. We introduce and study free NA locally convex spaces. In particular, we provide conditions under which these spaces are normable by Kantorovich ultra-norms and also conditions which yield NA versions of Tkachenko-Uspenskij theorem about free abelian topological groups.
△ Less
Submitted 12 April, 2016; v1 submitted 23 April, 2015;
originally announced April 2015.
-
Order and minimality of some topological groups
Authors:
Michael Megrelishvili,
Luie Polev
Abstract:
A Hausdorff topological group is called minimal if it does not admit a strictly coarser Hausdorff group topology. This paper mostly deals with the topological group $H_+(X)$ of order-preserving homeomorphisms of a compact linearly ordered connected space $X$. We provide a sufficient condition on $X$ under which the topological group $H_+(X)$ is minimal. This condition is satisfied, for example, by…
▽ More
A Hausdorff topological group is called minimal if it does not admit a strictly coarser Hausdorff group topology. This paper mostly deals with the topological group $H_+(X)$ of order-preserving homeomorphisms of a compact linearly ordered connected space $X$. We provide a sufficient condition on $X$ under which the topological group $H_+(X)$ is minimal. This condition is satisfied, for example, by: the unit interval, the ordered square, the extended long line and the circle (endowed with its cyclic order). In fact, these groups are even $a$-minimal, meaning, in this setting, that the compact-open topology on $G$ is the smallest Hausdorff group topology on $G$. One of the key ideas is to verify that for such $X$ the Zariski and the Markov topologies on the group $H_+(X)$ coincide with the compact-open topology. The technique in this article is mainly based on a work of Gartside and Glyn.
△ Less
Submitted 18 June, 2015; v1 submitted 14 January, 2015;
originally announced January 2015.
-
A note on tameness of families having bounded variation
Authors:
Michael Megrelishvili
Abstract:
We show that for arbitrary linearly ordered set $X$ any bounded family of (not necessarily, continuous) real valued functions on $X$ with bounded total variation does not contain independent sequences. We obtain generalized Helly's sequential compactness type theorems. One of the theorems asserts that for every compact metric space $(Y,d)$ the compact space $BV_r(X,Y)$ of all functions $X \to Y$ w…
▽ More
We show that for arbitrary linearly ordered set $X$ any bounded family of (not necessarily, continuous) real valued functions on $X$ with bounded total variation does not contain independent sequences. We obtain generalized Helly's sequential compactness type theorems. One of the theorems asserts that for every compact metric space $(Y,d)$ the compact space $BV_r(X,Y)$ of all functions $X \to Y$ with variation $\leq r$ is sequentially compact in the pointwise topology. Another Helly type theorem shows that the compact space $M_+(X,Y)$ of all order preserving maps $X \to Y$ is sequentially compact where $Y$ is a compact metrizable partially ordered space in the sense of Nachbin.
△ Less
Submitted 17 December, 2016; v1 submitted 3 December, 2014;
originally announced December 2014.
-
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.
-
Free non-archimedean topological groups
Authors:
Michael Megrelishvili,
Menachem Shlossberg
Abstract:
We study free topological groups defined over uniform spaces in some subclasses of the class NA of non-archimedean groups. Our descriptions of the corresponding topologies show that for metrizable uniformities the corresponding free balanced, free abelian and free Boolean NA groups are also metrizable. Graev type ultra-metrics determine the corresponding free topologies. Such results are in a stri…
▽ More
We study free topological groups defined over uniform spaces in some subclasses of the class NA of non-archimedean groups. Our descriptions of the corresponding topologies show that for metrizable uniformities the corresponding free balanced, free abelian and free Boolean NA groups are also metrizable. Graev type ultra-metrics determine the corresponding free topologies. Such results are in a striking contrast with free balanced and free abelian topological groups cases (in standard varieties).
Another contrasting advantage is that the induced topological group actions on free abelian NA groups frequently remain continuous. One of the main applications is: any epimorphism in the category NA must be dense. Moreover, the same methods improve the following result of T.H. Fay : the inclusion of a proper open subgroup H into G is not an epimorphism in the category of all Hausdorff topological groups. A key tool in the proofs is Pestov's test of epimorphisms.
Our results provide a convenient way to produce surjectively universal NA abelian and balanced groups. In particular, we unify and strengthen some recent results of Gao and Gao-Xuan as well as classical results about profinite groups which go back to Iwasawa and Gildenhuys-Lim.
△ Less
Submitted 13 May, 2013; v1 submitted 18 April, 2013;
originally announced April 2013.
-
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 envelo** 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 envelo** semigroup of a dynamical system X and the envelo** 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.
-
Notes on non-archimedean topological groups
Authors:
Michael Megrelishvili,
Menachem Shlossberg
Abstract:
We show that the Heisenberg type group $H_X=(\Bbb{Z}_2 \oplus V) \leftthreetimes V^{\ast}$, with the discrete Boolean group $V:=C(X,\Z_2)$, canonically defined by any Stone space $X$, is always minimal. That is, $H_X$ does not admit any strictly coarser Hausdorff group topology. This leads us to the following result: for every (locally compact) non-archimedean $G$ there exists a (resp., locally co…
▽ More
We show that the Heisenberg type group $H_X=(\Bbb{Z}_2 \oplus V) \leftthreetimes V^{\ast}$, with the discrete Boolean group $V:=C(X,\Z_2)$, canonically defined by any Stone space $X$, is always minimal. That is, $H_X$ does not admit any strictly coarser Hausdorff group topology. This leads us to the following result: for every (locally compact) non-archimedean $G$ there exists a (resp., locally compact) non-archimedean minimal group $M$ such that $G$ is a group retract of $M.$ For discrete groups $G$ the latter was proved by S. Dierolf and U. Schwanengel. We unify some old and new characterization results for non-archimedean groups. Among others we show that every continuous group action of $G$ on a Stone space $X$ is a restriction of a continuous group action by automorphisms of $G$ on a topological (even, compact) group $K$. We show also that any epimorphism $f: H \to G$ (in the category of Hausdorff topological groups) into a non-archimedean group $G$ must be dense.
△ Less
Submitted 6 June, 2011; v1 submitted 28 October, 2010;
originally announced October 2010.
-
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.
-
Representations of dynamical systems on Banach spaces not containing $l_1$
Authors:
E. Glasner,
M. Megrelishvili
Abstract:
For a topological group G, we show that a compact metric G-space is tame if and only if it can be linearly represented on a separable Banach space which does not contain an isomorphic copy of $l_1$ (we call such Banach spaces, Rosenthal spaces). With this goal in mind we study tame dynamical systems and their representations on Banach spaces.
For a topological group G, we show that a compact metric G-space is tame if and only if it can be linearly represented on a separable Banach space which does not contain an isomorphic copy of $l_1$ (we call such Banach spaces, Rosenthal spaces). With this goal in mind we study tame dynamical systems and their representations on Banach spaces.
△ Less
Submitted 13 June, 2012; v1 submitted 15 March, 2008;
originally announced March 2008.
-
Compactifications of Semigroups and Semigroup Actions
Authors:
Michael Megrelishvili
Abstract:
An action of a topological semigroup S on X is compactifiable if this action is a restriction of a jointly continuous action of S on a Hausdorff compact space Y. A topological semigroup S is compactifiable if the left action of S on itself is compactifiable. It is well known that every Hausdorff topological group is compactifiable. This result cannot be extended to the class of Tychonoff topolog…
▽ More
An action of a topological semigroup S on X is compactifiable if this action is a restriction of a jointly continuous action of S on a Hausdorff compact space Y. A topological semigroup S is compactifiable if the left action of S on itself is compactifiable. It is well known that every Hausdorff topological group is compactifiable. This result cannot be extended to the class of Tychonoff topological monoids. At the same time, several natural constructions lead to compactifiable semigroups and actions. We prove that the semigroup C(K,K) of all continuous selfmaps on the Hilbert cube K is a universal second countable compactifiable semigroup (semigroup version of Uspenskij's theorem). Moreover, the Hilbert cube K under the action of C(K,K) is universal in the realm of all compactifiable S-flows X with compactifiable S where both X and S are second countable. We strengthen some related results of Kocak & Strauss and Ferry & Strauss about Samuel compactifications of semigroups. Some results concern compactifications with separately continuous actions, LMC-compactifications and LMC-functions introduced by Mitchell.
△ Less
Submitted 10 December, 2006; v1 submitted 25 November, 2006;
originally announced November 2006.
-
Every topological group is a group retract of a minimal group
Authors:
Michael Megrelishvili
Abstract:
We show that every Hausdorff topological group is a group retract of a minimal topological group. This first was conjectured by Pestov in 1983. Our main result leads to a solution of some problems of Arhangelskii. One of them is the problem about representability of a group as a quotient of a minimal group (Problem 519 in the first edition of "Open Problems in Topology"). Our approach is based o…
▽ More
We show that every Hausdorff topological group is a group retract of a minimal topological group. This first was conjectured by Pestov in 1983. Our main result leads to a solution of some problems of Arhangelskii. One of them is the problem about representability of a group as a quotient of a minimal group (Problem 519 in the first edition of "Open Problems in Topology"). Our approach is based on generalized Heisenberg groups and on groups arising from group representations on Banach spaces and in bilinear map**s.
△ Less
Submitted 6 October, 2006;
originally announced October 2006.
-
Some new algebras of functions on topological groups arising from $G$-spaces
Authors:
Eli Glasner,
Michael Megrelishvili
Abstract:
For a topological group G we introduce the algebra SUC(G) of \emph{strongly uniformly continuous} functions. We show that SUC(G) contains the algebra WAP(G) of weakly almost periodic functions as well as the algebras LE(G) and Asp(G) of locally equicontinuous and Asplund functions respectively. For the Polish groups of order preserving homeomorphisms of the unit interval and of isometries of the…
▽ More
For a topological group G we introduce the algebra SUC(G) of \emph{strongly uniformly continuous} functions. We show that SUC(G) contains the algebra WAP(G) of weakly almost periodic functions as well as the algebras LE(G) and Asp(G) of locally equicontinuous and Asplund functions respectively. For the Polish groups of order preserving homeomorphisms of the unit interval and of isometries of the Urysohn space of diameter 1, we show that SUC(G) is trivial. We introduce the notion of fixed point on a class P of flows (P-fpp) and study in particular groups with the SUC-fpp. We study the Roelcke algebra (= UC(G) = right and left uniformly continuous functions) and SUC compactifications of the groups S(N), of permutations of a countable set, and H(C), the group of homeomorphisms of the Cantor set. For the first group we show that WAP(G)=SUC(G)=UC(G) and also provide a concrete description of the corresponding metrizable (in fact Cantor) semitopological semigroup compactification. For the second group, in contrast, we show that SUC(G) is properly contained in UC(G). We then deduce that for this group UC(G) does not yield a right topological semigroup compactification.
△ Less
Submitted 23 August, 2006;
originally announced August 2006.
-
A note on sensitivity of semigroup actions
Authors:
Eduard Kontorovich,
Michael Megrelishvili
Abstract:
It is well known that for a transitive dynamical system (X,f) sensitivity to initial conditions follows from the assumption that the periodic points are dense. This was done by several authors: Banks, Brooks, Cairns, Davis and Stacey, Silverman, and also by Glasner and Weiss. In the latter article Glasner and Weiss established a stronger result (for compact metric systems) which implies that a t…
▽ More
It is well known that for a transitive dynamical system (X,f) sensitivity to initial conditions follows from the assumption that the periodic points are dense. This was done by several authors: Banks, Brooks, Cairns, Davis and Stacey, Silverman, and also by Glasner and Weiss. In the latter article Glasner and Weiss established a stronger result (for compact metric systems) which implies that a transitive non-minimal compact metric system (X,f) with dense set of almost periodic points is sensitive. This is true also for group actions as was proved in a recent book of Glasner. Our aim is to generalize these results in the frame of a unified approach for a wide class of topological semigroup actions including one-parameter semigroup actions on Polish spaces.
△ Less
Submitted 18 July, 2006;
originally announced July 2006.
-
On metrizable envelo** semigroups
Authors:
Eli Glasner,
Michael Megrelishvili,
Vladimir V. Uspenskij
Abstract:
When a topological group $G$ acts on a compact space $X$, its envelo** semigroup $E(X)$ is the closure of the set of $g$-translations, $g\in G$, in the compact space $X^X$. Assume that $X$ is metrizable. It has recently been shown by the first two authors that the following conditions are equivalent: (1) $X$ is hereditarily almost equicontinuous; (2) $X$ is hereditarily non-sensitive; (3) for…
▽ More
When a topological group $G$ acts on a compact space $X$, its envelo** semigroup $E(X)$ is the closure of the set of $g$-translations, $g\in G$, in the compact space $X^X$. Assume that $X$ is metrizable. It has recently been shown by the first two authors that the following conditions are equivalent: (1) $X$ is hereditarily almost equicontinuous; (2) $X$ is hereditarily non-sensitive; (3) for any compatible metric $d$ on $X$ the metric $d_G(x,y):=\sup\{d(gx,gy): g\in G\}$ defines a separable topology on $X$; (4) the dynamical system $(G,X)$ admits a proper representation on an Asplund Banach space. We prove that these conditions are also equivalent to the following: the envelo** semigroup $E(X)$ is metrizable.
△ Less
Submitted 26 September, 2006; v1 submitted 15 June, 2006;
originally announced June 2006.
-
Generalized Heisenberg groups and Shtern's question
Authors:
Michael Megrelishvili
Abstract:
Let H(X) be the generalized Heisenberg group induced by a normed space X. We prove that X is a relatively minimal subgroup of H(X). We show that the group $G:=H(L_4[0,1])$ is reflexively representable but weakly continuous unitary representations of G in Hilbert spaces do not separate points of G. This answers a question of A. Shtern.
Let H(X) be the generalized Heisenberg group induced by a normed space X. We prove that X is a relatively minimal subgroup of H(X). We show that the group $G:=H(L_4[0,1])$ is reflexively representable but weakly continuous unitary representations of G in Hilbert spaces do not separate points of G. This answers a question of A. Shtern.
△ Less
Submitted 6 November, 2004;
originally announced November 2004.
-
Fragmentability and representations of flows
Authors:
Michael Megrelishvili
Abstract:
Our aim is to study weak star continuous representations of semigroup actions into the duals of ``good'' (e.g., reflexive and Asplund) Banach spaces. This approach leads to flow analogs of Eberlein and Radon-Nikodym compacta and a new class of functions (Asplund functions) which intimately is connected with Asplund representations and includes the class of weakly almost periodic functions. We show…
▽ More
Our aim is to study weak star continuous representations of semigroup actions into the duals of ``good'' (e.g., reflexive and Asplund) Banach spaces. This approach leads to flow analogs of Eberlein and Radon-Nikodym compacta and a new class of functions (Asplund functions) which intimately is connected with Asplund representations and includes the class of weakly almost periodic functions. We show that a flow is weakly almost periodic iff it admits sufficiently many reflexive representations. One of the main technical tools in this paper is the concept of fragmentability (which actually comes from Namioka and Phelps) and widespreadly used in topological aspects of Banach space theory. We explore fragmentability as ``a generalized equicontinuity'' of flows. This unified approach allows us to obtain several dynamical applications. We generalize and strengthen some results of Akin-Auslander-Berg, Shtern, Veech-Troallic-Auslander and Hansel-Troallic. We establish that frequently, for linear G-actions, weak and strong topologies coincide on, not necessarily closed, G-minimal subsets. For instance such actions are ``orbitwise Kadec``.
△ Less
Submitted 20 September, 2019; v1 submitted 5 November, 2004;
originally announced November 2004.
-
Hereditarily non-sensitive dynamical systems and linear representations
Authors:
Eli Glasner,
Michael Megrelishvili
Abstract:
For an arbitrary topological group G any compact G-dynamical system (G,X) can be linearly G-represented as a weak*-compact subset of a dual Banach space V*. As was shown by Megrelishvili (2003), the Banach space V can be chosen to be reflexive iff the metric system (G,X) is weakly almost periodic (WAP). In this paper we study the wider class of compact G-systems which can be linearly represented…
▽ More
For an arbitrary topological group G any compact G-dynamical system (G,X) can be linearly G-represented as a weak*-compact subset of a dual Banach space V*. As was shown by Megrelishvili (2003), the Banach space V can be chosen to be reflexive iff the metric system (G,X) is weakly almost periodic (WAP). In this paper we study the wider class of compact G-systems which can be linearly represented as a weak*-compact subset of a dual Banach space with the Radon-Nikodym property. We call such a system a Radon-Nikodym system (RN). One of our main results is to show that for metrizable compact G-systems the three classes: RN, HNS (hereditarily not sensitive) and HAE (hereditarily almost equicontinuous) coincide. We investigate these classes and their relation to previously studied classes of G-systems such as WAP and LE (locally equicontinuous). We show that the Glasner-Weiss examples of recurrent-transitive locally equicontinuous but not weakly almost periodic cascades are actually RN. We also show that for symbolic systems the RN property is equivalent to having a countable phase space; and that any Z-dynamical system (f,X), where X is either the unit interval or the unit circle and f: X\to X is a homeomorphism, is an RN system. Using fragmentability and Namioka's theorem we give an envelo** semigroup characterization of HNS systems and show that the envelo** semigroup of a compact metrizable HNS system is a separable Rosenthal compact, hence of cardinality less than or equal c. We investigate a dynamical version of the Bourgain-Fremlin-Talagrand dichotomy and a dynamical version of Todorucević dichotomy concerning Rosenthal compacts.
△ Less
Submitted 11 January, 2006; v1 submitted 9 June, 2004;
originally announced June 2004.
-
Globalization of Confluent Partial Actions on Topological and Metric Spaces
Authors:
Michael Megrelishvili,
Lutz Schroeder
Abstract:
We generalize Exel's notion of partial group action to monoids. For partial monoid actions that can be defined by means of suitably well-behaved systems of generators and relations, we employ classical rewriting theory in order to describe the universal induced global action on an extended set. This universal action can be lifted to the setting of topological spaces and continuous maps, as well…
▽ More
We generalize Exel's notion of partial group action to monoids. For partial monoid actions that can be defined by means of suitably well-behaved systems of generators and relations, we employ classical rewriting theory in order to describe the universal induced global action on an extended set. This universal action can be lifted to the setting of topological spaces and continuous maps, as well as to that of metric spaces and non-expansive maps. Well-known constructions such as Shimrat's homogeneous extension are special cases of this construction. We investigate various properties of the arising spaces in relation to the original space; in particular, we prove embedding theorems and preservation properties concerning separation axioms and dimension. These results imply that every normal (metric) space can be embedded into a normal (metrically) ultrahomogeneous space of the same dimension and cardinality.
△ Less
Submitted 25 April, 2006; v1 submitted 2 October, 2002;
originally announced October 2002.
-
A note on the precompactness of weakly almost periodic groups
Authors:
Michael G. Megrelishvili,
Vladimir G. Pestov,
Vladimir V. Uspenskij
Abstract:
An action of a group $G$ on a compact space $X$ is called weakly almost periodic if the orbit of every continuous function on $X$ is weakly relatively compact in $C(X)$. We observe that for a topological group $G$ the following are equivalent: (i) every continuous action of $G$ on a compact space is weakly almost periodic; (ii) $G$ is precompact. For monothetic groups the result was previously o…
▽ More
An action of a group $G$ on a compact space $X$ is called weakly almost periodic if the orbit of every continuous function on $X$ is weakly relatively compact in $C(X)$. We observe that for a topological group $G$ the following are equivalent: (i) every continuous action of $G$ on a compact space is weakly almost periodic; (ii) $G$ is precompact. For monothetic groups the result was previously obtained by Akin and Glasner, while for locally compact groups it has been known for a long time.
△ Less
Submitted 21 November, 2000;
originally announced November 2000.