Dimer models and toric diagrams

Recent paper arXiv:1103.0553 studied the quiver gauge theories on coincident $M2$ branes on a singular toric Calabi-Yau 4-folds which are complex cone over toric Fano 3-folds. There are 18 toric Fano manifolds but only 14 toric Fano were obtained from the forward algorithm. We attempt to systematize the inverse algorithm which helps in obtaining quiver gauge theories on $M2$-branes from the toric data of the Calabi-Yau 4-folds. In particular, we obtain quiver gauge theories o...

Dimer models provide a method of constructing noncommutative crepant resolutions of affine toric Gorenstein threefolds. In homological mirror symmetry, they can also be used to describe noncommutative Landau--Ginzburg models dual to punctured Riemann surfaces. For a zigzag consistent dimer embedded in a torus, we explicitly compute the Hochschild cohomology of its Jacobi algebra in terms of dimer combinatorics. This includes a full characterization of the Batalin--Vilkovisky ...

We develop tools for determining the gauge theory resulting from a configuration of Type IIB D3-branes probing a non-compact, toric Calabi-Yau 3-fold, in the presence of additional flavor D7-branes with general embeddings. Two main ingredients of our approach are dimer models and mirror symmetry. D7-branes with general embeddings are obtained by recombination of elementary D7-brane constituents. These tools are then used to engineer a large set of Bipartite Field Theories, a ...

In a previous paper, we showed how certain orientations of the edges of a graph G embedded in a closed oriented surface S can be understood as discrete spin structures on S. We then used this correspondence to give a geometric proof of the Pfaffian formula for the partition function of the dimer model on G. In the present article, we generalize these results to the case of compact oriented surfaces with boundary. We also show how the operations of cutting and gluing act on di...

In this paper, we investigate how it is possible to define a new class of lattice gauge models based on a dualization procedure of a previous generalization of the Kitaev Quantum Double Models. In the case of this previous generalization that will be used as a basis, it was defined by adding new qudits (which were denoted as matter fields in reference to some works) to the lattice vertices with the intention of, for instance, interpreting its models as Kitaev Quantum Double M...

We initiate a systematic investigation of the space of 2+1 dimensional quiver gauge theories, emphasising a succinct "forward algorithm". Few "order parametres" are introduced such as the number of terms in the superpotential and the number of gauge groups. Starting with two terms in the superpotential, we find a generating function, with interesting geometric interpretation, which counts the number of inequivalent theories for a given number of gauge groups and fields. We de...

We present an algorithm that finds all toric noncommutative crepant resolutions of a given toric 3-dimensional Gorenstein singularity. The algorithm embeds the quivers of these algebras inside a real 3-dimensional torus such that the relations are homotopy relations. One can project these embedded quivers down to a 2-dimensional torus to obtain the corresponding dimer models. We discuss some examples and use the algorithm to show that all toric noncommutative crepant resoluti...

Lecture notes from a minicourse given at the ICTP in May 2002.

Quantum gauge theory in the connection representation uses functions of holonomies as configuration observables. Physical observables (gauge and diffeomorphism invariant) are represented in the Hilbert space of physical states; physical states are gauge and diffeomorphism invariant distributions on the space of functions of the holonomies of the edges of a certain family of graphs. Then a family of graphs embedded in the space manifold (satisfying certain properties) induces ...

We demonstrate a practical and efficient method for generating toric Calabi-Yau quiver theories, applicable to both D3 and M2 brane world-volume physics. A new analytic method is presented at low order parametres and an algorithm for the general case is developed which has polynomial complexity in the number of edges in the quiver. Using this algorithm, carefully implemented, we classify the quiver diagram and assign possible superpotentials for various small values of the nu...