Related papers: $\mathop{\rm PL}_+(I)$ is not a Polish group

Let $M=I$ or $M=\mathbb{S}^1$ and let $k\geq 1$. We exhibit a new infinite class of Polish groups by showing that each group $\mathop{\rm Diff}_+^{k+AC}(M)$, consisting of those $C^k$ diffeomorphisms whose $k$-th derivative is absolutely…

We show that the group of piecewise linear homeomorphisms of any compact PL manifold does not admit a Polish group topology. This uses a) new results on the relationship between topologies on groups of homeomorphisms, their algebraic…

We prove that every Polish group with more than two elements admits a non-trivial topological group automorphism. As a consequence, a hypothetical uniquely homogeneous Polish space with more than two points cannot be a semitopological…

We give a complete characterization of the graph products of cyclic groups admitting a Polish group topology, and show that they are all realizable as the group of automorphisms of a countable structure. In particular, we characterize the…

The set of increasing functions on the rational numbers, equipped with the composition operation, naturally forms a topological semigroup with respect to the topology of pointwise convergence in which a sequence of increasing functions…

We consider the Polish group obtained as the rank-completion of an inductive limit of finite special linear groups. This Polish group is topologically simple modulo its center, it is extremely amenable and has no non-trivial strongly…

For an analytic $P$-ideal $I$, $S_I$ is the Polish group of all the permutations of $\mathbb{N}$ whose support is in $I$, with Polish topology given by the corresponding submeasure on $I$. We show that if $\mbox{Fin} \subsetneq I$, then…

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 prove that the B\"uchi topology and the automatic topology are Polish. We also show that this cannot be fully extended to the case of a space of infinite labelled binary trees; in particular the B\"uchi and the Muller topologies are not…

In an earlier paper, we introduced the following pre-order on the subgroups of a given Polish group: if $G$ is a Polish group and $H,L \subseteq G$ are subgroups, we say $H$ is {\em homomorphism reducible} to $L$ iff there is a continuous…

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…

Let $PL_0(I)$ represent the group of orientation-preserving piecewise-linear homeomorphisms of the unit interval which admit finitely many breaks in slope, under the operation of composition. We find a non-solvable group $W$ and show that…

Let $\Aut(G)$ denote the group of (bi-)continuous automorphisms %and $\Out(G)$ the outer automorphism group of a non-Archimedean Polish group~$G$. We show that for any such $G$ with an invariant countable basis of open subgroups, the group…

We investigate subgroups of the group PLo(I) of piecewise-linear, orientation preserving homeomorphisms of the unit interval with finitely many breaks in slope, and also subgroups of Thompson's group F. We find geometric criteria…

In this paper, we prove several results concerning Polish group topologies on groups of non-singular transformation. We first prove that the group of measure-preserving transformations of the real line whose support has finite measure…

We study when a continuous isometric action of a Polish group on a complete metric space is, or can be, transitive. Our main results consist of showing that certain Polish groups, namely $\mathrm{Aut}^*(\mu)$ and $\mathrm{Homeo}^+[0,1]$,…

We show that some derived $\mathrm{L}^1$ full groups provide examples of non simple Polish groups with the topological bounded normal generation property. In particular, it follows that there are Polish groups with the topological bounded…

An uncountable $\aleph_1$-free group cannot admit a Polish group topology but an uncountable $\aleph_1$-free abelian group can, as witnessed, for example, by the Baer-Specker group $\mathbb{Z}^\omega$; more strongly, $\mathbb{Z}^\omega$ is…

We give strong necessary conditions on the admissibility of a Polish group topology for an arbitrary graph product of groups $G(\Gamma, G_a)$, and use them to give a characterization modulo a finite set of nodes. As a corollary, we give a…

A display of a topological group G on a Banach space X is a topological isomorphism of G with the isometry group Isom(X,||.||) for some equivalent norm ||.|| on X, where the latter group is equipped with the strong operator topology.…