arXiv research

Abstract: Non-residually finite hyperbolic groups imply non-residually finite rigid hyperbolic groups.

Residual finiteness is known to be an important property of groups appearing in combinatorial group theory and low dimensional topology. In a recent work [2] residual finiteness of quandles was introduced, and it was proved that free quandles and knot quandles are residually finite. In this paper, we extend these resul…

In this note, residual finiteness of quandles is defined and investigated. It is proved that free quandles and knot quandles of tame knots are residually finite and Hopfian. Residual finiteness of quandles arising from residually finite groups (conjugation, core and Alexander quandles) is established. Further, residual…

Study on endomorphism and automorphism groups of specific quandles.

Many 2D Artin groups are residually finite.

Given a prime $p$, a group is called residually $p$ if the intersection of its $p$-power index normal subgroups is trivial. A group is called virtually residually $p$ if it has a finite index subgroup which is residually $p$. It is well-known that finitely generated linear groups over fields of characteristic zero are …

Proves Singer conjecture for graph manifolds with residually finite groups.

Study of uncountable family of finitely generated groups.

We show that Out(G) is residually finite if G is a one-ended group that is hyperbolic relative to virtually polycyclic subgroups. More generally, if G is one-ended and hyperbolic relative to proper residually finite subgroups, the group of outer automorphisms preserving the peripheral structure is residually finite. We…

The study examines discrete subgroups of Lie groups and their residual finiteness.

Artin groups have finite stature based on vertex groups.

We show that every virtually torsion-free subgroup of the outer automorphism group of a conjugacy separable relatively hyperbolic group is residually finite. As a direct consequence, we obtain that the outer automorphism group of a limit group is residually finite.

Every non-trivial knot group is fully residually perfect.

Proves Singer conjecture for specific geometric varieties.

Proves congruence subgroup property for mapping class groups of hyperbolic surfaces.

Let $G$ be a virtually special group. Then the residual finiteness growth of $G$ is at most linear. This result cannot be found by embedding $G$ into a special linear group. Indeed, the special linear group $\text{SL}_k(\mathbb{Z})$, for $k > 2$, has residual finiteness growth $n^{k-1}$.

We show that there is no algorithm deciding whether the maximal residually free quotient of a given finitely presented group is finitely presentable or not. Given a finitely generated subgroup G of a finite product of limit groups, we discuss the possibility of finding an explicit set of defining equations (i.e. of exp…

The study examines Hopfian properties of conjugation quandles and their underlying groups.

The paper proves residual finiteness of certain lattices and constructs surfaces with specific fundamental groups.

Residually finite groups found in manifold automorphisms.

Groups with similar pro-$p$ completions have two-generated subgroups that are free.

We show that every virtually torsion-free subgroup of the outer automorphism group of a conjugacy separable hyperbolic group is residually finite. As a result, we are able to prove that the group of outer automorphisms of every finitely generated Fuchsian group and of every free-by-finite group is resudually finite. We…

We prove that if every hyperbolic group is residually finite, then every quasi-convex subgroup of every hyperbolic group is separable. The main tool is relatively hyperbolic Dehn filling.

We give a quantification of residual finiteness for the fundamental groups of hyperbolic manifolds that admit a totally geodesic immersion to a compact, right-angled Coxeter orbifold of dimension 3 or 4. Specifically, we give explicit upper bounds on residual finiteness that are linear in terms of geodesic length. We t…

Triangle groups uniquely identified by their finite quotients.

Non-isomorphic groups with similar profinite completions found.

Proves 3D Poincaré duality groups without property (T)

Investigates linearity of group amalgams and new examples of non-linear groups.

Study on profinite rigidity of direct products of free and surface groups.

New examples of hyperbolic 3-manifolds with unique profinite structure.

The study shows how quotients of mapping class groups are hierarchically hyperbolic.

New groups with special properties found.

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=π_1(M)$ is residually solvable and even residually finite solvable. We prove that $G$ is always virtually residually $p$…

We show that a finitely generated residually finite rationally solvable (or RFRS) group $G$ is virtually fibred, in the sense that it admits a virtual surjection to $\mathbb{Z}$ with a finitely generated kernel, if and only if the first $L^2$-Betti number of $G$ vanishes. This generalises (and gives a new proof of) the…

New findings show mapping class groups of certain high-dimensional manifolds are not residually finite.

Homology growth of specific mapping tori vanishes for certain groups.

An automorphism $α$ of a group $G$ is normal if it fixes every normal subgroup of $G$ setwise. We give an algebraic description of normal automorphisms of relatively hyperbolic groups. In particular, we prove that for any relatively hyperbolic group $G$, $Inn(G)$ has finite index in the subgroup $Aut_n(G)$ of normal au…

Two groups with same profinite completion have different co-Hopfian properties.

New results on homology torsion growth for various groups.

Study of pure mapping class groups on infinite graphs.

We consider pairs of finitely presented, residually finite groups $u:P\hookrightarrow Γ$. We prove that there is no algorithm that, given an arbitrary such pair, can determine whether or not the associated map of profinite completions $\hat{u}: \widehat{P} \to \widehatΓ$ is an isomorphism. Nor do there exist algorithms…

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 for infinitely many primes), including torsion-freeness, a Tits alternative, and …

We prove the homotopy invariance of L^2 torsion for covering spaces, whenever the covering transformation group is either residually finite or amenable. In the case when the covering transformation group is residually finite and when the L^2 cohomology of the covering space vanishes, the homotopy invariance was establi…

Classifies mapping tori of specific groups, generalizing known results.

We generalize Luck's Theorem to show that the L^2-Betti numbers of a residually amenable covering space are the limit of the L^2-Betti numbers of a sequence of amenable covering spaces. We show that any residually amenable covering space of a finite simplicial complex is of determinant class, and that the L^2 torsion i…

Let $f\colon M\to N$ be a continuous map between closed irreducible graph manifolds with infinite fundamental group. Perron and Shalen showed that if $f$ induces a homology equivalence on all finite covers, then $f$ is in fact homotopic to a homeomorphism. Their proof used the statement that every graph manifold is fin…

We discuss dense embeddings of surface groups and fully residually free groups in topological groups. We show that a compact topological group contains a nonabelian dense free group of finite rank if and only if it contains a dense surface group. Also, we obtain a characterization of those Lie groups which admit a dens…

Let $Γ$ be the fundamental group of a surface of finite type and Comm$(Γ)$ be its abstract commensurator. Then Comm$(Γ)$ contains the solvable Baumslag--Solitar groups $\langle a ,b : a b a^{-1} = b^n \rangle$ for any $n > 1$. Moreover, the Baumslag--Solitar group $\langle a ,b : a b^2 a^{-1} = b^3 \rangle$ has an imag…