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

Let (Xi)iN(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 KiDb(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 dNd\in\mathbb N such that LL1Ld\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 ν:ZN\nu:\mathbb Z\to\mathbb N satisfying

dimHj(X,KiLl)ν(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.

Sources & referencesView supporting material

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.