Related papers: Residually finite rationally solvable groups and v…

We show that a virtually RFRS group $G$ of type $\mathrm{FP}_n(\mathbb{Q})$ virtually algebraically fibres with kernel of type $\mathrm{FP}_n(\mathbb{Q})$ if and only if the first $n$ $\ell^2$-Betti numbers of $G$ vanish, that is,…

We show that a RFRS Poincar\'e-duality group $G$ admits a virtual epimorphism to the integers whose kernel is itself a Poincar\'e-duality group over every field if and only if the $L^2$-homology of $G$ vanishes and so do the…

In recent years, the RFRS condition has been used to analyze virtual fibering in 3-manifold topology. Agol's work shows that any 3-manifold with zero Euler characteristic satisfying the RFRS condition on its fundamental group virtually…

We prove that an irreducible 3-manifold whose fundamental group satisfies a certain group-theoretic property called RFRS is virtually fibered. As a corollary, we show that 3-dimensional reflection orbifolds and arithmetic hyperbolic…

In 2007 Agol showed that if N is an aspherical compact 3-manifold with empty or toroidal boundary such that its fundamental group is virtually RFRS, then $N$ is virtually fibered. We give a largely self-contained proof of Agol's theorem…

We prove that the finitely presentable subgroups of residually free groups are separable and that the subgroups of type $\mathrm{FP}_\infty$ are virtual retracts. We describe a uniform solution to the membership problem for finitely…

Let $p$ be a prime. In this paper, we classify the geometric 3-manifolds whose fundamental groups are virtually residually $p$. Let $M=M^3$ be a virtually fibered 3-manifold. It is well-known that $G=\pi_1(M)$ is residually solvable and…

We show that the virtual second Betti number of a finitely generated, residually free group $G$ is finite if and only if $G$ is either free, free abelian or the fundamental group of a closed surface. We also prove a similar statement in…

If $g\in G$ is a non-trivial element in a residually finite group, then there exists by definition a finite group $Q$ and a homomorphism $\varphi: G \to Q$ such that $\varphi(g) \neq e$. The residual finiteness growth $\text{RF}_G$ of a…

If V is a finitely generated variety such that the first-order theory of the finite members of V is decidable, we show that V is residually finite, and in fact has a finite bound on the sizes of subdirectly irreducible algebras. This result…

A tubular group $G$ is a finite graph of groups with $\mathbb{Z}^2$ vertex groups and $\mathbb{Z}$ edge groups. We characterize residually finite tubular groups: $G$ is residually finite if and only if its edge groups are separable. Methods…

We observe a criterion for groups to have vanishing virtual first Betti number and use it to give infinitely many examples of torsion-free, finitely generated, residually finite groups which aren't virtually diffuse. This answers a question…

The residual closure of a subgroup $H$ of a group $G$ is the intersection of all virtually normal subgroups of $G$ containing $H$. We show that if $G$ is generated by finitely many cosets of $H$ and if $H$ is commensurated, then the…

If G is a semidirect product N by H with N normal and finitely generated then G has the property that every finite group is a quotient of some finite index subgroup of G if and only if one of N and H has this property. This has applications…

This paper stems from the observation (arising from work of T. Delzant) that "most" K\"ahler groups virtually algebraically fiber, i.e. admit a finite index subgroup that maps onto $\Bbb{Z}$ with finitely generated kernel. For the remaining…

We construct an infinite finitely generated recursively presented residually finite algorithmically finite group $G$ answering thereby a question of Myasnikov and Osin. Moreover, $G$ is "very infinite" and "very algorithmically finite" in…

We prove that a finitely generated virtually RFRS group of cohomological dimension at most $2$ is coherent if and only if its second $L^{2}$-Betti number vanishes if and only if it is virtually free-by-cyclic. The non-vanishing of the…

In this article we develop the theory of residually finite rationally $p$ (RFR$p$) groups, where $p$ is a prime. We first prove a series of results about the structure of finitely generated RFR$p$ groups (either for a single prime $p$, or…

A companion result of the the Tits alternative for $Out(F_n)$ is proved: Every solvable subgroup of $Out(F_n)$ is finitely generated and virtually abelian.

We introduce the notion of a probabilistic identity of a residually finite group. We prove that a finitely generated linear group satisfies a probabilistic identity if and only if it is virtually solvable. As an application, we prove a…