confinement, de- confinement, andย ยท [kapustin, ns; gaiotto, kapustin, ns, willett] โ€ข make...

31
Confinement, De-confinement, and 3 Topological Quantum Field Theory Nathan Seiberg IAS 1

Upload: others

Post on 15-Mar-2020

21 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

Confinement, De-confinement, and 3๐‘‘๐‘‘ Topological Quantum Field

Theory

Nathan SeibergIAS

1

Page 2: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) pure gauge theory in 4๐‘‘๐‘‘Lore

14๐‘”๐‘”2

โˆซ ๐‘‡๐‘‡๐‘‡๐‘‡ ๐น๐น โˆงโˆ— ๐น๐น +๐‘–๐‘– ๐œƒ๐œƒ

8๐œ‹๐œ‹2โˆซ Tr(๐น๐น โˆง ๐น๐น)

โ€ข ๐œƒ๐œƒ is 2๐œ‹๐œ‹-periodic (on a closed manifold)

โ€ข Generic ๐œƒ๐œƒ

โ€“ Unique vacuum (no TQFT at low energies), gapped spectrum

โ€“ Confinement: ๐‘Š๐‘Š = Tr ๐‘’๐‘’๐‘–๐‘–โˆฎ ๐‘Ž๐‘Ž โˆผ ๐‘’๐‘’โˆ’๐ด๐ด๐ด๐ด๐ด๐ด๐‘Ž๐‘Ž โ†’ 0 at long distances

โ€ข ๐œƒ๐œƒ multiple of ๐œ‹๐œ‹: ๐’ž๐’ž๐’ž๐’ž symmetry (equivalently, time-reversal)

โ€ข ๐œƒ๐œƒ odd multiple of ๐œ‹๐œ‹

โ€“ ๐’ž๐’ž๐’ž๐’ž is spontaneously broken โ€“ 2 vacua

โ€“ Domain walls

2

Page 3: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) pure gauge theory in 4๐‘‘๐‘‘Additional observables

[Kapustin, NS; Gaiotto, Kapustin, NS, Willett]

โ€ข Study ๐‘ƒ๐‘ƒ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ bundles that are not ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ bundles โ€“nontrivial ๐‘ค๐‘ค2 of the bundle.

โ€ข Can describe using a โ„ค๐‘๐‘ classical background (two-form) gauge field ๐ต๐ต that sets ๐‘ค๐‘ค2 = ๐ต๐ต.

โ€ข ๐ต๐ต can be interpreted as a classical background gauge field of a โ„ค๐‘๐‘ one-form global symmetry. More below.

โ€ข This is not a ๐‘ƒ๐‘ƒ๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) gauge theory, where ๐ต๐ต is summed over. More below.

3

Page 4: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) pure gauge theory in 4๐‘‘๐‘‘The operators [โ€ฆ; Kapustin, NS]

โ€ข Wilson lines ๐‘Š๐‘Š ๐ถ๐ถ = Tr(๐‘’๐‘’๐‘–๐‘– โˆฎ๐ถ๐ถ ๐‘Ž๐‘Ž) ๐‘’๐‘’๐‘–๐‘– โˆซฮฃ ๐ต๐ต with ๐ถ๐ถ = ๐œ•๐œ•ฮฃ

โ€ข Charges: topological surface operators ๐‘†๐‘†๐ธ๐ธ ๐‘‹๐‘‹ = ๐‘’๐‘’๐‘–๐‘– โˆฎ๐‘‹๐‘‹ ๐‘ข๐‘ข ๐‘Ž๐‘Ž

โ€ข The โ€˜t Hooft operator ๐‘‡๐‘‡ is not a genuine line operator.โ€ข Since a Wilson line can detect the Dirac string emanating

from the โ€˜t Hooft operator, the Dirac string is visible and sweeps a surface ฮฃ

๐‘‡๐‘‡ ๐ถ๐ถ ๐‘’๐‘’๐‘–๐‘– โˆซฮฃ ๐‘ข๐‘ข(๐‘Ž๐‘Ž)

It is an open version of ๐‘†๐‘†๐ธ๐ธ. โ€ข ๐‘†๐‘†๐ธ๐ธ can be interpreted as the worldsheet of a Dirac string.

4

Page 5: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) pure gauge theory in 4๐‘‘๐‘‘๐ต๐ต-dependent counterterm

[Kapustin, NS; Gaiotto, Kapustin, NS, Willett; Gaiotto, Kapustin, Komargodski, NS]

โ€ข Can add to the action a counterterm in the classical fields: 2๐œ‹๐œ‹ ๐‘–๐‘– ๐‘๐‘2๐‘๐‘

