Skip to main content
Log in

Symmetries in Quantum Field Theory and Quantum Gravity

  • Published:
Communications in Mathematical Physics Aims and scope Submit manuscript

Abstract

In this paper we use the AdS/CFT correspondence to refine and then establish a set of old conjectures about symmetries in quantum gravity. We first show that any global symmetry, discrete or continuous, in a bulk quantum gravity theory with a CFT dual would lead to an inconsistency in that CFT, and thus that there are no bulk global symmetries in AdS/CFT. We then argue that any “long-range” bulk gauge symmetry leads to a global symmetry in the boundary CFT, whose consistency requires the existence of bulk dynamical objects which transform in all finite-dimensional irreducible representations of the bulk gauge group. We mostly assume that all internal symmetry groups are compact, but we also give a general condition on CFTs, which we expect to be true quite broadly, which implies this. We extend all of these results to the case of higher-form symmetries. Finally we extend a recently proposed new motivation for the weak gravity conjecture to more general gauge groups, reproducing the “convex hull condition” of Cheung and Remmen. An essential point, which we dwell on at length, is precisely defining what we mean by gauge and global symmetries in the bulk and boundary. Quantum field theory results we meet while assembling the necessary tools include continuous global symmetries without Noether currents, new perspectives on spontaneous symmetry-breaking and ’t Hooft anomalies, a new order parameter for confinement which works in the presence of fundamental quarks, a Hamiltonian lattice formulation of gauge theories with arbitrary discrete gauge groups, an extension of the Coleman–Mandula theorem to discrete symmetries, and an improved explanation of the decay \(\pi ^0\rightarrow \gamma \gamma \) in the standard model of particle physics. We also describe new black hole solutions of the Einstein equation in \(d+1\) dimensions with horizon topology \({\mathbb {T}}^p\times {\mathbb {S}}^{d-p-1}\).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18
Fig. 19

Similar content being viewed by others

