Morse boundaries of graphs of groups with finite edge groups (Q6095992)

The Morse boundary was introduced in [\textit{M. Cordes}, Groups Geom. Dyn. 11, No. 4, 1281--1306 (2017; Zbl 1423.20043)] as a generalization of the Gromov boundary for non-hyperbolic spaces. It captures hyperbolic properties of non-hyperbolic spaces and groups and, similar to the Gromov boundary, is a quasi-isometry invariant and visibility space. In this paper, the author proves that the Morse boundary of a free product depends only on the Morse boundary of its factors. In fact, she also proves the analogous result for graphs of groups with finite edge groups and infinitely many ends. This generalizes the results of \textit{A. Martin} and \textit{J. Światkowski} [J. Group Theory 18, No. 2, 273--289 (2015; Zbl 1329.20054)] in the case of non-hyperbolic groups. The reviewer reports the main result in its entirety (Theorem 1.1): For \(i= 1, 2\), let \(\mathcal{G}_{i}\) be graphs of groups where all edge groups are finite, and suppose that the groups \(\pi_{1} \mathcal{G}_{i}\) have infinitely many ends. Let \(h(\mathcal{G}_{i})\) be the set of homeomorphism types of Morse boundaries of the vertex groups in \(\mathcal{G}_{i}\) that are non-finite and not virtually cyclic. If \(h(\mathcal{G}_{1})= h(\mathcal{G}_{2})\), then the Morse boundaries \(\partial_{\ast} \pi_{1}( \mathcal{G}_{i})\) are homeomorphic.