Plumbings of lens spaces and crepant resolutions of compound $A_n$ singularities

Abstract

For many compound $A_n$ ($c{A}_n$) singularities $R_f=\mathbb{C}[u,v,x,y]/(uv-f(x,y))$ with crepant resolutions $Y_f$, their mirrors are affine $A_n$ plumbings $W_f^{\circ }$ of $3$-dimensional lens spaces along circles. We prove two versions of homological mirror symmetry for these Stein $3$-folds. (i) The uncompleted version: there is an equivalence $D^{perf}\mathcal{W}(W_f^{\circ })\simeq D^{b}Coh(Y_f^{\circ })$ between the derived wrapped Fukaya category and the bounded derived category of coherent sheaves on some divisor complement $Y_f^{\circ }=Y_f\setminus D$. (ii) The completed version: there is an equivalence $D^{perf}\hat{\mathcal{W}}(W_f^{\circ })\simeq D^{b}Coh({\hat{Y}}_f)$, where $\hat{\mathcal{W}}(W_f^{\circ })$ is the completion of $\mathcal{W}(W_f^{\circ })$ with respect to the word-length filtration of Hamiltonian chords, and ${\hat{Y}}_f$ is the complete local version of $Y_f$. As an application of (i), we show that certain infinitely generated subgroup of the pure braid group ${PBr}_{n+2}$ split injects into the compactly supported symplectic mapping class group of $W_f^{\circ }$ as long as $R_f$ is isolated, generalizing the work of Keating-Smith in the case of a conifold smoothing. Applying categorical localization to (ii), we obtain an equivalence between the (uncompleted) derived wrapped Fukaya category of the corresponding (non-affine) $A_n$ plumbing $W_f$ of lens spaces along circles and the relative singularity category of $Y_f$. This generalizes the result of Smith-Wemyss in the case of double bubble plumbings and partially answers their realization question.

v2: 51 pages, 15 figures. Major revision: Results on the symplectic mapping class group and some details added