D-equivalence conjecture for birational Calabi–Yau varieties
Establish that any two smooth projective birational Calabi–Yau varieties X and X′ have equivalent bounded derived categories, D^b(X) ≃ D^b(X′).
References
If X and X' are smooth projective birational Calabi--Yau varieties, then there is an equivalence of bounded derived categories Db(X) \simeq Db(X').
Along with the results for $K3{[n]}$-type and OG10 type, this leaves generalized Kummer type as the only remaining case among the currently known deformation types of irreducible holomorphic symplectic manifolds where the conjecture has not yet been fully established.
Note that this result is compatible with the conjecture that the existence of flops implies derived equivalence *{Conjecture in p.40} since if we have a floppable curve $C \subset X$, then $\omega_X|_C$ is torsion and hence $\omega_X$ is somewhere torsion.
Optimistically, one should expect that the twisted variant of Theorem 0.3 still holds, and that a similar proof will suffice. As the proof will show, this is related to the question of whether a Brauer class admits a B-field lift which is isotropic with respect to the BBF form.