Stopped wrapped Fukaya category and a deformed preprojective algebra

Let XresX_{\mathrm{res}} be the resolution of the AnA_n surface singularity, let DrD_r be the indicated divisor, and let σ\sigma be a stop. Let ss be a formal parameter, with coefficients in C((s))\mathbb{C}((s)), and define

λi(s)=q1(s)qi1(s)(qi(s)1),\lambda_i(s)=q_1(s)\cdots q_{i-1}(s)(q_i(s)-1),

where qi(s)=esλiC((s))q_i(s)=e^{s\lambda_i}\in\mathbb{C}((s)) and the nonzero λi\lambda_i are determined by the symplectic areas of the non-exact Lagrangian spheres. Stopped Fukaya equivalence conjecture.

DπW(XresDr,σ)Db(Πλ(s)(A~n)).D^{\pi}\mathcal{W}(X_{\mathrm{res}}\smallsetminus D_r,\sigma)\cong D^b(\Pi^{\lambda(s)}(\widetilde{A}_n)).

Thus the category should be equivalent to the bounded derived category of finitely generated modules over the deformed preprojective algebra. This is the conjectural non-exact analogue of the exact computation via a Chekanov--Eliashberg algebra; the required wrapped Fukaya-category foundations and computation are not established in the paper.

Sources & referencesView supporting material

Primary source

Johan Rydholm, “Geometric realisations of type A_n preprojective algebras in homological mirror symmetry”, arXiv:2601.12045 (2026).

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.