arXiv subjects

Sergei Gukov

Publications and source records attributed to Sergei Gukov.

At least 73 records · Page 4Linked to original sources

arXiv2017

The Verlinde formula for Higgs bundles

We propose and prove the Verlinde formula for the quantization of the Higgs bundle moduli spaces and stacks for any simple and simply-connected group. This generalizes the equivariant Verlinde formula for the case of $SU(n)$ proposed previously by the second and third author. We further establish a Verlinde formula for the quantization of parabolic Higgs bundle moduli spaces and stacks. Finally, we prove that these dimensions form a one-parameter family of $1+1$-dimensional TQFT, uniquely classified by the complex Verlinde algebra, which is a one-parameter family of Frobenius algebras. We construct this one-parameter family of Frobenius algebras as a deformation of the classical Verlinde algebra for $G$.

math.AG↗

arXiv2016

Duality Defects

We propose a unified approach to a general class of codimension-2 defects in field theories with non-trivial duality symmetries and discuss various constructions of such "duality defects" in diverse dimensions. In particular, in d=4 we propose a new interpretation of the Seiberg-Witten u-plane by "embedding" it in the physical space-time: we argue that it describes a BPS configuration of two duality defects (at the monopole/dyon points) and propose its vast generalization based on Lefschetz fibrations of 4-manifolds.

hep-th↗

arXiv2016

Resurgence in complex Chern-Simons theory

We study resurgence properties of partition function of SU(2) Chern-Simons theory (WRT invariant) on closed three-manifolds. We check explicitly that in various examples Borel transforms of asymptotic expansions posses expected analytic properties. In examples that we study we observe that contribution of irreducible flat connections to the path integral can be recovered from asymptotic expansions around abelian flat connections. We also discuss connection to Floer instanton moduli spaces, disk instantons in 2d sigma models, and length spectra of "complex geodesics" on the A-polynomial curve.

hep-th↗

arXiv2016

Junctions of surface operators and categorification of quantum groups

We show how networks of Wilson lines realize quantum groups U_q(sl(m)), for arbitrary m, in 3d SU(N) Chern-Simons theory. Lifting this construction to foams of surface operators in 4d theory we find that rich structure of junctions is encoded in combinatorics of planar diagrams. For a particular choice of surface operators we reproduce known mathematical constructions of categorical representations and categorified quantum groups.

hep-th↗

arXiv2016

Equivariant Verlinde formula from fivebranes and vortices

We study complex Chern-Simons theory on a Seifert manifold $M_3$ by embedding it into string theory. We show that complex Chern-Simons theory on $M_3$ is equivalent to a topologically twisted supersymmetric theory and its partition function can be naturally regularized by turning on a mass parameter. We find that the dimensional reduction of this theory to 2d gives the low energy dynamics of vortices in four-dimensional gauge theory, the fact apparently overlooked in the vortex literature. We also generalize the relations between 1) the Verlinde algebra, 2) quantum cohomology of the Grassmannian, 3) Chern-Simons theory on $Σ\times S^1$ and 4) index of a spin$^c$ Dirac operator on the moduli space of flat connections to a new set of relations between 1) the "equivariant Verlinde algebra" for a complex group, 2) the equivariant quantum K-theory of the vortex moduli space, 3) complex Chern-Simons theory on $Σ\times S^1$ and 4) the equivariant index of a spin$^c$ Dirac operator on the moduli space of Higgs bundles.

hep-th↗

arXiv2016

3d-3d Correspondence Revisited

In fivebrane compactifications on 3-manifolds, we point out the importance of all flat connections in the proper definition of the effective 3d N=2 theory. The Lagrangians of some theories with the desired properties can be constructed with the help of homological knot invariants that categorify colored Jones polynomials. Higgsing the full 3d theories constructed this way recovers theories found previously by Dimofte-Gaiotto-Gukov. We also consider the cutting and gluing of 3-manifolds along smooth boundaries and the role played by all flat connections in this operation.

hep-th↗

arXiv2016

Fivebranes and 3-manifold homology

Motivated by physical constructions of homological knot invariants, we study their analogs for closed 3-manifolds. We show that fivebrane compactifications provide a universal description of various old and new homological invariants of 3-manifolds. In terms of 3d/3d correspondence, such invariants are given by the Q-cohomology of the Hilbert space of partially topologically twisted 3d N=2 theory T[M_3] on a Riemann surface with defects. We demonstrate this by concrete and explicit calculations in the case of monopole/Heegaard Floer homology and a 3-manifold analog of Khovanov-Rozansky link homology. The latter gives a categorification of Chern-Simons partition function. Some of the new key elements include the explicit form of the S-transform and a novel connection between categorification and a previously mysterious role of Eichler integrals in Chern-Simons theory.