โˆซ ๐’ž๐’ž ๐ต๐ต

๐‘๐‘ = 1,2, โ€ฆ ,2๐‘๐‘, ๐‘๐‘๐‘๐‘ โˆˆ 2โ„ค (๐’ž๐’ž is the Pontryagin square)โ€ข For nonzero ๐ต๐ต there are fractional instantons and therefore ๐œƒ๐œƒ

is not 2๐œ‹๐œ‹-periodic. Instead, ๐œƒ๐œƒ,๐‘๐‘ โˆผ ๐œƒ๐œƒ + 2๐œ‹๐œ‹,๐‘๐‘ + ๐‘๐‘ โˆ’ 1โ€ข ๐œƒ๐œƒ โ†’ ๐œƒ๐œƒ + 2๐œ‹๐œ‹ leads to different theories

โ€“ Different contact termsโ€“ Different behavior on boundaries

5

Page 6: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) pure gauge theory in 4๐‘‘๐‘‘๐’ž๐’ž๐’ž๐’ž at ๐œƒ๐œƒ = ๐œ‹๐œ‹ [Gaiotto, Kapustin, Komargodski, NS]

๐‘–๐‘– ๐œƒ๐œƒ8๐œ‹๐œ‹2

โˆซ Tr ๐น๐น โˆง ๐น๐น +2๐œ‹๐œ‹ ๐‘–๐‘– ๐‘๐‘2๐‘๐‘

โˆซ ๐’ž๐’ž ๐ต๐ต๐œƒ๐œƒ,๐‘๐‘ โˆผ ๐œƒ๐œƒ + 2๐œ‹๐œ‹,๐‘๐‘ + ๐‘๐‘ โˆ’ 1

๐’ž๐’ž๐’ž๐’ž: ๐œ‹๐œ‹,๐‘๐‘ โ†’ โˆ’๐œ‹๐œ‹,โˆ’๐‘๐‘ โˆผ (๐œ‹๐œ‹,โˆ’๐‘๐‘ + ๐‘๐‘ โˆ’ 1)โ€ข For ๐‘๐‘ even, no value of ๐‘๐‘ preserves the symmetry โ€“ mixed

anomaly between ๐’ž๐’ž๐’ž๐’ž and the โ„ค๐‘๐‘ one-form symmetryโ€ข ๐ถ๐ถ๐‘ƒ๐‘ƒ is spontaneously broken with 2 vacua โ€ข Nontrivial domain wall between the two vacua at ๐œƒ๐œƒ = ๐œ‹๐œ‹

โ€“ Anomaly inflow from the bulkโ€“ ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ 1 Chern-Simons theory on the wall.

6

Page 7: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) pure gauge theory in 4๐‘‘๐‘‘Interface [Gaiotto, Kapustin, Komargodski, NS]

More generally, consider a space-dependent ๐œƒ๐œƒ interpolating between ๐œƒ๐œƒ = 0 and ๐œƒ๐œƒ = 2๐œ‹๐œ‹๐œ‹๐œ‹ for some integer ๐œ‹๐œ‹โ€ข If the interpolation is very slow (compared with the

confinement scale of the theory), we have ๐œ‹๐œ‹ copies of ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ 1

localized where ๐œƒ๐œƒ crosses an odd multiple of ๐œ‹๐œ‹.

7

๐œƒ๐œƒ = 2๐œ‹๐œ‹๐œ‹๐œ‹

๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ 1 โŠ— ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ 1 โŠ—โ‹ฏ

๐œƒ๐œƒ = 0

Page 8: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

โ€ข If the interpolation is fast compared with the confinement scale of the theory, we can have another TQFT ๐’ฏ๐’ฏ๐‘˜๐‘˜.

โ€ข Need better dynamical control to determine ๐’ฏ๐’ฏ๐‘˜๐‘˜. One option is ๐’ฏ๐’ฏ๐‘˜๐‘˜ = ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ ๐‘˜๐‘˜. This is consistent with the anomaly flow from the bulk.

โ€ข If the interface is sharp (discontinuous), the result is not universal, but it must have the same anomaly.

๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) pure gauge theory in 4๐‘‘๐‘‘Interface

8

๐œƒ๐œƒ = 0

๐œƒ๐œƒ = 2๐œ‹๐œ‹๐œ‹๐œ‹

๐’ฏ๐’ฏ๐‘˜๐‘˜ (= ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ ๐‘˜๐‘˜? )

Page 9: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

โ€ข Can think of it also as separating regions with the same ๐œƒ๐œƒ, but different values of ๐‘๐‘.

๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) pure gauge theory in 4๐‘‘๐‘‘Interface

9

๐œƒ๐œƒ = 0๐‘๐‘โˆ’

๐œƒ๐œƒ = 0๐‘๐‘+ = ๐‘๐‘โˆ’ โˆ’ ๐œ‹๐œ‹(๐‘๐‘ โˆ’ 1)

๐’ฏ๐’ฏ๐‘˜๐‘˜ (= ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ ๐‘˜๐‘˜? )

๐œƒ๐œƒ = 0

๐œƒ๐œƒ = 2๐œ‹๐œ‹๐œ‹๐œ‹

๐’ฏ๐’ฏ๐‘˜๐‘˜ (= ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ ๐‘˜๐‘˜? )

Page 10: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

โ€ข On one side of the interface monopoles condense and lead to confinement. On the other side dyons condense and lead to โ€œoblique confinement.โ€

โ€ข By continuity, none of them condense on the interface and hence no confinement there.โ€“ The ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ ๐‘˜๐‘˜ Wilson lines are Wilson lines of the

microscopic gauge theory.โ€“ Surprise: they have nontrivial braiding โ€“ probe quarks are

anyons.

๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) pure gauge theory in 4๐‘‘๐‘‘Interface

10

๐œƒ๐œƒ = 0๐‘๐‘โˆ’

๐œƒ๐œƒ = 0๐‘๐‘+ = ๐‘๐‘โˆ’ โˆ’ ๐œ‹๐œ‹(๐‘๐‘ โˆ’ 1)

๐’ฏ๐’ฏ๐‘˜๐‘˜ (= ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ ๐‘˜๐‘˜? )

Page 11: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

โ€“ Consider a โ„ค๐‘๐‘ charge operator ๐‘†๐‘†๐ธ๐ธ ๐‘‹๐‘‹ = ๐‘’๐‘’๐‘–๐‘– โˆฎ๐‘‹๐‘‹ ๐‘ข๐‘ข ๐‘Ž๐‘Ž that pierces the interface.

โ€“ We interpreted it as the worldsheet of a Dirac string.โ€“ It is associated with a monopole on one side and a dyon on

the other side. Therefore, it has electric charge ๐œ‹๐œ‹ on the wall. It is a Wilson line there.

โ€“ This explains why there is braiding between Wilson lines on the wall.

๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) pure gauge theory in 4๐‘‘๐‘‘Interface [Hsin, Lam, NS]

11

๐œƒ๐œƒ = 0๐‘๐‘โˆ’

๐œƒ๐œƒ = 0๐‘๐‘+ = ๐‘๐‘โˆ’ โˆ’ ๐œ‹๐œ‹(๐‘๐‘ โˆ’ 1)

๐’ฏ๐’ฏ๐‘˜๐‘˜ (= ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ ๐‘˜๐‘˜? )

Page 12: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

๐‘ƒ๐‘ƒ๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) pure gauge theory in 4๐‘‘๐‘‘Gauge the โ„ค๐‘๐‘ one-form global symmetry

[Kapustin, NS; Gaiotto, Kapustin, NS, Willett]

โ€ข Make ๐ต๐ต dynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค2 of the ๐‘ƒ๐‘ƒ๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) bundles

โ€ข The Wilson line is not a genuine line operator ๐‘Š๐‘Š ๐ถ๐ถ, ฮฃ = Tr(๐‘’๐‘’๐‘–๐‘– โˆฎ๐ถ๐ถ ๐‘Ž๐‘Ž) ๐‘’๐‘’๐‘–๐‘– โˆซฮฃ ๐‘๐‘

with ๐ถ๐ถ = ๐œ•๐œ•ฮฃ

โ€ข The correlation functions of ๐‘†๐‘†๐ธ๐ธ ๐‘‹๐‘‹ = ๐‘’๐‘’๐‘–๐‘– โˆฎ๐‘‹๐‘‹ ๐‘ข๐‘ข ๐‘Ž๐‘Ž are trivial.โ€ข For ๐‘๐‘ = 0 the โ€˜t Hooft operator is a genuine line operator

๐‘‡๐‘‡ ๐ถ๐ถ ๐‘’๐‘’๐‘–๐‘– โˆซฮฃ ๐‘ข๐‘ข(๐‘Ž๐‘Ž)

because there is no dependence on ฮฃ. (For other values of ๐‘๐‘it should be multiplied by a Wilson line.)

12

Page 13: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

๐‘ƒ๐‘ƒ๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) pure gauge theory in 4๐‘‘๐‘‘Gauge the โ„ค๐‘๐‘ one-form global symmetry

