In this paper we define and study the moduli space of metric-graph-flows in a manifold M.
This is a space of smooth maps from a finite graph to M, which, when restricted to each edge, is a gradient flow line of a smooth (and generically Morse) function on M. Using the model of Gromov-Witten theory, with this moduli space replacing the space of stable holomorphic curves in a symplectic manifold, we obtain invariants, which are (co)homology operations in M. The invariants obtained in this setting are classical cohomology operations such as cup product, Steenrod squares, and Stiefel-Whitney classes. We show that these operations satisfy invariance and gluing properties that fit together to give the structure of a topological quantum field theory. By considering equivariant operations with respect to the action of the automorphism group of the graph, the field theory has more structure. It is analogous to a homological conformal field theory. In particular we show that classical relations such as the Adem relations and Cartan formulae are consequences of these field theoretic properties.
These operations are defined and studied using two different methods. First, we use algebraic topological techniques to define appropriate virtual fundamental classes of these moduli spaces. This allows us to define the operations via the corresponding intersection numbers of the moduli space. Secondly, we use geometric and analytic techniques to study the smoothness and compactness properties of these moduli spaces. This will allow us to define these operations on the level of Morse-Smale chain complexes, by appropriately counting metric-graph-flows with particular boundary conditions.
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…
We present a set of notes on Morse Homology, which grew out of lectures the first named autor gave at Ludwig-Maximilian University in Munich, Seoul National University, and the University of Augsburg. Although we do not discuss Floer homology in these notes, they are written having Floer homology in mind. Therefore, we use concepts which can be generalized to the semi-infinite dimensional case. In the finite dimensional case, they might not always be the most efficient ones but on the other hand, the finite dimensional case has the advantage that these concepts can be visualized much more easi…
By studying spaces of flow graphs in a closed oriented manifold, we construct operations on its cohomology, parametrized by the homology of the moduli spaces of compact Riemann surfaces with boundary marked points. We show that the operations satisfy the gluing axiom of an open homological conformal field theory. This complements previous constructions due to R. Cohen et al., K. Costello and M. Kontsevich and is also the Morse theoretic counterpart to a conjectural construction of operations on the Lagrangian Floer homology of the zero section of a cotangent bundle, obtained by studying uncomp…
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…
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…
We study the topology of moduli spaces of closed linkages in \R^d depending on a length vector \ell\in \R^n. In particular, we use equivariant Morse theory to obtain information on the homology groups of these spaces, which works best for odd d. In the case d=5 we calculate the Poincare polynomial in terms of combinatorial information encoded in the length vector.
Morse theory and moduli spaces of simple polylines and polygons
Beijing International Center for Mathematical Research, Peking University（北京大学北京国际数学研究中心）；School of Mathematics, Hunan University（湖南大学数学学院）；School of Mathematical Sciences, Shenzhen University（深圳大学数学科学学院）
In various situations in Floer theory, one extracts homological invariants from "Morse-Bott" data in which the "critical set" is a union of manifolds, and the moduli spaces of "flow lines" have evaluation maps taking values in the critical set. This requires a mix of analytic arguments (establishing properties of the moduli spaces and evaluation maps) and formal arguments (defining or computing invariants from the analytic data). The goal of this paper is to isolate the formal arguments, in the case when the critical set is a union of circles. Namely, we state axioms for moduli spaces and eval…
This article is devoted to the variational study of two functions defined over some Teichmueller spaces of hyperbolic surfaces. One is the systole of geodesic loops based at some fixed point, and the other one is the systole of arcs.\par For each of them we determine all the critical points. It appears that the systole of arcs is a topological Morse function, whereas the systole of geodesic loops have some degenerate critical points. However, these degenerate critical points are in some sense the obvious one, and they do not interfere in the variational study of the function.\par At a nondegen…
We prove several combinatorial results on path algebras over discrete structures related to directed graphs. These results are motivated by Morse theory on a manifold with boundary and, more generally, by Floer theory on a configuration space with boundary. Their purpose is to organize cobordism relationships among moduli spaces in order to define new algebraic invariants. We discuss applications to the Morse and Fukaya categories, and to work with John Baldwin on a bordered monopole Floer theory.
In these lecture notes we discuss a body of work in which Morse theory is used to construct various homology and cohomology operations. In the classical setting of algebraic topology this is done by constructing a moduli space of graph flows, using homotopy theoretic methods to construct a virtual fundamental class, and evaluating cohomology classes on this fundamental class. By using similar constructions based on "fat" or ribbon graphs, we describe how to construct string topology operations on the loop space of a manifold, using Morse theoretic techniques. Finally, we discuss how to relate …
We study the coarse geometry of the moduli space of dilation tori with two singularities and the dynamical properties of the action of the Teichmuller flow on this moduli space. This leads to a proof that the vertical foliation of a dilation torus is almost always Morse-Smale. As a corollary, we get that the generic piecewise affine circle homeomorphism with two break points -with respect to the Lebesgue measure- is Morse-Smale.
Given a smooth closed manifold M, the Morse-Witten complex associated to a Morse function f and a Riemannian metric g on M consists of chain groups generated by the critical points of f and a boundary operator counting isolated flow lines of the negative gradient flow. Its homology reproduces singular homology of M. The geometric approach presented here was developed in [We-93] and is based on tools from hyperbolic dynamical systems. For instance, we apply the Grobman-Hartman theorem and the Lambda-Lemma (Inclination Lemma) to analyze compactness and define gluing for the moduli space of flow …
We study the general properties of the moduli spaces of SO(3) vortices over orbifold Riemann surfaces and use these to characterize the solutions of the SO(3) monopole equations on Seifert manifolds following in the footsteps of Mrowka, Ozsváth and Yu. We also study the solutions to the SO(3) monopole equations on S1 x (Riemann Surface) in order to motivate the construction of a version of monopole Floer homology, which we call framed monopole Floer homology, in analogy with the construction given by Kronheimer and Mrowka for the case of instanton Floer homology. Finally, the SO(3) vortex modu…
In this paper, we study a class of discrete Morse functions, coming from Discrete Morse Theory, that are equivalent to a class of simplicial stacks, coming from Mathematical Morphology. We show that, as in Discrete Morse Theory, we can see the gradient vector field of a simplicial stack (seen as a discrete Morse function) as the only relevant information we should consider. Last, but not the least, we also show that the Minimum Spanning Forest of the dual graph of a simplicial stack is induced by the gradient vector field of the initial function. This result allows computing a watershed-cut fr…
In this paper we construct the space of smooth 4-manifolds and find the homotopy model for the connected components of the complement to the discriminant. The discriminant of this space is a singular hypersurface and its generic points correspond to manifolds with isolated Morse singularities. These spaces can be considered as a natural base for the recent theories studying invariants for families. We show that the theory of Bauer and Furuta can be raised to parametrized families on our configurational space and their invariant is the step-function on chambers. We also introduce the definition…
We develop techniques for computing the integer valued SU(3) Casson invariant. Our method involves resolving the singularities in the flat moduli space using a twisting perturbation and analyzing its effect on the topology of the perturbed flat moduli space. These techniques, together with Bott-Morse theory and the splitting principle for spectral flow, are applied to calculate the invariant for all Brieskorn homology spheres.
The rational cohomology ring of A_3, the moduli space of abelian 3-folds is computed. This is isomorphic to the the rational cohomology ring of the group Sp_3(Z) of 6x6 integral symplectic matrices. The main ingredients in the computation are (1) Looijenga's computation of the rational cohomology ring of M_3, the moduli space of smooth projective curves of genus 3, and (2) the stratified Morse theory of Goresky and MacPherson, which we use to compute the homology of the jacobian locus (in the rank 3 Siegel upper half plane), or equivalently of the extended Torelli group in genus 3. In the revi…
The complete invariant for gradient like Morse-Smale dynamical systems (vector fields and diffeomorphisms) on closed 4-manifolds are constructed. It is same as Kirby diagram in a case of polar vector field without fixed points of index 3.
Let G be a compact Lie group and A(G) its Burnside Ring. For a compact smooth n-dimensional G-manifold X equipped with a generic G-invariant vector field v, we prove an equivariant analog of the Morse formula Ind^G(v) = \sum_{k = 0}^{n} (-1)^k χ^G(\d_k^+X) which takes its values in A(G). Here Ind^G(v) denotes the equivariant index of the field v, {\d_k^+X\} the v-induced Morse stratification (see [M]) of the boundary \d X, and χ^G(\d_k^+X) the class of the (n - k)-manifold \d_k^+X in $A(G)$. We examine some applications of this formula to the equivariant real algebraic fields v in compact doma…
We address the basic question in discrete Morse theory of combining discrete gradient fields that are partially defined on subsets of the given complex. This is a well-posed question when the discrete gradient field $V$ is generated using a fixed algorithm which has a local nature. One example is ProcessLowerStars, a widely used algorithm for computing persistent homology associated to a grey-scale image in 2D or 3D. While the algorithm for $V$ may be inherently local, being computed within stars of vertices and so embarrassingly parallelizable, in practical use it is natural to want to distri…
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$.
Our objective is to develop a stratified Morse theory with tangential conditions. We define a continuous strata-wise smooth Morse function on an abstract stratified space by using control conditions and radiality assumptions on the gradient vector field. For critical points of a Morse function one can show that the local unstable set is a manifold and the local stable set is itself an abstract stratified space. We also give a normal form for the gradient dynamics in the neighborhood of critical points. For a stratified Morse pair which satisfies the generic Morse-Smale condition we can build t…
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.
In this paper, we study Vanishing Mean Oscillation vector fields on a compact manifold with boundary. Inspired by the work of Brezis and Niremberg, we construct a topological invariant - the index - for such fields, and establish the analogue of Morse's formula. As a consequence, we characterize the set of boundary data which can be extended to nowhere vanishing VMO vector fields. Finally, we show briefly how these ideas can be applied to (unoriented) line fields with VMO regularity, thus providing a reasonable framework for modelling a surface coated with a thin film of nematic liquid crystal…
