Kasteleyn operators from mirror symmetry (Q2328151)

Given a bipartite graph \(\Gamma\) in \(T^2\) with complex valued edge weighting (determined by a local system on \(\Gamma\)) one can define a matrix valued Laurent polynomial \(K(x,y)\) on \((\mathbb{C}^\times)^2\), called the Kasteleyn operator, whose entries are sign-twisted weighted edge counts. The vanishing locus of its determinant defines a curve, the spectral curve \(C\) of \(K\), and its cokernel defines a sheaf on \(C\), the spectral transform of \(K\). Kenyon-Okounkov-Sheffield showed that statistical properties of dimer configurations on the correponding doubly periodic graph in \(\mathbb{R}^2\) are largely determined by \(C\). The main result of this paper is a homological mirror symmetry interpretation of the spectral transform. The interpretation is based on the coherent-constructible correspondence, proved in this context by Kawagaki. Let \(\Sigma\) denote the complete stacky fan determined by zig-zag paths on \(\Gamma\), and \(\mathcal{X}_\Sigma\) be the corresponding toric compactification of \((\mathbb{C}^\times)^2\). The algebraic side of correspondence is the dg category of perfect complexes Perf\,\((\mathcal{X}_\Sigma)\). Now let \(\Lambda_\Sigma\) be a singular Legendrian in the contact boundary of \(T^*T^2\). The symplectic side is given by Lagrangian brains asymptotic to \(\Lambda_\Sigma\), which are faithfully modeled by constructible sheaves with microsupport asymptotic to \(\Lambda_\Sigma\). Local systems on \(\Gamma\) give rise to Lagrangian branes \(L_\Gamma\) in \(T^*T^2\) asymptotic to the Legendrian lift \(\Lambda_\Gamma\) of zig-zag paths in \(\Gamma\). Under a consistency condition on \(\Gamma\), this lift is Legendrian isotopic to the Legendrian link \(\Lambda_{\Sigma^\circ}\) associated to the rays of \(\Sigma\). This isotopy quantizes to a map of constructible sheaves, combining which with the coherent-constructible correspondence gives none other than the spectral transform. In coarse terms, the wrapped Fukaya category of \(T^*T^2\) objects supported on \(L_\Gamma\) are mirrored by perfect complexes supported on \(C\).