Uniform Fourier–Mukai kernel bound conjecture equivalent to Kawamata's finiteness conjecture

About 17 years old · traced to

Let (Xi)i∈N(X_i)_{i\in\mathbb N} be the set of varieties derived equivalent to a fixed smooth projective variety XX. For each ii, let Ai\mathcal A_i be an ample line bundle on XiX_i, let Fi:Db(X)→Db(Xi)F_i:D^b(X)\to D^b(X_i) be a triangulated equivalence, and let Ki⋅∈Db(X×X)\mathcal K_i^\cdot\in D^b(X\times X) be the kernel of the Fourier–Mukai transform Fi∗(−⊗Ai)F_i^*(\mathord{-}\otimes\mathcal A_i). Let L\mathcal L be a very ample line bundle on X×XX\times X, and choose d∈Nd\in\mathbb N such that L⊕L−1⊕⋯⊕L−d\mathcal L\oplus\mathcal L^{-1}\oplus\cdots\oplus\mathcal L^{-d} is a strong generator of Dqcb(X×X)D^b_{qc}(X\times X). Write Hj\mathbb H^j for hypercohomology.

Uniform Fourier–Mukai kernel bound conjecture. The line bundles Ai\mathcal A_i and equivalences FiF_i can be chosen so that there exists a finitely supported function ν:Z→N\nu:\mathbb Z\to\mathbb N satisfying

dim⁡Hj(X,Ki⋅⊗Ll)≤ν(j)∀j, ∀l∈[0,d], ∀i.\dim\mathbb H^j(X,\mathcal K_i^\cdot\otimes\mathcal L^l)\leq\nu(j)\quad\forall j,\ \forall l\in[0,d],\ \forall i.

The source states that this condition is equivalent to the preceding finiteness conjecture, rather than presenting it as an independent claim. Its resolution status is not specified in the source.

References

Primary source

Fabrice Rosay, “Some remarks on the group of derived autoequivalences”, arXiv:0907.3880 (2009).

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.