No label defined (Q4028069)

[For the entire collection see Zbl 0747.00024]. In order to find automatic and asynchronous automatic structures for amalgams and HNN extensions of automatic groups [for definitions see \textit{J. W. Cannon, D. B. A. Epstein, D. F. Holt, S. Levy, M. Paterson} and \textit{W. P. Thurston}'s book ``Word processing in groups'' (1992; Zbl 0764.20017)] the author significantly extends a result by \textit{G. Baumslag, S. M. Gersten, M. Shapiro} and \textit{H. Short} [J. Pure Appl. Algebra 76, No. 3, 229-316 (1991; Zbl 0749.20006)] to finite trees of groups (Theorem 1) and to finite graphs of groups (Theorem 3). As an application of Theorem 1, he shows that the fundamental groups of closed 3-manifolds with \(PSL_ 2(R)\)-geometry are automatic. The next results, Theorems 4 and 5, provide conditions for a finite graph of negatively curved groups to have an automatic or asynchronous automatic structure. For the case of finite graphs and trees of abelian groups (some of them, HNN extensions of \(Z \times Z\), may be the fundamental groups of closed 3-manifolds with Nil and Solv geometries and hence are not automatic -- see \textit{S. Gersten} [Lect. Workshop Berkeley/CA (USA) 1989, Publ. Math. Sci. Res. Inst. 23, 225-232 (1992; Zbl 0781.20022)] and the book cited above), the author finds conditions (Theorem 6) for asynchronously automatic and automatic structures on them. The main condition is that the edge groups `intersect well' inside the vertex groups. It also plays the main role in Theorem 7 providing conditions on finite graphs of finite volume hyperbolic groups (with abelian edges) to be asynchronous automatic or even automatic. The main geometric ingredient of the proof is \textit{K. Tatsuoka}'s result on automatic structures on finite volume hyperbolic groups [Finite volume hyperbolic groups are automatic. (Preprint, 1990)] see also the book cited above and Ch. 6.4 of \textit{B. Apanasov} [Discrete groups in space and uniformization problems (Kluwer, 1991; Zbl 0732.57001)]. Finally, the author discusses relation of his Theorem 1 to the problem of automatic structures on finite graphs of automatic groups corresponding to the canonical decomposition of an irreducible Haken 3-manifold (other than closed Nil and Solv manifolds). This result has been shown independently by the author and by Cannon, Epstein, Holt, Paterson and Thurston (see above). For such manifolds with conformal structures, this result follows directly from the so called Klein-Maskit combination theorems (see Ch. 8 of Apanasov's book above).