The Ellis group conjecture and variants of definable amenability

Abstract

We consider definable topological dynamics for $NIP$ groups admitting certain decompositions in terms of specific classes of definably amenable groups. For such a group, we find a description of the Ellis group of its universal definable flow. This description shows that the Ellis group is of bounded size. Under additional assumptions, it is shown to be independent of the model, proving a conjecture proposed by Newelski. Finally we apply the results to new classes of groups definable in o-minimal structures, generalizing all of the previous results for this setting.