62 Chapter 4. <strong>Bethe</strong>/gauge<strong>The</strong> main result on the gauge side is of course the effective twisted superpotential (3.73) interms of the ground states σ n ,˜W eff (σ) = i τN∑n=1σ n + 12π+ 12π+ 12πN∑ ∑L f(σ n − ˜m l f )n=1 l=1N∑ ∑L¯f(−σ n − ˜m k¯f )n=1 k=1N∑ ∑L a(σ m − σ n − ˜m j a)m,n j=1m≠n(log σn − ˜m l fµ)− 1(log −σn − ˜m k¯fµ)− 1(log σm − σ n − ˜m j )a− 1 ,µ(4.3)and the resulting set of N coupled vacuum equations (3.74):∏ Lfl=1 (σn − ˜m l f∏ )L¯fk=1 (σn + ˜m k¯f ) = ∏NµL f−L¯f (−1) L¯f−L ae 2πiτ∏L am≠n j=1σ n − σ m + ˜m j aσ n − σ m − ˜m j a. (4.4)<strong>The</strong>se equations describe the vacuum structure on the Coulomb branch of a two-dimensionalN = (2, 2) sym with massive chiral matter multiplets. <strong>The</strong> matter fields are in the fundamental,anti-fundamental or adjoint representation of the gauge group; we will continue to refer to theserepresentations with R ∈ {f,¯f, a}. <strong>The</strong>se theories have the following parameters to play aroundwith:• the numbers L R of flavours of fields in the representation R (see Section 3.5);• the number N of colours;• the twisted masses ˜m l R ∈ C, for 1 ≤ l ≤ L R (Sections 3.2.3 and 3.3.3);• the complex gauge coupling τ = ir + ϑ/2π consisting of the FI-parameter r ∈ R and thevacuum angle ϑ ∈ S 1 (Sections 3.3.2 and 3.5).It’s time to match the two.4.1.1 Main exampleLooking at the above results, the leading observation for the <strong>Bethe</strong>/gauge correspondence fromSection 1.4 is clear:If we start with the appropriate field content, for suitable values of the parametersof the theory, the vacuum equation of two-dimensional gauge theory with N = (2, 2)supersymmetry coincides with the <strong>Bethe</strong> Ansatz equations of a quantum integrablemodel.<strong>The</strong> <strong>Bethe</strong> roots λ n are related to the supersymmetric vacua σ n . <strong>The</strong>re is a small subtletyregarding the mass dimensions of λ n and σ n , but we will ignore this for now, and write λ n ≈ σ n .We will get back to this shortly and replace the ‘≈’ by equalities. (<strong>The</strong> difference in the placementof the index ‘n’ is immaterial.)To see what values we should take for the parameters to fit the vacuum equation (4.4) withthe bae (4.1) we start at the gauge side. <strong>The</strong> first observation is that we need L f = L¯f =: L andL a = 1, so that the vacuum equations (4.4) becomeL∏l=1σ n − ˜m l fσ n + ˜m l¯f= (−1) L−1 e iϑ−2πr N ∏m≠nσ n − σ m + ˜m aσ n − σ m − ˜m a. (4.5)Secondly, we can absorb the sign in front of the right-hand side by a shift in τ, passing on toτ ′ := τ + (L − 1)/2; we drop the prime. This parameter is related to the twist parameter ϑ of
4.1. <strong>The</strong> correspondence 63the spin chain. Finally, we see that the twisted mass of Φ a must be ˜m a ≈ i, while the othersare related to the spin-chain parameters by ˜m l f ≈ ν l − is l and ˜m l¯f ≈ −ν l − is l .Thus, we can match the vacuum equations with the bae governing the N-particle sector of aspin chain of length L with quasi-periodic boundaries, inhomogeneities and local spins, providedwe start with U(N) gauge theory with the following matter content: 1• L fundamental fields Φ l f with twisted mass ˜ml f ≈ ν l − is l ;• L anti-fundamentals ¯Φ¯f,l with ˜m l¯f ≈ −ν l − is l ;• one ajoint field Φ a with ˜m a ≈ i.<strong>The</strong> main example of the <strong>Bethe</strong>/gauge correspondence is the special case where all twistedmasses are imaginary and ˜m l f= ˜m l¯f ≈ −is for all l. <strong>The</strong> vacuum structure of this theorycorresponds precisely with the N-particle sector of the length-L Heisenberg xxx s model.Since the Yang-Yang function serves as a potential for the bae while the effective twistedsuperpotential is the potential for the vacuum equation, we can also relate Y (λ) ≈ ˜W eff (σ).(Notice that, being potential functions, the two may differ by some additive constants in thiscase.)4.1.2 RemarksA few comments are in order.<strong>Bethe</strong> roots/vacua. First we address the ‘≈’. In Section 3.4.2 we have seen that σ has massdimension equal to one, implying that [σ n ] = 1. On the other hand, the rapidities λ n aredimensionless: the only dimensionful parameter on the <strong>Bethe</strong> side is the coupling constant Jwith [J] = 1 (see e.g. (1.2) and (1.6)).We introduce a mass u to fix this, so that σ n = λ n u. We then also have˜m l f = (ν l − is l ) u ,˜m l¯f = (−ν l − is l ) u ,˜m a = i u .(4.6)In particular, up to a factor of i, we can identify u as the twisted mass of our adjoint superfield.Notice that the common factor u drops out of the vacuum equations. Up to some additiveconstants the potentials are related by u Y (λ) = ˜W eff (λ n u).Twist parameter/gauge coupling τ. Above we noticed that the twist parameter ϑ of thespin chain is related to τ. In fact, since τ = ir + ϑ/2π, it precisely corresponds to the vacuumangle ϑ. Thus, from the <strong>Bethe</strong> point of view it seems natural to take the FI-parameter r equalto zero. In this case the trick we used to compute ˜W eff in Section 3.4.2 no longer works, butthe effective twisted superpotential can still be computed via the superfield path integration wereferred to at the end of that section.More interestingly, the gauge viewpoint suggests to investigate what happens on the <strong>Bethe</strong>side when r is nonzero. It turns out that this is indeed possible, shifting the <strong>Bethe</strong> string in therapidity-plane ( ∼ = C), so that it is no longer symmetric about the real axis.Field content. <strong>The</strong> matter content with L f = L and = L a = 1 is quite natural from the pointof view of four dimensions. We have seen in Section 3.1 that N = (2, 2) supersymmetry ariseas the dimensional reduction of N = 1 theory in four dimensions. Now suppose we extend theoriginal supersymmetry and start with a four-dimensional theory with N = 2 supersymmetry.<strong>The</strong>re are two basic superfields available for such theories: the N = 2 vector superfield, whichdescribes gauge fields, and the hypermultiplet representing matter (see e.g. §12 of [64]). It is oftenconvenient to use the cN = 1 language to describe extended supersymmetry. An N = 2 vectorsuperfield consists of a N = 1 vector superfield and a N = 1 chiral superfield in the adjoint1 Recall that in [1] our Φ f , Φ¯f and Φ a are denoted by Q, ˜Q and Φ, respectively.