On 4-dimensional flows with wildly embedded invariant manifolds of a periodic orbit

Olga V. Pochinka; Danila D. Shubin

doi:10.2478/amns.2020.2.00049

Source Title:: Applied Mathematics and Nonlinear Sciences
Volume/Issue:: Volume 5: Issue 2

On 4-dimensional flows with wildly embedded invariant manifolds of a periodic orbit

Olga V. Pochinka¹ and Danila D. Shubin¹

¹ , 25/12, Bolshaya Pecherskaya St., Nizhny Novgorod, Russia

Olga V. Pochinka

25/12, Bolshaya Pecherskaya St., Nizhny Novgorod, Russia
Search for other articles:
degruyter.com Google Scholar

and Danila D. Shubin

Corresponding author
25/12, Bolshaya Pecherskaya St., Nizhny Novgorod, Russia
Email
Search for other articles:
degruyter.com Google Scholar

DOI:: https://doi.org/10.2478/amns.2020.2.00049
Published online:: 13 Nov 2020

PDF

Access Metrics

	All Time	Past Year	Past 30 Days
Full Text	59	59	11
PDF	25	25	6

Abstract

In the present paper we construct an example of 4-dimensional flows on 𝕊³ × 𝕊¹ whose saddle periodic orbit has a wildly embedded 2-dimensional unstable manifold. We prove that such a property has every suspension under a non-trivial Pixton's diffeomorphism. Moreover we give a complete topological classification of these suspensions.

Keywords:: Suspension; classification; Pixton diffeomorphism; wild embedding; 37C15

1 Introduction and statement of results

Qualitative study of dynamical systems reveals various topological constructions naturally emerged in the modern theory. For example, the Cantor set with cardinality of continuum and Lebesgue measure zero as an expanding attractor or an contracting repeller. Also, a curve in 2-torus with an irrational rotation number, which is not a topological submanifold but is an injectively immersed subset, can be found being invariant manifold of the Anosov toral diffeomorphism's fixed point.

Another example of linkage between topology and dynamics is the Fox-Artin arc [4] appeared in work by D. Pixton [9] as the closure of a saddle separatrix of a Morse-Smale diffeomorphism on the 3-sphere. A wild behaviour of the Fox-Artin arc complicates the classification of dynamical systems, there is no combinatorial description as Peixoto's graph [8] for 2-dimensional Morse-Smale flows.

It is well known that there are no wild arcs in dimension 2. They exist in dimension 3 and can be realized as invariant sets for discrete dynamics, unlike regular 3-dimensional flows, which do not possess wild invariant sets. The dimension 4 is very rich. Here appear wild objects for both discrete and continuous dynamics. Although there are no wild arcs in this dimension, there are wild objects of co-dimension 1 and 2. So, the closure of 2-dimensional saddle separatrix can be wild for 4-dimensional Morse-Smale system (a diffeomorphism or a flow). Such examples have been recently constructed by V. Medvedev and E. Zhuzoma [6]. T. Medvedev and O. Pochinka [7] have shown that the wild Fox-Artin 2-dimension sphere appears as closure of heteroclinic intersection of Morse-Smale 4-diffeomorphism.

In the present paper we prove that the suspension under a non-trivial Pixton's diffeomorphism provides a 4-flow with wildly embedded 3-dimensional invariant manifold of a periodic orbit. Moreover, we show that there are countable many different wild suspensions. In more details.

Denote by 𝒫 the class of the Morse-Smale diffeomorphisms of 3-sphere S³ whose non-wondering set consists of the fixed source α, the fixed saddle σ and the fixed sinks ω₁, ω₂. Class 𝒫 diffeomorphism phase portrait is shown in Figure 1.

As the Pixton's example belongs to this class we call it the Pixton class. That example is characterized by the wild embedding of the stable manifold $W_{σ}^{s}$ , namely its closure is not locally flat at α. We call such diffeomorphism non-trivial (see Figure 2).

Let 𝒫^t be a set of flows which are suspensions on Pixton's diffeomorphisms. By the construction the ambient manifold for every such flow f^t is diffeomorphic to S³ × S¹ and the non-wandering set consists of exactly four periodic orbits 𝒪_α, 𝒪_σ, 𝒪_ω₁, 𝒪_ω₂. Let $W_{𝒪_{σ}}^{s}$ denote stable manifold of the saddle orbit. In the present paper we prove the following theorems.

