Infinitely stably extendable vector bundles on projective spaces (Q5962100)

From the abstract: According to Horrocks a vector bundle \(E\) on the projective \(n\)-space extends stably to the projective \(N\)-space, \(N>n\), if there exists a vector bundle on the larger space whose restriction to the smaller one is isomorphic to E plus a finite direct sum of line bundles. The author here give a proof of the following Theorem. For a vector bundle \(E\) on the projective \(n\)-space the following conditions are equivalent: (i) \(H^i_*(E)=0\) for \(1<i<n-1\); (ii) \(E\) is the cohomology of a free monad on \(\mathbb P^n\); (iii) \(E\) is infinitely stably extendable i.e. \(\forall m \geq 1\) there exists a vector bundle \(E^{(m)}\) on \(\mathbb P^{n+m}\) and a direct sum of line bundles \(A^{(m)}\) on \(\mathbb P^n\) such that \(E^{(m)} | \mathbb P^n \cong E \oplus A^{(m)}\).