Comments on twisted indices in 3d supersymmetric gauge theories

We study three-dimensional ${\mathcal N}=2$ supersymmetric gauge theories on ${\Sigma_g \times S^1}$ with a topological twist along $\Sigma_g$, a genus-$g$ Riemann surface. The twisted supersymmetric index at genus $g$ and the correlation functions of half-BPS loop operators on $S^1$ can be computed exactly by supersymmetric localization. For $g=1$, this gives a simple UV computation of the 3d Witten index. Twisted indices provide us with a clean derivation of the quantum algebra of supersymmetric Wilson loops, for any Yang-Mills-Chern-Simons-matter theory, in terms of the associated Bethe equations for the theory on ${\mathbb R}^2 \times S^1$. This also provides a powerful and simple tool to study 3d ${\mathcal N}=2$ Seiberg dualities. Finally, we study A- and B-twisted indices for ${\mathcal N}=4$ supersymmetric gauge theories, which turns out to be very useful for quantitative studies of three-dimensional mirror symmetry. We also briefly comment on a relation between the $S^2 \times S^1$ twisted indices and the Hilbert series of ${\mathcal N}=4$ moduli spaces.Comment: 66 pages plus appendix; v2: corrected typos and added reference

Toric geometry and local Calabi-Yau varieties: An introduction to toric geometry (for physicists)

These lecture notes are an introduction to toric geometry. Particular focus is put on the description of toric local Calabi-Yau varieties, such as needed in applications to the AdS/CFT correspondence in string theory. The point of view taken in these lectures is mostly algebro-geometric but no prior knowledge of algebraic geometry is assumed. After introducing the necessary mathematical definitions, we discuss the construction of toric varieties as holomorphic quotients. We discuss the resolution and deformation of toric Calabi-Yau singularities. We also explain the gauged linear sigma-model (GLSM) Kahler quotient construction.Comment: Based on lectures given at the Modave Summer School in Mathematical Physics 2008. 35 pages. v2: Added reference

Supersymmetric partition functions and the three-dimensional A-twist

We study three-dimensional $\mathcal{N}=2$ supersymmetric gauge theories on $\mathcal{M}_{g,p}$, an oriented circle bundle of degree $p$ over a closed Riemann surface, $\Sigma_g$. We compute the $\mathcal{M}_{g,p}$ supersymmetric partition function and correlation functions of supersymmetric loop operators. This uncovers interesting relations between observables on manifolds of different topologies. In particular, the familiar supersymmetric partition function on the round $S^3$ can be understood as the expectation value of a so-called "fibering operator" on $S^2 \times S^1$ with a topological twist. More generally, we show that the 3d $\mathcal{N}=2$ supersymmetric partition functions (and supersymmetric Wilson loop correlation functions) on $\mathcal{M}_{g,p}$ are fully determined by the two-dimensional A-twisted topological field theory obtained by compactifying the 3d theory on a circle. We give two complementary derivations of the result. We also discuss applications to F-maximization and to three-dimensional supersymmetric dualities.Comment: 84 pages plus appendix, 8 figures; v2: added reference

B-branes and supersymmetric quivers in 2d

We study 2d $\mathcal{N}=(0,2)$ supersymmetric quiver gauge theories that describe the low-energy dynamics of D1-branes at Calabi-Yau fourfold (CY$_4$) singularities. On general grounds, the holomorphic sector of these theories---matter content and (classical) superpotential interactions---should be fully captured by the topological $B$-model on the CY$_4$. By studying a number of examples, we confirm this expectation and flesh out the dictionary between B-brane category and supersymmetric quiver: the matter content of the supersymmetric quiver is encoded in morphisms between B-branes (that is, Ext groups of coherent sheaves), while the superpotential interactions are encoded in the $A_\infty$ algebra satisfied by the morphisms. This provides us with a derivation of the supersymmetric quiver directly from the CY$_4$ geometry. We also suggest a relation between triality of $\mathcal{N}=(0,2)$ gauge theories and certain mutations of exceptional collections of sheaves. 0d $\mathcal{N}=1$ supersymmetric quivers, corresponding to D-instantons probing CY$_5$ singularities, can be discussed similarly.Comment: 63 pages plus appendix, 21 figures; v2: corrected typos and added reference. JHEP version; v3: added referenc

