The Realisation Problem for contraction algebras

At least 4 years old · documented by

Let f∈C⟨ ⁣⟨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 f∈C⟨ ⁣⟨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.

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.