Limit groups over coherent right-angled Artin groups are cyclic subgroup separable (Q6187401)

Let \(G\) be a group. A subgroup \(H \leq G\) is separable if it is an intersection of finite index subgroups of \(G\). The group \(G\) is called cyclic subgroup separable if each of its cyclic subgroups is separable. In [\textit{M. Casals-Ruiz} et al., Publ. Mat., Barc. 67, No. 1, 199--257 (2023; Zbl 1522.20137)], a new class of groups \(\mathcal{C}\), containing all coherent right-angled Artin groups and all toral relatively hyperbolic groups, is defined. In that paper, it is shown that, for \(G \in \mathcal{C}\) satisfying some mild hypotheses (Condition R), the \(\mathbb{Z}[t]\)-exponential group \(G^{\mathbb{Z}[t]}\) may be constructed as an iterated centralizer extension. In the paper under review, the author proves that cyclic subgroup separability is preserved under exponential completion for groups that belong to \(\mathcal{C}\) and satisfies Condition R. From this, he deduces that the cyclic subgroups of limit groups over coherent right-angled Artin groups are separable. The author also discusses relations between free products with commuting subgroups and the word problem and recover the fact that limit groups over coherent right-angled Artin groups and toral relatively hyperbolic groups have a solvable word problem.