Edinburgh Research Explorer
Mirror symmetry and line operators
Citation for published version: Dimofte, T, Garner, N, Geracie, M & Hilburn, J 2020, 'Mirror symmetry and line operators', Journal of High Energy Physics, vol. 2020, 75. https://doi.org/10.1007/JHEP02(2020)075
Digital Object Identifier (DOI): 10.1007/JHEP02(2020)075
Link: Link to publication record in Edinburgh Research Explorer
Document Version: Peer reviewed version
Published In: Journal of High Energy Physics
General rights Copyright for the publications made accessible via the Edinburgh Research Explorer is retained by the author(s) and / or other copyright owners and it is a condition of accessing these publications that users recognise and abide by the legal requirements associated with these rights.
Take down policy The University of Edinburgh has made every reasonable effort to ensure that Edinburgh Research Explorer content complies with UK legislation. If you believe that the public display of this file breaches copyright please contact [email protected] providing details, and we will remove access to the work immediately and investigate your claim.
Download date: 06. Oct. 2021 April 27, 2020 Prepared for submission to JHEP
Mirror symmetry and line operators
Tudor Dimofte,1 Niklas Garner,1 Michael Geracie,1 Justin Hilburn2 1Department of Mathematics and Center for Quantum Mathematics and Physics (QMAP), University of California, Davis, CA 95616, USA 2Department of Mathematics, University of Pennsylvania, Philadelphia, PA 19104, USA E-mail: [email protected], [email protected], [email protected], [email protected]
Abstract: We study half-BPS line operators in 3d = 4 gauge theories, focusing in partic- N ular 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. arXiv:1908.00013v5 [hep-th] 10 Feb 2020 Contents
1 Introduction2 1.1 Some general structure3 1.2 Wilson lines5 1.3 A closer look at vortex lines6 1.4 Junctions of vortex lines8 1.5 Main examples 10 1.6 Acknowledgements 11
2 Conventions and SUSY algebras 11 2.1 1d subalgebras 12 2.2 Topological twists 13 2.3 Local operators 14 2.4 3d mirror symmetry 16
3 Wilson lines and their junctions 17 3.1 Bulk local operators 18 3.2 Local operators at junctions 21 3.3 Sheaves on the Higgs branch 22 3.4 Omega background 23
4 Half-BPS vortex lines 27
4.1 BPS equations for SQMA 29 4.2 Free matter 32 4.3 Algebraic reformulation 36 4.4 Adding gauge interactions 37 4.5 General A-type line operators 43
5 Junctions of vortex lines 47 5.1 Cylinder setup 48 5.2 Quantum mechanics and cohomologies 50 5.3 Local operators and convolution 51 5.4 Algebraic reformulation 54 5.5 Vortex number 58 5.6 Summary and interpretation 59 5.7 Equivariant intersection cohomology 62
– i – 6 Line operators in abelian theories 65 6.1 Basic mirror symmetry 65
6.2 SQED2 72 6.3 SQED2 via 1d quiver 78 6.4 General abelian theories 80 6.5 Flavor vortices, abelian and nonabelian 86
7 Nonabelian theories: the abelianizing line 87 7.1 Triviality of line operators with nonsingular matter 88 7.2 The Iwahori line and boundary condition 90 7.3 Disc Hilbert spaces 91 7.4 Local operators on the Iwahori line 94 7.5 Junctions between VI and 1 104 ε ε 1 7.6 EndA(VI ) as a matrix algebra over EndA( ) 106
8 The conifold vortex line and its mirror 107 8.1 Fundamental Wilson line 108 8.2 Vortex line 111
A SUSY algebra 119 A.1 Vectormultiplets 121 A.2 Hypermultiplets 122 A.3 Moment maps 123
B Half-space setup and representations for the BFN algebra 124 B.1 Modification 1: half-space setup 124 B.2 Modification 2: finite-distance boundary conditions 125 B.3 Moduli spaces 126
C Conifold matching 129 C.1 Fundamental Wilson line 129 C.2 Hilbert series 133 C.3 Conifold line operator 135 C.4 Matching across mirror symmetry 140
– 1 – 1 Introduction
BPS line operators in supersymmetry gauge theories hold a wealth of algebraic and geometric structure. Such structure has been most extensively studied in four-dimensional supersym- metric gauge theories, where one encounters BPS Wilson lines [1–6], BPS ’t Hooft lines [7–10], and hybrids thereof. A few of the contexts in which these line operators have played a central role during the last decade and a half include the physics of geometric Langlands [10, 11], wall crossing phenomena [12, 13], and the AGT correspondence [14–17]. It was also realized that the precise spectrum of line operators constitutes part of the very definition of a 4d gauge theory [12, 18]. This paper focuses on half-BPS line operators in three dimensions, specifically in 3d = 4 N gauge theories. Much as in 4d, line operators in 3d gauge theories come in two basic vari- eties: Wilson lines (‘order’ operators) and vortex lines (disorder operators). Supersymmetric Wilson lines in pure 3d = 4 gauge theories were introduced by [2]; and their analogues N in sigma-models [19, 20] played a central role in the construction of Rozansky-Witten in- variants. Supersymmetric vortex lines are codimension-two disorder operators, modeled on singular limits of the Nielsen-Olesen vortex [21] and its supersymmetric cousins, e.g. [22–24]. They may also be understood as dimensional reductions of supersymmetric surface opera- tors in 4d gauge theories: the basic Gukov-Witten surface operators [11, 25, 26] and their 4d = 2 analogues [15, 27–30], studied and generalized in many later works — a small sampling N includes [31–39] (see [40] for a clear review). Compactifying further to two dimensions, vortex lines become twist fields, which played a fundamental role in T-duality/mirror symmetry [41] and were recently reexamined by [42, 43]. Supersymmetric vortex lines in the 3d = 6 ABJM theory were constructed by [44] N (further studied in many works e.g. [45–48]); then generalized and studied in 3d = 2 N theories by [49–51] using supersymmetric localization. Further physical aspects of vortex lines in abelian 3d = 2 and = 4 theories were developed in [52, 53]. A systematic study N N of half-BPS vortex lines in 3d = 4 quiver gauge theories — both abelian and nonabelian N — was initiated more recently by Assel and Gomis [54] using IIB brane constructions [55], akin to the constructions of surface operators in [31, 56]. It was shown by [54] that 3d mirror symmetry [57–59] swaps Wilson and vortex lines in quiver gauge theories. The rather nontrivial mirror map was verified with computations of supersymmetric partition functions, generalizing [50, 51, 60, 61]. Our overarching goal in the current paper is to describe — in both a theoretical and a computationally effective way — the BPS local operators at junctions of line operators, and their OPE.1 We will expand on precisely what this means further below. For Wilson lines, achieving this goal is relatively straightforward. Understanding junctions of vortex lines, however, requires some work. Indeed, to the best of our knowledge, even half-BPS vortex lines themselves have not been fully classified in general gauge theories. Part of this paper will
1Our use of the term “line operator,” as opposed to “loop operator,” is meant to emphasize the focus on such local structure.
– 2 – be devoted to first characterizing a large class of vortex lines in terms of algebraic data, and then proposing a precise computational scheme (based on the algebraic data) to determine the spaces of local operators at junctions. We test this scheme in several nontrivial examples.
1.1 Some general structure The order/disorder distinction between Wilson and vortex lines is not truly intrinsic. For example, many vortex lines may equivalently be engineered by coupling a 3d theory to 1d de- grees of freedom in a nonsingular way; and the order/disorder distinction is also not preserved across dualities. A better distinction comes from classifying the half-BPS SUSY subalgebras that a line operator can preserve. In this paper, we will always consider straight, parallel line operators, preserving a 1d = 4 subalgebra of 3d = 4 that contains translations N N along the line. There are two inequivalent choices of 1d = 4 subalgebra, which we call 2 N SQMA and SQMB. We refer to line operators that preserve SQMA (resp. SQMB) as A-type (resp. B-type) lines; they include half-BPS vortex lines (resp. half-BPS Wilson lines). The subalgebras SQMA and SQMB — and thus the entire collections of A-type and B-type line operators — are exchanged by 3d mirror symmetry.
An important feature of SQMA and SQMB is that each subalgebra contains a topological supercharge, which we denote QA and QB, respectively. These supercharges are nilpotent, and they make all translations (in fact, the entire stress-energy tensor) exact. The QA supercharge is the 3d reduction of the supercharge used to define the Donaldson-Witten twist of 4d = 2 N gauge theories [62]; parts of its extended-TQFT structure in 3d gauge theories were discussed in [63, 64]. The QB supercharge defines a twist that was introduced in 3d gauge theories by [2]; it is better known in 3d = 4 sigma-models as the Rozansky-Witten twist [19], with N extended-TQFT structure developed in [20]. Now, any pair of line operators , 0 defines a vector space Ops( , 0) of local operators L L L L that can be inserted at the junction between and 0. (If no junction is possible, then L L Ops( , 0) is simply declared to be the zero vector space.) If and 0 are both A-type or L L L L both B-type, then we can further consider the QA or QB-cohomology of the space of local operators, denoted
0 • 0 0 • 0 HomA( , ) := H (Ops( , ),QA) or HomB( , ) := H (Ops( , ),QB) . (1.1) L L L L L L L L Moreover, since the cohomology of a topological supercharge is locally constant, there is an associative product on cohomology classes induced by collision of successive junctions, illustrated in Figure1. For example, if , 0, 00 are all A-type, then there is a product L L L 0 00 0 00 HomA( , ) HomA( , ) HomA( , ) L0 L ⊗ L L → 0 L L , (1.2) O O 7→ O ∗ O and similarly if , 0, 00 are all B-type. L L L 2 These subalgebras were called SQMV and SQMW , respectively, in [54].
– 3 – 00 00 L L 0 O
0
Figure 1. Local operators at junctions of lines have products induced by collision.
Altogether, this endows the spaces HomA or HomB of local operators with an algebraic structure. It has some important specializations. For any single , the space Hom∗( , ) L L L of local operators bound to becomes a standard associative algebra with product (1.2). L Moreover, if we take = 1 to be the trivial or “empty” line operator, then Ops(1, 1) simply L consists of bulk local operators, and the Q-cohomologies
HomA(1, 1) C[ C ] , HomB(1, 1) C[ H ] (1.3) ⊇ M ⊇ M turn out to contain the Coulomb-branch and Higgs-branch chiral rings. Thus, chiral rings can be recovered from knowing about junctions of line operators. More broadly, one expects from general principles of extended TQFT (cf. [65, 66]) that the set of all line operators preserved by a supercharge QA (resp. QB) — including the half- 3 BPS line operators — acquire the structure of an E2-monoidal category A (resp. B). From 0 C C 0 this perspective, Hom∗( , ) is the cohomology of a morphism space between objects , , L L L L and (1.2) is composition of morphisms. A geometric model of B in 3d = 4 sigma-models C N was proposed by [20], and interesting examples of B in gauge theories appeared in [68, 69]. C Algebro-geometric models for both A and B in general 3d = 4 gauge theories with C C N linear symplectic matter will be proposed in the upcoming [70, 71]. There are technical challenges to overcome in properly defining them, from both mathematical and physical perspectives, which are well outside the scope of the current paper. As a rough preview, given compact gauge group G and hypermultiplet representation R R∗, we expect the ⊕ category A to be described as equivariant D-modules on the loop space of R, and B to be C C described as quasi-coherent sheaves on the derived (homologically constant) loop space of the stack R/GC