Noetherian criteria for dimer algebras (Q2042932)

Dimer algebras were introduced in string theory to describe a class of quiver gauge theories. A dimer algebra is a quiver algebra \(A=kQ/I\) of a quiver \(Q\) whose underlying graph \(\overline{Q}\) embeds in a torus \(T^2\) such that each connected component of \(T^2\setminus \overline{Q}\) is simply connected and bounded by an oriented cycle, called a unit cycle. The relations of \(A\) are given by the ideal \(I=<p-q: \text{ there exists } a\in Q_1\) such that \(pa\) and \(qa\) are unit cycles\(>\subset kQ\), where \(p\) and \(q\) are paths. The main theorem of this paper states that if \(A=kQ/I\) is a nondegenerate dimer algebra on a torus with center \(Z\), then the following are equivalent: (a) \(A\) is noetherian, (b) \(A\) is cancellative, (c) \(Z\) is noetherian, (d) \(A\) is a noncommutative crepant resolution, (e) each arrow of \(A\) is contained in a perfect matching whose complement supports a simple module, and (f) the vertex corner rings \(e_iAe_i\) are pairwise isomorphic.