Notes

  1. Note however that the charged states required by Conjecture 2 might be heavy, and in particular they might be black holes.

  2. More rigorously, given any faithful representation of a compact Lie group G, Theorem A.11 below tells us that all irreducible representations of G must eventually appear in tensor powers of that representation and its conjugate. If G is continuous, meaning that as a manifold it has dimension greater than zero, then there are infinitely many irreducible representations available.

  3. A common response to this complaint is that we should view the ends of the Reissner–Nordstrom wormhole as “objects” in their own right, which could exist even without the other end, but why should we? It certainly does not follow from classical general relativity, and semiclassically charged black holes are always pair-produced unless we make them out of charged matter. In [17] it was argued that the question of whether or not a wormhole can be cut is a UV-sensitive one, which can be resolved only with input from a complete quantum gravity theory such as AdS/CFT, and we also take this point of view here. In the end we agree that wormholes should always be cuttable, but this is more like a consequence of Conjecture 2 rather than an argument for it.

  4. This argument is complicated by the fact that bulk local operators do not really exist, since they must be “dressed” by Wilson lines, etc, to make them invariant under bulk diffeomorphisms and internal gauge symmetries. But this dressing must also commute with our assumed global symmetry, since otherwise that symmetry would have to be gauged as well. We will discuss this further in Sect. 4 below when we define what we mean by a global symmetry in gravity.

  5. This isn’t quite correct, because the operator we obtain this way might not be bounded, while elements of von Neumann algebras are bounded. So what we should really do is take the hermitian and anti-hermitian parts of this smeared operator, and then either exponentiate them or use their spectral projection operators to get “honest” elements of \({\mathcal {A}}[R]\).

  6. We are of course using the vastly superior “mostly-plus” signature for the metric.

  7. One occasionally also encounters the more general multiplication law \(U(g)U(g')=e^{i\alpha (g,g')}U(gg')\), which is described by saying that the symmetry is represented projectively on the Hilbert space. This possibility does not seem to be realized in an interesting way in quantum field theory on \({\mathbb {R}}^d\), we explain why in “Appendix B”.

  8. The idea of a non-Lagrangian definition of global symmetry along these lines goes back at least to [39, 40], although those authors did not include condition (d) (neutrality of the stress tensor). A Euclidean definition related to this one appeared more recently in [41], but condition (c) (faithfulness) was not included, and the spacetime was not restricted to \({\mathbb {R}}^{d}\), as it must be if we wish global symmetries with gravitational ’t Hooft anomalies to be included. We comment further on the definition of [41] at the end of this subsection. Also note that Definition 2.1 applies only to quantum field theories, we give a modified definition for gravitational theories in Sect. 4 below.

  9. These particular ’t Hooft anomalies cannot destroy the symmetry if the spacetime topology is \({\mathbb {R}}^4\) and the background fields vanish at infinity, since the integrals in question always vanish for topological reasons, but there are other ’t Hooft anomalies which can.

  10. In general there are ambiguities in how to extend a flat space local operator to curved space, arising from the possibility of adding multiples of the curvature tensor. Our \({\mathcal {O}}_n(x)\) should be extensions of their flat space analogues up to these ambiguities, and our requirement that (2.5) continues to hold on \(\Sigma \times {\mathbb {R}}\) restricts them.

  11. It is important here that our Definition 2.1 excludes things like the higher Kac–Moody symmetries of 2D current algebra which do not commute with the stress tensor: these do not lead to degenerate vacua or superselection sectors even though the vacuum is not invariant.

  12. In the presence of a “long range gauge symmetry with dynamical charges”, introduced in Definition 3.1 below, we should also allow the \({\mathcal {O}}_n\) to be line operators connecting infinity to itself or to a charged operator in the interior of \(\Sigma \).

  13. We here adhere to the terminology explained in the introduction: “path integral insertions” are defined without reference to a Hilbert space formalism. They can be sometimes be given Hilbert space interpretations as operators, and we will use that term only when an insertion can and is being given such an interpretation.

  14. Readers who are primarily interested in quantum gravity may wish to simply take it on faith that the splittability we define momentarily holds for any global symmetry and proceed to Sect. 2.3, since the ensuing discussion is perhaps primarily of interest to quantum field theory experts. A similar signpost there will suggest further omissions for casual readers.

  15. The idea of this definition goes back to [47,48,49], although they didn’t give it a name.

  16. To really get something well-defined in the continuum, we should fatten the location of the ambiguity in each U(gR) to a small open neighborhood of \(\partial R\): this is what was done in [47,48,49], but to lighten the notation we will keep this implicit.

  17. This is a bit subtle for \(d=2\), since in order for a single point to be a boundary it needs to be attached to a line which goes off to infinity.

  18. The reason that this theory no longer has a continuous global symmetry mixing the two gauge fields is that such a symmetry would not act locally on the Wilson loops, since it wouldn’t respect charge quantization. It therefore would violate part (b) of Definition 2.1, since it would map the Wilson loop out of \({\mathcal {A}}[R]\), where R is a thin tube containing the Wilson loop.

  19. This section, and the following two, can be viewed as a further side discussion. Holography-minded readers who are simply willing to accept that all CFT global symmetries are preserved on \({\mathbb {R}}\times {\mathbb {S}}^{d-1}\), and that it is possible to turn on topologically-nontrivial background gauge fields for global symmetries, may wish to skip ahead to Sect. 3.

  20. Here T denotes time-ordering and \(\langle \cdot \rangle \) denotes the expectation value in the vacuum state of the undeformed theory on \(M={\mathbb {R}}\times \Sigma \). In general an \(i\epsilon \) prescription is necessary to get a well-defined expectation value.

  21. If G is a matrix group then this equation makes sense as written, otherwise we define \(g_{ij}A_{j,\mu }(x)g_{ij}^{-1}\) to be the pushforward of \(A_{j,\mu }(x)\), viewed as a vector field on G, by the adjoint map \(Ad_g:h\mapsto g h g^{-1}\), and we define \( -\partial _\mu g_{ij}g_{ij}^{-1}\) to be the pullback by \(g_{ij}^{-1}:U_{i}\cap U_j\mapsto G\) of the Maurer–Cartan form on G.

  22. This statement is not obvious, it follows from a nontrivial theorem that there can be no nontrivial fiber bundle over a contractible base [63].

  23. For continuous global symmetries, splittability is clearly necessary to turn on a background gauge field since a current is. For discrete global symmetries it does not seem to be: a weaker sufficient assumption is that the junctions in Fig. 7 exist. This follows from splittability, but is not obviously equivalent to it: due to the triple overlap condition (2.49), we only need junctions where the product of the \(g_{ij}\) around the junction is the identity.

  24. Note here that i and j label patches, the indices for the matrix multiplication in Eq. (2.5) are here suppressed.

  25. The term “’t Hooft anomaly” is a modern invention [68], to distinguish ’t Hooft anomalies from related phenomena which arise when we attempt to make some of the background gauge fields dynamical in a theory with an ’t Hooft anomaly [69,70,71]. ’t Hooft has also done famous work with these related phenomena [72], so the name is a bit unfortunate.

  26. That it is not sufficient can be seen by the existence of “non-infinitesimal” ’t Hooft anomalies such as those in discrete symmetries or the Witten anomaly in the SU(2) global symmetry of an odd number of Majorana doublets [73].

  27. Note that v and p here are labels, not indices. They stand for “vector” and “pseudovector”.

  28. The gauge group of the standard model is most conservatively taken to be \(\left( \hbox {SU}(3)\times \hbox {SU}(2)\times U(1)\right) /{\mathbb {Z}}_6\), since this is the group which acts faithfully on the known quarks and leptons. This is not widely appreciated, but the logic is similar to that by which we assume that the gauge group of electromagnetism is U(1) instead of \({\mathbb {R}}\): otherwise the observed quantization of charge would look like a conspiracy. Future discoveries of more charged particles in new representations could change this situation however, so one can also say that we do not yet really know the gauge group of the standard model (see [76] for a recent discussion that takes this point of view). We discuss this more in Sect. 3.4 below.

  29. This c-number nonconservation of \({\hat{Q}}_p\) may seem innocuous, but it has real consequences for the selection rules obeyed by correlation functions. Indeed a vacuum expectation value in this background of a product of operators charged under the pseudovector U(1) symmetry will vanish unless the sum of their charges is equal to 2n, while this sum would have needed to be zero to get a nonvanishing expectation value if the symmetry had been preserved.

  30. We thank Z. Komargodski for a useful discussion of this definition, see some relevant comments in [81]. In particular note that we may not be able to arrange for this equation to hold at coincident points, but our argument does not require it to.

  31. To avoid confusion we emphasize here that the presence of an ’t Hooft anomaly in a symmetry does not imply that that symmetry is unsplittable. For example the U(N) global symmetry we describe momentarily has an ’t Hooft anomaly, but it has a perfectly good set of Noether currents (2.81) and is therefore splittable on any manifold we like. In condensed matter language, splittability of a symmetry is a different question from whether or not the symmetry is “on-site”. Our unsplittable symmetries do not arise until we make some subset of the background gauge fields dynamical.

  32. This is of course textbook material, we apologize for presenting it in some detail nonetheless. We have found the textbook treatments of this subject to be unclear at best, and our perspective has some novelty. Readers who make it to the end of this subsection will be rewarded with an improved interpretation of the venerable process \(\pi ^0\rightarrow \gamma \, \gamma \) in the standard model of particle physics.

  33. There are sign errors in the derivation of (2.82) in [75], but since there are an even number the final result is correct. Our final sign is the same as that in [75] even though our currents (2.81) differ from his by a sign, because we have taken \(\epsilon ^{0123}=-1\).

  34. We thank Edward Witten for pointing out that the electromagnetic part of this charge has a simple interpretation: in free Maxwell theory it is proportional to the helicity. Thus conservation of \({\hat{Q}}_p\) says that although chiral symmetry is explicitly broken, the chiral charge plus a multiple of the helicity is conserved.

  35. Although chiral symmetry is now splittable on any manifold, the theory with gauge group \({\mathbb {R}}\) still does not obey the split property on \({\mathbb {S}}^2\times {\mathbb {S}}^1\); the unbreakable lines are now the Wilson lines of fractional charge. It thus is not a counterexample to our conjecture that theories which obey the split property on all manifolds should obey the Noether conjecture.

  36. The anomaly coefficient is \(D_{pvv}\) is still two, since \(3\left( 2\left( \frac{2}{3}\right) ^2-2\left( \frac{1}{3}\right) ^2\right) =2\).

  37. We remind the reader that this second term is what leads to the decay \(\pi _0\rightarrow \gamma \gamma \) once quark masses are added, when \(m_u=m_d=0\) this decay is not allowed kinematically but we can use the coefficient of \(\pi ^0 F \wedge F\) as a stand-in.

  38. In those papers the authors introduce new background gauge fields, which are in general higher-form fields, and then modify the definition of “gauge transformation” to include transformations of these new background gauge fields which are designed to cancel the operator-valued anomalies of the type we point out here. They then prefer to use the terminology “n-group global symmetry” instead of “operator-valued ’t Hooft anomaly”. In this language, c-number ’t Hooft anomalies in d spacetime dimensions are “d-group global symmetries”. We’ll stick with “’t Hooft anomaly” here since we’ve been using it so far, but in the long run getting rid of the word “anomaly” in this context is probably a good idea.

  39. We have doubled the matter content of what might seem like the simplest example, to avoid an additional Witten anomaly in the \(\hbox {SU}(2)\) symmetry [73] which may distract some readers.

  40. The Weyl anomaly can be cancelled by a non-unitary gravitational action, one way to see this is that we know the “right sign” Einstein–Hilbert action can reproduce the Weyl anomaly in AdS/CFT [92], so the “wrong sign” Einstein–Hilbert action can cancel it. It is not clear however whether such actions can be classified by some generalization of the machinery of [83,84,85,86,87].

  41. This statement applies in quantum field theory. One of our main goals in this paper is to establish Conjecture 2, which says that in quantum gravity there is such a requirement!

  42. The question of what the global symmetry group is after doing this procedure is a very delicate one, involving not only the group-theoretic structure of how H and G fit into \({\hat{G}}\), but also the effects of any ’t Hooft anomalies in \({\hat{G}}\) which might be activated (see [101] for one recent discussion). We will not explore this question further except for a brief discussion in Sect. 3.5 below, but we view it as ripe for additional work.

  43. In this paper we are primarily interested in spacetimes which are asymptotically-flat or asymptotically-AdS. This definition may need further refinement for more complicated spatial manifolds \(\Sigma \), but for our purposes it is good enough.

  44. Note that we are including the gauge-symmetry version of splittability in this definition. A weaker definition would ask for the U(gR) only when R is a connected component of \(\Sigma \), but we find our definition more convenient since it ensures that the \(W_\alpha \) are nontrivial even if \(\partial \Sigma \) has only one connected component, which otherwise we would need to implement with additional axioms. We don’t know of any examples of “unsplittable long-range gauge symmetries” which we would exclude this way.

  45. This test is more delicate in Minkowski space, since the thermal partition function is infrared divergent. One way to deal with this is to use AdS as a regulator, and then say that a Minkowski space theory obeys condition (3) if it does in AdS for any sufficiently large AdS radius.

  46. These boundary conditions are the natural ones for a gauge field in AdS. In \(3+1\) dimensional Minkowski space they are less natural because they set the magnetic flux density to zero at spatial infinity, and thus violate cluster decomposition if there are magnetic monopoles. We can restore cluster decomposition by a Hilbert space direct sum over magnetic flux configurations, after which the long range gauge symmetry will actually be \(U(1)\times U(1)\) since both Wilson and ’t Hooft lines will be able to end at infinity. Since our primary interest is AdS, we stick to the sector of vanishing magnetic flux, in which case only Wilson lines can end at infinity and the long-range gauge group is U(1).

  47. In \(d=3\) this logarithmic divergence is sometimes confused by Polyakov’s old observation that in U(1) lattice gauge theory in \(2+1\) dimensions there are no photons and external charges feel a linear potential [108]. This however is an artifact of the lattice, the continuum U(1) Maxwell theory has free photons and a logarithmic potential between external charges. Condensed matter physicists sometimes give this continuum theory the rather silly name “noncompact U(1) Maxwell theory”, but U(1) is (of course) still compact. We could study Maxwell theory with gauge group \({\mathbb {R}}\), but that is something different (see Sect. 3.4 below for more on the meaning of the topology of the gauge group).

  48. Any solution of Maxwell–Chern Simons theory can be locally decomposed into \(A=A_{\mathrm{flat}}+{\hat{A}}\), with \(A_{\mathrm{flat}}\) a flat connection and \({\hat{A}}\) obeying \(2\pi \star {\hat{F}}+kq^2 {\hat{A}}=0\), which is the equation for a vector boson with mass \(\frac{|k|q^2}{2\pi }\). In AdS the natural boundary conditions for Maxwell–Chern Simons theory are to set either the left-moving or right-moving part of the pullback of A to the AdS boundary to zero, and also to require the vanishing of the pullback of \(\star F\) there [109, 110]. The latter condition keeps only the normalizable piece of \({\hat{A}}\), while the former chooses whether the current in the boundary CFT will be right-moving or left-moving. To have a boundary current with both left- and right- moving parts, we need two gauge fields in the bulk [111, 112].

  49. In Lagrangian gauge theories we can express these operators as the product with indices contracted of a gauge non-invariant Wilson line with an interior endpoint carrying an \(\alpha \) represention index and a gauge non-invariant charged local operator at that endpoint carrying the conjugate index, hence our name for the interior endpoints, but we emphasize that it is only their combination which makes sense abstractly so that is what we define here.

  50. Strictly speaking this theory probably does not exist because of the Landau pole, but we can obtain it at low energies from some UV completion.

  51. This still haven’t been proven of course, but the conceptual, numerical, and experimental evidence is so overwhelming that we are happy to accept it as fact.

  52. More generally we can consider any lattice with the structure of a CW complex, see “Appendix G”.

  53. We need to allow reducible representations because some compact groups do not have any faithful irreducible representations, two examples of such groups are \({\mathbb {Z}}_2\times {\mathbb {Z}}_2\) and \(U(1)\times U(1)\). By Theorem A.8, a finite-dimensional faithful representation always exists for any compact Lie group.

  54. This may seem artificial, what is really going on here is that in this limit it is more natural to instead choose boundary conditions where we have \(\widetilde{Z}=1\) on the blue sites in Fig. 9, and where we then include the boundary-piercing links in the \(1/\lambda \) term; we then just have \(Z=1\) on all links in the ground state. This state however is not invariant under the asymptotic symmetry, as we expect for the Higgs vacuum, so it still violates condition (3).

  55. Note that we did not need to use a temporal Wilson line to check condition (3), since we could just directly use the dynamical charge \(\widetilde{Z}\). The analysis would have been identical using a temporal Wilson line: given the modified constraint (3.34), we have a new set of gauge-invariant operators which are simply Wilson lines which connect the boundary to the location of the temporal Wilson line. Their energetics work in the same way as Wilson lines which end on dynamical charges.

  56. To see that the bundles are the same, note that \({\mathbb {S}}^d\) is constructed from the union of two balls, each of which is contractible and has boundary \({\mathbb {S}}^{d-1}\). Principal G bundles over \({\mathbb {S}}^d\) are therefore classified by \(\pi _{d-1}(G)\). Since G and \(G'\) are connected and share a Lie algebra, they are each a quotient of the same connected simply-connected covering group \(\widetilde{G}\) by some discrete central subgroup (see Theorem A.2). Using basic properties of covering spaces we then have \(\pi _{d-1}(G)=\pi _{d-1}(G')=\pi _{d-1}(\widetilde{G})\) for \(d>2\) [125]. Since connections on these bundles are Lie-algebra-valued one-forms, they will then clearly also coincide for G and \(G'\).

  57. If there are charged matter fields then the meaning of the topology of the gauge group is sometimes more obvious: for example an \(\hbox {SU}(2)\) gauge theory with matter in the fundamental representation of \(\hbox {SU}(2)\) cannot be viewed as an \(\hbox {SO}(3)\) gauge theory, since the \(\hbox {SU}(2)\) fundamental is not a representation of \(\hbox {SO}(3)\).

  58. Convincing ourselves of this would probably be impossible, since we always measure charge with finite precision. A version of this which is more practical would be discovering a heavy particle in the fundamental representation of \(\hbox {SU}(3)\) color which was neutral under the electroweak \(\hbox {SU}(2)\times U(1)\), which would immediately tell us that the gauge group of the standard model is \(\hbox {SU}(3)\times \hbox {SU}(2)\times U(1)\) instead of \((\hbox {SU}(3)\times \hbox {SU}(2)\times U(1))/{\mathbb {Z}}_6\).

  59. This section was inspired by a discussion with Thomas Dumitrescu.

  60. So far we have used d to denote the spacetime dimension of whatever quantum field theory we are considering. Since we now will be considering both the bulk gravity theory and its dual conformal field theory, we now adopt the standard convention that the boundary CFT has d spacetime dimensions.

  61. If there are fermions then this group is instead \(\hbox {Spin}(d,2)\). When \(d=2\) the symmetry is enhanced to Virasoro symmetry, but we will not make use of this.

  62. The reader may consult [25, 129,130,131,132,133,134] for more details on the algebra of these kinds of operators.

  63. This business of rewriting things using the old cutoff surface is the holographic dual of the standard fact that in conformal field theory, each conformal transformation is a combination of a diffeomorphism with a Weyl transformation to return the metric to its original form (this is why for example a scalar can transform with a nontrivial conformal weight even though it is in a trivial Lorentz representation).

  64. Readers who are only interested in ruling out global symmetries which act nontrivially on the fields in the low-energy effective action can skip Definition 4.1 and the ensuing subtleties. In Definition 4.2 they can replace “quasilocal bulk operator” by “dressed local operator”, and the same contradiction still arises.

  65. This definition involves approximations defined using the Newton constant G, which is measured in AdS units. For any fixed example of AdS/CFT this is just a number, and we have to live with the inherent imprecision of basing an approximation on the smallness of a finite number. After all if it works for the fine structure constant, why shouldn’t it work here? Also, if there is a string scale which is parametrically lower than the Planck scale, then strictly speaking we should either use that scale in AdS units in our approximations or else upgrade effective field theory to effective string field theory.

  66. They can be proven within non-perturbative models of the correspondence constructed using tensor networks, such as those of [141, 142].

  67. There is an exception to this statement if the operator obeys some sort of differential equation in the boundary which causes the perturbation from the south pole to propagate up the side of the sphere instead of up into the center of the bulk.

  68. In asymptotically-AdS quantum gravity, to get a Hilbert space we need to pick a boundary time slice. A priori we are not assuming that \(U(g,\partial \Sigma )\) has support only at the boundary of the spacetime.

  69. When the symmetry group G is continuous, it is not necessary to argue that \(U_{\mathrm{edge}}\) and \(U(g,R_i)\) preserve the code subspace. The reason is that we may then take the logarithm of (4.9) to get an expression involving sums of charges, and then when we compute the commutator of the total charge with a quasilocal bulk operator \(\phi \) we simply have a sum of commutators with boundary operators supported in regions whose entanglement wedges cannot reach the bulk endpoint of \(\phi \), and which therefore must commute with it. In quantum information theory this argument is called the “Eastin–Knill theorem” [143]. Without further assumptions it does not apply to discrete symmetry groups, which is why we have instead chosen to use special properties of holographic codes to argue that \(U_{\mathrm{edge}}\) and \(U(g,R_i)\) can in fact be taken to preserve the code subspace without disrupting the semiclassical picture of the bulk away from the \(\gamma _{R_i}\).

  70. This situation can also be described as spontaneous symmetry breaking in finite volume in the CFT. This is often said to be impossible, but in fact there are quantum field theories which exhibit spontaneous symmetry breaking in finite volume, at least in the sense of having exactly degenerate vacua related by the symmetry. For example in \(1+1\) electrodynamics with a \(\theta \) term,

    $$\begin{aligned} S=-\frac{1}{2q^2}\int F\wedge \star F-\frac{\theta }{2\pi }\int F, \end{aligned}$$
    (4.11)

    at \(\theta =\pi \) on a spatial circle the charge conjugation symmetry \(F'=-F\) acts nontrivially on a pair of degenerate vacua [144]. We do not know of any examples in theories with non-topological local operators.

  71. In situations where the charged operators in the boundary theory all have high scaling dimension, in the bulk we will need a version of the fusing of Fig. 8 which makes sense for quasilocal bulk operators. We will not attempt to say more about this, fortunately our arguments for Conjectures 23 do not rely on this since we will only need the converse statement that a bulk long-range gauge symmetry implies a boundary global symmetry.

  72. In applying them we need to know that D actually gives a good continuous representation of G. Theorem C.4 tells us that this will be the case if the ground state on \({\mathbb {S}}^{d-1}\) is invariant, and the state operator correspondence tells us that it will be (the identity operator is always neutral).

  73. We discuss the \(d=2\) at the end of this section.

  74. Note that if \({\mathcal {O}}_3\) appears in the OPE of \({\mathcal {O}}_1\) with \({\mathcal {O}}_2\), then the three point function \(\langle {\mathcal {O}}_1{\mathcal {O}}_2 {\mathcal {O}}_3^\dagger \rangle \) is nonzero. This is only allowed by the global symmetry if the representation of \({\mathcal {O}}_3\) appears in the direct sum decomposition of the tensor product of the representations of \({\mathcal {O}}_1\) and \({\mathcal {O}}_2\).

  75. This representation is generated by the diagonal matrix \((i,-i)\) and a matrix obtained by conjugating the diagonal matrix \((e^{i\pi /3},e^{-i\pi /3})\) by a generic element of \(\hbox {SU}(2)\). This is a representation of \(\hbox {SL}(2,{\mathbb {Z}})\) because \(\hbox {SL}(2,{\mathbb {Z}})\) is isomorphic to the free group on a generator S of order four and a generator \(\hbox {ST}\) of order six, with the identification \(S^2=(\hbox {ST})^3\), and the generic conjugation ensures there are no further relations. We thank Yves de Cornulier for explaining this representation to us [156].

  76. It was shown in [159] that the OPE of two short string operators generates long strings with winding number \(w = 1\). For larger winding numbers, the selection rules proven in that paper show that the OPE of one short string operator and one long string operator with winding number w can generate long strings with winding number at most \(w+1\). Moreover, evidence has been given [160, 161] that such long strings with winding number are indeed generated. Therefore it seems reasonable to expect that all operators in the boundary CFT are generated iteratively from a finite set of the discrete short string operators.

  77. The extra non-tensor factor in front here arises from the fact that the conformal transformations which are global symmetries are combinations of diffeomorphisms with Weyl transformations. This is because we need to cancel the transformation of the metric; it is a background field and cannot transform under a global symmetry. This factor is the identity for transformations which are genuine isometries, but for conformal transformations it is essential, for example to get the right scaling dimension for \(T_{\mu \nu }\).

  78. We can also consider supersymmetries, which we have not included in Definition 7.1, which are constrained by an analogous theorem [165]. Since supersymmetries are defined only at the level of the Lie algebra (we don’t exponentiate them to get a group), the issues we discuss in this section do not arise. Indeed the presence of the bulk gravitino ensures that any supersymmetry is always gauged in the bulk, so we will not discuss them further.

  79. In our argument we will assume that the internal symmetry group \(G_I\) is compact, which in particular implies that the full symmetry group G is finite-dimensional. This excludes the Virasoro algebra and Kac–Moody current algebra in \(d=2\). These are natural to exclude, since in holography they work somewhat differently than the symmetries we study here. For example the higher Virasoro and Kac–Moody currents do not give rise to new fields in the bulk, so the noncompact \(G_I\) which arises is not dual to a long-range gauge symmetry with noncompact gauge group so there is no violation of Conjecture 3.

  80. In this theorem we do not impose condition (d) from Definition 7.1, since otherwise the result would be trivial. The compactness of \(G_I\) is motivated in the previous footnote.

  81. In even dimensions we can replace the spatial reflection by a simultaneous reflection of all spatial directions, usually called parity, but in odd dimensions this is just a rotation. Therefore when working in arbitrary dimensions it is safer to talk about reflections in a single spatial direction, for example the natural generalization of the CPT theorem to arbitrary dimensions is the CRT theorem.

  82. One might try to modify our Definition (7.11) of parity by including an element of the U(2) internal symmetry in hopes of obtaining something that commutes with chiral symmetry. This however is impossible: chiral symmetry is in the center of U(2).

  83. Here which side of a surface we call its interior is determined by its orientation, and flipping this orientation is equivalent to inverting g.

  84. This is not how center symmetry was originally described. Instead one considered the set of gauge configurations of the theory in Euclidean signature with a temporal circle, and then considered the action on Wilson loops wrapping this circle of “illegal gauge transformations” which are not periodic around the loop. This idea always seemed somewhat mysterious: why should we be allowed to consider gauge transformations which are not periodic? And moreover, in defining a global symmetry why should we need to talk about gauge transformations at all? Perhaps the main insight of [41] is that with the right definition, we don’t!

  85. Up to notational differences, this formula generalizes Eqs. 4.3–4.5 of [177] to arbitrary k (and fixes some wrong signs in 4.5). It is instructive to check the self-consistency of this formula under taking the exterior derivative of both sides, in the cohomological language of [177] this amounts to showing that the “co-boundary operator” \(\delta \) is nilpotent. We emphasize that the i indices label patches, they are not tensor indices.

  86. This definition generalizes immediately to an arbitrary CW-complex, where \(f_{p}\), \(f_{p+1}\), and \(f_{p+2}\) below are p, \(p+1\), and \(p+2\) -cells respectively.

  87. One might worry that \(U(g,\Sigma _{d-p})\) should only be well-defined on states where the bulk geometry has surfaces \(C_p\) which are not contractible and surfaces \(\Sigma _{d-p}\) which intersect them nontrivially. Note however that in states where this is not the case, we may simply define \(U(g,\Sigma _{d-p})\) to act as the identity. These words may not seem like they should be precise nonperturbatively, where topology-changing amplitudes are possible, but if there were indeed an exact p-form global symmetry then it would have to set to zero any amplitudes which would change the topology in a way which violated the symmetry.

  88. The reader may worry about our application of splittability here, since the boundary now contains a \({\mathbb {T}}^p\) on which unbreakable surface operators can wrap. And even worse, our p-form global symmetry ensures there will be such surfaces. But in fact we are not doing any split on \({\mathbb {T}}^p\), we are splitting only on \({\mathbb {S}}^{d-p-1}\), which we should be able to split as long as \(p<d-2\). And even when \(p=d-2\), we expect splittability can be restored by adding some heavy degrees of freedom to the boundary theory (at the cost of breaking the p-form symmetry in the UV).

  89. Note that unlike in the ordinary state-operator correspondence, evolution in r is not part of the conformal symmetry group. This means that the conformal transformation properties of the states and operators considered here will not be related in a nice way, which is why such a correspondence is usually not considered. See [184] for more discussion on this. For our purposes this does not matter, since we only care about transformations under p-form global symmetries and these will be the same.

  90. There could also be a bare Newton’s constant, but as long as it is positive then this only drives the overall Newton’s constant to be smaller, making (9.1) easier to satisfy. The primary consequence of the gauge field being emergent is that there is not a large bare Maxwell term in the effective action at the cutoff scale.

  91. Mathematicians like to describe this situation by saying that there is a short exact sequence \(1\rightarrow G_0 \rightarrow G \rightarrow C \rightarrow 1\), where each arrow denotes a homomorphism and the kernel of each homomorphism is the image of the previous one. In this sequence the other three homomorphisms are trivial inclusions and projections.

  92. In the main text we used “physics” notation where the components of the representation matrices for a representation \(\rho \) in some specific basis for V are denoted \(D_{\rho ,ij}(g)\). In this appendix we simplify things by just using \(\rho (g)\) to refer to the abstract operators.

  93. Recall that an inner product on a complex vector space V is a map \((\,,\,):V\times V\rightarrow {\mathbb {C}}\) which is linear in the second argument, obeys \((v,v')^*=(v',v)\) for any \(v,v'\), and for which \((v,v)\ge 0\) for any v, with equality only if \(v=0\). These conditions imply that an inner product is antilinear in the first argument. Mathematicians usually instead take the first argument to be linear and the second to be antilinear, but our choice is closer to bra-ket notation.

  94. More precisely since we have defined representations to be continuous, it gives a homomorphism from G to the unitary operators on the Hilbert space which may or may not be continuous.

  95. A state \(\Omega \in V\) is cyclic with respect to a subalgebra \({\mathcal {A}}[R]\subset {\mathcal {B}}(V)\) if the set of states \({\mathcal {O}}\Omega \), with \({\mathcal {O}}\in {\mathcal {A}}[R]\), are dense in V. It is separating if there is no \({\mathcal {O}}\in {\mathcal {A}}[R]\) such that \({\mathcal {O}}\Omega =0\). In quantum field theory the Reeh–Schlieder theorem tells us that both of these properties hold for the ground state when \({\mathcal {A}}[R]\) is the algebra of operators in a bounded region (see eg [191]).

  96. See “Appendix G” for a brief discussion of CW complexes and the definition of an n-cell.

  97. This proof uses a few basic facts about purifications. These follow easily from the Schmidt decomposition of any pure state in a bipartite system, which says that for any state \(|\psi \rangle _{AB}\), there are orthonormal states \(|a\rangle _A\) and \(|a\rangle _B\) such that \(|\psi \rangle =\sum _a \sqrt{p_a} |a\rangle _A|a\rangle _B\), with \(0\le p_a\le 1\) and \(\sum _a p_a=1\). For a brief overview of the Schmidt decomposition see, eg, “Appendix C” of [193].

  98. CW complexes are discrete versions of manifolds, which are constructed recursively by starting with a collection of points, called zero-cells, attaching a set of intervals, called one-cells, such that the boundary of each one-cell consists of some subset of zero-cells, attaching a set of discs, called two-cells, such that the boundary of each two-cell consists of the zero-cells and one-cells, and so on up to \((d-1)\)-cells if the complex is \((d-1)\)-dimensional [125]. In our lattice gauge theory parlance, the zero-cells are the sites, the one-cells which are not in the boundary are the edges, and the two-cells are the plaquettes.

  99. In fact the connection to the Liouville equation holds if we work in a conformal frame where the boundary metric has constant negative curvature for \(g\ge 2\). It might well be that it is easier to compute the action in some other conformal frame, but we won’t pursue this here.

  100. Henry Maxfield has suggested a related set of surfaces constructed by taking n copies of the complex plane and gluing them together using two pairs of branch points on each copy. In the dual CFT this amounts to computing the four-point function of \({\mathbb {Z}}_n\) twist operators in the symmetric orbifold of n copies of the CFT. For this set of surfaces there is a natural guess for where the transition from “totally connected” to “totally disconnected” takes place: at the crossing-symmetric configuration of the four twist operators. The argument that there is a totally connected phase for sufficiently large cross ratio is the same as for our surfaces: eventually the smallest cycles should all contract in the bulk.

  101. The reader can compare these equations to those in [183] in the special case \(d=4\), \(p=1\).

References

  1. Misner, C.W., Wheeler, J.A.: Classical physics as geometry: gravitation, electromagnetism, unquantized charge, and mass as properties of curved empty space. Ann. Phys. 2, 525–603 (1957)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  2. Polchinski, J.: Monopoles, duality, and string theory. Int. J. Mod. Phys. A19S1, 145–156 (2004). arXiv:hep-th/0304042

    Article  MathSciNet  MATH  Google Scholar 

  3. Banks, T., Seiberg, N.: Symmetries and strings in field theory and gravity. Phys. Rev. D 83, 084019 (2011). arXiv:1011.5120

    Article  ADS  Google Scholar 

  4. Vafa, C.: The string landscape and the swampland. arXiv:hep-th/0509212

  5. Arkani-Hamed, N., Motl, L., Nicolis, A., Vafa, C.: The string landscape, black holes and gravity as the weakest force. JHEP 06, 060 (2007). arXiv:hep-th/0601001

    Article  ADS  MathSciNet  Google Scholar 

  6. Adams, A., Arkani-Hamed, N., Dubovsky, S., Nicolis, A., Rattazzi, R.: Causality, analyticity and an IR obstruction to UV completion. JHEP 10, 014 (2006). arxiv:hep-th/0602178

    Article  ADS  MathSciNet  Google Scholar 

  7. Ooguri, H., Vafa, C.: On the geometry of the string landscape and the swampland. Nucl. Phys. B 766, 21–33 (2007). arXiv:hep-th/0605264

    Article  ADS  MathSciNet  MATH  Google Scholar 

  8. Bekenstein, J.D.: Black holes and entropy. Phys. Rev. D 7, 2333–2346 (1973)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  9. Hawking, S.W.: Particle creation by black holes. Commun. Math. Phys. 43, 199–220 (1975)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  10. Susskind, L.: Trouble for remnants. arxiv:hep-th/9501106

  11. Susskind, L.: Some speculations about black hole entropy in string theory. arXiv:hep-th/9309145

  12. Strominger, A., Vafa, C.: Microscopic origin of the Bekenstein–Hawking entropy. Phys. Lett. B 379, 99–104 (1996). arXiv:hep-th/9601029

    Article  ADS  MathSciNet  MATH  Google Scholar 

  13. Horowitz, G.T., Polchinski, J.: A correspondence principle for black holes and strings. Phys. Rev. D 55, 6189–6197 (1997). arXiv:hep-th/9612146

    Article  ADS  MathSciNet  Google Scholar 

  14. Strominger, A.: Black hole entropy from near horizon microstates. JHEP 02, 009 (1998). arXiv:hep-th/9712251

    Article  ADS  MathSciNet  MATH  Google Scholar 

  15. Benini, F., Hristov, K., Zaffaroni, A.: Black hole microstates in \(\text{ AdS}_{{4}}\) from supersymmetric localization. JHEP 05, 054 (2016). arXiv:1511.04085

    Article  ADS  MATH  Google Scholar 

  16. Berkowitz, E., Rinaldi, E., Hanada, M., Ishiki, G., Shimasaki, S., Vranas, P.: Precision lattice test of the gauge/gravity duality at large-\(N\). Phys. Rev. D 94(9), 094501 (2016). arXiv:1606.04951

    Article  ADS  Google Scholar 

  17. Harlow, D.: Wormholes, emergent gauge fields, and the weak gravity conjecture. JHEP 01, 122 (2016). arXiv:1510.07911

    Article  ADS  MathSciNet  MATH  Google Scholar 

  18. Louko, J., Mann, R.B., Marolf, D.: Geons with spin and charge. Class. Quant. Grav. 22, 1451–1468 (2005). arXiv:gr-qc/0412012

    Article  ADS  MathSciNet  MATH  Google Scholar 

  19. Banks, T., Dixon, L.J.: Constraints on string Vacua with space-time supersymmetry. Nucl. Phys. B 307, 93–108 (1988)

    Article  ADS  Google Scholar 

  20. Witten, E.: Anti-de Sitter space and holography. Adv. Theor. Math. Phys. 2, 253–291 (1998). arXiv:hep-th/9802150

    Article  ADS  MathSciNet  MATH  Google Scholar 

  21. Czech, B., Karczmarek, J.L., Nogueira, F., Van Raamsdonk, M.: The gravity dual of a density matrix. Class. Quant. Grav. 29, 155009 (2012). arXiv:1204.1330

    Article  ADS  MathSciNet  MATH  Google Scholar 

  22. Wall, A.C.: Maximin surfaces, and the strong subadditivity of the covariant holographic entanglement entropy. Class. Quant. Grav. 31(22), 225007 (2014). arXiv:1211.3494

    Article  ADS  MathSciNet  MATH  Google Scholar 

  23. Headrick, M., Hubeny, V.E., Lawrence, A., Rangamani, M.: Causality and holographic entanglement entropy. JHEP 12, 162 (2014). arXiv:1408.6300

    Article  ADS  Google Scholar 

  24. Dong, X., Harlow, D., Wall, A.C.: Reconstruction of bulk operators within the entanglement wedge in gauge-gravity duality. Phys. Rev. Lett. 117(2), 021601 (2016). arXiv:1601.05416

    Article  ADS  MathSciNet  Google Scholar 

  25. Almheiri, A., Dong, X., Harlow, D.: Bulk locality and quantum error correction in AdS/CFT. JHEP 04, 163 (2015). arXiv:1411.7041

    Article  ADS  MathSciNet  MATH  Google Scholar 

  26. Harlow, D.: The Ryu-Takayanagi formula from quantum error correction. Commun. Math. Phys. 354(3), 865–912 (2017). arXiv:1607.03901

    Article  ADS  MathSciNet  MATH  Google Scholar 

  27. D’Adda, A., Luscher, M., Di Vecchia, P.: A \(1/n\) expandable series of nonlinear sigma models with instantons. Nucl. Phys. B 146, 63–76 (1978)

    ADS  Google Scholar 

  28. Witten, E.: Instantons, the quark model, and the \(1/n\) expansion. Nucl. Phys. B 149, 285 (1979)

    Article  ADS  Google Scholar 

  29. Cheung, C., Remmen, G.N.: Naturalness and the weak gravity conjecture. Phys. Rev. Lett. 113, 051601 (2014). arXiv:1402.2287

    Article  ADS  Google Scholar 

  30. Heidenreich, B., Reece, M., Rudelius, T.: Sharpening the weak gravity conjecture with dimensional reduction. JHEP 02, 140 (2016). arXiv:1509.06374

    Article  ADS  MathSciNet  MATH  Google Scholar 

  31. Heidenreich, B., Reece, M., Rudelius, T.: Evidence for a sublattice weak gravity conjecture. JHEP 08, 025 (2017). arXiv:1606.08437

    Article  ADS  MathSciNet  MATH  Google Scholar 

  32. Kamionkowski, M., March-Russell, J.: Planck scale physics and the Peccei–Quinn mechanism. Phys. Lett. B 282, 137–141 (1992). arXiv:hep-th/9202003

    Article  ADS  Google Scholar 

  33. Harlow, D., Jafferis, D.: The factorization problem in Jackiw–Teitelboim gravity. JHEP 02, 177 (2020). arXiv:1804.01081

    Article  ADS  MathSciNet  MATH  Google Scholar 

  34. Harlow, D., Ooguri, H.: Constraints on symmetry from holography. Phys. Rev. Lett. 122, 191601 (2019). arXiv:1810.05337

    Article  ADS  Google Scholar 

  35. Haag, R.: Local Quantum Physics: Fields, Particles, Algebras. Springer, Berlin (1992).. (Texts and monographs in physics)

    Book  MATH  Google Scholar 

  36. Polchinski, J.: String Theory: Superstring Theory and Beyond, vol. 2. Cambridge University Press, Cambridge (2007)

    MATH  Google Scholar 

  37. Nakahara, M.: Geometry, Topology and Physics. Taylor and Francis, Boca Raton (2003)

    MATH  Google Scholar 

  38. Carroll, S.M.: Spacetime and Geometry: an Introduction to General Relativity. Addison-Wesley, San Francisco (2004)

    MATH  Google Scholar 

  39. Doplicher, S., Haag, R., Roberts, J.E.: Fields, observables and gauge transformations I. Commun. Math. Phys. 13, 1–23 (1969)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  40. Doplicher, S., Haag, R., Roberts, J.E.: Fields, observables and gauge transformations II. Commun. Math. Phys. 15, 173–200 (1969)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  41. Gaiotto, D., Kapustin, A., Seiberg, N., Willett, B.: Generalized global symmetries. JHEP 02, 172 (2015). arXiv:1412.5148

    Article  ADS  MathSciNet  MATH  Google Scholar 

  42. Polyakov, A.M.: Thermal properties of gauge fields and quark liberation. Phys. Lett. 72B, 477–480 (1978)

    Article  ADS  Google Scholar 

  43. ’t Hooft, G.: On the phase transition towards permanent quark confinement. Nucl. Phys. B138, 1–25 (1978)

  44. Weinberg, S.: The Quantum Theory of Fields: Foundations, vol. 1. Cambridge University Press, Cambridge (2005)

    MATH  Google Scholar 

  45. Inami, T., Ooguri, H.: Nambu–Goldstone bosons in curved space-time. Phys. Lett. 163B, 101–105 (1985)

    Article  ADS  Google Scholar 

  46. Polchinski, J.: String theory: An Introduction to the Bosonic String, vol. 1. Cambridge University Press, Cambridge (2007)

    MATH  Google Scholar 

  47. Doplicher, S.: Local aspects of superselection rules. Commun. Math. Phys. 85, 73–86 (1982)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  48. Doplicher, S., Longo, R.: Local aspects of superselection rules II. Commun. Math. Phys. 88, 399–409 (1983)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  49. Buchholz, D., Doplicher, S., Longo, R.: On Noether’s theorem in quantum field theory. Ann. Phys. 170, 1 (1986)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  50. Buchholz, D.: Product states for local algebras. Commun. Math. Phys. 36, 287–304 (1974)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  51. Buchholz, D., Wichmann, E.H.: Causal independence and the energy level density of states in local quantum field theory. Commun. Math. Phys. 106, 321 (1986)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  52. Fewster, C. J.: The split property for quantum field theories in flat and curved spacetimes. arXiv:1601.06936

  53. Jones, V.F.: Von Neumann Algebras (2009). https://math.berkeley.edu/~vfr/VonNeumann2009.pdf

  54. D’Antoni, C., Longo, R.: Interpolation by type I factors and the flip automorphism. J. Funct. Anal. 51, 361 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  55. Buchholz, D., Jacobi, P.: On the nuclearity condition for massless fields. Lett. Math. Phys. 13, 313 (1987)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  56. Summers, S.J.: Normal product states for fermions and twisted duality for CCR and CAR type algebras with application to the Yukawa-2 quantum field model. Commun. Math. Phys. 86, 111–141 (1982)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  57. Buchholz, D., Fredenhagen, K., D’Antoni, C.: The universal structure of local algebras. Commun. Math. Phys. 111, 123 (1987)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  58. Buchholz, D., Ciolli, F., Ruzzi, G., Vasselli, E.: The universal C*-algebra of the electromagnetic field. Lett. Math. Phys. 106(2), 269–285 (2016). arXiv:1506.06603 [Erratum: Lett. Math. Phys. 106(2), 287 (2016)]

  59. Buchholz, D., Ciolli, F., Ruzzi, G., Vasselli, E.: The universal C*-algebra of the electromagnetic field II. Topological charges and spacelike linear fields. Lett. Math. Phys. 107(2), 201–222 (2017). arXiv:1610.03302

    Article  ADS  MathSciNet  MATH  Google Scholar 

  60. Buchholz, D., Ciolli, F., Ruzzi, G., Vasselli, E.: Linking numbers in local quantum field theory. Lett. Math. Phys. 109(4), 829–842 (2019). arXiv:1808.10167

    Article  ADS  MathSciNet  MATH  Google Scholar 

  61. Carpi, S.: Quantum Noether’s theorem and conformal field theory: a study of some models. Rev. Math. Phys. 11, 519–532 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  62. Morsella, G., Tomassini, L.: From global symmetries to local currents: the Free U(1) case in 4 dimensions. Rev. Math. Phys. 22, 91–115 (2010). arXiv:0811.4760

    Article  MathSciNet  MATH  Google Scholar 

  63. Steenrod, N.E.: The Topology of Fibre Bundles, vol. 14. Princeton University Press, Princeton (1951)

    Book  MATH  Google Scholar 

  64. ’t Hooft, G.: Naturalness, chiral symmetry, and spontaneous chiral symmetry breaking. NATO Sci. Ser. B 59, 135–157 (1980)

  65. Frishman, Y., Schwimmer, A., Banks, T., Yankielowicz, S.: The axial anomaly and the bound state spectrum in confining theories. Nucl. Phys. B 177, 157–171 (1981)

    Article  ADS  Google Scholar 

  66. Coleman, S.R., Grossman, B.: ’t Hooft’s consistency condition as a consequence of analyticity and unitarity. Nucl. Phys. B 203, 205–220 (1982)

    Article  ADS  MathSciNet  Google Scholar 

  67. Alvarez-Gaume, L., Witten, E.: Gravitational anomalies. Nucl. Phys. B 234, 269 (1984)

    Article  ADS  MathSciNet  Google Scholar 

  68. Kapustin, A., Thorngren, R.: Anomalies of discrete symmetries in three dimensions and group cohomology. Phys. Rev. Lett. 112(23), 231602 (2014). arXiv:1403.0617

    Article  ADS  Google Scholar 

  69. Adler, S.L.: Axial vector vertex in spinor electrodynamics. Phys. Rev. 177, 2426–2438 (1969)

    Article  ADS  Google Scholar 

  70. Bell, J.S., Jackiw, R.: A PCAC puzzle: \(\pi _0 \rightarrow \gamma \gamma \) in the sigma model. Nuovo Cim. A 60, 47–61 (1969)

    Article  ADS  Google Scholar 

  71. Gross, D.J., Jackiw, R.: Effect of anomalies on quasi-renormalizable theories. Phys. Rev. D 6, 477–493 (1972)

    Article  ADS  Google Scholar 

  72. ’t Hooft, G.: Symmetry breaking through Bell–Jackiw anomalies. Phys. Rev. Lett. 37, 8–11 (1976)

  73. Witten, E.: An \(\text{ SU }(2)\) anomaly. Phys. Lett. 117B, 324–328 (1982)

    Article  ADS  MathSciNet  Google Scholar 

  74. Closset, C., Dumitrescu, T.T., Festuccia, G., Komargodski, Z., Seiberg, N.: Comments on Chern–Simons contact terms in three dimensions. JHEP 09, 091 (2012). arXiv:1206.5218

    Article  ADS  MathSciNet  MATH  Google Scholar 

  75. Weinberg, S.: The Quantum Theory of Fields: Modern Applications, vol. 2. Cambridge University Press, Cambridge (2013)

    Google Scholar 

  76. Tong, D.: Line operators in the standard model. JHEP 07, 104 (2017). arXiv:1705.01853

    Article  ADS  MathSciNet  MATH  Google Scholar 

  77. ’t Hooft, G.: How instantons solve the \(U(1)\) problem. Phys. Rept. 142, 357–387 (1986)

  78. Coleman, S.R.: The uses of instantons. Subnucl. Ser. 15, 805 (1979)

    Google Scholar 

  79. Wu, T.T., Yang, C.N.: Concept of nonintegrable phase factors and global formulation of gauge fields. Phys. Rev. D 12, 3845–3857 (1975)

    Article  ADS  MathSciNet  Google Scholar 

  80. Delbourgo, R., Salam, A.: The gravitational correction to PCAC. Phys. Lett. 40B, 381–382 (1972)

    Article  ADS  Google Scholar 

  81. Gomis, J., Hsin, P.-S., Komargodski, Z., Schwimmer, A., Seiberg, N., Theisen, S.: Anomalies, conformal manifolds, and spheres. JHEP 03, 022 (2016). arXiv:1509.08511

    Article  ADS  MATH  Google Scholar 

  82. Kapustin, A.: Wilson-’t Hooft operators in four-dimensional gauge theories and S-duality. Phys. Rev. D 74, 025005 (2006). arXiv:hep-th/0501015

    Article  ADS  MathSciNet  Google Scholar 

  83. Chen, X., Gu, Z.-C., Liu, Z.-X., Wen, X.-G.: Symmetry protected topological orders and the group cohomology of their symmetry group. Phys. Rev. B 87(15), 155114 (2013). arXiv:1106.4772

    Article  ADS  Google Scholar 

  84. Dijkgraaf, R., Witten, E.: Topological gauge theories and group cohomology. Commun. Math. Phys. 129, 393 (1990)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  85. Freed, D.S.: Anomalies and invertible field theories. Proc. Symp. Pure Math. 88, 25–46 (2014). arXiv:1404.7224

    Article  MathSciNet  MATH  Google Scholar 

  86. Freed, D.S.: Short-range entanglement and invertible field theories. arXiv:1406.7278

  87. Freed, D.S., Hopkins, M.J.: Reflection positivity and invertible topological phases. arXiv:1604.06527

  88. Kapustin, A., Thorngren, R.: Anomalies of discrete symmetries in various dimensions and group cohomology. arXiv:1404.3230

  89. Alvarez-Gaume, L., Ginsparg, P.H.: The topological meaning of nonabelian anomalies. Nucl. Phys. B 243, 449–474 (1984)

    Article  ADS  MathSciNet  Google Scholar 

  90. Córdova, C., Dumitrescu, T.T., Intriligator, K.: Exploring 2-group global symmetries. JHEP 02, 184 (2019). arXiv:1802.04790

    Article  ADS  MathSciNet  MATH  Google Scholar 

  91. Benini, F., Córdova, C., Hsin, P.-S.: On 2-group global symmetries and their anomalies. JHEP 03, 118 (2019). arXiv:1803.09336

    Article  ADS  MathSciNet  MATH  Google Scholar 

  92. Henningson, M., Skenderis, K.: The holographic Weyl anomaly. JHEP 07, 023 (1998). arXiv:hep-th/9806087

    Article  ADS  MathSciNet  MATH  Google Scholar 

  93. Stora, R.: Algebraic structure and topological origin of anomalies. In: Progress in Gauge Field Theory. Proceedings of NATO Advanced Study Institute, Cargese (1983)

  94. Zumino, B.: Chiral anomalies and differential geometry. In: Relativity, Groups and Topology: Proceedings, 40th Summer School of Theoretical Physics - Session 40: Les Houches, France, June 27–August 4, vol. 2, pp. 1291–1322 (1983) [361 (1983)]

  95. Manes, J., Stora, R., Zumino, B.: Algebraic study of chiral anomalies. Commun. Math. Phys. 102, 157 (1985)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  96. Faddeev, L.D., Shatashvili, S.L.: Algebraic and Hamiltonian methods in the theory of nonabelian anomalies. Theor. Math. Phys. 60, 770–778 (1985). (Teor. Mat. Fiz. 60, 206 (1984))

    Article  Google Scholar 

  97. Dubois-Violette, M., Talon, M., Viallet, C.M.: BRS algebras: analysis of the consistency equations in gauge theory. Commun. Math. Phys. 102, 105 (1985)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  98. Brandt, F., Dragon, N., Kreuzer, M.: Completeness and nontriviality of the solutions of the consistency conditions. Nucl. Phys. B 332, 224–249 (1990)

    Article  ADS  MathSciNet  Google Scholar 

  99. Dixon, J.A.: Calculation of BRS cohomology with spectral sequences. Commun. Math. Phys. 139, 495–526 (1991)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  100. Dubois-Violette, M., Henneaux, M., Talon, M., Viallet, C.-M.: General solution of the consistency equation. Phys. Lett. B 289, 361–367 (1992). arXiv:hep-th/9206106

    Article  ADS  MathSciNet  Google Scholar 

  101. Tachikawa, Y.: On gauging finite subgroups. SciPost Phys. 8(1), 015 (2020). arXiv:1712.09542

    Article  ADS  MathSciNet  Google Scholar 

  102. Montonen, C., Olive, D.I.: Magnetic monopoles as gauge particles? Phys. Lett. 72B, 117–120 (1977)

    Article  ADS  Google Scholar 

  103. Sen, A.: Strong—weak coupling duality in four-dimensional string theory. Int. J. Mod. Phys. A 9, 3707–3750 (1994). arXiv:hep-th/9402002

    Article  ADS  MathSciNet  MATH  Google Scholar 

  104. Vafa, C., Witten, E.: A strong coupling test of S duality. Nucl. Phys. B 431, 3–77 (1994). arXiv:hep-th/9408074

    Article  ADS  MathSciNet  MATH  Google Scholar 

  105. Fradkin, E.H., Shenker, S.H.: Phase diagrams of lattice gauge theories with Higgs fields. Phys. Rev. D 19, 3682–3697 (1979)

    Article  ADS  Google Scholar 

  106. Banks, T., Rabinovici, E.: Finite temperature behavior of the lattice abelian Higgs model. Nucl. Phys. B 160, 349–379 (1979)

    Article  ADS  Google Scholar 

  107. Alford, M.G., March-Russell, J.: New order parameters for non-Abelian gauge theories. Nucl. Phys. B 369, 276–298 (1992)

    Article  ADS  Google Scholar 

  108. Polyakov, A.M.: Compact gauge fields and the infrared catastrophe. Phys. Lett. 59B, 82–84 (1975)

    Article  ADS  Google Scholar 

  109. Kraus, P.: Lectures on black holes and the \(AdS_3/CFT_2\) correspondence. Lect. Notes Phys. 755, 193–247 (2008). arXiv:hep-th/0609074

    ADS  MathSciNet  MATH  Google Scholar 

  110. Andrade, T., Jottar, J.I., Leigh, R.G.: Boundary conditions and unitarity: the Maxwell-Chern-Simons system in \(AdS_3/CFT_2\). JHEP 05, 071 (2012). arXiv:1111.5054

    Article  ADS  MATH  Google Scholar 

  111. Achucarro, A., Townsend, P.K.: A Chern–Simons action for three-dimensional anti-de Sitter supergravity theories. Phys. Lett. B 180, 89 (1986). ([732 (1987)])

    Article  ADS  MathSciNet  Google Scholar 

  112. de Boer, J.: Six-dimensional supergravity on \(S^3 \times \text{ AdS}_3\) and 2-D conformal field theory. Nucl. Phys. B 548, 139–166 (1999). arXiv:hep-th/9806104

    ADS  Google Scholar 

  113. Aharony, O., Berkooz, M., Tong, D., Yankielowicz, S.: Confinement in anti-de Sitter space. JHEP 02, 076 (2013). arXiv:1210.5195

    Article  ADS  MathSciNet  MATH  Google Scholar 

  114. Susskind, L., Witten, E.: The holographic bound in anti-de Sitter space. arXiv:hep-th/9805114

  115. Wilson, K.G.: Confinement of quarks. Phys. Rev. D 10, 2445–2459 (1974)

    Article  ADS  Google Scholar 

  116. Kogut, J.B., Susskind, L.: Hamiltonian formulation of Wilson’s lattice gauge theories. Phys. Rev. D 11, 395–408 (1975)

    Article  ADS  Google Scholar 

  117. Creutz, M.: Gauge fixing, the transfer matrix, and confinement on a lattice. Phys. Rev. D 15, 1128 (1977). ([132 (1976)])

    Article  ADS  Google Scholar 

  118. Fradkin, E.H., Susskind, L.: Order and disorder in gauge systems and magnets. Phys. Rev. D 17, 2637 (1978)

    Article  ADS  MathSciNet  Google Scholar 

  119. Knapp, A.W.: Lie Groups Beyond an Introduction, vol. 140. Springer, Berlin (2013)

    MATH  Google Scholar 

  120. Caspar, S., Mesterhazy, D., Olesen, T.Z., Vlasii, N.D., Wiese, U.-J.: Doubled lattice Chern–Simons–Yang–Mills theories with discrete gauge group. Ann. Phys. 374, 255–290 (2016)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  121. Wegner, F.J.: Duality in generalized Ising models and phase transitions without local order parameters. J. Math. Phys. 12, 2259–2272 (1971)

    Article  ADS  MathSciNet  Google Scholar 

  122. Arakawa, G., Ichinose, I.: \(Z_N\) gauge theories on a lattice and quantum memory. Ann. Phys. 311, 152 (2004). arXiv:quant-ph/0309142

    Article  ADS  MATH  Google Scholar 

  123. Kitaev, AYu.: Fault tolerant quantum computation by Anyons. Ann. Phys. 303, 2–30 (2003). arXiv:quant-ph/9707021

    Article  ADS  MathSciNet  MATH  Google Scholar 

  124. Gottesman, D.: Stabilizer codes and quantum error correction. arXiv:quant-ph/9705052

  125. Hatcher, A.: Algebraic topology, vol. 606. Cambridge University Press, Cambridge(2002)

  126. Aharony, O., Seiberg, N., Tachikawa, Y.: Reading between the lines of four-dimensional gauge theories. JHEP 08, 115 (2013). arXiv:1305.0318

    Article  ADS  MathSciNet  MATH  Google Scholar 

  127. Particle Data Group Collaboration, Patrignani, C. et al.: Review of particle physics. Chin. Phys. C40(10), 100001 (2016)

  128. Henneaux, M., Teitelboim, C.: Asymptotically anti-de Sitter spaces. Commun. Math. Phys. 98, 391–424 (1985)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  129. Heemskerk, I.: Construction of bulk fields with gauge redundancy. JHEP 09, 106 (2012). arXiv:1201.3666

    Article  ADS  Google Scholar 

  130. Kabat, D., Lifschytz, G.: Decoding the hologram: scalar fields interacting with gravity. Phys. Rev. D 89(6), 066010 (2014). arXiv:1311.3020

    Article  ADS  Google Scholar 

  131. Donnelly, W., Giddings, S.B.: Diffeomorphism-invariant observables and their nonlocal algebra. Phys. Rev. D93(2), 024030 (2016). arXiv:1507.07921. [Erratum: Phys. Rev. D 94(2), 029903 (2016)]

  132. Donnelly, W., Giddings, S.B.: Observables, gravitational dressing, and obstructions to locality and subsystems. Phys. Rev. D 94(10), 104038 (2016). arXiv:1607.01025

    Article  ADS  MathSciNet  Google Scholar 

  133. Donnelly, W., Marolf, D., Mintun, E.: Combing gravitational hair in \(2+1\) dimensions. Class. Quant. Grav. 33(2), 025010 (2016). arXiv:1510.00672

    Article  ADS  MathSciNet  MATH  Google Scholar 

  134. Giddings, S.B., Kinsella, A.: Gauge-invariant observables, gravitational dressings, and holography in AdS. JHEP 11, 074 (2018). arXiv:1802.01602

    Article  ADS  MathSciNet  MATH  Google Scholar 

  135. Balasubramanian, V., Kraus, P.: A stress tensor for anti-de Sitter gravity. Commun. Math. Phys. 208, 413–428 (1999). arXiv:hep-th/9902121

    Article  ADS  MathSciNet  MATH  Google Scholar 

  136. Banks, T., Douglas, M.R., Horowitz, G.T., Martinec, E.J.: AdS dynamics from conformal field theory. arXiv:hep-th/9808016

  137. Polchinski, J., Susskind, L., Toumbas, N.: Negative energy, super-luminosity and holography. Phys. Rev. D 60, 084006 (1999). arXiv:hep-th/9903228

    Article  ADS  MathSciNet  Google Scholar 

  138. Hamilton, A., Kabat, D.N., Lifschytz, G., Lowe, D.A.: Holographic representation of local bulk operators. Phys. Rev. D 74, 066009 (2006). arXiv:hep-th/0606141

    Article  ADS  MathSciNet  Google Scholar 

  139. Heemskerk, I., Marolf, D., Polchinski, J., Sully, J.: Bulk and transhorizon measurements in AdS/CFT. JHEP 10, 165 (2012). arXiv:1201.3664

    Article  ADS  Google Scholar 

  140. Harlow, D.: TASI Lectures on the Emergence of Bulk Physics in AdS/CFT. PoS TASI2017, 002 (2018). arXiv:1802.01040

  141. Pastawski, F., Yoshida, B., Harlow, D., Preskill, J.: Holographic quantum error-correcting codes: toy models for the bulk/boundary correspondence. JHEP 06, 149 (2015). arXiv:1503.06237

    Article  ADS  MathSciNet  MATH  Google Scholar 

  142. Hayden, P., Nezami, S., Qi, X.-L., Thomas, N., Walter, M., Yang, Z.: Holographic duality from random tensor networks. JHEP 11, 009 (2016). arXiv:1601.01694

    Article  ADS  MathSciNet  MATH  Google Scholar 

  143. Eastin, B., Knill, E.: Restrictions on transversal encoded quantum gate sets. Phys. Rev. Lett. 102(11), 110502 (2009)

    Article  ADS  Google Scholar 

  144. Gaiotto, D., Kapustin, A., Komargodski, Z., Seiberg, N.: Theta, time reversal, and temperature. JHEP 05, 091 (2017). arXiv:1703.00501

    Article  ADS  MathSciNet  MATH  Google Scholar 

  145. Maldacena, J.M.: Eternal black holes in anti-de Sitter. JHEP 04, 021 (2003). arXiv:hep-th/0106112

    Article  ADS  MathSciNet  Google Scholar 

  146. Heemskerk, I., Penedones, J., Polchinski, J., Sully, J.: Holography from conformal field theory. JHEP 10, 079 (2009). arXiv:0907.0151

    Article  ADS  MathSciNet  Google Scholar 

  147. Penedones, J.: Writing CFT correlation functions as AdS scattering amplitudes. JHEP 03, 025 (2011). arXiv:1011.1485

    Article  ADS  MathSciNet  MATH  Google Scholar 

  148. Hartman, T., Keller, C.A., Stoica, B.: Universal spectrum of 2D conformal field theory in the large \(c\) limit. JHEP 09, 118 (2014). arXiv:1405.5137

    Article  ADS  MathSciNet  MATH  Google Scholar 

  149. Maldacena, J., Simmons-Duffin, D., Zhiboedov, A.: Looking for a bulk point. JHEP 01, 013 (2017). arXiv:1509.03612

    Article  ADS  MathSciNet  MATH  Google Scholar 

  150. Aharony, O., Alday, L.F., Bissi, A., Perlmutter, E.: Loops in AdS from conformal field theory. JHEP 07, 036 (2017). arXiv:1612.03891

    Article  ADS  MathSciNet  MATH  Google Scholar 

  151. Kabat, D., Lifschytz, G., Roy, S., Sarkar, D.: Holographic representation of bulk fields with spin in AdS/CFT. Phys. Rev. D 86, 026004 (2012). arXiv:1204.0126

    Article  ADS  Google Scholar 

  152. Kabat, D., Lifschytz, G., Lowe, D.A.: Constructing local bulk observables in interacting AdS/CFT. Phys. Rev. D 83, 106009 (2011). arXiv:1102.2910

    Article  ADS  Google Scholar 

  153. Kabat, D., Lifschytz, G.: CFT representation of interacting bulk gauge fields in AdS. Phys. Rev. D 87(8), 086004 (2013). arXiv:1212.3788

    Article  ADS  Google Scholar 

  154. Witten, E.: Symmetry and emergence. Nat. Phys. 14, 116–119 (2018). arXiv:1710.01791

  155. Seiberg, N., Witten, E.: The D1 / D5 system and singular CFT. JHEP 04, 017 (1999). arXiv:hep-th/9903224

    Article  ADS  MathSciNet  MATH  Google Scholar 

  156. Harlow, D.: Finite-dimensional faithful unitary representations of \(sl(2,z)\). MathOverflow. https://mathoverflow.net/q/309050 (version: 2018-08-24)

  157. Maldacena, J.M., Ooguri, H.: Strings in \(\text{ AdS}_3\) and \(SL(2,R)\) WZW model 1: the spectrum. J. Math. Phys. 42, 2929–2960 (2001). arxiv:hep-th/0001053

  158. Maldacena, J. M., Ooguri, H., Son, J.: Strings in \(\text{ AdS}_3\) and \(SL(2,R)\) WZW model. Part 2. Euclidean black hole, J. Math. Phys. 42, 2961–2977 (2001). arXiv:hep-th/0005183

  159. Maldacena, J.M., Ooguri, H.: Strings in \(\text{ AdS}_3\) and \(SL(2, R)\) WZW model. Part 3. Correlation functions. Phys. Rev. D 65, 106006 (2002). arXiv:hep-th/0111180

    Article  ADS  MathSciNet  Google Scholar 

  160. Ribault, S.: Knizhnik–Zamolodchikov equations and spectral flow in \(\text{ AdS}_3\) string theory. JHEP 09, 045 (2005). arXiv:hep-th/0507114

    Article  ADS  MathSciNet  Google Scholar 

  161. Giribet, G.: Violating the string winding number maximally in anti-de Sitter space. Phys. Rev. D 84, 024045 (2011). arXiv:1106.4191. [Addendum: Phys. Rev. D 96(2), 024024 (2017)]

  162. Coleman, S.R., Mandula, J.: All possible symmetries of the S matrix. Phys. Rev. 159, 1251–1256 (1967)

    Article  ADS  MATH  Google Scholar 

  163. Maldacena, J., Zhiboedov, A.: Constraining conformal field theories with a higher spin symmetry. J. Phys. A 46, 214011 (2013). arXiv:1112.1016

    Article  ADS  MathSciNet  MATH  Google Scholar 

  164. Alba V., Diab K.: Constraining conformal field theories with a higher spin symmetry in \(d > 3\) dimensions. JHEP 03, 044 (2016). arXiv:1510.02535

  165. Haag, R., Lopuszanski, J.T., Sohnius, M.: All possible generators of supersymmetries of the S matrix. Nucl. Phys. B 88, 257 (1975)

    Article  ADS  MathSciNet  Google Scholar 

  166. Feruglio, F., Hagedorn, C., Ziegler, R.: Lepton mixing parameters from discrete and CP Symmetries. JHEP 07, 027 (2013). arXiv:1211.5560

    Article  ADS  Google Scholar 

  167. Holthausen, M., Lindner, M., Schmidt, M.A.: CP and discrete flavour symmetries. JHEP 04, 122 (2013). arXiv:1211.6953

    Article  ADS  MathSciNet  MATH  Google Scholar 

  168. Nussinov, Z., Ortiz, G.: A symmetry principle for topological quantum order. Ann. Phys. 324(5), 977–1057 (2009)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  169. Kapustin, A., Thorngren, R.: Higher symmetry and gapped phases of gauge theories. arXiv:1309.4721

  170. Kapustin, A., Seiberg, N.: Coupling a QFT to a TQFT and duality. JHEP 04, 001 (2014). arXiv:1401.0740

    Article  ADS  Google Scholar 

  171. Yoshida, B.: Topological phases with generalized global symmetries. Phys. Rev. B 93(15), 155131 (2016). arXiv:1508.03468

    Article  ADS  Google Scholar 

  172. Lake, E.: Higher-form symmetries and spontaneous symmetry breaking. arXiv:1802.07747

  173. Grozdanov, S., Hofman, D.M., Iqbal, N.: Generalized global symmetries and dissipative magnetohydrodynamics. Phys. Rev. D 95(9), 096003 (2017). arXiv:1610.07392

    Article  ADS  Google Scholar 

  174. Kalb, M., Ramond, P.: Classical direct interstring action. Phys. Rev. D 9, 2273–2284 (1974)

    Article  ADS  Google Scholar 

  175. Baez, J.C., Huerta, J.: An invitation to higher gauge theory. Gen. Rel. Grav. 43, 2335–2392 (2011). arXiv:1003.4485

    Article  ADS  MathSciNet  MATH  Google Scholar 

  176. Johnson, S.: Constructions with Bundle Gerbes. Ph.D. Thesis, Adelaide U (2002). arXiv:math/0312175

  177. Alvarez, O.: Topological quantization and cohomology. Commun. Math. Phys. 100, 279 (1985)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  178. Villain, J.: Theory of one-dimensional and two-dimensional magnets with an easy magnetization plane. 2. The Planar, classical, two-dimensional magnet. J. Phys. 36, 581–590 (1975)

    Article  Google Scholar 

  179. Savit, R.: Topological excitations in \(U(1)\) invariant theories. Phys. Rev. Lett. 39, 55 (1977)

    Article  ADS  Google Scholar 

  180. Orland, P.: Instantons and disorder in antisymmetric tensor gauge fields. Nucl. Phys. B 205, 107–118 (1982)

    Article  ADS  MathSciNet  Google Scholar 

  181. Lipstein, A.E., Reid-Edwards, R.A.: Lattice gerbe theory. JHEP 09, 034 (2014). arXiv:1404.2634

    Article  ADS  MathSciNet  MATH  Google Scholar 

  182. Johnston, D.A.: \({\mathbb{Z}}_2\) lattice gerbe theory. Phys. Rev. D 90(10), 107701 (2014). arXiv:1405.7890

    Article  ADS  Google Scholar 

  183. Copsey, K., Horowitz, G.T.: Gravity dual of gauge theory on \(S^2 \times S^1 x {\mathbb{R}}\). JHEP 06, 021 (2006). arXiv:hep-th/0602003

    Article  ADS  Google Scholar 

  184. Belin, A., De Boer, J.: Kruthoff J (2018) Comments on a state-operator correspondence for the torus. Sci Post Phys 5(6), 060 (2018). arXiv:1802.00006

    Article  ADS  Google Scholar 

  185. Ooguri, H., Vafa, C.: Non-supersymmetric AdS and the swampland. Adv. Theor. Math. Phys. 21, 1787–1801 (2017). arXiv:1610.01533

    Article  MathSciNet  MATH  Google Scholar 

  186. Cheung, C., Liu, J., Remmen, G.N.: Proof of the weak gravity conjecture from black hole entropy. JHEP 10, 004 (2018). arXiv:1801.08546

    Article  ADS  MathSciNet  MATH  Google Scholar 

  187. Fisher, Z., Mogni, C.J.: A semiclassical, entropic proof of a weak gravity conjecture. arXiv:1706.08257

  188. Hamada, Y., Noumi, T., Shiu, G.: Weak gravity conjecture from unitarity and causality. Phys. Rev. Lett. 123(5), 051601 (2019). arXiv:1810.03637

    Article  ADS  MathSciNet  Google Scholar 

  189. Lee, J.M.: Introduction to Smooth Manifolds. Springer, New York (2001)

    Google Scholar 

  190. Levy, T.: Wilson loops in the light of spin networks. J. Geom. Phys. 52, 382–397 (2004). arXiv:math-ph/0306059

    Article  ADS  MathSciNet  MATH  Google Scholar 

  191. Witten, E.: APS medal for exceptional achievement in research: invited article on entanglement properties of quantum field theory. Rev. Mod. Phys. 90(4), 045003 (2018). arXiv:1803.04993

    Article  ADS  Google Scholar 

  192. Milner, J.: Morse Theory. Princeton University Press, Princeton (1963)

    Book  MATH  Google Scholar 

  193. Harlow, D.: Jerusalem lectures on black holes and quantum information. Rev. Mod. Phys. 88, 015002 (2016). arXiv:1409.1231

    Article  ADS  Google Scholar 

  194. Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2010)

    MATH  Google Scholar 

  195. Krasnov, K.: Holography and Riemann surfaces. Adv. Theor. Math. Phys. 4, 929–979 (2000). arXiv:hep-th/0005106

    Article  MathSciNet  MATH  Google Scholar 

  196. Skenderis, K., van Rees, B.C.: Holography and wormholes in 2+1 dimensions. Commun. Math. Phys. 301, 583–626 (2011). arXiv:0912.2090

    Article  ADS  MathSciNet  MATH  Google Scholar 

  197. Balasubramanian, V., Hayden, P., Maloney, A., Marolf, D., Ross, S.F.: Multiboundary wormholes and holographic entanglement. Class. Quant. Grav. 31, 185015 (2014). arXiv:1406.2663

    Article  ADS  MATH  Google Scholar 

  198. Maxfield, H., Ross, S., Way, B.: Holographic partition functions and phases for higher genus Riemann surfaces. Class. Quant. Grav. 33(12), 125018 (2016). arXiv:1601.00980

    Article  ADS  MathSciNet  MATH  Google Scholar 

  199. Aminneborg, S., Bengtsson, I., Brill, D., Holst, S., Peldan, P.: Black holes and wormholes in (2+1)-dimensions. Class. Quant. Grav. 15, 627–644 (1998). arXiv:gr-qc/9707036

    Article  ADS  MathSciNet  MATH  Google Scholar 

  200. Marolf, D., Maxfield, H., Peach, A., Ross, S.F.: Hot multiboundary wormholes from bipartite entanglement. Class. Quant. Grav. 32(21), 215006 (2015). arXiv:1506.04128

    Article  ADS  MathSciNet  MATH  Google Scholar 

  201. Yin, X.: On non-handlebody instantons in 3D gravity. JHEP 09, 120 (2008). arXiv:0711.2803

    Article  ADS  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

We thank Tom Banks, Thomas Dumitrescu, Zohar Komargodski, Nati Seiberg, and Sasha Zhiboedov for many useful discussions on the issues in this paper. We also thank Nima Arkani-Hamed, Chris Beem, Mu-Chun Chen, Clay Cordova, Simeon Hellerman, Gary Horowitz, Ethan Lake, Hong Liu, Roberto Longo, Juan Maldacena, Greg Moore, Andy Strominger, Raman Sundrum, Wati Taylor, and Edward Witten for useful discussions. We thank the Aspen Center for Physics, which is supported by the National Science Foundation grant PHY-1607611, the Harvard Center for the Fundamental Laws of Nature, the Institute for Advanced Study, the Kavli Institute for Theoretical Physics, the Okinawa Institute of Science and Technology Graduate School, the Perimeter Institute, the Simons Center for Geometry and Physics, the Yukawa Institute of Fundamental Physics, for their hospitality during various stages of this work. DH also thanks the Kavli Institute for Physics and Mathematics of the Universe and the Maryland Center for Fundamental Physics for hospitality, and Alexander Huabo Yu Harlow for creating a stimulating environment while this work was being completed. DH is supported by the US Department of Energy Grants DE-SC0018944 and DE-SC0019127, the Simons foundation as a member of the It from Qubit collaboration, and the MIT department of physics. HO is supported in part by U.S. Department of Energy Grant DE-SC0011632, by the World Premier International Research Center Initiative, MEXT, Japan, by JSPS Grant-in-Aid for Scientific Research C-26400240, and by JSPS Grant-in-Aid for Scientific Research on Innovative Areas 15H05895.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Daniel Harlow.

Additional information

Communicated by H. Yau.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Appendices

Group Theory

In this appendix we briefly review some standard aspects of Lie group theory which are necessary for our work, but which may not be common knowledge for all physicists. For many more details see eg [119, 189], our discussion of representation theory largely follows [119].

1.1 General structure of Lie groups

A Lie group is a group G which is also a smooth manifold, and for which multiplication and inversion are smooth maps in that smooth structure. A vector field X on G is called left-invariant if for any h in G it is preserved by the pushforward of the map \(L_h:g\mapsto hg\). The set of left-invariant vector fields forms a real vector space \({\mathfrak {g}}\), called the Lie algebra of G, whose dimensionality equals that of the manifold, and which is closed under taking vector field commutators (abstractly a Lie algebra is a vector space with a bracket operation which is antisymmetric and obeys the Jacobi identity). If G has dimension zero as a manifold, then \({\mathfrak {g}}\) consists of only the zero vector. There are then two classic results:

Theorem A.1

(Closed subgroup theorem). Let G be a Lie group, and \(H\subset G\) a subgroup of G which is topologically closed. Then H is an embedded submanifold, and thus is itself a Lie group.

Theorem A.2

(Lie group–Lie algebra correspondence). Let \({\mathfrak {g}}\) be an abstract real finite-dimensional Lie algebra. Then there exists a unique (up to isomorphism) connected simply-connected Lie group \(\widetilde{G}\) whose Lie algebra is isomorphic to \({\mathfrak {g}}\). Moreover any other connected Lie group G whose Lie algebra is isomorphic to \({\mathfrak {g}}\) is itself isomorphic to a quotient of \(\widetilde{G}\) by a discrete central subgroup \(\Gamma \subset \widetilde{G}\). More generally, any Lie group G with a given Lie algebra is an extension of one of the connected ones by a discrete “component” group C, meaning that there is a surjective homomorphism from G to C which sends each connected component of G to a distinct element of C,Footnote 91 and that therefore \(C\cong G/G_0\), where \(G_0\) is the identity component of G.

The proofs of these theorems use standard geometric techniques (vector flows, Frobenius’s theorem, etc), they are nicely explained in [189] (Ado’s theorem is also needed, which is proven in [119]). We will give the proof of one further result which we will need below:

Theorem A.3

Let G be a connected Lie group, and \(H\subset G\) be a subgroup which contains an open neighborhood U of the identity in G. Then \(H=G\).

Proof

We will show that H is both open and closed: since G is connected, this implies \(H=G\). H is open because for any \(h\in H\), the set hU is open in G, it contains h, and it is contained in H. Therefore \(H=\bigcup _{h\in H} (hU)\). H is closed because if \(g\notin H\), then we also have \(gU\cap H=\emptyset \). Indeed if we had \(gu=h\) for some \(u\in U\) and \(h\in H\), then we would have \(g=hu^{-1}\), and thus \(g\in H\). Therefore we have \(G-H=\bigcup _{g\notin H}gU\). \(\square \)

1.2 Representation theory of compact Lie groups

A representation of a Lie group G on a complex vector space V is a homomorphism \(\rho \) from G into the set of linear operators on V, for which the map \(\Phi _\rho :G\times V\rightarrow V\) defined by \(\Phi _\rho (g,v)=\rho (g)v\) is jointly continuous.Footnote 92 If \(\rho \) is injective then it is said to be faithful. \(\rho \) is said to be unitary if V admits an inner product with respect to which \(\rho (g)\) is unitary for any g, and is said to be finite-dimensional if V is finite-dimensional. The kernel of \(\rho \), denoted \(\mathrm {Ker}(\rho )\), is the set of elements of G which are mapped to the identity operator on V. \(\mathrm {Ker}(\rho )\) is always a closed normal subgoup of G, and \(\rho \) is faithful if and only if \(\mathrm {Ker}(\rho )=\{e\}\). A subspace \(S\subset V\) is called invariant if \(\rho (G)S=S\), and \(\rho \) is said to be irreducible if the only closed invariant subspaces are V itself and 0. By the closed subgroup theorem any finite-dimensional representation of a Lie group G is automatically smooth, which is why we only required \(\rho \) to be continuous, and actually by Theorem A.9 below the same is true for infinite-dimensional unitary representations if G is compact.

The representations of a general Lie group G can be quite sophisticated, but if G is compact and \(\rho \) is either unitary or finite-dimensional then there is a simple theory of all representations which can be derived from the existence of the invariant Haar measure dg on G. Indeed there is a simple theorem relating these two conditions:

Theorem A.4

Let G be a compact Lie group, and \(\rho \) be a finite-dimensional representation of G. Then \(\rho \) is unitary.

Proof

Let \((v,v')_0\) be any inner product on V.Footnote 93 We may then define a new inner product

$$\begin{aligned} (v,v')\equiv \int \mathrm{d}g(\rho (g)v,\rho (g)v')_0, \end{aligned}$$
(A.1)

which is easily shown to be an inner product with respect to which \(\rho (g)\) is unitary for any g. \(\square \)

For a unitary representation, the orthogonal complement of an invariant subspace is also invariant. Therefore Theorem A.4 shows that any finite-dimensional representation of a compact Lie group can be decomposed into a direct sum of irreducible representations. We next establish a famous technical lemma, which we then use to establish perhaps the most remarkable feature of the representation theory of compact groups: the Schur orthogonality relations.

Theorem A.5

(Schur’s lemma). Let \(\alpha \) and \(\alpha '\) be finite-dimensional irreducible representations of a group G on V and \(V'\) respectively (here G can be an arbitrary group and we assume no continuity properties of \(\alpha \) and \(\alpha '\)). If \(L:V\rightarrow V'\) is a linear map obeying \(\alpha '(g)L=L\alpha (g)\) for all \(g\in G\), then either L is a bijection or \(L=0\). Moreover if \(\alpha =\alpha '\) and \(V=V'\), then L is a multiple of the identity.

Proof

It is easy to see that the kernel and image of L are invariant subspaces of V and \(V'\) respectively. Irreducibility of \(\alpha \) implies that the kernel of L is either 0 or V: if it is V then \(L=0\), while if it is 0 then L is injective. If L is injective, then irreducibility of \(\alpha '\) implies that its image must \(V'\), so L is surjective. In the case \(\alpha =\alpha '\) and \(V=V'\), since L is finite-dimensional if it is not equal to zero then it has a nonzero eigenvalue \(\lambda \). We may then consider the operator \({\hat{L}}\equiv L-\lambda I\), which again is a linear map which commutes with \(\alpha \). But it is not injective so it must be zero. \(\square \)

Theorem A.6

(Schur orthogonality relations). Let \(\alpha \) and \(\alpha '\) be irreducible finite-dimensional representations of a compact Lie group G on the vector spaces V and \(V'\), which are inequivalent in the sense that there is no invertible linear map \(L:V\rightarrow V'\) such that \(L\alpha (g)=\alpha '(g)L\) for any \(g\in G\). Then in the inner products for which \(\alpha \) and \(\alpha '\) are unitary we have

$$\begin{aligned} \int \mathrm{d}g (u',\alpha '(g)v')^*(u,\alpha (g)v)&=0 \qquad \forall u,v\in V, u',v'\in V' \end{aligned}$$
(A.2)
$$\begin{aligned} \int \mathrm{d}g (u',\alpha (g)v')^*(u,\alpha (g)v)&=\frac{(u,u')(v,v')^*}{\mathrm {dim}(V)} \qquad \forall u,v,u',v'\in V. \end{aligned}$$
(A.3)

Choosing orthonormal bases for V and \(V'\) and reverting to physics notation, we have

$$\begin{aligned} \int \mathrm{d}g D^*_{\alpha ' i' j'}(g)D_{\alpha ,ij}(g)&=0 \end{aligned}$$
(A.4)
$$\begin{aligned} \int \mathrm{d}g D^*_{\alpha ,i'j'}(g)D_{\alpha ,ij}(g)&=d_\alpha ^{-1}\delta _{ii'}\delta _{jj'}. \end{aligned}$$
(A.5)

Proof

Given any \(u\in V\), \(u'\in V'\), we can define a map \(L_{u,u'}:V\rightarrow V'\) via

$$\begin{aligned} (v',L_{u,u'}v)\equiv \int \mathrm{d}g (u',\alpha '(g)v')^*(u,\alpha (g)v). \end{aligned}$$
(A.6)

It is straightforward to verify that \(\alpha 'L_{u,u'}=L_{u,u'}\alpha \) using the invariance of the Haar measure, so by Theorem A.5\(L_{u,u'}\) must either be a bijection or be zero. Moreover it cannot be a bijection since \(\alpha \) and \(\alpha '\) are inequivalent, so it must be zero, establishing Eq. (A.2). To establish Eq. (A.3), we can similarly define maps \(L_{u,u'}:V\rightarrow V\) and \(L_{v,v'}:V\rightarrow V'\) via

$$\begin{aligned} (v',L_{u,u'}v)\equiv (u,L_{v,v'}u')\equiv \int \mathrm{d}g (u',\alpha (g)v')^*(u,\alpha (g)v). \end{aligned}$$
(A.7)

By the invariance of the Haar measure these maps both commute with \(\alpha (g)\) for any g, so by Theorem A.5 they both must be multiples of the identity on V. This establishes Eq. (A.3) up to an overall constant, which we may then fix by taking \(u=u'\) and summing u over an orthonormal basis for V using the unitarity of \(\alpha \). \(\square \)

The Schur orthogonality relations immediately imply the orthogonality of the characters \(\chi _\alpha (g)\equiv \mathrm {Tr}\alpha (g)\) of inequivalent finite-dimensional irreducible representations, as well as the fact that \(\int dg \chi _\alpha ^* (g)\chi _\rho (g)\) counts the number of times a finite-dimensional irreducible representation \(\alpha \) appears in the direct-sum decomposition of an arbitrary finite-dimensional representation \(\rho \). They can be interpreted as saying that the rescaled set of matrix coefficients \(\sqrt{d_\alpha }D_{\alpha ,ij}(g)\) give a set of orthonormal states in the Hilbert space \(L^2(G)\) of square-normalizable complex-valued functions on G. In fact they are an orthonormal basis:

Theorem A.7

(Peter–Weyl theorem). Let G be a compact Lie group. Then the rescaled matrix coefficients \(\sqrt{d_\alpha }D_{\alpha ,ij}(g)\) for all finite-dimensional irreducible representations give an orthonormal basis for \(L^2(G)\).

The proof of this theorem is an exercise in functional analysis and can be found in [119], presenting it here would be too much of a digression.

So far all results in this subsection have been essentially topological, and have not actually used the smoothness in the definition of the Lie group G. Indeed Theorems A.4A.7 are also true if multiplication and inversion are only taken to be continuous and the topology of G is only required to be compact and Hausdorff, since these are sufficient for the existence of the Haar measure. When we do assume that G is a Lie group however we then have the following remarkable result:

Theorem A.8

Any compact Lie group G has a faithful finite-dimensional unitary representation, and thus is isomorphic to a closed subgroup of U(n) for some n.

Proof

The proof begins with the observation that by the Peter–Weyl Theorem A.7, for any \(g\in G\) we can find a finite-dimensional irreducible representation \(\alpha _g\) for which \(\alpha _g(g)\) is not the identity (otherwise we could never approximate a function on G which takes different values at e and g). We may first consider the case where G is discrete, so its identity component \(G_0\) consists of only the identity. G is therefore finite, and we can construct a faithful representation via \(\oplus _{g\in G}\,\alpha _g\). Alternatively say that there exists a \(g_1\ne e\) in \(G_0\): then \(G_1\equiv \mathrm {ker}(\alpha _{g_1})\) is a closed subgroup of G, so by the closed subgroup Theorem A.1 it is a Lie subgroup whose dimensionality is at most that of G. In fact its dimensionality must be strictly less than that of G, since if they were equal then by Theorem A.3 we would have \((G_1)_0=G_0\), which contradicts the fact that \(\alpha _{g_1}(g_1)\) is not the identity. Now say that \(G_1\) is zero-dimensional: then as before we see that \(\alpha _{g_1}\oplus _{g\in G_1}\alpha _g\) is a faithful finite-dimensional representation of G. Alternatively if \(G_1\) has positive dimension then we have \(g_2\in (G_1)_0\) such that \(g_2\ne e\), so we can take \(G_2\equiv \mathrm {ker}(\alpha _{g_1}\oplus \alpha _{g_2})\), which again will be a closed subgroup of \(G_1\) of dimension strictly less than that of \(G_1\). Continuing in this way we eventually reach a \(G_n\) which is zero-dimensional, and we may then take \(\alpha \equiv \alpha _{g_1}\oplus \cdots \oplus \alpha _{g_n}\oplus _{g\in G_n}\alpha _g\), which will be faithful. It is unitary by Theorem A.4. \(\square \)

Thus we see that the structure theory of compact Lie groups and their finite-dimensional representations is quite well understood. In fact their unitary infinite-dimensional representations are also understandable along similar lines, we now note two results in this direction.

Theorem A.9

Let \(\rho \) be a unitary representation of a compact Lie group G on a Hilbert space V. Then \(\rho \) is the direct sum of a set of finite-dimensional irreducible representations.

The proof of this theorem uses the Peter–Weyl theorem to show that there cannot be any elements of V which are orthogonal to the direct sum of all finite-dimensional invariant subspaces, see [119] for the proof. We then also have

Theorem A.10

Let \(\rho \) be a faithful unitary representation of a compact Lie group G on a Hilbert space V. Then there is a finite-dimensional invariant subspace of V on which \(\rho \) also acts faithfully, so \(\rho \) has a finite-dimensional subrepresentation which is also faithful.

Proof

The faithfulness of \(\rho \) ensures that for any element \(g\in G\) there is a finite-dimensional irreducible representation \(\alpha _g\) appearing in the direct sum decomposition promised by Theorem A.9 for which \(\alpha _g(g)\) is not the identity. The remainder of the proof is identical to that of Theorem A.8. \(\square \)

The last result we will need relates arbitrary irreducible representations of a compact group to any particular faithful finite-dimensional one [190]:

Theorem A.11

Let G be a compact Lie group, \(\rho \) be a faithful finite-dimensional representation of G, and \(\rho ^*\) be its conjugate representation. Then for any finite-dimensional irreducible representation \(\alpha \) of G there exist nonnegative integers n and m such that \(\alpha \) appears in the direct sum decomposition of the tensor-product \(\rho ^{\otimes n} \otimes \rho ^{*\otimes m}\).

Proof

Consider the representation

$$\begin{aligned} \rho _n\equiv \left( 1\oplus \rho \oplus \rho ^*\oplus \rho \otimes \rho ^*\right) ^{\otimes n}. \end{aligned}$$
(A.8)

It has character

$$\begin{aligned} \chi _n(g)\equiv \mathrm {Tr}\rho _n(g)=|1+\chi _\rho (g)|^{2n}, \end{aligned}$$
(A.9)

where \(\chi _\rho (g)\equiv \mathrm {Tr}\rho (g)\) is the character of \(\rho \). By Schur orthogonality we can count the number of times any irreducible representation \(\alpha \) appears in the direct sum decomposition of \(\rho _n\) by

$$\begin{aligned} \int _G \mathrm{d}g \chi _\alpha (g)|1+\chi _\rho (g)|^{2n}. \end{aligned}$$
(A.10)

The quantity \(|1+\chi _\rho (g)|\) obeys

$$\begin{aligned} 0\le |1+\chi _\rho (g)|\le 1+d_\rho , \end{aligned}$$
(A.11)

with the maximum attained only when \(g=e\) since \(\rho \) is faithful. But then we have

$$\begin{aligned} \lim _{n\rightarrow \infty }\frac{\int _G \mathrm{d}g\chi _\alpha |1+\chi _\rho (g)|^{2n}}{\int _G \mathrm{d}g |1+\chi _\rho (g)|^{2n}}=d_\alpha , \end{aligned}$$
(A.12)

so at some sufficiently large n we must have

$$\begin{aligned} \int _G \mathrm{d}g \chi _\alpha (g)|1+\chi _\rho (g)|^{2n}>0. \end{aligned}$$
(A.13)

\(\square \)

If G is connected, much more is known about its representation theory, and indeed both the connected compact Lie groups and their finite-dimensional irreducible representations have been classified long ago using semisimple theory. In this paper however we have striven to treat discrete and continuous groups on equal footing, so we will stop our review here.

Projective Representations

In this appendix we discuss the possibility of extending our definition of global symmetry to include projective representations of the symmetry on Hilbert space, where the multiplication rule (2.1) would be generalized to include a phase

$$\begin{aligned} U(g,\Sigma )U(g',\Sigma )=e^{i\alpha (g,g')} U(gg',\Sigma ). \end{aligned}$$
(B.1)

We now argue that in quantum field theory on \({\mathbb {R}}^d\), any such phase can be removed by a redefinition of the \(U(g,\Sigma )\). We first consider the situation where the symmetry is unbroken: then there is an invariant vacuum state, on which the symmetry can at most act with a phase

$$\begin{aligned} U(g,\Sigma )|0\rangle =e^{if(g)}|0\rangle . \end{aligned}$$
(B.2)

But if we act on this state with \(U(g,\Sigma )U(g',\Sigma )\), we immediately discover that we must have

$$\begin{aligned} \alpha (g,g')=f(g)+f(g')-f(gg') \qquad \mathrm {mod} \, 2\pi . \end{aligned}$$
(B.3)

We may then define “improved” symmetry operators

$$\begin{aligned} \widetilde{U}(g,\Sigma )\equiv e^{-if(g)}U(g,\Sigma ), \end{aligned}$$
(B.4)

which act in the same way on the local operators but now obey (B.1) with \(\alpha =0\). Thus in any quantum mechanical system, nontrivial projective representations are only possible if there is no invariant state: in other words the symmetry must be spontaneously broken. There are indeed quantum mechanical systems where a spontaneously broken global symmetry is represented projectively in a nontrivial way, see “Appendix D” of [144] for an example, but we now argue that in quantum field theory this is impossible.

The reason is that in quantum field theory on \({\mathbb {R}}^d\), spontaneously broken global symmetries (as we have defined them) always lead to the superselection structure described around Eq. (2.10). Since the operators always transform in non-projective representations of the symmetry (the phase \(\alpha \) cancels when act on operators by conjugation), and since we can get to all states by acting with operators that do not change the superselection sector on the degenerate vacua, any projectiveness on the states can arise only from phases in the action of the symmetry on the degenerate vacuum states:

$$\begin{aligned} U(g)|b\rangle =e^{if(g,b)}|gb\rangle . \end{aligned}$$
(B.5)

Strictly speaking to have a genuine projective representation we should not allow f to depend on b, but we have allowed this since in any case it will not help: such phases can again be removed by the redefinition

$$\begin{aligned} \widetilde{U}(g)\equiv U(g) e^{-if(g,B_i)}, \end{aligned}$$
(B.6)

where \(B_i\) are the operators which diagnose which superselection sector a state is in. Since the \(B_i\) commute with all local operators, this modification has no effect on the action of the symmetry on local operators. Thus the \(\widetilde{U}(g)\) give a non-projective representation of the symmetry on the Hilbert space.Footnote 94

In Eq. (B.5) we considered a kind of generalized projective representation, where instead of respecting the group multiplication law up to a c-number phase we respect it up to a nontrivial unitary operator which commutes with all of the local operators. One might ask if there are other examples of this kind of thing, where the unitary operator depends on something other than degenerate vacuum data. In a quantum field theory where all states can be obtained by acting on a single ground state with local operators, there can be no nontrivial unitary operator which commutes with all of the local operators. There are two ways we could try to relax this assumption in the hopes of getting something interesting. The first is to have multiple ground states, each of which has on top of it a superselection sector built by acting with local operators. This is the case we just considered, and we saw that allowing the unitary operators to depend on the superselection sector data did not lead to anything worthwhile. The second possibility is to consider theories where not all states can be obtained by acting on the ground state(s) with local operators. The only possibility we are aware of is to have a theory with a “long range gauge symmetry with dynamical charges”, a notion we define in Sect. 3. It basically means that there is a weakly-interacting gauge field and operators charged under the associated gauge symmetry, which must be attached to infinity by Wilson lines to be gauge-invariant. The gauge symmetry is then represented nontrivially on the Hilbert space, in what is sometimes called an asymptotic symmetry group, and since this can be understood as being realized by a surface operator at infinity it will give a set of nontrivial unitary operators that commute with all local operators but act nontrivially on the endpoints of Wilson lines. We could therefore imagine trying to use these long-range gauge symmetries as generalizations of the phases \(e^{i\alpha (g,g')}\) in a projective representation of the global symmetry. Indeed in Sect. 3.5 we give a concrete example of a theory that realizes this phenomenon, and in a way in which the unitary cannot be removed by redefining the symmetry operators. One might then wish to say that this is a genuine projective representation of the global symmetry, but as we explain in Sect. 3.5 we find it more natural to instead say that it is a mixing of the global symmetry with a long-range gauge symmetry. Therefore we are not aware of any situation in quantum field theory where the most natural description of the symmetry structure is to say that a global symmetry is represented projectively on the Hilbert space.

Continuity of Symmetry Operators

In this appendix we discuss the continuity of the action of global symmetries in quantum field theory, both on the Hilbert space and on the algebra \({\mathcal {A}}[R]\) of bounded operators in a bounded spatial region R.

First some definitions. Let V be a Hilbert space, which we will always endow with the standard topology induced by the Hilbert space norm

$$\begin{aligned} ||v||\equiv \sqrt{(v,v)}. \end{aligned}$$
(C.1)

One says that a linear operator \({\mathcal {O}}\) on V is bounded if there exists a real constant C such that \(||{\mathcal {O}}v||<C||v||\) for all \(v\in V\), and we will denote by \({\mathcal {B}}(V)\) the set of bounded operators on V. We will say that a subset \(M\subset {\mathcal {B}}(V)\) is uniformly bounded if there exists a single real constant C such that \(||{\mathcal {O}}v||<C||v||\) for all \(v\in V\) and \({\mathcal {O}}\in M\). The operator norm \(||{\mathcal {O}}||\) of any bounded operator \({\mathcal {O}}\) is the smallest real constant C such that \(||{\mathcal {O}}v||\le C||v||\) for all \(v\in V\).

To discuss the continuity of maps to and from \({\mathcal {B}}(V)\), we need to give it a topology. There are several possibilities. One obvious one is the norm topology, which has as a basis the set of balls

$$\begin{aligned} B_\epsilon ({\mathcal {O}}_0)\equiv \{{\mathcal {O}}\in {\mathcal {B}}(V)\,\Big |\,||{\mathcal {O}}-{\mathcal {O}}_0||<\epsilon \}, \end{aligned}$$
(C.2)

with \({\mathcal {O}}_0\in {\mathcal {B}}(V)\) and \(\epsilon >0\). This topology however is much too strong for our purposes. For example in the norm topology the U(1) global symmetry \(\phi '=e^{i\theta }\phi \) of a free complex scalar field has symmetry operators \(U(g,\Sigma )\) which are not continuous, since there are states of arbitrarily large charge in the Hilbert space. A topology which is better suited is the strong operator topology, which has as a basis the set of finite intersections of balls of the form

$$\begin{aligned} B_\epsilon ({\mathcal {O}}_0,v_0)\equiv \{{\mathcal {O}}\in {\mathcal {B}}(V)\,\Big |\,||({\mathcal {O}}-{\mathcal {O}}_0)v_0||<\epsilon \}, \end{aligned}$$
(C.3)

with \({\mathcal {O}}_0\in {\mathcal {B}}(V)\), \(v_0\in V\), and \(\epsilon >0\). This topology is sometimes also called the topology of pointwise convergence, since a sequence \({\mathcal {O}}_n\) of operators converges to an operator \({\mathcal {O}}\) in the strong operator topology if and only if \({\mathcal {O}}_nv\rightarrow {\mathcal {O}}v\) for any \(v\in V\). Similarly, if X is a topological space then a map \(f:X\rightarrow {\mathcal {B}}(V)\) is continuous in the strong operator topology if and only if the map \(f_v:X\rightarrow V\) defined by \(f_v(x)=f(x)v\) is continuous for any fixed \(v\in V\).

In discussing the continuity of symmetries, there are two maps whose continuity properties we are interested in. The symmetry operators \(U(g,\Sigma )\) directly define a map

$$\begin{aligned} U:G\rightarrow {\mathcal {B}}(V), \end{aligned}$$
(C.4)

and also induce an associated map

$$\begin{aligned} f_U:G\times {\mathcal {A}}[R]\rightarrow {\mathcal {A}}[R]\end{aligned}$$
(C.5)

for R any spatial region, defined by \(f_U(g,{\mathcal {O}})=U^\dagger (g){\mathcal {O}}U(g)\). As a warmup, we first establish the following theorem

Theorem C.1

Let V be a Hilbert space, G a Lie group, and U a map from G to \({\mathcal {B}}(V)\) for which U(g) is unitary for all \(g\in G\). Then the map \(\Phi _U:G\times V \rightarrow V\) defined by \(\Phi _U(g,v)=U(g)v\) is jointly continuous if and only if U is continuous in the strong operator topology. In particular, if U is a homomorphism which is strongly continuous then it is a representation of G on V in the sense of Sect. A.2.

Proof

If \(\Phi _U\) is jointly continuous, then strong continuity of U follows immediately from fixing the second argument. To establish the converse, we need to show that for any ball

$$\begin{aligned} B_\epsilon (v_0)\equiv \{v\in V \,\Big |\, ||v-v_0||<\epsilon \} \end{aligned}$$
(C.6)

in V, \(\Phi _U^{-1}(B_\epsilon (v_0))\) is open in \(G\times V\). We can do this by showing that any point (gv) in \(\Phi _U^{-1}(B_\epsilon (v_0))\) is contained in an open set \(S\times B_\delta (v)\), with S open in G, which is itself contained in \(\Phi _U^{-1}(B_\epsilon (v_0))\). We therefore want to show that

$$\begin{aligned} ||U(g')v'-v_0||<\epsilon \qquad \qquad \forall g'\in S, v'\in B_\delta (v). \end{aligned}$$
(C.7)

This follows because by the triangle inequality and the unitary invariance of the Hilbert space norm we have

$$\begin{aligned} \nonumber ||U(g')v'-v_0||&\le ||U(g')(v'-v)||+||(U(g')-U(g))v||+||U(g)v-v_0||\\&=||(v'-v)||+||(U(g')-U(g))v||+||U(g)v-v_0||. \end{aligned}$$
(C.8)

The third term on the second line is less than \(\epsilon \) since (gv) is in \(\Phi _U^{-1}(B_\epsilon (v_0))\), and using our freedom to choose \(\delta \) and S and the strong continuity of U we can make the first and second terms as small we like. Therefore we can arrange for the sum of all three to be less than \(\epsilon \). \(\square \)

This theorem tells us that in quantum field theory \(U(g,\Sigma )\) will be strongly continuous if and only if its action on the Hilbert space gives a continuous representation of G. We saw in the beginning of Sect. 2 that if G is continuous as a Lie group, meaning its dimension as a manifold is greater than zero, then if it is spontaneously broken the \(U(g,\Sigma )\) defined by Eq. (2.11) may not be strongly continuous, since elements of g which are arbitrarily close to the identity still send one ground state to another which is orthogonal. If the symmetry is unbroken however, then we take it as a natural postulate that U will indeed be strongly continuous. For example in the free complex scalar example, any particular normalizable state will be acted on continuously even though there are states with arbitrary large charge. More generally the idea is that if the vacuum is invariant, then any particular excited state should only differ from the vacuum in a finite region and by a finite amount of excitation so it should only transform in a representation of limited complexity. We now use the idea that U should be strongly continuous for unbroken symmetries to motivate the continuity clause in condition (b) of our Definition 2.1 of global symmetry.

Theorem C.2

Let V be a Hilbert space, G a Lie group, and U a strongly continuous map from G to the unitary operators on V. Then the restriction to any uniformly bounded subset M of \({\mathcal {B}}(V)\) of the map \(f_U:G\times {\mathcal {B}}(V)\rightarrow {\mathcal {B}}(V)\) defined by \(f_U(g,{\mathcal {O}})=U^\dagger (g){\mathcal {O}}U(g)\) is strongly continuous.

Proof

We will show that for any ball \(B_\epsilon ({\mathcal {O}}_0,v_0)\) in \({\mathcal {B}}(V)\), \(f_U^{-1}(B_\epsilon ({\mathcal {O}}_0,v_0))\cap (G\times M)\) is open in \(G\times M\). We can do this by showing that for any \((g,{\mathcal {O}})\in f_U^{-1}(B_\epsilon ({\mathcal {O}}_0,v_0))\cap (G\times M)\), there is an open set \(S\subset G\) containing g and a ball \(B_\delta ({\mathcal {O}},{\hat{v}})\) such that \(S\times (B_\delta ({\mathcal {O}},{\hat{v}})\cap M)\subset f_U^{-1}(B_\epsilon ({\mathcal {O}}_0,v_0))\cap (G\times M)\). In other words for any \(\epsilon \), \({\mathcal {O}}_0\), and \(v_0\), we want to pick S, \(\delta \), and \({\hat{v}}\) such that

$$\begin{aligned} ||\left( U^\dagger (g'){\mathcal {O}}' U(g')-{\mathcal {O}}_0\right) v_0||<\epsilon \qquad \forall g'\in S, {\mathcal {O}}'\in B_\delta ({\mathcal {O}},{\hat{v}})\cap M. \end{aligned}$$
(C.9)

By the triangle inequality and the unitary invariance of the Hilbert space norm we have

$$\begin{aligned}&||\left( U^\dagger (g'){\mathcal {O}}' U(g')-{\mathcal {O}}_0\right) v_0||\le ||U^\dagger (g'){\mathcal {O}}'(U(g')-U(g))v_0||+||U^\dagger (g')({\mathcal {O}}'-{\mathcal {O}})U(g)v_0||\nonumber \\&\quad +||(U^\dagger (g')-U^\dagger (g)){\mathcal {O}}U(g)v_0||+||(U^\dagger (g){\mathcal {O}}U(g)-{\mathcal {O}}_0)v_0||\nonumber \\&=||{\mathcal {O}}'(U(g')-U(g))v_0||+||({\mathcal {O}}'-{\mathcal {O}})U(g)v_0||\nonumber \\&\quad +||(U^\dagger (g')-U^\dagger (g)){\mathcal {O}}U(g)v_0||+||(U^\dagger (g){\mathcal {O}}U(g)-{\mathcal {O}}_0)v_0||. \end{aligned}$$
(C.10)

The fourth term on the right hand side is less than \(\epsilon \) since \((g,{\mathcal {O}})\) is in \(f_U^{-1}(B_\epsilon ({\mathcal {O}}_0,v_0))\), the third term can be made as small as we like using the strong continuity of U and the boundedness of \({\mathcal {O}}\), the second term can be made as small as we like by choosing \({\hat{v}}=U(g)v_0\) and taking \(\delta \) to be small, and the first term can be taken to be arbitrarily small by using the strong continuity of U together with the uniform boundedness of M. Therefore for small enough S and \(\delta \) we can arrange for the whole right hand side to be less than \(\epsilon \). \(\square \)

Thus we see that strong continuity on any uniformly bounded subset of \({\mathcal {A}}[R]\) is the right continuity requirement on \(f_U\) for an unbroken global symmetry. In fact we claim that if the region R is bounded in size, then this should also be the right requirement even if the symmetry is spontaneously broken, since this should not affect the transformation of operators in a finite region, hence our inclusion of it in condition (b) of Definition 2.1. It is worth emphasizing that without the restriction to uniformly bounded subsets the theorem would not apply, since the first term in the right hand side of Eq. (C.10) would not be bounded since there are elements \({\mathcal {O}}'\) of any open ball \(B_\delta ({\mathcal {O}},{\hat{v}})\) with arbitrarily large norm.

We can also consider what strong continuity of \(f_U\) on uniformly bounded subsets implies in the converse direction about the continuity of U. In general it does not imply anything, which is good since for spontaneously broken symmetries we sometimes do not want U to be continuous. But if we assume that the symmetry is unbroken, by which we mean that there is an invariant ground state \(\Omega \in V\), then we have the following theorem:

Theorem C.3

Let V be a Hilbert space, G a Lie group, \({\mathcal {A}}[R]\) a subalgebra of \({\mathcal {B}}(V)\), and U a map from G to the unitary operators on V such that the restriction to any uniformly bounded subset M of \({\mathcal {A}}[R]\) of the map \(f_U:G\times {\mathcal {B}}(V)\rightarrow {\mathcal {B}}(V)\) defined by \(f_U(g,{\mathcal {O}})=U^\dagger (g){\mathcal {O}}U(g)\) is strongly continuous. Moreover let there exist a state \(\Omega \in V\) which is cyclic with respect to \({\mathcal {A}}[R]\),Footnote 95 and which is also invariant in the sense that \(U(g)\Omega =\Omega \) for all \(g\in G\). Then U is strongly continuous.

Proof

We want to show that for any \(\epsilon >0\), \(v_0\in V\), \({\mathcal {O}}_0\in {\mathcal {B}}(V)\), we have that \(U^{-1}(B_\epsilon ({\mathcal {O}}_0,v_0))\) is open in G. We do this by showing that for any g such that \(U(g)\in B_{\epsilon }({\mathcal {O}}_0,v_0)\), there is a neighborhood S of g in G such that U(S) is also contained in \(B_{\epsilon }({\mathcal {O}}_0,v_0)\). In other words we want

$$\begin{aligned} ||(U(g')-{\mathcal {O}}_0)v_0||<\epsilon \quad \forall g'\in S. \end{aligned}$$
(C.11)

We first note that by the cyclicity of \(\Omega \), we have

$$\begin{aligned} v_0=\widetilde{O}\Omega +\widetilde{v} \end{aligned}$$
(C.12)

for some \(\widetilde{O}\in {\mathcal {A}}[R]\), with the norm of \(\widetilde{v}\) being as small as we like. From the triangle inequality and the invariance of \(\Omega \) we then have

$$\begin{aligned} ||(U(g')-{\mathcal {O}}_0)v_0||&\le ||\left( U^\dagger (g'^{-1})\widetilde{{\mathcal {O}}}U(g'^{-1})-U^\dagger (g^{-1})\widetilde{{\mathcal {O}}}U(g^{-1})\right) \Omega ||+||U(g')\widetilde{v}|| \nonumber \\&\quad +||U(g)\widetilde{v}||+||(U(g)-{\mathcal {O}}_0)v_0||. \end{aligned}$$
(C.13)

The fourth term will be less than \(\epsilon \) since U(g) is in \(B_{\epsilon }({\mathcal {O}}_0,v_0)\), by cyclicity we can take \(||U(g)\widetilde{v}||=||U(g')\widetilde{v}||=||\widetilde{v}||\) as small we like, and since \(\widetilde{O}\) will always be part of some uniformly-bounded subset of \({\mathcal {A}}[R]\) the first term can be made arbitrarily small using the joint strong continuity of \(f_U\) on uniformly-bounded subsets. Therefore the sum of all three terms can be taken to be less than \(\epsilon \). \(\square \)

Thus we can be reassured that our continuity requirement in condition (b) of Definition 2.1 is not too weak.

Finally we point out that if we do have an invariant ground state which is both cyclic and separating with respect to \({\mathcal {A}}[R]\), then actually there is a different topology in which the situation is even nicer. This topology is defined by noting that we can actually use the state \(\Omega \) to define an inner product on \({\mathcal {A}}[R]\) via

$$\begin{aligned} ({\mathcal {O}}_1,{\mathcal {O}}_2)_\Omega \equiv ({\mathcal {O}}_1\Omega ,{\mathcal {O}}_2\Omega ), \end{aligned}$$
(C.14)

which gives \({\mathcal {A}}[R]\) the structure of a Hilbert space. Here \((\cdot ,\cdot )\) is the usual Hilbert space inner product on V, and \((\cdot ,\cdot )_\Omega \) is a good inner product on \({\mathcal {A}}[R]\) because \(({\mathcal {O}},{\mathcal {O}})_\Omega \ge 0\), with equality only when \({\mathcal {O}}=0\) due to the fact that \(\Omega \) is separating with respect to \({\mathcal {A}}[R]\). We may then use this inner product to define an alternative topology on \({\mathcal {A}}[R]\), which we call the vacuum topology, using as a basis the balls \(B_\epsilon ({\mathcal {O}}_0,\Omega )\). Since these are a subset of the balls used in defining the strong operator topology, this topology is weaker than the strong operator topology. We then have the following theorem:

Theorem C.4

Let V be a Hilbert space, G a Lie group, \({\mathcal {A}}[R]\) a subalgebra of \({\mathcal {B}}(V)\), and U a map from G to the unitary operators on V such that the restriction to any uniformly bounded subset M of \({\mathcal {A}}[R]\) of the map \(f_U:G\times {\mathcal {B}}(V)\rightarrow {\mathcal {B}}(V)\) defined by \(f_U(g,{\mathcal {O}})=U^\dagger (g){\mathcal {O}}U(g)\) is strongly continuous. Moreover let there exist a state \(\Omega \in V\) which is cyclic and separating with respect to \({\mathcal {A}}[R]\), and which is also invariant in the sense that \(U(g)\Omega =\Omega \) for all \(g\in G\). Then the restriction to \({\mathcal {A}}[R]\) of \(f_U\) is jointly continuous in vacuum topology on \({\mathcal {A}}[R]\), without any uniform-boundedness requirement, and in particular if U is a homomorphism then \(f_U\) gives a representation of G on the Hilbert space \({\mathcal {A}}[R]\) with inner product \((\cdot ,\cdot )_\Omega \). Moreover this representation is unitary.

Proof

We can first invoke Theorem C.3 to learn that U is strongly continuous. We may then imitate the proof of Theorem C.2, noting however that now we only need the inequality (C.10) to hold when \(v_0=\Omega \). But then the first term on the righthand side is automatically zero since \((U(g')-U(g))\Omega =0\), so we have no need of a uniform boundedness requirement. Finally to see that the representation of G on \({\mathcal {A}}[R]\) furnished by \(f_U\) is unitary, we simply note that

$$\begin{aligned} (U^\dagger (g){\mathcal {O}}_1U(g),U^\dagger (g){\mathcal {O}}_2U(g))_\Omega&=(U^\dagger (g) {\mathcal {O}}_1\Omega ,U^\dagger (g){\mathcal {O}}_2\Omega )=({\mathcal {O}}_1\Omega ,{\mathcal {O}}_2\Omega ) \nonumber \\&=({\mathcal {O}}_1,{\mathcal {O}}_2)_\Omega . \end{aligned}$$
(C.15)

\(\square \)

In particular this theorem tells us that if a global symmetry is unbroken, then the map D defined by Eq. (2.5) gives a unitary representation of G. And in particular if G is compact, then by Theorem A.9D should decompose into a direct sum of finite-dimensional unitary representations. Moreover not only did we not need a uniform-boundedness requirement in the proof of Theorem C.4, in fact we did not even need to assume that the elements of \({\mathcal {A}}[R]\) are bounded! As long as we restrict to operators whose domain includes the invariant state \(\Omega \), we still may use \(\Omega \) to define an inner product on these operators in terms of which the action of \(f_U\) is unitary and continuous, and thus gives a unitary representation.

It is interesting to note that if we drop the assumption that the symmetry is unbroken, there are easy examples where the action \(f_U\) of G on local operators is not unitary. For example in a free scalar field theory in \(d>2\), there is a spontaneously-broken global symmetry which acts on the scalar \(\phi \) and the identity 1 as

$$\begin{aligned} \begin{pmatrix} \phi ' \\ 1' \end{pmatrix} =\begin{pmatrix} 1 &{}\quad a \\ 0 &{}\quad 1\end{pmatrix}\begin{pmatrix}\phi \\ 1\end{pmatrix}, \end{aligned}$$
(C.16)

which is a non-unitary representation of the symmetry group \({\mathbb {R}}\). In this kind of situation it is sometimes said that the symmetry “acts non-linearly” on \(\phi \), but in fact \(f_U\) always gives a linear action of G on the set of local operators, and this is manifest in (C.16).

Building Symmetry Insertions on General Closed Submanifolds

Consider a \((d-1)\)-dimensional compact connected oriented manifold \(\Sigma \) embedded in \({\mathbb {R}}^d\). Since \(H_{d-1}({\mathbb {R}}^d)\) is trivial, there is a d-dimensional compact connected oriented submanifold M in \({\mathbb {R}}^d\) such that \(\Sigma = \partial M\). In this appendix we show that the insertion of a symmetry operator on \(\Sigma \) into the path integral can always be understood in operator language as conjugating all operators in M by \(U(g,{\mathbb {R}}^{d-1})\), as shown in Fig. 2 for the special case of \(d=3\) and \(\Sigma ={\mathbb {T}}^2\).

Fig. 20
figure 20

Illustrations of \( \Sigma _t = f^{-1}((-\infty , t])= \{ x \in \Sigma : ~ f(x) \le t \} \) at two different values of t when \(\Sigma \) is a torus

Indeed by generically choosing a “time” direction in \({\mathbb {R}}^d\), with a linear coordinate t, we can define a Morse function f on \(\Sigma \) such that \(f(p)=t\) at \(p \in \Sigma \) (a Morse function is a smooth map from a manifold \(\Sigma \) to \({\mathbb {R}}\) which has no degenerate critical points; such functions are dense in the set of smooth maps from \(\Sigma \) to \({\mathbb {R}}\), so a generic orientation of the time direction will give us one). For each t, define,

$$\begin{aligned} \Sigma _t = f^{-1}((-\infty , t]) = \{ p \in \Sigma : ~ f(p) \le t \} . \end{aligned}$$
(D.1)

See Fig. 20 for its illustration. We also define,

(D.2)

where \({\mathbb {R}}^{d-1}_t\) and \(M_t\) are sections of \({\mathbb {R}}^d\) and M at t. Let us glue \(\Sigma _t\) with at their common boundaries \(f^{-1}(t)\), to get a surface we call \(C_t\). In the following, we will use Morse theory to study how \(U(g, \mathcal{C}_t)\) behaves as we increase t from \(-\infty \) to \(+ \infty \).

The Morse function f has isolated non-degenerate critical points on \(\Sigma \). The fundamental theorems (Theorems 3.1 and 3.2 in [192]) of the Morse theory say:

Theorem D.1

Suppose \(t_1 < t_2\) and \(f^{-1}([t_1, t_2])\) is compact and contains no critical points of f. Then \(\Sigma _{t_1}\) is diffeomorphic to \(\Sigma _{t_2}\) and the inclusion map \(\Sigma _{t_1} \rightarrow \Sigma _{t_2}\) is a homotopy equivalence.

Fig. 21
figure 21

When p is a critial point of f with index n, \(\Sigma _{f(p)+\epsilon }\) is homotopic to \(\Sigma _{f(p) - \epsilon }\) with an n-cell attached, provided we choose \(\epsilon >0\) to be sufficiently small

The second fundamental theorem tells us what happens at critical points. Before stating the theorem, let us note that according to Morse’s lemma, each critical point p of f is characterized by its index n, which means that we can choose coordinates \((x_1, \ldots , x_{d-1})\) around p such that p is at \(x=0\) and,

$$\begin{aligned} f (x) = f(p) - x_1^2 - \cdots - x^2_n + x_{n+1}^2 + \cdots + x_{d-1}^2, \end{aligned}$$
(D.3)

holds throughout the coordinate patch (these coordinates are obtained by diagonalizing the Hessian matrix at p). We can choose \(\epsilon > 0\) sufficiently small so that f has no other critical point in \([t- \epsilon , t+ \epsilon ]\), where \(t=f(p)\).

Theorem D.2

If p is a critical point of f with \(f(p)=t\) and index n, and if there is no other critical point in \(f^{-1}([t-\epsilon , t+\epsilon ])\) for some \(\epsilon > 0\), \(\Sigma _{t+\epsilon }\) is homotopic to \(\Sigma _{t - \epsilon }\) with an n-cell attached.Footnote 96 See Fig. 21 for illustration.

Since \(\Sigma \) is compact, there is \(t_0\) such that \(\Sigma _t\) is empty for \(t < t_0\). For such t, \(\mathcal{C}_t = {\mathbb {R}}^{d-1}_t\) and \(U(g, \mathcal{C}_t)\) is the symmetry generator. Let us choose \(t_0\) to be the largest such \(t_0\). Increasing t continuously, we reach \(t=t_0\) where \({\mathbb {R}}_{t_0}^{d-1}\) touches \(\Sigma \). Clearly, \(\Sigma _{t_0+\epsilon }\) is homotopic to \(\Sigma _{t_0 - \epsilon }\) (which is empty) with a 0-cell (the point of the first contact) attached, as expected from Theorem D.2. We can then continously deform \(\mathcal{C}_{t_0 - \epsilon } ={\mathbb {R}}^{d-1}_{t-\epsilon }\) to \(\mathcal{C}_{t_0 + \epsilon }\) and \(U(g, \mathcal{C}_{t_0 + \epsilon })\) is still a symmetry generator.

Fig. 22
figure 22

Since symmetry insertions on the same cell with opposite orientations (in red and blue in the figure) cancel, \(U(g, \mathcal{C}_{t-\epsilon })\) can be continuously deformed to \(U(g, \mathcal{C}_{t+\epsilon })\)

As we increase t further, we will inevitably encounter a critical point with non-zero index n at some t. According to Theorem D.2, we can homotopically deform \(\Sigma _{t - \epsilon }\) to \(\Sigma _{t + \epsilon }\) by attaching an n-cell. We can also deform to by attaching the same n-cell with opposite orientation. Since symmetry insertions on the pair of n-cells with opposite orientations has no effect, \(U(g, \mathcal{C}_{t-\epsilon })\) can be continuously deformed to \(U(g, \mathcal{C}_{t+\epsilon })\). See Fig. 22 for illustration.

Since \(\Sigma \) is compact, there is \(t_1\) suth that \(\Sigma _{t} = \Sigma \) for \(t > t_1\). Choosing \(t_1\) to be the smallest such \(t_1\), \(\mathcal{C}_{t_1} = \Sigma \cup {\mathbb {R}}^{d-1}_{t_1}\).

We conclude that the symmetry generator \(U(g, \mathcal{C}_t) = U(g, {\mathbb {R}}^{d-1}_t)\) for \(t < t_0\) can be deformed to \(U(g, \mathcal{C}_{t_1}) =U(g, \Sigma \cup {\mathbb {R}}^{d-1}_{t_1})\) at \(t = t_1\). Since \(U(g, \Sigma ) = U(g, \Sigma \cup {\mathbb {R}}^{d-1}_{t_1}) U(g, {\mathbb {R}}^{d-1}_{t_1})^\dagger \), this is what we wanted to show.

Lattice Splittability Theorem

In this appendix we give a proof of Theorem 2.1, which says that a unitary which acts locally on each tensor factor of a tensor product Hilbert space must itself be a tensor product of local unitaries.Footnote 97

Proof

We first note that it is enough to establish the theorem for the case of two tensor factors, \({\mathcal {H}}={\mathcal {H}}_A\otimes {\mathcal {H}}_B\), with a unitary \(U_{AB}\) which send operators on A to operators on A, and operators on B to operators on B, since we can then iterate the argument to obtain the desired result for any finite number of tensor factors. We thus just need to show that \(U_{AB}=(U_A\otimes I_B)(I_A\otimes U_B)\).

The basic idea is to double the size of the system, introducing copies \({\mathcal {H}}_{{\hat{A}}}\) and \({\mathcal {H}}_{{\hat{B}}}\) of \({\mathcal {H}}_A\) and \({\mathcal {H}}_B\), and then consider the state

$$\begin{aligned} |\phi \rangle \equiv \frac{1}{\sqrt{|A||B|}}\sum _{ab}|a\rangle _{{\hat{A}}}|b\rangle _{{\hat{B}}}U_{AB}|ab\rangle _{AB}. \end{aligned}$$
(E.1)

Here \(|a\rangle _A\), \(|a\rangle _{{\hat{A}}}\) are orthonormal bases for \({\mathcal {H}}_A\) and \({\mathcal {H}}_{{\hat{A}}}\), and similarly for \(|b\rangle _B\), \(|b\rangle _{{\hat{B}}}\). Noting that \(U_{AB}^\dagger (I_A\otimes {\mathcal {O}}_B)U_{AB}=(I_A\otimes {\mathcal {O}}'_B)\) for any \({\mathcal {O}}_B\), and that any operator \({\mathcal {O}}_{B{\hat{B}}}\) can be expanded as a sum of tensor products of operators on \({\mathcal {H}}_B\) and \({\mathcal {H}}_{{\hat{B}}}\), a simple calculation shows that for any operators \({\mathcal {O}}_{{\hat{A}}}\) and \({\mathcal {O}}_{B{\hat{B}}}\) on \({\mathcal {H}}_{{\hat{A}}}\) and \({\mathcal {H}}_B\otimes {\mathcal {H}}_{{\hat{B}}}\) respectively, we must have

$$\begin{aligned} \langle \phi |{\mathcal {O}}_{{\hat{A}}}{\mathcal {O}}_{B{\hat{B}}}|\phi \rangle&=\langle \phi |U_{AB}{\mathcal {O}}'_A{\mathcal {O}}'_{B{\hat{B}}}U_{AB}^\dagger |\phi \rangle \nonumber \\&=\langle \phi |U_{AB}{\mathcal {O}}_{{\hat{A}}}U_{AB}^\dagger |\phi \rangle \langle \phi |U_{AB}{\mathcal {O}}'_{B{\hat{B}}}U_{AB}^\dagger |\phi \rangle \nonumber \\&=\langle \phi |{\mathcal {O}}_{{\hat{A}}}|\phi \rangle \langle \phi |{\mathcal {O}}_{B{\hat{B}}}|\phi \rangle . \end{aligned}$$
(E.2)

In other words there is no correlation between \({\hat{A}}\) and \(B{\hat{B}}\), so the partial trace of \(|\phi \rangle \langle \phi |\) over A factorizes:

$$\begin{aligned} \rho _{{\hat{A}}B{\hat{B}}}(\phi )\equiv \mathrm {Tr}_{A}|\phi \rangle \langle \phi |=\rho _{{\hat{A}}}(\phi )\otimes \rho _{B{\hat{B}}}(\phi ). \end{aligned}$$
(E.3)

Moreover from (E.1) we have

$$\begin{aligned} \rho _{{\hat{A}}}(\phi )=\frac{I_{{\hat{A}}}}{|A|}, \end{aligned}$$
(E.4)

where |A| denotes the dimensionality of \({\mathcal {H}}_A\).

Now the key point is that the state \(\rho _{{\hat{A}}B{\hat{B}}}(\phi )\) must be purified into \(|\phi \rangle \) by adding back the A system, which means that its rank can be at most |A|. But since the rank of \(\rho _{{\hat{A}}}(\phi )\) is already |A|, this means that \(\rho _{B{\hat{B}}}(\phi )\) must have unit rank, or in other words must be a pure state \(|\chi \rangle \langle \chi |_{B{\hat{B}}}\). We may then observe that since any two purifications of a mixed state onto a given system differ at most by a unitary transformation on that system, and since the state

$$\begin{aligned} |\psi \rangle =\frac{1}{\sqrt{|A|}}\sum _{a}|a\rangle _{{\hat{A}}}|a\rangle _A|\chi \rangle _{B{\hat{B}}} \end{aligned}$$
(E.5)

is a purification of \({\hat{A}}B{\hat{B}}\) onto A, it must be that \(|\phi \rangle \), which is another such purification, is given by

$$\begin{aligned} |\phi \rangle =U_A|\psi \rangle =\frac{1}{\sqrt{|A|}}\sum _{a}|a\rangle _{{\hat{A}}}U_A|a\rangle _A |\chi \rangle _{B{\hat{B}}} \end{aligned}$$
(E.6)

for some \(U_A\). Moreover since again from (E.1) we have \(\rho _{{\hat{B}}}(\phi )=\frac{I_{{\hat{B}}}}{|B|}\), by the same argument we must have

$$\begin{aligned} |\chi \rangle _{B{\hat{B}}}=\frac{1}{\sqrt{|B|}}\sum _b |b\rangle _{{\hat{B}}}U_B|b\rangle _B \end{aligned}$$
(E.7)

for some \(U_B\). We then finally have that

$$\begin{aligned} |\phi \rangle =\frac{1}{\sqrt{|A||B|}}\sum _{ab}|a\rangle _{{\hat{A}}}|b\rangle _{{\hat{B}}}U_A|a\rangle _A U_B|b\rangle _B, \end{aligned}$$
(E.8)

which is compatible with (E.1) if only if \(U_{AB}=U_A\otimes U_B\). \(\square \)

Hamiltonian for Lattice Gauge Theory with Discrete Gauge Group

In this appendix we sketch how to derive the lattice gauge theory Hamiltonians (3.25), (3.31) from the continuous-time limit of the Wilson action. The Euclidean Wilson action on a spacetime cubic lattice with lattice spacing a is [115]

$$\begin{aligned} S_E=-\frac{a^{d-4}}{g^2}\sum _{\gamma \in {\hat{\Gamma }}} W_\alpha (\gamma ), \end{aligned}$$
(F.1)

where \({\hat{\Gamma }}\) is the set of (oriented) plaquettes in Euclidean spacetime and \(\alpha \) is a faithful representation of G. This action makes sense for any gauge group G, discrete or continuous. To extract a Hamiltonian, we need to take the lattice spacing in the time direction, which we’ll denote as \(a_0\), to be much smaller than the lattice spacing in the space directions, which we’ll continue to call a. In this case the Wilson action becomes

$$\begin{aligned} S_E&=-\frac{a^{d-4}}{g^2}\left( \frac{a}{a_0}\sum _{\gamma \in {\hat{\Gamma }}_0}W_\alpha (\gamma )+\frac{a_0}{a}\sum _{\gamma \in {\hat{\Gamma }}_s}W_{\alpha }(\gamma )\right) \nonumber \\&\equiv -A \sum _{\gamma \in {\hat{\Gamma }}_0}W_\alpha (\gamma )-B\sum _{\gamma \in {\hat{\Gamma }}_s}W_{\alpha }(\gamma ), \end{aligned}$$
(F.2)

where \({\hat{\Gamma }}_0\) denotes the set of plaquettes which have a time component and \({\hat{\Gamma }}_s\) denotes the set of plaquettes with no time component.

We now study the thermal partition function

$$\begin{aligned} Z(\beta )\equiv \int {\mathcal {D}}g e^{-S_E}, \end{aligned}$$
(F.3)

where we are integrating over an element of g assigned to each edge of a cubic Euclidean spacetime lattice with periodic time. We can use gauge transformations to set the temporal edges all to the identity except for at one time, and the integral over the temporal edges at that time simply imposes a projection onto gauge-invariant states. The thermal partition function then has the form [117]

$$\begin{aligned} Z(\beta )=\mathrm {Tr}(T^N), \end{aligned}$$
(F.4)

where the trace is over only gauge-invariant states and T is called the transfer matrix; it is given by

$$\begin{aligned} \langle g'|T|g\rangle =\exp \left( A \sum _{e\in E}\mathrm {Tr}\Big (D_{\alpha }(g_eg_e^{\prime -1})+D_\alpha (g_e'g_e^{-1})\Big )+B\sum _{\gamma \in \Gamma }W_\alpha (\gamma )\right) . \end{aligned}$$
(F.5)

Here \(|g\rangle \) and \(|g'\rangle \) are elements of gauge-field part of the Hilbert space (3.12). As in the main text, E denotes the set of edges in a time slice and \(\Gamma \) denotes the set of plaquettes in a timeslice. Note that \(\Gamma \) is not equal to \({\hat{\Gamma }}_s\), which is the set of spatial plaquettes at all times. We may re-express T using our lattice gauge theory operators:

$$\begin{aligned} T=\prod _{e\in E}\left( \int dh e^{A\mathrm {Tr}\left( D_\alpha (h)+D_\alpha (h^{-1})\right) }L_h(e)\right) e^{B\sum _{\gamma \in \Gamma }W_\alpha (\gamma )}, \end{aligned}$$
(F.6)

where we have written \(L_h(e)\) instead of \(L_h(\ell )\) since this expression does not care which way we orient the link \(\ell \) on edge e. Finally to extract the Hamiltonian we take the limit \(a_0\rightarrow 0\), identifying the Hamiltonian via

$$\begin{aligned} T=e^{-a_0 H}. \end{aligned}$$
(F.7)

To proceed, we now need to decide if G is continuous or discrete. If it is continuous, in the limit \(a_0\rightarrow 0\) the integral over h will be dominated by the region near the identity. We may then use a Gaussian approximation to evaluate it, which directly leads to the Kogut–Susskind Hamiltonian (3.25) up to an additive c-number renormalization [117]. When G is discrete things are a little more subtle, to obtain an interesting theory we need to forget the expressions for A and B in terms of a, \(a_0\), and g, which after all came from trying to reproduce the Yang–Mills action in the continuum, and instead simply view A and B as parameters to vary as we like. For G continuous we took A to infinity and B to zero such that their product was finite, but for G discrete the right limit is instead to take A to infinity and B to zero such that \(Be^A\) is finite: it is only in this limit that (after another c-number renormalization) we have that \(T\approx 1-\epsilon H\) with \(\epsilon \) small and H a Hamiltonian with both “electric” and “magnetic” terms [118]. In this limit the identity contribution to the sum over h is set to one by the c-number renormalization, which replaces \(\mathrm {Tr}\left( D_\alpha (h)+D_\alpha (h^{-1})\right) \) by \(\mathrm {Tr}\left( D_\alpha (h)+D_\alpha (h^{-1})\right) -2d_\alpha \) for each edge, and the other terms in the sum over h which survive in the continuous-time limit are those which maximize \(\mathrm {Tr}\left( D_\alpha (h)+D_\alpha (h^{-1})\right) \). This finally leads to the Hamiltonian (3.31), with the normalization of the new gauge coupling g being chosen in a somewhat arbitrary manner.

Stabilizer Formalism for the \({\mathbb {Z}}_2\) Gauge Theory

The stabilizer formalism is a useful technique for defining nontrivial subspaces of the Hilbert space of n qubits [124]. In this appendix we explain how it may be used to compute the ground state degeneracy of the \({\mathbb {Z}}_2\) lattice gauge theory with charged matter in the limit of small g and large \(\lambda \), with Hamiltonian (3.38). In fact in these ground states the charges are never excited, so our result also gives the ground state degeneracy of the pure \({\mathbb {Z}}_2\) gauge theory, which is one of the simplest topological quantum field theories. In the main text we are primarily interested in cubic lattices which discretize the \(d-1\)-dimensional ball \(B^{d-1}\), but, mostly for fun, we will use a few tools from algebraic topology to compute the ground state degeneracy for any spatial lattice with the structure of a \(d-1\)-dimensional CW complex.Footnote 98 In the continuum limit, this will give a formula for the Hilbert space dimension of the \({\mathbb {Z}}_2\) gauge theory on any spatial \(d-1\)-manifold, with or without boundary. In particular we will show that the Hamiltonian (3.38) has a unique ground state on any lattice whose CW complex is homeomorphic to \(B^{d-1}\), on which the operators \(Z(\gamma )\) and \(\prod _{{\delta }}X({x},{\delta })\) act as the identity for any plaquette \(\gamma \) and site \({x}\), while more generally the ground state degeneracies for any connected CW complex (or connected manifold) are given by (G.5) if there is no boundary and (G.11) if there is a boundary.

The basic idea of the stabilizer formalism is to consider the \(+1\) eigenspace of an abelian subgroup S of the n-qubit Pauli group \(P_n\). \(P_n\) is the multiplicative group of operators on the Hilbert space of n qubits which is generated by all single-qubit Pauli operators together with iI, where I is the identity operator and \(i=\sqrt{-1}\). The stabilizer formalism then rests on the following theorem:

Theorem G.1

Let S be an abelian subgroup of \(P_n\), not containing \(-I\), which is generated by m independent generators \(\{g_1, \ldots , g_m\}\). Then the subspace of states on which all elements of S act as the identity has dimension \(2^{n-m}\).

We refer the reader to [194] for a proof, but the basic idea is that the projection onto the \(+1\) subspace of each generator decreases the dimensionality of the subspace by a factor of two.

We can apply this theorem to the lattice \({\mathbb {Z}}_2\) gauge theory with charged matter by noting that in unitarity gauge the Hilbert space is just the tensor product of a qubit on each edge of the lattice. The set of plaquettes \(Z(\gamma )\) and “stars” \(\prod _{{\delta }}X({x},\delta )\) generate an abelian subgroup S of the Pauli group on this Hilbert space, and it is easy to see that no product of plaquettes and stars can give \(-I\). In fact, below we will classify all the relations among plaquettes and stars. Hermitian elements of the Pauli group can only have eigenvalues \(\pm 1\), so states where all plaquettes and stars act as the identity will necessarily be ground states of the Hamiltonian (3.38). We may thus apply Theorem G.1 to identify the dimensionality of the ground state subspace. To show that the ground state is unique, we need to show that the number of independent generators of S is equal to the number of edges in the lattice.

Fig. 23
figure 23

Stabilizer generators for a cubic lattice with two spatial dimensions. The nine red circles indicate plaquettes, and the four star constraints live at the black dots. Since the product of all the plaquettes is the identity, the number of independent generators is \(8 + 4 = 12\), which agrees with the number of edges. By Theorem G.1, the ground state is unique

Counting the number of independent generators of S is nontrivial because there are relations among stars and plaquettes. For example consider the situation in Fig. 23. Since stars and plaquettes commute with each other, and since the only relations among Pauli generators that reduce their numbers are \(X^2 = Z^2 = 1\), any relation among stars and plaquettes can be expressed as the product of a relation among stars only and a relation among plaquettes only. Thus, it is sufficient to treat stars and plaquettes separately when counting their relations. There are no relations among the four stars, since it is not possible to cancel the X(e) on boundary-piercing edges, but the product of the nine red plaquettes is equal to the identity. Therefore, the number of independent generators (plaquettes and stars) is equal to twelve, which indeed equals the number of edges. It is easy to see that this counting works out more generally for a two-dimensional rectangular square lattice with some numbers of rows and columns. We now explain how to generalize this counting to arbitrary dimension and topology.

For simplicity we first discuss the case where the lattice has no boundary, for example it could be a discretization of a Riemann surface. We will refer to the CW complex associated to the lattice as X, and we will denote by \(N_n(X)\) the number of n-cells in X. We will take X to be connected, since in the disconnected case the ground state subspace just tensor factorizes component by component. The number of stars is \(N_0(X)\), the number of edges is \(N_1(X)\), and the number of plaquettes is \(N_2(X)\). There is however one relation between the stars: the product of all of them is the identity. There can be no further relations, as can be seen by the following argument. Any relation between the stars can be expressed by saying that the product of some subset of them is equal to the identity. To get a nontrivial relation, at least one star must be included. Consider any loop of edges which includes an edge attached to that star. Each edge of the loop must appear in either zero or two stars in the relation in order for it to be equal to the identity, and moreover they must all appear in zero or all appear in two. Since one of them appears in two, they all must. But since this true for any loop containing that edge, to get a nontrivial relation we need to include all the stars. Thus we have

$$\begin{aligned} \#(\mathrm {independent\,\,stars})=N_0(X)-1. \end{aligned}$$
(G.1)

Counting the relations between the plaquettes is more nontrivial, we claim that

$$\begin{aligned} \#(\mathrm {independent\,\, plaquettes})&=N_2(X)-(N_3(X)+b_2(X))+(N_4(X)+b_3(X))-\cdots \nonumber \\&\quad +(-1)^{d-1}(N_{d-1}(X)+b_{d-2}(X))-(-1)^{d-1} b_{d-1}(X), \end{aligned}$$
(G.2)

where \(b_m(X)\) is the dimensionality of the homology group \(H_m(X,{\mathbb {Z}}_2)\). The idea of this is as follows: the product of any set of plaquettes living on a two-cycle in \({\mathbb {Z}}_2\) homology is the identity, and so gives a relation between the plaquettes. The set of two-cycles which are boundaries of three-chains is generated by products of three-cells, of which there are \(N_3(X)\). We also need to include one representative of each nontrivial homology class of two-cycles, hence our subtraction of \((N_3(X)+b_2(X))\). But there aren’t actually \(N_3(X)\) independent homologically-trivial two-cycles, since those collections of three-cells which form three-cycles have trivial boundary and thus do not generate two-cycles. So we need to add back the number of three-cycles, which is given by \((N_4(X)+b_3(X))\), except then some collections of the four cells are five cycles, which we need to resubtract, and so on. In the last step we need to add or subtract the number of \(d-1\)-cycles, which are clearly never boundaries of d cycles, so we are left with only \(b_{d-1}\). In stabilizer parlance, we have

$$\begin{aligned} n=\#(\mathrm {edges})=N_1(X) \end{aligned}$$
(G.3)

qubits and

$$\begin{aligned} m=\#(\mathrm {independent\,\,stars})+\#(\mathrm {independent\,\, plaquettes}) \end{aligned}$$
(G.4)

generators of \({\mathcal {S}}\), so the groundstate degeneracy is

$$\begin{aligned} 2^{n-m}=2^{b_1(X)}, \end{aligned}$$
(G.5)

where we have used the expressions

$$\begin{aligned} \chi (X)\equiv \sum _{n=0}^d (-1)^nN_n(X)=\sum _{n=0}^d (-1)^n b_n(X). \end{aligned}$$
(G.6)

for the Euler characteristic of X, and also that \(b_0(X)=1\) since X is connected. The expression (G.5) has a natural interpretation: the ground state subspace is labeled by the eigenvalues of the Wilson lines on the topologically distinct one-cycles of X [123].

We now turn to lattices where \(\partial X\) is nontrivial. In order to allow a nontrivial long-range gauge symmetry, we had to choose boundary conditions on our gauge theory with matter fields as in Figs. 9 and 23, where boundary edges are not included since we do not have degrees of freedom there and there are no star constraints on boundary sites. For X to be a CW complex however, we need to include these boundary edges as one-cells and boundary sites as zero-cells, since otherwise the boundaries of plaquettes which are adjacent to the boundary will not be part of the set of zero-cells and one-cells. Similarly X needs to include all higher cells in \(\partial X\) as well. The number of edges which carry qubits is thus now given by

$$\begin{aligned} \#(\mathrm {edges})=N_1(X)-N_1(\partial X). \end{aligned}$$
(G.7)

There are no longer any relations between the star constraints, since given any edge in a star involved in such a relation we can construct a path to the boundary on which all edges would need to appear in two stars, but this is impossible for boundary-piercing edges since there are no star constraints on boundary sites. Therefore we have

$$\begin{aligned} \#(\mathrm {independent \,\, stars})=N_0(X)-N_0(\partial X). \end{aligned}$$
(G.8)

Counting the number of independent plaquettes is again more difficult, we claim that

$$\begin{aligned} \#(\mathrm {independent\,\, plaquettes})&=N_2(X)-N_2(\partial X)\nonumber \\&\quad -\left( (N_3(X)-N_3(\partial X)+b_2(X)-b_2^{NT}(\partial X)+b_1^T(\partial X)\right) \nonumber \\&\quad +\left( N_4(X)-N_4(\partial X)+b_3(X)-b_3^{NT}(\partial X)+b_2^T(\partial X)\right) \nonumber \\&\quad -\cdots \nonumber \\&\quad +(-1)^{d-1}\left( N_{d-1}(X)+b_{d-2}(X)-b_{d-2}^{NT}(\partial X)+b_{d-3}^T(\partial X)\right) \nonumber \\&\quad -(-1)^{d-1}\left( b_{d-1}(X)+b^T_{d-2}(\partial X)\right) . \end{aligned}$$
(G.9)

In this formula we use a notation where we have split the n-cycles in \(\partial X\) which are not boundaries in \(\partial X\) into a set which are boundaries in X, which have \(b_n^{T}(\partial X)\) independent representatives, and a set which aren’t boundaries in X, which have \(b_n^{NT}(\partial X)\) independent representatives. By definition, we have

$$\begin{aligned} b_n(\partial X)=b_n^T(\partial X)+b_n^{NT}(\partial X). \end{aligned}$$
(G.10)

To understand Eq. (G.9), we begin as before: there are \(N_2(X)-N_2(\partial X)\) plaquettes, but the product of plaquettes on any two-cycle in \({\mathbb {Z}}_2\) homology vanishes identically. This again imposes relations on the plaquettes. The set of two-cycles which are boundaries is generated by the three-cells, of which there are \(N_3(X)\), but the three cells which lie in the boundary are automatically trivial, so we should subtract \(N_3(\partial X)\). In counting two-cycles we should include a representative of each nontrivial class in \(H_2(X,{\mathbb {Z}}_2)\), hence adding \(b_2(X)\), but now we need to account for the fact that nontrivial two-cycles in X which are homologous to nontrivial two-cycles in the boundary can still be generated by the three-cells, so we should subtract \(b_2^{NT}(\partial X)\). Finally in addition to the two-cycles, there are also relations from two-chains whose boundaries lie in \(\partial X\), since these again are the identity. When the boundary of such a two-chain is a boundary in \(\partial X\), then the relation associated to it is equivalent to one from a two-cycle in X which contains some boundary two-cells, so we only get new relations from those two-chains in X whose boundary is in \(\partial X\) but is not a boundary there. These are counted precisely by \(b_1^T(\partial X)\), hence we add this to our list of relations, finally subtracting the whole set as the second line of (G.9). We then observe that collections of three-cells which generate three-cycles or three-chains whose boundary is in \(\partial X\) do not actually define two-cycles, and so we need to add back the third line of (G.9). And so on. Combining (G.7), (G.8), and (G.9), and again using (G.6) and \(b_0(X)=1\), we at last have a ground state degeneracy

$$\begin{aligned} 2^{n-m}=2^{b_0(\partial X)-1+b_1(X)-b_1^{NT}(\partial X)}. \end{aligned}$$
(G.11)

This formula again has an elegant interpretation in terms of Wilson lines:

$$\begin{aligned} b_0(\partial X)-1 \end{aligned}$$
(G.12)

counts the number of independent Wilson lines stretching from one component of \(\partial X\) to another, while

$$\begin{aligned} b_1(X)-b_1^{NT}(\partial X) \end{aligned}$$
(G.13)

counts the number of independent homologically-nontrivial Wilson loops which are not homologous to boundary one-cycles, since those which are must be trivial by the boundary conditions. In particular if X is homeomorphic to \(B^{d-1}\), then (G.12) and (G.13) both vanish (\(\partial B^{d-1}={\mathbb {S}}^{d-2}\) is connected and there are no nontrivial one-cycles in \(B^{d-1}\)), so the ground state is unique.

Multiboundary Wormholes in Three Spacetime Dimensions

In this appendix we review some of what is known about multiboundary wormholes in \(\hbox {AdS}_3/\hbox {CFT}_2\), focusing on the feasibility of constructing geometries which can be used in our second proof of Theorem 4.2. The great advantage of \(d=2\) is that there are no gravitational waves, so all solutions of the Einstein equation with negative cosmological constant and no matter are locally isometric to \(\hbox {AdS}_3\). More precisely, they are quotients of \(\hbox {AdS}_3\) by a discrete subgroup \(\Gamma \) of its isometry group \(\hbox {SO}(2,2)\). In \(\hbox {AdS}_3/\hbox {CFT}_2\) such states can often be prepared by cutting the path integral of the CFT on a Riemann surface [195,196,197,198], we now review this construction.

Fig. 24
figure 24

A genus two Riemann surface constructed using four Schottky discs. On the left the surface is the union of the green and blue regions, with the indicated identifications and the marked points identified. Performing the CFT path integral over just the blue region below the cut prepares a state in the Hilbert space of the CFT on three circles, labeled 1, 2, 3. On the right we show a heuristic picture of the cut geometry embedded into \({\mathbb {R}}^3\)

We begin by recalling the Schottky construction of an arbitrary Riemann surface. Viewing the complex plane as the Riemann sphere, we place an even number of non-intersecting discs and then identify their boundaries in pairs with opposite orientation: the Riemann surface is the region to the exterior of all the discs. Each identified pair can be viewed as adding a handle to the Riemann sphere, so if we place 2g discs we get a genus g Riemann surface. The moduli of the Riemann surface arise from the locations and sizes of the discs, as well as a possible twist in each identification. By an \(\hbox {SL}(2,{\mathbb {C}})\) transformation we can always choose one of the discs to be centered at infinity, and if we restrict to geometries which are time-reversal invariant then we can take all discs to be centered on the real axis with no twists. A \(g=2\) example is shown in Fig. 24, where we cut to get a state of the CFT on three circles. More generally by cutting a genus g surface we can produce a pure state in the Hilbert space of the CFT on \(g+1\) spatial circles.

Fig. 25
figure 25

A time-symmetric genus two handlebody. In the left diagram, the handlebody lies above the small hemispheres and below the large hemisphere, with the indicated identifications of hemispheres. The dashed boundary-time slice is extended straight up to give a symmetric timeslice of the bulk geometry. In the right diagram this bulk timeslice is shaded yellow as a cut through the heuristic representation of the genus two handlebody embedded in \({\mathbb {R}}^3\). Note that the three asymptotic boundaries are connected through a wormhole, as in Fig. 17

In order to find the bulk geometry of a state constructed in this manner, one needs to minimize the Euclidean Einstein–Hilbert action with negative cosmological constant over all solutions whose asymptotic boundary is the Riemann surface in question. Assuming that this minimum has a time-symmetric slice whose boundary lies in the real axis of the Schottky construction (if not then the bulk interpretation of the state is unclear), one then takes that slice as initial data for the Lorentzian Einstein equation to construct the real-time bulk geometry. The full set of these Euclidean solutions is rather complex, but there is an especially simple subset referred to as the handlebodies, which are obtained by “filling in” the Riemann surface embedded in \({\mathbb {R}}^3\). Given a Schottky presentation of a Riemann surface, there is a natural way to do this by viewing the complex plane in the Schottky construction as the boundary of the three-dimensional upper half plane, with metric

$$\begin{aligned} \mathrm{d}s^2=\frac{\mathrm{d}x^2+\mathrm{d}y^2+\mathrm{d}z^2}{z^2} \end{aligned}$$
(H.1)

and \(z>0\), and then contracting the boundary of each disc using a hemisphere in the bulk. We illustrate this for genus two in Fig. 25. It is important to emphasize however that there can be different Schottky presentations of the same Riemann surface, which differ by acting with an element of the mapping class group of “large” diffeomorphisms that exchange the various cycles, eg \(\hbox {PSL}(2,{\mathbb {Z}})\) for genus one, and these different presentations lead to different handlebodies in the bulk since different cycles are contracted. Moreover in general the Schottky presentation in which the time-symmetric slice is the real axis is not the Schottky presentation from which the handlebody is constructed, unlike in Fig. 25 where it is. At genus one there are only two time-symmetric handlebodies, the “Euclidean BTZ” and “thermal AdS” solutions, which differ by which of the two cycles is contracted in the bulk, and it is the Euclidean BTZ solution which is constructed as in Fig. 25.

Fig. 26
figure 26

The time-symmetric bulk slice of a three-boundary wormhole. On the left we give the upper-half-plane presentation, while on the right we give the Poincare-disc presentation. The “interior” region is shaded grey, while the three “exterior” regions are shaded green, blue, and yellow. The dashed lines are the minimal length curves between the identification semicircles, and in Lorentzian signature they are the bifurcate horizons

In fact at any genus we are especially interested in the particular handlebody where the Schottky presentation with time-symmetry about the real axis does coincide with the Schottky presentation where the disc boundaries are contracted in the bulk, as shown in Fig. 25. The reason is that this is the only handlebody for which the time-symmetric bulk slice is connected, so in Lorentzian signature it is the one that describes a wormhole connecting all of the asymptotic boundaries. For example at genus one the bulk timeslice of the “thermal AdS” handlebody is two disconnected discs. We can understand better the structure of this wormhole by looking in more detail at the geometry of the time-symmetric slice, obtained by cutting through the geometry in the left diagram of Fig. 25 directly above the dashed boundary cut. This slice has the geometry of a quotient of the upper-half plane by a discrete subgroup, and in fact for this particular handlebody it is the Fuchsian presentation of the same cut Riemann surface on which the CFT path integral was evaluated to prepare the state. Moreover the intersection of the bifurcate horizons in the Lorentzian solution with this timeslice are given precisely by the minimal length curves between the identification semicircles [199], which gives an elegant way of splitting the time-symmetric slice into “interior” and “exterior” regions. We illustrate this for genus two in Fig. 26. In general whenever this spatial slice connects n asymptotic boundaries without any additional interior handles we can compute its volume using the Gauss–Bonnet theorem: it is an n-punctured sphere with a metric of constant negative curvature \(R=-2\), and whose punctures are bounded by geodesics with \(K=0\), so (in units where \(\ell _{ads}=1\)) we just have [200]

$$\begin{aligned} \mathrm {Interior \,\, spatial \,\, volume}=2\pi (n-2), \end{aligned}$$
(H.2)

which is independent of the moduli. Notice that indeed for \(n>2\) (and therefore \(g>1\)) we have a nontrivial interior which grows in size as we increase n. Moreover it will not be in the entanglement wedge of any one of the boundaries, which is the key property for our wormhole-based proof of Theorem 4.2.

Fig. 27
figure 27

The time-symmetric bulk slice of a genus five wormhole with six exterior regions. The interior is shaded grey, while the exteriors are shaded in various colors. The horizons are the dashed lines, and on this line in moduli space the horizon lengths are equal for boundaries 2, 3, 4 and 5, each of which is twice the length of the horizons for boundaries 1 and 6. On the left we show a geometry where these length are all finite, while on the right we show the limiting configuration as the lengths go to infinity

In order for that proof to be valid however, we need to check that these connected-wormhole handlebodies do actually dominate the Euclidean path integral, at least somewhere in moduli space. For genus one the handlebodies are all the solutions, and we know that at high temperature the Euclidean BTZ geometry is dominant. For \(g\ge 2\) they are not: the others are usually called non-handlebodies, and they are less well-understood. Fortunately there is some evidence that non-handlebodies are always subleading to at least one handlebody in the Euclidean path integral [198, 201], and in what follows we will assume this to be the case. We are then left with the following question: at any particular point in moduli space, which choice of handlebody minimizes the Euclidean action? Unfortunately even this question has not been systematically addressed, since evaluating the Euclidean action of a handlebody amounts to computing the classical action of a solution of the Liouville equation on the boundary Riemann surface [195], which so far is only possible analytically in very restricted cases.Footnote 99 Recently a numerical algorithm has been developed for computing the Liouville action on arbitrary Riemann surfaces [198], specifically with the goal of clarifying which handlebodies dominate the Euclidean gravitational path integral with a boundary Riemann surface in various regions of moduli space, but so far it has only been applied in a few special cases. We also will not solve this problem, but will instead just suggest a limit in moduli space where we find it plausible that the connected wormhole should be the dominant handlebody.

Our proposal is most natural in the Poincare disk representation of the bulk time-slice, shown for genus two as the right diagram in Fig. 26. The idea is to introduce 2g equally-spaced and equally-sized semicircles around the edge of the Poincare disk, oriented such that there is a reflection symmetry across the real axis, and then identify the semicircles which are related by this reflection. We leave the size of the semicircles as a free parameter, which means we are looking at a one-dimensional slice through the moduli space. We illustrate this construction for genus five in Fig. 27, notice in particular the increased size of the interior region compared to Fig. 26, which is consistent with (H.2). Our conjecture is then that as we take the radii of the identification semicircles to zero, shown in the right diagram of Fig. 27, this handlebody will be the dominant solution in the Euclidean gravity path integral. Our conjecture is based on the observation that the Euclidean action is essentially the renormalized volume of spacetime, indeed evaluated on any solution which is a quotient of the hyperbolic three-plane we have we have

$$\begin{aligned} S_E=\frac{1}{4\pi G}\left( \int _M d^3x \sqrt{g}-\frac{1}{2}\int _{\partial M} d^2 x\sqrt{\gamma }(K-1)\right) . \end{aligned}$$
(H.3)

Given a choice of which boundary cycles to contract in the bulk, it is natural to expect that this action will tend to want to contract the smallest cycles, since most likely this can be done at the cost of the least volume in the bulk. For the family of handlebodies we have constructed, in the limit of small identification semicircles, and therefore large horizon length, the cycles in the boundary which correspond to spatial circles in the time-symmetric slice become parametrically larger than their dual cycles, which are the cycles which appear as the boundaries of the Schottky discs. At genus one and genus two we can confirm that this is indeed the case: the transition from thermal AdS to Euclidean BTZ indeed happens right when the thermal circle becomes smaller than the spatial one, and the numerical results of [198] confirm that our limiting family of Riemann surfaces, which corresponds to the line \(\ell _3=2\ell _{12}\) in their Fig. 7, dominates over the other possible handlebodies (and also one non-handlebody they were able to check analytically) in the limit of large horizon length. Assuming this conjecture is also correct at higher genus, the connected wormhole will always dominate at sufficiently large horizon length, and any quasilocal bulk operator can fit into the interior region for sufficiently high genus.Footnote 100 We are then able to run our second proof of Theorem 4.2.

Sphere/Torus Solutions of Einstein’s Equation

In this appendix we discuss in more detail the solutions of Einstein’s equation with negative cosmological constant used in Sect. 8.3, with metric of the form

$$\begin{aligned} \mathrm{d}s^2=-\alpha (r)\mathrm{d}t^2+\frac{\mathrm{d}r^2}{\alpha (r)\beta (r)}+e^{\gamma (r)}\mathrm{d}x_p^2+r^2 \mathrm{d}\Omega _{d-p-1}^2. \end{aligned}$$
(I.1)

The time, planar, radial, and spherical components of Einstein’s equations with negative cosmological constant for metrics of the form (I.1) are given respectively byFootnote 101

$$\begin{aligned}&r(\alpha \beta '+\alpha ' \beta )\left( 2(d-p-1)+pr \gamma '\right) +2(d-p-1)\alpha \beta \left( d-p-2+pr \gamma '\right) \nonumber \\&\qquad +pr^2\alpha \beta \left( \frac{p+1}{2}\gamma '^2+2\gamma ''\right) \nonumber \\&\quad =2\big ((d-p-2)(d-p-1)+d(d-1)r^2\big ) \end{aligned}$$
(I.2)
$$\begin{aligned}&r\beta '(r\alpha '+\alpha (2(d-p-1)+(p-1)r\gamma '))+2\beta \Big ((d-p-2)(d-p-1)\alpha +2(d-p-1)r\alpha '\nonumber \\&\qquad +r^2\alpha ''\Big )+2(p-1)\beta \Big (r\gamma '\big (d-p-1+r\alpha '+\frac{p}{4}r \gamma '\big )+r\gamma ''\Big ) \nonumber \\&\quad =2\big ((d-p-2)(d-p-1)+d(d-1)r^2\big ) \end{aligned}$$
(I.3)
$$\begin{aligned}&p(p-1)r^2\alpha \beta \gamma '^2+2pr\beta (2(d-p-1)+r\alpha ')\gamma '+4\beta (d-p-1)((d-p-2)\alpha +r\alpha ') \nonumber \\&\quad =4\big ((d-p-2)(d-p-1)+d(d-1)r^2\big ) \end{aligned}$$
(I.4)
$$\begin{aligned}&r^2\alpha '\beta '+r(2\alpha '\beta +\alpha \beta ')(2(d-p-2)+pr\gamma ')+2r^2\beta \alpha ''+2(d-p-3)(d-p-2)\alpha \beta \nonumber \\&\qquad +2p(d-p-2)r\alpha \beta \gamma '+pr^2 \alpha \beta \left( \frac{p+1}{2}\gamma '^2+2\gamma ''\right) \nonumber \\&\quad =2\big ((d-p-3)(d-p-2)+d(d-1)r^2\big ). \end{aligned}$$
(I.5)

We first consider the vacuum solution, where it is the sphere that contracts in the bulk. We can then assume a further symmetry between the time and planar directions, setting

$$\begin{aligned} \gamma =\log \alpha . \end{aligned}$$
(I.6)

The first two equations of motion become redundant, and the third simplifies so that we can solve for \(\beta \):

$$\begin{aligned} \beta =\frac{4\alpha \left( (d-p-2)(d-p-1)+d(d-1)r^2\right) }{4(d-p-2)(d-p-1)\alpha ^2+4(d-p-1)(p+1)r\alpha \alpha '+p(p+1)r^2\alpha '^2}.\nonumber \\ \end{aligned}$$
(I.7)

After this substitution, the first, third, and fourth equations of motion each give the same second order ordinary differential equation for \(\alpha \).

To find the right boundary conditions, we can expand \(\alpha \) in a power series near \(r=0\) and then substitute into this differential equation. The result is that if we want \(\alpha (0)>0\) then we must have

$$\begin{aligned} \alpha (r)=\alpha (0)\left( 1+\frac{1}{d-p}r^2+O(r^3)\right) . \end{aligned}$$
(I.8)

This then tells us that we must impose \(\alpha '(0)=0\), which from (I.7) then implies that \(\beta (0)\alpha (0)=1\), as needed to avoid a singularity at \(r=0\). The overall scale of \(\alpha \) can be absorbed into a rescaling of the time coordinate, so we thus have a unique vacuum solution, as found by Horowitz and Copsey for \(d=4\) and \(p=1\).

Fig. 28
figure 28

Numerical plots of the vacuum solution for \(p=2\) and \(d=5\)

Fig. 29
figure 29

Numerical plots of the wormhole solution, for \(r_s=2\), \(d=5\), and \(p=2\)

The differential equation for \(\alpha \) can only be solved numerically, which we’ve written a mathematica file (included in the arxiv submission) to do. We’ve checked for a variety of d and p that, with these boundary conditions, the solutions for \(\alpha \) and \(\beta \) are positive, and behave as \(\alpha \beta =r^2+o(r^2)\) at large r, as required for the geometry to be asymptotically AdS. We plot a typical example in Fig. 28.

We now consider the wormhole solutions, where \(\alpha \) vanishes at some \(r_s>0\). In this case we cannot assume symmetry between t and x, so we must treat \(\alpha \), \(\beta \), and \(\gamma \) independently. We first observe that the third equation of motion is quadratic in \(\gamma '\), and can be solved to give an expression for \(\gamma '\) in terms of \(\alpha \), \(\alpha '\), and \(\beta \):

$$\begin{aligned} \gamma '&=\frac{1}{p(p-1)r^2\alpha \beta }\Bigg (-pr\beta (r\alpha '+2(d-p-1)\alpha )\nonumber \\&\quad +\Big [p^2r^2\beta ^2(r\alpha '+2(d-p-1)\alpha )^2 \nonumber \\&\quad +4p(p-1)r^2\alpha \beta \left( (d-p-2)(d-p-1)\right. \nonumber \\&\quad \left. + d(d-1)r^2-(d-p-1)\beta (r\alpha '+(d-p-2)\alpha )\right) \Big ]^{1/2}\Bigg ) \end{aligned}$$
(I.9)

This expression then may be substituted into the other equations, to produce a pair of independent differential equations which are second order in \(\alpha \) and first order in \(\beta \). One nice simplification occurs if we take the difference of the first and fourth equations, which tells us that

$$\begin{aligned}&-2r^2\beta \alpha ''+2r\alpha \beta -r^2\alpha '\beta '+2\alpha \beta (2(d-p-2)\\ {}&+pr\gamma ')-r\alpha '\beta (2(d-p-3)+pr\gamma ')=4(d-p-2). \end{aligned}$$

We can pair this equation with, say, the first equation, and then solve them numerically. We now need three boundary conditions: one is provided by \(\alpha (r_s)=0\), and another can be fixed by rescaling time so that \(\alpha '(r_s)\) takes any value we choose. Finally by inspecting the form of the equations at a point where \(\alpha =0\), we can see that we must have

$$\begin{aligned} \beta (r_s)=\frac{d-p-2+\mathrm{d}r_s^2}{r_s\alpha '(r_s)}. \end{aligned}$$
(I.10)

The parameter \(r_s\) is physical, and sets the temperature parameter in the thermofield double state.

We’ve again written mathematica code (included in the arxiv submission) to solve these equations numerically, and again confirmed for a variety of d, p, and \(r_s\) that \(\alpha \) and \(\beta \) are positive, and they have the right large-r asymptotics. We plot an example in Fig. 29.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Harlow, D., Ooguri, H. Symmetries in Quantum Field Theory and Quantum Gravity. Commun. Math. Phys. 383, 1669–1804 (2021). https://doi.org/10.1007/s00220-021-04040-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00220-021-04040-y

Navigation