Structure of solutions of exponential equations in acylindrically hyperbolic groups

arXiv2205.11662MaRDI QIDQ6399982FDOQ6399982

Authors: Agnieszka Bier, Oleg Bogopolski 

Publication date: 23 May 2022

Abstract: Let $G$ be a group acting acylindrically on a hyperbolic space and let $E$ be an exponential equation over $G$. We show that $E$ is equivalent to a finite disjunction of finite systems of pairwise independent equations which are either loxodromic over virtually cyclic subgroups or elliptic. We also obtain a description of the solution set of $E$. We obtain stronger results in the case where $G$ is hyperbolic relative to a collection of peripheral subgroups ${H_{lambda}}_{lambdainLambda}$. In particular, we prove in this case that the solution sets of exponential equations over $G$ are $mathbbZ$-semilinear if and only if the solution sets of exponential equations over every $H_{lambda}$, $lambdainLambda$, are $mathbbZ$-semilinear. We obtain an analogous result for finite disjunctions of finite systems of exponential equations and inequations over relatively hyperbolic groups in terms of definable sets in the weak Presburger arithmetic.

Mathematics Subject Classification ID

Geometric group theory (20F65) Hyperbolic groups and nonpositively curved groups (20F67) Algebraic geometry over groups; equations over groups (20F70)

This page was built for publication: Structure of solutions of exponential equations in acylindrically hyperbolic groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6399982)