Some progress on BPS spectrum of 5d/6d field theories
Transcript of Some progress on BPS spectrum of 5d/6d field theories
![Page 1: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/1.jpg)
Sung-Soo Kim (UESTC)
Some progress on BPS spectrum of
5d/6d field theoriesStrings and Related Physics
at USTC/Peng Huanwu Center for Fundamental Theory
2021-07-11
![Page 2: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/2.jpg)
This talk is based on
[2101.00023] “Bootstrapping BPS spectra of 5d/6d field theories”
[1908.11276] “Instantons from Blow-up”
Hee-Cheol Kim (POSTECH, Korea)Joonho Kim (IAS, USA) Minsung Kim (POSTECH, Korea)Kihong Lee (KAIST, Korea)Kimyeong Lee (KIAS, Korea)Jaewon Song (KAIST, Korea)
collaboration:
![Page 3: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/3.jpg)
In this talk, we discuss N=1 5d / 6d field theories (gauge theories and non-Lagrangian theories).
In particular, I will talk about how to compute BPS spectrum: Nekrasov partition function on the Omega background (R4 x S1)
Introduction
There are many systematic ways of obtain the ZNek : ADHM, topological vertex, DIM algebra
![Page 4: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/4.jpg)
In this talk, we discuss N=1 5d / 6d field theories (gauge theories and non-Lagrangian theories).
In particular, I will talk about how to compute BPS spectrum: Nekrasov partition function on the Omega background (R4 x S1)
Introduction
There are many systematic ways of obtain the ZNek : ADHM, topological vertex, DIM algebra
They have been successful in computing the partition for some cases, but each has their own limitations:
- exceptional gauge groups, - matter in higher dimensional representations, - higher CS level, - many 5-brane webs are still unknown. - orientifold planes and refinements, ….
![Page 5: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/5.jpg)
Introduction
Today, I will discuss yet another powerful way, which turns out a very powerful way:
Nakajima-Yoshioka Blowup equation
We devised a complete blowup formalism which enables one to compute BPS spectrum of any supersymmetric field theory(of UV completion) in 5d / 6d
![Page 6: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/6.jpg)
Content
• N=1 SQFTs in 5d and geometric engineering
• Blowup equation
• Main conjecture
• Examples
• Conclusion
![Page 7: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/7.jpg)
• 8 supercharges
• SU(2)R symmetry
• particle content and moduli space
• vector multiplet Coulomb branch (CB) G
• hypermultiplet Higgs branch (HB)
(Aμ, ϕ) →→ U(1)r
qA=1,2→
(including KK theories)N=1 Supersymmetric QFTs in 5d
• Instanton U(1) topological symmetry
• non-renormalizable CFT, UV fixed point→
M-theory
CY3
5d SCFTs
RG
5d gaugetheories
![Page 8: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/8.jpg)
Geometric Engineering
M-theory on shrinkable CY3 engineers 5d SCFTsshrinkable means all holomorphic surfaces shrink to a point or non-compact 2-cycles
singular limit of CY3 SCFT at singularity⇒ →
Hirzebruch surface: - building blocks of shrinkable CY3
P2Fn
- glue Fn and their blowups Fbn
• (geometric) classifications
![Page 9: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/9.jpg)
Gauge theory Geometry
Coulomb Branch (CB)
W-bosons
Flavors
BPS states
BPS charges
SCFT CY3
Kahler cone
compact 4-cycles
non-compact 4-cycles
M2-brane wrapping compact 2-cycles
Intersection number between2-cycles and 4 cycles
mass of BPS states volume of 2-cycles
⟷⟷
⟷
⟷
⟷
⟷
⟷
![Page 10: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/10.jpg)
Partition function on the deformed Ω ℝ4 × S1
This BPS partition function factorizes
Partition function here is the Witten index countingthe BPS states, annihilated by supercharge
![Page 11: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/11.jpg)
Blowup Equation
Recall on the -deformed ( ) Ω ℝ4 × S1 ℂ2 × S1
Blowup equation is a functional equation identifying two partition functions on different backgrounds
blowup:
the origin is replaced by an S2 or ℙ1
Z Z(N) Z(S)
before blowup after
summing over fluxes
![Page 12: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/12.jpg)
(Gottsche-) Nakajima-Yoshioka blowup equation
: magnetic fluxes on for (gauge, global) symmetries( n , B ) ℙ1: unitary / vanishing equationΛ ≠ Λ(ϕ)
(N )
(S)
P1
![Page 13: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/13.jpg)
Various studies and generalizations:
4d/5d SU(N)
exceptional gauge groups / matter
local CY3
elliptic, 6d
6d (2,0) theories, N=1*
RG flows, dualities, global symmetry
surface defects, Painleve
[Nakajim, Yoshioka 03, 05, 09], [Gottsche, Nakajim, Yoshioka 06]
[Keller, Song 12] [Kim-SSK-Lee-Lee-Song 19]
[Huang, Sun, Wang 17]
Gu, Haghighat, Klemm, Sun, Wang 18, 19, 20]
[Duan, Lee, Nahmgoong, Wang, 21]
[Lee-Sun 21]
[Jeong, Nekrasov 20]
![Page 14: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/14.jpg)
Our Main conjecture
![Page 15: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/15.jpg)
Partition function Z (on the Omega background) of any N=1 theory
(ii) consistent magnetic fluxes ( n , B )
(i) effective prepotential
can be computed by solving the blowup equation
with the following inputs:
![Page 16: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/16.jpg)
Effective PrepotentialIn 5d field theories, the effective action consists of
- mixed gauge/gravitational CS term
- cubic CS term
- mixed gauge/SU(2)R CS terms
[Witten 96] [Bonetti, Grimm, Hohenegger 13]
Together, we define the effective prepotential:
the cubic prepotential (or IMS prepotential) [Intriligator, Morrison, Seiberg 97]
p1 : Pontryagin class of tangent bundle of 5d spacetime
c2 : 2nd Chern class of SU(2)R symm bundle
![Page 17: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/17.jpg)
In geometry,
triple intersection number
Other coefficients are given by
= divisors DI= CY3X Si = compact divisors
For instance, pure SU(2) local (non-Lag.)ℙ2 6F = 9φ3, CG
i = −6, CRi = 2
6F = 6mφ2 + 8φ3, CGi = −4, CR
i = 2
Either gauge theory or geometric description is known, we can compute
![Page 18: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/18.jpg)
Magnetic flux on cannot be arbitrary. It satisfies the quantization condition.
( n , B ) ℙ1
Consistent magnetic flux
Suppose M2-brane wrapping a 2-cycle of the charge couples with the flux F
C ( jl, jr)
F is integral / half-integral when is even / odd⋅ C C2
F is integral / half-integral when 2 is odd / even⋅ C ( jl + jr)
W-bosons (0,1/2): integral flux
hypermultiplet (0,0) : half-integral flux
There exists a chamber such that mass of all BPS particles are non-negative. This further restricts background flux
![Page 19: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/19.jpg)
Solving the blowup equation
With two inputs: effective prepotential and magnetic fluxes
ΛZGV =∑
!n
(−1)|!n|e−V Z(N)GV (!n,B)Z(S)
GV (!n,B)
V = E − E(N) − E(S)
We recast the blowup equation:
where
3 different sets of (!n, !B) gives three linearly independent equations
can solve for three unknowns at each instanton order : ZGV , Z(N)GV , Z(S)
GV
Less than 3 sets ….
d: degree of 2-cycles; m: vol (2-cycles)
![Page 20: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/20.jpg)
Strategy for less than 3 sets
Expand the partition function in terms of the Kahler parameters
Solve the blowup equation order by order in the Kahler parameterto determine
Even undetermined, those we have determined are another inputfor higher order equation.
Solve iteratively ⇒ Nd(jl,jr)
Nd(jl,jr)
![Page 21: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/21.jpg)
Examples
![Page 22: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/22.jpg)
SU(2)θ=0,π
Two SU(2) theories are perturbatively indistinguishable (same ), but have different instanton spectra.
E
A good example for having same with different fluxes yielding different results→
BE
• Effective prepotential
Perturbative part
• Magnetic flux
![Page 23: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/23.jpg)
SU(2)θ=0,π
With these inputs, we can expand the blowup equation to thefirst order in the instanton fugacity e−m
Three unknowns: Z1, Z(N)1 , Z(S)
1
There are more than 3 distinct equations coming from fluxes:
Solutions:
![Page 24: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/24.jpg)
SU(2) again but with one blowup equation.
Recall GV inv. form:
: degree for 2-cycles e and f, respectively. e.g., (0,1) means perturbative part(d1, d2)
Suppose we found only one flux for SU(2)0 : Bm = 0
From the blowup equation at 1st order in the instanton , wethen further expand the equation with , namely
d1 = 1d2 e−2ϕ
→
We then solve this equation order by order in d2N (1,d2)
0, 12 is not fixed → 0But at higher orders in d1, it is fixed to 1 for d2=0, 0 otherwise
![Page 25: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/25.jpg)
Rank2: SU(3)κ , κ ≤ 7Geometrically, they are engineered by glueing two Hirzebruch surfaces.
![Page 26: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/26.jpg)
Rank2: SU(3)κ , κ ≤ 7Input:
• Magnetic flux
• Effective prepotential
• GV form
![Page 27: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/27.jpg)
Rank2: SU(3)5 and Sp(2)πTwo theories are known to be UV-dual / fiber-base dual.
Geometrically, F6 F0e h+ 2f
SU(3) frame:
Sp(2) frame:
Map between two theories [Hayashi-SSK-Lee-Yagi 15,16]
[Gaiotto, Kim 15]
![Page 28: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/28.jpg)
Rank2: SU(3)5 and Sp(2)π
π
• Magnetic flux
• Effective prepotential
Duality under the map
SU(3)5 ⇐⇒ Sp(2)π
![Page 29: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/29.jpg)
Rank2: SU(3)8
π
![Page 30: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/30.jpg)
Rank2: SU(3)8
![Page 31: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/31.jpg)
KK theory: Rank1
![Page 32: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/32.jpg)
KK theory: Rank2
![Page 33: Some progress on BPS spectrum of 5d/6d field theories](https://reader034.fdocuments.in/reader034/viewer/2022042206/6258f3fff3da453e5073a4e6/html5/thumbnails/33.jpg)
A systematic bootstrap method for BPS spectra of 5d N = 1 field theories (including KK theories), based on the Nakajima-Yoshioka’s blowup equation
Conclusion
With inputs: effective prepotential, consistent magnetic fluxes.
Various examples: rank 1 and rank 2, KK theories
Wilson lines: Online talk on July 14 by Minsung KIm
for any theories: either gauge theory description or geometric description