Related papers: Newelski's Conjecture for $o$-Minimal and $p$-Adic…

We consider definable topological dynamics for $NIP$ groups admitting certain decompositions in terms of specific classes of definably amenable groups. For such a group, we find a description of the Ellis group of its universal definable…

We study the $p$-adic algebraic groups $G$ from the definable topological-dynamical point of view. We consider the case that $M$ is an arbitrary $p$-adic closed field and $G$ an algebraic group over ${\mathbb Q}_p$ admitting an Iwasawa…

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 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…

We study definably amenable groups in NIP theories, and answer a question of Newelski (and also of Chernikov-Simon), by giving an example in the o-minimal context where weak generic types do not coincide with almost periodic types,…

We prove that many properties and invariants of definable groups in NIP theories, such as definable amenability, G/G^{00}, etc., are preserved when passing to the theory of the Shelah expansion by externally definable sets, M^{ext}, of a…

We study definable topological dynamics of some algebraic group actions over an arbitrary NIP field $K$. We show that the Ellis group of the universal definable flow of $\mathrm{SL}_2(K)$ is non-trivial if the multiplicative group of $K$ is…

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 investigate the semigroup of invariant types through the lens of Ellis theory; primarily focusing on definably amenable NIP groups. In this context, we observe that the collection of strong right $f$-generic types forms the unique…

Let $X$ be a definable group definable over a small model $M_0$. Recall that a global type $p$ on $X$ is definable $f$-generic over $M_0$ if every left translate of $p$ is definable over $M_0$. We call $p$ strongly $f$-generic over $M_0$ if…

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…

We study definably amenable NIP groups. We develop a theory of generics, showing that various definitions considered previously coincide, and study invariant measures. Applications include: characterization of regular ergodic measures, a…

Following the works of Newelski we continue the study of the relations between abstract topological dynamics and generalized stable group theory. We show that the Ellis theory, applied to the action of G(M) on its type space, for G an fsg…

Let $\mathcal M$ be a weakly o-minimal non-valuational structure, and $\mathcal N$ its canonical o-minimal extension (by Wencel). We prove that every group $G$ definable in $\mathcal M$ is a subgroup of a group $K$ definable in $\mathcal…

Assume $G$ is a group and $\mathcal{A}$ is an algebra of subsets of $G$ closed under left translation. We study various ways to understand the Ellis group of the $G$-flow $S(\mathcal{A})$ (the Stone space of $\mathcal{A}$), with particular…

Recall that a definable group is `definably amenable' if it admits a translation-invariant Keisler measure. We prove a combinatorial characterization of definable amenability for groups definable in NIP theories. More specifically, given a…

Assume $G$ is a definable group in a stable structure $M$. Newelski showed that the semigroup $S_G(M)$ of complete types concentrated on $G$ is an inverse limit of the $\infty$-definable (in $M^{eq}$) semigroups $S_{G,\Delta}(M)$. He also…

We generalize two of our previous results on abelian definable groups in $p$-adically closed fields to the non-abelian case. First, we show that if $G$ is a definable group that is not definably compact, then $G$ has a one-dimensional…

We study idempotent measures and the structure of the convolution semigroups of measures over definable groups. We isolate the property of generic transitivity and demonstrate that it is sufficient (and necessary) to develop stable group…

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…