N=1\mathcal{N}{=}1 supersymmetric indices and the four-dimensional A-model

We compute the supersymmetric partition function of $\mathcal{N}{=}1$ supersymmetric gauge theories with an $R$-symmetry on $\mathcal{M}_4 \cong \mathcal{M}_{g,p}\times S^1$, a principal elliptic fiber bundle of degree $p$ over a genus-$g$ Riemann surface, $\Sigma_g$. Equivalently, we compute the generalized supersymmetric index $I_{\mathcal{M}_{g,p}}$, with the supersymmetric three-manifold ${\mathcal{M}_{g,p}}$ as the spatial slice. The ordinary $\mathcal{N}{=}1$ supersymmetric index on the round three-sphere is recovered as a special case. We approach this computation from the point of view of a topological $A$-model for the abelianized gauge fields on the base $\Sigma_g$. This $A$-model---or $A$-twisted two-dimensional $\mathcal{N}{=}(2,2)$ gauge theory---encodes all the information about the generalized indices, which are viewed as expectations values of some canonically-defined surface defects wrapped on $T^2$ inside $\Sigma_g \times T^2$. Being defined by compactification on the torus, the $A$-model also enjoys natural modular properties, governed by the four-dimensional 't Hooft anomalies. As an application of our results, we provide new tests of Seiberg duality. We also present a new evaluation formula for the three-sphere index as a sum over two-dimensional vacua.Comment: 91 pages including appendices; v2: corrected typos and added references, JHEP versio

A-twisted correlators and Hori dualities

The Hori-Tong and Hori dualities are infrared dualities between two-dimensional gauge theories with $\mathcal{N}{=}(2,2)$ supersymmetry, which are reminiscent of four-dimensional Seiberg dualities. We provide additional evidence for those dualities with $U(N_c)$, $USp(2N_c)$, $SO(N)$ and $O(N)$ gauge groups, by matching correlation functions of Coulomb branch operators on a Riemann surface $\Sigma_g$, in the presence of the topological $A$-twist. The $O(N)$ theories studied, denoted by $O_+ (N)$ and $O_- (N)$, can be understood as $\mathbb{Z}_2$ orbifolds of an $SO(N)$ theory. The correlators of these theories on $\Sigma_g$ with $g > 0$ are obtained by computing correlators with $\mathbb{Z}_2$-twisted boundary conditions and summing them up with weights determined by the orbifold projection.Comment: 45 pages plus appendix; v2: updated bibliography and acknowledgement

Graded quivers and B-branes at Calabi-Yau singularities

A graded quiver with superpotential is a quiver whose arrows are assigned degrees $c\in \{0, 1, \cdots, m\}$, for some integer $m \geq 0$, with relations generated by a superpotential of degree $m-1$. Ordinary quivers ($m=1)$ often describe the open string sector of D-brane systems; in particular, they capture the physics of D3-branes at local Calabi-Yau (CY) 3-fold singularities in type IIB string theory, in the guise of 4d $\mathcal{N}=1$ supersymmetric quiver gauge theories. It was pointed out recently that graded quivers with $m=2$ and $m=3$ similarly describe systems of D-branes at CY 4-fold and 5-fold singularities, as 2d $\mathcal{N}=(0,2)$ and 0d $\mathcal{N}=1$ gauge theories, respectively. In this work, we further explore the correspondence between $m$-graded quivers with superpotential, $Q_{(m)}$, and CY $(m+2)$-fold singularities, ${\mathbf X}_{m+2}$. For any $m$, the open string sector of the topological B-model on ${\mathbf X}_{m+2}$ can be described in terms of a graded quiver. We illustrate this correspondence explicitly with a few infinite families of toric singularities indexed by $m \in \mathbb{N}$, for which we derive "toric" graded quivers associated to the geometry, using several complementary perspectives. Many interesting aspects of supersymmetric quiver gauge theories can be formally extended to any $m$; for instance, for one family of singularities, dubbed $C(Y^{1,0}(\mathbb{P}^m))$, that generalizes the conifold singularity to $m>1$, we point out the existence of a formal "duality cascade" for the corresponding graded quivers.Comment: 82 pages, 20 figure

Grothendieck lines in 3d N=2\mathcal{N}=2 SQCD and the quantum K-theory of the Grassmannian

