oist groups | - seok kim...• 2d n=(0,4) qfts on self-dual strings in tensor branch - study...

21
6d superconformal field theories II (lecture 4/4) Seok Kim (Seoul National University) 10 th Asian Winter School, OIST 15 Jan 2016

Upload: others

Post on 17-Oct-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

6d superconformal field theories II

(lecture 4/4)

Seok Kim(Seoul National University)

10th Asian Winter School, OIST15 Jan 2016

Page 2: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

References:

[Earlier works on 6d SCFTs from F-theory]Witten, 9603150Morrison, Vafa, 9602114, 9603161

[Classification of 6d SCFTs from F-theory]Heckman, Morrison, Vafa, 1312.5746Heckman, Morrison, Rudelius, Vafa, 1502.05405

[Conformal matters]Del Zotto, Heckman, Tomasiello, Vafa, 1407.6359Tachikawa, 1508.06679

[Gauge theories on self-dual strings]Haghighat, Iqbal, Kozcaz, Lockhart, Vafa, 1305.6322Joonho Kim, SK, Kimyeong Lee, Jaemo Park, Vafa, 1411.2324Haghighat, Klemm, Lockhart, Vafa, 1412.3152Gadde, Haghighat, Joonho Kim, SK, Lockhart, Vafa, 1504.04614Joonho Kim, SK, Kimyeong Lee, 1510.03128Hee-Cheol Kim, SK, Jaemo Park, work to appear soon.

Page 3: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

6d SCFTs from F-theory• 6d SCFTs from F-theory on elliptic CY3

• “Atomic classification” [Morrison, Taylor] (2012) [Heckman, Morrison, Vafa] (2013)

[Heckman, Morrison, Rudelius, Vafa] (2015)

• 2d N=(0,4) QFTs on self-dual strings in tensor branch- study subsectors of 6d SCFT from exact Lagrangian

- shed more concrete light on the geometric classification

- related to other problems (Yang-Mills instantons, compactifications of 4d isolated SCFTs)

6d CFT supported on a singularity with collapsed 2-cycles

B4

T2 : axion-dilaton

degeneration = 7-branes

3

Page 4: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

Some features• The base: - singularity resolved to intersecting P1’s (tensor branch)

• The fiber: degeneration yields 7-branes

- wrapping compact 2-cycles: gauge symmetry

- wrapping non-compact 2-cycles: global symmetry, matters, etc.

• 6d CFTs appear in a sequence of Higgsing:- no relevant deformations allowed (e.g. no mass terms for “quarks”)

• The classification can be viewed in two ways: - top-down: classify base (non-Higgsrable CFTs), and then fiber (unHiggsing sequence)

- bottom-up: 6d EFT in tensor branch, anomaly-free SYM coupled to hypers

• We shall mostly rely on bottom-up approach.

B4

T2 : axion-dilaton

degeneration = 7-branes

4

Page 5: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

The “atoms”• 6d minimal SCFTs [Witten] [Morrison,Vafa] (1996)

- 1 tensor multiplet & non-Higgsable gauge symmetry

- F-theory: “atomic” building blocks, via “joining” and/or unHiggsing the atoms

• “atomic” SCFTs: minimal SCFTs w/ n ≥ 3, and the followings

2

22 2 2 2

ADE (2,0) SCFTs

minimal SCFTs

2

22 2 2 2 2

2

22 2 2 2 2 2

2

2 22 2 2 2 2 . . .

2 22 2 2 2 2 . . .

5

Page 6: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

Combining the atoms• basic rule: glue 2 atoms using E-string theory, gauging subgroup of E8

- Examples:

- Some (old & new) examples:

- General results: “almost” a linear quiver [Heckman, Morrison, Rudelius, Vafa]

[Note: linearity of NS5-D6 chains for 6d CFT vs. (p,q)-webs for 5d CFT]

1 3 1(E6,E6) conformal matter

2 3 2(E7,E7) 1 1

