Arxiv:1512.05388V2 [Hep-Th] 2 Jan 2016 1
Total Page:16
File Type:pdf, Size:1020Kb
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.