arXiv research

The study shows subgroup separability conditions for specific 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…

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

New examples show some convex-cocompact subgroups are separable.

The main result of this article is a refinement of the well-known subgroup separability results of Hall and Scott for free and surface groups. We show that for any finitely generated subgroup, there is a finite dimensional representation of the free or surface group that separates the subgroup in the induced Zariski to…

Criterion for subgroup separability in outer automorphism groups.

We investigate the separability of several well known classes of subgroups of the mapping class group of a surface.

Proves a representation that separates a subgroup in RAAGs.

Elementarily free groups are the finitely generated groups with the same elementary theory as free groups. We prove that elementarily free groups are subgroup separable, answering a question of Zlil Sela.

If F is a surface with boundary, then a finitely generated subgroup without peripheral elements of G = π_1(F) can be separated from finitely many other elements of G by a finite index subgroup of G corresponding to a finite cover F' with the same number of boundary components as F .

We show that all groups in a very large class of Coxeter groups are locally quasiconvex and have uniform membership problem solvable in quadratic time. If a group in the class satisfies a further hypothesis it is subgroup separable and relevant homomorphisms are also calculable in quadratic time. The algorithm also dec…

We give a new, effective proof of the separability of cubically convex-cocompact subgroups of special groups. As a consequence, we show that if $G$ is a virtually compact special hyperbolic group, and $Q\leq G$ is a $K$-quasiconvex subgroup, then any $g\in G-Q$ of word-length at most $n$ is separated from $Q$ by a subg…

Estimates statistical power for cluster analysis in biomedical research.

We obtain a finite generating set for the level 2 twist subgroup of the mapping class group of a closed non-orientable surface. The generating set consists of crosscap pushing maps along non-separating two-sided simple loops and squares of Dehn twists along non-separating two-sided simple closed curves. We also prove t…

In this paper, we compute the subgroup distortion of all finitely generated subgroups of all finitely generated 3-manifold groups, and the subgroup distortion in this case can only be linear, quadratic, exponential and double exponential. It turns out that the subgroup distortion of a subgroup of a 3-manifold group is …

In this paper, we state two combination theorems for relatively quasiconvex subgroups in a relatively hyperbolic group. Applications are given to the separability of double cosets of certain relatively quasiconvex subgroups and the existence of closed surface subgroups in relatively hyperbolic groups.

Paper examines Dehn twists on non-orientable surfaces and their limitations.

We show that two uniform lattices of a regular right-angled Fuchsian building are commensurable, provided the chamber is a polygon with at least six edges. We show that in an arbitrary Gromov-hyperbolic regular right-angled building associated to a graph product of finite groups, a uniform lattice is commensurable with…

Probabilistic proof shows separability in free groups.

We show that for certain arithmetic groups, geometrically finite subgroups are the intersection of finite index subgroups containing them. Examples are the Bianchi groups and the Seifert-Weber dodecahedral space. In particular, for manifolds commensurable with these groups, immersed incompressible surfaces lift to embe…

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 …

We obtain a number of results regarding freeness, quasiconvexity and separability for subgroups of Coxeter groups, Artin groups and one-relator groups with torsion.

Study on hyperbolic groups, focusing on separability and splittings.

Let N be a closed, oriented 3-manifold. A folklore conjecture states that $S^{1} \times N$ admits a symplectic structure if and only if $N$ admits a fibration over the circle. We will prove this conjecture in the case when N is irreducible and its fundamental group satisfies appropriate subgroup separability conditions…

Paper shows Euler class vanishes in certain subgroup of mapping class group.

A celebrated theorem of Marshall Hall Jr. implies that finitely generated free groups are subgroup separable and that all of their finitely generated subgroups are retracts of finite-index subgroups. We use topological techniques inspired by the work of Stallings to prove that all limit groups share these two propertie…

We introduce the notion of controlled Floyd separation between geodesic rays starting at the identity in a finitely generated group G. Two such geodesic rays are said to be Floyd separated with respect to quasigeodesics if the (Floyd) length of c-quasigeodesics (for fixed but arbitrary c) joining points on the geodesic…

We associate cube complexes called completions to each subgroup of a right-angled Coxeter group (RACG). A completion characterizes many properties of the subgroup such as whether it is quasiconvex, normal, finite-index or torsion-free. We use completions to show that reflection subgroups are quasiconvex, as are one-end…

We survey the problem of separation under conjugacy and malnormality of the abelian peripheral subgroups of an orientable, irreducible $3$-manifold $X$. We shall focus on the relation between this problem and the existence of acylindrical splittings of $π_1(X)$ as an amalgamated product or HNN-extension along the abeli…

The paper examines random walks on metric spaces and finds commensurable subgroups.

We use wreath products to provide criteria for a group to be conjugacy separable or omnipotent. These criteria are in terms of virtual retractions onto cyclic subgroups. We give two applications: a straightforward topological proof of the theorem of Stebe that infinite-order elements of Fuchsian groups (of the first ty…

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.

The paper defines parabolic subgroups for complex braid groups and proves they form a lattice.

We give a criterion in terms of the boundary for the existence of a proper cocompact action of a word-hyperbolic group on a CAT(0) cube complex. We describe applications towards lattices and hyperbolic 3-manifold groups. In particular, by combining the theory of special cube complexes, the surface subgroup result of Ka…

We prove that for any genus g>1, the subgroup K_g of the mapping class group of a closed genus g surface generated by Dehn twists about separating curves is not finitely generated.

Let M = H^3 / Γbe a hyperbolic 3-manifold of finite volume. We show that if H and K are abelian subgroups of Γand g is in Γ, then the double coset HgK is separable in Γ. As a consequence we prove that if M is a closed, orientable, Haken 3-manifold and the fundamental group of every hyperbolic piece of the torus decompo…

Study on kernels of SO(3) WRT representations for surfaces of genus g≥3.

We show that for all but finitely many compact orientable surfaces, any superinjective map from the complex of separating curves into the Torelli complex is induced by an element of the extended mapping class group. As an application, we prove that any injective homomorphism from a finite index subgroup of the Johnson …

This thesis investigates cusp cross-sections of arithmetic real, complex, and quaternionic hyperbolic $n$--orbifolds. We give a smooth classification of these submanifolds and analyze their induced geometry. One of the primary tools is a new subgroup separability result for general arithmetic lattices.

New complex connects graph separability to group properties.

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

This primer tackles biases in machine learning for image analysis, proposing solutions.

We give a new proof of a celebrated theorem of Dennis Johnson that asserts that the kernel of the Johnson homomorphism on the Torelli subgroup of the mapping class group is generated by separating twists. In fact, we prove a more general result that also applies to "subsurface Torelli groups". Using this, we extend Joh…

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.

A new method improves AI fairness assessment by estimating performance across intersectional subgroups.

Let $Γ$ be either the mapping class group of a closed surface of genus $\geq 2$, or the automorphism group of a free group of rank $\geq 3$. Given any homological representation $ρ$ of $Γ$ corresponding to a finite cover, and any term $\mathcal{I}_k$ of the Johnson filtration, we show that $ρ(\mathcal{I}_k)$ has finite…

3-manifolds have covers with infinitely many ideal triangulations.

Characterizes geometric actions on graphs with flexible stabilizers.