On the reduction of the topological classification of gradient-like flows problem to the classification of polar flows I. A. Saraev

Abstract

In this paper we consider a class G(Mn) of gradient-like flows on connected closed manifolds of dimension n≥4 such that for any flow ft∈G(Mn) stable and unstable invariant manifolds of saddle equilibria do not intersect invariant manifolds of other saddle equilibria. It is known that the ambient manifold of any flow from the class G(Mn) can be splitted into connected summ of the sphere Sn , gft≥0 copies of direct products Sn−1×S1 , and a simply connected manifold which is not homeomorphic to the sphere. The number gft is determined only by the number of nodal equilibria and the number of saddle equilibria such that one of their invariant manifolds has the dimension (n−1) (we call such equilibria trivial saddles). A simply connected manifold which is not homeomorphic to the sphere presents in the splitting if and only if the set of saddle equilibria contains points with unstable manifolds of dimension i∈{2,…,n−2} (we call such equilibria non-trivial saddles). Moreover, the complete topological classification was obtained for flows from the class G(Mn) without non-trivial saddles. In this paper we prove that for any flow ft∈G(Mn) the carrier manifold can be splitted into a connected sum along pairwise disjoint smoothly embedded spheres (separating spheres) that do not contain equilibrium states of the flow ft and transversally intersect its trajectories. The restriction of the flow ft to the complements to these spheres uniquely (up to topological equivalence and numbering) defines a finite set of flows ft1,…,ftl defined on the components of a connected sum. Moreover, for any j∈1,…,l , the set of saddle equilibria of the flow ftj consists either only of trivial saddles or only of of non-trivial ones and then the flow ftj is polar. We introduce the notion of consistent topological equivalence for flows ft1,…ftj and show that flows ft,f′t∈G(Mn) are topologically equivalent if and only if for each of these flows the set of separating spheres exists that defines consistently topologically equivalent flows on the components of the connected sum.