โ€ข New surface operator ๐‘†๐‘†๐‘€๐‘€ = ๐‘’๐‘’๐‘–๐‘– โˆฎ๐‘‹๐‘‹ ๐‘๐‘ = ei โˆฎ๐‘‹๐‘‹ ๐‘ค๐‘ค2

โ€ข It generates a magnetic โ„ค๐‘๐‘ one-form symmetry

โ€ข ๐‘†๐‘†๐‘€๐‘€ ๐‘‹๐‘‹ ๐‘‡๐‘‡ ๐ถ๐ถ = ๐‘’๐‘’2๐œ‹๐œ‹๐œ‹๐œ‹๐‘๐‘ ๐‘‹๐‘‹,๐ถ๐ถ ๐‘‡๐‘‡ ๐ถ๐ถ

๐‘‹๐‘‹,๐ถ๐ถ the linking number.

โ€ข The Wilson line ๐‘Š๐‘Š ๐ถ๐ถ, ฮฃ = Tr(๐‘’๐‘’๐‘–๐‘– โˆฎ๐ถ๐ถ ๐‘Ž๐‘Ž) ๐‘’๐‘’๐‘–๐‘– โˆซฮฃ ๐‘๐‘ is an open version of ๐‘†๐‘†๐‘€๐‘€

13

Page 14: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

๐‘ƒ๐‘ƒ๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) pure gauge theory in 4๐‘‘๐‘‘Dynamics

[Aharony, Tachikawa, NS; Kapustin, NS; Gaiotto, Kapustin, NS, Willett]

๐‘–๐‘– ๐œƒ๐œƒ8๐œ‹๐œ‹2

โˆซ Tr ๐น๐น โˆง ๐น๐น +2๐œ‹๐œ‹ ๐‘–๐‘– ๐‘๐‘2๐‘๐‘

โˆซ ๐’ž๐’ž ๐‘๐‘๐œƒ๐œƒ,๐‘๐‘ โˆผ ๐œƒ๐œƒ + 2๐œ‹๐œ‹,๐‘๐‘ + ๐‘๐‘ โˆ’ 1

Now the lack of 2๐œ‹๐œ‹-periodicity in ๐œƒ๐œƒ is more important.โ€ข For ๐‘๐‘ = 0 monopoles condense, the โ€˜t Hooft operator has a

perimeter lawโ€ข Gapped spectrum, but a nontrivial TQFT at low energies

(not merely an SPT phase) โ€“ a โ„ค๐‘๐‘ gauge theoryโ€ข More generally, the low energy theory is a โ„ค๐ฟ๐ฟ gauge theory

(could be twisted on nonspin manifolds) with๐ฟ๐ฟ = gcd ๐‘๐‘,๐‘๐‘

14

Page 15: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

In the ๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) theory

In the ๐‘ƒ๐‘ƒ๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) theory

๐ฟ๐ฟยฑ = gcd ๐‘๐‘ยฑ,๐‘๐‘

Cannot have ๐’ฏ๐’ฏ๐‘˜๐‘˜โ„ค๐‘๐‘

= ๐‘ƒ๐‘ƒ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ ๐‘˜๐‘˜? on the interface โ€“ it is not consistent!

๐‘ƒ๐‘ƒ๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) pure gauge theory in 4๐‘‘๐‘‘Interface

15

๐œƒ๐œƒ = 0๐‘๐‘โˆ’

๐œƒ๐œƒ = 0๐‘๐‘+ = ๐‘๐‘โˆ’ โˆ’ ๐œ‹๐œ‹ ๐‘๐‘ โˆ’ 1

๐’ฏ๐’ฏ๐‘˜๐‘˜ (= ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ ๐‘˜๐‘˜? )

๐œƒ๐œƒ = 0๐‘๐‘โˆ’

โ„ค๐ฟ๐ฟโˆ’ gauge theory

๐œƒ๐œƒ = 0๐‘๐‘+ = ๐‘๐‘โˆ’ โˆ’ ๐œ‹๐œ‹ ๐‘๐‘ โˆ’ 1โ„ค๐ฟ๐ฟ+ gauge theory

? ? ?

Page 16: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

๐ฟ๐ฟยฑ = gcd ๐‘๐‘ยฑ,๐‘๐‘In order to figure out the theory on the interface we need to understand better the one-form global symmetry, its anomaly, and its gauging.

๐‘ƒ๐‘ƒ๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) pure gauge theory in 4๐‘‘๐‘‘Interface

16

๐œƒ๐œƒ = 0๐‘๐‘โˆ’

โ„ค๐ฟ๐ฟโˆ’ gauge theory

