We show that many $2$-dimensional Artin groups are residually finite. This includes $3$-generator Artin groups with labels $\geq 4$ except for $(2m+1, 4,4)$ for any $m\geq 2$. As a first step towards residual finiteness we show that these Artin groups, and many more, split as free products with amalgamation or HNN extensions of finite rank free groups. Among others, this holds for all large type Artin groups with defining graph admitting an orientation, where each simple cycle is directed.
We introduce the class of perturbed right-angled Artin groups. These are constructed by gluing Bieri double groups into standard right-angled Artin groups. As a first application of this construction we obtain families of CAT(0) groups containing finitely presented subgroups which are not of type $\mathrm{FP}_3$, and have exponential, or polynomial Dehn functions of prescribed degree.
Let $A$ be an Artin group. A partition $\mathcal{P}$ of the set of standard generators of $A$ is called admissible if, for all $X,Y \in \mathcal{P}$, $X \neq Y$, there is at most one pair $(s,t) \in X \times Y$ which has a relation. An admissible partition $\mathcal{P}$ determines a quotient Coxeter graph $Γ/\mathcal{P}$. We prove that, if $Γ/\mathcal{P}$ is either a forest or an even triangle free Coxeter graph and $A_X$ is residually finite for all $X \in \mathcal{P}$, then $A$ is residually finite.
We consider the outer automorphism group Out(A_Gamma) of the right-angled Artin group A_Gamma of a random graph Gamma on n vertices in the Erdos--Renyi model. We show that the functions (log(n)+log(log(n)))/n and 1-(log(n)+log(log(n)))/n bound the range of edge probability functions for which Out(A_Gamma) is finite: if the probability of an edge in Gamma is strictly between these functions as n grows, then asymptotically Out(A_Gamma) is almost surely finite, and if the edge probability is strictly outside of both of these functions, then asymptotically Out(A_Gamma) is almost surely infinite. T…
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 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 then extend the linear upper bounds to hyperbolic manifolds with a finite cover that admits such an immersion. Since the quantifications are given in terms of geodesic length, we define the geodesic residual finiteness growth and show that this growth is equivalent to the usual re…
The residual finiteness growth of a group quantifies how well approximated the group is by its finite quotients. In this paper, we construct groups with arbitrarily large residual finiteness growth. We also demonstrate a new relationship between residual finiteness growth and some decision problems in groups, which we apply to our new groups.
On the residual finiteness of the non-abelian exterior square of some Artin groups, constructible soluble groups, generalised Baumslag-Solitar groups and $SL_n(\Z)$
Normal residual finiteness growth measures how well a finitely generated group is approximated by its finite quotients. We show that any linear group $Γ\leq \mathrm{GL}_d(K)$ has normal residual finiteness growth asymptotically bounded above by $(n\log n)^{d^2-1}$; notably this bound depends only on the degree of linearity of $Γ$. We also give precise asymptotics in the case that $Γ$ is a subgroup of a higher rank Chevalley group $G$ and compute the non-normal residual finiteness growth in these cases. In particular, finite index subgroups of $G(\mathbb{Z})$ and $G(\mathbb{F}_p[t])$ have norma…
We classify finitely generated, residually finite automorphism-induced HNN-extensions in terms of the residual separability of a single associated subgroup. This classification provides a method to construct automorphism-induced HNN-extensions which are not residually finite. We prove that this method can never yield a "new" counter-example to Gromov's conjecture on the residual finiteness of hyperbolic groups.
Residual finiteness growth gives an invariant that indicates how well-approximated a finitely generated group is by its finite quotients. We briefly survey the state of the subject. We then improve on the best known upper and lower bounds for lamplighter groups. Notably, any lamplighter group has super-linear residual finiteness growth. In our proof, we quantify a congruence subgroup property for lamplighter groups.
A function $\mathbb{N} \to \mathbb{N}$ is near exponential if it is bounded above and below by functions of the form $2^{n^c}$ for some $c > 0$. In this article we develop tools to recognize the near exponential residual finiteness growth in groups acting on rooted trees. In particular, we show the near exponential residual finiteness growth for certain branch groups, including the first Grigorchuk group, the family of Gupta-Sidki groups and their variations, and Fabrykowski-Gupta groups. We also show that the family of Gupta-Sidki p-groups, for $p\geq 5$, have super-exponential residual finit…
We consider homological finiteness properties $FP_n$ of certain $\mathbb{N}$-graded Lie algebras. After proving some general results, see Theorem A, Corollary B and Corollary C, we concentrate on a family that can be considered as the Lie algebra version of the generalized Bestvina-Brady groups associated to a graph $Γ$. We prove that the homological finiteness properties of these Lie algebras can be determined in terms of the graph in the same way as in the group case. In the last version we have corrected some missprints, in particular the statement of Theorem D (from $n-1$-acyclicity to $n-…
A notion of \emph{graph-wreath product} is introduced. We obtain sufficient conditions for these products to satisfy the topologically inspired finiteness condition type $\operatorname{F}_n$. Under various additional assumptions we show that these conditions are necessary. Our results generalise results of Cornulier about wreath products in case $n=2$. Graph-wreath products include classical permutational wreath products and semidirect products of right-angled Artin groups by groups of automorphisms amongst others.
We establish conditions under which the fundamental group of a graph of finite $p$-groups is necessarily residually $p$-finite. The technique of proof is independent of previously established results of this type, and the result is also valid for infinite graphs of groups.
In this paper we discuss connections between the following properties: (RFM) residual finiteness of a monoid M; (RFSG) residual finiteness of Schutzenberger groups of M; and (RFRL) residual finiteness of the natural actions of M on its Green's R- and L-classes. The general question is whether (RFM) implies (RFSG) and/or (RFRL), and vice versa. We consider these questions in all the possible combinations of the following situations: M is an arbitrary monoid; M is an arbitrary regular monoid; every J-class of M has finitely many R- and L-classes; M has finitely many left and right ideals. In eac…
The normal Farb growth of a group quantifies how well-approximated the group is by its finite quotients. We show that any S-arithmetic subgroup of a higher rank Chevalley group G has normal Farb growth n^dim(G).
We prove that every subnormal subgroup of p-power index in a right-angled Artin group is conjugacy p-separable. As an application, we prove that every right-angled Artin group is conjugacy separable in the class of torsion-free nilpotent groups. As another application, we prove that the outer automorphism group of a right-angled Artin group is virtually residually p-finite. We also prove that the Torelli group of a right-angled group is residually torsion-free nilpotent, hence residually p-finite and bi-orderable.
We provide polynomial lower bounds for residual finiteness of residually finite, finitely generated solvable groups that admit infinite order elements in the Fitting subgroup of strict distortion at least exponential. For this class of solvable groups which include polycyclic groups with a nontrivial exponential radical and the metabelian Baumslag-Solitar groups, we improve the lower bounds found in the literature. Additionally, for the class of residually finite, finitely generated solvable groups of infinite Prüfer rank that satisfy the conditions of our theorem, we provide the first nontriv…
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 results and prove that free products of residually finite quandles are residually finite provided their associated groups are residually finite. As associated groups of link quandles are link groups, which are known to be residually finite, it follows that link quandles are residually…
We find a lower bound to the size of finite groups detecting a given word in the free group, more precisely we construct a word w_n of length n in non-abelian free groups with the property that w_n is the identity on all finite quotients of size ~ n^{2/3} or less. This improves on a previous result of Bou-Rabee and McReynolds quantifying the lower bound of the residual finiteness of free groups.
We prove that for every $n \in \mathbb{N}$ and $δ>0$ there exists a word $w_n \in F_2$ of length $n^{2/3} \log(n)^{3+δ}$ which is a law for every finite group of order at most $n$. This improves upon the main result of [A. Thom, About the length of laws for finite groups, Isr. J. Math.]. As an application we prove a new lower bound on the residual finiteness growth of non-abelian free groups.
Full residual finiteness growth of a finitely generated group $G$ measures how efficiently word metric $n$-balls of $G$ inject into finite quotients of $G$. We initiate a study of this growth over the class of nilpotent groups. When the last term of the lower central series of $G$ has finite index in the center of $G$ we show that the growth is precisely $n^b$, where $b$ is the product of the nilpotency class and dimension of $G$. In the general case, we give a method for finding an upper bound of the form $n^b$ where $b$ is a natural number determined by what we call a terraced filtration of …
We prove that every right-angled Artin group embeds into the $C^{\infty}$ diffeomorphism group of the real line. As a corollary, we show every limit group, and more generally every countable residually RAAG group, embeds into the $C^{\infty}$ diffeomorphism group of the real line.
We investigate connections between various rigidity and softness properties for discrete quantum groups. After introducing a notion of residual finiteness, we show that it implies the Kirchberg factorization property for the discrete quantum group in question. We also prove the analogue of Kirchberg's theorem, to the effect that conversely, the factorization property and property (T) jointly imply residual finiteness. We also apply these results to certain classes of discrete quantum groups obtained by means of bicrossed product constructions and study the preservation of the properties (facto…
We study residual finiteness for cyclic central extensions of cocompact arithmetic lattices $Γ< \mathrm{PU}(n,1)$ simple type. We prove that the preimage of $Γ$ in any connected cover of $\mathrm{PU}(n,1)$, in particular the universal cover, is residually finite. This follows from a more general theorem on residual finiteness of extensions whose characteristic class is contained in the span in $H^2(Γ, \mathbb{Z})$ of the Poincaré duals to totally geodesic divisors on the ball quotient $Γ\backslash \mathbb{B}^n$. For $n \ge 4$, if $Γ$ is a congruence lattice, we prove residual finiteness of the…
For a group $G$ we consider the classifying space $E_{\mathcal{VC}yc}(G)$ for the family of virtually cyclic subgroups. We show that an Artin group admits a finite model for $E_{\mathcal{VC}yc}(G)$ if and only if it is virtually cyclic. This solves a conjecture of Juan-Pineda and Leary and a question of Lück-Reich-Rognes-Varisco for Artin groups. We then study the conjugacy growth of CAT(0) groups and show that if a CAT(0) group contains a free abelian group of rank two, its conjugacy growth is strictly faster than linear. This also yields an alternative proof for the fact that a CAT(0) cube g…
Let $Γ$ be an arithmetic subgroup of $SU(d,1)$ with cusps, and let $X_Γ$ be the associated locally symmetric space. We prove that if the first inner cohomology group $H^1_!(X_Γ,\mathbb{C})$ is non-zero then the pre-image of $Γ$ in each connected cover of $SU(d,1)$ is residually finite. We also give an example of a such a group $Γ$ for which $H^1_!(X_Γ,\mathbb{C})$ is non-zero.
We show that the Artin pure braid group on at least four strands is not residually free. Our results also show that the pure braid group on at least three strands has corank two.
We give an effective upper bound, for certain arithmetic hyperbolic 3-manifold groups obtained from a quadratic form construction, on the minimal index of a subgroup that embeds in a fixed 6-dimensional right-angled reflection group, stabilizing a totally geodesic subspace. In particular, for manifold groups in any fixed commensurability class we show that the index of such a subgroup is asymptotically smaller than any fractional power of the volume of the manifold. We also give effective bounds on the geodesic residual finiteness growths of closed hyperbolic manifolds that totally geodesicall…
We prove that pushouts $A*_CB$ of residually finite-dimensional (RFD) $C^*$-algebras over central subalgebras are always residually finite-dimensional provided the fibers $A_p$ and $B_p$, $p\in \mathrm{spec}~C$ are RFD, recovering and generalizing results by Korchagin and Courtney-Shulman. This then allows us to prove that certain central pushouts of amenable groups have RFD group $C^*$-algebras. Along the way, we discuss the problem of when, given a central group embedding $H\le G$, the resulting $C^*$-algebra morphism is a continuous field: this is always the case for amenable $G$ but not in…
We establish three independent results on groups acting on trees. The first implies that a compactly generated locally compact group which acts continuously on a locally finite tree with nilpotent local action and no global fixed point is virtually indicable; that is to say, it has a finite index subgroup which surjects onto $\mathbf{Z}$. The second ensures that irreducible cocompact lattices in a product of non-discrete locally compact groups such that one of the factors acts vertex-transitively on a tree with a nilpotent local action cannot be residually finite. This is derived from a genera…
We show that a triangle Artin group $\text{Art}_{MNP}$ where $M\leq N\leq P$ splits as an amalgamated product or an HNN extension of finite rank free groups, provided that either $M>2$, or $N>3$. We also prove that all even three generator Artin groups are residually finite.
