No Arabic abstract
We introduce a new type of boundary for proper geodesic spaces, called the Morse boundary, that is constructed with rays that identify the hyperbolic directions in that space. This boundary is a quasi-isometry invariant and thus produces a well-defined boundary for any finitely generated group. In the case of a proper $mathrm{CAT}(0)$ space this boundary is the contracting boundary of Charney and Sultan and in the case of a proper Gromov hyperbolic space this boundary is the Gromov boundary. We prove three results about the Morse boundary of Teichmuller space. First, we show that the Morse boundary of the mapping class group of a surface is homeomorphic to the Morse boundary of the Teichmuller space of that surface. Second, using a result of Leininger and Schleimer, we show that Morse boundaries of Teichmuller space can contain spheres of arbitrarily high dimension. Finally, we show that there is an injective continuous map of the Morse boundary of Teichmuller space into the Thurston compactification of Teichmuller space by projective measured foliations.
We build an analogue of the Gromov boundary for any proper geodesic metric space, hence for any finitely generated group. More precisely, for any proper geodesic metric space $X$ and any sublinear function $kappa$, we construct a boundary for $X$, denoted $mathcal{partial}_{kappa} X$, that is quasi-isometrically invariant and metrizable. As an application, we show that when $G$ is the mapping class group of a finite type surface, or a relatively hyperbolic group, then with minimal assumptions the Poisson boundary of $G$ can be realized on the $kappa$-Morse boundary of $G$ equipped the word metric associated to any finite generating set.
The Morse boundary of a proper geodesic metric space is designed to encode hypberbolic-like behavior in the space. A key property of this boundary is that a quasi-isometry between two such spaces induces a homeomorphism on their Morse boundaries. In this paper we investigate when the converse holds. We prove that for $X, Y$ proper, cocompact spaces, a homeomorphism between their Morse boundaries is induced by a quasi-isometry if and only if the homeomorphism is quasi-mobius and 2-stable.
We study direct limits of embedded Cantor sets and embedded sier curves. We show that under appropriate conditions on the embeddings, all limits of Cantor spaces give rise to homeomorphic spaces, called $omega$-Cantor spaces, and similarly, all limits of sier curves give homeomorphic spaces, called to $omega$-sier curves. We then show that the former occur naturally as Morse boundaries of right-angled Artin groups and fundamental groups of non-geometric graph manifolds, while the latter occur as Morse boundaries of fundamental groups of finite-volume, cusped hyperbolic 3-manifolds.
To every Gromov hyperbolic space X one can associate a space at infinity called the Gromov boundary of X. Gromov showed that quasi-isometries of hyperbolic metric spaces induce homeomorphisms on their boundaries, thus giving rise to a well-defined notion of the boundary of a hyperbolic group. Croke and Kleiner showed that the visual boundary of non-positively curved (CAT(0)) groups is not well-defined, since quasi-isometric CAT(0) spaces can have non-homeomorphic boundaries. For any sublinear function $kappa$, we consider a subset of the visual boundary called the $kappa$-Morse boundary and show that it is QI-invariant and metrizable. This is to say, the $kappa$-Morse boundary of a CAT(0) group is well-defined. In the case of Right-angled Artin groups, it is shown in the Appendix that the Poisson boundary of random walks is naturally identified with the $sqrt{t log t}$--boundary.
We prove that the deformation space of geodesic triangulations of a flat torus is homotopy equivalent to a torus. This solves an open problem proposed by Connelly et al. in 1983, in the case of flat tori. A key tool of the proof is a generalization of Tuttes embedding theorem for flat tori. When this paper is under preparation, Erickson and Lin proved a similar result, which works for all convex drawings.