Related papers: On compactifications and the topological dynamics …
For a group $G$ definable in a first order structure $M$ we develop basic topological dynamics in the category of definable $G$-flows. In particular, we give a description of the universal definable $G$-ambit and of the semigroup operation…
For a group $G$ first order definable in a structure $M$, we continue the study of the "definable topological dynamics" of $G$. The special case when all subsets of $G$ are definable in the given structure $M$ is simply the usual…
We study the definable topological dynamics $(G(M), S_G(M))$ of a definable group acting on its type space, where $M$ is either an $o$-minimal structure or a $p$-adically closed field, and $G$ a definable amenable group. We focus on the…
We consider an arbitrary topological group $G$ definable in a structure $\mathcal M$, such that some basis for the topology of $G$ consists of sets definable in $\mathcal M$. To each such group $G$ we associate a compact $G$-space of…
We study projectivity in the category of $G$-flows and affine $G$-flows for Polish groups $G$. We also introduce the notion of \emph{proximally irreducible} extensions between affine $G$-flows. Using this we provide a characterization of…
Every topological group $G$ has some natural compactifications which can be a useful tool of studying $G$. We discuss the following constructions: (1) the greatest ambit $S(G)$ is the compactification corresponding to the algebra of all…
We study amenability of definable and topological groups. Among our main technical tools is an elaboration on and strengthening of the Massicot-Wagner version of the stabilizer theorem, and some results around measures. As an application we…
We prove several theorems relating amenability of groups in various categories (discrete, definable, topological, automorphism group) to model-theoretic invariants (quotients by connected components, Lascar Galois group, G-compactness,…
In this paper we study analogues of amenability for topological groups in the context of definable structures. We prove fixed point theorems for such groups. More importantly, we propose definitions for definable actions and continuous…
For $G$ a closed subgroup of $S_{\infty}$, we provide an explicit characterization of the greatest $G$-ambit. Using this, we provide a precise characterization of when $G$ has metrizable universal minimal flow. In particular, each such…
We study the definable topological dynamics $(G,S_G(M))$ of a definable group acting on its type space, where $M$ is a structure and $G$ is a group definable in $M$. In \cite{Newelski-I}, Newelski raised a question of whether weakly generic…
We give a proof of the existence of generalized definable locally compact models for arbitrary approximate subgroups via an application of topological dynamics in model theory. Our construction is simpler and shorter than the original one…
We initiate a study of definable topological dynamics for groups definable in metastable theories. Specifically, we consider the special linear group $G = SL_2$ with entries from $M = \mathbb{C}((t))$; the field of formal Laurent series…
Distributive subsets of the group of all invertible continuous binary operations on a topological space are considered, and it is proved that the subgroups generated by them are also distributive. A criterion for the distributivity of a…
We define and study notions of amenability and skew-amenability of continuous actions of topological groups on compact topological spaces. Our main motivation is the question under what conditions amenability of a topological group passes…
Generalizing Block and Weinberger's characterization of amenability we introduce the notion of uniformly finite homology for a group action on a compact space and use it to give a homological characterization of topological amenability for…
We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…
We develop topological dynamics for the group of automorphisms of a monster model of any given theory. In particular, we find strong relationships between objects from topological dynamics (such as the generalized Bohr compactification…
We consider automorphism groups of some countably categorical structures and their precompact expansions. We prove that automorphism groups of omega-stable omega-categorical structures have metrizable universal minimal flows. We also study…
We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…