3 problems
Virtual-resolution minimality conjecture. The virtual resolution of from Proposition is the minimal free resolution of .
Berkesch–Erman–Smith's conjecture. The module admits a virtual resolution of length at most
Virtual projective dimension bound. One should have