Fourier–Mukai duality conjecture for cubic curves

Let C:SpecRMcubC:\operatorname{Spec} R\to \mathcal{M}_{cub} be a cubic curve, and let C^\widehat{C} denote its formal completion, a formal group over RR. Write SC^1=BC^S^1_{\widehat{C}}=B\widehat{C}^{\vee}. The category QCoh(C)\operatorname{QCoh}(C) admits an exotic symmetric monoidal structure \star extending convolution on quasi-coherent sheaves over the smooth locus of CC. Fourier–Mukai duality conjecture. There is a Fourier–Mukai symmetric monoidal equivalence

QCoh(C)QCoh(C)\operatorname{QCoh}(C)^\otimes\simeq\operatorname{QCoh}(C)^\star

which in particular induces an isomorphism

Aff(C)SC^1.\operatorname{Aff}(C)\simeq S^1_{\widehat{C}}.

Such a theory would extend Fourier–Mukai duality from elliptic curves to arbitrary cubic curves over general base rings and would identify the Hochschild theory associated to the formal group with the mapping-space construction for the cubic. Its existence is left as a conjecture and is nontrivial even over algebraically closed fields of characteristic zero.

Sources & referencesView supporting material

Primary source

Sarah Scherotzke, Nicolò Sibilla and Paolo Tomasini, “Fourier–Mukai equivalences for formal groups and elliptic Hochschild homology”, arXiv:2505.00172 (2025).

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.