The Realisation Problem for contraction algebras

Let fC ⁣x,y ⁣f\in\mathbb{C}\langle\!\langle x,y\rangle\!\rangle, and define its Jacobi algebra by

\EuScriptJac(f)=C ⁣x,y ⁣( ⁣(\updeltaxf,\updeltayf) ⁣).\EuScript{J}\mathrm{ac}(f)=\frac{\mathbb{C}\langle\!\langle x,y\rangle\!\rangle}{(\!(\updelta_x f,\updelta_y f)\!)}.

Here \updeltax\updelta_x and \updeltay\updelta_y are the cyclic derivatives, and ( ⁣(I) ⁣)(\!(I)\!) denotes the closure of the two-sided ideal generated by II.

Realisation Problem. If fC ⁣x,y ⁣f\in\mathbb{C}\langle\!\langle x,y\rangle\!\rangle satisfies GKdim\EuScriptJac(f)1\operatorname{GKdim}\EuScript{J}\mathrm{ac}(f)\leq 1, then \EuScriptJac(f)\EuScript{J}\mathrm{ac}(f) is geometric. In particular, every finite-dimensional superpotential algebra

C ⁣x,y ⁣( ⁣(\updeltaxf,\updeltayf) ⁣)\frac{\mathbb{C}\langle\!\langle x,y\rangle\!\rangle}{(\!(\updelta_x f,\updelta_y f)\!)}

can be constructed as the contraction algebra of some irreducible 33-fold flop.

This asks which algebras can occur as contraction algebras of crepant resolutions of cDV singularities. The source presents the statement as covering the one-curve case and notes that more general statements exist but are harder to state; no resolution status is supplied.

Sources & referencesView supporting material

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.