1. Introduction and main results
Research Contribution
Received: 10 March 2024; Accepted: 15 October 2024.
In the present paper we consider NMS-flows \(f^t\), namely non-singular (without fixed points) Morse-Smale flows which are defined on orientable-manifold \(M^4\). Non-wandering set of such flow consist of a finite number of hyperbolic periodic orbits. Asimov proved [1] that ambient manifold of such flow is a union of round handles. However, if the number of orbits is small, topology of the ambient manifold can be specified. For instance, in dimension \(3\) only lens spaces admit NMS-flows with two periodic orbits. Moreover, it was shown in [12] that each lens space (closed orientable manifold obtained by gluing two solid tori along boundaries) admit exactly two classes of topological equivalence except for 3-sphere \(\mathbb S^3\) and projective space \(\mathbb R\text {P}^3\) which both admit the unique equivalence class. Moreover only two \(4\)-manifolds \(\mathbb S^3\times \mathbb S^1,\ \mathbb S^3\tilde \times \mathbb S^1\) admit such flows and each admits exactly two topological equivalence classes. Campos et al. [5] argued that lens spaces are the only prime (a manifold that cannot be expressed as a non-trivial connected sum of two manifolds) 3-manifolds that are ambient for NMS-flow with unique saddle periodic orbit, but this is not so. There exists infinite series of mapping tori non-homeomorphic to lens spaces which admit such flows [17] . Moreover, necessary and sufficient conditions for topological equivalence of such flows were obtained in [13] . Finally, any 3-manifold admitting such flows is a lens space or connected sum A connected sum of two \(n\)-dimensional manifolds is a manifold formed by deleting a ball inside each manifold and gluing together the resulting boundary spheres.× 1 of two lens spaces or a small Seifert fibered A Seifert fibered space is a closed orientable 3-manifold that can be ecomposed into a disjoint union of circles ( fibers ) such that each fiber has a neigbourhood that is fiber-wise homeomorphic to standart fibered torus.× 2 3-manifold [14] . The invariants constructed in these works are different from known ones, for example scheme of the flow constructed by Umanskii [19] for Morse-Smale flows with finite number of singular trajectories (closed orbits, fixed points and heteroclinic orbits). In the present paper we establish the topology of orientable 4-manifolds that are ambient for NMS-flows with exactly one saddle orbit assuming that it is twisted (its invariant manifolds are non-orientable). Remarkably, all such flows are suspensions over Morse-Smale diffeomorphisms on 3-manifolds, which are classified in [3] . 3-diffeomorphisms are known to posess wild separatrices [10] , which complicates their classification. Pixton constructed an example of 3-diffeomorphism with one saddle orbit having wild unstable separatrice. Bonatti and Grines classified the class of sphere diffeomorphisms that have non-wandering set consisting of four fixed points: two sinks, a source, and a saddle [2] . They showed that the Pixton class contains a countable set of pairwise topologically non-conjugate diffeomorphisms. As was shown in [15] suspensions over Pixton diffeomorphisms also have wild unstable separatrices and such class contains a countable family of pairwise non-equivalent flows. However, in this case the saddle orbit of the flow is non-twisted. Surprisingly, there are no flows with unique saddle orbit that is twisted and having wild separatrix. Besides, the number of equivalence classes of such flows appear to equal \(8\). Let us proceed to the formulation of the results. Let \(M^4\) be connected closed orientable 4-manifold. Flow \(f^t\colon M^4\to M^4\) is called Morse-Smale flow if (a) its chain-recurrent set Point \(x\in M\) is called chain-recurrent for the flow \(f^t\) if for any \(T,\ \varepsilon > 0\) there exist points \(x_1,\, \dots x_n\in M\) and real numbers \(t_0,\, \dots t_n > T\) such that \(x = x_0 = x_n\) and \(d(f^{t_i}(x_i),\, x_{i+1}) < \varepsilon \), where \(d\) is a metric on \(M\) × 3 consist of finite number of periodic orbits and fixed points and (b) the unstable manifold of each chain-recurrent set component has transversal intersection with the stable manifold of any other chain-recurrent set component. Let \(f^t\) be NMS-flow (Morse-Smale flow without fixed points) and \(\mathcal O\) be its periodic orbit. There exists tubular neighborhood \(V_{\mathcal O}\) homeomorphic to \(\mathbb D^3\times \mathbb S^1\) such that the flow is topologically equivalent to the suspension over a linear diffeomorphism of the plane defined by the matrix which determinant is positive and eigenvalues are different from \(\pm 1\) (see. Proposition 1 ). If absolute values of both eigenvalues are greater (less) than one, the corresponding periodic orbit is attracting (repelling) , otherwise it is saddle . The saddle orbit is called twisted if both eigenvalues are negative and non-twisted otherwise. Consider the class \(G^-_3(M^4)\) of NMS-flows \(f^t\colon M^4\to M^4\) with unique saddle orbit which is twisted. Since the ambient manifold \(M^4\) is the union of stable (unstable) manifolds of its periodic orbits, the flow \(f^t\in G^-_3(M^4)\) has at least one attracting and at least one repelling orbit. In Section 2 the following fact is established. Unstable manifold os saddle orbit \(S\) of the flow \(f^t\in G^-_3(M^4)\) can be either 3- or 2-dimensional; let \(G^{-1}_3(M^4),\ G^{-2}_3(M^4)\) denote corresponding subclasses of \(G^-_3(M^4)\). Obviously, since dimension of unstable manifold is invariant under an equivalence homeomorphism no flow in \(G^{-1}_3(M^4)\) is topologically equivalent to any flow in \(G^{-2}_3(M^4)\). Furthermore, \(G^{-2}_3(M^4)=\{f^{-t}\colon f^t\in G^{-1}_3(M^4)\}\) and the flows \(f^t,f'^t\) are topologically equivalent if and only if \(f^{-t},f'^{-t}\) are topologically equivalent. This immediately implies that classification in the class \(G^-_3(M^4)\) reduces to classification in the subclass \(G^{-1}_3(M^4)\). Let \(f^t\in G^{-1}_3(M^4)\). Since the flow \(f^t\) in some tubular neighborhood of is topologically equivalent to the suspension over linear diffeomorphism of the plane, the topology of periodic orbits \(A,S,R\) stable and unstable manifolds is: Let \(\mathcal O\in \{S,A,R\}\). Choose the generator \(\mathcal G_{\mathcal O}\) of boundary \(T_{\mathcal O}=\partial V_{\mathcal O}\cong \mathbb S^2\times \mathbb S^1\) fundamental group which is homologous to \(\mathcal O\) in \(V_{\mathcal O}\cong \mathbb D^3\times \mathbb S^1\). By definition the manifold \(T_S\) is secant for all flow trajectories except the periodic ones. Since the flow in some tubular neighborhood of \(S\) is topologically equivalent to suspension, the set \(K_S=W^u_S\cap T_S\) is homeomorphic to the Klein bottle. Let \(\lambda _{S},\mu _{S}\) be the knots (simple closed curves), which are generators of the fundamental group \(\pi _1(K_S)\) with relation \([\lambda _{S}*\mu _{S}]=[\mu _{S}^{-1}*\lambda _{S}]\). We will call the curve \(\mu _{S}\) meridian and the curve \(\lambda _{S}\) longitude . By virtue of Proposition 3 the Klein bottle longitude embedded in \(\mathbb S^2\times \mathbb S^1\) is a generator of fundamental group \(\pi _1(\mathbb S^2\times \mathbb S^1)\). Consider the longitude \(\lambda _{S}\) be oriented in such way that its homotopy type \(\langle \lambda _{S}\rangle \) in \(T_S\) coincide with type \(\langle \mathcal G{_S}\rangle \). So, the set \(K_A=W^u_S\cap T_A\) is the Klein bottle with longitude \(\lambda _A\) which is pointwise transferred along the flow \(f^t\) orbits from \(\lambda _{S}\). Since the flow in some tubular neighborhood of \(S\) is topologically equivalent to suspension the set \(\gamma _{S}=W^s_S\cap T_S\) is a knot in \(T_S\), wrapping around \(\mathcal G_S\) twice. We will assume that the knot \(\gamma _{S}\) is oriented in such way that its homotopy type \(\langle \gamma _{S}\rangle \) on \(T_S\) coincides with homotopy type of \(2\langle \mathcal G{_S}\rangle \). So the set \(\gamma _{R}=W^s_S\cap T_R\) is a knot in \(T_R\) and its orientation is induced by the flow \(f^t\) from \(\gamma _{S}\). \[C_{f^t}=(\delta _A,\delta _R).\] Acknowledgements. This work was performed at the Saint Petersburg Leonhard Euler International Mathematical Institute and supported by the Ministry of Science and Higher Education of the Russian Federation (agreement no. 075-15-2022-287). \begin{equation} \label {Mob} M^4 = \bigcup \limits _{\mathcal O \in Per_{f^t}} W^u_{\mathcal O}=\bigcup \limits _{\mathcal O \in Per_{f^t}} W^s_{\mathcal O}, \end{equation} \begin{equation} \label {neust} {\rm cl}(W^u_{\mathcal O}) \setminus W^u_{\mathcal O} = \bigcup \limits _{\tilde {\mathcal O} \in Per_{f^t}\colon W^u_{\tilde {\mathcal O}}\cap W^s_{\mathcal O}\neq \varnothing } W^u_{\tilde {\mathcal O}}, \end{equation} \begin{equation} \label {ust} {\rm cl}(W^s_{\mathcal O}) \setminus W^s_{\mathcal O} = \bigcup \limits _{\tilde {\mathcal O} \in Per_{f^t}\colon W^s_{\tilde {\mathcal O}}\cap W^u_{\mathcal O}\neq \varnothing } W^s_{\tilde {\mathcal O}}. \end{equation} Now let \(f^t\in G_3^{-1}(M^3)\) and \(S\) be its only saddle orbit. It follows from eq. ( 2 ) that \(W^u_S\setminus S\) intersects only basins of attracting orbits. Since the set \(W^u_S\setminus S\) is connected and the basins of attracting orbits are open, then \(W^u_S\) intersects exactly one such basin. Denote by \(A\) the corresponding attracting orbit. Since there is only one saddle orbit, there is only one attracting orbit. Similar reasoning for \(W^s_S\) leads to the existence of a unique repulsive orbit \(R\). Recall the definition of a suspension. Let \(\varphi \colon M^3\to M^3\) be a diffeomorphism of a 3-manifold. We define the diffeomorphism \(g_{\varphi }\colon M^3\times \mathbb R^1 \to M^3\times \mathbb R^1\) by the formula \[g_{\varphi }(x_1,x_2,x_3, x_4) = (\varphi (x_1,x_2, x_3),x_4-1).\] Then the group \(\{g_{\varphi }^n\}\cong \mathbb Z\) acts freely and discontinuously on \(M^3\times \mathbb R^1\), whence the orbit space \(\Pi _\varphi = M ^3\times \mathbb R^1 g_{\varphi }\) is a smooth 4-manifold, and the natural projection \(v_\varphi \colon M^3\times \mathbb R^1\to \Pi _\varphi \) is a covering. At the same time, the flow \(\xi ^t\colon M^3\times \mathbb R^1\to M^3\times \mathbb R^1\), given by the formula \[\xi ^t(x_1, x_2, x_3, x_4)=(x_1, x_2, x_3, x_4+t),\] induces the flow \([\varphi ]^t= v_\varphi \xi ^t v^{-1}_\varphi \colon \Pi _\varphi \to \Pi _\varphi \). The flow \([\varphi ]^t\) is called the suspension of the diffeomorphism \(\varphi \) . We define the diffeomorphisms \(a_0,a_1,a_2,a_3\colon \mathbb R^{3}\to \mathbb R^{3}\) by the formulas \[a_3(x_1, x_2, x_3) = (2x_1, 2x_2, 2x_3),\ a_0 = a_3^{-1},\] \[a_{\pm 1}(x_1, x_2, x_3) = (\pm 2x_1, \pm 1/2x_2, 1/2 x_3),\ a_{\pm 2} = a_{\pm 1}^{- 1}.\] Let \begin{gather*} V_{0}= \{ (x_1,x_2, x_3, x_4)\in \mathbb R^4 |\ 4^{x_4} x_1^2 + 4^{x_4}x^2_2 + 4^{x_4}x^ 2_3 \leqslant 1 \},\\ V_{\pm 1}= \{ (x_1,x_2, x_3, x_4)\in \mathbb R^4 |\ 4^{-x_4} x_1^2 + 4^{x_4}x^2_2 + 4^{x_4 }x^2_3 \leqslant 1 \},\\ V_{\pm 2}= \{ (x_1,x_2, x_3, x_4)\in \mathbb R^4 |\ 4^{-x_4} x_1^2 + 4^{-x_4}x^2_2 + 4^{ x_4}x^2_3 \leqslant 1 \},\\ V_{3}= \{ (x_1,x_2, x_3, x_4)\in \mathbb R^4 |\ 4^{-x_4} x_1^2 + 4^{-x_4}x^2_2 + 4^{-x_4 }x^2_3 \leqslant 1 \}. \end{gather*} For \(i\in \{0,\pm 1,\pm 2,3\}\) we set \(v_i = v_{a_i}\), \(T_i=\partial V_i\) and \(\mathbb V_i=v_i(V_i),\ \mathbb T_{i} = v_i(T_i)\). The following statement, proved by M. Irwin [7] , describes the behavior of flows in a neighborhood of hyperbolic periodic orbits. The neighborhood \(V_\mathcal O=H_{\mathcal O}(\mathbb V_i),\,i\in \{0,\pm 1, \pm 2, 3\}\) described in Proposition 1 is called canonical neighborhood of the periodic orbit \(\mathcal O\). When proving topological equivalence, we will use the following fact, which follows from the proof of Theorem 4 and Lemma 4 in [12] , and can also be found in [19] (Theorem 1.1). \[N^s_R=\left (\bigcup \limits _{t>0,\,w\in N^s_S}f^{-t}(w)\right )\cap T_R,\,\,N^ u_R=T_R\setminus N^s_R,\] \[N^u_A=\left (\bigcup \limits _{t>0,\,w\in N^u_S}f^{t}(w)\right )\cap T_A,\,\,N^s_A=T_A\setminus N^u_A\] and introduce the following mappings: We will call the introduced homeomorphisms \(\psi _{R},\ \psi _{A}\) trajectory maps . Note that the ambient manifold \(M^4\) is represented as \[M^4 = \mathcal V_A \cup V_S \cup \mathcal V_R.\] Note that \begin{equation} \label {eq:properties-split-M} \mathcal V_A\cap \mathcal V_R = \mathcal T,\quad \gamma _S\subset N^u_S = \mathcal V_A\cap V_S,\quad K_S\subset \mathcal N^s_S = V_R\cap V_S. \end{equation} Moreover, in the manifolds \(\mathcal V_A\) and \(\mathcal V_R\) the flow \(f^t\) is topologically equivalent to the suspensions \([a_0]^t\) and \([a_3]^t\), respectively. In this section, we will prove Lemma 2 . To do this, we first describe the properties of the embedding of the Klein bottle into the manifold \(\mathbb S^2\times \mathbb S^1\). Recall that the Klein bottle \(\mathbb K\) is the square \([0, 1]\times [0, 1]\) with sides glued by the relation \[(x, 0)\sim (x, 1),\quad (0, y)\sim (0, 1-y).\] Let \(v\colon [0, 1]\times [0, 1] \to \mathbb K\) be the natural projection, then the curves \[\lambda = v([0, 1]\times \{1/2 \}),\,\mu = v(\{0\}\times [0, 1])\] are generators of the fundamental group \(\pi _1(\mathbb K)\) with relation \[[\lambda *\mu ] =[\mu ^{-1}*\lambda ],\] where the curve \(\lambda \) is called longitude and the curve \(\mu \) is called meridian . It is well known that the Klein bottle does not embed into \(\mathbb R^3\), however, it can be embeddable into \(\mathbb S^2\times \mathbb S^1\), for example by defining the embedding \(\tilde e_0\colon [0 , 1]\times [0, 1]\to \mathbb S^2\times \mathbb S^1\) by the formula \[\tilde e_0(x, y) = \left (\sin \pi x \cos 2 \pi y,\ \cos \pi x \cos 2 \pi y,\ \sin 2 \pi y,e^{ 2\pi i x}\right )\] and noticing that \(\tilde e_0(x,y)=\tilde e_0(x',y')\iff (x,y)\sim (x',y' )\). Then (see, for example, [8], Chapter 5 ) \[e_0=\tilde e_0v^{-1}\colon \mathbb K\to \mathbb S^2\times \mathbb S^1\] is the desired embedding of the Klein bottle in \(\mathbb S^2\times \mathbb S^1\). Let \[K_0 =e_0(\mathbb K).\] It remains to prove Lemma 2 . To do this, recall that we have chosen \(T_{\mathcal O}=\partial V_{\mathcal O}\cong \mathbb S^2\times \mathbb S^1,\,\mathcal O\in \{A ,S,R\}\) generator \(\mathcal G_{\mathcal O}\) of the fundamental group of \(T_{\mathcal O}\), homologous in \(V_{\mathcal O}\cong \mathbb D^3\times \mathbb S^1\) orbit \(\mathcal O\). Due to the fact that canonical neighborhoods of periodic orbits can be chosen so that \(M^4 = \mathcal V_A \cup V_S \cup \mathcal V_R\) (see Section 2.3 ), everywhere below we assume that \(V_{A} = \mathcal V_{A},\ V_{R} = \mathcal V_{R}\). We also established (see eq. ( 4 )) that the set \(K_S=W^u_S\cap T_S\) is a Klein bottle on \(T_S\cong \mathbb S^2\times \mathbb S^1\) and oriented its parallel \(\lambda _{S}\) so that \(\langle \lambda _{S}\rangle =\langle \mathcal G_{S}\rangle \) on \(T_S\). Since the set \(K_A=W^u_S\cap T_A\) coincides with \(K_S\), then \(\lambda _{A}=\lambda _{S}\). We also established that the set \(\gamma _{S}=W^s_S\cap T_S\) is a knot on \(T_S\) and oriented so that \(\langle \gamma _{S}\rangle =2\langle \mathcal G_{ S}\rangle \) to \(T_S\). Since the set \(\gamma _{R}=W^s_S\cap T_R\) coincides with \(\gamma _{S}\), then \(\gamma _{R}=\gamma _{S}\). Let us show that the knots \(\lambda _A, \gamma _R\) are generators in the fundamental groups of the manifolds \(T_A, T_R\), respectively. \[\langle \lambda _{A}\rangle =\delta _A\langle \mathcal G_{A}\rangle \] for \(\delta _A\in \{-1,+1\}\). The set \(N(K_A)=N^u_S\) is a tubular neighborhood of the Klein bottle \(K_A\) in \(T_A\). It follows from item 2) of Proposition 20 that the set \(V(K_A)=T_A\setminus {\rm int}\,N(K_A)\) is a solid torus. The set \(N(\gamma _{R})=N^s_S\) is a tubular neighborhood of the knot \(\gamma _{R}\) in \(T_R\). On the other hand \(T_R\setminus {\rm int}\,N(\gamma _{R})=V(K_A)\). Thus, the complement to the tubular neighborhood of \(\gamma _{R}\) in \(T_R\) is a solid torus. By Proposition 3 , \(\gamma _R\) is a generator in \(T_R\) and, therefore, \[\langle \gamma _{R}\rangle =\delta _R\langle \mathcal G_{R}\rangle \] for \(\delta _R\in \{-1,+1\}\). Necessity. Let flows \(f^t\) and \(f'^t\) have invariants \(C_{f^t} = (\delta _A, \delta _R),\ C_{f'^t} = (\delta _ {A'}, \delta _{R'})\) and are topologically equivalent by the homeomorphism \(H\colon M^4\to M^4\). Let us show that \(C_{f^t}=C_{f'^t}\). Let \(h_A = H\big |_{T_A}\) and \(T_{A'}=h(T_A)\). Then by Proposition 2 \[\langle \mathcal G_{A'} \rangle =h_{A*}\langle \mathcal G_A\rangle .\] It follows from item 3) of Proposition 3 that \(\lambda _ {{A'}}=h_A(\lambda _{A})\) is the parallel of the Klein bottle \(K_{A'}\). Since the longitude \(\lambda _{A}\) of the Klein bottle is oriented consistent with the saddle orbit \(S\) and \(H\) transforms the orbit \(S\) into the orbit \(S'\) with orientation preservation, then \(\lambda _{{A'}}\) is oriented consistent with the saddle orbit \(S'\). On the other side, by Lemma 2 , \[\langle \lambda _A\rangle = \delta _{A} \langle \mathcal G_{A} \rangle ,\,\langle \lambda _{A'} \rangle = \delta _{A'} \langle \mathcal G_{ A'} \rangle ,\] whence, by virtue of a simple chain of equalities \[\delta _{A'} \langle \mathcal G_{A'}\rangle = h_{A*}( \delta _A \langle \mathcal {G}_A\rangle ) =\delta _A \langle \mathcal G_{A' }\rangle , \] we get that \(\delta _A = \delta _{A'}\). It is proved similarly that \(\delta _R = \delta _{R'}\). Thus \(C_{f^t} = C_{f'^t}\). Sufficiency. Let the flows \(f^t\) and \(f'^t\) have equal invariants \(C_{f^t} = (\delta _A, \delta _R),\ C_{f'^t} = (\delta _{A'}, \delta _{R'})\). Let us show that the flows \(f^t\) and \(f'^t\) are topologically equivalent. Proposition 1 implies that the homeomorphism \[H\big |_{V_S} = H^{}_{S'}H_S^{-1}\colon V_S\to V_{S' }\] is topological equivalence homeomorphism of the flows \(f^t\big |_{V_S}\) and \(f'^t\big |_{V_{S'}}\). It remains to extend this homeomorphism to \(\mathcal V_A\) and \(\mathcal V_R\). The homeomorphism \(H\) is already defined on the set \(\mathcal T_A\cap T_S\), which is a tubular neighborhood \(N(K_A)\) of the Klein bottle \(K_A\). By item 2) of Proposition 3 the set \(V(K_A)=T_A\setminus {\rm int}\,N(K_A)\) is a solid torus whose meridian is homotopic to the meridian \(\mu _A\) of the Klein bottle \(K_A\) to \(N(K_A)\). It follows from the properties of the homeomorphism \(H\) that \(K_{A'}=H(K_A)\) and \(N(K_{A'})=H(N(K_A))\) is a tubular neighborhood of the Klein bottle \(K_{A'}\). By point 2) of Proposition 3 the set \(V(K_{A'})=T_{A'}\setminus {\rm int}\,N(K_{A'})\) is a solid torus whose meridian is homotopic to the meridian \(\mu _{A'}\) of the Klein bottle \(K_{A'}\) in \(N(K_{A'})\). Since any homeomorphism of the Klein bottle does not change the homotopy class of the meridian (see, for example, [9], Lemma 5 ), the homeomorphism \(H\colon \partial V(K_A)\to \partial V(K_{A'} )\) extends to the homeomorphism \(H\colon V(K_A)\to V(K_{A'})\) (see, for example, [16], Exercise 2E5 ). Thus \(H\) is defined on \(\mathcal T_A\) and \(\mathcal T_R\). Since the parallel \(\lambda _{A}\,(\lambda _{{A'}})\) of the Klein bottle is oriented consistent with the saddle orbit \(S\,(S')\) and \(H\) transforms the orbit \(S\) into the orbit \(S'\) orientation-preserving, then \(H_*(\langle \lambda _{A}\rangle ) = \langle \lambda _{{A'}} \rangle \). Since \(\delta _A=\delta _{A'}\), then \(H_*(\delta _A\langle \lambda _{{A}}\rangle ) =\delta _{A'} \langle \lambda _{{A'}} \rangle \) and hence \(H_*(\langle \mathcal G_A\rangle ) = \langle \mathcal G_{A'} \rangle \). By Proposition 2 the homeomorphism \(H\big |_{\mathcal T_A}\) extends to \(\mathcal V_A\) by a homeomorphism realizing the equivalence of flows \(f^t\big |_{\mathcal V_A}\) and \(f'^t\big |_{\mathcal V_{A'}}\). Similarly, \(H\) can be extended to \(\mathcal V_R\). Thus, the homeomorphism \(H\) is defined on the whole \(M^4\) and realizes the equivalence of the flows \(f^t,\,f'^t\). In this section, we will prove Theorem 2 : for any element \(C\in \mathbb S^0\times \mathbb S^0\) there is a flow \(f^t\in G_3^{-1}( M^4)\) such that \(C=C_{f^t}\). Let \(\chi ^t\colon \mathbb R^3\to \mathbb R^3\) be the flow defined by system of equations: \[ \begin {cases} \dot x = -x\\ \dot y = -y\\ \dot z = -z(z-1)(z+1). \end {cases}\] and the diffeomorphism \(q\colon \mathbb R^3\to \mathbb R^3\) be defined by the formula: \[q(x, y, z) = (x, -y, -z).\] Using stereographic projection (see Figure 3 ) \(\vartheta \colon \mathbb S^3\setminus \{N\}\to \mathbb R^3\) (\(N = (0 , 0, 0, 1), S = (0, 0, 0, -1)\)) by the given formula: \begin{equation*} \label {stereo+} \vartheta (x_1,x_2, x_3,x_4)=\left (\frac {x_1}{1-x_{4}}, \frac {x_2}{1-x_{4}}, \frac {x_3}{1 -x_{4}}\right ). \end{equation*} \[f(x) = \begin {cases} \vartheta ^{-1} q\chi ^1 \vartheta (x), & x\notin \{N, S\}\\ S, & x = N,\\ N,&x=S \end {cases}\] Non-wandering set of diffeomorphism \(f\) consists of four periodic points: Then the flow \(f^t=[f]^t\) belongs to the class \(G^{-1}_3(M^3)\) and \(C_{f^t} = (+1, +1)\). By construction, \(f\) is an orientation-preserving diffeomorphism of the 3-sphere, and hence the ambient manifold of the suspension \([f]^t\) is homeomorphic to \(\mathbb S^3\times \mathbb S^1\). We construct the rest of the flows of class \(G^{-1}_3(M^4)\) by modifying the constructed flow \(f^t\) in neighborhoods of attracting and repelling orbits such that its their stability does not change but the orbits go in opposite direction. Let \(\mathcal O\) be an attractive or repelling periodic orbit of \(f^t\) and \(V_{\mathcal O} = V^0_{\mathcal O}\) be its canonical neighborhood, \(V^{t }_{\mathcal O} =f^t(V^0_{\mathcal O})\). Without loss of generality, we assume that \(V^{-1}_A\cap V^1_R=\varnothing \). Let \(\vec v(x)\) denote the vector field induced by the flow \(f^t\) on \(\mathbb S^3\times \mathbb S^1\). Recall that \(V_{\mathcal O}\cong \mathbb R^3\times \mathbb S^1\). For points \(x\) that belong to the basin of the orbit \(\mathcal O\). Let \(\vec n_{{\mathcal O}}(x)\) denote the field of unit outward normals to the hypersurfaces \(\partial V^t_{\mathcal O }\cap \{(x, y)\in V_{\mathcal O}\, |\ y = const\}\) in \(\{(x, y)\in V_{\mathcal O}\, |\ y = const\}\) and let \(s_{\mathcal O}(x) \in \mathbb R\) be the time such that \(f^{s_{\mathcal O}(x)}(x)\in \partial V^0_{\mathcal O}\). We define the vector field \(\vec v'(x)\) on \(\mathbb S^3\times \mathbb S^1\) by the formulas \[\vec v'(x) = \begin {cases} (1 - s^2_A(x))\vec n(x) + s^2_A(x)\vec v(x), & x\in V_A^{-1} \setminus V^1_A \\ (1 - s^2_R(x))\vec n(x) + s^2_R(x)\vec v(x), & x\in V_R^1 \setminus V^{-1}_R \\ v(x), & \text { otherwise} \end {cases}\] and denote by \(f'^t\) the flow it induces on \(\mathbb S^3\times \mathbb S^1\). Recall, that flow \(f'^t\big |_{V_{\mathcal A}}\) (\(f'^t\big |_{V_{\mathcal R}}\)) is congugated to \([a_0]^t\big |_{\mathbb V_0}\) (\([a_3]^t\big |_{\mathbb V_3}\)) by a homeomorphism \(h_A (h_R)\). For \(\delta \in \{-1,+1\}\) we define the diffeomorphism \(\bar w_\delta \colon \mathbb R^3\to \mathbb R^3\) by the formula: \[\bar w_\delta (x_1, x_2, x_3, x_4) = \left (4^{x_4}x_1, 4^{x_4}x_2, 4^{x_4}x_3, -x_4\right ).\] Note, that \(\bar w_\delta \) preserve \(V_0\) and \(V_3\). Next, define diffeomorphisms \[w_\delta ^A = h_A\bar w_\delta h_A^{-1},\quad w_\delta ^R = h_R\bar w_\delta h_R^{-1}\] Note, that \(\vec v'\) in invariant under \(w_\delta ^A\), \(w_\delta ^R\) . For \(C=(\delta _A, \delta _R)\in \mathbb S^0\times \mathbb S^0\) we induce the flow \(f^t_C\) on \(\mathbb S^3\times \mathbb S^1\) by vector field \[\vec v_{C}(x) = \begin {cases} (dw^A_{\delta _A}) \vec v' w^A_{\delta _A} (x), & x\in V_A\\ (dw^R_{\delta _R}) \vec v' w^R_{\delta _R} (x), & x\in V_R\\ \vec v' (x), & \text { otherwise.} \end {cases}\] It is easy to see that the flow's \(f^t_{C}\) invariant is \(C\) and its ambient manifold is \(\mathbb S^3\times \mathbb S^1\). Since the elements of the set \(C\in \mathbb S^0\times \mathbb S^0\) correspond one-to-one to the equivalence classes of flows from \(G^{-1}_3(M^4)\), the family \(G_3^-( M^4) = G^{-2}_3(M^4)\sqcup G^{-1}_3(M^4)\) contains \(8\) topological equivalence classes. [1] Daniel Asimov. Round handles and non-singular morse-smale flows. Annals of Mathematics, 102(1):41–54, 1975. [2] Ch Bonatti and Viacheslav Z Grines. Knots as topological invariants for gradient-like diffeomorphisms of the sphere s 3. Journal of dynamical and control systems, 6(4):579–602, 2000. [3] Christian Bonatti, V Grines, and O Pochinka. Topological classification of morse–smale diffeomorphisms on 3-manifolds. 2019. [4] Christian Bonatti, Viatcheslav Grines, and Elisabeth Pecou. Two-dimensional links and diffeomorphisms on 3-manifolds. Ergodic Theory and Dynamical Systems, 22(3):687–710, 2002. [5] Beatriz Campos, Alicia Cordero, Jose Martı́nez Alfaro, and P Vindel. Nms flows on three-dimensional manifolds with one saddle periodic orbit. Acta Mathematica Sinica, 20(1):47–56, 2004. [6] Vyacheslav Grines, Timur Medvedev, and Olga Pochinka. Dynamical systems on 2-and 3-manifolds, volume 46. Springer, 2016. [7] M.C. Irwin. A classification of elementary cycles. Topology, 9(1):35–47, 1970. [8] Czes Kosniowski. A first course in algebraic topology. Cambridge University Press, 1980. [9] WB Raymond Lickorish. Homeomorphisms of non-orientable two-manifolds. In Mathematical Proceedings of the Cambridge Philosophical Society, volume 59, pages 307–317. Cambridge University Press, 1963. [10] Dennis Pixton. Wild unstable manifolds. Topology, 16(2):167–172, 1977. [11] Olga Pochinka and Danila Shubin. On 4-dimensional flows with wildly embedded invariant manifolds of a periodic orbit. Applied Mathematics and Nonlinear Sciences, 5(2):261–266, 2020. [12] Olga Pochinka and Danila Shubin. Non-singular morse–smale flows on n-manifolds with attractor–repeller dynamics. Nonlinearity, 35(3):1485, 2022. [13] Olga Pochinka and Danila Shubin. Nonsingular morse–smale flows with three periodic orbits on orientable \(3\)-manifolds. Mathematical Notes, 112(3):436–450, 2022. [14] Olga Pochinka and Danila Shubin. Topology of ambient 3-manifolds of non-singular flows with twisted saddle orbit. arXiv preprint arXiv:2212.13224, 2022. [15] Olga V Pochinka and Danila D Shubin. On 4-dimensional flows with wildly embedded invariant manifolds of a periodic orbit. Applied Mathematics and Nonlinear Sciences, 5(2):261–266, 2020. [16] Dale Rolfsen. Knots and links, volume 346. American Mathematical Soc., 2003. [17] Danila Shubin. Topology of ambient manifolds of nonsingular flows with three twisted orbits (in russian). Izvestiya Vysshikh uchebnykh zavedeniy. Prikladnaya nelineynaya dinamika, 29(6):863–868, 2021. [18] Stephen Smale. Differentiable dynamical systems. Bulletin of the American mathematical Society, 73(6):747–817, 1967. [19] Ya. L. Umanskii. Necessary and sufficient conditions for topological equivalence of three-dimensional morse–smale dynamical systems with a finite number of singular trajectories. Matematicheskii Sbornik, 181(2):212–239, 1990. 1. Introduction and main results
2. Flows of the class \(G^{-1}_3(M^4)\)
2.1. Structure of periodic orbits.
This section is devoted to proof of Lemma 1 : non-wandering set of any flow \(f^t\in G^{-1}_3(M^4)\) consists of three periodic orbits \(S,A,R\), saddle, attracting and repelling respectively. Proof.
2.2. Canonical neighborhoods of periodic orbits.
Proposition 1.
(M. Irwin [7] ) If \(\mathcal O\) is a hyperbolic orbit of a flow \(f^t\colon M^4\to M^4\) defined on an orientable 4-manifold \(M ^4\), then there exists a tubular neighborhood \(V_{\mathcal O}\) of the orbit \(\mathcal O\) such that the flow \(f^t\big |_{V_{\mathcal O}}\) is topologically equivalent, by means of some homeomorphism \(H_{\mathcal O}\), to one of the following streams:
Proposition 2.
A homeomorphism \(h_i\colon \partial \mathbb V_i\to \partial \mathbb V_i\) for \(i\in \{0,3\}\) extends to a homeomorphism \(H_i\colon \mathbb V_i\to \mathbb V_i\) realizing the equivalence of the flows \([a_i]^t\) with itself if and only if the induced isomorphism \(h_{i*}\colon \pi _1(\partial \mathbb V_i)\to \pi _1(\partial \mathbb V_i)\) is identical. 2.3. Trajectory mappings.
Consider a flow \(f^t\colon M^4\to M^4\) from the set \(G^{-1}_3(M^3)\). Then \(V_A=H_A(\mathbb V_0),\,V_R=H_R(\mathbb V_3),\,V_S=H_S(\mathbb V_{-2})\). Let \(\Gamma = \{(x_1, x_2, x_3, x_4)\in T_{-2}|\ 4^{x_4}x_3^2 = 1/2\},\ \Gamma ^u = Ox_2x_3x_4\cap T_ {-2},\ \Gamma ^s = Ox_1x_4\cap T_{-2}\). By construction, the set \(T_{-2}\) is homeomorphic to \(\mathbb S^2\times \mathbb R\), the set \(\Gamma \) consists of two surfaces, each of which is homeomorphic to \(\mathbb S^1\times \mathbb R\) , dividing \(T_{-2}\) into three connected components, one of which \(N^u\) contains the cylinder \(\Gamma ^u\cong \mathbb S^1\times \mathbb R\), and the union \(N^s\) the other two contains a pair of \(\Gamma ^s\cong \mathbb S^0\times \mathbb R\) curves, one curve in each component. Then on \(T_S\)
Let
3. Homotopy types of knots \(\lambda _{A},\gamma _{R}\)
Proposition 3.
(Proposition 1.4, [4] ) Let \(e\colon \mathbb K\to \mathbb S^2\times \mathbb S^1\) be an embedding Klein bottles \(\mathbb K\), \(K=e(\mathbb K)\), \(N(K)\subset \mathbb S^2\times \mathbb S^1\) be a tubular neighborhood of \(K\) and \(V( K)=\mathbb S^2\times \mathbb S^1\setminus {\rm int}\,N(K)\) (see Figure 1 ). Then:
Proposition 4 (Proposition 4.2, [6] ) . [6] '); rotateIcon(this);">
A knot \(\gamma \) in manifold \(\mathbb S^2\times \mathbb S^1\) is trivial if and only if there exists tubular neighbourhood \(N(\gamma )\) in \(\mathbb S^2\times \mathbb S^1\) such that the manifold \((\mathbb S^2\times \mathbb S^1)\setminus N(\gamma )\) is homeomorphic to solid torus. Proof.
4. Classification of flows of the set \(G^{-1}_3(M^4)\)
Proof.
5. Realization of flows by admissible set
Proof.
6. Ambient manifolds of the flow of class \(G^-_3(M^4)\)
Proof.
References
10