The Classification Conjecture for contraction algebras of smooth threefold flops

From papers

Let \EuScriptX1Spec\EuScriptR1\EuScript{X}_1\to\operatorname{Spec}\EuScript{R}_1 and \EuScriptX2Spec\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(modAcon)Db(modBcon).\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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.