Related papers: Topological dynamics and definable groups
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 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,…
We introduce the {\it Ellis semigroup} of a nonautonomous discrete dynamical system $(X,f_{1,\infty})$ when $X$ is a metric compact space. The underlying set of this semigroup is the pointwise closure of $\{f\sp{n}_1 \, |\, n\in…
We introduce an abstract topos-theoretic framework for building Galois-type theories in a variety of different mathematical contexts; such theories are obtained from representations of certain atomic two-valued toposes as toposes of…
We discuss definable compactifications and topological dynamics. For G a group definable in some structure M, we define notions of "definable" compactification of G and "definable" action of G on a compact space X (definable G-flow), where…
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 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…
A Polish group $G$ has the generic point property if any minimal $G$-flow admits a comeager orbit, or equivalently if the universal minimal flow (UMF) does. The class $\mathsf{GPP}$ of such Polish groups is a proper extension of the class…
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 suggest a generalization of \pi_0 for topological groupoids, which encodes incidence relations among the strata of the associated quotient object, and argue for its utility by example, starting from the orbit categories of the theory of…
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…
We provide sufficient conditions for the multi-EGS groups to be liftable and thus produce new examples of groups acting transitively on regular trees of finite degree stabilizing one of the ends, whose closures are scale groups as defined…
We study the topology of circularly ordered sets. While the algebraic notion is classical, the general topological theory has received comparatively little attention. In this work we provide a self-contained topological exposition and…
We develop local stable group theory directly from topological dynamics, and extend the main results in this subject to the setting of stability "in a model". Specifically, given a group $G$, we analyze the structure of sets $A\subseteq G$…
We classify dynamical twists in group algebras of finite groups. Namely, we set up a bijective correspondence between gauge equivalence classes of dynamical twists (which are solutions of a certain non-linear functional equation) and…
A compact metric space $X$ and a discrete topological acting group $T$ give a flow $(X,T)$. Robert Ellis had initiated the study of dynamical properties of the flow $(X,T)$ via the algebraic properties of its "Enveloping Semigroup" $E(X)$.…
This paper aims at developing model-theoretic tools to study interpretable fields and definably amenable groups, mainly in $\mathrm{NIP}$ or $\mathrm{NTP_2}$ settings. An abstract theorem constructing definable group homomorphisms from…
This small survey of basic universal constructions related to the actions of topological groups on compacta is centred around a new result --- an intrinsic description of extremely amenable topological groups (i.e., those having a fixed…
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…
This survey is focused on the results related to topologies on the groups of transformations in ergodic theory, Borel, and Cantor dynamics. Various topological properties (density, connectedness, genericity) of these groups and their…