On minimal flows, definably amenable groups, and o-minimality (Q908071)

This paper concerns topological dynamics in model theory and addresses the problem stated by [\textit{L. Newelski}, J. Symb. Log. 74, No. 1, 50--72 (2009; Zbl 1173.03031)] to find an o-minimal or NIP example, where the weakly generic types differ from the almost periodic types. In the o-minimal case, a definable group is definably amenable iff there exists a short exact sequence \(1\to H \to G\to C\to 1\) with \(H\) torsion-free and \(C\) definably compact. The paper contains four main results: {\parindent=0.7cm \begin{itemize}\item[1.] Global case. If \(T\) is an o-minimal theory, \(G\) is definably amenable over a saturated model \(\overline{\mathcal M}\) and \(G=H\) or \(\dim H\leq 1\), then the weakly generic types are exactly the almost periodic types in \(S_G(\mathcal M)\). \item[2.] Local case. If \(T\) is o-minimal, \(G\) is definably amenable over a model \(\mathcal M\) and \(G=C\times H\) with \(G=H\) or \(\dim H \leq 1\), then in both \(S_G(M^{\mathrm{ext}})\) and \(S_G(M)\) the weakly generic types are exactly the almost periodic types; \item[3.] For the standard model \((\mathbb{R},+, \cdot)\) of \(RCF\), and \(G=S^1\times (\mathbb R,+)^2\) the set of almost periodic types is properly contained in the set of weakly generic types both in \(S_G(\mathbb R)\) and in \(S_G(\overline{\mathcal M})\), where \(\overline{\mathcal M}\) is a saturated model. \item[4.] If \(T\) is o-minimal, \(G\) is definably amenable over \(\mathcal M\prec \mathcal N\), then the image under the canonical restriction map of a minimal \(G(\mathcal N)\)-subflow in \(S_G(\mathcal N)\) is a minimal \(G(\mathcal M)\)-subflow in \(S_G(\mathcal M)\). \end{itemize}}