๐œƒ๐œƒ = 0๐‘๐‘+ = ๐‘๐‘โˆ’ โˆ’ ๐œ‹๐œ‹ ๐‘๐‘ โˆ’ 1โ„ค๐ฟ๐ฟ+ gauge theory

? ? ?

Page 17: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

There are line operators ๐‘†๐‘†๐‘™๐‘™ with ๐‘™๐‘™ integer modulo ๐‘๐‘ such that

โ€ข ๐‘†๐‘†๐‘™๐‘™๐‘†๐‘†๐‘™๐‘™โ€ฒ = ๐‘†๐‘†๐‘™๐‘™+๐‘™๐‘™โ€™

โ€ข Any line ๐‘Š๐‘Š โˆˆ ๐’ฏ๐’ฏ has a โ„ค๐‘๐‘ charge ๐‘ž๐‘ž W (โ„ค๐‘๐‘ representation)

= ๐‘’๐‘’2๐œ‹๐œ‹๐œ‹๐œ‹๐œ‹๐œ‹ ๐‘Š๐‘Š ๐‘™๐‘™

๐‘๐‘

U๐‘™๐‘™

๐‘Š๐‘Š ๐‘Š๐‘Š

A 3๐‘‘๐‘‘ TQFT ๐’ฏ๐’ฏ with a โ„ค๐‘๐‘ one-form global symmetry [Gaiotto, Kapustin, NS, Willett]

17

=

๐‘†๐‘†๐‘™๐‘™ ๐‘†๐‘†๐‘™๐‘™โ€ฒ U๐‘™๐‘™+๐‘™๐‘™โ€ฒ

Page 18: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

Examplesโ€ข ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ ๐‘˜๐‘˜ has a โ„ค๐‘๐‘ one-form symmetry associated with the

center of the gauge group. It is generated by a line in a representation of ๐œ‹๐œ‹ symmetric fundamentals.

โ€ข ๐‘†๐‘† 1 ๐‘๐‘ has ๐‘๐‘ lines (for ๐‘๐‘ even) realizing a โ„ค๐‘๐‘ one-form symmetry, generated by the line of charge one.

โ€ข โ„ค๐‘๐‘ gauge theory has a โ„ค๐‘๐‘ โŠ— โ„ค๐‘๐‘ one-form symmetry (electric and magnetic)

A 3๐‘‘๐‘‘ TQFT ๐’ฏ๐’ฏ with a โ„ค๐‘๐‘ one-form global symmetry [Gaiotto, Kapustin, NS, Willett]

18

Page 19: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

Consistency implies that the spins of the charge lines are

โ„Ž ๐‘†๐‘†๐‘™๐‘™ =๐‘๐‘ ๐‘™๐‘™2

2๐‘๐‘mod 1

Here ๐‘๐‘ = 0,1, โ€ฆ ,2๐‘๐‘, ๐‘๐‘๐‘๐‘ โˆˆ 2โ„ค. (In a spin TQFT ignore the second condition and ๐‘๐‘ โˆผ ๐‘๐‘ + ๐‘๐‘. By changing the โ„ค๐‘๐‘ generator we can relate different values of ๐‘๐‘.)

Using the braiding we interpret ๐‘๐‘ mod ๐‘๐‘ = ๐‘ž๐‘ž ๐‘†๐‘†1

as the โ„ค๐‘๐‘ charge of the generator of the โ„ค๐‘๐‘ symmetry.If ๐‘๐‘ โ‰  0, we cannot gauge the one-form symmetry. ๐‘๐‘ characterizes the โ€˜t Hooft anomaly of the symmetry.

A 3๐‘‘๐‘‘ TQFT ๐’ฏ๐’ฏ with a โ„ค๐‘๐‘ one-form global symmetry [Gomis, Komargodski, NS; Hsin, Lam, NS]

19

Page 20: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

โ„Ž ๐‘†๐‘†๐‘™๐‘™ =๐‘๐‘ ๐‘™๐‘™2

2๐‘๐‘mod 1

๐‘๐‘ characterizes the โ€˜t Hooft anomaly of the symmetry.Coupling to a background โ„ค๐‘๐‘ gauge field ๐ต๐ต the corresponding anomaly is our 4๐‘‘๐‘‘ bulk term

2๐œ‹๐œ‹ ๐‘–๐‘– ๐‘๐‘2๐‘๐‘

โˆซ ๐’ž๐’ž ๐ต๐ต

A 3๐‘‘๐‘‘ TQFT ๐’ฏ๐’ฏ with a โ„ค๐‘๐‘ one-form global symmetry

20

Page 21: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

