arXiv++ Combinatorics

In this paper we prove that the automorphism groups of certain countable generic structures are not amenable. For doing that, we first prove the existence of particular matrices that do not satisfy the convex Ramsey condition. For a pair of elements in a smooth class, we introduce the property of forming a free-pseudoplane in the generic structure. We then prove the non-amenability of the automorphism group of a generic structure obtained from a smooth class with a pair that forms a free-pseudoplane. As an application we show that the automorphism group of an ab-initio generic structure that is constructed using a pre-dimension function with irrational coefficients is not amenable.

We investigate correspondences between extreme amenability and amenability of automorphism groups of Fraïssé-Hrushovski generic structures that are obtained from smooth classes, and their Ramsey type properties of their smooth classes, similar to Kechris, Pestov and Todorcevic, and Tatch Moore. In particular, we focus on some Fraïssé-Hrushovski generic structures that are obtained from pre-dimension functions. Using these correspondences, we prove that automorphism groups of ordered Hrushovski generic graphs are not extremely amenable in both cases of collapsed and uncollapsed. Moreover, we prove that automorphism groups of Fraïssé-Hrushovski generic structures that are obtained from pre-dimension functions with rational coefficients are not amenable.