Related papers: Coarse groups, and the isomorphism problem for oli…

The group of homeomorphisms of the closed interval that are absolutely continuous and have an absolutely continuous inverse was shown by Solecki to admit a natural Polish group topology $\tau_{ac}$. We show that, under mild conditions on a…

If $G$ is an abelian group, we say $S\subset G$ is a set of recurrence if for every probability measure preserving $G$-system $(X,\mu,T)$ and every $D\subset X$ having $\mu(D)>0$, there is a $g\in S$ such that $\mu(D\cap T^{g}D)>0$. We say…

Given a computably locally compact Polish space $M$, we show that its 1-point compactification $M^*$ is computably compact. Then, for a computably locally compact group $G$, we show that the Chabauty space $\mathcal S(G)$ of closed…

A closed subgroup $H$ of a connected reductive group $G$ is called $\textit{spherical}$ if a Borel subgroup in $G$ has an open orbit on $G/H$. We give a combinatorial characterization for a spherical subgroup to be contained in another one…

Cameron, Manna and Mehatari investigated the question of which finite groups admit a power graph that is a cograph, also called power-cograph groups (Journal of Algebra 591 (2022)). They give a classification for nilpotent groups and…

Given a (not necessarily discrete) proper metric space $M$ with bounded geometry, we define a groupoid $G(M)$. We show that the coarse Baum--Connes conjecture with coefficients, which states that the assembly map with coefficients for G(M)…

We prove that for a countable discrete group $\Gamma$ containing a copy of the free group $\F_n$, for some $2\leq n\leq\infty$, as a normal subgroup, the equivalence relations of conjugacy, orbit equivalence and von Neumann equivalence of…

We study when the mapping class group of an infinite-type surface $S$ admits an action with unbounded orbits on a connected graph whose vertices are simple closed curves on $S$. We introduce a topological invariant for infinite-type…

Although $S_\infty$ (the group of all permutations of $\mathbb{N}$) is size continuum, both it and its closed subgroups can be presented as the set of paths through a countable tree. The subgroups of $S_\infty$ that can be presented this…

We show that for every countable group, any sequence of approximate homomorphisms with values in permutations can be realized as the restriction of a sofic approximation of an orbit equivalence relation. Moreover, this orbit equivalence…

Let $S$ be a nonorientable surface of genus $g\ge 5$ with $n\ge 0$ punctures, and $\Mcg(S)$ its mapping class group. We define the complexity of $S$ to be the maximum rank of a free abelian subgroup of $\Mcg(S)$. Suppose that $S_1$ and…

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.

Testing isomorphism of infinite groups is a classical topic, but from the complexity theory viewpoint, few results are known. S{\'e}nizergues and the fifth author (ICALP2018) proved that the isomorphism problem for virtually free groups is…

For a compact Lie group G we show that if the representing spectrum for Borel cohomology generates its category of modules if G is connected. For a closed subgroup H of G we consider the map C^*(BG)--->C^*(BH) and establish the sense in…

We define two subalgebras which can be seen as the quantization of the coordinate rings of the unipotent radical of the standard positive (respectively negative) Borel subgroup of $SL_{n+1}$. We give a presentation for these algebras and…

An $S$-ring (a Schur ring) is said to be separable with respect to a class of groups $\mathcal{K}$ if every algebraic isomorphism from the $S$-ring in question to an $S$-ring over a group from $\mathcal{K}$ is induced by a combinatorial…

Given any countable group $G$, we construct uncountably many quasi-isometry classes of proper geodesic metric spaces with quasi-isometry group isomorphic to $G$. Moreover, if the group $G$ is a hyperbolic group, the spaces we construct are…

If $\G$ is a finitely generated group with generators $\{g_1,...,g_j\}$ then an infinite order element $f \in \G$ is a {\em distortion element} of $\G$ provided $\displaystyle{\liminf_{n \to \infty} |f^n|/n = 0,}$ where $|f^n|$ is the word…

We study groups that can be defined as Polish, pro-countable groups, as non-archimedean groups with an invariant metric or as quasi-countable groups, i.e., closed subdirect products of countable, discrete groups, endowed with the product…

We decide the Borel complexity of the conjugacy problem for automorphism groups of countable homogeneous digraphs. Many of the homogeneous digraphs, as well as several other homogeneous structures, have already been addressed in previous…