Search

We propose a nonperturbative construction of Hopf algebras that represent categories of line operators in topological quantum field theory, in terms of semi-extended operators (spark algebras) on pairs of transverse topological boundary conditions. The construction is a direct implementation of Tannakian formalism in QFT. Focusing on d=3 dimensional theories, we find topological definitions of R-matrices, ribbon twists, and the Drinfeld double construction for generalized quantum groups. We illustrate our construction in finite-group gauge theory, and apply it to obtain new results for B-twisted 3d $\mathcal{N}=4$ gauge theories, a.k.a. equivariant Rozansky-Witten theory, or supergroup BF theory (including ordinary BF theory with compact gauge group). We reformulate our construction mathematically in terms of abelian and dg tensor categories, and discuss connections with Koszul duality.

We study the braided tensor structure of line operators in the topological A and B twists of abelian 3d $\mathcal{N}=4$ gauge theories, as accessed via boundary vertex operator algebras (VOA's). We focus exclusively on abelian theories. We first find a non-perturbative completion of boundary VOA's in the B twist, which start out as certain affine Lie superalebras; and we construct free-field realizations of both A and B-twist VOA's, finding an interesting interplay with the symmetry fractionalization group of bulk theories. We use the free-field realizations to establish an isomorphism between A and B VOA's related by 3d mirror symmetry. Turning to line operators, we extend previous physical classifications of line operators to include new monodromy defects and bound states. We also outline a mechanism by which continuous global symmetries in a physical theory are promoted to higher symmetries in a topological twist -- in our case, these are infinite one-form symmetries, related to boundary spectral flow, which structure the categories of lines and control abelian gauging. Finally, we establish the existence of braided tensor structure on categories of line operators, viewed as non-semisimple categories of modules for boundary VOA's. In the A twist, we obtain the categories by extending modules of symplectic boson VOA's, corresponding to gauging free hypermultiplets; in the B twist, we instead extend Kazhdan-Lusztig categories for affine Lie superalgebras. We prove braided tensor equivalences among the categories of 3d-mirror theories. All results on VOA's and their module categories are mathematically rigorous; they rely strongly on recently developed techniques to access non-semisimple extensions., Comment: 158 pages, comments welcome!

We construct a family of 3d quantum field theories $\mathcal T_{n,k}^A$ that conjecturally provide a physical realization -- and derived generalization -- of non-semisimple mathematical TQFT's based on the modules for the quantum group $U_q(\mathfrak{sl}_n)$ at an even root of unity $q=\text{exp}(i\pi/k)$. The theories $\mathcal T_{n,k}^A$ are defined as topological twists of certain 3d $\mathcal N=4$ Chern-Simons-matter theories, which also admit string/M-theory realizations. They may be thought of as $SU(n)_{k-n}$ Chern-Simons theories, coupled to a twisted $\mathcal N=4$ matter sector (the source of non-semisimplicity). We show that $\mathcal T_{n,k}^A$ admits holomorphic boundary conditions supporting two different logarithmic vertex operator algebras, one of which is an $\mathfrak{sl}_n$-type Feigin-Tipunin algebra; and we conjecture that these two vertex operator algebras are related by a novel logarithmic level-rank duality. (We perform detailed computations to support the conjecture.) We thus relate the category of line operators in $\mathcal T_{n,k}^A$ to the derived category of modules for a boundary Feigin-Tipunin algebra, and -- using a logarithmic Kazhdan-Lusztig-like correspondence that has been established for $n=2$ and expected for general $n$ -- to the derived category of $U_q(\mathfrak{sl}_n)$ modules. We analyze many other key features of $\mathcal T_{n,k}^A$ and match them from quantum-group and VOA perspectives, including deformations by flat $PSL(n,\mathbb C)$ connections, one-form symmetries, and indices of (derived) genus-$g$ state spaces., Comment: 195 pages and many figures

We investigate the $q$-holonomic properties of a class of link invariants based on quantum group representations with vanishing quantum dimensions, motivated by the search for the invariants' realization in physics. Some of the best known invariants of this type, constructed from `typical' representations of the unrolled quantum group $\mathcal U^H_{\zeta_{2r}}(\mathfrak{sl}_2)$ at a $2r$-th root of unity, were introduced by Akutsu-Deguchi-Ohtsuki (ADO). We prove that the ADO invariants for $r\geq 2$ are a $q$-holonomic family, implying in particular that they satisfy recursion relations that are independent of $r$. In the case of a knot, we prove that the $q$-holonomic recursion ideal of the ADO invariants is contained in the recursion ideal of the colored Jones polynomials, the subject of the celebrated AJ Conjecture. (Combined with a recent result of S. Willetts, this establishes an isomorphism of the ADO and Jones recursion ideals. Our results also confirm a recent physically-motivated conjecture of Gukov-Hsin-Nakajima-Park-Pei-Sopenko.), Comment: 42 pages, 2 figures

We study the holomorphic twist of 3d ${\cal N}=2$ gauge theories in the presence of boundaries, and the algebraic structure of bulk and boundary local operators. In the holomorphic twist, both bulk and boundary local operators form chiral algebras (\emph{a.k.a.} vertex operator algebras). The bulk algebra is commutative, endowed with a shifted Poisson bracket and a "higher" stress tensor; while the boundary algebra is a module for the bulk, may not be commutative, and may or may not have a stress tensor. We explicitly construct bulk and boundary algebras for free theories and Landau-Ginzburg models. We construct boundary algebras for gauge theories with matter and/or Chern-Simons couplings, leaving a full description of bulk algebras to future work. We briefly discuss the presence of higher A-infinity like structures., Comment: 96 pages

We study half-BPS line operators in 3d N=4 gauge theories, focusing in particular on the algebras of local operators at their junctions. It is known that there are two basic types of such line operators, distinguished by the SUSY subalgebras that they preserve; the two types can roughly be called "Wilson lines" and "vortex lines", and are exchanged under 3d mirror symmetry. We describe a large class of vortex lines that can be characterized by basic algebraic data, and propose a mathematical scheme to compute the algebras of local operators at their junctions --- including monopole operators --- in terms of this data. The computation generalizes mathematical and physical definitions/analyses of the bulk Coulomb-branch chiral ring. We fully classify the junctions of half-BPS Wilson lines and of half-BPS vortex lines in abelian gauge theories with sufficient matter. We also test our computational scheme in a non-abelian quiver gauge theory, using a 3d-mirror-map of line operators from work of Assel and Gomis., Comment: 117 pages + appendices; v2 added references, corrected typo in (C.31); v3 references and many small clarifications added; typos fixed; v4 minor edits to appendix C; v5 minor typos fixed, references clarified

We propose that a simple, Lagrangian 2d $\mathcal{N}=(0, 2)$ duality interface between the 3d $\mathcal{N}=2$ XYZ model and 3d $\mathcal{N}=2$ SQED can be associated to the simplest triangulated 4-manifold: the 4-simplex. We then begin to flesh out a dictionary between more general triangulated 4-manifolds with boundary and 2d $\mathcal{N}=(0, 2)$ interfaces. In particular, we identify IR dualities of interfaces associated to local changes of 4d triangulation, governed by the (3,3), (2,4), and (4,2) Pachner moves. We check these dualities using supersymmetric half-indices. We also describe how to produce stand-alone 2d theories (as opposed to interfaces) capturing the geometry of 4-simplices and Pachner moves by making additional field-theoretic choices, and find in this context that the Pachner moves recover abelian $\mathcal{N}=(0,2)$ trialities of Gadde-Gukov-Putrov. Our work provides new, explicit tools to explore the interplay between 2d dualities and 4-manifold geometry that has been developed in recent years., Comment: 50 pages, 15 figures. v2: minor edits, references added

The product of local operators in a topological quantum field theory in dimension greater than one is commutative, as is more generally the product of extended operators of codimension greater than one. In theories of cohomological type these commutative products are accompanied by secondary operations, which capture linking or braiding of operators, and behave as (graded) Poisson brackets with respect to the primary product. We describe the mathematical structures involved and illustrate this general phenomenon in a range of physical examples arising from supersymmetric field theories in spacetime dimension two, three, and four. In the Rozansky-Witten twist of three-dimensional N=4 theories, this gives an intrinsic realization of the holomorphic symplectic structure of the moduli space of vacua. We further give a simple mathematical derivation of the assertion that introducing an Omega-background precisely deformation quantizes this structure. We then study the secondary product structure of extended operators, which subsumes that of local operators but is often much richer. We calculate interesting cases of secondary brackets of line operators in Rozansky-Witten theories and in four-dimensional N=4 super Yang-Mills theories, measuring the noncommutativity of the spherical category in the geometric Langlands program., Comment: 74 pages, 14 figures

We study the Coulomb branches of 3d N=4 `star-shaped' quiver gauge theories and their deformation quantizations, by applying algebraic techniques that have been developed in the mathematics and physics literature over the last few years. The algebraic techniques supply an abelianization map, which embeds the Coulomb-branch chiral ring into a vastly simpler abelian algebra A. Relations among chiral-ring operators, and their deformation quantization, are canonically induced from the embedding into A. In the case of star-shaped quivers -- whose Coulomb branches are related to Higgs branches of 4d N=2 theories of Class S -- this allows us to systematically verify known relations, to generalize them, and to quantize them. In the quantized setting, we find several new families of relations., Comment: 63 pages + appendices; added references

We propose matching pairs of half-BPS boundary conditions related by IR dualities of 3d $\mathcal{N}=2$ gauge theories. From these matching pairs we construct duality interfaces. We test our proposals by anomaly matching and the computation of supersymmetric indices. Examples include basic abelian dualities, level-rank dualities, and Aharony dualities., Comment: 99 pages, 3 figures. v2: minor edits, appendix on Weyl-Kac formula added

In three-dimensional gauge theories, monopole operators create and destroy vortices. We explore this idea in the context of 3d N=4 gauge theories in the presence of an Omega-background. In this case, monopole operators generate a non-commutative algebra that quantizes the Coulomb-branch chiral ring. The monopole operators act naturally on a Hilbert space, which is realized concretely as the equivariant cohomology of a moduli space of vortices. The action furnishes the space with the structure of a Verma module for the Coulomb-branch algebra. This leads to a new mathematical definition of the Coulomb-branch algebra itself, related to that of Braverman-Finkelberg-Nakajima. By introducing additional boundary conditions, we find a construction of vortex partition functions of 2d N=(2,2) theories as overlaps of coherent states (Whittaker vectors) for Coulomb-branch algebras, generalizing work of Braverman-Feigin-Finkelberg-Rybnikov on a finite version of the AGT correspondence. In the case of 3d linear quiver gauge theories, we use brane constructions to exhibit vortex moduli spaces as handsaw quiver varieties, and realize monopole operators as interfaces between handsaw-quiver quantum mechanics, generalizing work of Nakajima., Comment: 96 pages; affiliations and acknowledgements updated

We present an elementary review of some aspects of Chern-Simons theory with complex gauge group SL(N,C). We discuss some of the challenges in defining the theory as a full-fledged TQFT, as well as some successes inspired by the 3d-3d correspondence. The 3d-3d correspondence relates partition functions (and other aspects) of complex Chern-Simons theory on a 3-manifold M to supersymmetric partition functions (and other observables) in an associated 3d theory T[M]. Many of these observables may be computed by supersymmetric localization. We present several prominent applications to 3-manifold topology and number theory in light of the 3d-3d correspondence., Comment: This is a contribution to the review volume `Localization techniques in quantum field theories' (eds. V. Pestun and M. Zabzine) which contains 17 Chapters. The complete volume is summarized in arXiv:1608.02952 and it can be downloaded at https://arxiv.org/src/1608.02952/anc/LocQFT.pdf or http://pestun.ihes.fr/pages/LocalizationReview/LocQFT.pdf

This is the foreword to the special volume on localization techniques in quantum field theory. We summarize the individual chapters and their relation., Comment: The complete volume can be downloaded at https://arxiv.org/src/1608.02952/anc/LocQFT.pdf or http://pestun.ihes.fr/pages/LocalizationReview/LocQFT.pdf

We introduce several families of $\mathcal{N}=(2,2)$ UV boundary conditions in 3d $\mathcal N=4$ gauge theories and study their IR images in sigma-models to the Higgs and Coulomb branches. In the presence of Omega deformations, a UV boundary condition defines a pair of modules for quantized algebras of chiral Higgs- and Coulomb-branch operators, respectively, whose structure we derive. In the case of abelian theories, we use the formalism of hyperplane arrangements to make our constructions very explicit, and construct a half-BPS interface that implements the action of 3d mirror symmetry on gauge theories and boundary conditions. Finally, by studying two-dimensional compactifications of 3d $\mathcal{N}=4$ gauge theories and their boundary conditions, we propose a physical origin for symplectic duality - an equivalence of categories of modules associated to families of Higgs and Coulomb branches that has recently appeared in the mathematics literature, and generalizes classic results on Koszul duality in geometric representation theory. We make several predictions about the structure of symplectic duality, and identify Koszul duality as a special case of wall crossing., Comment: 222 pages, 36 figures; v2: reference added; v3: JHEP version

The Quantum Modularity Conjecture of Zagier predicts the existence of a formal power series with arithmetically interesting coefficients that appears in the asymptotics of the Kashaev invariant at each root of unity. Our goal is to construct a power series from a Neumann-Zagier datum (i.e., an ideal triangulation of the knot complement and a geometric solution to the gluing equations) and a complex root of unity $\zeta$. We prove that the coefficients of our series lie in the trace field of the knot, adjoined a complex root of unity. We conjecture that our series are those that appear in the Quantum Modularity Conjecture and confirm that they match the numerical asymptotics of the Kashaev invariant (at various roots of unity) computed by Zagier and the first author. Our construction is motivated by the analysis of singular limits in Chern-Simons theory with gauge group $SL(2,C)$ at fixed level $k$, where $\zeta^k=1$., Comment: 39 pages, 5 figures

We propose a construction of the quantum-corrected Coulomb branch of a general 3d gauge theory with $\mathcal{N}=4$ supersymmetry, in terms of local coordinates associated with an abelianized theory. In a fixed complex structure, the holomorphic functions on the Coulomb branch are given by expectation values of chiral monopole operators. We construct the chiral ring of such operators, using equivariant integration over BPS moduli spaces. We also quantize the chiral ring, which corresponds to placing the 3d theory in a 2d Omega background. Then, by unifying all complex structures in a twistor space, we encode the full hyperk\"ahler metric on the Coulomb branch. We verify our proposals in a multitude of examples, including SQCD and linear quiver gauge theories, whose Coulomb branches have alternative descriptions as solutions to the Bogomolnyi and/or Nahm equations., Comment: 98 pages, 6 figures, v2: small typos corrected and references updated

This is the 10th article in the collection of reviews "Exact results on N=2 supersymmetric gauge theories", ed. J.Teschner. It reviews correspondences between three-dimensional gauge theories and complex Chern-Simons theory on suitable three-manifolds. Such correspondences are in many cases deeply related to the 4d/2d correspondence discussed in this collection. The partition functions of the three-dimensional gauge theories are calculable by means of localisation (as discussed in article no. 9 by K. Hosomichi), and the results are related to the quantum theory obtained by quantisation of Hitchin's moduli spaces., Comment: 40 pages, see also overview in arXiv:1412.7145

We use the 3d-3d correspondence together with the DGG construction of theories $T_n[M]$ labelled by 3-manifolds M to define a non-perturbative state-integral model for SL(n,C) Chern-Simons theory at any level k, based on ideal triangulations. The resulting partition functions generalize a widely studied k=1 state-integral as well as the 3d index, which is k=0. The Chern-Simons partition functions correspond to partition functions of $T_n[M]$ on squashed lens spaces L(k,1). At any k, they admit a holomorphic-antiholomorphic factorization, corresponding to the decomposition of L(k,1) into two solid tori, and the associated holomorphic block decomposition of the partition functions of T_n[M]. A generalization to L(k,p) is also presented. Convergence of the state integrals, for any k, requires triangulations to admit a positive angle structure; we propose that this is also necessary for the DGG gauge theory T_n[M] to flow to a desired IR SCFT., Comment: 49 pages, 4 figures

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., Comment: 43 pages + 1 appendix, 6 figures Version 2: new appendix on flat connections in the 3d-3d correspondence

We provide a new topological interpretation of the symplectic properties of gluing equations for triangulations of hyperbolic 3-manifolds, first discovered by Neumann and Zagier. We also extend the symplectic properties to more general gluings of PGL(2,C) flat connections on the boundaries of 3-manifolds with topological ideal triangulations, proving that gluing is a K_2 symplectic reduction of PGL(2,C) moduli spaces. Recently, such symplectic properties have been central in constructing quantum PGL(2,C) invariants of 3-manifolds. Our methods adapt the spectral network construction of Gaiotto-Moore-Neitzke to relate framed flat PGL(2,C) connections on the boundary C of a 3-manifold to flat GL(1,C) connections on a double branched cover S -> C of the boundary. Then moduli spaces of both PGL(2,C) connections on C and GL(1,C) connections on S gain coordinates labelled by the first homology of S, and inherit symplectic properties from the intersection form on homology., Comment: 53 + 12 pages

This paper studies the interplay between the N=2 gauge theories in three and four dimensions that have a geometric description in terms of twisted compactification of the six-dimensional (2,0) SCFT. Our main goal is to construct the three-dimensional domain walls associated to any three-dimensional cobordism. We find that we can build a variety of 3d theories that represent the local degrees of freedom at a given domain wall in various 4d duality frames, including both UV S-dual frames and IR Seiberg-Witten electric-magnetic dual frames. We pay special attention to Janus domain walls, defined by four-dimensional Lagrangians with position-dependent couplings. If the couplings on either side of the wall are weak in different UV duality frames, Janus domain walls reduce to S-duality walls, i.e. domain walls that encode the properties of UV dualities. If the couplings on one side are weak in the IR and on the other weak in the UV, Janus domain walls reduce to RG walls, i.e. domain walls that encode the properties of RG flows. We derive the 3d geometries associated to both types of domain wall, and test their properties in simple examples, both through basic field-theoretic considerations and via comparison with quantum Teichmuller theory. Our main mathematical tool is a parametrization and quantization of framed flat SL(K) connections on these geometries based on ideal triangulations., Comment: 82+26 pages, 64 figures

This paper combines several new constructions in mathematics and physics. Mathematically, we study framed flat PGL(K,C)-connections on a large class of 3-manifolds M with boundary. We define a space L_K(M) of framed flat connections on the boundary of M that extend to M. Our goal is to understand an open part of L_K(M) as a Lagrangian in the symplectic space of framed flat connections on the boundary, and as a K_2-Lagrangian, meaning that the K_2-avatar of the symplectic form restricts to zero. We construct an open part of L_K(M) from data assigned to a hypersimplicial K-decomposition of an ideal triangulation of M, generalizing Thurston's gluing equations in 3d hyperbolic geometry, and combining them with the cluster coordinates for framed flat PGL(K)-connections on surfaces. Using a canonical map from the complex of configurations of decorated flags to the Bloch complex, we prove that any generic component of L_K(M) is K_2-isotropic if the boundary satisfies some topological constraints (Theorem 4.2). In some cases this implies that L_K(M) is K_2-Lagrangian. For general M, we extend a classic result of Neumann-Zagier on symplectic properties of PGL(2) gluing equations to reduce the K_2-Lagrangian property to a combinatorial claim. Physically, we use the symplectic properties of K-decompositions to construct 3d N=2 superconformal field theories T_K[M] corresponding (conjecturally) to the compactification of K M5-branes on M. This extends known constructions for K=2. Just as for K=2, the theories T_K[M] are described as IR fixed points of abelian Chern-Simons-matter theories. Changes of triangulation (2-3 moves) lead to abelian mirror symmetries that are all generated by the elementary duality between N_f=1 SQED and the XYZ model. In the large K limit, we find evidence that the degrees of freedom of T_K[M] grow cubically in K., Comment: 121 pages + 2 appendices, 80 figures; Version 2: reorganized mathematical perspective, swapped Sections 3 and 4

We decompose sphere partition functions and indices of three-dimensional N=2 gauge theories into a sum of products involving a universal set of "holomorphic blocks". The blocks count BPS states and are in one-to-one correspondence with the theory's massive vacua. We also propose a new, effective technique for calculating the holomorphic blocks, inspired by a reduction to supersymmetric quantum mechanics. The blocks turn out to possess a wealth of surprising properties, such as a Stokes phenomenon that integrates nicely with actions of three-dimensional mirror symmetry. The blocks also have interesting dual interpretations. For theories arising from the compactification of the six-dimensional (2,0) theory on a three-manifold M, the blocks belong to a basis of wavefunctions in analytically continued Chern-Simons theory on M. For theories engineered on branes in Calabi-Yau geometries, the blocks offer a non-perturbative perspective on open topological string partition functions., Comment: 124 pages, 21 figures. v3: Typos corrected

We explore some curious implications of Seiberg duality for an SU(2) four-dimensional gauge theory with eight chiral doublets. We argue that two copies of the theory can be deformed by an exactly marginal quartic superpotential so that they acquire an enhanced E7 flavor symmetry. We argue that a single copy of the theory can be used to define an E7-invariant superconformal boundary condition for a theory of 28 five-dimensional free hypermultiplets. Finally, we derive similar statements for three-dimensional gauge theories such as an SU(2) gauge theory with six chiral doublets or Nf=4 SQED., Comment: 27 pages

The gluing equations of a cusped hyperbolic 3-manifold $M$ are a system of polynomial equations in the shapes of an ideal triangulation $\calT$ of $M$ that describe the complete hyperbolic structure of $M$ and its deformations. Given a Neumann-Zagier datum (comprising the shapes together with the gluing equations in a particular canonical form) we define a formal power series with coefficients in the invariant trace field of $M$ that should (a) agree with the asymptotic expansion of the Kashaev invariant to all orders, and (b) contain the nonabelian Reidemeister-Ray-Singer torsion of $M$ as its first subleading "1-loop" term. As a case study, we prove topological invariance of the 1-loop part of the constructed series and extend it into a formal power series of rational functions on the $\PSL(2,\BC)$ character variety of $M$. We provide a computer implementation of the first three terms of the series using the standard {\tt SnapPy} toolbox and check numerically the agreement of our torsion with the Reidemeister-Ray-Singer for all 59924 hyperbolic knots with at most 14 crossings. Finally, we explain how the definition of our series follows from the quantization of 3d hyperbolic geometry, using principles of Topological Quantum Field Theory. Our results have a straightforward extension to any 3-manifold $M$ with torus boundary components (not necessarily hyperbolic) that admits a regular ideal triangulation with respect to some $\PSL(2,\BC)$ representation., Comment: 50 pages, 12 figures

We identify a large class R of three-dimensional N=2 superconformal field theories. This class includes the effective theories T_M of M5-branes wrapped on 3-manifolds M, discussed in previous work by the authors, and more generally comprises theories that admit a UV description as abelian Chern-Simons-matter theories with (possibly non-perturbative) superpotential. Mathematically, class R might be viewed as an extreme quantum generalization of the Bloch group; in particular, the equivalence relation among theories in class R is a quantum-field-theoretic "2-3 move." We proceed to study the supersymmetric index of theories in class R, uncovering its physical and mathematical properties, including relations to algebras of line operators and to 4d indices. For 3-manifold theories T_M, the index is a new topological invariant, which turns out to be equivalent to non-holomorphic SL(2,C) Chern-Simons theory on M with a previously unexplored "integration cycle.", Comment: 67+11 pages, 14 figures

We propose a dictionary between geometry of triangulated 3-manifolds and physics of three-dimensional N=2 gauge theories. Under this duality, standard operations on triangulated 3-manifolds and various invariants thereof (classical as well as quantum) find a natural interpretation in field theory. For example, independence of the SL(2) Chern-Simons partition function on the choice of triangulation translates to a statement that S^3_b partition functions of two mirror 3d N=2 gauge theories are equal. Three-dimensional N=2 field theories associated to 3-manifolds can be thought of as theories that describe boundary conditions and duality walls in four-dimensional N=2 SCFTs, thus making the whole construction functorial with respect to cobordisms and gluing., Comment: 59 pages, 24 figures

We study S-dualities in analytically continued SL(2) Chern-Simons theory on a 3-manifold M. By realizing Chern-Simons theory via a compactification of a 6d five-brane theory on M, various objects and symmetries in Chern-Simons theory become related to objects and operations in dual 2d, 3d, and 4d theories. For example, the space of flat SL(2,C) connections on M is identified with the space of supersymmetric vacua in a dual 3d gauge theory. The hidden symmetry "hbar -> - (4 pi^2)/hbar" of SL(2) Chern-Simons theory can be identified as the S-duality transformation of N=4 super-Yang-Mills theory (obtained by compactifying the five-brane theory on a torus); whereas the mapping class group action in Chern-Simons theory on a three-manifold M with boundary C is realized as S-duality in 4d N=2 super-Yang-Mills theory associated with the Riemann surface C. We illustrate these symmetries by considering simple examples of 3-manifolds that include knot complements and punctured torus bundles, on the one hand, and mapping cylinders associated with mapping class group transformations, on the other. A generalization of mapping class group actions further allows us to study the transformations between several distinguished coordinate systems on the phase space of Chern-Simons theory, the SL(2) Hitchin moduli space., Comment: 64 pages, 18 figures

We construct from first principles the operator 'A-hat' that annihilates the partition functions (or wavefunctions) of three-dimensional Chern-Simons theory with gauge groups SU(2), SL(2,R), or SL(2,C) on a knot complement M. The operator 'A-hat' is a quantization of the knot complement's classical A-polynomial A(l,m). The construction proceeds by decomposing three-manifolds into ideal tetrahedra, and invoking a new, more global understanding of gluing in TQFT to put them back together. We advocate in particular that, properly interpreted, "gluing = symplectic reduction." We also arrive at a new finite-dimensional state integral model for computing the analytically continued "holomorphic blocks" that compose any physical Chern-Simons partition function., Comment: 110 pages, 14 figures; v2: references added and clarified, discussion of character varieties (Sec. 2) improved; v3: small typos corrected in Sec 6.3.2

To every 3-manifold M one can associate a two-dimensional N=(2,2) supersymmetric field theory by compactifying five-dimensional N=2 super-Yang-Mills theory on M. This system naturally appears in the study of half-BPS surface operators in four-dimensional N=2 gauge theories on one hand, and in the geometric approach to knot homologies, on the other. We study the relation between vortex counting in such two-dimensional N=(2,2) supersymmetric field theories and the refined BPS invariants of the dual geometries. In certain cases, this counting can be also mapped to the computation of degenerate conformal blocks in two-dimensional CFT's. Degenerate limits of vertex operators in CFT receive a simple interpretation via geometric transitions in BPS counting., Comment: 70 pages, 29 figures

The volume conjecture states that for a hyperbolic knot K in the three-sphere S^3 the asymptotic growth of the colored Jones polynomial of K is governed by the hyperbolic volume of the knot complement S^3\K. The conjecture relates two topological invariants, one combinatorial and one geometric, in a very nonobvious, nontrivial manner. The goal of the present lectures is to review the original statement of the volume conjecture and its recent extensions and generalizations, and to show how, in the most general context, the conjecture can be understood in terms of topological quantum field theory. In particular, we consider: a) generalization of the volume conjecture to families of incomplete hyperbolic metrics; b) generalization that involves not only the leading (volume) term, but the entire asymptotic expansion in 1/N; c) generalization to quantum group invariants for groups of higher rank; and d) generalization to arbitrary links in arbitrary three-manifolds., Comment: 32 pages, 6 figures; acknowledgements updated

