On minimal flows, definably amenable groups, and o-minimality

DOI10.1016/J.AIM.2015.12.010MaRDI QIDQ908071zbMATH OpenOpenAlexFDO

Authors Ningyuan Yao, Anand Pillay

Publication date 2 February 2016

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1504.00875

zbMATH Keywords

almost periodic typedefinable amenabilityo-minimalityweak generic type

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Dynamical systems involving transformations and group actions with special properties (minimality, distality, proximality, expansivity, etc.) (37B05) Means on groups, semigroups, etc.; amenable groups (43A07)

Abstract: 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, equivalently where the union of the minimal subflows of suitable type spaces is not closed. We give other positive results in this o-minimal context.

Review text

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

Recommendations

• Definably amenable NIP groups
• NIP and definably amenable groups
• Connected components of definable groups and o-minimality. I
• THE ELLIS GROUP CONJECTURE AND VARIANTS OF DEFINABLE AMENABILITY
• Groups, measures, and the NIP

Cites work

• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Connected components of definable groups and o-minimality. I
• Definable Compactness and Definable Subgroups of o-Minimal Groups
• Definable types in -minimal theories
• Definably amenable NIP groups
• Distal and non-distal NIP theories
• External definability and groups in NIP theories
• Groups, measures, and the NIP
• scientific article; zbMATH DE number 193253 (Why is no real title available?)
• On compactifications and the topological dynamics of definable groups
• On NIP and invariant measures
• Proximal flows
• Topological dynamics and definable groups
• Topological dynamics of definable group actions
• Weak generic types and coverings of groups I

Cited in

(14)

• Topological dynamics and NIP fields
• Definably topological dynamics of \(p\)-adic algebraic groups
• Some remarks on dp-minimal groups
• Definably amenable NIP groups
• THE ELLIS GROUP CONJECTURE AND VARIANTS OF DEFINABLE AMENABILITY
• Minimal extensions of flows with amenable acting groups
• Definable topological dynamics for trigonalizable algebraic groups over \(\mathbb{Q}_P\)
• Some model theory and topological dynamics of \(p\)-adic algebraic groups
• NIP and definably amenable groups
• On minimal flows and definable amenability in some distal NIP theories
• ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS
• Ellis enveloping semigroups in real closed fields
• Abelian groups definable in p-adically closed fields
• On minimal flows of definably amenable p-adic groups

This page was built for publication: On minimal flows, definably amenable groups, and o-minimality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q908071)