Dimer models and group actions (Q6139841)

From MaRDI portal
scientific article; zbMATH DE number 7780714
Language Label Description Also known as
English
Dimer models and group actions
scientific article; zbMATH DE number 7780714

    Statements

    Dimer models and group actions (English)
    0 references
    0 references
    0 references
    0 references
    19 December 2023
    0 references
    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\).
    0 references
    algebraic geometry
    0 references
    dimer models
    0 references
    non-commutative crepant resolutions
    0 references
    McKay correspondence
    0 references
    moduli spaces of quiver representations
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references