Related papers: Ordered structures and large conjugacy classes
We study automorphism groups of randomizations of separable structures, with focus on the $\aleph_0$-categorical case. We give a description of the automorphism group of the Borel randomization in terms of the group of the original…
We examine properties of generic automorphisms of the random poset, with the goal of explicitly characterizing them. We associate to each automorphism an auxiliary first-order structure, consisting of the random poset equipped with an…
In this paper we consider non-archimedean abelian Polish groups whose orbit equivalence relations are all Borel. Such groups are called tame. We show that a non-archimedean abelian Polish group is tame if and only if it does not involve…
In order to understand the structure of the `typical' element of an automorphism group, one has to study how large the conjugacy classes of the group are. When typical is meant in the sense of Baire category, a complete description of the…
For each Sophie Germain prime $g \geq 5,$ we construct an absolutely simple polarized abelian variety of dimension $g$ over a finite field, whose automorphism group is a cyclic group of order $4g+2$. We also provide a description on the…
Let $A$ be a finite non-abelian simple Mal'cev algebra, such as for example a finite simple non-abelian group or a finite simple non-zero ring. We show that the automorphism group of a filtered Boolean power of $A$ by the countable atomless…
In this paper, we show that Frucht's theorem holds in Borel setting. More specifically, we prove that any standard Borel group can be realized as the Borel automorphism group of a Borel graph. A slight modification of our construction also…
We consider the conjugacy problem for the automorphism groups of a number of countable homogeneous structures. In each case we find the precise complexity of the conjugacy relation in the sense of Borel reducibility.
This paper completely determines the non-amenability of the mapping class groups of infinite-type surfaces, the mapping class groups of locally finite infinite graphs of higher ranks, gives an example of non-amenable stabiliser of a point…
Let $G$ be an abelian Polish group. We show that there is a strongly Haar meager set in $G$ without any $F_{\sigma}$ Haar meager hull (and that this still remains true if we replace $F_{\sigma}$ by any other class of the Borel hierarchy).…
We study Polish spaces for which a set of possible distances $A \subseteq \mathbb{R}^+$ is fixed in advance. We determine, depending on the properties of $A$, the complexity of the collection of all Polish metric spaces with distances in…
We study classes of Borel subsets of the real line $\mathbb{R}$ such as levels of the Borel hierarchy and the class of sets that are reducible to the set $\mathbb{Q}$ of rationals, endowed with the Wadge quasi-order of reducibility with…
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…
Our first motivation was the question: can a countable structure have an automorphism group, which a free uncountable group? This is answered negatively in [Sh:744]. Lecturing in a conference in Rutgers, February 2001, I was asked whether I…
This paper deals with graph automaton groups associated with trees and some generalizations. We start by showing some algebraic properties of tree automaton groups. Then we characterize the associated semigroup, proving that it is…
We show that every non-Archimedean Polish group $P$ is the outer automorphism group of a countable discrete group $G_P$. Moreover, our construction provides a Borel map $f$ from the Effros space of closed subgroups of the permutation group…
We show that the group of homeomorphisms of the Cantor set $H(K)$ has ample generics, that is, for every $m$ the diagonal conjugacy action $g\cdot(h_1,h_2,..., h_m)=(gh_1g^{-1},gh_2g^{-1},..., gh_mg^{-1})$ of $H(K)$ on $H(K)^m$ has a…
For any abelian Polish sigma-compact group H there exist a sigma-ideal Z over N and a Borel Z-approximate homomorphism f : H --> H^N which is not Z-approximable by a continuous true homomorphism g : H --> H^N.
Every clone of functions comes naturally equipped with a topology---the topology of pointwise convergence. A clone $\mathfrak{C}$ is said to have automatic homeomorphicity with respect to a class $\mathcal{C}$ of clones, if every…
We study the Fraisse limit of the class of all finite simplicial complexes. Whilst the natural model-theoretic setting for this class uses an infinite language, a range of results associated with Fraisse limits of structures for finite…