arXiv research

New research shows certain arithmetic lattices can't be LERF.

The paper examines subgroup separability for surface and virtual braid groups.

We prove that, for any two finite volume hyperbolic $3$-manifolds, the amalgamation of their fundamental groups along any nontrivial geometrically finite subgroup is not LERF. This generalizes the author's previous work on nonLERFness of amalgamations of hyperbolic $3$-manifold groups along abelian subgroups. A consequ…

We prove that every closed hyperbolic 3-manifold has a family of (possibly infinite sheeted) coverings with the property that the Cheeger constants in the family tend to zero. This is used to show that, if in addition the fundamental group of the manifold is LERF, then it satisfies the Lubotzky-Sarnak conjecture.

We will show that, for any noncompact arithmetic hyperbolic $m$-manifold with $m> 3$, and any compact arithmetic hyperbolic $m$-manifold with $m> 4$ that is not a $7$-dimensional arithmetic hyperbolic manifold defined by octonions, its fundamental group is not LERF. The main ingredient in the proof is a study on abelia…

Profinite rigidity studied for algebraic fibring of groups.

Suppose that all hyperbolic groups are residually finite. The following statements follow: In relatively hyperbolic groups with peripheral structures consisting of finitely generated nilpotent subgroups, quasiconvex subgroups are separable; Geometrically finite subgroups of non-uniform lattices in rank one symmetric sp…

We quantify Peter Scott's Theorem that surface groups are locally extended residually finite (LERF) in terms of geometric data. In the process, we will quantify another result by Scott that any closed geodesic in a surface lifts to an embedded loop in a finite cover.

We show that surface groups are flexibly stable in permutations. This is the first non-trivial example of a non-amenable flexibly stable group. Our method is purely geometric and relies on an analysis of branched covers of hyperbolic surfaces. Along the way we establish a quantitative variant of the LERF property for s…

We prove that on a closed, orientable surface of genus $g$, a set of simple loops with the property that no two are homotopic or intersect in more than $k$ points has cardinality $\lesssim_k g^{k+1} \log g$. The bound matches the size of the largest known construction to within a factor of $\sim_k \log g$. It generaliz…

We produce a sequence of finite dimensional representations of the fundamental group $π_1(S)$ of a closed surface where all simple closed curves act with finite order, but where each non--simple closed curve eventually acts with infinite order. As a consequence, we obtain a representation theoretic algorithm which deci…

In this paper, we give a complete characterization on which finitely generated subgroups of finitely generated $3$-manifold groups are separable. Our characterization generalizes Liu's spirality character on $π_1$-injective immersed surface subgroups of closed $3$-manifold groups. A consequence of our characterization …

In this paper, we will use Kahn-Markovic's almost totally geodesic surfaces to construct certain $π_1$-injective 2-complexes in closed hyperbolic 3-manifolds. Such 2-complexes are locally almost totally geodesic except along a 1-dimensional subcomplex. Using Agol and Wise's result that fundamental groups of hyperbolic …

Let M be a complete hyperbolic 3-manifold of finite volume that admits a decomposition into right-angled ideal polyhedra. We show that M has a deformation retraction that is a virtually special square complex, in the sense of Haglund and Wise and deduce that such manifolds are virtually fibered. We generalise a theorem…

Unified algebraic framework for virtual braid structures with strong structural consequences.