Horrocks splitting on Segre-Veronese varieties (Q2069629)

A classical result of \textit{G. Horrocks} [Proc. Lond. Math. Soc. 14, 689--713 (1964; Zbl 0126.16801)] says that a vector bundle \(\mathcal{F}\) on \(\mathbb{P}^{n}\) splits as a direct sum of line bundles if and only if its intermediate cohomology modules with respect to \(\mathcal{O}(1)\) vanish, i.e.~ \(H^{i}(\mathcal{F}(k))=0\) for \(1 \leq i \leq n-1\) and \(k \in \mathbb{Z}\). In the paper under review, the author proves a similar criterion for a Segre-Veronese variety, i.e.~ a product \(\mathbb{P} := \mathbb{P}^{n_{1}} \times \cdots \times \mathbb{P}^{n_{t}}\) embedded in projective space by a very ample line bundle \(\mathcal{O}(H) := \mathcal{O}(d_{1}, \dots ,d_{t})\). In what follows we write \(m := n_{1} + \cdots + n_{t}\). This criterion, Theorem 0.1, says that the following are equivalent for a torsion-free sheaf \(\mathcal{F}\) of rank \(r\) on \(\mathbb{P}\) when \(t \geq 2:\) \begin{itemize} \item[(i)] \(\mathcal{F} \cong \mathcal{O}(k_{1}H) \oplus \dots \oplus \mathcal{O}(k_{r}H)\) for some \(k_{1}, \dots ,k_{r} \in \mathbb{Z}.\) \item[(ii)] \(H^{i}(\mathcal{F}(a_{1}, \dots ,a_{t})) = 0\) for \(1 \leq i \leq m-1\) and all \((a_{1}, \dots a_{t}) \in \mathbb{Z}^{t}\) for which every intermediate cohomology module of \(\mathcal{O}(a_{1}, \dots ,a_{t})\) with respect to \(\mathcal{O}(H)\) vanishes. \end{itemize} The proof is based on the Tate resolution for a coherent sheaf on \(\mathbb{P}\) studied in [\textit{D. Eisenbud} et al., Acta Math. Vietnam. 40, No. 1, 5--36 (2015; Zbl 1400.14050)], specifically the corner complex defined in [loc. cit.] as a cone of a map between two of its subquotient complexes. A close analysis of the differentials of the corner complex shows that when \(\mathcal{F}\) satisfies (ii), it admits a direct summand of the form \(\mathcal{O}(kH)\) for some \(k \in \mathbb{Z}\). Since the implication (i) \(\Rightarrow\) (ii) is straightforward, Theorem 0.1 then follows from induction on \(r\).