โ„Ž ๐‘†๐‘†๐‘™๐‘™ =๐‘๐‘ ๐‘™๐‘™2

2๐‘๐‘mod 1

For ๐‘๐‘ = 0โ€ข the lines ๐‘†๐‘†๐‘™๐‘™ are โ„ค๐‘๐‘ neutral โ€ข their spins vanish modulo an integerโ€ข their braiding is trivialโ€ข there is no โ€˜t Hooft anomalyโ€ข We can gauge the symmetry

A 3๐‘‘๐‘‘ TQFT ๐’ฏ๐’ฏ with a โ„ค๐‘๐‘ one-form global symmetry with ๐‘๐‘ = 0

21

Page 22: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

For ๐‘๐‘ = 0 we can gauge the symmetry (known in the condensed matter literature as โ€œanyon condensationโ€) โ€ข Remove from ๐’ฏ๐’ฏ all the โ„ค๐‘๐‘ charged lines (๐‘ž๐‘ž ๐‘Š๐‘Š โ‰  0 mod ๐‘๐‘)โ€ข Identify the lines ๐‘Š๐‘Š โˆผ ๐‘†๐‘†1๐‘Š๐‘Šโ€ข If a line ๐‘Š๐‘Š is the same as ๐‘†๐‘†1๐‘Š๐‘Š, it appears multiple times

For our problem with the interface in ๐‘ƒ๐‘ƒ๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) we need to gauge a TQFT with nonzero ๐‘๐‘.

Gauge the โ„ค๐‘๐‘ one-form global symmetry when ๐‘๐‘ = 0 [Moore, NS]

22

Page 23: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

โ„Ž ๐‘†๐‘†๐‘™๐‘™ =๐‘๐‘ ๐‘™๐‘™2

2๐‘๐‘mod 1

For ๐‘๐‘ = ๐‘๐‘ we can use essentially the standard gauging (except the identification) to find a spin TQFT.

For ๐ฟ๐ฟ = gcd ๐‘๐‘,๐‘๐‘ โ‰  ๐‘๐‘ the lines ๐‘™๐‘™ = ๐‘๐‘๐ฟ๐ฟ๐‘™๐‘™ lead to a โ„ค๐ฟ๐ฟ โŠ‚ โ„ค๐‘๐‘

subgroup, whose ๐‘๐‘ is ๏ฟฝฬ‚๏ฟฝ๐‘ = ๐‘๐‘๐‘๐‘๐ฟ๐ฟ

= 0 mod ๐ฟ๐ฟ. It can be gauged as above. The resulting theory has โ„ค๐‘๐‘โ€ฒ one-form symmetry with anomaly ๐‘๐‘โ€ฒwith ๐‘๐‘โ€ฒ = ๐‘๐‘/๐ฟ๐ฟ, ๐‘๐‘โ€ฒ = ๐‘๐‘/๐ฟ๐ฟ and hence ๐ฟ๐ฟโ€ฒ = gcd ๐‘๐‘โ€ฒ,๐‘๐‘โ€ฒ = 1.

So how should we deal with ๐ฟ๐ฟ = gcd ๐‘๐‘,๐‘๐‘ = 1?

A 3๐‘‘๐‘‘ TQFT ๐’ฏ๐’ฏ with a โ„ค๐‘๐‘ one-form global symmetry with ๐‘๐‘ โ‰  0

23

Page 24: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

โ„Ž ๐‘†๐‘†๐‘™๐‘™ =๐‘๐‘ ๐‘™๐‘™2

2๐‘๐‘mod 1

For every ๐‘Š๐‘Š โˆˆ ๐’ฏ๐’ฏ with charge ๐‘ž๐‘ž ๐‘Š๐‘Š the line ๐‘†๐‘†1๐ด๐ด๐‘Š๐‘Š = Wโ€ฒ (need to show that ๐‘Š๐‘Š๐‘Š is unique) with ๐‘‡๐‘‡๐‘๐‘ + ๐‘ž๐‘ž(๐‘Š๐‘Š) = 0 mod ๐‘๐‘ is โ„ค๐‘๐‘ neutral. โ€ข Hence, ๐’ฏ๐’ฏ = ๐’ฏ๐’ฏโ€ฒ โŠ—๐’œ๐’œ๐‘๐‘,๐‘๐‘

โ€“ ๐’ฏ๐’ฏโ€ฒ includes all the neutral lines ๐‘Š๐‘Šโ€ฒ

โ€“ ๐’œ๐’œ๐‘๐‘,๐‘๐‘ is a minimal TQFT with โ„ค๐‘๐‘ symmetry with anomaly ๐‘๐‘.โ€“ The factorization is also guaranteed by a theorem of [Muger;

Drinfeld, Gelaki, Nikshych, Ostrik]

