We study topological properties of conjugacy classes in Polish groups, with emphasis on automorphism groups of homogeneous countable structures. We first consider the existence of dense conjugacy classes (the topological Rokhlin property). We then characterize when an automorphism group admits a comeager conjugacy class (answering a question of Truss) and apply this to show that the homeomorphism group of the Cantor space has a comeager conjugacy class (answering a question of Akin, Hurley and Kennedy). Finally, we study Polish groups that admit comeager conjugacy classes in any dimension (in which case the groups are said to admit ample generics). We show that Polish groups with ample generics have the small index property (generalizing results of Hodges, Hodkinson, Lascar and Shelah) and arbitrary homomorphisms from such groups into separable groups are automatically continuous. Moreover, in the case of oligomorphic permutation groups, they have uncountable cofinality and the Bergman property. These results in particular apply to automorphism groups of many ω‐stable, ℵ0‐categorical structures and of the random graph. In this connection, we also show that the infinite symmetric group S∞ has a unique non‐trivial separable group topology. For several interesting groups we also establish Serre's properties (FH) and (FA).
We prove three new dichotomies for Banach spaces à la W.T. Gowers' dichotomies. The three dichotomies characterise respectively the spaces having no minimal subspaces, having no subsequentially minimal basic sequences, and having no subspaces crudely finitely representable in all of their subspaces. We subsequently use these results to make progress on Gowers' program of classifying Banach spaces by finding characteristic spaces present in every space. Also, the results are used to embed any partial order of size ℵ 1 into the subspaces of any space without a minimal subspace ordered by isomorphic embeddability.
Abstract. We prove that various concrete analytic equivalence relations arising in model theory or analysis are complete, i.e. maximum in the Borel reducibility ordering. The proofs use some general results concerning the wider class of analytic quasi-orders.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.