The Classification Conjecture for contraction algebras of smooth threefold flops

About 5 years old · traced to

Let \EuScriptX1→Spec⁡\EuScriptR1\EuScript{X}_1\to\operatorname{Spec}\EuScript{R}_1 and \EuScriptX2→Spec⁡\EuScriptR2\EuScript{X}_2\to\operatorname{Spec}\EuScript{R}_2 be 33-fold flopping contractions, where \EuScriptXi\EuScript{X}_i are smooth and \EuScriptRi\EuScript{R}_i are complete local. Denote their corresponding contraction algebras by Acon⁡\mathrm{A}_{\operatorname{con}} and Bcon⁡\mathrm{B}_{\operatorname{con}}, respectively.

The Classification Conjecture. The complete local cDV singularities are isomorphic if and only if their contraction algebras have equivalent bounded derived categories:

\EuScriptR1≅\EuScriptR2  ⟺  Db(mod⁡Acon⁡)≃Db(mod⁡Bcon⁡).\EuScript{R}_1\cong\EuScript{R}_2\iff D^b(\operatorname{mod}\mathrm{A}_{\operatorname{con}})\simeq D^b(\operatorname{mod}\mathrm{B}_{\operatorname{con}}).

This asserts that the algebraic structure of the contraction algebra classifies the underlying cDV singularity in the smooth threefold flopping setting. The source records evidence and enhanced versions known in several cases, but does not give a resolution of the conjecture in full generality.

References

Primary source

Michael Wemyss, “A lockdown survey on cDV singularities”, arXiv:2103.16990 (2023).

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.