We revisit the 3d GLSM computation of the equivariant quantum K-theory ring of the complex Grassmannian from the perspective of line defects. The 3d GLSM onto $X={\rm Gr}(N_c, n_f)$ is a circle compactification of the 3d $\mathcal{N}=2$ supersymmetric gauge theory with gauge group $U(N_c)_{k, k+l N_c}$ and $n_f$ fundamental chiral multiplets, for any choice of the Chern-Simons levels $(k,l)$ in the `geometric window'. For $k=N_c-\frac{n_f}{2}$ and $l=-1$, the twisted chiral ring generated by the half-BPS lines wrapping the circle has been previously identified with the quantum K-theory ring QK$_T(X)$. We identify new half-BPS line defects in the UV gauge theory, dubbed Grothendieck lines, which flow to the structure sheaves of the (equivariant) Schubert varieties of $X$. They are defined by coupling $\mathcal{N}=2$ supersymmetric gauged quantum mechanics of quiver type to the 3d GLSM. We explicitly show that the 1d Witten index of the defect worldline reproduces the Chern characters for the Schubert classes, which are written in terms of double Grothendieck polynomials. This gives us a physical realisation of the Schubert-class basis for QK$_T(X)$. We then use 3d $A$-model techniques to explicitly compute QK$_T(X)$ as well as other K-theoretic enumerative invariants such as the topological metric. We also consider the 2d/0d limit of our 3d/1d construction, which gives us local defects in the 2d GLSM, the Schubert defects, that realise equivariant quantum cohomology classes.Comment: 50 pages plus 3 appendice

The UU-plane of rank-one 4d N=2\mathcal{N}=2 KK theories

The simplest non-trivial 5d superconformal field theories (SCFT) are the famous rank-one theories with $E_n$ flavour symmetry. We study their $U$-plane, which is the one-dimensional Coulomb branch of the theory on $\mathbb{R}^4 \times S^1$. The total space of the Seiberg-Witten (SW) geometry -- the $E_n$ SW curve fibered over the $U$-plane -- is described as a rational elliptic surface with a singular fiber of type $I_{9-n}$ at infinity. A classification of all possible Coulomb branch configurations, for the $E_n$ theories and their 4d descendants, is given by Persson's classification of rational elliptic surfaces. We show that the global form of the flavour symmetry group is encoded in the Mordell-Weil group of the SW elliptic fibration. We study in detail many special points in parameters space, such as points where the flavour symmetry enhances, and/or where Argyres-Douglas and Minahan-Nemeschansky theories appear. In a number of important instances, including in the massless limit, the $U$-plane is a modular curve, and we use modularity to investigate aspects of the low-energy physics, such as the spectrum of light particles at strong coupling and the associated BPS quivers. We also study the gravitational couplings on the $U$-plane, matching the infrared expectation for the couplings $A(U)$ and $B(U)$ to the UV computation using the Nekrasov partition function.Comment: 137 pages plus appendix, many figures. v2: added references, corrected typos and imprecision

On the Witten index of 3d N=2\mathcal{N}=2 unitary SQCD with general CS levels

We consider unitary SQCD, a three-dimensional $\mathcal{N}=2$ supersymmetric Chern-Simons-matter theory consisting of one $U(N_c)_{k, k+l N_c}$ vector multiplet coupled to $n_f$ fundamental and $n_a$ antifundamental chiral multiplets, where $k$ and $l$ parameterise generic CS levels for $U(N_c)=(SU(N_c)\times U(1))/\mathbb{Z}_{N_c}$. We study the moduli space of vacua of this theory with $n_a=0$, for generic values of the parameters $N_c, k, l, n_f$ and with a non-zero Fayet-Ilopoulos parameter turned on. We uncover a rich pattern of vacua including Higgs, topological and hybrid phases. This allows us to derive a closed-form formula for the flavoured Witten index of unitary SQCD for any $n_f\neq n_a$, generalising previously known results for either $l=0$ or $n_f=n_a$. Finally, we analyse the vacuum structure of recently proposed infrared-dual gauge theories and we match vacua across the dualities, thus providing intricate new checks of those dualities. Incidentally, we also discuss a seemingly new level/rank duality for pure CS theories with $U(N)\times U(N')$ gauge group.Comment: 37 pages+appendix; v2: corrected typos and references; v3: small clarifications after feedback from SciPost referee