REVIEW
Brane Dimers and Quiver Gauge Theories
High Energy Physics - Theory · Submitted 13 Apr 2005 · 53 references
Pith's verdict: The brane tiling is now the standard tool for this job, and the paper earns that status — but Section 4's 'proof' is a proof sketch, and the authors say so themselves in the conclusions.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A single periodic tiling of a torus is claimed to encode both an $N=1$ quiver gauge theory and the toric Calabi-Yau geometry that theory probes.
The reading
What carries the argument
The Kasteleyn matrix is the load-bearing device. It is a square matrix of size half the number of nodes in a unit cell, built by weighting each edge by $z^{n_z} w^{n_w}$ according to how the two flux lines winding the torus cycles cross it, and by a sign chosen so that the product of signs around any face is $+1$ for a face with $4k+2$ edges and $-1$ for one with $4k$. Its determinant is the characteristic polynomial, and the exponents of its monomials are the vertices of the toric diagram. The companion mechanism is the matching-to-field map: a bifundamental $X_i$ is written as the product of the perfect-matching variables that cover its edge, $X_i = prod_alpha p_alpha^{<e_i, p_alpha>}$, which makes the F-term relations hold identically because a matching covering one side of a superpotential vertex must cover the other. Together these turn a superpotential computation into a determinant.
Extended reading notes
Core claim
The central claim is a dictionary. Take a bipartite graph embedded on $T^2$ with all faces of even length, and read it as a brane configuration. Then $2n$-sided faces are gauge groups with $n$ flavors, edges are bifundamental chiral multiplets oriented so the white node lies to the right, and $k$-valent vertices are order-$k$ superpotential terms whose sign is fixed by the vertex color. Euler's formula on the torus gives the identity $N_g + N_W - N_f = 0$ for these theories, and the same identity follows independently from requiring vanishing $\beta$ functions together with $R(W)=2$. The second half of the claim is that the determinant of the Kasteleyn matrix — a signed, weighted adjacency matrix with rows on white nodes and columns on black, with $z$ and $w$ inserted along two flux lines — is a Laurent polynomial $P(z,w)$ whose Newton polygon is the toric diagram and whose coefficients are the GLSM multiplicities. The authors argue this is not an accident: perfect matchings of the tiling solve the F-term equations automatically, so they can be identified with GLSM fields, which upgrades the earlier Newton-polygon conjecture to a claimed derivation. The paper also reports a counterexample to a working conjecture: two of the four toric phases of pseudo del Pezzo 5 have identical characteristic polynomials despite being different graphs, so GLSM multiplicities do not one-to-one label toric phases.
Load-bearing premise
The load-bearing premise is that perfect matchings of the tiling can be identified with the fields of the gauged linear sigma model, which rests on the assertion that a matching covering one side of a superpotential vertex must cover the other side; that assertion is argued for the generic case but not verified case by case for tilings containing adjoint fields or bidirectional arrows.
Editorial extensions
If this is right
- Any quiver theory whose tiling can be drawn gets its toric diagram and GLSM multiplicities from the determinant of a matrix whose size is half the number of superpotential terms, replacing a dual-cone computation that scales badly with quiver size.
- The moduli space of the whole $Y^{p,q}$ family follows from a Kasteleyn matrix written down by a codon rule, without drawing the tiling and without running the Forward Algorithm on each member.
- Seiberg duality becomes a local move on the tiling and a corresponding operation on the Kasteleyn matrix, so the toric phases of a theory can be enumerated by computer starting from a single phase.
- Partial resolution and Higgsing become edge deletion plus collapse of the resulting bivalent vertex, giving a direct tiling-level picture of how one toric singularity degenerates to another.
- The McKay correspondence extends to non-compact toric Calabi-Yau threefolds, with the brane tiling playing the role the Dynkin diagram plays for ALE singularities.
- Two distinct toric phases can share a toric diagram with identical multiplicities, so multiplicity data alone is not a complete classifier of toric phases.
Reading between the lines
- If the matching-to-GLSM-field dictionary is exact in general, the tiling should also give $R$-charges directly, since $R$-charges are the weights of the same perfect-matching variables under the residual abelian symmetry; that would make $a$-maximization a computation on the graph rather than on the Lagrangian.
- The observed collision of characteristic polynomials implies that any automated enumeration of toric phases must eventually test graph isomorphism rather than compare polynomial invariants, which changes the complexity of the phase-classification problem from cheap to expensive in the worst case.
- Dimer theory already has a variational principle — extremizing a surface-tension functional to get the limit curve — and the paper's own closing remarks note that a Monge-Ampere extremization also appears in $a$-maximization; if these are the same extremization, the Calabi-Yau cone's Reeb vector is readable off the tiling's asymptotic shape.
- The deferral of the inverse problem suggests a concrete next target: a constructive procedure that takes a lattice polygon and outputs a bipartite torus tiling with that Newton polygon, which would close the loop between geometry and gauge theory.
Original abstract
We describe a technique which enables one to quickly compute an infinite number of toric geometries and their dual quiver gauge theories. The central object in this construction is a ``brane tiling,'' which is a collection of D5-branes ending on an NS5-brane wrapping a holomorphic curve that can be represented as a periodic tiling of the plane. This construction solves the longstanding problem of computing superpotentials for D-branes probing a singular non-compact toric Calabi-Yau manifold, and overcomes many difficulties which were encountered in previous work. The brane tilings give the largest class of N=1 quiver gauge theories yet studied. A central feature of this work is the relation of these tilings to dimer constructions previously studied in a variety of contexts. We do many examples of computations with dimers, which give new results as well as confirm previous computations. Using our methods we explicitly derive the moduli space of the entire Y^{p,q} family of quiver theories, verifying that they correspond to the appropriate geometries. Our results may be interpreted as a generalization of the McKay correspondence to non-compact 3-dimensional toric Calabi-Yau manifolds.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We describe a technique which enables one to quickly compute an infinite number of toric geometries and their dual quiver gauge theories. The central object in this construction is a ``brane tiling,'' which is a collection of D5-branes ending on an NS5-brane wrapping a holomorphic curve that can be represented as a periodic tiling of the plane. This construction solves the longstanding problem of computing superpotentials for D-branes probing a singular non-compact toric Calabi-Yau manifold, and overcomes many difficulties which were encountered in previous work. The brane tilings give the largest class of N=1 quiver gauge theories yet studied. A central feature of this work is the relation of these tilings to dimer constructions previously studied in a variety of contexts. We do many examples of computations with dimers, which give new results as well as confirm previous computations. Using our methods we explicitly derive the moduli space of the entire Y^{p,q} family of quiver theories, verifying that they correspond to the appropriate geometries. Our results may be interpreted as a generalization of the McKay correspondence to non-compact 3-dimensional toric Calabi-Yau manifolds.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We describe a technique which enables one to quickly compute an infinite number of toric geometries and their dual quiver gauge theories. | contribution 0.94 | 0.91 | 0.39 | asserted 1.00 |
| s1 | The central object in this construction is a ``brane tiling,'' which is a collection of D5-branes ending on an NS5-brane wrapping a holomorphic curve that can be represented as a periodic tiling of the plane. | method 0.72 | 0.48 | 0.08 | asserted 1.00 |
| s2 | This construction solves the longstanding problem of computing superpotentials for D-branes probing a singular non-compact toric Calabi-Yau manifold, and overcomes many difficulties which were encountered in previous work. | contribution 0.52 | 0.89 | 0.33 | asserted 1.00 |
| s3 | The brane tilings give the largest class of N=1 quiver gauge theories yet studied. | result 0.78 | 0.64 | 0.20 | asserted 1.00 |
| s4 | A central feature of this work is the relation of these tilings to dimer constructions previously studied in a variety of contexts. | contribution 0.61 | 0.43 | 0.07 | asserted 1.00 |
| s5 | We do many examples of computations with dimers, which give new results as well as confirm previous computations. | contribution 0.61 | 0.95 | 0.06 | asserted 1.00 |
| s6 | Using our methods we explicitly derive the moduli space of the entire Y^{p,q} family of quiver theories, verifying that they correspond to the appropriate geometries. | result 0.93 | 0.97 | 0.14 | asserted 1.00 |
| s7 | Our results may be interpreted as a generalization of the McKay correspondence to non-compact 3-dimensional toric Calabi-Yau manifolds. | interpretation 1.00 | 0.71 | 0.16 | hedged possibility 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:hep-th/0504110 by the authors.
References
How later papers used it
214 later papers cite it
2 later papers by other authors are listed below: 2 used its method or tool.
Uses its method or tool 2 of 35 papers with this label
-
Solved F-term equations by setting fields from products of variables for each perfect matching, following this paper's method.
Toric Calabi-Yau four-folds dual to Chern-Simons-matter theories (2008) · 1.00 · paraphrased: the licence does not allow quoting
-
Expressed fields as products of perfect matching variables raised to powers of the perfect matching matrix from this paper.
Toric Fano varieties and Chern-Simons quivers (2012) · 0.83 · paraphrased: the licence does not allow quoting
How the literature uses it
210 arXiv papers cite this in 532 sentences
Papers citing it · 291 sentences without a confident label
Builds on it 5 papers
-
Observe that the rule of how to perform Seiberg duality (for $SU(N)$ groups) in brane tilings [ref] can be extended to the orientifoded case as well.
Brane Tilings for Orientifolds · Orientifolds acting as line reflection · 0.96
-
This generalizes the definition of perfect matchings for brane tilings [ref] and of brick matchings for brane brick models [ref] .
Graded quivers and B-branes at Calabi-Yau singularities · Toric graded quivers and toric singularities · 0.98
-
We consider BFTs as natural generalizations of brane tilings [ref] defined on a torus $T^2$ with $B=0$.
Hilbert Series of Bipartite Field Theories · Bipartite Field Theories · 0.89
Uses its method or tool 36 papers
-
Our analysis, which is done exploiting dimers techniques [ref] , relies also on results obtained in [ref] , where a thorough investigation of consistent, anomaly free, D-brane models at orientifold singularities has been performed.
Dimers, Orientifolds and Stability of Supersymmetry Breaking Vacua · Introduction · 0.87
-
In this paper we apply the powerful description of D3-branes at toric CY threefold singularities in terms of dimer diagrams [ref] to unravel the underlying structure of discrete symmetries in general orbifolds of general toric singularities.
Discrete Symmetries in Dimer Diagrams · Introduction and conclusions · 0.98
-
Alternatively, the perfect matching technology gives the toric diagram directly via the fast-forward algorithm [ref] (which improves the forward algorithm of [ref] ): * To each perfect matching $p_α$ we associate a field in an abelian gauged linear sigma model (GLSM) [ref] , which we call a perfect matching variable and also denote by $p_α$, with a slight abuse of notation.
Zig-zag deformations of toric quiver gauge theories. Part I: reflexive polytopes · Fast-forward algorithm and toric diagrams · 0.97
Compares with it 5 papers
-
Comparing with model in model $9a$ in [ref] , with [ref] , phase III (see also [ref] , model B), we see that the relevant quiver has one additional bidirectional arrow corresponding to the one of the vanishing entries $S^∨_14,S^∨_25, S^∨_36$ in the adjacency matrix [ref].
Vafa-Witten invariants from exceptional collections · $PdP_3b$ · 1.00
-
The identification above has been observed already in [ref] and our composite move II corresponds a special case of their figure 13 (i.e. they are not working within the class of smooth quadrilateral tilings).
On the structure of quadrilateral brane tilings · Smooth quadrilateral tilings · 0.92
-
The above features that we have observed for master spaces of brane brick models realizing $2d$ $(0,2)$ supersymmetric gauge theories have not been observed for master spaces of brane tilings realizing $4d$ $𝒩=1$ supersymmetric gauge theories [ref] .
On the Master Space for Brane Brick Models · Observations and Discussions · 0.98
Cites it as support 2 papers
-
(However, it is worth mentioning that the effect of this duplication can be seen in the multiplicities of fields in the gauged linear sigma model description of $_τ_G⃗$ [ref] .) Despite seeming rather innocuous, notice that any such duplication must trigger an inconsistency in the associated superconformal field theory since [ref] implies $R_b + R_c =0$ for the new face bounded by $b$ and $c$.
On the structure of quadrilateral brane tilings · Duplication and lagging · 0.96
-
As a further check, the non-anomalous orthogonal Abelian symmetries become baryonic symmetries in the IR fixed point, and it is known (e.g., [ref] ) that the number of such symmetries matches that expected from the gravity dual, hence supporting the assumption that the IR $R$-symmetry is already visible in the UV Lagrangian.
Invariants of Toric Seiberg Duality · Dimer models and Seiberg duality · 0.97
Cites it as background 122 papers
-
In the last year there has been significant progress in the computation of BPS spectra of 4d $=2$ supersymmetric gauge theories using the Representation Theory of quivers with superpotentials [ref] (for previous work see [ref] ; for other approches to the $=2$ BPS spectra see [ref] ).
4d N=2 Gauge Theories and Quivers: the Non-Simply Laced Case · Introduction · 0.93
-
A prominent example is the correspondence [ref] between 4d $= 1$ quiver gauge theories realized by certain brane configurations in string theory, known as brane tilings [ref] , and the 2d lattice models that Bazhanov and Sergeev [ref] constructed using elliptic hypergeometric integrals discovered by Spiridonov [ref] .
Surface defects as transfer matrices · Introduction · 0.91
-
In order to extract the data of the effective quiver gauge theory from the geometry of $Z$, several procedures have been developed in [ref] , most notably the fast inverse algorithm and the brane tiling method.
Remarks on quiver gauge theories from open topological string theory · Introduction and summary · 0.85
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.