We study refined and motivic wall-crossing formulas in N=2 supersymmetric gauge theories with SU(2) gauge group and N_f < 4 matter hypermultiplets in the fundamental representation. Such gauge theories provide an excellent testing ground for the conjecture that "refined = motivic.", Comment: 24 pages, 4 figures

It is well known that in string compactifications on toric Calabi-Yau manifolds one can introduce refined BPS invariants that carry information not only about the charge of the BPS state but also about the spin content. In this paper we study how these invariants behave under wall crossing. In particular, by applying a refined wall crossing formula, we obtain the refined BPS degeneracies for the conifold in different chambers. The result can be interpreted in terms of a new statistical model that counts `refined' pyramid partitions; the model provides a combinatorial realization of wall crossing and clarifies the relation between refined pyramid partitions and the refined topological vertex. We also compare the wall crossing behavior of the refined BPS invariants with that of the motivic Donaldson-Thomas invariants introduced by Kontsevich-Soibelman. In particular, we argue that, in the context of BPS state counting, the three adjectives in the title of this paper are essentially synonymous., Comment: 31 pages, 12 figures, harvmac

We develop several methods that allow us to compute all-loop partition functions in perturbative Chern-Simons theory with complex gauge group G_C, sometimes in multiple ways. In the background of a non-abelian irreducible flat connection, perturbative G_C invariants turn out to be interesting topological invariants, which are very different from finite type (Vassiliev) invariants obtained in a theory with compact gauge group G. We explore various aspects of these invariants and present an example where we compute them explicitly to high loop order. We also introduce a notion of "arithmetic TQFT" and conjecture (with supporting numerical evidence) that SL(2,C) Chern-Simons theory is an example of such a theory., Comment: 60 pages, 9 figures

We study models of stabilization near large complex structure in type IIB O3/O7 flux compactifications. We consider a special family of examples with a single nonvanishing Yukawa coupling in the large complex structure limit, which allows us to study all possible stable vacua of the tree-level no-scale potential very explicitly. We find that, by tuning fluxes, both supersymmetric and nonsupersymmetric vacua can be realized at almost any point in the large complex structure moduli space of one-, two-, and three-parameter models. We also consider the effects of stringy corrections on tree-level vacua. We argue quite generally that, in certain regimes, both supersymmetric and nonsupersymmetric tree-level vacua could serve as consistent, controllable foundations for full stabilization beyond tree level (including Kahler moduli), leading to either AdS or dS cosmological constants. We show how to achieve these regimes in our models. Finally, we discuss some implications of minimizing at tree level the no-scale form of the scalar potential, versus other potentials used in statistical studies., Comment: 42 pages