Related papers: On surjectively universal Polish groups

It is proved that any countable index, universally measurable subgroup of a Polish group is open. By consequence, any universally measurable homomorphism from a Polish group into the infinite symmetric group $S_\infty$ is continuous. It is…

Let $X$ be a separable metrizable space. We establish a criteria for the existence of a metrizable globalization for a given continuous partial action of a separable metrizable group $G$ on $X.$ If $G$ and $X$ are Polish spaces, we show…

We prove that there exists a countable metrizable topological group $G$ such that every countable metrizable group is isomorphic to a quotient of $G$. The completion $H$ of $G$ is a Polish group such that every Polish group is isomorphic to…

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…

Given a class C of subgroups of a topological group G, we say that a subgroup H in C is a universal C subgroup of G if every subgroup K in C is a continuous homomorphic preimage of H. Such subgroups may be regarded as complete members of C…

We associate to every action of a Polish group on a standard probability space a Polish group that we call the orbit full group. For discrete groups, we recover the well-known full groups of pmp equivalence relations equipped with the…

We use Fra\" iss\' e theoretic methods to construct a universal and ultrahomogeneous abelian separable metric group. We show that such a group is a universal abelian Polish group, thus we provide another proof of a result already discovered…

We extend some results of Carderi and Le Ma\^itre on full groups in the probability context to the infinite measure one: there exists at most one Polish group topology (refining the weak topology and coarser than the uniform topology) on an…

We prove that if the universal minimal flow of a Polish group $G$ is metrizable and contains a $G_\delta$ orbit $G \cdot x_0$, then it is isomorphic to the completion of the homogeneous space $G/G_{x_0}$ and show how this result translates…

We prove a result on perfect cliques with respect to countably many G-delta relations on a complete metric space. As an application, we show that a Polish group contains a free subgroup generated by a perfect set as long as it contains any…

We construct Graev ultrametrics on free products of groups with two-sided invariant ultrametrics and HNN extensions of such groups. We also introduce a notion of a free product of general Polish groups and prove, in particular, that two…

Let $G$ be a locally compact Polish group. A metrizable $G$-flow $Y$ is called model-universal if by considering the various invariant probability measures on $Y$, we can recover every free action of $G$ on a standard Lebesgue space up to…

We define and study the notion of \emph{ample metric generics} for a Polish topological group, which is a weakening of the notion of ample generics introduced by Kechris and Rosendal in \cite{Kechris-Rosendal:Turbulence}. Our work is based…

Working in the framework of Borel reducibility, we study various notions of embeddability between groups. We prove that the embeddability between countable groups, the topological embeddability between (discrete) Polish groups, and the…

If G is a Polish group, then there is a Polish G-space X which is universal among Polish G-spaces with respect to continuous G-embeddings.

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…

We consider the isometry group of the infinite dimensional separable hyperbolic space with its Polish topology. This topology is given by the pointwise convergence. For non-locally compact Polish groups, some striking phenomena like…

We prove that no quantifier-free formula in the language of group theory can define the $\aleph_1$-half graph in a Polish group, thus generalising some results from [6]. We then pose some questions on the space of groups of automorphisms of…

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an $F_\sigma$ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to…

We are concerned with questions of the following type. Suppose that $G$ and $K$ are topological groups belonging to a certain class $\cal K$ of spaces, and suppose that $\phi:K \to G$ is an abstract (i.e. not necessarily continuous)…