Arithmetically Cohen-Macaulay bundles on hypersurfaces (Q2468436)

A vector bundle \(E\) on a smooth projective variety \(X \subset {\mathbb P}^n\) is ACM (arithmetically Cohen-Macaulay) if \(H^i(X, E(k)) = 0\) for \(0 < i < \dim X\) and all integer \(k\). By a known result of \textit{G. Horrocks}, the only non-split (indecomposable) ACM bundles on \({\mathbb P}^n\) are the line bundles [see Proc. London Math. Soc. (3) 14, 689--713 (1964; Zbl 0126.16801)], while on the smooth quadrics the only non-split ACM bundles are the line bundles and twists of the spinor bundles by line bundle [\textit{H. Knörrer}, Invent. Math. 88, 153--164 (1987; Zbl 0617.14033)]. In this paper the authors study the question of existence of non-split ACM bundles of rank 2 on smooth hypersurfaces \(X_d\) of degree \(\geq 3\) in projective spaces \({\mathbb P}^n, n \geq 3\). In the low dimensional case \(n = 3\) non-split rank two ACM bundles exist on any smooth surface \(X_d, d \geq 3\) (see Remark 1), but when \(n \geq 6\) a result of \textit{H. Kleppe} yields that any rank 2 ACM bundle on \(X_d, d \geq 3\) is a sum of line bundles [J. Algebra 53, No. 1, 84--92 (1978; Zbl 0384.14004)]. Non-split ACM bundles \(E\) of rank 2 are known to exist on any \(X_d\), \(3 \leq d \leq 5\). But for \(n = 4, d = 5\) and \(X_5\) general, \textit{L. Chiantini} and \textit{C. Madonna} proved that all rank two ACM bundles \(E\) on \(X_5\) are rigid, while for \(n = 4, d = 6\) and \(n = 5, 3 \leq d \leq 6\) they prove that such \(E\) does not exist on the general \(X_d\) [Collect. Math. 56, No. 1, 85--96 (2005; Zbl 1071.14044)]. The main result of this paper, Theorem 1.1 gives a new proof of the above result of Kleppe for \(n \geq 6\), and extends the results of Chiantini-Madonna for \(n = 4, 5\) by proving that: (i) for \(n = 5\) any ACM rank two bundle \(E\) on \(X_d, d \geq 3\) is rigid; and if \(X_d\) is general then any such \(E\) splits into a direct sum of line bundles. (ii) If \(n = 4\) and \(X_d, d \geq 5\) is general any rank two ACM bundle on \(X_d\) is rigid.