hep-th↗

arXiv2015

Surface Operators and Separation of Variables

Alday, Gaiotto, and Tachikawa conjectured relations between certain 4d N=2 supersymmetric field theories and 2d Liouville conformal field theory. We study generalizations of these relations to 4d theories with surface operators. For one type of surface operators the corresponding 2d theory is the WZW model, and for another type - the Liouville theory with insertions of extra degenerate fields. We show that these two 4d theories with surface operators exhibit an IR duality, which reflects the known relation (the so-called separation of variables) between the conformal blocks of the WZW model and the Liouville theory. Furthermore, we trace this IR duality to a brane creation construction relating systems of M5 and M2 branes in M-theory. Finally, we show that this duality may be expressed as an explicit relation between the generating functions for the changes of variables between natural sets of Darboux coordinates on the Hitchin moduli space.

hep-th↗

arXiv2015

Fivebranes and 4-manifolds

We describe rules for building 2d theories labeled by 4-manifolds. Using the proposed dictionary between building blocks of 4-manifolds and 2d N=(0,2) theories, we obtain a number of results, which include new 3d N=2 theories T[M_3] associated with rational homology spheres and new results for Vafa-Witten partition functions on 4-manifolds. In particular, we point out that the gluing measure for the latter is precisely the superconformal index of 2d (0,2) vector multiplet and relate the basic building blocks with coset branching functions. We also offer a new look at the fusion of defect lines / walls, and a physical interpretation of the 4d and 3d Kirby calculus as dualities of 2d N=(0,2) theories and 3d N=2 theories, respectively

hep-th↗

arXiv2015

Exceptional knot homology

The goal of this article is twofold. First, we find a natural home for the double affine Hecke algebras (DAHA) in the physics of BPS states. Second, we introduce new invariants of torus knots and links called "hyperpolynomials" that address the "problem of negative coefficients" often encountered in DAHA-based approaches to homological invariants of torus knots and links. Furthermore, from the physics of BPS states and the spectra of singularities associated with Landau-Ginzburg potentials, we also describe a rich structure of differentials that act on homological knot invariants for exceptional groups and uniquely determine the latter for torus knots.

math.QA↗

arXiv2015

Counting RG flows

Interpreting renormalization group flows as solitons interpolating between different fixed points, we ask various questions that are normally asked in soliton physics but not in renormalization theory. Can one count RG flows? Are there different "topological sectors" for RG flows? What is the moduli space of an RG flow, and how does it compare to familiar moduli spaces of (supersymmetric) dowain walls? Analyzing these questions in a wide variety of contexts --- from counting RG walls to AdS/CFT correspondence --- will not only provide favorable answers, but will also lead us to a unified general framework that is powerful enough to account for peculiar RG flows and predict new physical phenomena. Namely, using Bott's version of Morse theory we relate the topology of conformal manifolds to certain properties of RG flows that can be used as precise diagnostics and "topological obstructions" for the strong form of the C-theorem in any dimension. Moreover, this framework suggests a precise mechanism for how the violation of the strong C-theorem happens and predicts "phase transitions" along the RG flow when the topological obstruction is non-trivial. Along the way, we also find new conformal manifolds in well-known 4d CFT's and point out connections with the superconformal index and classifying spaces of global symmetry groups.

hep-th↗

arXiv2014

Surface Operators

This is the seventh article in the collection of reviews "Exact results on N=2 supersymmetric gauge theories", ed. J.Teschner. It discusses an interesting class of observables localised on surfaces that attracts steadily growing attention. In the correspondence to conformal field theory some of these observables get related to a class of fields in two dimensions called degenerate fields. These fields satisfy differential equations that can be used to extract a lot of information on the correlation functions. Understanding the origin of these differential equations within gauge theory may help explaining the AGT-correspondence itself.

hep-th↗

arXiv2014

Exact Solutions of 2d Supersymmetric Gauge Theories

We study dynamics of two-dimensional non-abelian gauge theories with N=(0,2) supersymmetry that include N=(0,2) supersymmetric QCD and its generalizations. In particular, we present the phase diagram of N=(0,2) SQCD and determine its massive and low-energy spectrum. We find that the theory has no mass gap, a nearly constant distribution of massive states, and lots of massless states that in general flow to an interacting CFT. For a range of parameters where supersymmetry is not dynamically broken at low energies, we give a complete description of the low-energy physics in terms of 2d N=(0,2) SCFTs using anomaly matching and modular invariance. Our construction provides a vast landscape of new N=(0,2) SCFTs which, for small values of the central charge, could be used for building novel heterotic models with no moduli and, for large values of the central charge, could be dual to AdS_3 string vacua.

