The works of Donaldson and Mark make the structure of the Seiberg-Witten invariant of 3-manifolds clear. It corresponds to certain torsion type invariants counting flow lines and closed orbits of a gradient flow of a circle-valued Morse map on a 3-manifold. We study these invariants using the Morse-Novikov theory and Heegaard splitting for sutured manifolds, and make detailed computations for knot complements.
The idea of Lichnerowicz or Morse-Novikov cohomology groups of a manifold has been utilized by many researchers to study important properties and invariants of a manifold. Morse-Novikov cohomology is defined using the differential $d_ω=d+ω\wedge$, where $ω$ is a closed $1$-form. We study Morse-Novikov cohomology relative to a foliation on a manifold and its homotopy invariance and then extend it to more general type of forms on a Riemannian foliation. We study the Laplacian and Hodge decompositions for the corresponding differential operators on reduced leafwise Morse-Novikov complexes. In the…
We give an upper bound for the Reidemeister-Singer distance between two Heegaard splittings in terms of the genera and the number of cusp points of the product map of Morse functions for the splittings. It suggests that a certain development in singularity theory may lead to the best possible bound for the Reidemeister-Singer distance.
A knot is an a-small knot if its exterior does not contain closed incompressible surfaces disjoint from some incompressible Seifert surface for the knot. Using circular thin position for knots we prove that the handle number is additive under the connected sum of two a-small knots. As a consequence the Morse-Novikov number turns out to be additive under the connected sum of two a-small knots.
Let M be a closed n-dimensional manifold, n > 2, whose first real cohomology group H 1 (M ; R) is non-zero. We present a general method for constructing a Morse 1-form $α$ on M , closed but non-exact, and a pseudo-gradient X such that the differential $\partial$ X of the Novikov complex of the pair ($α$, X) has at least one incidence coefficient which is an infinite series. This is an application of our previous study of the homoclinic bifurcation of pseudo-gradients of multivalued Morse functions.
Let $K\subset S^4$ be a 2-knot, that is, a smoothly embedded 2-sphere in $S^4$. The Morse-Novikov number $\mathcal M\mathcal N(K)$ is the minimal possible number of critical points of a Morse map $S^4\setminus K\to S^1$ belonging to the canonical class in $H^1(S^4\setminus K)$. We prove that for a classical knot $K\subset S^3$ the Morse-Novikov number of the spun knot $S(K)$ is $\leq 2\mathcal M\mathcal N(K)$. This enables us to compute $\mathcal M\mathcal N(S(K))$ for every classical knot $K$ with tunnel number 1.
Given a circle-valued Morse function of a closed oriented manifold, we prove that Reidemeister torsion over a non-commutative formal Laurent polynomial ring equals the product of a certain non-commutative Lefschetz-type zeta function and the algebraic torsion of the Novikov complex over the ring. This paper gives a generalization of the result of Hutchings and Lee on abelian coefficients to the case of skew fields. As a consequence we obtain a Morse theoretical and dynamical description of the higher-order Reidemeister torsion.
Developed from geometric arguments for bounding the Morse-Novikov number of a link in terms of its tunnel number, we obtain upper and lower bounds on the handle number of a Heegaard splitting of a sutured manifold $(M,γ)$ in terms of the handle number of its decompositions along a surface representing a given 2nd homology class. Fixing the sutured structure $(M,γ)$, this leads us to develop the handle number function $h \colon H_2(M,\partial M;\mathbb{R}) \to \mathbb{N}$ which is bounded, constant on rays from the origin, and locally maximal. Furthermore, for an integral class $ξ$, $h(ξ)=0$ if…
Given a $1$-cohomology class $u$ on a closed manifold $M$, we define a Novikov fundamental group associated to $u$, generalizing the usual fundamental group in the same spirit as Novikov homology generalizes Morse homology to the case of non exact $1$-forms. As an application, lower bounds for the minimal number of index $1$ and $2$ critical points of Morse closed $1$-forms are obtained, that are different in nature from those derived from the Novikov homology.
We consider a compact manifold of dimension greater than 2 and a differential form of degree one which is closed but non-exact. This form, viewed as a multi-valued function has a gradient vector field with respect to any Riemannian metric. After S. Novikov's work and a complement by J.-C. Sikorav, under some genericity assumptions these data yield a complex, called today the Morse-Novikov complex. Due to the non-exactness of the form, its gradient has a non-trivial dynamics in contrary to gradients of functions. In particular, it is possible that the gradient has a homoclinic orbit. The one-fo…
Let $ω$ be a Morse form on a manifold $M$. Let $p:\hat M\to M$ be a regular covering with structure group $G$, such that $p^*([ω])=0$. Let $ξ:G\to\mathbf{R}$ be the corresponding period homomorphism. Denote by ${\hat Λ}_ξ$ the Novikov completion of the group ring $\mathbf{Z} G$. Choose a transverse $ω$-gradient $v$. Counting the flow lines of $v$ one defines the Novikov complex $\mathcal{N}_*$ freely generated over ${\hat Λ}_ξ$ by the set of zeroes of $ω$. In this paper we introduce a refinement of this construction. We define a subring $\hatΛ_Γ$ of ${\hat Λ}_ξ$ and show that the Novikov compl…
Let N be a closed oriented k-dimensional submanifold of the (k+2)-dimensional sphere; denote its complement by C(N). Denote by x the 1-dimensional cohomology class in C(N), dual to N. The Morse-Novikov number of C(N) is by definition the minimal possible number of critical points of a regular Morse map f from C(N) to a circle, such that f belongs to x. In the first part of this paper we study the case when N is the twist frame spun knot associated to an m-knot K. We obtain a formula which relates the Morse-Novikov numbers of N and K and generalizes the classical results of D. Roseman and E.C. …
A smooth embedding of a closed $3$-manifold $M$ in $\mathbb{R}^4$ may generically be composed with projection to the fourth coordinate to determine a Morse function on $M$ and hence a Heegaard splitting $M=X\cup_ΣY$. However, starting with a Heegaard splitting, we find an obstruction coming from the geometry of the curve complex $C(Σ)$ to realizing a corresponding embedding $M\hookrightarrow \mathbb{R}^4$.
After surveying classical notions of PL topology of the Seventies, we clarify the relation between Morse theory and its discretization by Forman. We show that PL handles theory and discrete Morse theory are equivalent, in the sense that every discrete Morse vector on some PL triangulation is also a PL handle vector, and conversely, every PL handle vector is also a discrete Morse vector on some PL triangulation. It follows that in dimension up to 7, every discrete Morse vector on some PL triangulation is also a smooth Morse vector; the vice versa is true in all dimensions. This revises and impr…
In this paper, by putting a separating incompressible surface in a 3-manifold into Morse position relative to the height function associated to a strongly irreducible Heegaard splitting, we show that an incompressible subsurface of the Heegaard splitting can be found, by decomposing the 3-manifold along the separating surface. Further if the Heegaard surface is of Hempel distance at least 4, then there is a pair of such subsurfaces on both sides of the given separating surface. This gives a particularly simple hierarchy for the 3-manifold.
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.
Heegaard splittings and Heegaard diagrams of a closed 3-manifold M are translated into the language of Morse functions with Morse-Smale pseudo-gradients defined on M. We make use in a very simple setting of techniques which Jean Cerf developed for solving a famous pseudo-isotopy problem. In passing, we show how to cancel the supernumerary local extrema in a generic path of functions when dim M>2. The main tool that we introduce is an elementary swallow tail lemma which could be useful elsewhere.
These notes summarize and expand on a mini-course given at CIRM in February 2018 as part of Winter Braids VIII. We somewhat obsessively develop the slogan `Trisections are to 4-manifolds as Heegaard splittings are to 3-manifolds', focusing on and clarifying the distinction between three ways of thinking of things: the basic definitions as decompositions of manifolds, the Morse theoretic perspective and descriptions in terms of diagrams. We also lay out these themes in two important relative settings: 4-manifolds with boundary and 4-manifolds with embedded 2-dimensional submanifolds.
We prove a version of the Arnol'd conjecture for Lagrangian submanifolds of conformal symplectic manifolds: a Lagrangian $L$ which has non-zero Morse-Novikov homology for the restriction of the Lee form $β$ cannot be disjoined from itself by a $C^0$-small Hamiltonian isotopy. Furthermore for generic such isotopies the number of intersection points equals at least the sum of the free Betti numbers of the Morse-Novikov homology of $β$. We also give a short exposition of conformal symplectic geometry, aimed at readers who are familiar with (standard) symplectic or contact geometry.
The paper is devoted to finding conditions to the existence of a self-indexing energy function for Morse-Smale diffeomorphisms on a 3-manifold. These conditions involve how the stable and unstable manifolds of saddle points are embedded in the ambient manifold. We also show that the existence of a self-indexing energy function is equivalent to the existence of a Heegaard splitting of a special type with respect to the considered diffeomorphism.
We present new explicit decompositions of manifolds via so-called fold maps into lower dimensional spaces. Fold maps form a nice class of so-called generic maps, generalizing Morse functions naturally. To understand the topologies and the differentibale structures of manifolds globally, decomposing manifolds are important and this presents interesting topics and problems on geometry of manifolds. The notion of a Heegaard splitting of a $3$-dimensional closed and connected manifold presents a pioneering study. A $3$-dimensional closed and connected manifold is always decomposed into two copies …
We describe all possible topological structures of Morse-Smale flows without closed trajectories on a three-dimensional sphere, which have two sources, two sinks, one saddle of Morse index 1, one saddle of Morse index 2, and no more than 10 saddle connections. To classify such flows, a generalized Heegaard diagram or Pr-diagram is used, which in this case consists of a sphere and two closed curves, the intersection points of which correspond to saddle connections. We have found all possible, up to homeomorphism, ways to embed two circles in a 2-sphere with no more than 10 points of transversal…
We show that any smooth, closed, oriented, connected 4--manifold can be trisected into three copies of $\natural^k (S^1 \times B^3)$, intersecting pairwise in 3--dimensional handlebodies, with triple intersection a closed 2--dimensional surface. Such a trisection is unique up to a natural stabilization operation. This is analogous to the existence, and uniqueness up to stabilization, of Heegaard splittings of 3--manifolds. A trisection of a 4--manifold $X$ arises from a Morse 2--function $G:X \to B^2$ and the obvious trisection of $B^2$, in much the same way that a Heegaard splitting of a 3--m…
The Theta invariant is the simplest 3-manifold invariant defined with configuration space integrals. It is actually an invariant of rational homology spheres equipped with a combing over the complement of a point. It can be computed as the algebraic intersection of three propagators associated to a given combing X in the 2-point configuration space of a Q-sphere M. These propagators represent the linking form of M so that $Θ(M,X)$ can be thought of as the cube of the linking form of M with respect to the combing X. The Theta invariant is the sum of $6 λ(M)$ and $p\_1(X)/4$, where $λ$ denotes t…
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 offer a new proof that two closed oriented 4-manifolds are cobordant if their signatures agree, in the spirit of Lickorish's proof that all closed oriented 3-manifolds bound 4-manifolds. Where Lickorish uses Heegaard splittings we use trisections. In fact we begin with a subtle recasting of Lickorish's argument: Instead of factoring the gluing map for a Heegaard splitting as a product of Dehn twists, we encode each handlebody in a Heegaard splitting in terms of a Morse function on the surface and build the 4-manifold from a generic homotopy between the two functions. This extends up a dimen…