2 2 31 1 1 3 25 2 1(E8,E8)

21 2 2 2M5’s on M9 2

1 3 25 21 44 1 36 1 2 38 2

SO(8) x SO(8) E6 x SU(3) F4 x G2 E7 x SU(2)

2 1 63 1 1 6 13 2 3 2

13

dual to M5’s probing R x C2/ΓEn

E6E6

fractional M5’s

E6E6SU(3)

6

Page 7: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

Minimal SCFTs from bottom-up• minimal SCFTs:

- n=1 and 2: E-string theory and A1-type (2,0) theory (B4 = C2/Z2)

- other n’s: gauge symmetry

- Classical gauge anomaly:

- 1-loop ~ : should factorize

- all exceptional & SU(2), SU(3), SO(8)

- Global anomaly constraints:

[Bershadsky, Vafa]

7

Page 8: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

UnHiggsing• Can make G bigger & add more hypers: constrained by anomaly cancelation.

- allowed unHiggsing patterns of some minimal SCFTs

n=1:

n=2:

n=3:

n=4: : classical Higgsing chains

8

Page 9: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

Strings of minimal SCFTs• We know two 2d QFTs well: strings at n=1,2 (from D-branes, open strings)

• Other minimal SCFTs: self-dual strings = instanton strings

• Most gauge groups are exceptional.

• Consider the apparently simpler cases: n=3,4 with SU(3), SO(8)

• n=4: [Haghighat, Klemm, Lockhart, Vafa] 2014

- “Bottom-up”: SO(8) ADHM:

- Sp(k) anomaly-free. So a good uplift of the UV incomplete NLSM.

- F-theory construction has orientifold limit

- Or, (dual) realizations from massive IIA

SO(8) Sp(k) antisymmetric

O8+

NS5 NS5

8 D6’s

D2’s

NS5 NS5

4 D6’s + O6-

D2’s

9

Page 10: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

Strings of minimal SCFTs: n=3• Naively, can try a guess w/ SU(3) ADHM (“bottom-up” approach)

- SU(3) ADHM:

- U(k) anomaly:

• Anyway, it is natural for it to fail. (ADHM is for open strings.)

- SU(3) is realized “nonperturbatively” or “exceptionally” [Grassi, Halverson, Shaneson]

SU(3) U(k) adjoint

~

A = (1,0) C = (0,-1)

C A

F1

A C

C A

D1

A C

C A

string junction

10

Page 11: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

Exceptional instanton strings• So including the SU(3) case, the followings are realized “non-perturbatively.”

• The SU(3) SCFT is also important for understanding other “atoms”

• SU(3) is closely related to G2 instantons, and also instantons in “SO(7) + spinors”

• Strategy w/ SU(3) self-dual strings: - Keep going on with the bottom-up approach

- Cure the pathology of naïve SU(3) quiver, and check other physics.

11

Page 12: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

The cure for SU(3)• Proposal: I couldn’t make an N=(0,4) gauge theory uplift. I can do N=(0,2).

- Add the following N=(0,2) matters:

- complex vector multiplet:

- anomaly: SU(k)

- Suitable superpotentials or D-term-like potentials for Fermi and complex vectors.

New ingredients of N=(0,2) theories to turn on non-holomorphic interactions

Shouldn’t affect non-linear sigma model.New light d.o.f. at small instanton singularity.

from ADHM ~

from others ~

12

Page 13: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

The moduli space, NLSM & UV completion• Solving the zero potential condition, we find

- Extra fields = 0

- The ADHM fields satisfying

- The moduli space becomes hyper-Kahler: supports (0,4) enhancement of NLSM in IR

• In the Higgs branch, the non-linear sigma model description shouldn’t change.

• All the other fields: extra degrees localized at the small instanton singularity. UV completion.

13

Page 14: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

Observables• elliptic genus:

• Easily computable if we have a UV gauge theory. [Benini, Eager, Hori, Tachikawa]

• For simplicity, let us consider single string: (similar works done for k=2,3)

