Related papers: Non-Archimedean TSI Polish groups and their potent…

We prove that topological isomorphism on procountable groups is not classifiable by countable structures, in the sense of descriptive set theory. In fact, the equivalence relation $\ell_\infty$ expressing that two sequences of reals have a…

In a recent work, the authors studied various Borel equivalence relations defined on the Polish space ${\rm{SA}}(H)$ of all (not necessarily bounded) self-adjoint operators on a separable infinite-dimensional Hilbert space $H$. In this…

We prove that every open $\sigma$-locally Polish groupoid $G$ is Borel equivalent to the groupoid of models on the Urysohn sphere $\mathbb{U}$ of an $\mathcal{L}_{\omega_1\omega}$-sentence in continuous logic. In particular, the orbit…

We introduce the notions of u-amenability and hyper-u-amenability for countable Borel equivalence relations, strong forms of amenability that are implied by hyperfiniteness. We show that treeable, hyper-u-amenable countable Borel…

We prove that the homeomorphism problem for connected compact metric spaces is Borel bireducible with a universal orbit equivalence relation induced by a Borel action of a Polish group.

For a given group $G$, it is natural to ask whether one can classify all isometric $G$-actions on Gromov hyperbolic spaces. We propose a formalization of this problem utilizing the complexity theory of Borel equivalence relations. In this…

A long standing open problem in the theory of hyperfinite equivalence relations asks if the orbit equivalence relation generated by a Borel action of a countable amenable group is hyperfinite. In this paper we prove that this question…

Let $S_\infty$ denote the topological group of permutations of the natural numbers. We study the complexity of the isomorphism relation on classes of closed subgroups $S_\infty$ in the setting of Borel reducibility between equivalence…

In this paper we address the question: How many pairwise non-isomorphic extremely amenable groups are there which are separable metrizable or even Polish? We show that there are continuum many such groups. In fact we construct continuum…

Building on work of Popa, Ioana, and Epstein--T\"{o}rnquist, we show that, for every nonamenable countable discrete group $\Gamma$, the relations of conjugacy, orbit equivalence, and von Neumann equivalence of free ergodic (or weak mixing)…

We investigate some basic descriptive set theory for countably based completely quasi-metrizable topological spaces, which we refer to as quasi-Polish spaces. These spaces naturally generalize much of the classical descriptive set theory of…

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 show that every essentially countable orbit equivalence relation induced by a continuous action of a Polish group on a Polish space is $\sigma$-lacunary. In combination with [Invent. Math.201 (1), 309-383, 2015] we obtain a…

We present a comprehensive theory of boundedness properties for Polish groups developed with a main focus on Roelcke precompactness (precompactness of the lower uniformity) and Property (OB) (boundedness of all isometric actions on…

For each group $G$ having an infinite normal subgroup with the relative property (T) (for instance $G = H \times K$ where $H$ is infinite with property (T) and $K$ is arbitrary), and any countable abelian group $\Lambda$ we construct free…

We characterize coset spaces of topological groups which are coset spaces of (separable) metrizable groups and complete metrizable (Polish) groups. Besides, it is shown that for a $G$-space $X$ with a $d$-open action there is a topological…

A Polish group $G$ is tame if for any continuous action of $G$, the corresponding orbit equivalence relation is Borel. When $G = \prod_n \Gamma_n$ for countable abelian $\Gamma_n$, Solecki (1995) gave a characterization for when $G$ is…

In this thesis, we study the existence of universal objets of two differents types in the theory of topological groups and theirs actions on compacts spaces. In the first part, we contribute to the problem of existence of test spaces for…

We investigate some properties of topological groups related to disconnectedness or Archimedeanness. We prove or disprove the preservation of those under operations as subgroups, quotients, products, etc. Characterizations of…

We take the first steps towards a better understanding of continuous orbit equivalence, i.e., topological orbit equivalence with continuous cocycles. First, we characterise continuous orbit equivalence in terms of isomorphisms of C*-crossed…