86 research outputs found
Deciding Isomorphy using Dehn fillings, the splitting case
We solve Dehn's isomorphism problem for virtually torsion-free relatively
hyperbolic groups with nilpotent parabolic subgroups.
We do so by reducing the isomorphism problem to three algorithmic problems in
the parabolic subgroups, namely the isomorphism problem, separation of torsion
(in their outer automorphism groups) by congruences, and the mixed Whitehead
problem, an automorphism group orbit problem. The first step of the reduction
is to compute canonical JSJ decompositions. Dehn fillings and the given
solutions of the algorithmic problems in the parabolic groups are then used to
decide if the graphs of groups have isomorphic vertex groups and, if so,
whether a global isomorphism can be assembled.
For the class of finitely generated nilpotent groups, we give solutions to
these algorithmic problems by using the arithmetic nature of these groups and
of their automorphism groups.Comment: 76 pages. This version incorporates referee comments and corrections.
The main changes to the previous version are a better treatment of the
algorithmic recognition and presentation of virtually cyclic subgroups and a
new proof of a rigidity criterion obtained by passing to a torsion-free
finite index subgroup. The previous proof relied on an incorrect result. To
appear in Inventiones Mathematica
One-ended subgroups of graphs of free groups with cyclic edge groups
Consider a one-ended word-hyperbolic group. If it is the fundamental group of
a graph of free groups with cyclic edge groups then either it is the
fundamental group of a surface or it contains a finitely generated one-ended
subgroup of infinite index. As a corollary, the same holds for limit groups. We
also obtain a characterisation of surfaces with boundary among free groups
equipped with peripheral structures.Comment: 22 pages, 3 figures, corrected typos in the introductio
The isomorphism problem for all hyperbolic groups
We give a solution to Dehn's isomorphism problem for the class of all
hyperbolic groups, possibly with torsion. We also prove a relative version for
groups with peripheral structures. As a corollary, we give a uniform solution
to Whitehead's problem asking whether two tuples of elements of a hyperbolic
group are in the same orbit under the action of \Aut(G). We also get an
algorithm computing a generating set of the group of automorphisms of a
hyperbolic group preserving a peripheral structure.Comment: 71 pages, 4 figure
A McCool Whitehead type theorem for finitely generated subgroups of
S. Gersten announced an algorithm that takes as input two finite sequences
and of conjugacy classes
of finitely generated subgroups of and outputs:
(1) or depending on whether or not there is an
element such that
together with one such if it exists and
(2) a finite presentation for the subgroup of fixing
.
S. Kalajd\v{z}ievski published a verification of this algorithm. We present a
different algorithm from the point of view of Culler-Vogtmann's Outer space.
New results include that the subgroup of fixing
is of type , an equivariant version of these results, an
application, and a unified approach to such questions.Comment: 29 pages, 3 figure
- …