Kuznetsov–Shinder conjecture that D-equivalence implies L-equivalence

Let XX and YY be smooth projective simply connected varieties. Two varieties are DD-equivalent when there is a kk-linear exact equivalence of their bounded derived categories of coherent sheaves, and LL-equivalent when Lr([X][Y])=0\mathbb{L}^r([X]-[Y])=0 in K0(Vark)K_0(\operatorname{Var}_k) for some positive integer rr, where L=[Ak1]\mathbb{L}=[\mathbb{A}^1_k].

Kuznetsov–Shinder conjecture. If XX and YY are DD-equivalent, then they are LL-equivalent:

Db(X)Db(Y)    XLY.\mathcal{D}^{b}(X)\simeq\mathcal{D}^{b}(Y)\implies X\sim_LY.

The conjecture connects derived categories with motivic equivalence. It is refuted by the paper from which this statement is taken, which constructs a counterexample using moduli spaces of sheaves on K3 surfaces.

Sources & referencesView supporting material

Primary source

Reinder Meinsma, “Counterexamples to the Kuznetsov–Shinder L-equivalence conjecture”, arXiv:2503.21511 (2026).

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.