Arxiv:1512.05388V2 [Hep-Th] 2 Jan 2016 1

Total Page:16

File Type:pdf, Size:1020Kb

Arxiv:1512.05388V2 [Hep-Th] 2 Jan 2016 1 BPS/CFT CORRESPONDENCE: NON-PERTURBATIVE DYSON-SCHWINGER EQUATIONS AND qq-CHARACTERS NIKITA NEKRASOV Abstract. We study symmetries of quantum field theories involving topologically dis- tinct sectors of the field space. To exhibit these symmetries we define special gauge invariant observables, which we call the qq-characters. In the context of the BPS/CFT correspondence, using these observables, we derive an infinite set of Dyson-Schwinger- type relations. These relations imply that the supersymmetric partition functions in the presence of Ω-deformation and defects obey the Ward identities of two dimen- sional conformal field theory and its q-deformations. The details will be discussed in the companion papers. Contents 1. Introduction 4 1.1. Dyson-Schwinger equations 4 1.2. Non-perturbative Dyson-Schwinger identities 6 1.3. Organization of the presentation 8 1.4. Acknowledgements 10 2. The BPS/CFT correspondence 12 2.1. = 2 partition functions 12 2.2. DefectN operators and lower-dimensional theories 13 2.3. The Y- and X-observables 14 2.4. The physics of X-observables 14 arXiv:1512.05388v2 [hep-th] 2 Jan 2016 2.5. Hidden symmetries 17 2.6. Some notations. 17 2.7. Equivariant virtual Chern polynomials 22 3. Supersymmetric gauge theories 22 3.1. Quivers 22 3.2. Quivers with colors 22 3.3. The symmetry groups 22 3.4. The parameters of Lagrangian 24 3.5. The group H 25 3.6. Perturbative theory 26 3.7. Realizations of quiver theories 28 4. Integration over instanton moduli spaces 30 1 2 NIKITA NEKRASOV 4.1. Instanton partition function 30 4.2. Characters, tangent spaces 32 4.3. Integral representation. 33 4.4. Full partition functions 34 5. The Y observables 34 5.1. The bulk− Y-observables 35 5.2. Q-observables 39 6. Enter the qq characters 40 6.1. The main theorem− 40 7. Examples of qq characters 40 7.1. A-type theories:− one factor gauge group 41 7.2. A-type theories: linear quiver theories 42 7.3. The D-type theories 44 8. The qq character formula 45 8.1. Nakajima− quiver variety 45 8.2. The bi-observables 48 8.3. The formula 48 8.4. Five dimensional theory 50 8.5. The symmetry 51 8.6. Convergence of the integrals 51 8.7. Reduction to the fixed loci 52 9. More on the Physics of qq characters 55 9.1. Characters from supersymmetric− quantum mechanics 55 9.2. Gauge theory realization of the qq-characters. 56 9.3. Other realizations of X-observables 62 10. The first applications 63 10.1. Effective prepotentials and superpotentials 63 10.2. Instanton fusion 63 10.3. Undressing the U(1) legs 63 10.4. Fractional instantons and quantum differential equations 66 11. Discussion and open questions 67 References 68 BPS/CFT, DYSON-SCHWINGER, QQ-CHARACTERS 3 In memory of Lev Borisovich Okun (1929 2015) − 4 NIKITA NEKRASOV 1. Introduction 1.1. Dyson-Schwinger equations. The correlation functions of Euclidean quantum field theory are defined by the path integral: 1 Φ 1 S[Φ] (1) 1(x1)... n(xn) = D e−h¯ 1(x1)... n(xn), hO O i Z ZΓ O O suitably regularized and renormalized. The classical theory is governed by the Euler- Lagrange equations, which are derived from the variational principle: Φ (2) δS[ cl] = 0 These equations are modified in the quantum theory: consider an infinitesimal trans- formation (3) Φ Φ + δΦ −→ Assuming (3) preserves the measure DΦ in (1) (no anomaly), then (4) (x )... (x )δS[Φ] = hO1 1 On n i n h¯ 1(x1)... i 1(xi 1)δ (xi) i+1(xi+1)... n(xn) hO O − − O O O i Xi=1 In (3) the change of variables can be also interpreted as a small modification of the integration contour Γ in (1), Γ Γ = Γ + δΓ, as in the picture below → ′ Fig.1 The small change of contour does not change the integral of a closed form. The usefulness of the Dyson-Schwinger equations depends on whether one can find a convenient set of observables i in (4) and perhaps also take a limit in order to get a closed system of equations. Formally,O the loop equations [69], [72] are an example of such a system. Another, related example, is the matrix model, i.e. the zero dimensional gauge theory. The simplest model is the single matrix integral: Φ 1 Tr V (Φ) (5) Z = D e− gs N p+1 ZLieU(N) "VolU(N)# BPS/CFT, DYSON-SCHWINGER, QQ-CHARACTERS 5 with the polynomial potential p t (6) V (x) = k xk+1 p+1 (k + 1)! Xk=0 The convenient observable is 1 (7) Y(x) = g Tr V ′(x) s N x Φ − − In the limit N , gs 0, with h¯ = gsN fixed, the expectation value Y (x) = Y(x) obeys: → ∞ → h i 2 2 (8) Y (x) = Vp′+1(x) + fp 1(x) − where fp 1(x) is a degree p 1 polynomial of x: − − Φ V ′( ) V ′(x) (9) fp 1(x) = Tr N − − * Φ x ! + − whose coefficients encode the expectation values of degree p 1 Casimirs of Φ. One can reformulate (8) somewhat more invariantly by stating th≤at− the singularities of Y(x) disappear in Y(x) 2, in the planar limit N . For finite N,h¯ the Dyson-Schwinger equation hash the formi → ∞ 2 2 (10) Y(x) gs ∂xY(x) = Vp′+1(x) + fp 1(x) − − Although the equationD (10) is not a closedE system of equations per se, it illustrates a principle, which we shall generalize below: given the basic operator Y(x) which, as a function of the auxiliary parameter x has singularities, one constructs an expression, e.g. (11) T(x) = Y(x)2 h∂¯ Y(x) − x whose expectation value has no singularities in x for finite x, cf. (10). We shall be able to generalize this procedure for the supersymmetric gauge theories in various spacetime dimensions. 6 NIKITA NEKRASOV 1.2. Non-perturbative Dyson-Schwinger identities. Let us now study the identities, which can be interpreted as the analogs of (4), (10) corresponding to non-trivial per- mutations of homology classes Γ = n Γ Γ = n Γ , where (Γ ) is some basis a a a −→ ′ a a′ a a in the relative homology, cf. [7] P P C C H 1 dim( , + ). 2 F F C C C where is the space of complexified fields, and + is the domain, where ReS[Φ]F 0. F ⊂ F H. Nakajima≫ [76] discovered that the cohomology of the moduli spaces of instantons carries representations of the infinite-dimensional algebras (this fact was used in the first strong coupling tests of S-duality of maximally supersymmetric gauge theories [118]). These algebras naturally occur in physics as symmetries of two dimensional conformal theories. This relation suggests the existence of a novel kind of symmetry in quantum field theory which acts via some sort of permutation of the integration regions in the path integral. The transformations of cohomology classes do not, typically, come from the point symmetries of the underlying space. Indeed, the infinitesimal symmetries, e.g. generated by some vector field v Vect(X) act trivially on the de ∈ Rham cohomology H∗(X) of X, as closed differential forms change by the exact forms: (12) δω = Lie ω = d(ι ω) = [δω] = 0 H∗(X) v v ⇒ ∈ The symmetries of the cohomology spaces come, therefore, from the large transforma- tions f : X X or, more generally, the correspondences L X X: → ⊂ × (13) φL = t (δL s∗) : H∗(X) H∗(X) ∗ ∧ → where δL is the Poincare dual to L, the maps s,t are the projections X X (14) s × t Xւ ց X and we assume the compactness and smoothness. There exist generalizations which relax these assumptions. The physical realization of the symmetries generated by (14) is yet to be under- stood. It was proposed in [89, 97, 98] that there are symmetries acting between differ- ent quantum field theories, for example changing the gauge groups. Conjecturally [81] supersymmetric domain walls in quantum field theory separating different phases of one theory or even connecting, e.g. in a supersymmetric fashion, two different quantum field theories can be used to generate the generalized symmetries of the sort we dis- cussed earlier. More precisely, one exchanges the spatial and the temporal directions, producing the S-brane [48] version of the domain wall. This paper deals with another type of large symmetries. They are generated by the transformations (3) changing the topological sector, i.e. mapping one connected component of the space of fields to another. We shall be concerned with gauge theories, BPS/CFT, DYSON-SCHWINGER, QQ-CHARACTERS 7 i.e. the Yang-Mills theory on the space-time N, 1 iϑ Tr Tr (15) Z = DA exp 2 FA ⋆FA + 2 FA FA Z −4g ZN ∧ 8π ZN ∧ ! with the gauge group Gg, and its supersymmetric generalizations. The connected com- ponents of the space of gauge fields are labeled by the topology types of the principal Gg-bundles, and measured, in particular, by the instanton charge 1 Tr (16) n = 2 FA FA. −8π ZN ∧ Gauge theory path integral is the sum over n of the path integrals over the space of fields of fixed topology: Fig.2 Path integral in U(3) gauge theory in the sector with k = 14 instanons. (1) (1) (2) (2) (3) (3) The labels (λ1 ,λ2 ,...)(λ1 ,λ2 ,...)(λ1 ,λ2 ,...) denote various instanton configurations The analog of the contour deformation (3) is the discrete deformation, as in the picture: 8 NIKITA NEKRASOV Fig.3 Path integral in U(3) gauge theory in the sector with k = 14 instanons, and discrete deformation to account for k = 15 instantons There is no a priori way to deform a connection A0 on a principal bundle P0 to a connection A1 on a principal bundle P1, which is not isomorphic to P0.
Recommended publications
  • Arxiv:1404.2323V1 [Math.AG] 8 Apr 2014 Membranes and Sheaves
    Membranes and Sheaves Nikita Nekrasov and Andrei Okounkov April 2014 Contents 1 A brief introduction 2 1.1 Overview.............................. 2 1.2 MotivationfromM-theory . 3 1.3 Planofthepaper ......................... 7 1.4 Acknowledgements ........................ 7 2 Contours of the conjectures 8 2.1 K-theorypreliminaries ...................... 8 2.2 Theindexsheaf.......................... 10 2.3 Comparison with Donaldson-Thomastheory . 15 2.4 Fields of 11-dimensional supergravity and degree zero DT counts 19 3 The DT integrand 24 3.1 Themodifiedvirtualstructuresheaf. 24 3.2 The interaction term Φ ...................... 28 arXiv:1404.2323v1 [math.AG] 8 Apr 2014 4 The index of membranes 33 4.1 Membranemoduli......................... 33 4.2 Deformationsofmembranes . 36 5 Examples 37 5.1 Reducedlocalcurves ....................... 37 5.2 Doublecurves........................... 39 5.3 Single interaction between smooth curves . 42 5.4 HigherrankDTcounts. .. .. 43 5.5 EngineeringhigherrankDTtheory . 45 1 6 Existence of square roots 49 6.1 Symmetricbundlesonsquares . 49 6.2 SquarerootsinDTtheory . 50 6.3 SquarerootsinM-theory. 52 7 Refined invariants 54 7.1 Actionsscalingthe3-form . 54 7.2 Localization for κ-trivialtori................... 56 7.3 Morsetheoryandrigidity . 60 8 Index vertex and refined vertex 61 8.1 Toric Calabi-Yau 3-folds . 61 8.2 Virtualtangentspacesatfixedpoints . 63 8.3 Therefinedvertex ........................ 66 A Appendix 70 A.1 Proofofthebalancelemma . 70 1 A brief introduction 1.1 Overview Our goal in this paper is to discuss a conjectural correspondence between enumerative geometry of curves in Calabi-Yau 5-folds Z and 1-dimensional sheaves on 3-folds X that are embedded in Z as fixed points of certain C×- actions. In both cases, the enumerative information is taken in equivariant K-theory, where the equivariance is with respect to all automorphisms of the problem.
    [Show full text]
  • Model Building and SUSY Breaking on D-Branes
    Model building and SUSY breaking on D-branes Dmitry Malyshev a dissertation presented to the faculty of princeton university in candidacy for the degree of doctor of philosophy recommended for acceptance by the department of physics Adviser: Herman Verlinde September 2008 c Copyright by Dmitry Malyshev, 2008. All rights reserved. Abstract In the recent years there has been an increase of the interest in applying the String theory to construct viable extensions of the Standard Model and to find stringy analogs of the known field theory models for supersymmetry breaking. In my dissertation I will focus on the constructions involving the D-branes at the Calabi-Yau singularities in type IIB string theory. The main motivations for this choice are: the decoupling of the D-brane field theory from the supergravity, the well established tools for deriving the field theories from the configurations of the D-branes, and the possibility of using the gauge-gravity correspondence in solving some non-perturbative aspects in the field theory. A construction of an extended supersymmetric Standard Model on a D3-brane at the del Pezzo 8 singularity is presented in the first part of the dissertation. In the second part we discuss the possible representations of the SUSY breaking models in String Theory and obtain the metastable SUSY breaking vacuum in a system of D-branes on the suspended pinch point singularity. The gauge mediation of this SUSY breaking model is described in details. In the simplest model the spectrum of particles in the visible sector has a split SUSY breaking, the sfermions are one order of magnitude heavier than the gauginos.
    [Show full text]
  • Nikita Nekrasov 講義録
    Nikita Nekrasov 講義録 December, 1998 講義録作成1 :橋本幸士, 岸本 功 (京大理) 目次 第 I 部 超共形ゲージ理論と AdS 超重力理論 2 1 Introduction と motivation 3 2 Orbifold 理論 6 3 時空の状況 12 4 Orbifold から conifold への変形 17 5 まとめ 19 第 II 部 N =2ゲージ理論における状態のカウント 21 6 導入 22 7 D3-プローブ上の理論 22 8M理論への持ち上げ/引き落とし 27 9 結論 39 1この講義録は「Workshop ”ゲージ理論の力学と弦双対性” 1998 年 12 月 16 日(水)–12月 18 日(金)東京工業大学国際交流会館」における Nekrasov 氏の講義に基づくものです。第 I 部が 16 日に、第 II 部が 18 日に行われました。 1 第 I 部 超共形ゲージ理論とAdS超重力理論 (SUPER)CONFORMAL GAUGE THEORIES AND ANTI-DE-SITTER SUPERGRAVITY2 Nikita Nekrasov 1. Introduction と motivation ——哲学, D-brane と付随した場の理論, 特異な幾何からの conformal 理論 2. Orbifold 理論 ——理論の構築(:gauge 群, matter の内容, (超)対称性), β 関数の計算, 摂動論の解析 3. 時空の状況 ——near-horizon limit, 超重力における変形 4. Orbifold から conifold への変形 ——場の理論の実現, Higgs branch の幾何, 時空解釈(conjecture) 2文献 [1, 2] に基づく。[3, 4, 5, 6, 7, 8] も見よ。 2 第 1 章 Introduction と motivation 双対性に関する動きの中でおそらく最も(そしておそらく唯一つの)重要な教訓は、面白い物理は面白い幾何に関係 しているという発想に立ち返るということである。Einstein の時代に比べての違いは、勿論量子的な物理量が古典的な 幾何を通じて表現されうるという仮定である。例えば、N =2SU(2) gauge 理論の有効結合定数(と長距離相関関数) は補佐的な楕円曲線 Eu の modular 変数 τ(u) を用いて表される: y2 =(x − u)(x2 − Λ4). (1) ここで u = hTrφ2i は真空の moduli 空間を label する。 u-plane θ(u) 4πi Eu: τ(u)= 2π + e2(u) vacuum 図 1: N =2SU(2) gauge 理論の moduli 空間。 物理から幾何、また逆に幾何から物理への変換を理解するのに必要不可欠な道具は D-brane である。D-brane に関し ての良い点は以下の二つである: (1) D-brane の上に弦が端点を持つので、いくつかの D-brane がお互いに重なるとその worldvolume 上に非可換 gauge boson が発生する。(2) D-brane は Ramond-Ramond 場の電荷を持っており、(適切な条 件の下で)弦理論における soliton として記述されうる。 (1) (2) 図 2: D-brane の二つの描像。(1) 開弦の端点としての D-brane、(2) 弦理論の soliton としての D-brane。 一般的な発想は、gauge 理論とそれに対応する soliton の背景を伝播する弦の理論を等しくするように、D-brane を用 いる、ということである。もし(IIB 型超弦理論で)N 枚の D3-brane が平坦な空間内でお互いに重なっていると、この 重なった brane は二つの記述法を持つ: 1.
    [Show full text]
  • Mini-Symposium on String Theory and M-Theory
    Mini-Symposium on String Theory and M-Theory Chair: Michael R. Douglas Duiliu-EmanuelDiaconescu JaumeGomis ChrisM.Hull AlbrechtKlemm Jos´eM.F.Labastida MarcosMarin˜ o NikitaNekrasov ChristophSchweigert AngelM.Uranga Duiliu-Emanuel Diaconescu Institute for Advanced Study, Princeton K-theory from M-theory Wednesday, 12.30 – 13.00, Room B I report on joint work with Gregory Moore and Edward Witten —“E8 Gauge Theory, and a Derivation of K-Theory from M-Theory”. It has become clear in recent years that type II string theories contain nonperturbative objects —called D-branes— which support gauge fields. From a more abstract point of view, D-brane charges are classified by K-theory classes of the space- time manifold X. Since D-branes are charged under Ramond-Ramond fields, E. Witten and then G. Moore and E. Witten proposed a K-theoretic interpretation of Ramond-Ramond fluxes themselves. This is more striking, as the RR fields are states in the perturbative closed string spectrum which a priori have no connection with vector bundles and K-theory. In the present work, we show that this proposal is consistent with M-theory. The main idea is a detailed comparison of the leading terms in the long distance partition function of M-theory and IIA string theory. The analysis relies heavily on index theory and homotopy theory techniques. It is found a precise agreement which confirms the internal consistency of M-theory, as well as the validity of the K-theoretic formalism in string theory. Jaume Gomis Caltech University D-branes in nongeometric phases of string theory Tuesday, 12.00 – 12.30, Room B Recent progress in string theory hinges upon our improved understanding of its nonperturbative states.
    [Show full text]
  • Gravity, Gauge Theory and Strings
    Les Houches - Ecole d'Ete de Physique Theorique 76 Unity from Duality: Gravity, Gauge Theory and Strings Les Houches Session LXXVI, July 30 - August 31, 2001 Bearbeitet von Constantin P. Bachas, Adel Bilal, Michael R. Douglas, Nikita A. Nekrasov, Francois David 1. Auflage 2003. Buch. xxxiv, 664 S. Hardcover ISBN 978 3 540 00276 5 Format (B x L): 15,5 x 23,5 cm Gewicht: 1220 g Weitere Fachgebiete > Technik > Verfahrenstechnik, Chemieingenieurwesen, Lebensmitteltechnik Zu Inhaltsverzeichnis schnell und portofrei erhältlich bei Die Online-Fachbuchhandlung beck-shop.de ist spezialisiert auf Fachbücher, insbesondere Recht, Steuern und Wirtschaft. Im Sortiment finden Sie alle Medien (Bücher, Zeitschriften, CDs, eBooks, etc.) aller Verlage. Ergänzt wird das Programm durch Services wie Neuerscheinungsdienst oder Zusammenstellungen von Büchern zu Sonderpreisen. Der Shop führt mehr als 8 Millionen Produkte. Preface The 76th session of the Les Houches Summer School in Theoretical Physics was devoted to recent developments in string theory, gauge theories and quantum gravity. As frequently stated, Superstring Theory is the leading candidate for a unified theory of all fundamental physical forces and elementary parti- cles. This claim, and the wish to reconcile general relativity and quantum mechanics, have provided the main impetus for the development of the the- ory over the past two decades. More recently the discovery of dualities, and of important new tools such as D-branes, has greatly reinforced this point of view. On the one hand there is now good reason to believe that the underlying theory is unique. On the other hand, we have for the first time working (though unrealistic) microscopic models of black hole mechan- ics.
    [Show full text]
  • ABCD of Instantons
    ABCD of instantons Nikita NEKRASOV and Sergey SHADCHIN Institut des Hautes Etudes´ Scientifiques 35, route de Chartres 91440 – Bures-sur-Yvette (France) Juillet 2004 IHES/P/04/19 hep-th/0404225 IHES/P/04/19 ITEP-TH-17/04 ABCD of instantons Nikita Nekrasov1 and Sergey Shadchin Institut des Hautes Etudes Scientifiques 35 route de Chartres, 91440 Bures-sur-Yvette, FRANCE email: [email protected], [email protected] Abstract We solve = 2 supersymmetric Yang-Mills theories for arbitrary N classical gauge group, i.e. SU(N), SO(N), Sp(N). In particular, we derive the prepotential of the low-energy effective theory, and the corresponding Seiberg-Witten curves. We manage to do this without resolving singularities of the compactified instanton moduli spaces. arXiv:hep-th/0404225 v2 6 May 2004 1on leave of absence from ITEP, Moscow, Russia Contents 1 Introduction 2 1.1 Notationsandconventions . 4 2 =2 Super Yang-Mills 6 N 2.1 Thefieldcontentandtheaction . 6 2.2 Seiberg-Wittentheory . 7 2.3 Topologicaltwist ......................... 8 3 The prepotential 9 3.1 Five dimensional perspective . 9 3.2 Tracing over instanton moduli space . 11 3.2.1 Amodelexample ..................... 12 3.2.2 Backtoinstantons . 16 3.3 Fourdimensionallimit . 16 4 ADHM construction 17 4.1 SU(N)case ............................ 17 4.2 SO(N)case ............................ 20 4.3 Sp(N)case ............................ 22 5 Derivation of the prepotential 23 5.1 Five dimensional expression . 23 5.1.1 TheHaarmeasures . 23 5.1.2 The case of Bn and Dn .................. 25 5.2 Fourdimensionallimit . 26 5.3 Thecontourintegrals. 28 6 Seiberg-Witten data 31 7 Instanton corrections 36 7.1 Consistencycheck.
    [Show full text]
  • Two-Dimensional Topological Strings Revisited
    Two-Dimensional Topological Strings Revisited Nikita NEKRASOV Institut des Hautes Etudes´ Scientifiques 35, route de Chartres 91440 – Bures-sur-Yvette (France) Aoˆut2009 IHES/P/09/17 Lett Math Phys (2009) 88:207–253 DOI 10.1007/s11005-009-0312-9 Two-Dimensional Topological Strings Revisited NIKITA A. NEKRASOV Institut des Hautes Etudes Scientifiques, Le Bois-Marie, 35 route de Chartres, 91440 Bures-sur-Yvette, France. e-mail: [email protected] Received: 31 January 2009 / Accepted: 10 March 2009 Published online: 28 March 2009 – © Springer 2009 Abstract. The topological string of the type A with a two-dimensional target space is stud- ied, an explicit formula for the string partition function is found and the target space field theory reproducing this partition function is proposed. This field theory has an infinite set of additional deformations overlooked by the standard definition of the topological string. It can be in turn coupled to gravity, thereby realizing the “worldsheets for worldsheets” idea. We also exhibit the wave function nature of the string partition function and suggest a new relation to quantum integrable systems. Mathematics Subject Classification (2000). 05A15, 81T13, 81T30, 81T45. Keywords. string theory, random partitions, gauge theory. 1. Introduction Topological strings are a continuous source of inspiration for gauge and string theorists. They can be studied on their own, for the purely mathematical reasons. Sometimes the amplitudes of the topological string can be viewed as the subset of the “physical” superstrings. The topological strings produce exact all-string-loop results [1], from which one hopes to gain some intuition about the quantum theory of gravity, perhaps even at the non-perturbative level.
    [Show full text]
  • Instantons at Crossroads, Moduli and Compactness Theorem
    ADV. THEOR. MATH. PHYS. Volume 21, Number 2, 503–583, 2017 BPS/CFT correspondence II: Instantons at crossroads, Moduli and Compactness Theorem Nikita Nekrasov Gieseker-Nakajima moduli spaces Mk(n) parametrize the charge k noncommutative U(n) instantons on R4 and framed rank n tor- 2 sion free sheaves E on CP with ch2(E)=k. They also serve as local models of the moduli spaces of instantons on general four- manifolds. We study the generalization of gauge theory in which the four dimensional spacetime is a stratified space X immersed into a Calabi-Yau fourfold Z. The local model Mk(n) of the cor- responding instanton moduli space is the moduli space of charge k (noncommutative) instantons on origami spacetimes. There, X is modelled on a union of (up to six) coordinate complex planes C2 intersecting in Z modelled on C4. The instantons are shared by the collection of four dimensional gauge theories sewn along two di- mensional defect surfaces and defect points. We also define several γ quiver versions Mk(n) of Mk(n), motivated by the considerations of sewn gauge theories on orbifolds C4/Γ. γ The geometry of the spaces Mk(n), more specifically the com- pactness of the set of torus-fixed points, for various tori, underlies the non-perturbative Dyson-Schwinger identities recently found to be satisfied by the correlation functions of qq-characters viewed as local gauge invariant operators in the N =2quiver gauge theories. The cohomological and K-theoretic operations defined using Mk(n) and their quiver versions as correspondences provide the geometric counterpart of the qq-characters, line and surface de- fects.
    [Show full text]
  • Final Report (PDF)
    Gauge Fields, Cosmology and Mathematical String Theory (09w5130) Gordon W. Semenoff, University of British Columbia for the organizers Gordon Semenoff (University of British Columbia), Brian Greene (Columbia University), Stephen Shenker (Stanford University), Nikita Nekrasov (Institut des Hautes Etudes Scientifiques). 1 Overview This 5-day workshop finds string theory at a crossroads of its development. For the past twenty five years it has been perhaps the most vigorously in- vestigated subject in theoretical physics and has spilled over into adjacent fields of theoretical cosmology and to mathematics, particularly the fields of topology and algebraic geometry. At this time, it retains a significant amount of the momentum which most recently received impetus from the string duality revolution of the 1990’s. The fruits of that revolution are still finding their way to the kitchen table of the working theoretical physicist and will continue to do so for some time. After undergoing considerable formal development, string theory is now poised on another frontier, of finding applications to the description of phys- ical phenomena. These will be found in three main places, cosmology, ele- mentary particle physics and the description of strongly interacting quantum systems using the duality between gauge fields and strings. The duality revolution of the 1990’s was a new understanding of string theory as a dynamical system. All known mathematically consistent string theories were recognized to simply be corners of the moduli space of a bigger theory called M-theory. M-theory also has a limit where it is 11-dimensional supergravity. This made it clear that, as a dynamical system, string the- ory is remarkably rich.
    [Show full text]
  • Enumerative Geometry and Geometric Representation Theory
    Proceedings of Symposia in Pure Mathematics Volume 97.1, 2018 http://dx.doi.org/10.1090/pspum/097.1/01681 Enumerative geometry and geometric representation theory Andrei Okounkov Abstract. This is an introduction to: (1) the enumerative geometry of ra- tional curves in equivariant symplectic resolutions, and (2) its relation to the structures of geometric representation theory. Written for the 2015 Algebraic Geometry Summer Institute. 1. Introduction 1.1. These notes are written to accompany my lectures given in Salt Lake City in 2015. With modern technology, one should be able to access the materials from those lectures from anywhere in the world, so a text transcribing them is not really needed. Instead, I will try to spend more time on points that perhaps require too much notation for a broadly aimed series of talks, but which should ease the transition to reading detailed lecture notes like [90]. The fields from the title are vast and they intersect in many different ways. Here we will talk about a particular meeting point, the progress at which in the time since Seattle I find exciting enough to report in Salt Lake City. The advances both in the subject matter itself, and in my personal understanding of it, owe a lot to M. Aganagic, R. Bezrukavnikov, P. Etingof, D. Maulik, N. Nekrasov, and others, as will be clear from the narrative. 1.2. The basic question in representation theory is to describe the homomor- phisms (1) some algebra A → matrices , and the geometric representation theory aims to describe the source, the target, the map itself, or all of the above, geometrically.
    [Show full text]
  • Comments on Worldsheet Description of the Omega Background
    CALT-68-2837, IPMU11-0094 Comments on Worldsheet Description of the Omega Background Yu Nakayama1 and Hirosi Ooguri1, 2 1California Institute of Technology, 452-48, Pasadena, California 91125, USA 2Institute for the Physics and Mathematics of the Universe, Todai Institutes for Advanced Study, University of Tokyo, 5-1-5 Kashiwanoha, Kashiwa, Chiba 277-8583, Japan Nekrasov’s partition function is defined on a flat bundle of R4 over S1 called the Omega back- ground. When the fibration is self-dual, the partition function is known to be equal to the topological string partition function, which computes scattering amplitudes of self-dual gravitons and gravipho- tons in type II superstring compactified on a Calabi-Yau manifold. We propose a generalization of this correspondence when the fibration is not necessarily self-dual. PACS numbers: 1. INTRODUCTION [3]. When ǫ+ 6= 0, Nekrasov’s partition function can still be expanded as, The topological string theory has been used to com- ∞ pute a variety of physical observables in type II super- 2g−2 Z(ǫ+,ǫ−) = exp gs Fg(b) , (3) string theory and M theory compactified on a Calabi-Yau g=0 ! manifold. The genus-g contribution Fg to the partition X i − i − function is related to the scattering amplitude of 2 self- 1 − 1 where ǫ+ = 2 gs(b + b ), ǫ = 2 gs(b − b ). dual gravitons and (2g − 2) self-dual graviphotons in the It is natural to ask if there is a worldsheet description zero momentum limit and computes the corresponding F- of the coefficients Fg(b). For toric Calabi-Yau manifolds, term in the low energy effective action in four dimensions generalizations of the topological vertex for Fg(b) have [1, 2].
    [Show full text]
  • Generalized Conifolds and Four Dimensional $ N= 1$ Superconformal Theories
    Received: February 14, 1999, Accepted: May 6, 1999 HYPER VERSION Generalized conifolds and four dimensional =1superconformal theories N Steven S. Gubser Lyman Laboratory of Physics, Harvard University Cambridge, MA 02138, USA JHEP05(1999)003 E-mail: [email protected] Nikita Nekrasov Institute of Theoretical and Experimental Physics 117259, Moscow, Russia, and Lyman Laboratory of Physics, Harvard University Cambridge, MA 02138, USA E-mail: [email protected] Samson Shatashvili∗ CERN, Theory Division, 1211 Geneva 23, Switzerland and Department of Physics, Yale University New Haven, CT 06520 USA E-mail: [email protected] Abstract: This paper lays groundwork for the detailed study of the non-trivial renormalization group flow connecting supersymmetric fixed points in four dimen- sions using string theory on AdS spaces. Specifically, we consider D3-branes placed at singularities of Calabi-Yau threefolds which generalize the conifold singularity and have an ADE classification. The = 1 superconformal theories dictating their N low-energy dynamics are infrared fixed points arising from deforming the correspond- ing ADE = 2 superconformal field theories by mass terms for adjoint chiral fields. N We probe the geometry with a single D3-brane and discuss the near-horizon super- gravity solution for a large number N of coincident D3-branes. Keywords: D-branes, Supersymmetry and Duality, Duality in Gauge Field Theories, Brane Dynamics in Gauge Theories. ∗On leave of absence from St. Petersburg Steklov Mathematical Institute Contents 1. Introduction 1 2. Gauge theory perspective 3 2.1 Single D-brane on ALE space 3 2.2 Single D-brane at the generalized conifold singularity 7 2.3 Relation to the geometric invariant quotient 9 2.4 Construction of the Kahler metric on YΓ 11 JHEP05(1999)003 2.5 Properties of the metric on YΓ 13 2.6 Geometry of the base of the cone 14 3.
    [Show full text]