Integrability on codimension one dominated splitting (Q2641603): Difference between revisions

The authors study the unique integrability of the center unstable subbundle associated to a codimension one dominated splitting. More precisely, the main result of the paper can be described as follows: Let \(f: M\to M\) be a \(C^r\)-diffeomorphism, \(r>0\), on a smooth manifold \(M\), which admits a codimension one dominated splitting over \(M\), i.e., (i) we can decompose its tangent bundle into two invariant subbundles \(T_MM=E\oplus F\) such that there exist \(C>0\), \(\lambda\in(0,1)\) with \[ \| Df^n_{/E(x)}\| \| Df^{-n}_{/F(f^n(x))}\| \leq C\lambda^n \] for all \(x\in M\), \(n\geq 0\), (ii) the dimension of \(F\) is one. Then the subbundle \(F\) is uniquely integrable, provided one of the following conditions holds: (a) \(M\) is the nonwandering set of \(f\). (b) The dominated splitting is contractive, i.e., for all \(x\in M\), \(n\geq 0\) one has \[ \| Df^n_{| E_x}\| \leq C\lambda^n \] for all \(x\in M\), \(n\geq 0\). (c) There are neither semi-attracting or attracting periodic points and \(f\) is at least \(C^2\). The proof is based on Pliss's lemma, a codimension one Denjoy property regarding the existence of wandering intervals and some consequences concerning central unstable invariant manifolds.