t Hooft Anomaly & Modular Bootstrap Shu-Heng Shao Institute for - - PowerPoint PPT Presentation

โ–ถ
t hooft anomaly modular bootstrap
SMART_READER_LITE
LIVE PREVIEW

t Hooft Anomaly & Modular Bootstrap Shu-Heng Shao Institute for - - PowerPoint PPT Presentation

Joint ICTP/SISSA String Seminar April 3 rd , 2019 t Hooft Anomaly & Modular Bootstrap Shu-Heng Shao Institute for Advanced Study Based on work with Ying-Hsuan Lin (Caltech) ArXiv: 1904.xxxxx Two Major Non-Perturbative Tools for QFT


slide-1
SLIDE 1

โ€˜t Hooft Anomaly & Modular Bootstrap

Shu-Heng Shao

Institute for Advanced Study

Joint ICTP/SISSA String Seminar April 3rd , 2019

Based on work with Ying-Hsuan Lin (Caltech) ArXiv: 1904.xxxxx

slide-2
SLIDE 2

Two Major Non-Perturbative Tools for QFT

1

โ€˜t Hooft Anomaly

  • Obstruction to gauging ๐ป
  • Invariant under RG and duality

[See Zoharโ€™s Lectures]

Conformal Bootstrap

  • Consistency of CFT
  • Constrain operator spectrum

[See Leonardoโ€™s Talk]

Wouldnโ€™t it be nice if we can combine the two techniques?

slide-3
SLIDE 3

Questions Weโ€™d Like to Ask:

In CFT with Global Symmetry ๐ป and Anomaly ๐›ฝ:

1. Is there an upper bound on the lightest ๐ป charged

  • perator?

2. How does the bound depend on the anomaly ๐›ฝ?

Weak Gravity Conjecture like questions [See Mattโ€™s Lectures]

2

slide-4
SLIDE 4

Today: Bootstrap with Anomaly

3

Setup: 2D Bosonic CFT with Global Symmetry ๐ป = โ„ค& Question: Is there an upper bound on the lightest โ„ค๐Ÿ‘ odd operator?

slide-5
SLIDE 5

2D CFT with Global Symmetry โ„ค๐Ÿ‘

4

Non-Anomalous Anomalous Bound on Charged Operator

NO ๐Ÿ˜ฎ YES ๐Ÿ˜Ž

Moral: It is harder to โ€œhideโ€ a symmetry if it is anomalous

slide-6
SLIDE 6

Reminder on โ€˜t Hooft Anomalies

  • A global symmetry with โ€˜t Hooft anomaly is still a perfectly

healthy symmetry in a consistent QFT.

  • You just cannot gauge it.
  • Different from the ABJ anomaly, where the axial โ€œsymmetryโ€

is not a true global symmetry.

5

slide-7
SLIDE 7

Outline

  • Symmetry and Anomaly in Two Dimensions
  • Modular Bootstrap

6

slide-8
SLIDE 8

Outline

  • Symmetry and Anomaly in Two Dimensions
  • Modular Bootstrap

7

slide-9
SLIDE 9

Symmetry and Topological Defect

  • Continuous global symmetry โ†’ Noether charge
  • More generally, a 0-form global symmetry ๐‘• โˆˆ ๐ป (continuous or

discrete) is associated to a codimension-1 topological defect ๐‘€,.

  • Topological defect acts on local operators by symmetry transformation.

8

=

ฯ• (ยฑ1) ฯ•

slide-10
SLIDE 10

0-form Codimension-1

Global Symmetry โŸถ Topological Defect

9

slide-11
SLIDE 11

Basic Properties of Topological Lines

  • They are topological

vAll physical observables are invariant under continuous deformation of topological lines. vThey commute with both Virasoro algebras.

=

10

slide-12
SLIDE 12

Defect Hilbert Space โ„‹/

  • Followed from the topological

property, states in โ„‹/ are in representations of both Virasoro algebras. โ„‹/ = 0 (๐‘œ/)4,4

6 ๐‘Š๐‘—๐‘ 4 โŠ— ๐‘Š๐‘—๐‘ 4 6

  • 4,4

6โˆˆโ„‹<

(๐‘œ/)4,4

6 โˆˆ โ„•

๐‘€ โ„‹/ 11

slide-13
SLIDE 13

Operator-State Map for โ„‹/

12

|๐œˆโŒช โˆˆ โ„‹/ ๐œˆ(๐‘ฆ)

Non-local operator living at the end of the defect line E.g. Electron in QED ๐‘€ ๐‘€

slide-14
SLIDE 14

Crossing Relations of the โ„ค๐Ÿ‘ Line

