Generalized Global Symmetries

 Matthew Walsh
 3 months ago
 Views:
Transcription
1 Generalized Global Symmetries Anton Kapustin Simons Center for Geometry and Physics, Stony Brook April 9, 2015 Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
2 Questions I would like to have answers for Is there extraterrestrial intelligence in our Galaxy? Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
3 Questions I would like to have answers for Is there extraterrestrial intelligence in our Galaxy? Why does time always flow forward? Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
4 Questions I would like to have answers for Is there extraterrestrial intelligence in our Galaxy? Why does time always flow forward? Is there objective reality, or is it all just information? Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
5 Outline Symmetries, phases, and anomalies pform symmetries Examples t Hooft anomalies for 1form symmetries Application: phases of gauge theories Symmetry dgroups Some open questions Based on arxiv: (with D. Gaiotto, N. Seiberg and B. Willett) and arxiv: , (with R. Thorngren). Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
6 Motivation Explore the notion of symmetry in QFT. Claim: symmetries in a ddimensional QFT form a dgroup (a connected homotopy dtype), not a group. A finer classification of gapped phases of matter. Are there critical points governed by dgroup symmetries? How does one compute t Hooft anomalies for dgroup symmetries? What are universality classes of surface phase transitions? Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
7 Symmetries in quantum theory A ddimensional quantum system with Hilbert space V and Hamiltonian H is said to have a global symmetry G when for every g G we have a unitary transformation U(g) such that all U(g) commute with H and form a representation of G. More precisely, this is true if G is internal (does not act on spacetime). If g reverses time, then U(g) must be antiunitary. Sometimes one allows U(g) to form a projective representation. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
8 Symmetries in QFT In a local QFT, one is usually interested in symmetries which are local (do not mix local and nonlocal observables). If G is a connected Lie group, this means there is a conserved current taking values in g (the dual of the Lie algebra of G). This is automatic on the semiclassical level if the action is invariant under G. A conserved current j µ defines a codimension1 operator depending on g = exp(ia) G and a (d 1)dimensional closed submanifold: U g (M (d 1) ) = exp(i j(a)) M (d 1) It is topological: M (d 1) can be deformed freely if no other operator insertions are crossed. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
9 Discrete symmetries in QFT Similarly, a local discrete symmetry defines a codimension1 topological operator U g (M (d 1) ), g G. These operators must obey U g (M (d 1) )U h (M (d 1) ) U gh (M (d 1) ). The meaning of this equation is somewhat tricky if M (d 1) has boundaries, because then it is not an operator but an object of a (d 1)category. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
10 Spontaneous symmetry breaking If a symmetry is unbroken if the vacuum is invariant under all U(g). In general, only a subgroup G 0 G remains unbroken. The rest of G is said to be spontaneously broken. MerminWagnerHohenbergColeman theorem: a continuous symmetry cannot be spontaneously broken if d 2. Finite symmetry can be spontaneously broken in d = 2. Goldstone theorem: when a continuous symmetry is spontaneously broken, there are masses scalar fields (Goldstone bosons) whose number is equal to dim G dim G 0. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
11 Phases and continuous phase transitions LandauGinzburg theory: Phases are characterized by dimension, symmetries of H and pattern of symmetry breaking. Continuous phase transitions separate phases with the same symmetry but different pattern of symmetry breaking. The physics near a continuous phase transition is universal (unless one does additional finetuning). In high enough dimensions fluctuations of the order parameter are small, and one can neglect them (meanfield theory). Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
12 Gauging symmetries Gauging a global symmetry means modifying the theory so that it is invariant under spatiallyvarying symmetry transformations. Usually one needs to add a gauge field for G. A gauge field is (locally) a 1form with values in g. Gauging a discrete symmetry means coupling the theory to a Gconnection. Such connections are necessarily flat in a continuum QFT. If the spacetime is discretized ( lattice QFT ), e.g. the manifold is triangulated, this means the gauge field is a 1cocycle A with values in G. On the lattice, a gauge transformation depends on a 0cochain λ C 0 (X, G). The gauge field transforms by a coboundary of λ. If G is abelian, we can write A A + δλ. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
13 Obstructions for gauging Gauging a global symmetry may not be possible. Obstructions to gauging are called t Hooft anomalies. Example: in even dimensions, a symmetry which acts differently on lefthanded and righthanded fermions is typically ungaugeable. t Hooft anomalies are robust under RG flow. Important constraint on RG flows. For free theories or theories which are free in the UV, all t Hooft anomalies arise from chiral fermions and their general form is wellknown. In general, t Hooft anomalies can be rather complicated. More on this later. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
14 Ambiguities of gauging Even if a gauging exists, it is typically not unique. For continuous groups, this is referred to as nonminimal coupling. The ambiguity arises from the freedom to choose weights in the summation over various gauge field configurations. The weights must be local and gaugeinvariant. For example, one can always modify a weight by a gaugeinvariant local function of the gauge field. For finite G, such weights are topological terms analogous to ChernSimons terms. In the 2d case, gauging a finite G is called orbifolding. Ambiguity is referred to as discrete torsion. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
15 Gauging and defects For finite G, one can reformulate gauging in terms of defects operators U g (M (d 1) ). A G gauge field can be represented by a network of defects. Gaugeinvariance requires the correlators to be invariant under rearrangements of the defect network (merging and splitting of defects). Ambiguities arise from the freedom to assign weights to intersection of defects. Sometimes one cannot choose weights to satisfy the requirement of topological invariance. This means there is an t Hooft anomaly. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
16 pform global symmetries A global pform symmetry, p > 0, has a parameter which is a closed pform λ (continuous case). More generally, it is a closed pcochain with values in an abelian group G. For example, for p = 1 (most common case) the parameter of a 1form symmetry G is a flat gauge field for gauge group G. A gauge pform symmetry has a parameter which is an arbitrary pcochain with values in G (discrete case). In general, it is a CheegerSimons differential character, or equivalently a DeligneBelinson pcocycle. For p = 1 the DB cocycle is the same as an abelian gauge field. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
17 Charged objects and generators An observable charged under pform symmetry is supported on a pdimensionsl submanifold (or more general, a pcycle). The charge takes values in Ĝ (the Pontryagin dual of G). Generators of a pform symmetry are supported on submanifolds of codimension p + 1. One way to think about the generator is assume that the pform symmetry is gauged, so that the parameter λ is closed everywhere except at a submanifold M of codimension p + 1. After excising M, we get a welldefined transformation of fields outside M. This defines a defect. For example, for p = 1 and d = 4 charged objects are loop operators, while generators are surface operators. For continuous G, a pform symmetry has a conserved p + 1form current. Generators are integrals of the Hodge dual d (p + 1)form over M. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
18 Gauge pform symmetries in string theory Continuous pform gauge symmetries are ubiquitous in string theory. A Bfield of oriented string theory is a gauge field for a 1form U(1) gauge symmetry: B B + dλ. An operator creating a string would be charged under this symmetry. But since this is a gauge symmetry, this operator does not act in the physical Hilbert space. Similarly, a p + 1form RR field is a gauge fields for pform gauge symmetry. The heterotic Bfield is a bit different: it transforms under the 0form gauge symmetry H = E 8 E 8 or H = SO(32). This happens because the gauge symmetry is not merely a product of 0form H symmetry and 1form U(1) symmetry. More on this later. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
19 Example: Maxwell theory Consider U(1) gauge theory without charged matter and an action S = 1 2g 2 F F, F = da. X The action is invariant under A A + λ, where λ is a flat U(1) gauge field. This is a global 1form U(1) symmetry. Charged object: Wilson loop W n (C) = exp(in Generator: codimension2 vortex (GukovWitten defect operator) labeled by α U(1). C A) Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
20 Generalized MerminWagnerHohenbergColeman theorem For d > 3 the global 1form U(1) symmetry is spontaneously broken, because large Wilson loops have nonzero expectation values: W C exp( g 2 /L d 4 C ). The photon can be regarded as a Goldstone boson for the 1form symmetry. For d 3 the 1form symmetry is unbroken: { exp( g W C 2 L C log L C ), d = 3 exp( g 2 L 2 C ), d = 2 Generalized MWHC theorem: U(1) pform symmetry cannot be broken if d p + 2. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
21 Electric and Magnetic symmetries In d = 4 electricmagnetic duality maps the Maxwell theory to itself and maps Wilson loop to t Hooft loop. Therefore d = 4 Maxwell theory must also have another U(1) 1form symmetry. Let us call it magnetic symmetry, and the original one the electric symmetry. t Hooft loop is charged with respect to the magnetic 1form symmetry. Generator of the magnetic 1form symmetry: exp(iη F ), η R/Z. M (2) The magnetic 1form symmetry is also broken in the Coulomb phase, because t Hooft loop has a perimeter law. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
22 Generalized Goldstone theorem Photon is simultaneously a Goldstone boson for two broken 1form symmetries. Thus the generalized Goldstone theorem for pform symmetries is a bit subtle. In general, the count of Goldstone bosons depends not only on the relative size of the UV symmetry and the unbroken symmetry, but also on the t Hooft anomaly. Separately, both electric and magnetic 1form symmetries can be gauged. But they cannot be gauged at the same time, i.e. there is a mutual t Hooft anomaly. Gauging the electric symmetry A A + λ gives a massive vector theory which does not have any 1form symmetries. For general d, the Maxwell theory has 1form electric symmetry and (d 3)form magnetic symmetry. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
23 Adding matter Adding charged matter to Maxwell theory breaks electric U(1) symmetry explicitly. Does not affect magnetic symmetry. More precisely, if the charges of all matter fields are integer multiples of n, the electric symmetry is reduced to Z n. The generator is a GukovWitten surface operator with α 2π n Z. A Wilson loop is still charged under this symmetry. In the Coulomb phase the magnetic 1form symmetry is spontaneously broken because t Hooft loops have perimeter law. In the Higgs phase it is unbroken because all t Hooft loops have area law. The electric 1form Z n symmetry is spontaneously broken in both phases, because all Wilson loops have perimeter law. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
24 Example: SU(N) YangMills theory SU(N) YangMills theory (no matter fields) has electric 1form Z N symmetry. Adding matter which transforms trivially under the center of SU(N) preserves this symmetry. Adding fundamental matter destroys electric Z N. Generators: special GukovWitten surface operators (holonomy in the center of SU(N)). Charged objects: Wilson loops in the fundamental representation. Confining phase: 1form Z N unbroken. Higgs and Coulomb phases: 1form Z N broken. If N is not prime, Z N can be broken down to a subgroup Z N/m. Then (N/m) th power of the fundamental Wilson loop has a perimeter law (nontrivial confinement index ). Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
25 Example: SU(N)/Z N YangMills theory Can be obtained by gauging the 1form Z N symmetry of the previous example. There is t Hooft anomaly in this case, but gauging is ambiguous. Ambiguity arises from the fact that implicitly there is a 2form gauge field with values in Z N and one can write a nontrivial topological action for it. The 2form gauge field B H 2 (X, Z N ) is the t Hooft flux in SU(N)/Z N theory. Different topological actions correspond to different discrete thetaangles. The theory has magnetic 1form Z N symmetry; t Hooft loops are charged under it. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
26 Example: 6d (2, 0) theories These theories are associated with selfdual Lie groups and have 2form global symmetries. On the Coulomb branch, where there are selfdual 2form gauge fields B i, these symmetries shift B i by flat 2form gauge fields. For example, U(N) is selfdual; the associated 2form symmetry is U(1). Upon reduction to 4d on a torus, this 2form symmetry gives rise to the following global symmetries: a 2form symmetry, a pair of 1form symmetries, and a 0form symmetry. The 2form symmetry current is the Hodge dual of µ σ, where σ is one of the scalars. The 0form symmetry shifts this scalar by a constant. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
27 t Hooft anomalies for 1form symmetries How does one classify and compute t Hooft anomalies? Rough idea: t Hooft anomalies can always be canceled by anomaly in flow from a theory in one dimension higher. This d + 1dimensional theory can be chosen to be a TQFT for a 2form gauge field B H 2 (Y, G). A 2form gauge field is the same as a map Y K(G, 2). K(G, 2) is any space Z with π 2 (Z) = G and π i (Z) = 0 for i 2. TQFT actions are classified by elements of H d+1 (K(G, 2), U(1)). These are 2form analogues of DijkgraafWitten theories. Taking into account gravitational effects, anomalies are classified by the cobordism groups of K(G, 2) (oriented cobordism groups for bosonic theories, spin cobordism groups for theories with fermions). How does one actually compute these groups? What are examples of theories with all these t Hooft anomalies? Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
28 The case d = 3 EilenbergMacLane: Let G be a finite group. Then H 4 (K(G, 2), U(1)) is isomorphic to the space of quadratic functions on G with values in U(1). These anomalies are realized by ChernSimons theories in 3d. The symmetry acts by A A + λ, where λ is a flat connection with suitably quantized holonomies. What about the cobordism group and the corresponding anomalies? Not sure. Eilenberg and MacLane also computed H 5 (K(G, 2), U(1)) for an arbitrary abelian G. The result is complicated. It describes candidate t Hooft anomalies for d = 4 QFT (neglecting gravitational effects). Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
29 Phases of gauge theories in 4d Gauge theories in 4d typically have electric and magnetic 1form symmetries. Phases can be classified by UV symmetries and their t Hooft anomalies Pattern of 1form symmetry breaking If the phase is gapped, then a TQFT describing the IR limit. This refines the Wilson t Hooft classification of phases. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
30 Examples of distinct massive phases in 4d SU(2) YangMills with fundamental matter: no symmetry (confining Higgs). SU(2) with adjoints: Z 2 1form symmetry (confining Higgs). SU(2) with an isospin j = 2 field: same as previous. SU(2) SU(2) with bifundamental matter: same as previous. SU(2) SU(2) with adjoint matter: Z 2 Z 2 1form symmetry. SU(4)/Z 2 with adjoint matter: Z 2 Z 2 1form symmetry, with t Hooft anomaly. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
31 Landau, Wilson, and t Hooft meet Eilenberg and MacLane More generally, one needs to keep track of ordinary symmetries (0form symmetries) and 1form symmetries. They can interact in a nontrivial way. Key observation: in general, instead of a symmetry one has a (connected) homotopy type. Ordinary symmetry G corresponds to K(G, 1) (space Z with π 1 (Z) = G and π i (Z) = 0 for i 1). pform symmetry G corresponds to K(G, p + 1) (space Z with π p+1 (Z) = G and π i (Z) = 0 for i p + 1). In a ddimensional QFT, symmetry is described by a homotopy type Z with nonvanishing homotopy groups up to dimension d. Such a homotopy type is called a dgroup. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
32 2group symmetry Suppose we have only 0form and 1form symmetries. They can be described by a 2group (space Z with nonvanishing π 1 = G 0 and π 2 = G 1 ). Simplest possibility: Z = K(G 0, 1) K(G 1, 2). There are two ways to deform this. G 0 can act nontrivially on G 1. Further deformation by β H 3 (K(G 0, 1), G 1 ). Would be interesting to find examples of phases where one or both of these is nontrivial. Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33
33 Phase transitions and universality Are there continuous phase transitions on the boundary between phases with broken and unbroken pform symmetries? Does universality holds for such phase transitions? Do t Hooft anomalies affect the universality class of the phase transition (I think the answer is yes ). More generally, do different dgroups also correspond to different universality classes of phase transitions? Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries April 9, / 33