200 likes | 453 Views
Conformal field theories vs. SUSY gauge theories: the AGT conjecture. A.Mironov Lebedev Physical Institute and ITEP. M-theory. projection. duality transformations. M-theory + Brane pictures. predictions. abstract. concrete. AdS/CFT ideology. AdS/CFT patterns
E N D
Conformal field theories vs. SUSY gauge theories: the AGT conjecture A.Mironov Lebedev Physical Institute and ITEP
M-theory projection duality transformations
M-theory + Brane pictures predictions abstract concrete AdS/CFTideology • AdS/CFT patterns • Alday – Maldacena conjecture • Alday-Gaiotto-Tachikawa (AGT) • conjecture
Conformal(2,0)6d theory Twisted compactification on a 2d Riemann surface 4d superconformal field theory Generalization of Witten’s M-theory construction of Seiberg-Witten theories
AGT conjecture • Partition function of 4d N=2 superconformal gauge theory in -background in the low energy limit (=deformed Seiberg-Witten theory; = Nekrasov functions) • Conformal blocks in 2d conformal field theory (Lioville/Toda theory) • Matrix model with logarithmic potential (Dijkgraaf,Vafa; Mironov, Morozov, Shakirov)
Basic example • N=2 SUSY 4d theory with U(2) gauge group and 4 fundamental matter hypermultiplets (beta-function is zero, the theory is conformal) • 4-point conformal block (in the Liouville theory)
Seiberg-Witten theory Low energy effective action (pure gauge SU(2)): prepotential is v.e.v. of the scalar field - coupling constant
perturbative contribution instantonic corrections Calculation of the instantonic contributions requires regularization -background
Nekrasov functions Instead of instantons on , instantons on -background:
2d conformal field theory • Energy-momentum tensor: • Virasoro algebra central charge
Structure of operators • Primary fields: • Secondary fields: Conformal dimension
Correlators etc
Correlators - double ratio
AGT correspondence are linearly related with Checks and extensions
AGT correspondence • Conformal block is universal, hence, AGT solves the problem of constructing generic conformal block • 3-point is not universal, Z_{pert}= Liouville 3-point function • Parametrization makes natural the free field approach. Hence, matrix models