Dimer models and group actions

From MaRDI portal



Abstract: We construct a consistent dimer model having the same symmetry as its characteristic polygon. This produces examples of non-commutative crepant resolutions of non-toric non-quotient Gorenstein singularities in dimension 3.


Let \(N\) be a free rank two abelian group and \(M=\Hom(N,{\mathbb Z})\). A \textit{ dimer model} \(G\) is a bicolored graph embedded on the real \(2\)-torus \(T=M \otimes {\mathbb R}/M\) in such a way that there are no univalent nodes (adjacent to just one node), and that every face is simply connected. In a purely combinatorial way one can associate a convex lattice polygon \(\Delta \subset N \otimes {\mathbb R}\) to \(G\), and consequently a Gorenstein affine toric \(3\)-fold denoted \(X_\Delta\). A \textit{quiver} \(Q\) is a set \(Q_0\) of vertices, a set \(Q_1\) of arrows and a pair \(s,t: Q_1 \to Q_0\), the source and the target. One can produce in a natural way a \textit{ path algebra} on \(Q\), and impose the relations of an ideal in such algebra. It can be shown that there exists a dimer model \(G\) (whose faces are \(Q_0\) and whose edges are \(Q_1\)) which encodes the information of a quiver with relations (see Section 2.1 for details). Under appropriate hypotheses (consistency) on \(G\), the path algebra of a quiver with relations is a non-commutative crepant resolution of \(X_\Delta\). Let us consider a finite group \(H \subset\) Gl\((2,{\mathbb Z})\) which leaves \(\Delta\) invariant. The first result in the paper under review (see Thm. 1) shows the existence of a (consistent) dimer model \(G\) symmetric with respect to the action of \(H\) (notion introduced in Def. 1), whose characteristic polygonal is \(\Delta\). On the other hand, if \(G\) is symmetric with respect to the \(H\)-action, then \(H\) is shown to act on the associated quiver with relations, and one can associate \(H\)-actions on its path algebra and on \(X_\Delta\). The second result (see Thm.2) shows that the crossed product algebra of the path algebra and \(H\) is a non-commutative crepant resolution of \(X_\Delta/H\).



Cites work









This page was built for publication: Dimer models and group actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6139841)