13

= ฮฑ

Do it twice: ๐›ฝ& = 1 (the cocycle condition)

slide-15
SLIDE 15

Crossing and Anomaly

  • ๐›ฝ = +1: Non-Anomalous (can be gauged)
  • ๐›ฝ = โˆ’1: Anomalous (can not be gauged)

14

Indeed, the bosonic, unitary โ„ค๐Ÿ‘ anomaly is classified by

๐›ฝ โˆˆ ๐ผF(โ„ค๐Ÿ‘,U(1))=โ„ค๐Ÿ‘

= ฮฑ

slide-16
SLIDE 16

Crossing and Anomaly

  • Consider the torus partition function of the would-be โ„ค๐Ÿ‘ orbifold theory:

15

= ฮฑ

๐‘ŽHIJ =

K & (

+ ) +

K & (

) +

Untwisted sector Twisted sector

โ€œ โ€

slide-17
SLIDE 17

16

= ๐›ฝ

When ๐›ฝ = โˆ’1, this is an ambiguity โŸน anomaly

slide-18
SLIDE 18

Crossing and Anomaly (Recap)

  • ๐›ฝ = +1: Non-Anomalous
  • ๐›ฝ = โˆ’1: Anomalous

17

= ฮฑ

slide-19
SLIDE 19

Outline

  • Symmetry and Anomaly in Two Dimensions
  • Modular Bootstrap

18

slide-20
SLIDE 20

Modular Bootstrap

  • Positivity: Expansion on Virasoro characters
  • Crossing: Modular ๐‘‡ Transformation

19

slide-21
SLIDE 21

Torus Partition Function

20

  • The torus partition function can

be expanded on the Virasoro characters with positive coefficients ๐‘Ž ๐œ, ๐œฬ… = ๐‘ˆ๐‘ 

โ„‹ [๐‘Ÿ4ST/&V๐‘Ÿ

W4

6ST/&V]

= 0 ๐‘œ4,4

6

  • 4,4

6โˆˆโ„‹

๐œ“4(๐œ) ๐œ“4

6(๐œฬ…)

๐‘œ4,4

6 โˆˆ โ„•

๐œ“4 ๐œ = ๐‘Ÿ4STSK

&V

๐œƒ(๐œ)

โ„‹

slide-22
SLIDE 22

Torus Partition Function with โ„ค๐Ÿ‘ Line

21

๐‘Ž/ ๐œ, ๐œฬ… = ๐‘ˆ๐‘ 

