No Arabic abstract
We study half-BPS surface operators in supersymmetric gauge theories in four and five dimensions following two different approaches. In the first approach we analyze the chiral ring equations for certain quiver theories in two and three dimensions, coupled respectively to four- and five-dimensional gauge theories. The chiral ring equations, which arise from extremizing a twisted chiral superpotential, are solved as power series in the infrared scales of the quiver theories. In the second approach we use equivariant localization and obtain the twisted chiral superpotential as a function of the Coulomb moduli of the four- and five-dimensional gauge theories, and find a perfect match with the results obtained from the chiral ring equations. In the five-dimensional case this match is achieved after solving a number of subtleties in the localization formulas which amounts to choosing a particular residue prescription in the integrals that yield the Nekrasov-like partition functions for ramified instantons. We also comment on the necessity of including Chern-Simons terms in order to match the superpotentials obtained from dual quiver descriptions of a given surface operator.
We calculate the instanton partition function of the four-dimensional N=2* SU(N) gauge theory in the presence of a generic surface operator, using equivariant localization. By analyzing the constraints that arise from S-duality, we show that the effective twisted superpotential, which governs the infrared dynamics of the two-dimensional theory on the surface operator, satisfies a modular anomaly equation. Exploiting the localization results, we solve this equation in terms of elliptic and quasi-modular forms which resum all non-perturbative corrections. We also show that our results, derived for monodromy defects in the four-dimensional theory, match the effective twisted superpotential describing the infrared properties of certain two-dimensional sigma models coupled either to pure N=2 or to N=2* gauge theories.
We consider conformal N=2 super Yang-Mills theories with gauge group SU(N) and Nf=2N fundamental hypermultiplets in presence of a circular 1/2-BPS Wilson loop. It is natural to conjecture that the matrix model which describes the expectation value of this system also encodes the one-point functions of chiral scalar operators in presence of the Wilson loop. We obtain evidence of this conjecture by successfully comparing, at finite N and at the two-loop order, the one-point functions computed in field theory with the vacuum expectation values of the corresponding normal-ordered operators in the matrix model. For the part of these expressions with transcendentality zeta(3), we also obtain results in the large-N limit that are exact in the t Hooft coupling lambda.
We examine the equivalence between the Konishi anomaly equations and the matrix model loop equations in N=1* gauge theories, the mass deformation of N=4 supersymmetric Yang-Mills. We perform the superfunctional integral of two adjoint chiral superfields to obtain an effective N=1 theory of the third adjoint chiral superfield. By choosing an appropriate holomorphic variation, the Konishi anomaly equations correctly reproduce the loop equations in the corresponding three-matrix model. We write down the field theory loop equations explicitly by using a noncommutative product of resolvents peculiar to N=1* theories. The field theory resolvents are identified with those in the matrix model in the same manner as for the generic N=1 gauge theories. We cover all the classical gauge groups. In SO/Sp cases, both the one-loop holomorphic potential and the Konishi anomaly term involve twisting of index loops to change a one-loop oriented diagram to an unoriented diagram. The field theory loop equations for these cases show certain inhomogeneous terms suggesting the matrix model loop equations for the RP2 resolvent.
We study N = 2* theories with gauge group U(N) and use equivariant localization to calculate the quantum expectation values of the simplest chiral ring elements. These are expressed as an expansion in the mass of the adjoint hypermultiplet, with coefficients given by quasi-modular forms of the S-duality group. Under the action of this group, we construct combinations of chiral ring elements that transform as modular forms of definite weight. As an independent check, we confirm these results by comparing the spectral curves of the associated Hitchin system and the elliptic Calogero-Moser system. We also propose an exact and compact expression for the 1-instanton contribution to the expectation value of the chiral ring elements.
We discuss in detail the problem of counting BPS gauge invariant operators in the chiral ring of quiver gauge theories living on D-branes probing generic toric CY singularities. The computation of generating functions that include counting of baryonic operators is based on a relation between the baryonic charges in field theory and the Kaehler moduli of the CY singularities. A study of the interplay between gauge theory and geometry shows that given geometrical sectors appear more than once in the field theory, leading to a notion of multiplicities. We explain in detail how to decompose the generating function for one D-brane into different sectors and how to compute their relevant multiplicities by introducing geometric and anomalous baryonic charges. The Plethystic Exponential remains a major tool for passing from one D-brane to arbitrary number of D-branes. Explicit formulae are given for few examples, including C^3/Z_3, F_0, and dP_1.