In a previous paper, under the assumption that the Riemannian metric is special, the author proved some results about the moduli spaces and CW structures arising from Morse theory. By virtue of topological equivalence, this paper extends those results by dropping the assumption on the metric. In particular, we give a strong solution to the following classical question: Does a Morse function on a compact Riemannian manifold gives rise to a CW decomposition that is homeomorphic to the manifold?
An explicit isomorphism between Morse homology and singular homology is constructed via the technique of pseudo-cycles. Given a Morse cycle as a formal sum of critical points of a Morse function, the unstable manifolds for the negative gradient flow are compactified in a suitable way, such that gluing them appropriately leads to a pseudo-cycle and a well-defined integral homology class in singular homology.
Let L be a Legendrian knot in R^3 with the standard contact structure. In [10], a map was constructed from equivalence classes of Morse complex sequences for L, which are combinatorial objects motivated by generating families, to homotopy classes of augmentations of the Legendrian contact homology algebra of L. Moreover, this map was shown to be a surjection. We show that this correspondence is, in fact, a bijection. As a corollary, homotopic augmentations determine the same graded normal ruling of L and have isomorphic linearized contact homology groups. A second corollary states that the cou…
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.
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…
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.
The questions when two Morse function on closed manifolds are conjugated is investigated. Using the handle decompositions of manifolds the condition of conjugation is formulated. For each Morse function on 3-manifold the ordered generalized Heegaard diagram is built. The criteria of Morse function conjugation are given in the terms of equivalence of such diagrams.
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 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…
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.
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.
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.
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_…
Fix a tangential structure $θ: B \longrightarrow BO(d+1)$ and an integer $k < d/2$. In this paper we determine the homotopy type of a cobordism category $\mathbf{Cob}^{\text{mf}, k}_θ$, where morphisms are given by $θ$-cobordisms $W: P \rightsquigarrow Q$ equipped with a choice of proper Morse function $h_{W}: W \longrightarrow [0, 1]$, with the property that all critical points $c \in W$ of $h_{W}$ satisfy the condition: $k < \text{index}(c) < d-k+1$. In particular, we prove that there is a weak homotopy equivalence $B\mathbf{Cob}^{\text{mf}, k}_θ \simeqΩ^{\infty}\mathbf{hW}^{k}_θ$, where $\m…
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…
We develop Morse theory for manifolds with boundary. Besides standard and expected facts like the handle cancellation theorem and the Morse lemma for manifolds with boundary, we prove that, under a topological assumption, a critical point in the interior of a Morse function can be moved to the boundary, where it splits into a pair of boundary critical points. As an application, we prove that every cobordism of manifolds with boundary splits as a union of left product cobordisms and right product cobordisms.
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.
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 apply Lescop's construction of $\mathbb{Z}$-equivariant perturbative invariant of knots and 3-manifolds to the explicit equivariant propagator of "AL-paths" given in arXiv:1403.8030. We obtain an invariant $\hat{Z}_n$ of certain equivalence classes of fiberwise Morse functions on a 3-manifold fibered over $S^1$, which can be considered as a higher loop analogue of the Lefschetz zeta function and whose construction will be applied to that of finite type invariants of knots in such a 3-manifold. We also give a combinatorial formula for Lescop's equivariant invariant $\mathscr{Q}$ for 3-manifo…