โ€ข This is quite surprising. All the information about the symmetry is in a decoupled universal sector ๐’œ๐’œ๐‘๐‘,๐‘๐‘!

A 3๐‘‘๐‘‘ TQFT ๐’ฏ๐’ฏ with a โ„ค๐‘๐‘ one-form global symmetry with ๐ฟ๐ฟ = gcd(๐‘๐‘,๐‘๐‘) = 1 [Hsin, Lam, NS]

24

Page 25: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

Examplesโ€ข ๐‘†๐‘† 1 ๐‘๐‘ = ๐’œ๐’œ๐‘๐‘,1

โ€ข ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ 1 = ๐’œ๐’œ๐‘๐‘,๐‘๐‘โˆ’1

โ€ข ๐‘†๐‘† 1 ๐‘๐‘๐‘๐‘ = ๐’œ๐’œ๐‘๐‘,๐‘๐‘ โŠ—๐’œ๐’œ๐‘๐‘,๐‘๐‘ for gcd ๐‘๐‘,๐‘๐‘ = 1 (this generalizes โ„ค๐‘๐‘๐‘๐‘ = โ„ค๐‘๐‘ โŠ— โ„ค๐‘๐‘)

๐’œ๐’œ๐‘๐‘,๐‘๐‘ โŠ—๐’œ๐’œ๐‘๐‘,โˆ’๐‘๐‘ has ๐‘๐‘2 lines with an anomaly free diagonal โ„ค๐‘๐‘one-form symmetry. Gauging it leads to (๐’œ๐’œ๐‘๐‘,๐‘๐‘โŠ—๐’œ๐’œ๐‘๐‘,โˆ’๐‘๐‘)/โ„ค๐‘๐‘, which is a trivial theory.

The minimal 3๐‘‘๐‘‘ TQFT with a โ„ค๐‘๐‘ one-form global symmetry with anomaly ๐‘๐‘ with gcd ๐‘๐‘,๐‘๐‘ = 1

๐’œ๐’œ๐‘๐‘,๐‘๐‘ [Moore, NS; Hsin, Lam, NS]

25

Page 26: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

Starting with a theory ๐’ฏ๐’ฏ with a โ„ค๐‘๐‘ one-form symmetry with anomaly ๐‘๐‘ such that gcd ๐‘๐‘,๐‘๐‘ = 1, we cannot gauge the symmetry.However, since

๐’ฏ๐’ฏ = ๐’ฏ๐’ฏโ€ฒ โŠ—๐’œ๐’œ๐‘๐‘,๐‘๐‘

we can extract ๐’ฏ๐’ฏโ€ฒeither by dropping ๐’œ๐’œ๐‘๐‘,๐‘๐‘, or by tensoringanother factor and then gauging an anomaly free โ„ค๐‘๐‘ symmetry

๐’ฏ๐’ฏ๐‘Š = (๐’ฏ๐’ฏ โŠ—๐’œ๐’œ๐‘๐‘,โˆ’๐‘๐‘)/โ„ค๐‘๐‘Since ๐’œ๐’œ๐‘๐‘,๐‘๐‘ is minimal, this procedure is canonical.

Using ๐’œ๐’œ๐‘๐‘,๐‘๐‘ [Hsin, Lam, NS]

26

Page 27: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

๐ฟ๐ฟยฑ = gcd ๐‘๐‘ยฑ,๐‘๐‘

For simplicity, let ๐ฟ๐ฟยฑ = 1.Then the bulk theories are trivial and there must be a 3d TQFT on the interface.

(The analysis for generic ๐ฟ๐ฟยฑ is more subtle and is explained in the paper.)

Back to the interface in 4๐‘‘๐‘‘ ๐‘ƒ๐‘ƒ๐‘†๐‘†๐‘†๐‘†(๐‘๐‘)[Hsin, Lam, NS]

27

๐œƒ๐œƒ = 0๐‘๐‘โˆ’

โ„ค๐ฟ๐ฟโˆ’ gauge theory

๐œƒ๐œƒ = 0๐‘๐‘+ = ๐‘๐‘โˆ’ โˆ’ ๐œ‹๐œ‹ ๐‘๐‘ โˆ’ 1โ„ค๐ฟ๐ฟ+ gauge theory

? ? ?

Page 28: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

For simplicity, let ๐ฟ๐ฟยฑ = gcd ๐‘๐‘ยฑ,๐‘๐‘ = 1.

