Realization conjecture for complexes as direct images on projective space

About 21 years old · traced to

Let AA be a ring and let

0→B0→⋯→Bn→00\to B_0\to\cdots\to B_n\to 0

be a bounded complex of finitely generated AA-modules. Realization conjecture. Every such complex arises as the direct image complex of a family of sheaves on PAn{\mathbb P}^n_A, which can be taken to be a deformation of the sheaf

⨁p(Bp⊗⋀pΩPAn/A).\bigoplus_p\left(B_p\otimes\bigwedge^p\Omega_{{\mathbb P}^n_A/A}\right).

The claim proposes a broad realization result via families of sheaves and the relative Beilinson construction; the supplied passage gives no evidence of resolution.

References

Primary source

David Eisenbud and Frank-Olaf Schreyer, “Relative Beilinson Monad and Direct Image for Families of Coherent Sheaves”, arXiv:math/0506391 (2006).

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.