Berkesch–Erman–Smith's virtual resolution length conjecture

Let YY be a smooth toric variety with Cox ring SS, and let MM be a finitely generated graded SS-module. A virtual resolution of MM is a complex of graded free SS-modules whose associated complex of sheaves is a locally free resolution of the associated sheaf of MM.

Berkesch–Erman–Smith's conjecture. The module MM admits a virtual resolution of length at most

dim(Y).\dim(Y).

This conjecture is a version of Hilbert's Syzygy Theorem for virtual resolutions. It was proved for products of projective spaces by Berkesch, Erman, and Smith, for monomial ideals in Cox rings of smooth toric varieties by Yang, and in the paper's setting for smooth projective toric varieties of Picard rank 22.

Sources & referencesView supporting material

Primary source

Michael K. Brown and Mahrud Sayrafi, “A short resolution of the diagonal for smooth projective toric varieties of Picard rank 2”, arXiv:2208.00562 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.