Theorem 1. If $W_{σ}^{s}$ is a wild for f ∈ 𝒫 then $W_{𝒪_{σ}}^{s}$ is a wild for f^t ∈ 𝒫^t.

Corollary 2. (Existence theorem) There is a flow f^t with saddle orbit 𝒪_σ such that $cl (W_{𝒪_{σ}}^{s})$ is wild.

Theorem 3. Two flows f^t, f′^t ∈ 𝒫^t are topologically equivalent iff the diffeomorphisms f, f′ ∈ 𝒫 are topologically conjugated.

The complete classification of diffeomorphisms from the class 𝒫 has been done by Ch. Bonatti and V. Grines [1]. They proved that a complete invariant for Pixton's diffeomorphism is an equivalent class of the embedding of a knot in S² × S¹. In section 4 we briefly give another idea to classify such systems. It was described in [5] and led to complete classification on Morse-Smale 3-diffeomorphisms in [2].

Acknowledgement: The authors are partially supported by Laboratory of Dynamical Systems and Applications NRU HSE, of the Ministry of science and higher education of the RF grant ag. No. 075-15-2019-1931. The auxiliary facts was implemented in the framework of the Basic Research Program at the National Research University Higher School of Economics (HSE University) in 2019.

2 Auxiliary facts

2.1 Dynamical concepts

Diffeomorphism f : Mⁿ → Mⁿ of smooth closed connected orientable n-manifold (n ≥ 1)Mⁿ is called Morse-Smale diffeomorphism (f ∈ MS(Mⁿ)) if:

Non-wandering set Ω_f is finite and hyperbolic;
Stable and unstable manifolds $W_{p}^{s}$ , $W_{q}^{u}$ intersect transversally for any periodic points p, q.

Two diffeomorphisms f, f′ are called topologically conjugated if there exists a homeomorphism h : Mⁿ → Mⁿ such that f h = h f′.

Let f : Mⁿ → Mⁿ be a diffeomorphism. Let φ^t be a flow on the manifold Mⁿ × ℝ generated by the unite vector field parallel to ℝ and directed to +∞, that is

φ^{t} (x, r) = (x, r + t) .

Let g : Mⁿ × ℝ → Mⁿ × ℝ be a diffeomorphism given by the formula g(x, r) = (f (x), r − 1). Let G = {g^k, k ∈ ℤ} and W = (Mⁿ × ℝ)/G. Denote p_W: Mⁿ × ℝ → W the natural projections. It is verified directly that gφ^t = φ^tg. Then the map f^t : W → W given by the formula

f^{t} (x) = p_{W} (φ^{t} (p_{W}^{- 1} (x)))

is a well-defined flow on W which is called the suspension of f.

When f ∈ MS(Mⁿ) the non-wandering set of the suspension f^t consist of a finite number of periodic orbits composed by p_W(Ω_f × ℝ). The obtained flow is so-called non-singular, what means it has no singular points.

Two flows f^t, f′^t are called topologically equivalent if exists a homeomorphism h : W → W which maps the trajectories of f^t to trajectories of f′^t and preservs orientation on the trajectories.

2.2 Topological concepts

A closed subset X of a PL-manifold N is said to be tame if there is a homeomorphism h : N → N such that h(X) is a subpolyhedron; the other are called wild.

For example, Fox-Artin arc is wild (see [4]).

Let A be a closed subset of a metric space X. A is called locally k-co-connected in X at a ∈ A (k-LCC at a) if each neighbourhood U of a in X contains a smaller neighbourhood V of a such that each map ∂I^k+1 → V \ A extends to a map I^k+1 → U \ A.

We say that A is locally k-co-connected (k-LCC in X) if A is k-LCC at a for each a ∈ A.

For example, Fox-Artin 2-sphere is not 1-LCC (see Exercise 2.8.1 [3]).

Let e: M^m → Nⁿ be a topological embedding of m-dimensional manifold M^m with a boundary in n-manifold Nⁿ (n ≥ m). e is called locally flat at x ∈ M^m (and e(M^m) is locally flat at e(x)) if there exist a neighbourhood U of e(x) ∈ Nⁿ and a homeomorphism h of U onto ℝⁿ such that:

