Partial hyperbolicity far from homoclinic bifurcations (Q610691): Difference between revisions

By this work, substantial progress is achieved on describing \(C^1\)-genericity of self-diffeomorphisms of closed manifolds. Partial hyperbolicity is the central property, based on an at least formally weak notion of ``dominated splitting'': For a diffeomorphism \(f:M \rightarrow M\), the decomposition of the restricted tangent bundle \(T_K M = E \oplus F\) is called a dominated splitting if, for some \(n \geq 1\), \(\| Df^n u \| \leq \frac{1}{2} \| Df^n v \|\) for all \(x \in K\) and unitary \(u \in E_x\), \(v \in F_x\). An invariant compact set \(K\) is said to be partially hyperbolic if \(T_K M\) decomposes as \(E^s \oplus E^c \oplus E^{u}\) (one of \(E^s\), \(E^{u}\) non-trivial) such that both \(E^s \oplus (E^c \oplus E^{u})\) and \((E^s \oplus E^c) \oplus E^{u}\) are dominated and \(E^s\) (\(E^{u}\)) is uniformly contracted by \(f\) (\(f^{-1}\), resp.). \(E^s\), \(E^c\), \(E^{u}\) are referred to as the stable, central, and unstable subbundle, respectively. The main theorem states that the space of self-diffeomorphisms of \(M\) without a homoclinic tangency or a heterodimensional cycle contains a dense \(G_ \delta\) set whose elements are partially hyperbolic. This means that the chain-recurrent set consists of finitely many disjoint invariant compact subsets over each of which the tangent bundle has a partially hyperbolic dominated splitting and that the central bundle is a direct sum of at most two line bundles.