Source author record

Michael Megrelishvili

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GN math.FA math.DS math.GR math.CA math.GM math.LO math.OC

Catalog footprint

Research overview

15works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

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

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).

preprint2022arXiv

Maximal equivariant compactifications

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.

preprint2022arXiv

Tameness and Rosenthal type locally convex spaces

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.

preprint2021arXiv

Maximal equivariant compactification of the Urysohn spaces and other metric structures

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.

preprint2020arXiv

Median pretrees and functions of bounded variation

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$ .

preprint2016arXiv

A note on tameness of families having bounded variation

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.

preprint2016arXiv

Circularly ordered dynamical systems

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.

preprint2016arXiv

Eventual nonsensitivity and tame dynamical systems

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.

preprint2016arXiv

Minimality of the Semidirect Product

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.

preprint2016arXiv

Non-archimedean transportation problems and Kantorovich ultra-norms

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.

preprint2015arXiv

Order and minimality of some topological groups

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.

preprint2013arXiv

Banach representations and affine compactifications of dynamical systems

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.

preprint2013arXiv

Free non-archimedean topological groups

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.

preprint2011arXiv

Notes on non-archimedean topological groups

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.

preprint2010arXiv

On fixed point theorems and nonsensitivity

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Michael Megrelishvili

Research overview

Is this your work?

15 publications

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

Maximal equivariant compactifications

Tameness and Rosenthal type locally convex spaces

Maximal equivariant compactification of the Urysohn spaces and other metric structures

Median pretrees and functions of bounded variation

A note on tameness of families having bounded variation

Circularly ordered dynamical systems

Eventual nonsensitivity and tame dynamical systems

Minimality of the Semidirect Product

Non-archimedean transportation problems and Kantorovich ultra-norms

Order and minimality of some topological groups

Banach representations and affine compactifications of dynamical systems

Free non-archimedean topological groups

Notes on non-archimedean topological groups

On fixed point theorems and nonsensitivity

See the researcher in context

Building this map preview