Rank 3 arithmetically Cohen-Macaulay bundles over hypersurfaces (Q515585)

Given an smooth projective polarized variety \((X,\mathcal{O}_X(1))\), a vector bundle \(\mathcal{E}\) on \(X\) is called arithmetically Cohen-Macaulay (aCM) if it has no intermediate cohomology: \(H^i(\mathcal{E}(t))=0\) for \(t\in\mathbb{Z}\) and \(1\leq i\leq \dim(X)-1\). In the case of \(X\subset\mathbb{P}^n\) being a hypersurface of degree \(d>1\), it is known that \(X\) supports non-splitting (i.e., non-isomorphic to a direct sum of line bundles) aCM bundles of a certain rank \(r>1\). \textit{R. O. Buchweitz} et al. [Invent. Math. 88, 165--182 (1987; Zbl 0617.14034)] (motivated by the classification of aCM bundles on hyperquadrics) conjectured that if \(r:=\mathrm{rank}(\mathcal{E})<2^e\), where \(e=\lfloor\frac{n-2}{2}\rfloor\) then any aCM bundle \(\mathcal{E}\) splits as a direct sum of line bundles. The authors also showed that this conjectured can not be strengthened further. For rank \(2\), \textit{H. Kleppe} showed that these are split for hypersurfaces of dimension at least five [J. Algebra 53, 84--92 (1978; Zbl 0384.14004)]. In this article, improving results from the same author, it is proved that on any smooth hypersurface of dimension \(\geq 5\) any rank \(3\) aCM bundle should split. So Buchweitz, Greuel and Schreyer's conjecture is proved for rank \(3\). This follows as a corollary of the main theorem of the paper under review: if \(\mathcal{E}\) is an aCM bundle on a smooth hypersurface of dimension at least \(5\) then \(\mathcal{E}\) splits if and only if \(H^i(X,\bigwedge^2\mathcal{E}(t))=0\) for \(i=1,2,3,4\) and \(t\in\mathbb{Z}\).