๐’ฏ๐’ฏ๐‘˜๐‘˜ โ†’๐’ฏ๐’ฏ๐‘˜๐‘˜ โŠ—๐’œ๐’œ๐‘๐‘,โˆ’๐‘๐‘โˆ’ โŠ—๐’œ๐’œ๐‘๐‘,๐‘๐‘+

โ„ค๐‘๐‘Since ๐‘๐‘+ โˆ’ ๐‘๐‘โˆ’ = โˆ’๐œ‹๐œ‹ ๐‘๐‘ โˆ’ 1 = โˆ’ ๐‘๐‘ โ„ค๐‘๐‘ โŠ‚ ๐’ฏ๐’ฏ๐‘˜๐‘˜ , the diagonal โ„ค๐‘๐‘ in the numerator is anomaly free and can be gauged.

Can interpret ๐’œ๐’œ๐‘๐‘,โˆ’๐‘๐‘โˆ’ โŠ—๐’œ๐’œ๐‘๐‘,๐‘๐‘+as arising from the bulk on the left and the right such that we can perform the gauging.

Back to the interface in 4๐‘‘๐‘‘ ๐‘ƒ๐‘ƒ๐‘†๐‘†๐‘†๐‘†(๐‘๐‘)[Hsin, Lam, NS]

28

๐œƒ๐œƒ = 0๐‘๐‘โˆ’

๐œƒ๐œƒ = 0๐‘๐‘+ = ๐‘๐‘โˆ’ โˆ’ ๐œ‹๐œ‹ ๐‘๐‘ โˆ’ 1

? ? ?

Page 29: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

4d ๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) gauge theory โ€ข For generic ๐œƒ๐œƒ the spectrum is gapped with a trivial

lowโˆ’energy theory and at ๐œƒ๐œƒ = ๐œ‹๐œ‹ there are two vacua.โ€ข โ„ค๐‘๐‘ one form global symmetry

โ€“ It is unbroken (the theory is confining) โ€“ We can couple the theory to a background two-form โ„ค๐‘๐‘

gauge field ๐ต๐ต and add a counterterm 2๐œ‹๐œ‹ ๐‘–๐‘– ๐‘๐‘2๐‘๐‘

โˆซ ๐’ž๐’ž ๐ต๐ต

โ€“ Keeping track of this term, ๐œƒ๐œƒ is 2๐œ‹๐œ‹๐‘๐‘-periodic (4๐œ‹๐œ‹๐‘๐‘-periodic for even ๐‘๐‘ on a non-spin manifold).

โ€ข Steep interface from ๐œƒ๐œƒ = 0 to ๐œƒ๐œƒ = 2๐œ‹๐œ‹๐œ‹๐œ‹ has a TQFT (e.g. ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ ๐‘˜๐‘˜) on it

Conclusions

29

Page 30: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

4d ๐‘ƒ๐‘ƒ๐‘†๐‘†๐‘†๐‘† ๐‘๐‘ gauge theory is obtained by gauging the โ„ค๐‘๐‘ one-form global symmetry of the ๐‘†๐‘†๐‘†๐‘†(๐‘๐‘) theory.โ€ข The low energy theory is a โ„ค๐ฟ๐ฟ gauge theory with ๐ฟ๐ฟ =

gcd ๐‘๐‘,๐‘๐‘โ€ข Interfaces have more subtle TQFTs on them

Conclusions

30

Page 31: Confinement, De- confinement, andย ยท [Kapustin, NS; Gaiotto, Kapustin, NS, Willett] โ€ข Make ๐ต๐ตdynamical and denote it by ๐‘๐‘. This amounts to summing over ๐‘ค๐‘ค. 2

A 3d TQFT with a โ„ค๐‘๐‘ one-form global symmetry โ€ข It is characterized by an integer ๐‘๐‘ mod 2๐‘๐‘, which determines

โ€“ The charge of the generating lineโ€“ The spins of the charge linesโ€“ The โ€˜t Hooft anomaly

โ€ข For gcd ๐‘๐‘,๐‘๐‘ = 1 there is a minimal TQFT with โ„ค๐‘๐‘ one-form symmetry and anomaly ๐‘๐‘, ๐’œ๐’œ๐‘๐‘,๐‘๐‘

โ€“ Any theory ๐’ฏ๐’ฏ with a โ„ค๐‘๐‘ one-form symmetry with anomaly ๐‘๐‘, such that gcd ๐‘๐‘,๐‘๐‘ = 1, factorizes ๐’ฏ๐’ฏ = ๐’ฏ๐’ฏโ€ฒ โŠ—๐’œ๐’œ๐‘๐‘,๐‘๐‘

Conclusions

31