Kuznetsov's Fourier–Mukai conjecture for categorical data

Let XX and YY be irreducible smooth projective schemes over C\mathbb{C}, of dimensions dXd_X and dYd_Y, respectively, related by the categorical data in the source. Let TX{\mathcal T}_X and TY{\mathcal T}_Y be the associated subcategories, let ϕ:TXTY\phi:{\mathcal T}_X\simeq {\mathcal T}_Y be an equivalence, and let

Φ:perf(X)perf(Y)\Phi:\operatorname{perf}(X)\to\operatorname{perf}(Y)

be the composition of the projection onto TX{\mathcal T}_X, the equivalence ϕ\phi, and the inclusion into perf(Y)\operatorname{perf}(Y). Kuznetsov's Fourier–Mukai conjecture. There exists a perfect complex Eperf(X×Y){\mathcal E}\in\operatorname{perf}(X\times Y) such that Φ\Phi is isomorphic to

ΦE():=Rq(p()LE),\Phi_{\mathcal E}(-):=Rq_*(p^*(-)\otimes^L{\mathcal E}),

where p:X×YXp:X\times Y\to X and q:X×YYq:X\times Y\to Y are the projection morphisms. This is a representability assertion for the functors arising from the categorical data; the supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Marcello Bernardara and Goncalo Tabuada, “From semi-orthogonal decompositions to polarized intermediate Jacobians via Jacobians of noncommutative motives”, arXiv:1305.4687 (2014).

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.