Access the full text.

Sign up today, get DeepDyve free for 14 days.

Mathematics
, Volume 2020 (1806) – Jun 7, 2018

/lp/arxiv-cornell-university/branes-and-categorifying-integrable-lattice-models-szWGcpBXsr

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

- ISSN
- 1095-0761
- eISSN
- ARCH-3343
- DOI
- 10.4310/ATMP.2020.v24.n1.a1
- Publisher site
- See Article on Publisher Site

We elucidate how integrable lattice models described by Costello’s 4d Chern-Simons theory can be realized via a stack of D4-branes ending on an NS5-brane in type IIA string theory, with D0- branes on the D4-brane worldvolume sourcing a meromorphic RR 1-form, and fundamental strings forming the lattice. This provides us with a nonperturbative integration cycle for the 4d Chern- Simons theory, and by applying T- and S-duality, we show how the R-matrix, the Yang-Baxter equation and the Yangian can be categoriﬁed, that is, obtained via the Hilbert space of a 6d gauge theory. E-mail: meerashwinkumar@u.nus.edu E-mail: mctan@nus.edu.sg E-mail: zhaoqin@u.nus.edu arXiv:1806.02821v6 [hep-th] 9 May 2019 Contents 1 Introduction and summary 2 2 4d Chern-Simons theory from 5d topologically twisted MSYM coupled to mero- morphic RR 1-form 3 2.1 D4-brane worldvolume theory with NS5 boundary conditions . . . . . . . . . . . . . 3 2.2 Boundary action . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.3 Localization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.4 Wilson lines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3 Categoriﬁcation of R-matrix elements 10 3.1 T-duality as a lift to 6d . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.2 S-duality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3.3 Hilbert space of 6d theory and categoriﬁcation . . . . . . . . . . . . . . . . . . . . . 14 3.4 S-dual 4d Chern-Simons theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 A 5d gamma matrices and spinor operations 17 1 Introduction and summary The Yang-Baxter equation with spectral parameter was recently found to arise from a 4d variant of Chern-Simons gauge theory devised by Costello [1, 2, 3], with the action 1 2 S = C ∧ Tr A ∧ dA + A ∧ A ∧ A , (1.1) ~ 3 Y ×Σ where A is a complex-valued gauge ﬁeld, Y is a framed 2-manifold, and Σ is a complex Riemann surface endowed with a meromorphic one-form C = C(z)dz, which can have poles but no zeros. Within the realm of perturbation theory, this gauge theory encapsulates the underlying structure of integrable lattice models of two-dimensional classical statistical mechanics. Outside of perturbation theory, the 4d Chern-Simons theory (1.1) is not well-understood (its path integral is exponentially divergent), and it was suggested in [5] that a nonperturbative def- inition of the theory should arise from the D4-NS5 brane system of type IIA string theory, in a manner similar to how analytically-continued 3d Chern-Simons theory can be given a nonpertur- bative deﬁnition via the D3-NS5 system. Our aim in this work is to ﬁrstly verify the suggestion in [5], and to derive the integration cycle which allows (1.1) to be well-deﬁned beyond perturbation theory; this shall be done in Section 2. Secondly, given that the D3-NS5 brane embedding of 3d Chern-Simons theory leads to the categoriﬁcation of knot polynomials in terms of Khovanov homology [4], it is natural to ask if the D4-NS5 brane system will lead us to a categoriﬁcation of the Yang-Baxter equation. Indeed, in Section 3, by applying T- and S-duality to arrive at the NS5-D5 system in type IIB string 2 theory, we will categorify the elements of the R-matrix which solves the aforementioned Yang- Baxter equation, thereby categorifying the Yang-Baxter equation itself, and we shall furthermore categorify the Yangian. A brief summary of our results is as follows. We shall ﬁrst show that a twisted sector of the D4-NS5 system with a meromorphic RR 1-form is equivalent to Costello’s 4d Chern-Simons theory (2.32) with nonperturbative integration cycle deﬁned by (2.33). Using T- and S-duality, we arrive at the NS5-D5 brane system, the supersymmetric Hilbert space of ground states of which is deﬁned by the Floer cohomology of the 6d equations (3.11) which interpolate solutions of the 5d equations (3.12). Via these dualities, we are able to express each R-matrix element in terms of a trace over this Hilbert space in (3.14) (thereby categorifying each R-matrix element), and we are also able to categorify the Yang-Baxter equation, as shown in (3.17), as well as the Yangian. 2 4d Chern-Simons theory from 5d topologically twisted MSYM coupled to meromorphic RR 1-form 2.1 D4-brane worldvolume theory with NS5 boundary conditions The low energy worldvolume theory of N coincident D4-branes on a ﬂat manifold, M, has the classical action [6, 7] 1 1 1 1 c c b b 5 MN M M M N AA M B S = − d x Tr F F + D φ D φ + [φ , φ ][φ , φ ] + iρ (Γ ) D ρ MN M c c b M b 2 M M N BA g 4 2 4 b c b AA M B + ρ (Γ ) [φ , ρ ] , c b M AB (2.1) i.e., 5d maximally supersymmetric Yang-Mills theory (MSYM), which is invariant under the su- persymmetry transformations AA B δA = 2ζ (Γ ) ρ M M A b BA c b c b M AA M B δφ = −i2ζ (Γ ) ρ AB i i c b b c b b M B M B B M N C MN B δρ = (Γ ) D φ (Γ ) ζ − (Γ ) (Γ ) [φ , φ ]ζ − F (Γ ) ζ . M MN AB b A c b c b b b A b b b AA M BB M N BC A A A 2 2 (2.2) Here, (M, N, . . .) and (A, B, . . .) are respectively vector and spinor indices for the SO (5) rotation group, with their hatted counterparts corresponding to the SO (5) R-symmetry group. In addition, the Lie algebra of the U(N) gauge group is taken to be generated by antihermitian matrices T , where a = 1, . . . , dim u(N), implying that the invariant quadratic form on this Lie algebra, denoted Tr, is negative-deﬁnite. In particular, the matrices T are chosen such that Tr(T T ) = −δ . a a b ab We shall take the D4-branes to end on an NS5-brane, in the type IIA brane conﬁguration in ﬂat Euclidean space given by the following table: 1 2 3 4 5 6 7 8 9 10 D4 × × × × × NS5 × × × × × × where, e.g., an empty entry under ‘3’ indicates that the brane is located at x = 0. Also note that the scalar ﬁelds {φ , φ , φ , φ , φ } of the worldvolume theory are taken to parametrize the b b b b b 1 2 3 4 5 3 {6, 7, 8, 9, 10} directions, respectively. This conﬁguration induces the following boundary conditions on the ﬁelds of the worldvolume theory: b b b b b 1,2 3,4,5 (2.3) F = 0| 3 , D φ = 0| 3 , φ = 0| 3 , μ3 3 x =0 x =0 x =0 (here, µ is the boundary SO (4) rotation group 4d index) together with projection conditions on the fermionic ﬁelds. We now wish to perform a partial topological twist of the worldvolume theory along a sub- manifold of M. The reason for this is we wish to obtain Costello’s 4d Chern-Simons theory, which is a topological-holomorphic theory, and hence not fully topological. Let the ﬂat manifold 1 2 4 5 M = Y × R × Σ, where Y and Σ are 2-manifolds corresponding to the {x , x } and {x , x } directions respectively, while R is half of the real line, R, that corresponds to the x direction. We shall twist along V = Y × R , by redeﬁning its SO (3) rotation group to be the diagonal + E subgroup SO (3) of SO (3) × SO (3), where SO (3) is the subgroup of the R-symmetry group E E R R that rotates {φ , φ , φ }. b b b 1 2 3 1 2 3 From the string theoretical perspective, this partial twist amounts to taking the {x , x , x } 6 7 8 ∗ e e and {x , x , x } directions to form T V , where V = Y × R; the twist follows essentially because e e e V ⊂ V and V is the zero section of the cotangent bundle T V , and therefore ‘coordinates’ normal e e to V in T V must be components of one-forms [8], as we shall obtain via the twisting procedure. Let us denote SO (3) vector indices by (α, β, . . .) and SO (3) spinor indices by (α¯, β, . . .), with E E their hatted versions corresponding to SO (3). Twisting simply amounts to setting the hatted indices to unhatted indices. The remaining SO (2) vector indices not involved in twisting shall be denoted (m, n, . . .), with the barred and hatted versions having the usual meaning of spinor and R-symmetry indices. As a result of the twisting, the scalar ﬁelds {φ , φ , φ } now transform as the components b b b 1 2 3 {φ , φ , φ } of a one-form on Y × R . In addition, the twisting of the fermions which transform as 1 2 3 + (2,2) under SO (3) × SO (3) results in fermions which transform as 1 and 3 under SO (3) , i.e., E R E 2 ⊗ 2 = 1 ⊕ 3. (2.4) To see this explicitly, the spinor ﬁelds ρ = ρ can be expanded after twisting as b b b α¯m ¯ α¯m ¯ AA ρ = ǫ η + (σ ) ψ , (2.5) ¯ ¯ ¯ b b b α¯m ¯ βm ¯ α¯β m ¯ m ¯ α¯β αm ¯ m ¯ where we have used the antisymmetric matrix ǫ and the symmetric matrix (σ ) introduced in ¯ ¯ α¯β α¯β the appendix. The supersymmetry transformation parameters ζ = ζ can also be expanded b b b α¯m ¯ α¯m ¯ AA in such a manner, i.e., ζ = ǫ ¯ζ + (σ ) ¯ζ . (2.6) b b b α¯m ¯ βm ¯ α¯β m ¯ m ¯ α¯β αm ¯ m ¯ With the explicit representation of the gamma matrices given in the appendix, we can substitute (2.5) and (2.6) into (2.1) and (2.2) to obtain the partially twisted action and supersymmetry transformations. Now, we shall pick a particular supercharge, Q, that is scalar along V , with respect to which we shall eventually localize the theory. The supersymmetry transformations generated by this 4 supercharge ought to leave invariant the combinations A +iφ (or A −iφ ), A +iφ (or A −iφ ), 1 1 1 1 2 2 2 2 and A = (A + iA ), since these combinations are the natural candidates for the ﬁelds of the 4d z¯ 4 5 Chern-Simons theory, to which we hope to localize the partially twisted theory. Indeed, there are two such supercharges, corresponding to the supersymmetry transformation parameters ζ and ζ in (2.6). Without any loss of generality, we shall pick the supercharge corresponding to ζ . 12 11 Observe that from the on-shell supersymmetry algebra of (2.1), b b c b BC M B C B M C {Q , Q } = (Γ ) δ P − iδ (Γ ) P , (2.7) b M A b A b c AB B B M where P are the worldvolume momenta and P are central charges, we ﬁnd (by expanding Q c b M AB as in (2.5) and (2.6)) that the supercharge Q which corresponds to ζ satisﬁes 22 11 {Q, Q } ∝ P z¯ (2.8) {Q, Q } ∝ P , where Q = Q . This indicates a topological-holomorphic theory, i.e., one where correlation func- tions of Q-invariant local operators have holomorphic dependence on Σ and no other dependence on M. Next, setting the parameter ζ equal to 1, the corresponding supersymmetry transformations are QA = 0 QA = −8ψ α α22 QA = 0 z¯ QA = 4η z 12 Qφ = 0 zb Qφ = −4iη zb 21 Qη = 2iF + 2i[φ , φ ] − D φ 11 zz zb β zb (2.9) Qη = 0 Qη = 0 Qη = 4D φ 22 z¯ zb βγ Qψ = − ε F α11 βγ Qψ = 2D φ α12 α zb Qψ = −i2F α21 αz¯ Qψ = 0, α22 4 5 4 5 where we have deﬁned the complex coordinates z = x + ix and z = x − ix , the complex gauge ﬁelds (2.10) A = A + iφ , A = A − iφ , α α α α α α and 1 1 A = (A − iA ), A = (A + iA ), (2.11) z 4 5 z¯ 4 5 2 2 5 whereby we have the covariant derivatives (2.12) D = ∂ + [A ,· ], D = ∂ + [A ,· ], α α α α α α and D = ∂ + [A ,· ], D = ∂ + [A ,· ], (2.13) z z z z¯ z¯ z¯ and the ﬁeld strengths F = [D ,D ], F = [D , D ] and F = [D , D ]. We have also deﬁned βγ β γ αz α z zz¯ z z¯ the scalar ﬁelds 1 1 (2.14) φ = (φ − iφ ), φ = (φ + iφ ). zb b b b b 4 5 zb 4 5 2 2 Note that these transformations leave invariant the NS5 boundary conditions, which take the following form after twisting: A = 0| 3 , ∂ A = 0| 3 , 3 3 μ x =0 x =0 b b 1,2 3,4,5 ∂ φ = 0| 3 , φ = 0| 3 , x =0 x =0 ∂ η = 0| 3 , η = 0| 3 , (2.15) 3 b x =0 b x =0 1m 2m ψ = 0| 3 , ∂ ψ = 0| 3 , b 3 b x =0 x =0 αe1m αe2m ∂ ψ = 0| 3 , ψ = 0| 3 , 3 b x =0 b x =0 31m 32m where αe = 1, 2. Now, let us proceed to reexpress the action in a form suitable for localization. The partially twisted action we obtain can be put in the form 1 1 5 βγ α α S = − d x Tr F F + 2F F + 2D φ D φ + 8D φ D φ αz α z z¯ twisted βγ z zb zb 2 zb zb g 4 β 2 + (2iF + 2i[φ , φ ] − D φ ) zz zb β zb βγα αβ α − 4ε ψ D ψ + 4ε ψ D ψ − i4η D ψ α11 β γ22 α β12 11 α γ 22 α α α − i4ψ D η + i4ψ D η + i4η D ψ α 12 α 21 22 α 21 12 11 γ γ − i8ψ D ψ − i8ψ D ψ + i8η D η + i8η D η z γ22 z¯ γ12 22 z 21 11 z¯ 12 21 11 β β − 8ψ [φ , ψ ] − 8ψ [φ , ψ ] + 8η [φ , η ] + 8η [φ , η ] . zb β22 β11 22 zb 12 11 21 12 21 zb zb (2.16) In obtaining the form of the action given in (2.16), we have performed several integration-by-parts, where we have used the NS5 boundary conditions (2.15). In particular, the terms with only bosonic ﬁelds are equivalent to partial twists of the standard terms, i.e., 1 1 1 1 1 5 αβ αn mβ mn S = − d x Tr F F + F F + F F + F F boson αβ αn mβ mn g 4 4 4 4 1 1 α β α nb D φ D φ + D φ D φ α β α nb 2 2 1 1 m β m nb (2.17) + D φ D φ + D φ D φ m β m nb 2 2 1 1 α β α nb + [φ , φ ][φ , φ ] + [φ , φ ][φ , φ ] α β α nb 4 4 1 1 m b β m b nb + [φ , φ ][φ , φ ] + [φ , φ ][φ , φ ] . m b β m b nb 4 4 6 2 At this point, we note that the supersymmetry transformations (2.9) satisfy Q = 0 on-shell, that is, with the aid of the equation of motion obtained from varying η . In order for Q = 0 to be satisﬁed oﬀ-shell, we ought to introduce an auxiliary ﬁeld to the action, i.e., 1 1 5 β − d x Tr 2iF + 2i[φ , φ ] − D φ zz zb β 2 zb g 2 Z (2.18) 1 1 5 β 2 → − d x Tr d 2iF + 2i[φ , φ ] − D φ − d , zz zb β 2 zb and modify (2.9) such that Qη = d (2.19) Qd = 0. Then, the action (2.16) can be written in terms of a Q-exact part and a Q-invariant part, i.e., 5 αβγ αρσ γρσ S = QΨ − d x Tr 4ε ψ D ψ + i2ε η D χ − i4ε χ D ψ twisted γ21 α β12 22 α ρσ11 ρσ11 z¯ γ12 βρσ − 4ε ψ [φ , χ ] , ρσ11 β21 zb (2.20) where 1 1 βγ 5 α α Ψ = − d x Tr − χ F + iψ F + ψ D φ + 2η D φ βγ αz α 22 z 21 12 zb zb g 4 (2.21) + η 2iF + 2i[φ , φ ] − D φ − η d . 11 zz zb β 11 zb Here, we have performed the ﬁeld redeﬁnition χ = ε ψ , (2.22) ρσ11 ρσα where χ are the components of a 2-form on V , satisfying Qχ = −F . The Q-invariance of ρσ11 ρσ11 ρσ the Q-exact term in (2.20) follows since Q is nilpotent, while the remaining terms are Q-invariant due to the Bianchi identities D F + D F + D F = 0 (2.23) α βγ β γα γ αβ and D F + D F + D F = 0. (2.24) z¯ βγ β γz¯ γ z¯β Note that the dependence on the metric of V is completely contained in the Q-exact term in (2.20), while there is dependence on the complex structure of Σ which can be observed via the presence of the derivative D in one of the non-Q-exact terms. Hence, along the boundary, z¯ ∂M = Y × Σ, the partially twisted theory we have derived is topological along Y but depends on the complex structure of Σ, just as in Costello’s 4d Chern-Simons theory. 2.2 Boundary action In general, the low energy worldvolume action of coincident D4-branes admits a topological term which couples to the RR 1-form, R, sourced by D0-branes in the worldvolume, i.e., S = R ∧ Tr (F ∧ F). (2.25) top 7 In the following, we shall only be concerned with D0-branes which are charged such that the RR 1-form R is closed, which allows us to write (2.25) as a boundary action. In order to include such a coupling without breaking the supersymmetry generated by Q, we shall ﬁrst require that R has meromorphic dependence on Σ, i.e., R = C(z)dz. Upon doing so, the boundary RR 1-form coupling can be written as −i 2 C ∧ Tr A ∧ dA + A ∧ A ∧ A , (2.26) g 3 ∂M where C = C(z)dz. Now, this boundary action only depends on A , A and A , where A is 1 2 z¯ z¯ Q-invariant. Hence, in order to preserve Q-invariance along the boundary, we add boundary inter- action terms involving φ and φ to the action, such that the dependence on (A ,A ) is replaced 1 2 1 2 precisely by dependence on (A ,A ), resulting in the Q-invariant boundary action 1 2 −i 2 S = C ∧ Tr A ∧ dA + A ∧ A ∧ A , (2.27) boundary g 3 ∂M where we have used the notation A = A . z¯ z¯ 2.3 Localization We shall now specialize to the case where Y is a framed 2-manifold, the most important examples 2 2 (in the context of the Yang-Baxter equation) that we will consider being T and R , and where Σ is a Riemann surface which is either C, C or C/(Z+τZ). These three choices of Riemann surfaces will eventually correspond to rational, trigonometric and elliptic integrable lattice models. To evaluate the path integral, we shall rescale the Q-exact part of the action by a parameter s, which we shall eventually take to be very large. Since the path integral localizes to the ﬁxed points of the fermionic symmetry, it will be convenient to evaluate it by expanding in perturbation theory around these ﬁxed points. Let us ﬁrst integrate out the auxiliary ﬁeld d. Then, we gauge A away to zero. Next, denoting solutions of the bosonic ﬁxed points of the fermionic symmetry as X and ﬂuctuations around e e these points as X for any bosonic ﬁeld X, we expand these ﬁelds as X + X, and we rescale the ﬂuctuations and the fermionic ﬁelds as follows: e e e e e e A A A A φ φ φ αe αe z z¯ zb 3 zb e e e e e e e A ,A , A , A , φ , φ , φ → , , , , , , αe αe z z¯ zb 3 7 zb 2 2 2 2 s s s s s s (2.28) χ ψ ψ ψ ψ η η η 312 321 322 11 12 21 3αe11 αe22 χ , ψ , ψ , ψ , ψ , η , η , η → , , , , , , , 3αe11 αe22 312 321 322 11 12 21 2 2 5/2 5/2 3/2 3/2 s s s s s s s s (here, and in what follows, (αe, β, γe, . . . ) = 1, 2). Since the theory is topological along V = Y × R , we can also rescale the inverse of the metric as e 1 e 33 αeβ 3 33 αeβ (2.29) g , g → s g , g , where g is the ﬂat metric along Y . αeβ 8 Taking s → ∞, the total action becomes 1 1 5 33 γeβ 33 e e e S = − d x Tr g g ∂ A ∂ A + 2g ∂ A ∂ A 3 e 3 γe 3 z¯ 3 z 2 β g 2 33 33 33 e e e e + 2g ∂ φ ∂ φ + g g ∂ φ ∂ φ 3 3 zb 3 3 3 3 zb 33 γeβ 33 − 4g g χ ∂ ψ − i4g η ∂ ψ e 3 γe22 11 3 322 3β11 (2.30) 33 33 − i4g ψ ∂ η + i4g ψ ∂ η 321 3 12 312 3 21 e e 3βeγ 3βeγ + 4ε ψ ∂ ψ + i2ε η ∂ χ γe21 3 e 22 3 e β12 βγe11 i 2 − C ∧ Tr A ∧ dA + A ∧ A ∧ A 0 0 0 0 0 g 3 ∂M where we have used the fact that φ , φ and φ are equal to zero. Performing the path integral 30 zb0 zb0 over the ﬂuctuations and fermions, we obtain a constant factor which can be absorbed into the measure, giving us Z R i 2 C∧Tr A ∧dA + A ∧A ∧A 0 0 0 0 0 2 ∂M 3 DA DA DA DA e . (2.31) z0 z¯0 αe0 αe0 Then, performing the path integral over A and renormalizing, we end up with αe0 Z R i 2 C∧Tr A ∧dA + A ∧A ∧A 0 0 0 0 0 ∂M 3 DA DA DA e (2.32) z0 z¯0 αe0 where we now use the notation A = A and A = A in the path integral measure. This is z0 z0 z¯0 z¯0 the partition function of Costello’s 4d Chern-Simons theory with gauge group U(N) = GL(N,C) (where the Planck constant ~ = g ), with the functional integral performed over a nonperturbative integration cycle Γ in ﬁeld space, corresponding to the restriction to ∂M of the bosonic ﬁxed points of the fermionic symmetry generated by Q, i.e., F = 0 αeβ0 F = 0 (2.33) αez¯0 αe 2iF − D φ = 0 zz¯0 αe0 0 As shown recently in [9], one can also obtain 4d Chern-Simons theory from string theory by realizing it via a stack of D5-branes supported on the product of an Ω-background disk and Y × Σ. This follows from the equivalence between the terms with only bosonic ﬁelds in (2.16) and (2.17). The latter is a sum of squares, which implies that φ , φ and φ are each covariantly constant, and commute with all the other zb0 zb0 φ ﬁelds. The Dirichlet boundary conditions on these three ﬁelds then imply that they must be zero everywhere on M. We have assumed here that there are no fermionic zero modes. This is a reasonable assumption, given that the NS5 boundary conditions consist of Dirichlet and Neumann boundary conditions which are both elliptic in general, and the index of the fermionic operators ought to be proportional to χ(M)dim G, which vanishes for our present choice of M. 9 2.4 Wilson lines Now, it is a fact that QA =0 also allows us to deﬁne supersymmetric Wilson lines along Y , i.e., αe L⊂Y W = Tr(P e ), (2.34) as observables of the 5d topological-holomorphic theory that are associated with representations of the complex Lie algebra g = gl(N,C). From the point of view of string theory, these Wilson lines arise from the worldsheet boundaries of fundamental strings ending on the D4-brane worldvolume. Now, in [2], a general class of Wilson lines was considered, i.e., not only those associated with representations of g, but also representations of g[[z]] (the Lie algebra of polynomial loops of g). These Wilson lines are necessary in deriving the Yangian algebra associated with rational integrable lattice models. Such a Wilson line associated with g[[z]] is constructed by starting with a Wilson line along Y in a representation of g, and giving holomorphic dependence on Σ to the gauge ﬁeld in the operator, while also removing the trace (gauge invariance is maintained by taking Y to be very large, and insisting that the gauge ﬁeld vanishes at inﬁnity). In the string picture, such a Wilson line ought to be realized by an identical modiﬁcation to the Wilson line along the boundary of a fundamental string worldsheet, i.e., choosing a background gauge ﬁeld with (z, z¯)-dependence, and which vanishes at inﬁnity along Σ. Note that since P is Q-exact (see (2.8)), the z¯-dependence is z¯ actually trivial in the sector of the worldvolume theory we are studying, and therefore the Wilson line realized along Y has holomorphic z-dependence. Let us consider the path integral of the 5d topological-holomorphic theory with Wilson lines along Y ⊂ ∂M. Localization of the path integral along the lines of the previous subsection leads us to Costello’s 4d Chern-Simons theory with Wilson line insertions in the path integral, i.e., i 2 C∧Tr A ∧dA + A ∧A ∧A 0 0 0 0 0 A 2 0 ∂M 3 i 5 DA DA DA Tr(P e ) e (2.35) αe0 z0 z¯0 and for Wilson lines associated with representations of g = gl(N,C) forming a lattice along Y ⊂ ∂M, this correlation function is identiﬁed with the partition function of an integrable lattice model. This is because contracting R-matrices (which correspond to intersections of Wilson lines) and taking a trace gives a transfer matrix, and similarly contracting transfer matrices and taking a trace gives us the partition function. 3 Categoriﬁcation of R-matrix elements 3.1 T-duality as a lift to 6d To categorify the R-matrix elements and the Yang-Baxter equation with spectral parameter, we need to lift our 5d partially topological theory to a 6d one. From the string theory perspective, this corresponds to T-duality along one of the directions transverse to the D4-brane worldvolume. For our purposes, we shall require that this direction lie along the NS5-brane, so that we end up with a D5-NS5 brane system. We shall pick this direction to be x , leading to the following type IIB brane conﬁguration: 10 1 2 3 4 5 6 7 8 9 10 D5 × × × × × × NS5 × × × × × × 6 7 8 However, recall that the partial twisting in Section 2.1 was induced by taking the {x , x , x } ∗ 1 2 3 e e e directions to form the normal bundle to V ⊂ T V , where V = Y × R lies along the {x , x , x } directions. Hence, in order to facilitate the T-duality along the x direction, we ought to replace the R ﬁber in this direction by a very large circle. T-dualizing the D4-NS5 system then leads to the above D5-NS5 system, where x is a local coordinate of a very small circle. Let us now describe this T-duality as a 6d lift of the 5d action. Firstly, we note that the lift along the x direction implies that the ﬁeld φ is replaced by the gauge ﬁeld component A . This 1 6 in turn implies that A = A + iφ → A + iA = 2A 1 1 1 1 6 w (3.1) A = A − iφ → A − iA = 2A , 1 1 1 1 6 w 1 6 1 6 where we have deﬁned the complex coordinates w = x + ix and w = x − ix . We shall ﬁrst lift the boundary action (2.27) using the ﬁrst identiﬁcation in (3.1), as well as ∂ → 2∂ . Upon doing so, we obtain 1 w −i 2 C ∧ Tr A ∧ dA + A ∧ A ∧ A g 3 ∂M Z (3.2) −1 2 → dw ∧ C ∧ Tr A ∧ dA + A ∧ A ∧ A g (2πr) 1 3 ∂M×S where the circle with respect to which we are lifting has radius r, and where we use the notation A = A . w w Next, we wish to lift the bulk action. To do this, we shall ﬁrst lift the Q-transformations of the 5d action, via D → 2D 1 w (3.3) D → 2D . 1 w This choice, as opposed to ∂ → 2∂ , is necessary to obtain a boundary action invariant under (small) gauge 1 w transformations. 11 The Q-transformations we obtain in this way are QA = 0 QA = −8ψ i i22 QA = 0 QA = −4ηe w 22 QA = 0 z¯ QA = 4η z 12 Qφ = 0 zb Qφ = −4iη zb 21 Qη = d Qd = 0 Qη = 0 (3.4) Qη = 0 Qη = 4D φ 22 z¯ zb Qψ = 2F j11 jw Qχ = −F ij11 ij Qηe = 4D φ 12 w zb Qψ = 2D φ i12 i zb Qηe = −i4F 21 wz¯ Qψ = −i2F i21 iz¯ Qηe = 0, Qψ = 0, i22 where i, j, k, . . . = 2, 3, and where we have deﬁned the ﬁelds ψ = χ , ηe = ψ , ηe = ψ , j11 1j11 12 112 21 121 and ηe = ψ . Note that the boundary action (3.2) remains Q-invariant after lifting. We can now 22 122 directly lift the bulk action in the form (2.20) to 6d, which gives 6d ′ 6 jk ik ij S = QΨ − d x Tr 8ε ψ D ψ − 4ε ψ D ηe + 4ε ηe D ψ k21 w j12 k21 i 12 21 i j12 twisted g 2πr 1 M×S jk ij + i4ε η D χ − i4ε η D ψ w 22 i j11 22 jk11 (3.5) jk ij − i4ε χ D ηe + i8ε ψ D ψ jk11 z¯ 12 j11 z¯ i12 jk ij − 4ε ηe [φ , χ ] + 8ε ψ [φ , ψ ] , 21 jk11 i21 j11 zb zb 12 1jk jk where ε = ε , and where 1 1 ij j ′ 6 i Ψ = − d x Tr − χ F + ψ F + iψ F + i2ηe F ij jw iz 21 wz 11 11 g 2πr 1 4 5 M×S + ψ D φ + 2ηe D φ + 2η D φ (3.6) i zb 12 w zb 22 z zb + η 2iF + 2iF + 2i[φ , φ ] − D φ − η d . 11 zz ww zb j 11 zb We may verify that this is (a partially twisted version of) 6d N = (1, 1) Super Yang-Mills by studying the terms with only bosonic ﬁelds in (3.5), i.e., 1 1 6d 6 ij i i S = − d x Tr F F + 2F F + 2F F + 8F F ij iz iw wz¯ wz boson z¯ w g 2πr 1 4 M×S (3.7) + 2D φ D φ + 8D φ D φ + 8D φ D φ i zb z¯ z zb w w zb zb zb zb j 2 + d 2iF + 2iF + 2i[φ , φ ] − D φ − d . zz ww zb j zb Integrating d out of the action, this can be reexpressed as 1 1 1 1 1 6d 6 xy iy xj ij S = − d x Tr F F + F F + F F + F F xy iy xj ij boson g 2πr 1 4 4 4 4 M×S 1 1 i j i nb + D φ D φ + D φ D φ i j i nb 2 2 1 1 x j x nb (3.8) + D φ D φ + D φ D φ x j x nb 2 2 1 1 i j i nb + [φ , φ ][φ , φ ] + [φ , φ ][φ , φ ] i j i nb 4 4 1 1 m b j m b nb + [φ , φ ][φ , φ ] + [φ , φ ][φ , φ ] m b j m b nb 4 4 after integration by parts (making use of the NS5 boundary condition φ = 0), where x, y = z, z¯, w, w. Hence, the 6d theory (3.5), together with the boundary action −1 2 6d S = dw ∧ C ∧ Tr A ∧ dA + A ∧ A ∧ A (3.9) boundary 1 3 g (2πr) ∂M×S we obtained by lifting, is 6d maximally supersymmetric Yang-Mills theory partially twisted along 2 3 the x and x directions, with a boundary coupling to the RR 2-form idw ∧ C. It can be observed 2 3 from (3.5) that the dependence on the metric in the x and x directions is completely contained in the Q-exact term, while some of the remaining terms depend on the complex structures of Σ or ′ ′ Σ , where Σ is the Riemann surface with complex coordinates w and w. As an aside, we note that using similar arguments to section 2.2, one ought to be able to localize this partially twisted theory to a 5d Chern-Simons theory with an action of the form given in (3.9), with the path integral performed over the nonperturbative integration cycle Γ deﬁned by F = 0 2z¯0 F = 0 2w0 (3.10) F = 0 wz¯0 2iF + 2iF − D φ = 0, zz¯0 ww0 20 13 which happen to be the lifts of the equations given in (2.33). For C = dz, this is just the commuta- tive limit of Costello’s noncommutative 5d Chern-Simons theory studied in [10, 11, 12], which was obtained from a stack of D6-branes supported on the product of an Ω-background plane and R×C . Indeed, deforming the Ω-background plane to an inﬁnitely long cigar and applying T-duality along its circle ﬁbers, we obtain the D5-NS5 system. The reason we obtain a commutative version is that noncommutativity only arises in the presence of a particular nonzero B-ﬁeld [10], which we do not have. 3.2 S-duality We now go one step further, and study the S-dual of this system, whereby D5 and NS5-branes are exchanged. We note that both D5-branes and NS5-branes in type IIB string theory are described at low energy by 6d N = (1, 1) Super Yang-Mills theory. Hence, the dual theory is also a twist of 6d N = (1, 1) Super Yang-Mills, but one which lives on a stack of NS5-branes ending on a D5-brane. In addition, the F-strings ending on the D5-branes, which gave rise to Wilson lines, become D1-branes ending on the NS5-branes, which are also described by Wilson lines. Also, the background metric is rescaled under S-duality by a factor of 1/g, where g is the type IIB string coupling, and therefore variables with dimensions of length are rescaled by g. Next, we note that before S-duality, the coupling of the 5d boundary action of the D5-brane 2 3 ′ worldvolume theory is g (2πr) = (2π) gα , and S-duality results in the 5d boundary action of the 3 ′ NS5-brane worldvolume theory having the coupling (2π) α /g. In other words, the boundary action 3 ′ 2 5 ′ 2 −1 of the S-dual theory is multiplied by g/(2π) α = g /(2π) (α ) r . In addition, the coupling of the 3 ′ 6d bulk action of the D5-brane worldvolume theory, which is (2π) gα before S-duality, is replaced 3 ′ by the coupling (2π) α of the bulk action of the NS5-brane worldvolume after S-duality. Finally, the RR 2-form idw ∧ C in the D5-brane worldvolume is identiﬁed with an NS-NS 2-form in the NS5-brane worldvolume theory. We shall use this S-dual 6d theory to categorify the R-matrix elements, thereby providing a categoriﬁcation of the Yang-Baxter equation with spectral parameter. In other words, we want to be able to describe the R-matrix elements in terms of the Hilbert space of a 6d theory. The reason for using the S-dual theory is that it allows us to write its path integral as a trace (over its supersymmetric Hilbert space) of an expression with an obvious expansion in positive powers of ~, which the R-matrix is known to admit in the semi-classical limit. 3.3 Hilbert space of 6d theory and categoriﬁcation The BPS equations to which the NS5-brane worldvolume theory localizes will be identical to those of the original 6d theory on the D5-branes, which can be obtained from (3.4), i.e., F = 0 ij F = 0 iz¯ F = 0 (3.11) iw F = 0 wz¯ 2iF + 2iF − D φ = 0 zz ww j 14 where we have integrated out d, and used the fact that equivalence between (3.7) and (3.8) and the Dirichlet boundary conditions on φ imply that its BPS conﬁgurations are forced to be zero. zb Let us now use these equations to describe the supersymmetric Hilbert space of the S-dual theory, taking the sixth dimension S to be the Euclidean time dimension. We shall ﬁrst ﬁnd the space of classical ground states, which in the present case is a time-independent classical solution of the six-dimensional equations given in (3.11). That is, a classical ground state would solve the 5d equations F = 0 βγ F = 0 (3.12) αz¯ 2iF − D φ = 0 zz β which are the BPS equations from our study of the D4-brane worldvolume theory. We shall assume for simplicity in what follows that these equations have a ﬁnite set of solutions (modulo gauge transformations), and that they are all nondegenerate (i.e., when expanding around a particular solution, there are no bosonic zero modes). The latter condition implies that expansion around such a solution gives a single quantum state of vanishing energy, at least in perturbation theory. We shall now take into account quantum corrections to the classical spectrum. Firstly, it is known that nonzero energy eigenstates of a supersymmetric Hamiltonian always occur in pairs. In perturbation theory, the supersymmetric spectrum is unaﬀected by quantum corrections, because we always expand around a single approximate ground state, which is obtained by quantizing the corresponding classical solution, and hence because in perturbation theory only this single state is accessible, it is impossible for it to pair up with another state to leave the spectrum of supersymmetric ground states. However, nonperturbatively, quantum tunnelling via ‘instantons’ between such approximate ground states can lift a pair of ground states to a pair of excited states. The ‘instantons’ in our case are solutions to the 6d equations (3.11), and interpolate the 5d solutions of (3.12). An approximate ground state ψ , i.e., which perturbatively obeys Qψ = 0, would now obey I I Qψ = m ψ , (3.13) I IJ J J ∈S (where S is the space of solutions of (3.12)) in the full quantum theory, where m is obtained 5 IJ by summing contributions from all ‘instantons’ that interpolate between the solutions labelled by I and J . Hence, the quantum Hilbert space of ground states, H, of the 6d theory will be given by the cohomology of the operator Q, which is the Floer cohomology corresponding to the equations (3.11). Now, when Y = T , the trace in the Wilson loop operators in (2.35) can be disregarded due to the diﬀeomorphism invariance along Y in our original D4-NS5 setup, which allows us to take Y to be very large (gauge invariance will follow if we insist that the gauge ﬁeld vanishes at inﬁnity). When Y = R , removing the trace in this manner can be done without any rescaling of Y . In what follows, we shall also view the system under consideration at a ﬁxed length scale, which allows us to set α and r to convenient constants. Let us now consider (2.35) with two perpendicular Wilson 15 lines along Y , which gives rise to the R-matrix. Since the path integral of the 6d theory obtained via the aforementioned string dualities is equal to an R-matrix element, we can write 12 F −~P 1 2 R (z , z ) = Tr (−1) e W (z )W (z ) (3.14) 1 2 H 1 2 IK,JL IJ KL 1 2 where z and z are the positions of the Wilson lines (denoted as W and W ) on Σ and cor- 1 2 respond to the spectral parameters which label the R-matrix, I, J, K, L are basis elements of the representations of the Wilson lines, F is the fermion number operator, and where the operator P = i C ∧ Tr A ∧ dA + A ∧ A ∧ A (3.15) ∂M as obtained from the boundary topological term of the S-dual action at a point in time. In other words, we have identiﬁed a vector space with each R-matrix element, whereby the vector space is the Floer cohomology of the set of 6d partial diﬀerential equations (3.11). We may compute each R-matrix element from the solutions of these equations, which are associated with the Hilbert space of the 6d theory (we shall leave this for future work). This may be viewed as an indirect categoriﬁcation of the Yang-Baxter equation, but we may also categorify directly. This involves three Wilson lines labelled by spectral parameters z , z and z in the original D4-NS5 setup in 1 2 3 Section 2, whereby the topological invariance along Y allows us to reproduce the diagrammatic form of the Yang-Baxter equation by moving one of the Wilson lines. We then apply T- and S- duality to both sides of the equation, whereby, with the moved Wilson line denoted as W , we may represent the Yang-Baxter equation, X X 12 13 23 23 13 12 R (z , z )R (z , z )R (z , z ) = R (z , z )R (z , z )R (z , z ) 1 2 1 3 2 3 2 3 1 3 1 2 NM,QO QL,IP OP,JK ML,RT NT,SK SR,IJ O,P,Q R,S,T (3.16) as F −~P 1 2 3 F −~P 1 2 3 Tr (−1) e W (z )W (z )W (z ) = Tr (−1) e W (z )W (z )W (z ) H 1 2 3 H 1 2 3 NI MJ LK NI MJ LK (3.17) Moreover, we may, in a similar vein, categorify the Yangian algebra associated with rational inte- grable lattice models, in the form of the RTT relation. The latter is realized in the 4d Chern-Simons theory using three Wilson lines as well, but with one of them associated with a representation of g[[z]] instead of g [3]. Moving this Wilson line using the topological invariance along Y gives rise to the RTT relation, and therefore an expression of the form (3.17) categoriﬁes the Yangian algebra as well. It is expected that aﬃne and elliptic quantum algebras can be categoriﬁed in an analogous manner. 3.4 S-dual 4d Chern-Simons theory To obtain the 6d theory in Section 3.1, we applied T-duality along a very large circle in the x direction, which resulted in a very small circle in the 6d worldvolume of the D5-branes. Hence, at low energies, the 6d theory (and its S-dual) can eﬀectively be regarded as the 5d theory obtained 16 via dimensional reduction. Considering the S-dual 6d theory, we may localize the path integral of the eﬀective 5d theory we obtain at low energies, in an analogous manner to how we localized the path integral of the 5d theory in Sections 2.3 and 2.4. Doing so, we obtain 0 i~ C∧Tr A ∧dA + A ∧A ∧A 0 0 0 0 0 ∂M 3 DA DA DA Tr(P e ) e , (3.18) αe0 z0 z¯0 αe where Γ is the cycle deﬁned by the equations F = 0, F = 0 and 2iF − D φ = 0. Hence, e αez¯0 zz¯0 αe0 αeβ0 we have an ‘S-dual’ of Costello’s 4d Chern-Simons theory where the coupling is inverted as → ~. (3.19) This may be compared with the S-duality of analytically-continued 3d Chern-Simons theory, studied in [13, 14]. S-duality of this Chern-Simons theory inverts the coupling and exchanges the gauge group with its Langlands dual, and was argued to arise as a consequence of the S-duality of 4d N = 4 SYM. Similarly, in our case, the S-duality can be understood to arise from the S-duality of the D5-NS5 system. Acknowledgements We would like to thank Junya Yagi for discussions. This work is supported in part by the NUS FRC Tier 1 grant R-144-000-377-114. A 5d gamma matrices and spinor operations Where necessary, we use the following explicit representation of the gamma matrices in ﬁve (Eu- clidean) dimensions 1 1 3 2 2 3 3 3 3 4 1 5 2 Γ = σ ⊗ σ , Γ = σ ⊗ σ , Γ = σ ⊗ σ Γ = 1 ⊗ σ , Γ = 1 ⊗ σ , (A.1) 1 2 3 where the Pauli matrices {σ , σ , σ } are 0 1 0 −i 1 0 1 2 3 σ = , σ = , σ = . (A.2) 1 0 i 0 0 −1 These gamma matrices obey the Cliﬀord algebra {Γ , Γ } = 2g 1 . (A.3) M N MN 4×4 In addition, we also use this set of gamma matrices for the R-symmetry group SO(5) . The SO(5) rotation/R-symmetry group spinor indices in this paper are raised and lowered using the two index antisymmetric tensor Ω, i.e., B A AB ρ = ρ Ω , ρ = Ω ρ , (A.4) A BA B We shall only write formulas corresponding to rotation group spinors in what follows; the corresponding formulas for R-symmetry group spinors can be obtained by replacing indices with hatted versions of themselves. 17 A ∨ where ρ and ρ correspond to the representation 4 and its dual representation 4 . Here, Ω is chosen to have the explicit form ¯ 0 1 0 1 AB α¯β m ¯ n¯ Ω = ǫ ⊗ B = ⊗ . (A.5) −1 0 1 0 Moreover, the two index antisymmetric tensor ǫ deﬁned above can be used to raise and lower SO(3) spinor indices, i.e., ¯ ¯ β α¯ α¯β λ = λ ǫ , λ = ǫ λ . (A.6) ¯ ¯ α¯ βα¯ β Note that this antisymmetric tensor acts on the Pauli matrices to give symmetric matrices, i.e., β ¯ γ¯ α α α¯β α α α¯γ¯ α α α α¯γ¯ α γ¯α¯ (σ ) ǫ = (σ ) and ǫ (σ ) = (σ ) , where (σ ) = (σ ) and (σ ) = (σ ) . ¯ α¯γ¯ α¯γ¯ γ¯α¯ α¯ ¯ βγ¯ References [1] K. Costello, Supersymmetric gauge theory and the Yangian, ArXiV High-Energy Physics- Theory e-prints (March, 2013) [arXiv:1303.2632] [2] K. Costello, E. Witten, M. Yamazaki, Gauge Theory and Integrability, I, ArXiV High-Energy Physics-Theory e-prints (September, 2017) [arXiv:1709.09993] [3] K. Costello, E. Witten, M. Yamazaki, Gauge Theory and Integrability, II, ArXiV High-Energy Physics-Theory e-prints (February, 2018) [arXiv:1802.01579] [4] E. Witten, Fivebranes and knots, ArXiV High-Energy Physics-Theory e-prints (January, 2011) [arXiv:1101.3216] [5] E. Witten, Integrable Lattice Models From Gauge Theory, ArXiV High-Energy Physics-Theory e-prints (November, 2016) [arXiv:1611.00592] [6] B. Geyer, D. Mu¨lsch, Higher-dimensional analogue of the BlauThompson model and NT= 8, D= 2 Hodge-type cohomological gauge theories, Nuclear Physics B 662 (3) (2003) 531-553 [arXiv:hep-th/0211061] [7] C. Cordova, D. Jaﬀeris, Five-dimensional maximally supersymmetric Yang-Mills in supergrav- ity backgrounds, ArXiV High-Energy Physics-Theory e-prints (May, 2013) [arXiv:1305.2886] [8] M. Bershadsky, C. Vafa, V. Sadov, D-branes and topological ﬁeld theories, Nuclear Physics B 463 (2-3) (1996) 420-434 [arXiv:hep-th/9511222] [9] K. Costello, J. Yagi, Uniﬁcation of integrability in supersymmetric gauge theories, ArXiV High-Energy Physics-Theory e-prints (October, 2018) [arXiv:1810.01970] [10] K. Costello, M-theory in the Omega-background and 5-dimensional non-commutative gauge theory, ArXiV High-Energy Physics-Theory e-prints (October, 2016) [arXiv:1610.04144] [11] K. Costello, Holography and Koszul duality: the example of the M2 brane, ArXiV High-Energy Physics-Theory e-prints (May, 2017) [arXiv:1705.02500] 18 [12] M. Aganagic, K. Costello, J. McNamara, C. Vafa, Topological Chern-Simons/matter theories, ArXiV High-Energy Physics-Theory e-prints (June, 2017) [arXiv:1706.09977] [13] Y. Terashima, M. Yamazaki, SL (2,R) Chern-Simons, Liouville, and Gauge Theory on Duality Walls, Journal of High Energy Physics (2011) (8), 135 [arXiv:1103.5748] [14] T. Dimofte, S. Gukov, Chern-Simons theory and S-duality, Journal of High Energy Physics (2013) (5), 109 [arXiv:1106.4550]

Mathematics – arXiv (Cornell University)

**Published: ** Jun 7, 2018

Loading...

You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!

Read and print from thousands of top scholarly journals.

System error. Please try again!

Already have an account? Log in

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, **log in** first, or **sign up** for a DeepDyve account if you don’t already have one.

Copy and paste the desired citation format or use the link below to download a file formatted for EndNote

Access the full text.

Sign up today, get DeepDyve free for 14 days.

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.