Amenability, definable groups, and automorphism groups (Q1721978)

This paper presents theorems relating the amenability of groups to model-theoretic invariants. The main aim of this paper is find model-theoretic consequences of the assumption of amenability of \(G\) in appropriate senses. The author frames the question raised in [\textit{K. Krupiński} and \textit{A. Pillay}, Math. Proc. Camb. Philos. Soc. 163, No. 2, 219--249 (2017; Zbl 1476.03044)] as the following conjecture: {Conjecture}: Let \(G\) be a group definable in a structure \(M\). If \(G\) is definably amenable, then \(G^{*00}_M = G^{*000}_M\). In a more general sense (topological context) this conjecture is formulated as: {Conjecture}: Let \(G\) be a topological group. If \(G\) is amenable, then \(G^{*00}_{\mathrm{top}} = G^{*000}_{\mathrm{top}}\). This paper further deals with the following versions of these conjectures: {Conjecture}: Let \(G\) be a topological group definable in an arbitrary structure \(M\). If \(G\) is weakly definably topologically amenable, then \(G^{*00}_{\mathrm{def, top}} = G^{P*000}_{\mathrm{def, top}}\). {Conjecture}: Let \(G\) be a topological group definable in a structure \(M\) in which the members of a basis of open neighborhoods of \(e\) are definable. If \(G\) is definably topologically amenable, then \(G^{*00}_{\mathrm{def, top}} = G^{*000}_{\mathrm{def, top}}\). The main tools used in the proof are based on the technique from [\textit{J.-C. Massicot} and \textit{F. O. Wagner}, J. Éc. Polytech., Math. 2, 55--63 (2015; Zbl 1379.03008)] used there to understand the approximate subgroups. Finally, the main result of this paper proves that for a countable, \(\omega\)-categorical structure \(M\), if \(\Aut(M)\) is amenable, then the theory of \(M\) is \(G\)-compact.