You are on page 1of 5

Comments on Quivers and Fractons

Shlomo S. Razamat
Department of Physics, Technion, Haifa 32000, Israel
Institute for Advanced Study, Princeton, NJ 08540, USA
(Dated: July 15, 2021)
We discuss certain structural analogies between supersymmetric quiver gauge theories and lattice
models leading to fracton phases of matter. In particular, classes of quiver models can be viewed as
lattice models having sub-system symmetries, dimensions of moduli spaces growing linearly with the
size of the lattice, and having excitations with limited mobility (with “excitations” and “mobility”
properly defined).
arXiv:2107.06465v1 [hep-th] 14 Jul 2021

Introduction: Lattice models are a very useful effec- with the size of the lattice). We will discuss a very par-
tive description of various phases of condensed mat- ticular supersymmetric quiver theory with D = 4.
ter physics. There are two ways to understand such A Quiver theory/Lattice: Let us define an example of
lattice models. First, these are quantum mechani- a quiver theory. We consider an N = 1 sypersymmetric
cal systems with degrees of freedom labeled by lattice gauge theory in D = 4. The gauge group is SU(N )L1 ×L2 .
points/edges/faces. As such this is an example of a 0 + 1 The matter content consists of a collection of chiral su-
quantum field theory (QFT). Second, one literally thinks perfields transforming in a fundamental representation
about the lattice as a spatial arrangement of degrees of of one of the L1 × L2 SU(N ) gauge factors and in anti-
freedom, say of atoms. As such the lattice models de- fundamental of another. The matter content can be ef-
scribe excitation propagating in real space and this is fectively encoded in a quiver diagram of Fig. 1. The
the perspective from which the lattice models are usually lattice has L1 nodes along the vertical axis and L2 nodes
studied. (Supersymmetric) quiver gauge theories have a along the horizontal axis, and it is periodic. The quiver
very similar structure. These are QFTs in (D − 1) + 1 di-
mensions with fields labeled by vertices/edges of a lattice.
The vertices are associated typically to gauge interactions
and the edges to matter fields. One can have also inter-
actions associated to faces of the lattice. On the other
hand one can try to view the lattice of the quiver theory ℬp
𝒜
as a discretization of spatial dimensions. In other words, 𝒞p p
we can view the quiver theory as a stack, dimension of L1
which is the dimension of the lattice, of D-dimensional
coupled layers. This approach was pioneered in [1].
In recent years there is a lot of interest in the con-
densed matter literature in a new type of lattices which
give rise to the so called fractonic phases of matter [2–4].
These systems have quite interesting properties. These
L2
include, among others, sub-system symmetries, excita-
tions of restricted mobility, and large number of vacua FIG. 1. An example of a quiver theory. Each node is an
(log of which scales linearly with the size of the lattice). SU(N ) gauge group. The lines are chiral superfields in the
Moreover, these systems pose a challenge to the usual fundamental representation of the symmetry of the node they
Wilsonian paradigm of going from a lattice theory in the point to and anti-fundamental representation of the node they
UV to a continuum QFT in the IR [5]. emanate from.
In this note we will want to revisit the interpretation of
quiver gauge theories as a lattice model and draw some theory has chiral superfields Ap , Bp and Cp associated to
analogies to the lattice theories of fractons. In partic- the three types of edges: the vertical, and the two diago-
ular we will consider quiver theories corresponding to a nals. We can label the fields by one of the two triangular
two dimensional periodic (toroidal) lattice. We will show plaquettes, p, they reside on. The interactions include
that when these models are viewed as residing on a spa- N = 1 SU(N ) gauge dynamics at each vertex involving
tial lattice they have properties which are characteristic the fields ending on that vertex. The fields are in the fun-
of the fractonic theories. Namely, these models have sub- damental representation if the edge goes into the vertex
system symmetries, excitations of restricted mobility and and anti-fundamental if it exits it. Moreover, there is a
manifolds of vacua (dimension of which scales linearly superpotential interaction associated to each triangular
2

plaquette, it and are not charged under the β symmetries. These


X symmetries (excluding an overall diagonal combination
W = λp Tr Ap Bp Cp , (1) which is redundant) are non-anomalous and consistent
p
with the superpotential (1). The α, β and γ symmetries
where p labels the plaquette (λp are couplings). This (excluding the diagonal combination of each) are thus
quiver theory is conformal meaning that one can con- also sub-system symmetries. To summarize the continu-
tinuously turn on certain combinations of the couplings
starting from the free theory without breaking conformal-
ity and triggering an RG flow, see e.g. [6, 7]. Such quiver
theories appear in numerous contexts and have been ex- βj
tensively studied following [8]. The quiver theories are
very much reminiscent of layered CS models studied e.g.
in [9]. In fact the D = 4 quiver theory can be thought of
as an IR effective description of a UV D = 6 (1, 0) SCFT γk
compactified on a torus with minimal punctures [7]. The
D = 6 SCFT is either the one residing on N M5-branes
probing ZL1 singularity and we have L2 punctures, or
ZL2 singularity and we have L1 punctures. Taking all
couplings to be small one can think of the punctures in αi
either description as ordered along one of the cycles of
the torus giving a notion of locality on the lattice. This FIG. 2. Sub-system symmetries.
is very reminiscent of lattice spin models being an effec-
tive description of an underlying UV continuum theory. ous symmetry group of the theory can be written as,
Note that for general Li and N > 3 there are no su- L2 GCD(L1 ,L2 )
U(1)L
αi × U(1)βi × U(1)γi
2
persymmetric marginal or relevant deformations beyond G = U(1)R × . (2)
gauge interactions and (1), while for N = 3 we can add U(1)
marginal baryonic superpotentials to be discussed later, It is useful to define three symmetries U(1)α × U(1)β ×
and for N = 2 we can have relevant mass terms for the U(1)γ such that each is a diagonal combination of the
fields. symmetries with the i indices. The U(1) projection is
Sub-system symmetry: Let us discuss the global sym- such that the diagonal combination of these is factored
metry of the quiver theory. First, as the theory is con- out. One can study more general, twisted, boundary
formal in the UV it has an R-symmetry which assigns conditions leading to smaller symmetry groups [11].
free charges (2/3) to all the chiral superfields. Moreover, Excitations: Let us consider local gauge invariant exci-
the model possesses additional global symmetries. The tation on the lattice. By local we mean operators which
dimension of the symmetry group depends on the size are constructed from fields of a single edge on the lattice.
of the lattice. We have L2 U(1) symmetries which we A nice set of such operators is given in terms of the chiral
label by αi (i = 1, · · · , L2 ) associated to the columns of (di)baryons built from the edges of the lattice,
the lattice, see Fig. 2. Under these symmetries the B N
fields inside the relevant column have charge +1 and the Y b
Aij = a1 ...aN b1 ...bN (Aij )a`` ,
C fields inside the relevant column have charge −1. While
`=1
all A fields and fields outside the column have vanishing N
charge. This symmetry is thus a sub-system symmetry
Y a
Bij = a1 ...aN b1 ...bN (Bij )b`` , (3)
of the lattice (This is very reminiscent of the XY pla- `=1
quette model [10].). The model has L1 U(1) symmetries N
which we label by βi (i = 1, · · · , L1 ) associated to the
Y a
Cij = a1 ...aN b1 ...bN (Cij )b`` .
diagonals winding to the left and down of the lattice, see `=1
Fig. 2. The insistence on having these symmetries deter-
Here we contract the gauge indices and label the fields
mines the gluing of the lattice into a torus. In addition
and the baryons by the symmetries they are charged un-
to these we also have GCD(L2 , L1 ) symmetries which
der. For example, the baryon Aij is charged under βi
we label by γi (i = 1, · · · , GCD(L1 , L2 )) associated to
symmetry and γj symmetry. We view these baryons as
the diagonals winding to the left and up of the lattice.
excitations propagating in the D dimensional continuous
The A fields have charge (−1, −1) under the (β, γ) sym-
space-time as well as on the two dimensional lattice. Let
metries diagonals of which cross it. The fields B have
us assume first that GCD(L1 , L2 ) = L1 and consider the
charge +1 under the β symmetry which crosses it and are
two-point functions,
not charged under the γ symmetries. Finally, the fields

C have charge +1 under the γ symmetry which crosses hBij (x1 ) (Bkl (x2 )) i ∝ δik δjl . (4)
3

The statement on the right-hand side follows simply from there. The breaking of symmetry is a global effect on the
symmetry arguments as the baryons at different locations lattice.
of the lattice are charged under different sub-system sym- Once the couplings are tuned not to be small this ar-
metries. We interpret this fact as the baryonic excitations gument fails and the baryons acquire mobility. However,
being immobile on the lattice (though they are free to tuning the couplings to be finite the notion of locality on
move in the D dimensional continuous space). Similar the lattice is lost. For example, the quiver theory we are
statements can be made about A and C baryons. discussing enjoys an S-duality: a weakly coupled quiver
On the other hand taking pairs of baryons we have theory is dual to a strongly coupled one with any two of
(Here the first index is the α one.), the columns permuted [7]. Thus in order to have a local
  interpretation of the lattice we will keep the couplings
† † small.
Bij (x1 )Cik (x2 ) (Blm (x3 )) (Cln (x4 )) ∝ δm−j δk−n ,
Vacua: The quiver theory has a rich structure of moduli
spaces of vacua. First, we have the baryonic branch on
as in case the condition on the right-hand side is satisfied which we give vacuum expectation values (vevs) to the
the charge under all the symmetries of the correlator is baryonic operators. The dimension of this branch scales
zero. We thus can interpret this result as pairs of baryon as ∼ L1 × L2 , i.e. with the number of sites. All the sub-
excitations movable (in principle) along certain directions system symmetries are broken on a generic locus of this
of the quiver lattice, see Fig. 3. One can make analo- branch. One can say that on this branch the excitations
gous statements involving pairs of B and A or C and A with restricted mobility condense. We will comment on
baryons. Finally, if we have a triplet of baryons A, B, this branch soon but here as we want the baryons to be
and C residing on the edges of the same plaquette, these dynamical excitations we will consider branches on which
can be moved along any direction in a correlated way. these do not acquire vevs.

C
C
C
C
C
B C
C B
B
B
B
B
B

FIG. 4. The winding operators which can receive a vacuum


FIG. 3. Moving baryonic excitations in pairs.
expectation value and parametrize the moduli spaces of vacua.

Let us assume now that GCD(L1 , L2 ) = 1. Then the We can define three additional natural branches which
L1
model has only U(1)L α × U(1)β × U(1)γ /U(1) symme-
2
are parametrized by vevs of operators winding the quiver,
try. The baryonic operators Cij can now (in principle) see Fig. 4. First, we have the operators winding verti-
mix with Cik , that is with same value of the column in- cally along the α cycles,
dex and different values of the diagonal one. In other !`
words the C baryons are movable along the vertical line. (`)
Y
Similar statement holds for the A baryons while the B Ai = Tr Api , ` = 1 · · · N − 1 , (5)
pi
baryons are still charged under two sub-system symme-
tries and thus are immobile on the lattice. However, as where pi are the plaquettes charged under symmetry αi .
the symmetry is only broken by boundary conditions the Note that for the SU(N ) gauge groups we can have inde-
mixing between the A and C baryons at different posi- pendent operators winding up to N − 1 times. We have
tions can be only due to a high loop effect order of which (N − 1) L2 such operators all of which break the same
scales with the size of the system (Li ). Thus assuming subgroup of the continuous global symmetries. How-
Li are large and the couplings are small (which always ever these have vanishing charges under the sub-system
can be achieved as the theory is conformal and connected symmetries. We have analogously (N − 1) L1 operators
continuously to a free one) the mixing between different winding the β cycle and (N − 1) GCD(L1 , L2 ) operators
sites is strongly suppressed. The excitations are thus winding the γ cycle. The operators in each one of these
effectively immobile even when the symmetries are not branches again have the same charges. The dimension of
4

these branches scales linearly with the size of the lattice. mobility on the lattice. The theory has a large number
On any of these branches the gauge groups are broken of vacua, dimension of natural sub-spaces of which, the
to an abelian subgroup, the baryons built from the fields generalize Coulomb branch, scale linearly with the size of
getting vevs become free fields and decouple, and all the the lattice. Understanding the continuum limit preserv-
other fields acquire mass depending on the vev. Thus the ing the sub-system symmetry is related to the question of
theory becomes free in the IR. These branches can be re- understanding the dynamics on the generalized Coulomb
ferred to as generalized Coulomb branch, see e.g. [12]. branch of the quiver theories.
In the case of L1 = 1 the theory has effectively N = 2 Let us make several comments. First, one can wonder
supersymmetry with the A bifundamentals becoming ad- what role did supersymmetry play in our discussion. Su-
joint (plus a decoupled singlet) chiral superfields, and the persymmetry is important in establishing that the quiver
operators winding around the α cycle parametrize the fa- discussed here has moduli spaces of vacua not lifted by
miliar N = 2 Coulomb branch. quantum effects, as well as the model having exactly
marginal deformations giving us an argument in favor
A comment on N = 3: Taking N = 3 the baryonic of locality on the lattice.
operators become marginal. In particular deforming the We can consider giving up conformality in the UV.
Lagrangian by, For example, starting from the quiver we have discussed
one can construct a huge variety of quiver gauge theories
∆Wp = λ0p (Ap + Bp + Cp ) , (6)
tiling the torus by giving vevs to some (but not all) of the
is an exactly marginal deformation (λ0pis the coupling). baryons (see e.g. [17]). In particular we can preserve say
This is a as the baryons in ∆Wp are charged under three all the β and γ sub-system symmetries doing so.(These
U(1)s with opposite signs [13]. This deformation identi- systems and their symmetries were studied e.g. in [18]
fies the α, β, and γ symmetries under which the plaque- and they have a simple 6d interpretation [19].) Such the-
tte p is charged. The deformation also lifts part of the ories will not be conformal in the UV but rather flow
baryonic branch of vacua. One can view the plaquettes to a strongly coupled SCFT in the IR. One way to view
with the interaction above as impurities which add direc- the generalized Coulomb branches of these models is to
tions along which combinations of excitations can move. start from the quiver of this paper and explore the mixed
Adding densely on the lattice the deformation (6) the baryonic and generalized Coulomb branches. In princi-
excitations will acquire mobility in various directions. ple most of what we have discussed applies also to these
SCFTs. One interesting question however is whether
The continuum limit: It is interesting to ask whether these theories have limits of their conformal manifold
we can take a limit such that the two dimensions of the such that the lattice of the quiver is effectively local. Sim-
lattice become continuous. To do so we might want to in- ilarly, one can construct quiver theories with D < 4 and
troduce a dimensionful parameter and take Li to infinity. with more general gauge groups and matter fields, again
In fact this limit was considered long ago in the frame- with the locality on the lattice being an interesting ques-
work of [1] in [6]. See [14] for more recent discussions. tion to be addressed. For example, quiver theories with
There the theory is considered on the baryonic branch D = 2 were discussed in [20, 21]. As gauge interactions
with all the sub-system symmetries broken. Performing are relevant in lower dimensions we have more options of
appropriate scaling of parameters it was argued that the constructing UV complete quiver theories.
theory is effectively described by the (1, 1) little string One of the interesting features of the fractonic sys-
theory with both Li large (and the (2, 0) SCFT when tems is the UV/IR mixing: namely the fine details of
L2 is large but L1 = 1) in 6d [15]. On the generalized the lattice, such as the number of sites, effecting the long
Coulomb branches the sub-system symmetries are pre- distance physics. In the quiver example this is manifest
served and thus one would expect to find unconventional through the dimension of some of the branches of moduli
theories of the type discussed in [5, 16]. spaces of vacua (as well as the dimension of the confor-
mal manifold and the number of symmetries) depending
Summary and Comments: We have drawn a simple on GCD(L1 , L2 ). Moreover, the study of quiver theo-
analogy between lattice systems leading to fractons and ries makes a direct connection to other setups were such
supersymmetric quiver theories. In particular the quiver UV/IR mixing phenopmena are known, such as the lit-
theories can be naturally associated to a lattice with sub- tle string theory we mentioned above [22]. Engineering
system symmetries. Operators defined locally on this lat- the quiver theories in string/M-theory (e.g. studying 6d
tice, such as the baryons, can be thought of as excitations SCFTs coming from M5-branes probing orbifolds com-
charged under the sub-system symmetry. The problem of pactified on 2d surfaces with flux in the limit of large
studying correlation functions of these operators is analo- flux and large order of the orbifolds [19, 23]) might give
gous to studying the dynamics of the excitations. As the interesting geometric insights into the continuum limit of
operators are charged under the sub-system symmetries the “fractonic” (generalized Coulomb) phases of quiver
this leads to the excitations generally having restricted models.
5

[12] I. Coman, E. Pomoni, M. Taki and F. Yagi, JHEP


06, 136 (2017) [arXiv:1512.06079 [hep-th]]; T. Bour-
Acknowledgments: We are grateful to Zohar Komar- ton, A. Pini and E. Pomoni, JHEP 02, 137 (2021)
godski, Elli Pomoni, Nati Seiberg, Shu-Heng Shao, and [arXiv:2011.01587 [hep-th]]; T. Bourton and E. Pomoni,
J. Phys. A 53, no.16, 165401 (2020) [arXiv:1712.01288
Gabi Zafrir for comments on the draft of the paper. This [hep-th]]; S. S. Razamat and E. Sabag, JHEP 07, 150
research is supported in part by Israel Science Founda- (2018) [arXiv:1804.00680 [hep-th]].
tion under grant no. 2289/18, by I-CORE Program of [13] D. Green, Z. Komargodski, N. Seiberg, Y. Tachikawa and
the Planning and Budgeting Committee, by a Grant No. B. Wecht, JHEP 06, 106 (2010) [arXiv:1005.3546 [hep-
I-1515-303./2019 from the GIF, the German-Israeli Foun- th]].
dation for Scientific Research and Development, by BSF [14] N. Lambert, C. Papageorgakis and M. Schmidt-
grant no. 2018204, by the IBM Einstein fellowship of the Sommerfeld, Phys. Rev. D 88, no.2, 026007 (2013)
[arXiv:1212.3337 [hep-th]]; J. Hayling, R. Panerai and
Institute of Advanced Study, and by the Ambrose Monell
C. Papageorgakis, SciPost Phys. 4, no.6, 042 (2018)
Foundation. [arXiv:1803.06177 [hep-th]]; J. Hayling, C. Papageor-
gakis, E. Pomoni and D. Rodrı́guez-Gómez, JHEP 06,
072 (2017) [arXiv:1704.02986 [hep-th]]; V. Niarchos,
C. Papageorgakis and E. Pomoni, JHEP 04, 048 (2020)
[arXiv:1911.05827 [hep-th]].
[1] N. Arkani-Hamed, A. G. Cohen and H. Georgi, Phys. [15] N. Seiberg, Phys. Lett. B 408, 98-104 (1997) [arXiv:hep-
Rev. Lett. 86, 4757-4761 (2001) [arXiv:hep-th/0104005 th/9705221 [hep-th]]; O. Aharony, Class. Quant. Grav.
[hep-th]]. 17, 929-938 (2000) [arXiv:hep-th/9911147 [hep-th]].
[2] C. Chamon, Phys. Rev. Lett. 94 (2005) 040402 [16] N. Seiberg, SciPost Phys. 8, no.4, 050 (2020)
[arXiv:cond-mat/0404182]; J. Haah, Phys. Rev. A 83 [arXiv:1909.10544 [cond-mat.str-el]];N. Seiberg and
(2011) 042330 [arXiv:1101.1962[quant-ph]]. S. H. Shao, SciPost Phys. 9, no.4, 046 (2020)
[3] S. Vijay, J. Haah, and L. Fu, Phys. Rev. B, 92 (2015) 23, [arXiv:2004.00015 [cond-mat.str-el]]; N. Seiberg
235136 [arXiv:1505.02576[cond-mat.str-el]] and S. H. Shao, SciPost Phys. 10, 003 (2021)
[4] R. M. Nandkishore and M. Hermele, “Fractons,” [arXiv:2004.06115 [cond-mat.str-el]];P. Gorantla,
Annual Review of Condensed Matter Physics (10) H. T. Lam, N. Seiberg and S. H. Shao, SciPost
295–313 (2019) [arXiv:1803.11196[cond-mat]]; M. Pretko, Phys. 9, 073 (2020) [arXiv:2007.04904 [cond-mat.str-el]].
X. Chen, and Y. You, “Fracton phases of matter,” In- [17] A. Hanany and K. D. Kennaway, [arXiv:hep-th/0503149
ternational Journal of Modern Physics A 35 6 (2020) [hep-th]]; S. Franco, A. Hanany, K. D. Kennaway,
[arXiv:2001.01722 [cond-mat.str-el]] D. Vegh and B. Wecht, JHEP 01, 096 (2006) [arXiv:hep-
[5] N. Seiberg and S. H. Shao, SciPost Phys. 10, no.2, 027 th/0504110 [hep-th]].
(2021) [arXiv:2003.10466 [cond-mat.str-el]]. [18] S. Franco, H. Hayashi and A. Uranga, Phys. Rev. D 92,
[6] N. Arkani-Hamed, A. G. Cohen, D. B. Kaplan, no.4, 045004 (2015) [arXiv:1504.05988 [hep-th]].
A. Karch and L. Motl, JHEP 01, 083 (2003) [arXiv:hep- [19] I. Bah, A. Hanany, K. Maruyoshi, S. S. Razamat,
th/0110146 [hep-th]]. Y. Tachikawa and G. Zafrir, JHEP 06, 022 (2017)
[7] D. Gaiotto and S. S. Razamat, JHEP 07, 073 (2015) [arXiv:1702.04740 [hep-th]].
[arXiv:1503.05159 [hep-th]]. [20] D. B. Kaplan, E. Katz and M. Unsal, JHEP 05, 037
[8] M. R. Douglas and G. W. Moore, [arXiv:hep-th/9603167 (2003) [arXiv:hep-lat/0206019 [hep-lat]].
[hep-th]]. [21] S. Franco, S. Lee, R. K. Seong and C. Vafa, JHEP 02,
[9] X. Ma, W. Shirley, M. Cheng, M. Levin, J. McGreevy, 106 (2017) [arXiv:1609.01723 [hep-th]].
and, X. Chen, “Fractonic order in infinite-component [22] N. Seiberg, Talk at “ Workshop: New directions in
Chern-Simons gauge theories,” [arXiv:2010.08917[cond- topological phases: from fractons to spatial symmetries,”
mat.str-el]] SCGP (2021)
[10] A. Paramekanti, L. Balents, and M. P. A. Fisher, “Ring [23] H. C. Kim, S. S. Razamat, C. Vafa and G. Zafrir,
exchange, the exciton Bose liquid, and bosonization in JHEP 09, 110 (2018) [arXiv:1806.07620 [hep-th]].;
two dimensions,” Phys. Rev. B, 66 (2002) 5, 054526 S. S. Razamat and E. Sabag, JHEP 01, 086 (2020)
[11] A. Hanany and A. M. Uranga, JHEP 05, 013 (1998) [arXiv:1910.03603 [hep-th]].
[arXiv:hep-th/9805139 [hep-th]].

You might also like