The extension of dominated splittings for \(C^ 1\)-regular maps (Q1192437)

Let \(M\) be a closed Riemannian \(C^ \infty\) manifold, let \(f: M\to M\) be a \(C^ 1\) map whose differential has maximal rank everywhere. Let \[ M_ f=\{(x_ i)_ i\mid x_ i\in M, x_{i+1}=f(x_ i),\;\forall i\in\mathbb{Z}\}. \] The tangent bundle \(\pi: TM\to M\) induces a bundle \[ TM^*=\{(x,v)\in M_ f\times TM\mid x_ 0=\pi(v)\} \] over \(M_ f\) with projection \(\pi^*: TM^*\to M_ f\) given by \(\pi^*(x,v)=x\). If \(\Lambda\) is an \(f\)-invariant subset of \(M\), i.e. \(f(\Lambda)=\Lambda\), write \(\Lambda_ f=\{(x_ i)\in M_ f\mid x_ i\in\Lambda,\;\forall i\in\mathbb{Z}\}\) and \(T_{\Lambda_ f}M^*=TM^*|_{\Lambda_ f}\). A splitting \(T_{\Lambda_ f}M^*=E\oplus F\) is called dominated if it is continuous, \(Df\)-invariant and there exist \(c>0\) and \(0<\lambda < 1\) such that for all \(x\in\Lambda_ f\) and \(n>0\) \[ \| Df^ n| E(x)\|\circ\| Df^{-n}| F(x)\| \leq c\lambda^ n. \] The main result of the paper is the existence of a neighborhood \(U\) of \(\Lambda_ f\) in \(M_ f\) and of an extended splitting \(T_ uM^*=\overline E\oplus\overline F\) satisfying some natural compatibility conditions.