(1)h(U ∩ e(M^m)) = ℝ^m ⊂ ℝⁿwhen x ∈ int M^m or
(2) $h (U \cap e (M^{m})) = ℝ_{+}^{m} \subset ℝ^{n}$ when x ∈ ∥M^m.

Since tameness implies local flatness for embeddings of manifolds in all co-dimensionals except two, we will say that e: M^m → Nⁿ, m ≠ n − 2 is wild at e(x) when e(M^m) is fails to be locally flat at e(x).

Proposition 4 (Proposition 1.3.1 [3]). Suppose the manifold Mⁿ⁻¹is locally flatly embedded in the n-manifold Nⁿ. Then Mⁿ⁻¹is k-LCC in Nⁿ for all k ≥ 1.

Proposition 5 (Proposition 1.3.6 [3]). Suppose Y is a locally contractible space and A ⊂ X. Then A is k-LCC in X iff A × Y is k-LCC in X × Y.

Notice that any manifold is a locally contractible space.

3 Wildness of the stable manifold of the saddle periodic orbit for the suspension

Proof of Theorem 1.

Let f be a non-trivial Pixton's diffeomorphism. Then the closure of the stable manifold $W_{σ}^{s}$ of the saddle point σ is a wild 2-sphere in S³ and it is not 1-LCC at a source α. By the construction the circle σ × S¹ in S³ × S¹ coincides with the saddle periodic orbit 𝒪_σ for the suspension f^t of the diffeomorphism f. Moreover, the closure of stable separatrice $W_{𝒪_{σ}}^{s}$ of 𝒪_σ coincides with $cl (W_{σ}^{s}) \times S^{1}$ and it is a 3-manifold homeomorphic to S² × S¹. Due to Proposition 5 the set $cl (W_{𝒪_{σ}}^{s})$ is not 1-LCC in S³ × S¹. Thus, by Proposition 4, $W_{𝒪_{σ}}^{s}$ is wild.

4 Topological classification of suspensions

Firstly we give a brief idea of the topological classification of diffeomorphisms from class 𝒫.

4.1 Classification of diffeomorphisms from 𝒫

Let f ∈ 𝒫 and $V_{f} = W_{α}^{u} \ α$ . Denote by ${\hat{V}}_{f}$ the orbit space with respect to f in V_f and by $p_{f} : V_{f} \to {\hat{V}}_{f}$ the natural projection. According to [5], the space ${\hat{V}}_{f}$ is diffeomorphic to S² × S¹ and the projection p_f is a covering map which induces an epimorphism $η_{f} : π_{1} ({\hat{V}}_{f}) \to ℤ$ . Let ${\hat{L}}_{f}^{s} = p_{f} (W_{σ}^{s} \ σ)$ . According to [5], ${\hat{L}}_{f}^{s}$ is a homotopically non-trivial 2-dimensional torus in ${\hat{V}}_{f}$ (see Figure 4).

