2016/02/17 by Krupinski, Krzysztof
#03C45 #54H20 #Dynamical Systems (math.DS) #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1602.05393
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^*/G^*00M (where G^* is the interpretation of G in a monster model). More generally, we obtain these results locally, i.e. in the category of Δ-definable G-flows for any fixed set Δ of formulas of an appropriate form. In particular, we define local connected components G^*00Δ,M and G^*000Δ,M, and show that G^*/G^*00Δ,M is the Δ-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 Δ-definable Bohr compactification factors naturally yielding a continuous epimorphism from the Δ-definable generalized Bohr compactification to the Δ-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.