5,029 research outputs found
Turbulence, amalgamation and generic automorphisms of homogeneous structures
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-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-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, -categorical structures and of the random
graph. In this connection, we also show that the infinite symmetric group
has a unique non-trivial separable group topology. For several
interesting groups we also establish Serre's properties (FH) and (FA)
Valued fields, Metastable groups
We introduce a class of theories called metastable, including the theory of
algebraically closed valued fields (ACVF) as a motivating example. The key
local notion is that of definable types dominated by their stable part. A
theory is metastable (over a sort ) if every type over a sufficiently
rich base structure can be viewed as part of a -parametrized family of
stably dominated types. We initiate a study of definable groups in metastable
theories of finite rank. Groups with a stably dominated generic type are shown
to have a canonical stable quotient. Abelian groups are shown to be
decomposable into a part coming from , and a definable direct limit
system of groups with stably dominated generic. In the case of ACVF, among
definable subgroups of affine algebraic groups, we characterize the groups with
stably dominated generics in terms of group schemes over the valuation ring.
Finally, we classify all fields definable in ACVF.Comment: 48 pages. Minor corrections and improvements following a referee
repor
Connected Polish groups with ample generics
In this paper, we give the first examples of connected Polish groups that
have ample generics, answering a question of Kechris and Rosendal. We show that
any Polish group with ample generics embeds into a connected Polish group with
ample generics and that full groups of type III hyperfinite ergodic equivalence
relations have ample generics. We also sketch a proof of the following result:
the full group of any type III ergodic equivalence relation has topological
rank 2.Comment: New version mentioning the results Malicki obtained independently and
simultaneously http://arxiv.org/abs/1503.03919, which also answer Kechris and
Rosendal's question in a different way. Comments welcome
- …