hep-th↗

arXiv2014

Walls, Lines, and Spectral Dualities in 3d Gauge Theories

In this paper we analyze various half-BPS defects in a general three dimensional N=2 supersymmetric gauge theory T. They correspond to closed paths in SUSY parameter space and their tension is computed by evaluating period integrals along these paths. In addition to such defects, we also study wall defects that interpolate between T and its SL(2,Z) transform by coupling the 3d theory to a 4d theory with S-duality wall. We propose a novel spectral duality between 3d gauge theories and integrable systems. This duality complements a similar duality discovered by Nekrasov and Shatashvili. As another application, for 3d N=2 theories associated with knots and 3-manifolds we compute periods of (super) A-polynomial curves and relate the results with the spectrum of domain walls and line operators.

hep-th↗

arXiv2013

(0,2) Trialities

Motivated by the connection between 4-manifolds and 2d N=(0,2) theories, we study the dynamics of a fairly large class of 2d N=(0,2) gauge theories. We see that physics of such theories is very rich, much as the physics of 4d N=1 theories. We discover a new type of duality that is very reminiscent of the 4d Seiberg duality. Surprisingly, the new 2d duality is an operation of order three: it is IR equivalence of three different theories and, as such, is actually a triality. We also consider quiver theories and study their triality webs. Given a quiver graph, we find that supersymmetry is dynamically broken unless the ranks of the gauge groups and flavor groups satisfy stringent inequalities. In fact, for most of the graphs these inequalities have no solutions. This supports the folklore theorem that generic 2d N=(0,2) theories break supersymmetry dynamically.

hep-th↗

arXiv2013

2d Index and Surface operators

In this paper we compute the superconformal index of 2d (2,2) supersymmetric gauge theories. The 2d superconformal index, a.k.a. flavored elliptic genus, is computed by a unitary matrix integral much like the matrix integral that computes 4d superconformal index. We compute the 2d index explicitly for a number of examples. In the case of abelian gauge theories we see that the index is invariant under flop transition and CY-LG correspondence. The index also provides a powerful check of the Seiberg-type duality for non-abelian gauge theories discovered by Hori and Tong. In the later half of the paper, we study half-BPS surface operators in N=2 superconformal gauge theories. They are engineered by coupling the 2d (2,2) supersymmetric gauge theory living on the support of the surface operator to the 4d N=2 theory, so that different realizations of the same surface operator with a given Levi type are related by a 2d analogue of the Seiberg duality. The index of this coupled system is computed by using the tools developed in the first half of the paper. The superconformal index in the presence of surface defect is expected to be invariant under generalized S-duality. We demonstrate that it is indeed the case. In doing so the Seiberg-type duality of the 2d theory plays an important role.

hep-th↗

arXiv2013

Topological Quantum Field Theory, Nonlocal Operators, and Gapped Phases of Gauge Theories

We revisit the role of loop and surface operators as order parameters for gapped phases of four-dimensional gauge theories. We show that in some cases surface operators are confined, and that this fact can be used to distinguish phases which are not distinguished by the Wilson-'t Hooft criterion. The long-distance behavior of loop and surface operators which are neither confined nor screened is controlled by a 4d TQFT. We construct these TQFTs for phases which are characterized by the presence of electrically and/or magnetically charged condensates. Interestingly, the TQFT describing a phase with a nonabelian monopole condensate is based on the theory of nonabelian gerbes. We also show that in phases with a dyonic condensate the low-energy theta-angle is quantized.

hep-th↗

arXiv2013

Surface Defects and Resolvents

We study a large class of BPS surface defects in 4d N=2 gauge theories. They are defined by coupling a 2d N=(2,2) gauged linear sigma model to the 4d bulk degrees of freedom. Our main result is an efficient computation of the effective twisted superpotential for all these models in terms of a basic object closely related to the resolvent of the 4d gauge theory, which encodes the curve describing the 4d low energy dynamics. We reproduce and extend the results of brane constructions and compute the effective twisted superpotential for general monodromy surface defects. We encounter novel, puzzling field theory phenomena in the low energy dynamics of the simplest surface defects and we propose some local models to explain them. We also study in some detail the behavior of surface defects near monopole points of the bulk theory's Coulomb branch. Finally, we explore the effect on the defect of breaking the bulk supersymmetry from N=2 to N=1 and show that certain quantities are independent of this breaking.

hep-th↗