Nonsingular star flows satisfy Axiom A and the no-cycle condition

We give an affirmative answer to a problem of Liao and Mañé which asks whether, for a nonsingular flow to loose the Ω-stability, it must go through a critical-element-bifurcation. More precisely, a vector field S on a compact boundaryless manifold is called a star system if S has a C1 neighborhood $\mathcal{U}$ in the set of C1 vector fields such that every singularity and every periodic orbit of every $X\in\mathcal{U}$ is hyperbolic. We prove that any nonsingular star flow satisfies Axiom A and the no cycle condition.

[1]  N. Aoki,et al.  The set of axiom A diffeomorphisms with no cycles , 1992 .

[2]  Zhihong Xia,et al.  $C^1$ Connecting Lemmas , 2000 .

[3]  Shuhei Hayashi Connecting invariant manifolds and the solution of the $C^1$ stability and $\Omega$-stability conjectures for flows , 1997 .

[4]  On theC1Stability Conjecture for Flows , 1996 .

[5]  John Franks Necessary conditions for stability of diffeomorphisms , 1971 .

[6]  Ricardo Mañé,et al.  A proof of the C1 stability conjecture , 1987 .

[7]  John Guckenheimer,et al.  A Strange, Strange Attractor , 1976 .

[8]  M. Peixoto,et al.  Structural stability on two-dimensional manifolds☆ , 1962 .

[9]  R. Mañé,et al.  An Ergodic Closing Lemma , 1982 .

[10]  Shuhei Hayashi,et al.  Diffeomorphisms in ℱ1(M) satisfy Axiom A , 1992, Ergodic Theory and Dynamical Systems.

[11]  Charles Pugh,et al.  The C1 Closing Lemma, including Hamiltonians , 1983, Ergodic Theory and Dynamical Systems.

[12]  James F. Selgrade,et al.  Isolated invariant sets for flows on vector bundles , 1975 .

[13]  Another proof forC1 stability conjecture for flows , 1998 .

[14]  H. Toyoshiba A property of vector fields without singularity in {\mathcal G}^1(M) , 2001, Ergodic Theory and Dynamical Systems.

[15]  Jacob Palis On the C1 Ω-stability conjecture , 1987 .

[16]  M. Shub Global Stability of Dynamical Systems , 1986 .

[17]  L. Wen On the preperiodic set , 1999 .

[18]  Maria José Pacifico,et al.  Robust transitive singular sets for 3-flows are partially hyperbolic attractors or repellers , 2004 .

[19]  R. Mañé Quasi-Anosov diffeomorphisms and hyperbolic manifolds , 1977 .

[20]  林 修平 On the C[1] stability conjecture , 1995 .

[21]  George R. Sell,et al.  Existence of dichotomies and invariant splittings for linear differential systems, II☆ , 1976 .

[22]  Homoclinic tangencies and hyperbolicity for surface diffeomorphisms , 2000, math/0005303.

[23]  A proof of ¹ stability conjecture for three-dimensional flows , 1994 .

[24]  L. Díaz,et al.  Partially hyperbolic and transitive dynamics generated by heteroclinic cycles , 2001, Ergodic Theory and Dynamical Systems.

[25]  S. Smale Differentiable dynamical systems , 1967 .

[26]  Lan Wen Generic diffeomorphisms away from homoclinic tangencies and heterodimensional cycles , 2004 .

[27]  Shaobo Gan A generalized shadowing lemma , 2002 .

[28]  Shaobo Gan The Star Systems X* and a Proof of the C1Ω-stability Conjecture for Flows , 2000 .

[29]  R. Bowen Periodic Orbits for Hyperbolic Flows , 1972 .