arXiv research

We use the theory of group actions on profinite trees to prove that the fundamental group of a finite, 1-acylindrical graph of free groups with finitely generated edge groups is conjugacy separable. This has several applications: we prove that positive, $C'(1/6)$ one-relator groups are conjugacy separable; we provide a…

We prove that the fundamental group of any Seifert 3-manifold is conjugacy separable. That is, conjugates may be distinguished in finite quotients or, equivalently, conjugacy classes are closed in the pro-finite topology.

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…

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…

In this article, we study connections between representation theory and efficient solutions to the conjugacy problem on finitely generated groups. The main focus is on the conjugacy problem in conjugacy separable groups, where we measure efficiency in terms of the size of the quotients required to distinguish a distinc…

Turaev-Viro invariants match for certain surface bundles.

We give effective proofs of residual finiteness and conjugacy separability for finitely generated nilpotent groups. In particular, we give precise asymptotic bounds for a function introduced by Bou-Rabee that measures how large the quotients that are need to separate non-identity elements of bounded length from the ide…

The paper builds complex hyperbolic 2-manifolds with isolated singularities.

Let $\mathcal M (Σ, \mathcal P)$ be the mapping class group of a punctured oriented surface $(Σ, \mathcal P)$ (where $\mathcal P$ may be empty), and let $\mathcal T_p(Σ,\mathcal P)$ be the kernel of the action of $\mathcal M (Σ, \mathcal P)$ on $H_1 (Σ\setminus \mathcal P, \mathbb F_p)$. We prove that $\mathcal T_p(Σ, …

We answer a question of Aschenbrenner and Friedl regarding virtual $p$-efficiency for 3-manifold groups. We then study conjugacy $p$-separability and prove results for Fuchsian groups, Seifert fibre spaces and graph manifolds.

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.

For n >2, we shall show that the group Aut(NS(M)) of simplicial automorphisms of the complex NS(M) of non-separating embedded spheres in the manifold M,connected sum of n copies of S^2 X S^1, isomorphic to the group Out(F_n) of outer automorphisms of the free group F_n, where $F_n$ is identified with the fundamental gr…

3-manifolds have covers with infinitely many ideal triangulations.

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…

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…

In this paper we study some consequences of the author's classification of graph manifolds by their profinite fundamental groups. In particular we study commensurability, the behaviour of knots, and relation to mapping classes. We prove that the exteriors of graph knots are distinguished among all 3-manifold groups by …

We prove that fundamental groups of non-orientable 3-manifolds have a solvable conjugacy problem, and construct an algorithm. Together with our earlier work on the conjugacy problem in groups on orientable geometrizable 3-manifolds, all $π_1$ of (geometrizable) 3-manifolds have a solvable conjugacy problem. In corollar…

Study weak conjugacy in surface homeomorphisms.

Study of conjugacy classes in infinite-type surfaces' mapping class groups.

Classifies manifolds with dense conjugacy classes in their mapping class groups.

Study conjugacy classes of parabolic diffeomorphisms fixing the origin.

We show that every non-decreasing function $f\colon \mathbb N\to \mathbb N$ bounded from above by $a^n$ for some $a\ge 1$ can be realized (up to a natural equivalence) as the conjugacy growth function of a finitely generated group. We also construct a finitely generated group $G$ and a subgroup $H\le G$ of index 2 such…

Criterion for stopping conjugacy class enumeration in triangle groups.

This paper explores links from Thompson's group conjugacy classes.

In this article we study the topological structure of the lifts to the universal of the stable and unstable foliations of $3$-dimensional Anosov flows. In particular we consider the case when these foliations do not have Hausdorff leaf space. We completely determine the structure of the set of non separated leaves from…

Proves cosets of certain subgroups in hyperbolic 3-manifold groups are conjugacy distinguished.

The cycling operation endows the super summit set $S_x$ of any element $x$ of a Garside group $G$ with the structure of a directed graph $Γ_x$. We establish that the subset $U_x$ of $S_x$ consisting of the circuits of $Γ_x$ can be used instead of $S_x$ for deciding conjugacy to $x$ in $G$, yielding a faster and more pr…

Given a group automorphism $φ:Γ\to Γ$, one has an action of $Γ$ on itself by $φ$-twisted conjugacy, namely, $g.x=gxφ(g^{-1})$. The orbits of this action are called $φ$-conjugacy classes. One says that $Γ$ has the $R_\infty$-property if there are infinitely many $φ$-conjugacy classes for every automorphism $φ$ of $Γ$. I…

We show that there is a family of pseudo-Anosov braids independently parameterized by the braid index and the (canonical) length whose smallest conjugacy invariant sets grow exponentially in the braid index and linearly in the length and conclude that the conjugacy problem remains exponential in the braid index under t…

There are recent cryptographic protocols that are based on Multiple Simultaneous Conjugacy Problems in braid groups. We improve an algorithm, due to Sang Jin Lee and Eonkyung Lee, to solve these problems, by applying a method developed by the author and Nuno Franco, originally intended to solve the Conjugacy Search Pro…

The paper characterizes roots of pseudo-periodic mapping classes in surface groups.

This paper has two main goals. First, we give a complete, explicit, and computable solution to the problem of when two simple closed curves on a surface are equivalent under the Johnson kernel. Second, we show that the Johnson filtration and the Johnson homomorphism can be defined intrinsically on subsurfaces and prove…

We give a complete description of conjugacy classes of finite subgroups of the mapping class group of the sphere with r marked points. As a corollary we obtain a description of conjugacy classes of maximal finite subgroups of the hyperelliptic mapping class group. In particular, we prove that for a fixed genus g there …

New growth rate for pseudo-Anosov conjugacy classes in Teichmüller space.

The paper classifies dense conjugacy classes in mapping class groups of locally finite graphs.

We give a quadratic lower bound on the dimension of the space of conjugacy classes of subgroups of SL(n,R) that are limits under conjugacy of the diagonal subgroup. We give the first explicit examples of abelian n-1 dimensional subgroups of SL(n,R) which are not such a limit, however all such abelian groups are limits …

There exist combable groups in which the conjugacy problem is unsolvable. The isomorphism problem is unsolvable for certain recursive sequences of finite presentations of combable groups.

Counting subgroups of a surface using convex core lengths.

We study perturbations of a partially hyperbolic toral automorphism L which is diagonalizable over C and has a dense center foliation. For a small perturbation of L with a smooth center foliation we establish existence of a smooth leaf conjugacy to L. We also show that if a small perturbation of an ergodic irreducible …

The paper finds formulas for word lengths and conjugacy classes in surface groups.

Solvability of the conjugacy problem for relatively hyperbolic groups was announced by Gromov [Hyperbolic groups, MSRI publications 8 (1987)]. Using the definition of Farb of a relatively hyperbolic group in the strong sense [B Farb, Relatively hyperbolic groups, Geom. Func. Anal. 8 (1998) 810-840], we prove this asser…

In this paper, we derive an asymptotic formula for the number of conjugacy classes of elements in a class of statistically convex-cocompact actions with contracting elements. Denote by $\mathcal C(o, n)$ (resp. $\mathcal C'(o, n)$) the set of (resp. primitive) conjugacy classes of pointed length at most $n$ for a basep…

The paper solves the conjugacy problem in a specific braid group quotient and finds infinite virtually cyclic subgroups.

Extends Lannes-Quillen theorem to all profinite groups.

Positive permutation braids on n strings, which are defined to be positive n-braids where each pair of strings crosses at most once, form the elementary but non-trivial building blocks in many studies of conjugacy in the braid groups. We consider conjugacy among these elementary braids which close to knots, and show th…

Classifies involutions on spherical 3-manifolds.

The paper counts conjugacy classes of pseudo-Anosov homeomorphisms in Teichmüller space.

We show that the number of twisted conjugacy classes is infinite for any automorphism of non-elementary, Gromov hyperbolic group . An analog of Selberg theory for twisted conjugacy classes is proposed.