Geometric Reid's recipe for dimer models (Q2339319)

Let \(A\) be the Jacobian algebra obtained from the quiver \(Q\) defined by the vertices and oriented edges of a dimer model. If the dimer model satisfies a consistency condition, then \(A\) is a non-commutative crepant resolution of its centre \(Z(A)\), which is the coordinate ring of a 3-dimensional toric Gorenstein singularity. Let \(X=\text{Spec } Z(A)\). Every projective crepant resolution of the singularity \(X\) is obtained as a fine moduli space of stable representations of \(A\) with dimension vector \((1, \dots , 1)\) denoted by \(Y\). For a certain choice of stability parameters depending on a choice of distinguished vertex \(0\in Q\), the dual of the tautological bundle on \(Y\) defines an equivalence of derived categories \(\Psi:D^b(\text{mod-}A)\to D^b(\text{coh}(Y ))\). In the special case, where the dimer model tiles the torus with triangles, then \(A\) is the skew group algebra for a finite abelian subgroup \(G \subset \mathrm{SL}(3, \mathbb{C})\), and it can be arranged \(Y\) to be the \(G\)-Hilbert scheme and the equivalence above to coincide with the derived equivalence of Bridgeland-King-Reid from the McKay correspondence. Let \(S_i\) denote the simple \(A\)-module corresponding to vertex \(i\) in \(Q\). The main result of the paper under review proves that for any \(i\neq 0\), the object \(\Psi(S_i)\) is quasi-isomorphic to a shift of a coherent sheaf, and the derived dual of \(\Psi(S_0)\) is quasi-isomorphic to the shift by 3 of the push-forward of the structure sheaf of the fiber of \(Y\to X\) over the unique torus-invariant point. In particular, \(\Psi(S_0)\) is a pure sheaf if and only if the fiber is equidimensional. One ingredient of the proof involves establishing a link between the objects \(\Psi(S_i)\) that have non-vanishing cohomology in degree zero and certain walls of the GIT chamber containing the stability parameter. This result in combination with other known results provide the Geometric Reid's recipe which is the dimer model analogue of the Geometric McKay correspondence in dimension three proven by Logvinenko. Geometric Reid's recipe provides a description of the objects \(\Psi(S_i)\).