Related papers: The Isomorphism Problem for Toral Relatively Hyper…

We consider classification problems for manifolds and discrete subgroups of Lie groups from a descriptive set-theoretic point of view. This work is largely foundational in conception and character, recording both a framework for general…

Let $C,A$ be countable abelian groups. In this paper we determine the complexity of classifying extensions $C$ by $A$, in the cases when $C$ is torsion-free and $A$ is a $p$-group, a torsion group with bounded primary components, or a free…

The group isomorphism problem asks whether two given groups are isomorphic or not. Whereas the case where both groups are abelian is well understood and can be solved efficiently, very little is known about the complexity of isomorphism…

Thurston's equations determine the hyperbolic structure of a 3-manifold with a triangulation. In work by Thistlethwaite and Tsvietkova, an alternative method was developed for link complements in $S^3$ depending on the link diagram, where a…

In this work we investigate tensor completions of groups by associative rings, which were introduced by R.Lyndon and G.Baumslag in 1960s. The main result states that there exists an algorithm that decides if a given finite system of…

We prove that, given a torsion-free relatively hyperbolic group G with non-relatively-hyperbolic peripherals, isomorphic finite index subgroups of G have the same index. This applies for instance to fundamental groups of finite-volume…

We construct uncountably many finitely generated, pairwise non-isomorphic torsion-free groups, all of which fall into the same quasi-isometry class. This is done by considering Schur covering groups and group cohomology, with the necessary…

Koras-Russell threefolds are certain smooth contractible complex hypersurfaces in affine complex four-space which are not algebraically isomorphic to affine three-space. One of the important examples is the cubic Russell threefold, defined…

In this article we prove that the set of torsion-free groups acting by isometries on a hyperbolic metric space whose entropy is bounded above and with a compact quotient is finite. The number of such groups can be estimated in terms of the…

We prove that for a free product $G$ with free factor system $\mathcal{G}$, any automorphism $\phi$ preserving $\mathcal{G}$, atoroidal (in a sense relative to $\mathcal{G}$) and none of whose power send two different conjugates of…

We construct an uncountable sequence of groups acting uniformly properly on hyperbolic spaces. We show that only countably many of these groups can be virtually torsion-free. This gives new examples of groups acting uniformly properly on…

A group G is a vGBS group if it admits a decomposition as a finite graph of groups with all edge and vertex groups finitely generated and free abelian. We describe the compatibility JSJ decomposition over abelian groups. We prove that in…

We prove that, for a finitely generated group hyperbolic relative to virtually abelian subgroups, the generalised word problem for a parabolic subgroup is the language of a real-time Turing machine. Then, for a hyperbolic group, we show…

Let G be a torsion free hyperbolic group. We prove that the elementary theory of G is decidable and admits an effective quantifier elimination to boolean combination of AE-formulas. The existence of such quantifier elimination was…

We present an algorithm that computes Bowditch's canonical JSJ decomposition of a given one-ended hyperbolic group over its virtually cyclic subgroups. The algorithm works by identifying topological features in the boundary of the group. As…

We show that the topological complexity of a finitely generated torsion free hyperbolic group $\pi$ with $\cd\pi=n$ equals $2n$.

We have solved completely the problem of the description of quasi-linear hyperbolic differential equations in two independent variables that are invariant under three-parameter Lie groups.

This (quasi-)survey addresses the quasi-isometry classification of locally compact groups, with an emphasis on amenable hyperbolic locally compact groups. This encompasses the problem of quasi-isometry classification of homogeneous…

In this paper, it is shown that every point in the hyperbolic 3-space is moved at a distance at least $0.5\log\left(12\cdot 3^{k-1}-3\right)$ by one of the isometries of length at most $k\geq 2$ in a 2-generator Klenian group $\Gamma$ which…

Using graph of groups decompositions of finitely generated groups, we define Euler characteristic type invariants which are non-zero in many interesting classes of finitely presented, hyperbolic, limit and CSA groups, including elementarily…