Considering a solid 3-dimensional Klein bottle and a collaring of its boundary, can we extend a generic $C^\infty$ non-singular function defined on the collaring to the full solid Klein bottle without critical points? We give a condition on the Reeb graph of the given function that is necessary and sufficient for the existence of such a non-singular extension.
The Reeb graph of a function on a smooth manifold is the graph obtained as the space of all connected components of level sets such that the set of all vertices coincides with the set of all connected components of level sets including singular points. Reeb graphs are fundamental and important in the algebraic and differential topological theory of Morse functions and their generalizations. In this paper, as a related fundamental and important study, for given graphs, we construct certain smooth functions inducing the graphs as the Reeb graphs. Such works have been demonstrated by Masumoto, Mi…
Small covers arising from 3-dimensional simple polytopes are an interesting class of 3-manifolds. The fundamental group is a rigid invariant for wide classes of 3-manifolds, particularly for orientable Haken manifolds, which include orientable small covers. By using Morse-theoretic approach we give a procedure to get an explicit, balanced presentation of the fundamental group of a closed, orientable 3-dimensional simple cover with minimal number of generators. Beside that the minimal Heegaard splitting is determined by this presentation.
For a closed oriented 3-manifold $Y$ we define $n(Y)$ to be the minimal non-negative number such that in each homotopy class of non-singular vector fields of $Y$ there is a Morse-Smale vector field with less or equal to $n(Y)$ periodic orbits. We combine the construction process of Morse-Smale flows given in [2] with handle decompositions of compact orientable surfaces to provide an upper bound to the number $n(Y)$ for oriented Seifert manifolds and oriented graph manifolds prime to $\stwo\times\sone$.
Let $M$ be a smooth closed orientable surface, and let $F$ be the space of Morse functions on $M$ such that at least $χ(M)+1$ critical points of each function of $F$ are labeled by different labels (enumerated). Endow the space $F$ with $C^\infty$-topology. We prove the homotopy equivalence $F\sim R\times{\widetilde{\cal M}}$ where $R$ is one of the manifolds ${\mathbb R}P^3$, $S^1\times S^1$ and the point in dependence on the sign of $χ(M)$, and ${\widetilde{\cal M}}$ is the universal moduli space of framed Morse functions, which is a smooth stratified manifold. Morse inequalities for the Bet…
In the first part of this paper, we consider smooth maps from a compact orientable 3-manifold without boundary to the 2-sphere. We give a geometric criterion to decide whether two given maps are homotopic, based on the sets of points where the maps are equal or antipodal. We extend this criterion to non-singular vector fields (and co-oriented plane fields) on 3-manifolds. In the second part, we make use of this criterion to study non-singular Morse-Smale vector fields on Seifert manifolds, giving a simple proof of a result of Yano.
A Morse function f on a manifold with corners M allows the characterization of the Morse data for a critical point by the Morse index. In fact, a modified gradient flow allows a proof of the Morse theorems in a manner similar to that of classical Morse theory. It follows that M is homotopy equivalent to a CW-complex with one cell of dimension λfor each essential critical point of index λ. The goal of this article is to determine the boundary maps of this CW-complex, in the case where M is compact and orientable. First, the boundary maps are defined in terms of the modified gradient flow. Then …
Let $M$ be a smooth connected orientable compact surface. Denote by $F(M,S^1)$ the space of all Morse functions $f:M\to S^1$ having no critical points on the boundary of $M$ and such that for every boundary component $V$ of $M$ the restriction $f|_{V}:V\to S^1$ is either a constant map or a covering map. Endow $F(M,S^1)$ with the $C^{\infty}$-topology. In this note the connected components of $F(M,S^1)$ are classified. This result extends the results of S. V. Matveev, V. V. Sharko, and the author for the case of Morse functions being locally constant on the boundary of $M$.
Let $M$ be a smooth closed orientable surface. Let $F$ be the space of Morse functions on $M$ having fixed number of critical points of each index, moreover at least $χ(M)+1$ critical points are labeled by different labels (enumerated). A notion of a skew cylindric-polyhedral complex, which generalizes the notion of a polyhedral complex, is introduced. The skew cylindric-polyhedral complex $\mathbb{\widetilde K}$ (the "complex of framed Morse functions"), associated with the space $F$, is defined. In the case when $M=S^2$, the polyhedron $\mathbb{\widetilde K}$ is finite; its Euler characteris…
Let $M$ be a smooth closed orientable surface. Let $F$ be the space of Morse functions on $M$, and $\mathbb{F}^1$ the space of framed Morse functions, both endowed with $C^\infty$-topology. The space $\mathbb{F}^0$ of special framed Morse functions is defined. We prove that the inclusion mapping $\mathbb{F}^0\hookrightarrow\mathbb{F}^1$ is a homotopy equivalence. In the case when at least $χ(M)+1$ critical points of each function of $F$ are labeled, homotopy equivalences $\mathbb{\widetilde K}\sim\widetilde{\cal M}$ and $F\sim\mathbb{F}^0\sim{\mathscr D}^0\times\mathbb{\widetilde K}$ are prove…
A pair of pants is a genus zero orientable surface with three boundary components. A pants decomposition of a surface is a finite collection of unordered pairwise disjoint simple closed curves embedded in the surface that decompose the surface into pants. In this paper we present two Morse theory based algorithms for pants decomposition of a surface mesh. Both algorithms operates on a choice of an appropriate Morse function on the surface. The first algorithm uses this Morse function to identify handles that are glued systematically to obtain a pant decomposition. The second algorithm uses the…
Work of numerous authors has shown that any smooth, orientable, closed 4-manifold may be described as a loop of Morse functions on a surface, a loop in the cut complex, a loop in the pants complex, or as a multisection. In this paper, we prove a corresponding uniqueness theorem for each of these descriptions, so that, for example, any two loops of Morse functions on a surface yielding diffeomorphic 4-manifolds are related by a given set of moves.
In this paper we deal with Seifert fibre spaces, which are compact 3-manifolds admitting a foliation by circles. We give a combinatorial description for these manifolds in all the possible cases: orientable, non-orientable, closed, with boundary. Moreover, we compute a potentially sharp upper bound for their complexity in terms of the invariants of the combinatorial description, extending to the non-orientable case results by Fominykh and Wiest for the orientable case with boundary and by Martelli and Petronio for the closed orientable case.
In this paper, we give an algorithm to build all compact orientable atoroidal Haken 3-manifolds with tori boundary or closed orientable Haken 3-manifolds, so that in both cases, there are embedded closed orientable separating incompressible surfaces which are not tori. Next, such incompressible surfaces are related to Heegaard splittings. For simplicity, we focus on the case of separating incompressible surfaces, since non-separating ones have been extensively studied. After putting the surfaces into Morse position relative to the height function associated to the Heegaard splittings, a thin p…
We investigate the problem of the realization of a given graph as the Reeb graph $\mathcal{R}(f)$ of a smooth function $f\colon M\rightarrow \mathbb{R}$ with finitely many critical points, where $M$ is a closed manifold. We show that for any $n\geq2$ and any graph $Γ$ admitting the so called good orientation there exist an $n$-manifold $M$ and a Morse function $f\colon M\rightarrow \mathbb{R} $ such that its Reeb graph $\mathcal{R}(f)$ is isomorphic to $Γ$, extending previous results of Sharko and Masumoto-Saeki. We prove that Reeb graphs of simple Morse functions maximize the number of cycles…
We prove a new systolic volume lower bound for non-orientable n-manifolds, involving the stable 1-systole and the codimension 1 systole with coefficients in Z_2. As an application, we prove that Lusternik-Schnirelmann category and systolic category agree for non-orientable closed manifolds of dimension 3, extending our earlier result in the orientable case. Finally, we prove the homotopy invariance of systolic category.
Let $M$ be a compact two-dimensional manifold and, $f \in C^{\infty}(M,\mathbb{R})$ be a Morse function, and $Γ_f$ be its Kronrod-Reeb graph. Denote by $\mathcal{O}_{f}=\{f \circ h \mid h \in \mathcal{D}\}$ the orbit of $f$ with respect to the natural right action of the group of diffeomorphisms $\mathcal{D}$ on $C^{\infty}(M,\mathbb{R})$, and by $\mathcal{S}(f)=\{h\in\mathcal{D} \mid f \circ h = f\}$ the corresponding stabilizer of this function. It is easy to show that each $h\in\mathcal{S}(f)$ induces a homeomorphism of $Γ_f$. Let also $\mathcal{D}_{\mathrm{id}}(M)$ be the identity path com…
Let $M$ be a smooth compact surface, orientable or not, with boundary or without it, $P$ either the real line $R^1$ or the circle $S^1$, and $Diff(M)$ the group of diffeomorphisms of $M$ acting on $C^{\infty}(M,P)$ by the rule $h\cdot f\mapsto f \circ h^{-1}$, where $h\in Diff(M)$ and $f \in C^{\infty}(M,P)$. Let $f:M \to P$ be a Morse function and $O(f)$ be the orbit of $f$ under this action. We prove that $π_k O(f)=π_k M$ for $k\geq 3$, and $π_2 O(f)=0$ except for few cases. In particular, $O(f)$ is aspherical, provided so is $M$. Moreover, $π_1 O(f)$ is an extension of a finitely generated …
Let $G$ be a finite group acting on a connected compact surface $Σ$, and $M$ be an integer homology 3-sphere. We show that if each element of $G$ is extendable over $M$ with respect to a fixed embedding $Σ\rightarrow M$, then $G$ is extendable over some $M'$ which is 1-dominated by $M$. From this result, in the orientable category we classify all periodic automorphisms of closed surfaces that are extendable over the 3-sphere. The corresponding embedded surface of such an automorphism can always be a Heegaard surface.
By a gradient-like flow on a closed orientable surface $M$, we mean a closed 1-form $β$ defined on $M$ punctured at a finite set of points (sources and sinks of $β$) such that there exists a Morse function $f$ on $M$, called an energy function of $β$, whose critical points coincide with equilibria of $β$, and the pair $(f,β)$ has a canonical form near each critical point of $f$. Let $\mathcal{B}=\mathcal{B}(β_0)$ be the space of all gradient-like flows on $M$ having the same types of local singularities as a flow $β_0$, and $\mathcal{F}=\mathcal{F}(f_0)$ the space of all Morse functions on $M$…
For a smooth function on a smooth manifold of a suitable class, the space of all connected components of preimages is the graph and called the {\it Reeb graph}. Reeb graphs are fundamental tools in the algebraic and differential topological theory of Morse functions and more general functions which are not so wild. In this paper, we study whether we can construct a smooth function with good geometric properties inducing a given graph as the Reeb graph. This problem has been essentially launched by Sharko in 2000s and various answers have been given by Masumoto, Michalak, Saeki, and so on. Rece…
Let $M$ be a connected orientable compact surface, $f:M\to\mathbb{R}$ be a Morse function, and $\mathcal{D}_{\mathrm{id}}(M)$ be the group of difeomorphisms of $M$ isotopic to the identity. Denote by $\mathcal{S}'(f)=\{f\circ h = f\mid h\in\mathcal{D}_{\mathrm{id}}(M)\}$ the subgroup of $\mathcal{D}_{\mathrm{id}}(M)$ consisting of difeomorphisms "preserving" $f$, i.e. the stabilizer of $f$ with respect to the right action of $\mathcal{D}_{\mathrm{id}}(M)$ on the space $\mathcal{C}^{\infty}(M,\mathbb{R})$ of smooth functions on $M$. Let also $\mathbf{G}(f)$ be the group of automorphisms of the …
Fold maps are smooth maps at each singular point of which it is represented as the product map of a Morse function and the identity map. Round fold maps are, in short, such maps the sets of all singular points of which are embedded concentrically. They are, as Morse functions, important in understanding the topologies and the differentiable structures in geometric ways. In the present paper, we study cohomology rings of $3$-dimensional manifolds admitting round fold maps into the plane and see that difference of the coefficient rings and topological types of round fold maps are closely related…
Let $M$ be a smooth closed orientable surface and $F=F_{p,q,r}$ be the space of Morse functions on $M$ having exactly $p$ critical points of local minima, $q\ge1$ saddle critical points, and $r$ critical points of local maxima, moreover all the points are fixed. Let $F_f$ be the connected component of a function $f\in F$ in $F$. By means of the winding number introduced by Reinhart (1960), a surjection $π_0(F)\to{\mathbb Z}^{p+r-1}$ is constructed. In particular, $|π_0(F)|=\infty$, and the Dehn twist about the boundary of any disk containing exactly two critical points, exactly one of which is…
This note contributes to the point calculus of persistent homology by extending Alexander duality to real-valued functions. Given a perfect Morse function $f: S^{n+1} \to [0,1]$ and a decomposition $S^{n+1} = U \cup V$ such that $M = \U \cap V$ is an $n$-manifold, we prove elementary relationships between the persistence diagrams of $f$ restricted to $U$, to $V$, and to $M$.
Extending methods first used by Casson, we show how to verify a hyperbolic structure on a finite triangulation of a closed 3-manifold using interval arithmetic methods. A key ingredient is a new theoretical result (akin to a theorem by Neumann-Zagier and Moser for ideal triangulations upon which HIKMOT is based) showing that there is a redundancy among the edge equations if the edges avoid "gimbal lock". We successfully test the algorithm on known examples such as the orientable closed manifolds in the Hodgson-Weeks census and the bundle census by Bell. We also tackle a previously unsolved pro…
Given a hyperelliptic Klein surface, we construct companion Klein bottles, extending our technique of companion tori already exploited by the authors in the genus 2 case. Bavard's short loops on such companion surfaces are studied in relation to the original surface so to improve a systolic inequality of Gromov's. A basic idea is to use length bounds for loops on a companion Klein bottle, and then analyze how curves transplant to the original nonorientable surface. We exploit the real structure on the orientable double cover by applying the coarea inequality to the distance function from the r…