Definable topological dynamics

DOI10.1017/JSL.2017.32MaRDI QIDQ5359577zbMATH OpenOpenAlexFDO

Authors Krzysztof Krupiński

Publication date 26 September 2017

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

model theorytopological dynamicsdefinable flows

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Dynamical systems involving transformations and group actions with special properties (minimality, distality, proximality, expansivity, etc.) (37B05)

Abstract: 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 on it. We find a natural epimorphism from the Ellis group of this flow to the definable Bohr compactification of $G$, that is to the quotient $G^{\ast }/{G^{\ast }}_M^{00}$ (where $G^{\ast }$ is the interpretation of $G$ in a monster model). More generally, we obtain these results locally, i.e. in the category of $Delta$-definable $G$-flows for any fixed set $Delta$ of formulas of an appropriate form. In particular, we define local connected components ${G^{\ast }}_{Delta,M}^{00}$ and ${G^{\ast }}_{Delta,M}^{000}$, and show that $G^{\ast }/{G^{\ast }}_{Delta,M}^{00}$ is the $Delta$-definable Bohr compactification of $G$. We also note that some deeper arguments from the topological dynamics in the category of externally definable $G$-flows can be adapted to the definable context, showing for example that our epimorphism from the Ellis group to the $Delta$-definable Bohr compactification factors naturally yielding a continuous epimorphism from the $Delta$-definable generalized Bohr compactification to the $Delta$-definable Bohr compactification of $G$. Finally, we propose to view certain topological-dynamic and model-theoretic invariants as Polish structures which leads to some observations and questions.

Recommendations

• On compactifications and the topological dynamics of definable groups
• Topological dynamics for groups definable in real closed field
• Generalised Bohr compactification and model-theoretic connected components
• Definable topological dynamics and real Lie groups
• Topological dynamics and definable groups

Cites work

• scientific article; zbMATH DE number 1002918 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 193253 (Why is no real title available?)
• scientific article; zbMATH DE number 1478717 (Why is no real title available?)
• scientific article; zbMATH DE number 3308075 (Why is no real title available?)
• A Guide to NIP Theories
• Connected components of definable groups and o-minimality. I
• Definable topological dynamics and real Lie groups
• Definably amenable NIP groups
• Generalised Bohr compactification and model-theoretic connected components
• Generalizations of small profinite structures
• Hyperimaginaries and automorphism groups
• Minimal bounded index subgroup for dependent theories
• Model theoretic aspects of the Ellis semigroup
• Model theoretic connected components of groups
• On bounded type-definable equivalence relations
• On compactifications and the topological dynamics of definable groups
• On model-theoretic connected components in some group extensions
• Proximal flows
• Small profinite m-stable groups
• Small profinite structures
• Small, \(nm\)-stable compact \(G\)-groups
• Some model theory of Polish structures
• TYPE-DEFINABILITY, COMPACT LIE GROUPS, AND o-MINIMALITY
• Topological dynamics and the complexity of strong types
• Topological dynamics for groups definable in real closed field
• Topological dynamics of definable group actions
• \({\mathcal M}\)-gap conjecture and \(m\)-normal theories

Cited in

(14)

• Groups, group actions and fields definable in first-order topological structures
• Topological dynamics and NIP fields
• Amenability, definable groups, and automorphism groups
• Amenability, connected components, and definable actions
• Topological dynamics and the complexity of strong types
• Model theoretic aspects of the Ellis semigroup
• Model theory and topological dynamics
• On compactifications and the topological dynamics of definable groups
• Definably topological dynamics of \(p\)-adic algebraic groups
• Definable topological dynamics and real Lie groups
• Topological dynamics of definable group actions
• Closed approximate subgroups: compactness, amenability and approximate lattices
• Ellis enveloping semigroups in real closed fields
• Generalised Bohr compactification and model-theoretic connected components

This page was built for publication: Definable topological dynamics

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