Proposition 6 (Theorem 4.5 [5]). Diffeomorphisms f, f′ ∈ 𝒫 are topologically conjugated iff the tori ${\hat{L}}_{f}^{s}$ , ${\hat{L}}_{f^{'}}^{s}$ are equivalent (that is there is a homeomorphism $\hat{h} : {\hat{V}}_{f} \to {\hat{V}}_{f^{'}}$ such that $\hat{h} ({\hat{L}}_{f}^{s}) = {\hat{L}}_{f^{'}}^{s}$ and η_f = η_f′ ĥ_*).

4.2 Proof of the sufficiency of Theorem 3

Let f, f′ ∈ 𝒫. Recall the notion of the suspensions of f, f′.

Let φ^t be a flow on the manifold S³ × ℝ generated by the unite vector field parallel to ℝ and directed to +∞, that is

φ^{t} (x, r) = (x, r + t) .

Let g, g′ : S³ × ℝ → S³ × ℝ be diffeomorphisms given by the formulas g(x, r) = (f (x), r − 1), g′(x, r) = (f′ (x), r − 1). Let G = {g^k, k ∈ ℤ}, G′ = {g′^k, k ∈ ℤ} and W = (S³ × ℝ)/G, W′ = (S³ × ℝ)/G′. Since f, f ′ preserve orientation of S³, W, W′ are diffeomorphic to S³ × S¹. Denote p_W : S³ × ℝ → W, p_W′ : S³ × ℝ → W ′ the natural projections. It is verified directly that gφ^t = φ^tg, g′φ^t = φ^tg′. Then maps f^t : W → W, f′^t : W′ → W′ given by the formulas $f^{t} (x) = p_{W} (φ^{t} (p_{W}^{- 1} (x)))$ , ${f^{'}}^{t} (x) = p_{W'} (φ^{t} (p_{W'}^{- 1} (x)))$ are well-defined flows on W, W′ which are called the suspensions of f, f′, respectively, that is f^t, f′^t ∈ 𝒫^t.

Now let f, f′ ∈ 𝒫 be topologically conjugate by the homeomorphism h : S³ → S³. Define a homeomorphism

\tilde{H} : S^{3} \times ℝ \to S^{3} \times ℝ

by the formula

\tilde{H} (x, r) = (h (x), r), (x, r) \in S^{3} \times ℝ .

Directly verifies that

\tilde{H} g = g^{'} \tilde{H}

, then

\tilde{H}

can be projected as a homeomorphism H : W → W′ by the formula

H = p_{W'} \tilde{H} p_{W}^{- 1} .

Since $\tilde{H} φ^{t} = {φ^{'}}^{t} \tilde{H}$ , then H f^t = f′^t H. Thus H is a required homeomorphism which realizes an equivalency of the suspensions f^t and f′^t.

4.3 Proof of necessity of Theorem 3

Let suspensions f^t, f′^t be topologically equivalent by means of a homeomorphism H : S³ × S¹ → S³ × S¹. Let us prove that then the diffeomorphisms f, f′ are topologically conjugate.

For this aim recall that the diffeomorphisms f, f′ in the basins of sources α, α′ are topologically conjugate by homeomorphisms

h_{α} : W_{α}^{u} \to ℝ^{3}

h_{α^{'}} : W_{α^{'}}^{u} \to ℝ^{3}

with the linear extension a: ℝ³ → ℝ³ given by the formula

a (x_{1}, x_{2}, x_{3}) = (2 x_{1}, 2 x_{2}, 2 x_{3}) .

Let

S^{r} = {(x_{1}, x_{2}, x_{3}) \in ℝ^{3} : x_{1}^{2} + x_{2}^{2} + x_{3}^{2} {= 2}^{r}, r \in ℝ}

S_{α}^{r} = h_{α}^{- 1} (S^{r})

and

S_{α^{'}}^{r} = h_{α^{'}}^{- 1} (S^{r})

. Define cylinders

\tilde{Σ}, {\tilde{Σ}}^{'} \subset S^{3} \times ℝ

by the formulas

\tilde{Σ} = {(x, r) \in S^{3} \times ℝ : x \in S_{α}^{r}, r \in ℝ}, {\tilde{Σ}}^{'} = {(x, r) \in S^{3} \times ℝ : x \in S_{α^{'}}^{r}, r \in ℝ} .

It follows from the definition of suspension that $\tilde{Σ}$ , ${\tilde{Σ}}^{'}$ are sections for trajectories of φ^t, φ′^t passing through V_φ^t, V_φ′^t, where $V_{φ^{t}} = W_{O_{α}}^{u} \ O_{α}$ and $V_{{φ^{'}}^{t}} = W_{O_{α^{'}}}^{u} \ O_{α^{'}}$ and $W_{O_{α}}^{u}, W_{O_{α^{'}}}^{u}$ are unstable manifolds of orbits O_α, O_α′ of flows φ^t, φ′^t respectively. Let $V_{f^{t}} = W_{𝒪_{α}}^{u}$ , $V_{{f^{'}}^{t}} = W_{𝒪_{α^{'}}}^{u}$ . Then $Σ = p_{W} (\tilde{Σ})$ , $Σ^{'} = p_{W'} ({\tilde{Σ}}^{'})$ are homeomorphic to S² × S¹ and are sections for trajectories of flows f^t, f′^t in V_f^t, V_f′^t, respectively.

Since H realizes an equivalence of the flows f^t, f′^t then H(Σ) is also a section for trajectories of the flows f′^t in V_f′^t. Thus we can get Σ′ from H(Σ) by a continuous shift along the trajectories, that is there is a homeomorphism ψ : V_f′^t → V_f′^t which preserves the trajectories of f′^t in V_f′^t and such that ψ(H(Σ)) = Σ′. Let h_Σ = ψH|_Σ : Σ → Σ′.

Then the homeomorphism h_Σ has a lift

h_{\tilde{Σ}} : \tilde{Σ} \to {\tilde{Σ}}^{'}

which is a homeomorphism such that

h_{Σ} = p_{W'} h_{\tilde{Σ}} p_{W}^{- 1}

. Let us introduce the canonical projection q : S³ × ℝ → S³ by the formula q(x, r) = x and define a homeomorphism h : V_f → V_f′ by the formula

h q |_{\tilde{Σ}} = q h_{\tilde{Σ}} .

By the construction the homeomorphism h conjugates f|_{V_f} with f′|_{V_f′}. Since

H (W_{𝒪_{σ}}^{s}) = W_{𝒪_{σ^{'}}}^{s}

, then

h (W_{σ}^{s} \ σ) = W_{σ^{'}}^{s} \ σ^{'}

. Let us define a homeomorphism

\hat{h} : {\hat{V}}_{f} \to {\hat{V}}_{f^{'}}

by the formula

\hat{h} p_{f} = p_{f'} h .

Then $\hat{h} ({\hat{L}}_{f}^{s}) = {\hat{L}}_{f^{'}}^{s}$ and η_f = η_f′ĥ_*. Thus, by Proposition 6, the diffeomorphisms f, f′ are topologically conjugated.

References

[1]↑
C. Bonatti and V. Grines (2000), Knots as topological invariant for gradient-like diffeomorphisms of the sphere S3, // J. Dyn. Control Syst. 6:4, 579–602.
- Crossref
- Export Citation
[2]↑
Bonatti C., Grines V. (2019), Pochinka O. Topological classification of Morse-Smale diffeomorphisms on 3-manifolds // Duke Mathematical Journal. 2019. Vol. 168. No. 13. P. 2507–2558.
- Crossref
- Export Citation
[3]↑
R. J. Daverman G. A. Venema (2009), Embedding in Manifolds. Graduate studies in mathematics, v. 106. http://www.calvin.edu/~venema/embeddingsbook/
[4]↑
Fox R, Artin E (1948). Some wild cells and spheres in three-dimensional space. // Ann of Math. 1948, 979–990.
[5]↑
V.Z. Grines, T.V. Medvedev, O.V. Pochinka. (2016), Dynamical Systems on 2- and 3-Manifolds. Dev. Math., 46, Springer, Cham, 2016, xxvi+295 pp.
[6]↑
V.S. Medvedev, E.V. Zhuzhoma (2013), Morse–Smale systems with few non-wandering points. Topology and its Applications, 160 (2013) 498–507.
- Crossref
- Export Citation
[7]↑
T.V. Medvedev, O.V. Pochinka (2018). The wild Fox-Artin arc in invariant sets of dynamical systems // Dynamical Systems. 2018. Vol. 33. No. 4. P. 660–666.
- Crossref
- Export Citation
[8]↑
M.M. Peixoto (1973). On the classification of flows on 2-manifolds, Dynamical systems, Proc. Sympos. (Univ. Bahia, Salvador, 1971), Academic Press, New York, 1973, 389–419
[9]↑
Pixton D (1977). Wild unstable manifolds. Topology. 1977, 16(2), 167–172.
- Crossref
- Export Citation

If the inline PDF is not rendering correctly, you can download the PDF file here.

ProCite

RefWorks

Reference Manager

BibTeX

Zotero

EndNote

Article information

Received:: 2019-12-24

Accepted:: 2020-03-25

Published Online:: 2020-11-13

Citation Information:: Applied Mathematics and Nonlinear Sciences, Volume 5, Issue 2, Pages 261–266, eISSN 2444-8656, DOI: https://doi.org/10.2478/amns.2020.2.00049.