This post reviews a few aspects of the article Brane Dimers and Quiver Gauge Theories, by Franco, Hanany, Kennaway, Vegh and Wecht. The illustrations are taken from this article. Here I will focus on an example, the general construction is pedagogically explained in the article linked above.

Toric brane tilings and quiver theories

Let us consider a configuration in type IIB string theory as follows :

\begin{equation}
\begin{array}{c|cccccccccc}
& 0 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ \hline
NS5 & - & - & - & - & \Sigma & \Sigma & \Sigma & \Sigma & \cdot & \cdot \\
D5 & - & - & - & - & -  & \cdot & - & \cdot & \cdot & \cdot
\end{array}
\end{equation}

Here $\Sigma$ is a two-dimensional surface embedded in $\mathbb{R}^2 \times T^2$ as indicated in the table. The torus $T^2$ is made of the two compact directions $4$ and $6$. If we look at the intersection $\Sigma \cap T^2$, we obtain a graph on $T^2$. Let us look at an example :

 

Here the black lines are the NS5 branes, and the faces contain D5 branes. The red dotted lines show the fundamental cells of the torus. An important property of the graph is that it is always bipartite, as represented by the black and white dots.

Let us assume there are $N$ D5 branes in each face of the tiling. Then on the world-volume, we have a four-dimensional $\mathcal{N}=1$ gauge theory characterized by its gauge group, its matter content and its superpotential. This can all be read from the tiling :

  • The faces are associated with the gauge nodes of the quiver.
  • The links of the tiling are associated with chiral multiplets, which are arrows in the quiver.
  • The vertices are associated with superpotential terms, whose sign is given by the color of the node. They correspond to certain loops in the quiver.

For the above tiling, the quiver diagram is obtained as illustrated below :

From the tiling in a fundamental cell we see that the superpotential will have one order 6 term with positive sign, three order four terms with negative sign and two order three terms with positive sign. In other words, the brane tiling give a very physical realization of the quiver gauge theory !

Note that the quiver diagram can be seen as the graph dual to the brane tiling. This means that it is a graph drawn on a torus, where the vertices are the gauge group factors, the links are the chiral multiplets and the faces are the superpotential terms. Only those quiver theories that admit such a representation can be obtained from a toric brane tiling. In our example, the toric quiver diagram is made of hexagons surrounded by six squares. Each square is surrounded by two hexagons and two triangles. Each triangle is surrounded by three squares.

The link with toric geometry

When we are given a toric bipartite graph, we can associate to each link a weight, as illustrated with the b) part of the first figure above. This weight is a pure sign if the link is inside a fundamental cell, and a sign and a fugacity if the link crosses the border of the fundamental cell, with an exponent which depends on the orientation of the link. In our example, the 12 links give 12 weights that can be gathered in a matrix
\begin{equation}
K=\left( \begin{array}{c|ccc}  & \ \ 2 \ \ & \ \ 4 \ \ & \ \ 6 \ \ \\ \hline
1 & 1+w & 1-zw & 1+z \\
3 & 1   & -1 & -w^{-1} \\
5 & -z^{-1} & -1 & 1 \end{array} \right)
\end{equation}
where the lines correspond to the white nodes and the columns to the black nodes. The determinant of this matrix is a (generalized) polynomial
\begin{equation}
P(z,w)=w^{-1}z^{-1}-z^{-1}-w^{-1}-6-w-z+wz
\end{equation}
whose coefficients can be represented in a diagram as follows:

This is an example of a toric diagram. It encodes toric geometry data that can be seen as the Calabi-Yau space probed by D3 branes that give our configuration after two T-dualities. For more details about all this construction, one can refer to this review by Kennaway.