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.
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.
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$.
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.
It is known that $C^r$ Morse-Smale vector fields form an open dense subset in the space of vector fields on orientable closed surfaces and are structurally stable for any $r \in \mathbb{Z}_{>0}$. In particular, $C^r$ Morse vector fields (i.e. Morse-Smale vector fields without limit cycles) form an open dense subset in the space of $C^r$ gradient vector fields on orientable closed surfaces and are structurally stable. Therefore generic time evaluations of gradient flows on orientable closed surfaces (e.g. solutions of differential equations) are described by alternating sequences of Morse flows…
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.
Dilation surfaces are generalizations of translation surfaces where the transition maps of the atlas are translations and homotheties with a positive ratio. In contrast with translation surfaces, the directional flow on dilation surfaces may contain trajectories accumulating on a limit cycle. Such a limit cycle is called hyperbolic because it induces a nontrivial homothety. It has been conjectured that a dilation surface with no actual hyperbolic closed geodesic is in fact a translation surface. Assuming that a dilation surface contains a horizon saddle connection, we prove that the directions…
In the present paper we consider preserving orientation Morse-Smale diffeomorphisms on surfaces. Using the methods of factorization and linearizing neighborhoods we prove that such diffeomorphisms have a finite number of orientable heteroclinic orbits.
We prove that for every three-dimensional vector field, either it can be accumulated by Morse-Smale ones, or it can be accumulated by ones with a transverse homoclinic intersection of some hyperbolic periodic orbit in the $C^1$ topology.
In this paper, we first develope the concept of Lyapunov graph to weighted Lyapunov graph (abbreviated as WLG) for nonsingular Morse-Smale flows (abbreviated as NMS flows) on $S^3$. WLG is quite sensitive to NMS flows on $S^3$. For instance, WLG detect the indexed links of NMS flows. Then we use WLG and some other tools to describe nonsingular Morse-Smale flows without heteroclinic trajectories connecting saddle orbits (abbreviated as depth $0$ NMS flows). It mainly contains the following several directions: \begin{enumerate} \item we use WLG to list depth $0$ NMS flows on $S^3$; \item with th…
We describe the topological structure of closed manifolds of dimension no less than four which admit Morse-Smale diffeomorphisms such that its non-wandering set contains any number of sink periodic points, and any number of source periodic points, and few saddle periodic points.
We consider general Morse-Smale diffeomorphisms on a closed orientable two-dimentional surface. In this paper it is proved that the complete topological invariant of Morse-Smale diffeomorphisms is finite, the algorithm of the construction of the complete topological invariant in explicit form is given and necessary and sufficient conditions of topological conjugacy of Morse-Smale diffeomorphisms is obtained.
We give a new proof of the Morse Homology Theorem by constructing a chain complex associated to a Morse-Bott-Smale function that reduces to the Morse-Smale-Witten chain complex when the function is Morse-Smale and to the chain complex of smooth singular $N$-cube chains when the function is constant. We show that the homology of the chain complex is independent of the Morse-Bott-Smale function by using compactified moduli spaces of time dependent gradient flow lines to prove a Floer-type continuation theorem.
J.~Palis found necessary conditions for a Morse-Smale diffeomorphism on a closed $n$-dimensional manifold $M^n$ to embed into a topological flow and proved that these conditions are also sufficient for $n=2$. For the case $n=3$ a possibility of wild embedding of closures of separatrices of saddles is an additional obstacle for Morse-Smale cascades to embed into topological flows. In this paper we show that there are no such obstructions for Morse-Smale diffeomorphisms without heteroclinic intersection given on the sphere $S^n, \,n\geq 4$, and Palis's conditions again are sufficient for such di…
We construct a topological invariant for a Morse-Smale flow on a 3-manifold and prove that the flows are topologically equivalent iff their invariants are same.
A classical problem in dynamical systems is to measure the complexity of a map in terms of their orbits. One of the main tools we have to achieve this goal is entropy. However, many interesting families of dynamical systems have every element with zero-entropy. One of said families are the Morse-Smale diffeomorphisms. The first author and E. Pujals introduced the concept of generalized entropy that extends the classical notion of entropy. In this work, we compute the generalized entropy of Morse-Smale diffeomorphisms on surfaces.
We prove that a Morse-Smale gradient-like flow on a closed manifold has a "system of compatible invariant stable foliations" that is analogous to the object introduced by Palis and Smale in their proof of the structural stability of Morse-Smale diffeomorphisms and flows, but with finer regularity and geometric properties. We show how these invariant foliations can be used in order to give a self-contained proof of the well-known but quite delicate theorem stating that the unstable manifolds of a Morse-Smale gradient-like flow on a closed manifold $M$ are the open cells of a $CW$-decomposition …
On a smooth, compact and oriented manifold without boundary, we give a complete description of the correlation function of a Morse-Smale gradient flow satisfying a certain nonresonance assumption. This is done by analyzing precisely the spectrum of the generator of such a flow acting on certain anisotropic spaces of currents. In particular, we prove that this dynamical spectrum is given by linear combinations with integer coefficients of the Lyapunov exponents at the critical points of the Morse function. Via this spectral analysis and in analogy with Hodge-de Rham theory, we give an interpret…
We study the set of periods of the Morse--Smale diffeomorphisms on the $n$-dimensional sphere $\mathbb{S}^n$, on products of two spheres of arbitrary dimension $\mathbb{S}^m \times \mathbb{S}^n$ with $m \neq n$, on the $n$-dimensional complex projective space $\mathbb{C}\text{\textbf{P}}^n}$ and on the $n$-dimensional quaternion projective space $\mathbb{H}\text{\textbf{P}}^n}$. We classify the minimal sets of Lefschetz periods for such Morse--Smale diffeomorphisms. This characterization is done using the induced maps on the homology. The main tool used is the Lefschetz zeta function.
In this paper we build Non-singular Morse-Smale flows on S^3 with unknotted and unlinked saddle orbits by identifying fat round handles along their boundaries. This way of building the flows enables to get their phase portraits. We also show that the presence of heteroclinic trajectories imposes an order in the round handle decomposition of these flows; this order is total for NMS flows composed of one repulsive, one attractive and n unknotted saddle orbits, for n >1.
We study a topological structure of a closed $n$-manifold $M^n$ ($n\geq 3$) which admits a Morse-Smale diffeomorphism such that codimension one separatrices of saddles periodic points have no heteroclinic intersections different from heteroclinic points. Also we consider gradient like flow on $M^n$ such that codimension one separatices of saddle singularities have no intersection at all. We show that $M^n$ is either an $n$-sphere $S^n$, or the connected sum of a finite number of copies of $S^{n-1}\otimes S^1$ and a finite number of special manifolds $N^n_i$ admitting polar Morse-Smale systems.…
Motivated by the study in Morse theory and Smale's work in dynamics, the following questions are studied and answered: (1) When does a 3-manifold admit an automorphism having a knotted Smale solenoid as an attractor? (2) When does a 3-manifold admit an automorphism whose non-wandering set consists of Smale solenoids? The result presents some intrinsic symmetries for a class of 3-manifolds.
Let $f:M \rightarrow \mathbb{R}$ be a Morse-Bott function on a finite dimensional closed smooth manifold $M$. Choosing an appropriate Riemannian metric on $M$ and Morse-Smale functions $f_j:C_j \rightarrow \mathbb{R}$ on the critical submanifolds $C_j$, one can construct a Morse chain complex whose boundary operator is defined by counting cascades \cite{FraTheA}. Similar data, which also includes a parameter $ε> 0$ that scales the Morse-Smale functions $f_j$, can be used to define an explicit perturbation of the Morse-Bott function $f$ to a Morse-Smale function $h_ε:M \rightarrow \mathbb{R}$ \…
Topological classification of even the simplest Morse-Smale diffeomorphisms on 3-manifolds does not fit into the concept of singling out a skeleton consisting of stable and unstable manifolds of periodic orbits. The reason for this lies primarily in the possible "wild" behaviour of separatrices of saddle points. Another difference between Morse-Smale diffeomorphisms in dimension 3 from their surface analogues lies in the variety of heteroclinic intersections: a connected component of such an intersection may be not only a point as in the two-dimensional case, but also a curve, compact or non-c…
We consider a class $G(S^n)$ of orientation preserving Morse-Smale diffeomorphisms of the sphere $S^{n}$ of dimension $n>3$ in assumption that invariant manifolds of different saddle periodic points have no intersection. We put in a correspondence for every diffeomorphism $f\in G(S^n)$ a colored graph $Γ_f$ enriched by an automorphism $P_f$. Then we define the notion of isomorphism between two colored graphs and prove that two diffeomorphisms $f, f'\in G(S^n)$ are topologically conjugated iff the graphs $Γ_f$, $Γ_f'$ are isomorphic. Moreover we establish the existence of a linear-time algorith…
In this paper we give a complete topological classification of orientation preserving Morse-Smale diffeomorphisms on orientable closed surfaces. For MS diffeomorphisms with relatively simple behaviour it was known that such a classification can be given through a directed graph, a three-colour directed graph or by a certain topological object, called a scheme. Here we will assign to any MS surface diffeomorphism a finite amount of data which completely determines its topological conjugacy class. Moreover, we show that associated to any abstract version of this data, there exists a unique conju…
Lens spaces are the only 3-manifolds that admit gradient-like flows with four fixed points. This is an immediate corollary of Morse inequality and of the Morse function with four critical points existence. A similar question for gradient-like diffeomorphisms is open. Solution can be approached by describing a complete topological conjugacy invariant of the class of considered diffeomorphisms and constructing of representative diffeomorphism for every conjugacy class by the abstract invariant. Ch. Bonnati and V. Z. Grines proved that the topological conjugacy class of Morse-Smale flows with uni…
The classical approach to the study of dynamical systems consists in representing the dynamics of the system in the form of a "source-sink", that means identifying an attractor-repeller pair, which are attractor-repellent sets for all other trajectories of the system. If there is a way to choose this pair so that the space orbits in its complement (the characteristic space of orbits) is connected, this creates prerequisites for finding complete topological invariants of the dynamical system. It is known that such a pair always exists for arbitrary Morse-Smale diffeomorphisms given on any manif…
We introduce a Milnor metric on the determinant line of the cohomology of the underlying closed manifold with coefficients in a flat vector bundle, by means of interactions between the fixed points and the closed orbits of a Morse-Smale flow. This allows us to generalise the notion of the absolute value at zero point of the Ruelle dynamical zeta function, even in the case where this value is not well defined in the classical sense. We give a formula relating the Milnor metric and the Ray-Singer metric. An essential ingredient of our proof is Bismut-Zhang's Theorem.
On a smooth compact Riemannian manifold without boundary, we construct a finite dimensional cohomological complex of currents that are invariant by an Axiom A flow verifying Smale's transversality assumptions. The cohomology of that complex is isomorphic to the De Rham cohomology via certain spectral projectors. This construction is achieved by defining anisotropic Sobolev spaces adapted to the global dynamics of Axiom A flows. In the particular case of Morse-Smale gradient flows, this complex coincides with the classical Morse complex.
Let $f : M \rightarrow M$ be a Morse-Smale diffeomorphism defined on a compact and connected manifold without boundary. Let $C(M)$ denote the hyperspace of all subcontinua of M endowed with the Hausdorff metric and $C(f) : C(M) \rightarrow C(M)$ denote the induced homeomorphism of $f$. We show in this paper that if $M$ is the unit circle $S^1$ then the induced map $C(f)$ has not the shadowing property. Also we show that the topological entropy of $C(f)$ has only two possible values: $0$ or $\infty$. In particular, we show that the entropy of $C(f)$ is $0$ when $M$ is the unit circle $S^1$ and …
We generalise the semi-Riemannian Morse index theorem to elliptic systems of partial differential equations on star-shaped domains. Moreover, we apply our theorem to bifurcation from a branch of trivial solutions of semilinear systems, where the bifurcation parameter is introduced by shrinking the domain to a point. This extends recent results of the authors for scalar equations.
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.
In this paper, we show that, for scalar reaction-diffusion equations $u_t=u_{xx}+f(x,u,u_x)$ on the circle $S^1$, the Morse-Smale property is generic with respect to the non-linearity $f$. In \cite{CR}, Czaja and Rocha have proved that any connecting orbit, which connects two hyperbolic periodic orbits, is transverse and that there does not exist any homoclinic orbit, connecting a hyperbolic periodic orbit to itself. In \cite{JR}, we have shown that, generically with respect to the non-linearity $f$, all the equilibria and periodic orbits are hyperbolic. Here we complete these results by showi…
For Morse-Smale pairs on a smooth, closed manifold the Morse-Smale-Witten chain complex can be defined. The associated Morse homology is isomorphic to the singular homology of the manifold and yields the classical Morse relations for Morse functions. A similar approach can be used to define homological invariants for isolated invariant sets of flows on a smooth manifold, which gives an analogue of the Conley index and the Morse-Conley relations. The approach will be referred to as Morse-Conley-Floer homology.
In the present paper the exhaustive topological classification of nonsingular Morse-Smale flows of $n$-manifolds with two limit cycles is presented. Hyperbolicity of periodic orbits implies that among them one is attracting and another is repelling. Due to Poincare-Hopf theorem Euler characteristic of closed manifold $M^n$ which admits the considered flows is equal to zero. Only torus and Klein bottle can be ambient manifolds for such flows in case of $n=2$. Authors established that there exist exactly two classes of topological equivalence of such flows of torus and three of the Klein bottle.…
The shape of homogeneous, generic, smooth convex bodies as described by the Euclidean distance with nondegenerate critical points, measured from the center of mass represents a rather restricted class M_C of Morse-Smale functions on S^2. Here we show that even M_C exhibits the complexity known for general Morse-Smale functions on S^2 by exhausting all combinatorial possibilities: every 2-colored quadrangulation of the sphere is isomorphic to a suitably represented Morse-Smale complex associated with a function in M_C (and vice versa). We prove our claim by an inductive algorithm, starting from…
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…
The ambient framed bordism class of the connecting manifold of two consecutive critical points of a Morse-Smale function is estimated by means of a certain Hopf invariant. Applications include new examples of non-smoothable Poincare duality spaces as well as an extension of the Morse complex.
We analyze the chain recurrent set of skew product semiflows obtained from nonautonomous differential equations -- ordinary differential equations or semilinear parabolic differential equations. For many gradient-like dynamical systems, Morse-Smale dynamical systems e.g., the chain recurrent set contains only isolated equilibria. The structure in the asymptotically autonomous setting is richer but still close to to the structure of a Morse-Smale dynamical system. The main tool used in this paper is a nonautonomous flavour of Conley index theory developed by the author. We will see that for a c…
We study the structure of the smooth manifold which is defined as the intersection of a stable manifold and an unstable manifold for an invariant Morse-Smale function.
Quasi-invariant measures for non-discrete groups of diffeomorphisms containing a Morse-Smale dynamics are studied. The assumption concerning the presence of a Morse-Smale dynamics allows us to extend to higher dimensions a number of recently established results for non-discrete groups acting on the circle. These results are also applied to show that, for many groups as above, every continuous orbit equivalence must coincide almost everywhere with a diffeomorphism of the corresponding manifold.
In this paper, we study the number of ergodic measures of maximal entropy for partially hyperbolic diffeomorphisms defined on $3-$torus with compact center leaves. Assuming the existence of a periodic leaf with Morse-Smale dynamics we prove a sharp upper bound for the number of maximal measures in terms of the number of sources and sinks of Morse-Smale dynamics. A well-known class of examples for which our results apply are the so-called Kan-type diffeomorphisms admitting physical measures with intermingled basins.
Vector field design on surfaces was originally motivated by applications in graphics such as texture synthesis and rendering. In this paper, we consider the idea of vector field design with a new motivation from computational topology. We are interested in designing and visualizing vector fields to aid the study of Morse functions, Morse vector fields, and Morse-Smale complexes. To achieve such a goal, we present MVF Designer, a new interactive design system that provides fine-grained control over vector field geometry, enables the editing of vector field topology, and supports a design proces…
Consider a knot $K$ in $S^3$ with uniformly distributed electric charge. Whilst solutions to the Laplace equation in terms of Dirichlet integrals are readily available, it is still of theoretical and physical interest to understand the qualitative behavior of the potential, particularly with respect to critical points and equipotential surfaces. In this paper, we demonstrate how techniques from geometric topology can yield novel insights from the perspective of electrostatics. Specifically, we show that when the knot is sufficiently close to a planar projection, we prove a lower bound on the s…