• This is very rich data. One can make highly nontrivial tests of our theory with it.

14

Page 15: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

Relation to topological strings on CY3• Elliptic genus is defined after compactifying spatial circle.

• T-dualize F-theory on R4,1 x S1 x CY3 ~ type IIB on R4,1 x S1 x B4

• M-theory on R4,1 x [same CY3]- D3 charge (IIB) ~ D2 charge (IIA) ~ M2 charge (M)

- P (IIB) ~ F1 winding (IIA) ~ M2 wrapped on T2 fiber

- BPS states counted by elliptic genus ~ BPS states of wrapped M2-branes on CY3

- This is basically counted by topological string amplitudes

- We have abundant “experimental data” on these strings obtained from topological strings.

15

Page 16: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

Tests• Partial data known from topological strings at k=1,2,3 [Haghighat, Klemm, Lockart, Vafa]

complete agreement

16

Page 17: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

Tests (continued)

• This also works perfectly well with higher string numbers.

• Another test: is the 1d reduction consistent with conventional SU(3) ADHM?

• 1d limit N0,d1,d2: agrees w/ Nekrasov partition function from standard ADHM quiver.

• Alternative SU(3) ADHM in 1d/5d: different UV completion visible only in 2d/6d.

- Claim: flows to the same superconformal QM in 1d.

- The new version allows interesting generalizations (later)

17

Page 18: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

6d unHiggsing in 2d• There are many sequences of Higgsing/unHiggsing chains.

• Have studied the unHiggsings of n=1,2,3:

- n=2:

- n=1:

• It is easy for “standard ADHM” to go bad in 2d: 6d SU(2) at Nf = 10

Sp(1)

O(k)

symmetric

SO(20)

SU(2) w/ Nf = 10

2d uplift of standard ADHM works

E-strings

18

Page 19: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

UnHiggsing of SU(3) in 2d• Cannot unHiggs to SU(N)’s: SU(3) at Nf = 0 is really exceptional

• Some progress with G2 instantons. SO(7) w/ matters in spinor rep.

- In the new SU(3) instanton gauge theory, easy to do exceptional unHiggsing procedures

- G2 & SO(7) w/ spinor matters: under construction [Hee-Cheol Kim, SK, Jaemo Park] in progress

- Correct gauge theory descriptions of the elliptic genera and 1d-reduced Witten indices

19

Page 20: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

Chains of strings• One can “glue” the minimal CFTs or strings: [Gadde, Haghighat, J.Kim, SK, Lockhart, Vafa]

• These make 6d CFTs & strings with higher dim’l tensor branches

• AM (2,0) CFT strings probing AN-1 orbifold [Haghighat, Iqbal, Kozcaz, Lockhart, Vafa] (2013)

• (1,0) CFT for M9-M5-M5- …. (higher rank E-strings): [GHKKLV] [J.Kim, SK, K.Lee]

• (E6, E6) conformal matter [Del Zotto, Heckman, Tomasiello, Vafa] 2014:

222 2 2 2 . . . .

221 2 2 2 . . . .E8

1 3 1 to appear [H.-C. Kim, SK, J. Park]

20

Page 21: OIST Groups | - Seok Kim...• 2d N=(0,4) QFTs on self-dual strings in tensor branch - study subsectors of 6d SCFT from exact Lagrangian - shed more concrete light on the geometric

Concluding remarks• 6d CFTs are hard. Even the soliton QFTs are often hard for most (1,0) theories.

• We are getting some clues on gauge theories on solitons: - not only open strings, but also various (p,q) strings

- exceptional instantons’ ADHM-like description

- Further extensions? To all exceptional instantons?

• Related to describing some physics of 4d exceptional CFTs: D3 probing

exceptional 7-branes

• 6d (2,0) on Riemann surface yields class S. 4d exceptional SCFTs on S2 yields

our 2d gauge theories.

• Of course, can try to use these 2d (or 1d) observables in CFT partition functions

21