zbMATH — the first resource for mathematics

Consistency conditions for dimer models. (English) Zbl 1244.14042
Let \(X\) be a three-dimensional normal Gorenstein singularity admitting a crepant resolution \(\tilde X\rightarrow X\). Then one is interested in describing the bounded derived category \(\mathcal D\text{Coh}\tilde X\) of coherent sheaves on \(\tilde X\). Bridgeland shows that this category depends only on the singularity and not on the choice of crepant resolution. In many cases there exists a tilting bundle \(\mathcal X\in\mathcal D\text{Coh}\tilde X\) such that \(\mathcal D\text{Coh}\tilde X\) is equivalent as a triangulated category to the derived category of finitely generated \(A\)-modules \(\mathcal D\text{Mod}A\), where \(A=\text{End}\mathcal X\). This leads to Van den Bergh’s introduction of a noncommutative crepant resolution (NCCR) of \(X\) which is a homologically homogeneous algebra of the form \(A=\text{End}(T)\), where \(T\) is a reflexive \(R\)-module, with \(R=\mathbb C[X]\) the coordinate ring of the singularity. However, a NCCR is not unique, and there are an infinite number of different noncommutative crepant resolutions.
To restrictions are made. The first is that \(X\) is a toric three-dimensional singularity. This implies the existence of a commutative crepant resolution. The second restriction is that the tilting bundle is a direct sum of nonisomorphic line bundles. From string theory (Franco, Hanany, Kennaway, Herzog, Vegh, Wecht), it follows that under these conditions the algebra \(A\) can be described using a dimer model on a torus. This means that \(A\) is the path algebra of a quiver \(Q\) with relations where \(Q\) is embedded in a two-dimensional torus \(T\) such that every connected piece of \(T\setminus Q\) is bounded by a cyclic path of length at least \(3\). The relations are given by demanding that for every arrow \(a\) that \(p=q\) where \(ap\) and \(aq\) are the bounding cycles that contain \(a\).
This description follows from the fact that the algebra \(A\) is a toric order, a special type of order compatible with the toric structure, and Calabi-Yau-3 (CY-3), i.e. it admits a self-dual bimodule resolution of length \(3\). It is known that every toric CY-3 order comes from a dimer model.
Under specific consistency conditions, a dimer model gives a noncommutative crepant resolution of its center. Quite different consistency conditions have been proposed. These includes cancellation, nonintersecting zig and zag rays, consistent R-charges and algebraic consistency. The aim of this article is to show that for dimer models on a torus, all these consistency conditions are equivalent. Also, the condition of being an order and the condition of being an NCCR are also equivalent to these consistency conditions. For the CY condition, the situation is less clear. The article contains an example of an infinite dimer model that is not cancellation but satisfies a suitable generalization of the CY-3 property to the infinite case. No finite counterexamples are known.
If one broadens the definition of a dimer model to allow other compact surfaces, the consistency conditions are no longer equivalent. The author discuss the differences for those cases.
The article contains a detailed introduction to quivers with relations and in particular to dimer models on a torus. Then the different consistency conditions are treated, and the known equivalences is stated and illustrated with examples. The concept of orders is treated in particular, and a main result of the article is that a Jacobi algebra of a dimer model on a torus is an order if and only if it is algebraically consistent. Finally, the author proves that the Jacobi algebra of a dimer model on a torus is a noncommutative crepant resolution of its center if and only if it is cancellation. A very precise summary of the different equivalences is given at the end. In addition to its aim of proving equivalences, the article is interesting because of its introduction to the different concepts and applications of dimer models. It triggers the reader to a further study on the subjects introduced.

14M25 Toric varieties, Newton polyhedra, Okounkov bodies
14A22 Noncommutative algebraic geometry
16S38 Rings arising from noncommutative algebraic geometry
Full Text: DOI arXiv
[1] Van den Bergh, The legacy of Niels Hendrik Abel pp 749– (2002)
[2] Hanany, J. High Energy Phys. 7 pp 44– (2006)
[3] DOI: 10.1307/mmj/1220879430 · Zbl 1177.14026 · doi:10.1307/mmj/1220879430
[4] DOI: 10.1016/j.jalgebra.2005.08.008 · Zbl 1117.16013 · doi:10.1016/j.jalgebra.2005.08.008
[5] DOI: 10.1016/j.aim.2009.10.001 · Zbl 1191.14008 · doi:10.1016/j.aim.2009.10.001
[6] DOI: 10.1006/jabr.1998.7599 · Zbl 0926.16006 · doi:10.1006/jabr.1998.7599
[7] Orzech, Brauer groups in ring theory and algebraic geometry pp 68– (1982)
[8] DOI: 10.1016/0021-8693(87)90190-6 · Zbl 0608.16011 · doi:10.1016/0021-8693(87)90190-6
[9] DOI: 10.1090/S0002-9947-04-03545-7 · Zbl 1062.05045 · doi:10.1090/S0002-9947-04-03545-7
[10] DOI: 10.1007/s002220100185 · Zbl 1085.14017 · doi:10.1007/s002220100185
[11] Kenyon, An introduction to the dimer model (2004) · Zbl 1076.82025
[12] Kennaway, Int. J. Modern Phys. 22 (2007) · Zbl 1141.81328 · doi:10.1142/S0217751X07036877
[13] DOI: 10.1016/j.jpaa.2007.03.009 · Zbl 1132.16017 · doi:10.1016/j.jpaa.2007.03.009
[14] Ishii, higher dimensional algebraic varieties and vector bundles (2008)
[15] Hanany, J. High Energy Phys. 10 pp 35– (2007)
[16] DOI: 10.1088/1126-6708/2006/01/096 · doi:10.1088/1126-6708/2006/01/096
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.