โ„‹ [๐‘€

[ ๐‘Ÿ4ST/&V๐‘Ÿ W4

6ST/&V]

= 0 (๐‘œ4,4

6 \

โˆ’ ๐‘œ4,4

6 S )

  • 4,4

6โˆˆโ„‹

๐œ“4(๐œ) ๐œ“4

6(๐œฬ…)

๐‘œ4,4

6 ยฑ

โˆˆ โ„•

๐‘€

โ„‹

slide-23
SLIDE 23

Defect Hilbert Space ๐“˜๐‘ด

๐‘Ž/ ๐œ, ๐œฬ… = ๐‘ˆ๐‘ 

โ„‹< [๐‘Ÿ4S T &V๐‘Ÿ

W4

6S T &V]

= 0 (๐‘œ/)4,4

6 ๐œ“4(๐œ) ๐œ“4 6(๐œฬ…)

  • 4,4

6โˆˆโ„‹<

(๐‘œ/)4,4

6โˆˆ โ„•

๐‘€ โ„‹/ 22

slide-24
SLIDE 24

Positivity

23

๐‘Žยฑ ๐œ, ๐œฬ… = ๐‘œ4,4

6 ยฑ ๐œ“4 ๐œ ๐œ“4 6 ๐œฬ…

  • 4,4

6 โˆˆโ„‹ยฑ

๐‘Ž/(๐œ, ๐œฬ…) = 0 (๐‘œ/)4,4

6 ๐œ“4(๐œ) ๐œ“4 6(๐œฬ…)

  • 4,4

6โˆˆโ„‹<

โˆจ โˆจ

=

K & (

) ยฑ

๐‘Ž/ ๐‘Ž

=

slide-25
SLIDE 25

Anomaly and Modular Transformation

24

๐‘ˆSK ๐‘ˆ โˆฅ ๐›ฝ

๐‘Ž/(๐œ, ๐œฬ…)

๐‘Ž/(๐œ, ๐œฬ…) is invariant under b ๐‘ˆ& ๐‘ˆV If ๐›ฝ = +1 If ๐›ฝ = โˆ’1

slide-26
SLIDE 26

Spin Selection Rule in โ„‹/

  • The spin ๐‘ก = โ„Ž โˆ’ โ„Ž

W of a state in the defect Hilbert space โ„‹/ is constrained by the anomaly ๐›ฝ [Chang-Lin-SHS-Wang-Yin]:

25

If ๐›ฝ = +1 (Non-Anomalous) ๐‘ก โˆˆ โ„ค 2 1 4 + โ„ค 2 If ๐›ฝ = โˆ’1 (Anomalous)

slide-27
SLIDE 27
  • Now we see that the anomaly controls the spin of non-local
  • perators living at the end of the line.
  • How do we convert this information to constraints on local
  • perators?
  • Modular Transformation

26

Spin Selection Rule in โ„‹/

slide-28
SLIDE 28

Crossing

27

๐‘Ž/ ๐‘Ž

๐‘‡ ๐‘‡

๐‘Ž ๐‘Ž/ The spins here depend on the anomaly

slide-29
SLIDE 29

Positivity

28

ยฑ

Crossing

๐‘‡ ๐‘‡

The spins here and there depend on the anomaly

slide-30
SLIDE 30

2D CFT with Global Symmetry โ„ค๐Ÿ‘

29

Non-Anomalous Anomalous Bound on Charged Operator

NO ๐Ÿ˜ฎ YES ๐Ÿ˜Ž

Moral: It is harder to โ€œhideโ€ a symmetry if it is anomalous

slide-31
SLIDE 31

Upper Bounds on โ„ค๐Ÿ‘ Odd Operators ๐šฌS

30

2 4 6 8 0.5 1.0 1.5 2.0 2.5 3.0 ฮ”S(anomalous)

๐‘‘ ๐‘ก๐‘ฃ(2)K

WZW

slide-32
SLIDE 32

Why is this result interesting? (at least to

meโ€ฆ)

  • As a Bootstrapperโ€ฆ
  • As an Anomaler...

31

slide-33
SLIDE 33

For a Bootstrapperโ€ฆ

  • Global symmetry helps us target the CFT we want to bootstrap.

E.g. 3d O(2) bootstrap [See Zoharโ€™s and Leonardoโ€™s Talks]

  • โ€˜t Hooft anomaly is a more refined information for the global

symmetry.

  • Even the very existence of a bound might depend on the anomaly!

32

slide-34
SLIDE 34

For an Anomalerโ€ฆ

  • In a gapped phase, discrete anomalies imply that:

vThe symmetry is either spontaneously broken, or vThere is a TQFT matching the anomaly.

  • Rather surprisingly, discrete anomalies also constrain the

spectrum of local operators in a gapless CFT phase.

33

slide-35
SLIDE 35

Generalization

  • 2d CFT with ๐‘‰(1) Global Symmetry
  • Higher Dimensions

34

slide-36
SLIDE 36

Generalization

  • 2d CFT with ๐‘‰(1) Global Symmetry
  • Higher Dimensions

35

slide-37
SLIDE 37

2D CFT with Global Symmetry ๐‘ฝ(๐Ÿ)

36

  • A U(1) Noether current has a holomorphic component ๐‘ฒ(๐’œ) and an

antiholomorphic component ๐‘ฒฬ…(๐’œ W).

  • The topological line generating the U(1) is

๐‘‰โ€š = ๐‘“๐‘ฆ๐‘ž ๐‘—๐œ„ โ€  ๐‘’๐‘จ ๐พ(๐‘จ)

  • โˆ’ ๐‘—๐œ„ โ€  ๐‘’๐‘จฬ… ๐พฬ…(๐‘จฬ…)
  • While ๐‘ฒ(๐’œ) and ๐‘ฒฬ…(๐’œ

W) are separately conserved, ๐œ– ๐พ 6 ๐‘จฬ… = ๐œ–ฬ… ๐พ ๐‘จ = 0, each of them generically generates an โ„ symmetry, instead of ๐‘‰ 1 .

slide-38
SLIDE 38

2D CFT with Global Symmetry ๐‘ฝ(๐Ÿ)

37

Non-Anomalous Anomalous Bound on U(1) Charged Operator

NO ๐Ÿ’€ YES ๐Ÿ‘ฝ

slide-39
SLIDE 39

Previous Work

  • The authors of [Benjamin-Dyer-Fitzpatrick-Kachru] and [Montero-

Shiu-Soler] derived a bound on the lightest U(1) charged

  • perator for a holomorphic U(1).
  • A holomorphic U(1) is always anomalous (chiral anomaly),

which is consistent with our observation.

  • However, there is no bound for a non-anomalous U(1) (free

boson example).

38

slide-40
SLIDE 40

Example: 2d Compact Boson

[See Leonardoโ€™s Discussion Session]

  • At any radius ๐‘†, there are two U(1)โ€™s: the winding ๐‘ฝ(๐Ÿ)๐’™ and

the momentum ๐‘ฝ(๐Ÿ)๐’.

  • Both U(1)โ€™s are non-anomalous (and non-holomorphic), but

there is a mixed anomaly between the two.

  • Hence ๐‘ฝ(๐Ÿ)๐’†๐’‹๐’ƒ๐’‰ = ๐‘’๐‘—๐‘๐‘•(๐‘ฝ(๐Ÿ)๐’™ x ๐‘ฝ(๐Ÿ)๐’) is anomalous.

39

slide-41
SLIDE 41

2d c=1 Compact Boson at Radius ๐‘บ

40

๐‘ฝ(๐Ÿ)๐’™ ๐‘ฝ(๐Ÿ)๐’ ๐‘ฝ(๐Ÿ)๐’†๐’‹๐’ƒ๐’‰

Lightest Charged Op. Winding mode KK mode Winding or KK mode

โˆ†S

๐‘†& 2 1 2๐‘†& Min[

โ€บล“ & , K &โ€บล“]

Bound? NO๐Ÿ˜ฎ NO๐Ÿ˜ฎ YES๐Ÿ˜Ž Anomaly? NO NO YES

slide-42
SLIDE 42

Generalization

  • 2d CFT with ๐‘‰(1) Global Symmetry
  • Higher Dimensions

41

slide-43
SLIDE 43

Higher Dimensions

  • Is there such an anomaly-dependent bound on local
  • perators in higher than 2 dimensions?
  • NO! It was shown in [Wang-Wen-Witten 2016] that given a

discrete, unitary, bosonic symmetry ๐ป and its anomaly ๐›ฝ in ๐‘’ dimensions, there is a ๐‘’-dimensional TQFT carrying this symmetry and anomaly.

42

slide-44
SLIDE 44
  • In ๐’† > ๐Ÿ‘, these TQFTs have a unique vacuum:

Trivial local operators, but non-trivial anomalies.

  • Hence, discrete, unitary, bosonic anomalies do not constrain local
  • perators in ๐’† > ๐Ÿ‘.
  • In ๐’† = ๐Ÿ‘, those TQFTs have degenerate vacua (spontaneous

symmetry breaking): Non-trivial local operators, non-trivial anomalies.

43

Higher Dimensions

slide-45
SLIDE 45

Turning to the non-anomalous caseโ€ฆ

  • So we have derived a

bound for an anomalous โ„ค&.

  • What can we say

about a non- anomalous โ„ค&?

44

2 4 6 8 0.5 1.0 1.5 2.0 2.5 3.0 ฮ”S(anomalous)

๐‘‘

slide-46
SLIDE 46

Order-Disorder Bound

  • For a non-anomalous โ„ค๐Ÿ‘, even though there is no bound on the

โ„ค๐Ÿ‘ odd operator, there is a bound on the lightest operator in

โ„‹Sโจโ„‹/

45

โ„ค๐Ÿ‘ odd (order) Defect Hilbert space (disorder)

  • The โ€œorderโ€ and โ€œdisorderโ€ operators cannot both be too

heavy (analogous to [Levin 2019]).

slide-47
SLIDE 47

2d Ising CFT [See Leonardoโ€™s Talk]

46

๐œ ๐‘ฆ

  • rder

โ„Ž = โ„Ž W = 1 16 ๐œˆ ๐‘ฆ disorder โ„Ž = โ„Ž W = 1 16

โ„ค& line

slide-48
SLIDE 48

Order-Disorder Bound

47

2 4 6 8 10 0.0 0.5 1.0 1.5 2.0 2.5 3.0 ฮ”HIยข/ยขยฃยค(non-anomalous)

Ising^2

slide-49
SLIDE 49

Conclusion

  • Weak Gravity Conjecture Question in CFT: Is there a bound
  • n the lightest charged operator?
  • In 2d CFT, there is a bound if the symmetry is anomalous, but

not otherwise.

  • Discrete โ€˜t Hooft anomalies constrain local operators in the

gapless phase.

48

slide-50
SLIDE 50

Outlook

  • Generalize to anomalies involving spacetime action, e.g. time-reversal

anomaly.

  • For anomalies that cannot be carried by TQFT, do they constrain

bound on charged operators? E.g. Continuous global symmetry in 4d.

  • Implications on the Weak Gravity Conjecture in AdS.

Chern-Simons terms and Confinement.

49

slide-51
SLIDE 51

Thank You!

50