SMS scnews item created by Boris Lishak at Mon 22 Oct 2018 1137
Type: Seminar
Modified: Mon 22 Oct 2018 1139
Distribution: World
Calendar1: 24 Oct 2018 1200-1300
CalLoc1: Carslaw 830
CalTitle1: Ferov -- Quantifying complexity for the isomorphism problem of hyperbolic groups
Auth: borisl@dora.maths.usyd.edu.au

Geometry and Topology Seminar

Quantifying complexity for the isomorphism problem of hyperbolic groups

Michal Ferov (UTS/Newcastle)

Please join us for lunch at 1 p.m.

Abstract:

Deciding whether two finite presentations represent isomorphic groups is very hard. By a classical result of Adyan and Rabin, the problem of deciding whether a given presentation gives the trivial group is undecidable, so the isomorphism problem is undecitable in general. However, for certain classes of groups the isomorphism problem has been shown to be solvable. In the case of hyperbolic groups, an algorithm deciding the isomorphism problem was given by Dahmani and Guirardel. Unfortunately, this algorithm is not primitively recursive, meaning that there is no bound on its complexity. In my talk I will show that if we restrict our attention only to rigid hyperbolic groups, then one can actually give an upper bound on the complexity, provided that we are given an additional piece of information (the rigidity constant). The class of rigid hyperbolic groups includes fundamental groups of closed compact hyperbolic 3-manifolds, so by Mostow rigidity we get an upper bound on the complexity of homeomorphism problem for closed compact hyperbolic 3-manifolds as well.