No label defined (Q3836724)

Let \(\xi = (E,p,B)\) denote a vector bundle of rank \(n\) on a complete metric space \(B\). Fix a Riemannian metric on \(\xi\). An automorphism of \(\xi\) is denoted by \((X,\chi)\) and \(X[b]\) denotes the restriction of \(X\) to the fibre over \(b \in B\). Any element \(h\) of \(\Hom ({\mathbb Z}, \Aut \xi)\) can be written as \((X^m, \chi ^m)\), \(m\in {\mathbb Z}\). Let \(k\) be an integer , \(1\leq k \leq n-1\). The element \(h\) is called exponentially dichotomous with index \(k\) at \(b\in B\) if there exists a \(k\)-dimensional subspace \(R_0\) of the fibre \(p^{-1}(b)\) such that for every complement \(R_1\) of \(R_0\) in the fibre there exist \(\alpha >0\), \(\beta > 0\) with \[ |X^m u||X^{m'} u |^{-1} \geq \alpha |X^m v||X^{m'} v |^{-1} \exp (\beta (m-m')) \] for any \(u \in R_1, v \in R_0, u\neq 0, v\neq 0\) and for any integers \(m \geq m'\geq 0\). The element \(h\) is called uniformly strongly positive at \(b\) if the sequence of operators \(X[\chi^m b]\), \(m\in {\mathbb Z}\) is uniformly strongly positive. Theorem. A homomorphism \(h \in \Hom({\mathbb Z}, \Aut \xi)\) is exponentially dichotomous with index \(k\in \{1,\cdots,n-1\}\) at a point \(b\in B\) if and only if the homomorphism \(h^{n-k} \in \Hom ({\mathbb Z},\Aut \bigwedge ^{n-k} \xi)\) is uniformly strongly positive at \(b\).