Week 15 — Consolidation: Everything Was Symmetry All Along
This week rereads fourteen weeks of lattice calculations in one language and introduces no new technique. In every week the decisive objects were supported on closed submanifolds: the seams of Kramers and Wannier, Wegner’s loops and flipped sheets, the vortex lines that Wilson loops become in Polyakov’s dual photon, ‘t Hooft’s twisted sheets and flux sectors, and the residual symmetry of gauge theory with charge- matter. Each was either a topological operator or an object detected by one, and the phases of the semester were told apart by how those operators were realized. Semester II calls this generalized symmetry, following Gaiotto, Kapustin, Seiberg and Willett. We state their definitions precisely, translate one Semester I model into their language from end to end as a template, collect every duality, criterion and realization of the semester in tables that point back to their derivations, and assign the take-home final.
How to use this chapter
- In class: state the definitions of §2, checking each clause against the form-degree table of conventions §6; derive at the board the translation exercise of §3 in its six steps, with the linking identity (3.1) and the ground-state count (3.3) in full; then walk through Tables 1–4 with the course map of Figure 2, asking for the week and the mechanism behind each row. Problems 1–3 are the classroom core. The last half hour presents the take-home final (§14), whose package carries the paper and its diagnostic map.
- For self-study: §§8–12 and Problems 4⋆–5⋆. The one calculation to do alone is Problem 4⋆, the translation of the four-dimensional ℤ₂ gauge theory, with its eight ground states on the spatial three-torus.
- Instructor checkpoint: two errors recur. The first is to call the ‘t Hooft loop the generator of the magnetic symmetry: for a gauge field in the generator is the surface operator on a closed surface, and the ‘t Hooft line is the charged object it detects by linking (F3 adds the Villain subtlety). The second is to read a perimeter law as spontaneous breaking after charged matter has broken the symmetry explicitly: the criterion presupposes an exact symmetry, and with fundamental matter neither the Wilson loop nor the Polyakov loop decides anything (Week 13, Week 14).
0. Reading
Primary: Gaiotto, Kapustin, Seiberg, Willett, “Generalized global symmetries”, JHEP 02 (2015) 172 [arXiv:1412.5148], §§1–4 for the definitions of §2 and the Maxwell and examples, and §5 for the higher-form Coleman–Mermin–Wagner theorem.
Secondary: Savit, Rev. Mod. Phys. 52 (1980) 453, for the duality tables of Wegner’s models, which Table 1 re-derives in cochain language; Kogut, Rev. Mod. Phys. 51 (1979) 659, §V, for the loop criteria in the language of their time; McGreevy, arXiv:2204.03045, the Semester II companion, for higher-form symmetries in lattice and condensed-matter language.
Optional research reading: Kapustin & Seiberg, arXiv:1401.0740, §§1–3, on coupling to backgrounds and summing over them; Gaiotto, Kapustin, Komargodski, Seiberg, arXiv:1703.00501, §§1–3, where the θ-dependence of Week 12 becomes a mixed anomaly (Semester II Block 2).
Proof-status labels as in Week 1. Every sign and normalization is from conventions, every degree from its §6. The Semester II Block 1 skeleton is the immediate sequel.
1. Motivation: what the semester was about
In Landau’s classification a phase is labelled by a group acting on local fields and by an order parameter, a local operator whose expectation value vanishes in the symmetric phase. Semester I tested that picture on lattice models and saw it fail in a definite sequence. In the two-dimensional XY model the continuous symmetry cannot break (Week 1 §3.5), and the BKT transition of Week 4 is the unbinding of vortices, diagnosed by the jump of the stiffness. In Wegner’s gauge theory (Week 5) Elitzur’s theorem forbids every local order parameter, and the phases differ in the asymptotics of Wilson loops. Compact QED₃ (Week 9, Week 10) has no transition at all and confines at every coupling, because monopoles gap the photon. Four-dimensional compact QED (Week 11) has a Coulomb phase and a confining phase, separated by the proliferation of monopole loops. With fundamental matter the Higgs and confining regimes form a single phase (Week 13), while with charge- matter in a theory a residual separates phases (Week 14). In each case the diagnostic that worked was an operator on a closed loop or surface, and its behavior was controlled by another operator that could be deformed without changing any correlation function. The thesis of the week is the sentence that organizes these results,
and our task is to make it precise enough that every Semester I result becomes a statement about one such operator. Landau’s order parameters are the case in which the charged operator is a point. What his picture could not describe in Semester I involved charged operators of higher dimension, symmetries broken explicitly by dynamical defects, or no exact symmetry at all.
2. The GKSW definitions, stated precisely [Stated — refs: GKSW §§1–5; conventions §6. Model case in §3.]
We state the definitions in the form Semester II uses, with the Euclidean spacetime dimension and the spatial dimension of a Hamiltonian slice (conventions, course-local override), and we translate each clause into the lattice language of Semester I.
Topological operator. An operator on a closed submanifold is topological when its correlation functions do not change under deformations of that avoid the other insertions: whenever bounds a region that meets no . On the lattice is a cycle of Λ or , and topological invariance was proved the same way every time: the deformation is undone by a change of summation variables supported in (Week 4 §4.1 for the Ising seam, Week 5 §8.1 for the flipped sheet, Week 11 §5.1 for the twisted sheet, Week 14 §3.1 with matter).
-form symmetry (higher-form-symmetries). A -form symmetry with group is a family of topological operators on closed -dimensional submanifolds, with . Its charged objects live on closed -dimensional , and the charge is measured by linking,
where is the character that defines the charge of , is the linking number of the two cycles in dimensions, and bounds a region that contains no other insertion. For the operators have codimension one and act on local operators, the ordinary notion of symmetry. For the group is abelian, because operators of codimension two or more can be moved around one another. In a Hamiltonian slice the operator at fixed time lives on a closed -dimensional submanifold of space, commutes with , and depends only on its homology class once Gauss’s law holds. For a gauge field in dimensions the electric symmetry is 1-form and the magnetic one -form: 0-form with local monopole operators in , 1-form with ‘t Hooft lines in .
Explicit breaking and emergence. An element is explicitly broken when no topological exists at any coupling. For the 1-form symmetries of Semester I the mechanism was a dynamical object on which the charged lines can end: matter for Wilson lines (Week 14 §3.1), monopoles for ‘t Hooft lines (Week 11 §5.2). For the 0-form winding symmetry in and the magnetic in the charged local operators themselves enter the action through the fugacity, as and (Week 3 §6; Week 9 §3; conventions §6). A symmetry is emergent when it is explicitly broken but the breaking is irrelevant at long distances in one phase; it organizes that phase and carries no exact consequence.
Spontaneous breaking for . For an exact -form symmetry, spontaneous breaking means that its charged operators obey a perimeter law, for large with a local counterterm on (F2), and the symmetry is unbroken when they decay faster, by an area law for (conventions §6). On a spatial manifold with noncontractible cycles the broken phase has degenerate ground states, because the symmetry operators on noncontractible cycles and the charged operators on the cycles that cross them realize a clock–shift algebra on the ground space (Week 2 §8; §3.4 and F1 below). The higher-form Coleman–Mermin–Wagner theorem forbids the spontaneous breaking of a continuous -form symmetry for ; discrete symmetries break in lower dimensions (conventions §6).
Twists and backgrounds. A symmetry operator on a noncontractible cycle is a twisted boundary condition: the XY twist α across a seam multiplies each current sector by (Week 3 F3), and in ‘t Hooft’s analysis on the three-torus the temporal twists are the operators of inserted in the trace, while the spatial twists label magnetic flux sectors that no operator creates (Week 14 §6.2). Coupling to backgrounds, summing over them (gauging), and the rule that gauging in dimensions produces a dual (conventions §6) are defined in Semester II Week 4; Semester I uses them only as forward references.
These clauses make the final well posed: each question it asks about a symmetry is a question about one of them.
3. The translation exercise: Wegner’s ℤ₂ gauge theory
This section is the template for the translation problems of §13 (Problems 1, 2 and 4⋆), and the symmetry parts of the final use the steps it names. A translation answers six questions in order: (i) the exact topological operators, with their group and degree; (ii) the charged objects and the linking action; (iii) the realization in each phase; (iv) the sectors and ground states on a spatial torus; (v) the open versions of the symmetry operators and what sits at their boundaries; (vi) what is exact and what is emergent, and where Semester II attaches anomaly and defect language. Consider the model of Week 5, with , in unless stated otherwise, together with its Hamiltonian and Gauss’s law (conventions §4).
3.1 The topological operator [Proved.]
Let be a closed dual -chain, the set of plaquettes dual to its cells, and the operation that reverses the coupling, , on . Let equal on the links dual to the cells of and elsewhere. A plaquette has exactly when an odd number of its links is dual to cells of , which happens exactly when (Week 5 §§7.3, 8.1). The substitution gives , so the reversed weight on and the ordinary weight elsewhere both become , while a Wilson loop becomes , where , the number of links of dual to cells of , is the linking number mod 2. Therefore, at every β,
where the last relation holds because reversing twice restores the weight. Two sheets that differ by the boundary of a region avoiding give the same correlators, so is topological, with group , on closed supports of dimension : a 1-form symmetry. Its support is a dual loop in (Figure 1a) and a dual surface in . In the closed sheet is also the worldline of a static vison, since reversing β on makes the frustrated value of the preferred one; (3.1) says that this worldline is invisible except through its Aharonov–Bohm phase on the Wilson loops it links. In the Hamiltonian slice, over the links crossed by a closed dual curve of space is the parity of the electric flux through ; it commutes with , and Gauss’s law deforms it, since moving across a site multiplies it by .
3.2 The charged objects
The charged objects are the Wilson loops , one-dimensional as the degree requires, with the charge of (3.1). Every gauge-invariant local operator is a function of plaquette variables (Week 5 §3), and a closed sheet can always be deformed away from its support, after which (3.1) shows that the operator is neutral. The model has no other exact internal symmetry (conventions §6, “Lattice versus TQFT”). That is the precise content of “no local order parameter”: the only charged operators are lines.
3.3 The realization in each phase [Stated — refs: Week 5 §§4–8, where each result is Controlled or Computed.]
The criterion of §2 reads the realization from the asymptotics of . At strong coupling the surface expansion gives an area law with , (Week 5 §§4.1–4.2); at weak coupling the dilute gas of small vison loops gives a perimeter law with (Week 5 §5); and in the duality locates the transition at , with the confined phase mapped to the ordered Ising phase (Week 5 §7.1). Therefore is unbroken in the confined phase and spontaneously broken in the deconfined phase . In it is unbroken at every β, where the area law is exact (Week 5 §6), and in it breaks at the self-dual point , where the transition is first order [Stated — refs, Week 5 §8.3]. The dual Ising is realized the other way round: broken in the confined phase, where the visons condense, , and unbroken in the deconfined phase, where the vison is a gapped particle of mass (Week 5 §7.3). The duality exchanges a broken and an unbroken symmetry, which is the lattice face of the gauging rule of §2 at , : summing the Ising model over its twisted sectors (Week 5 F6) gauges its and produces the of (3.1) [forward reference: Semester II Week 4].
3.4 The torus: sectors and ground states [Computed at the soluble points; the splitting Sketched.]
Take the Hamiltonian on an spatial torus with cycles and , Wilson loops , and symmetry operators over the links crossed by a closed dual curve that crosses once and , , not at all (Figure 1c). Since and anticommute on the one common link and commute elsewhere,
where the second relation holds because every plaquette contains zero or two of the links crossed by . The four sectors labelled by the eigenvalues of and never mix (Week 7 §7.4).
The deconfined soluble point, . The ground states have on every plaquette, so their configurations are flat, . The Gauss-law projector sums each configuration over its gauge orbit, so the physical ground states correspond one to one to the orbits of flat configurations, and two flat configurations lie on one orbit exactly when they have the same holonomies . Therefore
where is Week 2 §4.3; this is (7.1) of Week 14 at , . The count is forced by (3.2): and are two commuting clock–shift pairs, whose irreducible representation has dimension (Week 2 §8). In the holonomy basis the are diagonal and play the role of the order parameter, and the permute the four states as the global flip permutes the two ferromagnetic states of an Ising chain.
The confined soluble point, . has the unique ground state with every , which obeys Gauss’s law and has . The operator creates a loop of electric flux along at energy , so the other sectors cost an energy proportional to , and the degeneracy is 1.
Away from the soluble points. The four sectors stay exact by (3.2), and their energies can differ only through terms of the effective Hamiltonian on the ground space that distinguish the eigenvalues of , the lowest of which is itself, a product of operators . The splitting therefore appears first at order and is exponentially small in (Week 14 §7.2; we omit the prefactor, as there). In the Euclidean path integral the same four states are the ratio of Week 5 F6.
3.5 Open sheets and their boundaries [Stated — refs: Week 5 §§7.3, 8.2.]
If has a boundary, the reversal cannot be undone: at each cube dual to a cell of the effective field strength violates the Bianchi identity (Week 5 §8.2). The open symmetry operator is invisible along its interior, by the substitution of §3.1, and physical at its boundary, which is the worldvolume of a magnetic source of dimension . In the boundary is a pair of points and the operator is the vison pair, (Week 5 §7.3; Figure 1b): the dual Ising spin is the endpoint of an open symmetry operator, as the Kadanoff–Ceva μ is the endpoint of an open Ising seam (Week 4 §4.1). In the boundary is a dual loop and the operator is the ‘t Hooft loop, with a perimeter law in the confined phase and an area law in the deconfined one; the self-duality exchanges it with (Week 5 §§8.2–8.3). The vison is local only together with its invisible string, and on a torus only pairs are defined (Week 5 F7).
Figure 1. The translation exercise in pictures. (a) A closed dual loop γ̃ linking a Wilson loop (γ̃ passes under C at the upper crossing and over it at the right one): U(γ̃) generates the electric ℤ₂⁽¹⁾ and detects W(C) by linking, (3.1). (b) An open sheet: only its endpoints, the visons, are physical. (c) The spatial torus: γ̃ᵢ crosses Cᵢ once, which gives the algebra (3.2) and the four ground states (3.3).
3.6 What is exact, what is emergent, and where Semester II attaches [Stated — forward references.]
The electric of (3.1) is exact at every β. In the deconfined phase the visons are gapped, so large vison worldlines are rare and the Wilson loops become topological at long distances: they generate an emergent magnetic acting on vison worldlines, the magnetic entry of the BF row of conventions §6 with . At it is exact on the ground space, where (3.2) says that the generators of each symmetry are charged under the other. Semester II reads this in three ways. (i) Anomaly: the algebra (3.2) is the finite-volume face of the mixed ‘t Hooft anomaly of the electric and magnetic 1-form symmetries, which forces the degeneracy (3.3) wherever both are present (Block 1, Week 2, and Block 2). (ii) Defects: the open sheet of §3.5 is a symmetry defect with a boundary, and the vison is a non-genuine local operator at its end; the sector sum of Week 5 F6 is the gauging of the Ising (Semester II Week 4). (iii) Condensation: summing the operators over the 1-cycles of a surface in the deconfined phase condenses visons on that surface, which Semester II Week 13 calls the higher gauging of and a condensation defect (condensation-defects), and which the group’s research line reads as a Julia–Toulouse condensation restricted to a submanifold. The deconfined phase itself is the topological-order of the toric-code, whose soluble point is the Hamiltonian with Gauss’s law imposed energetically (Week 7 §8). These six answers are the template: a translation (Problems 1, 2 and 4⋆ of §13) is complete when it answers (i)–(vi) with a derivation or a precise citation for each.
4. Duality is Poisson resummation
Every duality of the semester was the recipe of Week 2 §7.2: write the compact theory with an explicit integer (or ) cochain, resum it with the identities of conventions §3, integrate the original field to obtain a conservation constraint, and solve the constraint on the dual lattice by a dual potential plus winding sectors; the defects reappear only at a second resummation. Table 1 lists every instance. The column of exchanged symmetries is the new content: in each row the duality exchanges the symmetry whose charged objects are the original excitations with the one whose charged objects are the defects, and the defects, being dynamical, break the second one explicitly.
| Duality | Resummed variable; constraint | Dual variables | Defect at the second step | Coupling map | Symmetries exchanged | Derived in |
|---|---|---|---|---|---|---|
| rotor on a ring | winding on the time circle | momentum | — | momentum ↔ winding | Wk 1 §6.1 | |
| 2d Villain XY | ; | heights, 2 tilts; χ | vortices , points | shift ↔ winding | Wk 3 §§2–6 | |
| 2d Ising (KW) | loops ↔ walls | dual spins | disorder μ | ↔ dual | Wk 4 §§3–4 | |
| 3d gauge ↔ 3d Ising | closed surfaces ↔ walls | spins on cubes | vison | ↔ Ising | Wk 5 §7 | |
| 4d gauge, self-dual | closed surfaces ↔ frustrated dual surfaces | field on | ‘t Hooft loop ↔ | electric ↔ dual electric | Wk 5 §8.3 | |
| 3d Villain | ; | heights, 3 windings; σ | monopoles , points | ; | electric ↔ magnetic | Wk 8 §4; Wk 9 §§2–3 |
| 4d Villain (BMK) | ; | gauge field, windings; | monopole loops | , | electric ↔ magnetic | Wk 8 §§5–6 |
| 3d gauge–Higgs | surfaces with matter boundaries | the same model | — | none exact: matter breaks | Wk 13 §4.2 | |
| Hamiltonians | bond-algebra maps | TFIM; toric code in fields | — | ; | as in the Euclidean rows | Wk 5 §7.4; Wk 7 §7.3; Wk 13 §9 |
Table 1. Every duality of Semester I as one move. The rows use the Fourier transform, identity (2.2) of Week 5, in place of Poisson resummation.
Three remarks follow from the table. In every row the coupling map is , with the of Dirac quantization (Week 8 F3). The torus sectors of the second column (tilts, windings, flux sectors) are the part of every duality that bulk formulas elide, and Problem 1 of the take-home final (generalized-symmetries/assessments/final.md; §14) shows that symmetry operators on noncontractible cycles weight them. And the defects of the fourth column are what the modified Villain construction of Semester II Week 12 removes, which makes the second symmetry of each row exact (conventions §4).
5. Criteria and their failures
The Landau paradigm failed at the places listed in §1, and at each a criterion built on an extended operator took its place. Table 2 lists the criteria, what each measures in the language of §2, and where each fails. The failures carry as much information as the successes: most happen where the symmetry that the criterion measures is explicitly broken or absent, and the others where an exact continuous symmetry cannot break at all, as in the two-dimensional XY model (Mermin–Wagner) and in three-dimensional Maxwell theory (its higher-form version).
| Criterion | What it measures | Works for | Fails when, and why | Derived in |
|---|---|---|---|---|
| local order parameter | breaking of a 0-form symmetry | 2d Ising below | continuous symmetry in (Mermin–Wagner); every gauge theory (Elitzur); a gauge-fixed is a Wilson line in disguise; the unitary-gauge “Higgs condensate” is at least in every phase | Wk 1 §3.5; Wk 4 §3; Wk 5 §3, F2; Wk 13 §2.4 |
| stiffness jump | the winding symmetry becoming emergent as vortices bind | 2d XY | universal only for the renormalized stiffness; bare couplings are model-dependent | Wk 4 §2; Wk 3 F2 |
| Wilson loop, area or perimeter | electric 1-form symmetry unbroken or broken | pure ; compact QED₃ and QED₄; with | charged matter: perimeter law in every phase, by string breaking; perimeter coefficient non-universal (F2); 3d Maxwell without monopoles: logarithmic potential, the marginal case | Wk 5 §§4–5, 8.1; Wk 10 §5; Wk 11 §5.4; Wk 13 §§2.4, 5; Wk 14 §3.5 |
| ’t Hooft loop | the magnetic of 4d compact QED; in 4d , the dual electric via self-duality | static monopole in the Coulomb phase; 4d , where it is the dual model’s Wilson loop | Villain compact QED with dynamical monopoles: equals 1 identically (F3) | Wk 5 §§8.2–8.3; Wk 11 §5.2 |
| Polyakov loop | the center part of at finite | center-neutral matter; with charge , for , which vanishes in finite volume and is nonzero in infinite volume only if the residual breaks | fundamental matter: at every coupling | Wk 14 §§4.1–4.3 |
| disorder correlator | the dual | Ising disordered phase; 3d confined phase | μ is non-genuine: defined with its string, and only in pairs on a torus | Wk 4 §4.2; Wk 5 §7.3, F7 |
| ground-state degeneracy on | a broken 1-form symmetry with its clock–shift algebra; topological order | : 4; with charge : in the Higgs corner, about states in exact sectors in the -deconfined region | exact only at soluble points; elsewhere split at order for pure and for the sectors (F1) | §3.4; Wk 14 §7 |
| free-energy singularity | any transition | Wegner’s model; the gauge–Higgs lines | Fradkin–Shenker: an analytic path joins Higgs and confinement | Wk 5 §7.1; Wk 13 §§6–7 |
| Fredenhagen–Marcu ratio | screening of charged states, no symmetry | the free-charge phase against the rest | stated with its reference; it is tied to no symmetry | Wk 13 F5 |
Table 2. The criteria of Semester I and where each fails.
6. The realization of every Semester I symmetry
Table 3 answers question (iii) of §3 for every symmetry of the semester, with the status that question (vi) asks for. Every degree was checked against the master table of conventions §6, and the entries for four-dimensional compact QED follow Table 1 of Week 11.
| Theory; symmetry (degree) | Status | First phase | Second phase | Derived in |
|---|---|---|---|---|
| 2d XY; shift | exact | low : unbroken, power laws with ( at the Gaussian level) | high : unbroken, exponential decay | Wk 1 §§3.4–3.5; Wk 4 §2 |
| 2d XY; winding , | explicitly broken by vortices | low , : breaking irrelevant, emergent | high : relevant, vortex plasma | Wk 3 §6.1; Wk 4 §2 |
| 2d Ising; | exact | : broken | : unbroken | Wk 4 §3 |
| 3d gauge; electric | exact | : broken, perimeter law, GSD 4 on | : unbroken, area law | §3; Wk 5 §§4–8 |
| 3d gauge; magnetic | emergent only | deconfined: emergent, visons gapped | confined: visons condensed | §3.6; Wk 5 §7.3 |
| 4d gauge; electric | exact | : broken; ‘t Hooft loop area law | : unbroken; ‘t Hooft loop perimeter law | Wk 5 §§8.2–8.3 |
| compact QED₃; electric | exact | every β: unbroken, area law; no transition | — | Wk 10 §5; Wk 9 §6.2 |
| compact QED₃; magnetic | explicitly broken by monopoles | every β: photon gapped (Göpfert–Mack); at weak coupling | — (the monopole-free theory, a different theory, breaks it spontaneously, with the photon as Goldstone boson) | Wk 9 §§5–6; Wk 10 §§3, 7 |
| compact QED₄; electric | exact | Coulomb, large β: broken | confining, small β: unbroken | Wk 11 §§4, 5.4 |
| compact QED₄; magnetic | explicitly broken; lattice | Coulomb: emergent and broken | confining: explicitly broken | Wk 11 §§5.2, 5.4 |
| compact QED₄ at θ | as above; monopoles carry charge | condensed dyon : probes with confined | probes with screened | Wk 12 §§4, 7.2–7.4 (Heuristic; dyons of every label dynamical, as in Cardy–Rabinovici) |
| gauge–Higgs; electric | explicitly broken by charge-1 matter | Higgs and confined: one phase, no exact symmetry | free-charge region: emergent, topological order | Wk 13 §§2.4, 6; Wk 14 §3.5 |
| with charge ; residual , | exact | confined: unbroken, area law for | Higgs: broken, GSD ; -deconfined: broken, emergent, about states in exact sectors | Wk 14 §§3, 7, Fig. 2(b), F5 |
| thermal lattice; center, the part of in a time slice | exact for center-neutral matter; with charge | low : unbroken, | high : broken, | Wk 14 §§4–5 |
| with charge-2 matter; residual | exact | superconducting: broken, GSD 4 on | — | Wk 14 §8 |
Table 3. The realization of every symmetry of Semester I. “Broken” means spontaneously broken; “explicitly broken” means that no topological operator exists.
Table 4 relists the extended operators of the semester by their role, which is the dictionary of Gaiotto, Kapustin, Seiberg and Willett in the form Semester II opens with.
| Operator | First derived | Role in Semester II language |
|---|---|---|
| Ising seam on a closed dual curve | Wk 4 §4.1 | generator of in |
| Kadanoff–Ceva μ | Wk 4 §4.1 | endpoint of an open seam; a non-genuine local operator |
| Kramers–Wannier operator | Wk 4 §4.4 | non-invertible topological line at (Semester II Week 13) |
| vortex operator , | Wk 3 §6.1 | charged local operator of the winding |
| Wilson loop | Wk 5 §2.2; Wk 6 §1.2 | charged line of the electric 1-form symmetry |
| closed flipped or twisted sheet | Wk 5 §8.1; Wk 11 §5.1; Wk 14 §3.1 | generator of the electric 1-form symmetry |
| vison μ, | Wk 5 §7.3 | endpoint of an open sheet; the dual Ising spin |
| monopole operator , | Wk 8 §4.5; Wk 9 §5.1 | charged local operator of the magnetic |
| magnetic flux on a closed surface | Wk 9 §5.1; Wk 11 §5.2 | generator of the magnetic -form symmetry, explicitly broken by monopoles |
| ’t Hooft loop , | Wk 5 §8.2 for ; Wk 11 §5 for | for , charged line of the magnetic , screened in Villain compact QED; for , boundary of an open electric sheet, charged under the dual electric of the self-dual description, which has no generator in the original variables |
| Polyakov loop | Wk 14 §4.1 | charged under the center part of ; an order parameter only where that part is exact |
| twists and flux sectors | Wk 3 F3; Wk 8 F4; Wk 14 §6 | temporal twists: symmetry operators on noncontractible cycles; spatial twists: flux sectors that no operator creates |
Table 4. The extended operators of Semester I, reorganized. Each is a symmetry operator, a charged object, or the boundary of an open symmetry operator.
7. The course map
Figure 2 places the four recurring threads of the syllabus (its §8) and the question of Semester I against the weeks. Read by rows, it shows that each thread was built before it was used: Poisson resummation is derived in Weeks 1–2 and fired in Weeks 3–8; the symmetry operators of Weeks 4–5 return in Weeks 9–11 and 14; and the condensation thread runs without interruption from Week 9 to Week 13. Read by columns, it tells a student where to look when a problem names a week; for the take-home final, the diagnostic map in its package (§14) does the same problem by problem.
Figure 2. The course map: the four threads of the syllabus and the question of Semester I (row 5) against the fourteen weeks, with the Semester II blocks in which each continues.
8. Subtleties and fine print
F1 — Finite versus infinite volume. In finite volume no symmetry of any degree is spontaneously broken. On the torus the ground states of §3.4 are exact eigenstates of and , and the four sectors are split at order ; broken symmetry is the statement that the splitting vanishes as and that the states of definite holonomy, in which , are the ones that cluster. The limits are taken in the order of Week 5 F1, the volume first and the loops afterwards. For a 0-form symmetry the splitting of the ordered doublet requires an operator on all of space, sites, and for a 1-form symmetry an operator on a closed curve, links (Week 14 §7.2); in both cases it is exponentially small in a power of , and for the 1-form symmetry the number of sectors depends on the topology of space, (Week 14 §7.1). In the Euclidean path integral on a torus, (3.1) holds for sheets that bound. On a noncontractible cycle differs from 1, since the operator is then a twisted boundary condition that weights the flux sectors (Week 3 F3; Problem 1(d) of the take-home final in generalized-symmetries/assessments/final.md), as the reversed seam of the Ising model gives (Problem 1); Problem 5⋆ computes it for Wegner’s model.
F2 — The perimeter-law normalization. The coefficient μ of a perimeter law is a self-energy of the probe: it depends on the lattice action and on the corners of , nothing universal attaches to its value (Week 5 F3), and in the continuum it diverges as . The SSB criterion therefore refers to with a counterterm local on , which removes perimeter and corner terms and can never remove an area term, since a counterterm local on grows at most like . The invariant tools are the Creutz ratio, which cancels perimeter, corner and constant terms exactly (Week 5 F3; Week 6 §6), and, with matter, the Fredenhagen–Marcu ratio, whose square root cancels the self-energy of an open line (Week 13 F5). “Perimeter law” in Tables 2 and 3 means “no area term”.
F3 — The Villain ‘t Hooft loop. In the Villain theory with dynamical monopoles the integer twisted sheet bounded by is a relabeling of the summed integers, so the integer ‘t Hooft loop equals 1 identically and the magnetic symmetry is explicitly broken in every phase (Week 11 §5.2). The entries of Tables 2–4 that give ‘t Hooft loops of theories a perimeter or an area law refer to a static monopole probe with its Coulomb field, to the emergent magnetic symmetry of the Coulomb phase, or to the monopole-free theory, in which is imposed and the loop becomes the Wilson loop of the dual photon (Semester II Week 12). In gauge theory the Bianchi identity holds identically, and the ‘t Hooft loop of Week 5 §8.2 is a well-defined line operator in , mutually non-local with the Wilson loop (Week 5 §8.3). It is charged under the electric of the self-dual description, which has no generator in the original variables, since the product of over a closed surface is identically 1 (Week 5 F6); the magnetic symmetry of the BF row is a 2-form symmetry with surface charged objects (Problem 3).
F4 — Explicit versus spontaneous breaking. The SSB criterion presupposes an exact symmetry. With charged dynamical matter the would-be symmetry operator acquires local factors on the region it bounds and a perimeter law in its own size (Week 14 §3.1; Week 13 Problem 4⋆), Wilson loops obey a perimeter law in every phase (Week 13 §2.4), and nothing follows about the realization of any symmetry. With charge- matter in the exact part is (Week 14 §3), and the criterion applies to it alone. The Polyakov loop is likewise an order parameter only for the part of the center that the matter leaves exact: all of for center-neutral matter, nothing for fundamental matter, where at every coupling (Week 14 §4.3). Emergent symmetries (the magnetic ones of the Coulomb and deconfined phases, the winding symmetry of the BKT phase) organize long-distance physics and carry no exact theorem.
F5 — Local observables still see the transitions. A phase transition without a local order parameter is still visible to local observables: the plaquette energy of Wegner’s model is singular at , with the specific-heat singularity of the 3d Ising model (Week 5 §11), and every transition of Tables 2 and 3 is a free-energy singularity. What is absent is a local operator that vanishes by symmetry in one phase and not in the other.
F6 — Which dimension. Every degree in this note uses for the spacetime dimension. A -form symmetry has operators of dimension in spacetime and in a spatial slice, and charged objects of dimension . The magnetic symmetry of a gauge field is -form, a 0-form symmetry with local monopole operators in and a 1-form symmetry with ‘t Hooft lines in . Evaluating a rule written for the spatial dimension at the spacetime dimension is the origin of erratum E1 (conventions, course-local override), and every symmetry statement of the final is checked against the master table.
9. Common misconceptions
- “Generalized symmetry is a reformulation with no new content.” It is tempting because every result of Semester I was derived without the language, and the tables of this week relabel those results. The language has consequences that no single calculation of the semester stated. The degeneracy (3.3) follows from the algebra (3.2) of symmetry operators and charged lines alone, so it holds wherever that algebra holds on the ground space, including points with no soluble limit. Two phases in which an exact symmetry is realized differently must be separated by a transition, which is why the , diagram of Week 14 (its Figure 2) needs a transition line while the charge-1 diagram does not (Week 14 §3.5). The higher-form Coleman–Mermin–Wagner theorem constrains every three-dimensional model at once: no continuous 1-form symmetry breaks there (conventions §6). And with fundamental matter the absence of any exact symmetry is the invariant content of Fradkin–Shenker complementarity. Semester II adds ‘t Hooft anomalies, which constrain phases through the algebra of the operators without any dynamical calculation.
- “The ‘t Hooft loop generates the magnetic 1-form symmetry.” It is tempting because both carry the adjective magnetic and the ‘t Hooft loop is built from a twisted sheet. The generator of the magnetic of four-dimensional Maxwell theory is the surface operator on a closed 2-surface, and the ‘t Hooft line is its charged object, detected by linking. The twisted sheet on a closed surface generates the electric symmetry, and the ‘t Hooft loop is the boundary of an open one (Week 11 §§5.1–5.2; §3.5 for ). Its first appearances are Week 5 §8.2 for and Week 11 §5 for .
- “The Polyakov loop is the order parameter of confinement whatever the matter.” It is tempting because in pure gauge theory the center symmetry forces in the confined phase exactly. With fundamental matter the center symmetry is explicitly broken and at every coupling, so the Polyakov loop separates nothing; it is an order parameter for center-neutral matter, and with charge- matter only the loops with remain order parameters: vanishes identically in finite spatial volume and is nonzero in infinite volume only if the residual breaks spontaneously, which it can at high temperature (Week 14 §§4.1, 4.3).
10. Historical note
Gaiotto, Kapustin, Seiberg and Willett (2014) wrote in continuum language, with differential forms and background gauge fields. They defined a -form symmetry by topological operators of codimension , showed that the group is abelian for , coupled the symmetries to -form backgrounds, and discussed gauging, ‘t Hooft anomalies and spontaneous breaking, including the higher-form Coleman–Mermin–Wagner theorem; their examples include Maxwell theory and gauge theory, the continuum versions of our Weeks 5, 8–11 and 14. The ingredients were older, and Semester I read them in their original form: Wegner’s loop correlations and duality (1971), Wilson’s area-law criterion (1974), Polyakov’s monopole plasma (1975–77), the duality of Banks, Myerson and Kogut (1977), and ‘t Hooft’s classification of phases by electric and magnetic flux (1978), whose temporal twists are symmetry operators of the center 1-form symmetry. What the 2014 paper supplied was one definition that covers all of them and puts the loop criteria on the footing of Landau’s.
11. What to take away
- A -form symmetry is a family of topological operators on closed -dimensional submanifolds that act by linking on -dimensional charged objects [Stated; model case Proved]. On the lattice topological invariance is always a change of variables; physically, a symmetry operator can be moved without being noticed, except by what it links.
- Wegner’s theory, translated: an exact electric with Wilson lines as charged objects, spontaneously broken in the deconfined phase with four ground states on forced by the clock–shift algebra (3.2), unbroken in the confined phase; the vison is the endpoint of an open symmetry operator [Proved and Computed].
- Every duality of the semester is Poisson (or Fourier) resummation followed by a constraint solved on the dual lattice, with in each row. It exchanges a symmetry with a dual one whose charged objects are the defects, which break it explicitly.
- Each criterion measures the realization of one symmetry. It fails where that symmetry is explicitly broken (Wilson and Polyakov loops with fundamental matter, ‘t Hooft loops with dynamical monopoles, local order parameters in gauge theories) and where a continuous symmetry cannot break at all (the two-dimensional XY model, three-dimensional Maxwell theory).
- Semester I’s phases are classified by Table 3. Where no exact symmetry survives, as with fundamental matter, no symmetry distinction between phases exists, and the deconfined phases are told apart by topological order, whose Semester I fingerprint is the degeneracy on the torus.
12. Looking ahead: Semester II
Semester II opens (Block 1) with the definitions of §2: Week 1 defines symmetries as topological operators, Week 2 builds gauge theory as BF theory and constructs the operators whose algebra (3.2) we used, Week 3 makes the SSB criterion precise, and Week 4 defines gauging, which turns the forward references of §§2 and 3.6 into theorems. Block 2 treats ‘t Hooft anomalies, including the mixed anomaly at θ = π that grows out of Week 12; Block 3 solves the toric code, the deconfined phase of §3; Block 4 makes the dualities of Table 1 exact with the modified Villain construction (Week 12) and turns the Kramers–Wannier operator of Week 4 §4.4 into a non-invertible defect (Week 13). Block 5 returns to the residual symmetry of Week 14 through higher-gauging walls, the setting of the group’s manuscript in preparation, and the master-project.
13. Problem set
Problems 1–3 are the classroom core and are solvable from this note and the weeks it cites; Problems 4⋆ and 5⋆ are self-study consolidation, each with a hint; Problem 6⋆⋆ is a research extension that states what is known, what is explored, its sources and what counts as completion. No problem shares a part with the take-home final of §14; the parts of the final that may cite this note, checkpoints included, are listed in the rules of its paper.
Core problems (everyone).
1. Translate the two-dimensional Ising model. (Extends §3 to .) For on the square lattice: (a) let reverse on the bonds crossed by a closed dual curve that encloses the set of sites , and show that and ; check the degree against §2. (b) Give the realization in the two phases, and the ground states of the transverse-field chain of Week 4 §4.4 on a ring of sites at and , with the order in at which the two ordered states split. (c) Identify the open seam and its endpoints, and say which operator condenses in each phase. (d) Answer question (vi) of §3 for this model.
2. Translate compact QED₄ at θ ≠ 0. (Extends §3 to a θ-term; Weeks 11–12.) In the Hamiltonian slice of four-dimensional compact QED with a θ-term: (a) show that , with on a closed spatial surface Σ, is the electric symmetry operator: it measures the integer of the lines that Σ encloses, is unchanged when a dynamical monopole crosses Σ, and is -periodic in α, while the flux of alone measures (Week 12 §§4.1–4.2); give the magnetic symmetry operator and its status from Table 3. (b) List the charged lines, Wilson lines , ‘t Hooft probes and dyonic lines , with their charges under both symmetries, and show how the labels move under (Week 12 §5). (c) At strong coupling Week 12 §7.3 lets the magnetic dyon condense for and for , in the setting of Cardy and Rabinovici where dyons of every label are dynamical (in pure compact QED₄ the only dynamical magnetic objects are the monopoles ); apply the rule of Week 12 §7.2 to the probes , and on each side, and say what changes at θ = π and what does not. (d) Answer question (vi) of §3 for this theory.
3. A form-degree drill. (Extends §2.) For the compact scalar and the gauge field in and , and for BF theory with a 1-form gauge field in and , list each symmetry with its degree, the dimension of its charged objects, the dimension of its operators in spacetime and in a spatial slice, and, for the continuous ones, whether the higher-form Coleman–Mermin–Wagner theorem allows spontaneous breaking. Mark the entries that Semester I realized and give the week.
Starred problems (Ph.D. expected; ambitious M.Sc. encouraged).
4⋆. Translate the four-dimensional ℤ₂ gauge theory. Carry out the six steps of §3 for Wegner’s model in : the ground-state degeneracy on the spatial at both soluble points, with the three clock–shift pairs that force it; the realization of on either side of ; and the role of the ‘t Hooft loop under the self-duality of Week 5 §8.3. (Hint: (7.1) of Week 14 with , and ; in three spatial dimensions the electric symmetry operators live on closed dual surfaces.)
5⋆. The noncontractible symmetry operator as a diagnostic. (Extends §3.4 and F1.) On the Euclidean torus of the 3d gauge theory, let be a dual loop that winds a spatial cycle at fixed Euclidean time. (a) Show that , with the transfer matrix of Week 7 and the operator of §3.1, and use §3.4 to find its limit as in each phase, at fixed and when first (which sector is lowest at fixed follows from the sign of the order- splitting, or from (b)). (b) At weak coupling, show that the reversed plaquettes cannot all be satisfied, that the cheapest configurations carry a frustrated dual loop homologous to , and that a dilute gas of such wrapped vison worldlines gives at leading order; interpret the two limits of (a). (c) At strong coupling, show that is controlled by the smallest closed surfaces that pierces an odd number of times, and compare the two phases with of Problem 1. (Hint: in the untwisted partition function the wrapped vison loops of this class come in even numbers, in the twisted one in odd numbers.)
⋆⋆ problems (research extension; optional).
6⋆⋆. The toric code in two fields, translated. What is known. The toric code in electric and magnetic fields is the Hamiltonian form of the gauge–Higgs model (Week 13 §9); its phase diagram, with a deconfined region bounded by two continuous lines that meet at a multicritical point and a first-order segment on the self-dual line, was mapped by Tupitsyn, Kitaev, Prokof’ev and Stamp, Phys. Rev. B 82 (2010) 085114 [arXiv:0804.3175] (Week 13 §7). What is explored. The realization of the exact and emergent symmetries in each region. Sources: Week 13 §§7, 9 and F5; Week 14 Figure 2(a) and F5; the paper of Tupitsyn et al. Completion: a table giving, for each region and each line, the status (exact, explicitly broken, emergent) and the realization of the electric and magnetic , each entry justified by a limit computed in Weeks 5, 13 or 14; the action of the – duality on the table; and one paragraph, labelled heuristic, on what distinguishes the free-charge phase from the Higgs–confined phase in the absence of any exact symmetry.
Self-study answer checkpoints
These checkpoints cover the core problems; starred and ⋆⋆ problems remain source-led.
- The Ising translation. The decisive step is the change of variables for , which restores every reversed bond, since exactly the bonds crossed by have one end in ; it leaves the measure invariant and multiplies by . The operator is topological, with group , on a closed support of dimension : a 0-form symmetry with the local charged operator . It is broken for and unbroken below; on the ring the states at split at order , since all spins must flip, and the ground state at is unique. The open seam has the disorder operators μ at its ends, with , so μ condenses in the disordered phase (Week 4 §§4.1–4.2). For (vi): the symmetry is exact, and the Kramers–Wannier map exchanges its broken and unbroken phases, which is the gauging of with the dual (forward reference); at it becomes the non-invertible line of Week 4 §4.4. Common failure mode: calling μ the symmetry operator, or expecting to vanish in the broken phase. For bounding , in every phase; on a torus a noncontractible is the antiperiodic boundary condition of Week 4 §3.4, and tends to 0 in the ordered phase, where a domain wall of length is forced, and to 1 in the disordered one.
- Compact QED₄ at θ. (a) The θ-modified Gauss law of Week 12 §4.1 makes the density of the integers , so is the total inside , an integer by compactness (Week 12 §4.2), and multiplies by : an electric with α defined mod . A dynamical monopole crossing Σ changes by and by the same amount, so is unchanged, while the flux of alone is not topological. The magnetic operator counts and is explicitly broken by the dynamical monopoles (Table 3; F3). (b) The line has charge under the electric symmetry, magnetic charge and physical charge ; at the line labelled carries the charges of at θ, so the set of line labels returns, shifted (conventions §10); the dynamical spectrum returns only if dyons of every label are dynamical, and with monopoles alone the lattice θ-term is not -periodic. (c) With the pairing is , which confines and and screens ; with it is , which confines and and screens (Week 12 §7.3). The Wilson probe is confined on both sides; what changes at θ = π is which line with is screened, and at θ = π the two condensates tie and are exchanged by [Heuristic]. (d) In the pure theory the dynamical objects are monopoles with , so the electric symmetry of (a) is exact at every θ and the magnetic one is explicitly broken; the oblique phases of Week 12 §7 belong to models with dynamical dyons of every (Week 12 §7.4 and its references), in which the electric symmetry is explicitly broken too and the phases are told apart by the pattern of (c). Semester II Week 6 reads the tie at θ = π as a mixed ‘t Hooft anomaly involving CP (forward reference; GKKS). Common failure mode: taking the flux of as the symmetry charge, which the dynamical monopoles change by θ/2π.
- The form-degree drill. Compact scalar: shift, 0-form, charged , operators of dimension in spacetime and in space, breaking allowed in ; winding, -form, charged vortex lines in and vortex sheets in , operators on closed curves in both, breaking forbidden in both (). gauge field: electric 1-form, Wilson lines, operators of dimension (curves in , surfaces in ), breaking forbidden in and allowed in ; magnetic -form, local monopole operators and closed-surface operators in , ‘t Hooft lines and closed-surface operators in , breaking allowed in both. BF: electric 1-form with Wilson lines and operators of dimension ; magnetic -form with charged objects of dimension (vison worldlines in , surfaces in ) and the Wilson lines as operators; the theorem does not apply to discrete groups. Realized in Semester I: the compact scalar as the dual photon of Weeks 8–10, whose shift symmetry is the magnetic ; the gauge field in (Weeks 9–10) and (Week 11); and the rows as the deconfined limit of Wegner’s model in and (Week 5; §3), whose lattice form keeps only the electric symmetry exact. Common failure mode: taking the operator dimension for the degree, or for the magnetic degree of a gauge field.
14. The take-home final
The take-home final is handed out at the end of this week and is due fourteen days later; it counts for 20% of the Semester I grade (syllabus §5). It has five problems of 20 points each: Problem 1, one engine, two chains; Problem 2, string breaking in the ℤ₂ gauge–Higgs model; Problem 3, a Polyakov estimate and the energy–entropy balance; Problem 4, the Kramers–Wannier operator on the periodic chain; and Problem 5⋆, the residual 1-form symmetry. The core track attempts Problems 1–4, graded out of 80 points and rescaled to 100; the starred track attempts all five, out of 100. The notes of Weeks 1–15, conventions and the sources they cite are allowed material. This note is among them, and the rules of the paper list the clauses that may cite it and say where small numerical checks are allowed. The final package (the student paper with its rules and citation list, the instructor key with point rubric and common errors, and the diagnostic map back to the notes) is a separate document in generalized-symmetries/assessments/final.md; this note does not contain it.
Notes prepared for the generalized-symmetries course, Semester I Block D — the close of Semester I. Rewritten to the note-quality-template standard on 2026-09-29 (first draft 2026-07-01). Last revised 2026-10-04.