Title:On equations in relatively hyperbolic groups

Abstract: We investigate the problem of deciding the Diophantine theory (resp. the existential first order theory), of some torsion free relatively hyperbolic group (i.e. the problems of satisfiability of finite systems of equations (resp. of equations and inequations) with coefficients). We give a positive answer to the second problem when the parabolic subgroups are abelian, and to the first problem, more generally, when the existential first order theory of each parabolic subgroup is decidable. This, for example, applies to torsion free CAT(0) groups with isolated flats, answering a question of Z. Sela. This also gives another proof, and a generalization of a result of Sela on the decidability of the existential first order theory, with coefficients, of a torsion free hyperbolic group. Finally, we adapt an algorithm described by Papasoglu, to be run preliminarily, to get more uniformity for our algorithms.