Derived-category proof of the Grassmannian splitting criterion

Establish a proof of Ottaviani’s Grassmannian splitting criterion (Theorem 1.14 for Gr(P^k, P^n)) using the derived-category approach in the style of Beilinson–Kapranov, analogous to the Ancona–Ottaviani method for projective spaces and quadrics.

Background

Beilinson’s and Kapranov’s descriptions of the derived categories of Pn and Qn enable derived-category proofs of splitting criteria. Ancona–Ottaviani (1991) provided such proofs for projective spaces and quadrics.

Ottaviani (1989) established a cohomological splitting criterion for Grassmannians using representation-theoretic tools and Bott’s theorem. The authors ask whether an analogous derived-category proof can be developed for this Grassmannian criterion.

References

Question 2.9. Is there a proof of the splitting criterion Theorem 1.14 by using the derived category approach, analog to [AO91] for the case of projective spaces and quadrics ? Some results for Segre products are in [Mal08, CMR05].

Vector bundles without intermediate cohomology and the trichotomy result (2402.07254 - Ottaviani, 11 Feb 2024) in Question 2.9 (Section 2.3)