Complete topological descriptions of certain Morse boundaries
Ruth Charney, Matthew Cordes, Alessandro Sisto
备注：
24 pages, 1 figure; added theorem that certain graph of group decompositions have $ω$-Cantor space boundary, including fundamental groups of non-geometric graph manifolds
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 $ω$-Cantor spaces, and similarly, all limits of \sier curves give homeomorphic spaces, called to $ω$-\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.
We show that the Morse boundary of a right-angled Coxeter group may contain embedded circles that do not arise as the boundary of a Morse Fuchsian subgroup visible in the defining graph.
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 show that the sublinearly Morse boundary of a CAT(0) cubical group with a factor system is well-defined up to homeomorphism with respect to the visual topology. The key tool used in the proof is a new topology on sublinearly Morse boundaries that is induced by group actions on hyperbolic spaces that are sufficiently nice, for example, largest acylindrical actions. Using the same techniques, we obtain a explicit description of this new topology on the sublinearly Morse boundary of any hierarchically hyperbolic group in terms of medians. Finally, we explicitly describe the sublinear Morse bou…
We generalize a result of Paulin on the Gromov boundary of hyperbolic groups to the Morse boundary of proper, maximal hierarchically hyperbolic spaces admitting cocompact group actions by isometries. Namely we show that if the Morse boundaries of two such spaces each contain at least three points, then the spaces are quasi-isometric if and only if there exists a 2-stable, quasi-möbius homeomorphism between their Morse boundaries. Our result extends a recent result of Charney-Murray, who prove such a classification for CAT(0) groups, and is new for mapping class groups and the fundamental group…
Let a finitely generated group $G$ split as a graph of groups. If edge groups are undistorted and do not contribute to the Morse boundary $\partial_MG$, we show that every connected component of $\partial_MG$ with at least two points originates from the Morse boundary of a vertex group. Under stronger assumptions on the edge groups (such as wideness in the sense of Druţu-Sapir), we show that Morse boundaries of vertex groups are topologically embedded in $\partial_MG$.
We prove that the sublinearly Morse boundary of every known cubulated group continuously injects in the Gromov boundary of a certain hyperbolic graph. We also show that for all CAT(0) cube complexes, convergence to sublinearly Morse geodesic rays has a simple combinatorial description using the hyperplanes crossed by such sequences. As an application of this combinatorial description, we show that a certain subspace of the Roller boundary continously surjects on the subspace of the visual boundary consisting of sublinearly Morse geodesic rays.
We introduce a new quasi-isometry invariant, called the divergence spectrum, to study finitely generated groups. We compare the concept of divergence spectrum with the other classical notions of divergence and we examine the divergence spectra of relatively hyperbolic groups. We show the existence of an infinite collection of right-angled Coxeter groups which all have exponential divergence but they all have different divergence spectra. We also study Morse boundaries of relatively hyperbolic groups and examine their connection with Bowditch boundaries.
This paper introduces a new class of right-angled Coxeter groups with totally disconnected Morse boundaries. We construct this class recursively by examining how the Morse boundary of a right-angled Coxeter group changes if we glue a graph to its defining graph. More generally, we present a method to construct amalgamated free products of CAT(0) groups with totally disconnected Morse boundaries that act geometrically on CAT(0) spaces that have a treelike block decomposition.
A sublinear biLipschitz equivalence (SBE) between metric spaces is a map from one space to another that distorts distances with bounded multiplicative constants and sublinear additive error. Given any sublinear function $κ$, $κ$-Morse boundaries are defined for all geodesic proper metric spaces as a quasi-isometrically invariant and metrizable topological space of quasi-geodesic rays. In this paper, we prove that $κ$-Morse boundaries of proper geodesic metric spaces are invariant under suitable SBEs. A tool in the proof is the use of sublinear rays, that is, sublinear bilispchitz embeddings of…
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 cocompact CAT(0) spaces, a homeomorphism of Morse boundaries is induced by a quasi-isometry if and only if the homeomorphism is quasi-mobius and 2-stable.
For a proper geodesic metric space $X$, the Morse boundary $\partial_*X$ focuses on the hyperbolic-like directions in the space $X$. It is a quasi-isometry invariant. That is, a quasi-isometry between two hyperbolic spaces induces a homeomorphism on their boundaries. In this paper, we investigate additional structures on the Morse boundary $\partial_*X$ which determine $X$ up to a quasi-isometry. We prove that, for $X$ and $Y$ proper, cocompact spaces, a homeomorphism $f$ between their Morse boundaries is induced by a quasi-isometry if and only if $f$ and $f^{-1}$ are bihölder, or quasi-symmet…
To investigate the topological structure of Morse functions on the projective plane we use the Reeb graphs. We describe it properties and prove that it is a complete topological invariant of simple Morse function on $\mathbb{R} P^2$. We prove recurent formulas for the number of Reeb graphs with the given number of sadles (vertex).
We show that, up to topological conjugation, the equivalence class of a Morse-Smale diffeomorphism without heteroclinic curves on 3-manifold is completely defined by an em- bedding of two-dimensional stable and unstable heteroclinic laminations to a characteristic space.
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 $κ$, we consider a subset of the visual boundary called the $κ$-Morse boundary and show that …
Scharlemann and Thompson define the width of a 3-manifold M as a notion of complexity based on the topology of M. Their original definition had the property that the adjacency relation on handles gave a linear order on handles, but here we consider a more general definition due to Saito, Scharlemann and Schultens, in which the adjacency relation on handles may give an arbitrary graph. We show that for compact hyperbolic 3-manifolds, this is linearly related to a notion of metric complexity, based on the areas of level sets of Morse functions to graphs, which we call Gromov area.
The paper is devoted to the study of topological properties, structure and classification of Morse flows with fixed points on the boundary of three-dimensional manifolds. We construct a complete topological invariant of a Morse flow, Pr-diagram, which is similar to the Heegaard diagram of a closed 3-manifold.
This paper describes how to recover the topology of a closed manifold $M$ from a good Morse function $f$ on $M$. The essential method was suggested by Cohen, Jones and Segal. They constructed a topological category $C_{f}$ and claimed that the classifying space $BC_{f}$ is homeomorphic to $M$. We prove it from a different viewpoint with them using a cell decomposition of $M$ associated to $f$. The cell complex $M_{f}$ equipped with the decomposition induces a topological category $C(M_{f})$ whose classifying space $BC(M_{f})$ is homeomorphic to $M$. We show that $C(M_{f})$ is isomorphic to $C_…
Stable subgroups and the Morse boundary are two systematic approaches to collect and study the hyperbolic aspects of finitely generated groups. In this paper we unify and generalize these strategies by viewing any geodesic metric space as a countable union of stable subspaces: we show that every stable subgroup is a quasi--convex subset of a set in this collection and that the Morse boundary is recovered as the direct limit of the usual Gromov boundaries of these hyperbolic subspaces. We use this approach, together with results of Leininger--Schleimer, to deduce that there is no purely geometr…
This is the first in a series of papers concerned with Morse quasiflats, which are a generalization of Morse quasigeodesics to arbitrary dimension. In this paper we introduce a number of alternative definitions, and under appropriate assumptions on the ambient space we show that they are equivalent and quasi-isometry invariant; we also give a variety of examples. The second paper proves that Morse quasiflats are asymptotically conical and have canonically defined Tits boundaries; it also gives some first applications.
We give new examples of hyperbolic and relatively hyperbolic groups of cohomological dimension $d$ for all $d\geq 4$. These examples result from applying CAT$(0)$/CAT$(-1)$ filling constructions (based on singular doubly warped products) to finite volume hyperbolic manifolds with toral cusps. The groups obtained have a number of interesting properties, which are established by analyzing their boundaries at infinity by a kind of Morse-theoretic technique, related to but distinct from ordinary and combinatorial Morse theory.
In this paper, based on research on rank-one isometries by W.Ballmann and M.Brin and recent research on rank-one isometries of Coxeter groups by P.Caprace and K.Fujiwara, we study a topological fractal structure of boundaries of Coxeter groups. We also show that the limit-point set is dense in a boundary of a Coxeter group and introduce some remarks on boundaries of CAT(0) groups with rank-one isometries.
We give upper bounds, linear in rank, to the topological dimensions of the Gromov boundaries of the intersection graph, the free factor graph and the cyclic splitting graph of a finitely generated free group.
In the first half of the paper we construct a Morse-type theory on certain spaces of braid diagrams. We define a topological invariant of closed positive braids which is correlated with the existence of invariant sets of parabolic flows defined on discretized braid spaces. Parabolic flows, a type of one-dimensional lattice dynamics, evolve singular braid diagrams in such a way as to decrease their topological complexity; algebraic lengths decrease monotonically. This topological invariant is derived from a Morse-Conley homotopy index and provides a gloablization of `lap number' techniques used…
Random walks on spaces with hyperbolic properties tend to sublinearly track geodesic rays which point in certain hyperbolic-like directions. Qing-Rafi-Tiozzo recently introduced the sublinearly Morse boundary and proved that this boundary is a quasi-isometry invariant which captures a notion of generic direction in a broad context. In this article, we develop the geometric foundations of sublinear Morseness in the mapping class group and Teichmüller space. We prove that their sublinearly Morse boundaries are visibility spaces and admit continuous equivariant injections into the boundary of the…
We prove that an embedded cobordism between manifolds with boundary can be split into a sequence of right product and left product cobordisms, if the codimension of the embedding is at least two. This is a topological counterpart of the algebraic splitting theorem for embedded cobordisms of the first author, A. Nemethi and A. Ranicki. In the codimension one case, we provide a slightly weaker statement. We also give proofs of rearrangement and cancellation theorems for handles of embedded submanifolds with boundary.
We analyse the topological (knot-theoretic) features of a certain codimension-one bifurcation of a partially hyperbolic fixed point in a flow on $\real^3$ originally described by Shil'nikov. By modifying how the invariant manifolds wrap around themselves, or ``pleat,'' we may apply the theory of templates, or branched two-manifolds, to capture the topology of the flow. This analysis yields a class of flows which bifurcate from a Morse-Smale flow to a Smale flow containing periodic orbits of all knot and link types.
According to Kiyoshi Igusa a generalized Morse function on an n-dimensional manifold M is a smooth function with only Morse and birth-death singularities and a framed function is a generalized Morse function with an additional structure: a framing of the negative eigenspace at each critical point of the function f. In his paper "The space of framed functions" (Trans. of Amer. Math. Soc., 301(1987), 431-477) Igusa proved that the space of framed generalized Morse functions is (n-1)-connected. In the paper "On the Classification of Topological Field Theories" (arXiv:0905.0465) Jacob Lurie gave a…
In this paper, it is explained that a topological invariant for 3-manifold $M$ with $b_1(M)=1$ can be constructed by applying Fukaya's Morse homotopy theoretic approach for Chern--Simons perturbation theory to a local system on $M$ of rational functions associated to the free abelian covering of $M$. Our invariant takes values in Garoufalidis--Rozansky's space of Jacobi diagrams whose edges are colored by rational functions. It is expected that our invariant gives a lot of nontrivial finite type invariants of 3-manifolds.
We give a new and simple proof for the computation of the oriented and the unoriented fold cobordism groups of Morse functions on surfaces. We also compute similar cobordism groups of Morse functions based on simple stable maps of 3-manifolds into the plane. Furthermore, we show that certain cohomology classes associated with the universal complexes of singular fibers give complete invariants for all these cobordism groups. We also discuss invariants derived from hypercohomologies of the universal homology complexes of singular fibers. Finally, as an application of the theory of universal comp…
We consider different notions of equivalence for Morse functions on the sphere in the context of persistent homology, and introduce new invariants to study these equivalence classes. These new invariants are as simple, but more discerning than existing topological invariants, such as persistence barcodes and Reeb graphs. We give a method to relate any two Morse--Smale vector fields on the sphere by a sequence of fundamental moves by considering graph-equivalent Morse functions. We also explore the combinatorially rich world of height-equivalent Morse functions, considered as height functions o…
