the ads / cft correspondence @xcite@xcite@xcite implies that type iib string theory in @xmath7 is equivalent to @xmath2 super - yang - mills in four dimensions . in the classical string theory limit , or equivalently in the planar gauge theory limit , integrable structures appear .
this has lead to impressive progress in the understanding of this system ( see @xcite for a review ) .
the ads / cft dictionary relates the energy of string states in the bulk to the conformal dimensions of operators on the boundary .
a set of equations known as the y - system has been put forward in @xcite to solve the spectrum problem of planar @xmath2 sym , or equivalently of string theory in @xmath7 .
the goal of the present article is to make a new step towards a definite proof of the validity of this set of equations .
there is by now solid evidence in favor of the validity of the y - system .
it reproduces the results of the asymptotic bethe ansatz @xcite , but it does not suffer from the same limitations .
for instance it contains @xcite@xcite the spectrum of the quasi - classical string at large t hooft coupling ( see e.g. @xcite ) .
even more impressively , it lead to correct predictions for the dimension of the konishi operator both at large @xcite and at small @xcite t hooft coupling .    in order to claim that the spectrum problem for @xmath2 sym has been definitively solved
, it would be comfortable to have a proof of the validity of the y - system . at that point
the only known derivation of the y - system relies on the thermodynamic bethe ansatz @xcite ( see e.g. @xcite for a review ) .
this approach was studied in @xcite@xcite@xcite .
the thermodynamic bethe ansatz has been very successful and lead to numerous remarkable results .
however this method relies on several crucial assumptions . in the first place
, one has to assume quantum integrability of the theory .
then one needs the `` string hypothesis '' : the spectrum of excitations that contribute to the thermodynamic limit of the theory essentially has to be guessed .
most importantly , this method only gives the ground state energy .
the spectrum of excited state can be obtained by analytic continuation , but the reason why this works is not understood .    in this paper
, we will initiate a different approach to derive the y - system from first principles .
we will use only elementary tools of two dimensional conformal field theory ; in this aspect this article can be related to the seminal work of @xcite where the y - system was derived for the minimal models .
we will be able to prove the validity of the y - system up to first non - trivial order at large t hooft coupling .
[ [ the - idea - of - the - proof . ] ] the idea of the proof .
+ + + + + + + + + + + + + + + + + + + + + +    up to a change of variables , the y - system can be rewritten as a t - system , also known as the hirota equation : [ tsystem ] _ a , s(u + 1 ) _ a , s(u - 1 ) = _ a+1,s(u+1)_a-1,s(u-1 ) + _ a , s+1(u-1)_a , s-1(u+1 ) in the above equation , @xmath8 is a spectral parameter and the indices @xmath9 are integers that label representations of the global symmetry group of the system . in the case at hand
this group is @xmath10 .
these labels take values in a t - shaped lattice .
more details are given in section [ prooftsys ] .
the t - functions are expected to be related to special line operators of the string worldsheet theory , namely the transfer matrices ( see e.g. @xcite ) .
the transfer matrices play a central role in the study of classical integrability .
indeed these operators code an infinite number of conserved charges . by definition ,
the transfer matrix is the supertrace of the monodromy matrix .
the monodromy matrix itself is an element of the supergroup @xmath10 .
thus the classical transfer matrix is a supercharacter .
if the shifts of the spectral parameter are neglected , the t - system reduces to a character identity that is known to hold ( see e.g. @xcite@xcite ) . we deduce that the shifts of the spectral parameter come from some kind of quantum effects .    in this paper
we take the identification the t - functions to the transfer matrices seriously .
the t - system is promoted to an operator identity between quantum transfer matrices .
we postulate that the product appearing in the t - system is the fusion of line operators .
the process of fusion of line operators involve quantum effects , that are responsible for the appearance of the shifts in the t - system
. we will show that this picture is indeed correct up to first non - trivial order in the large t hooft coupling expansion .
more precisely , we will compute the leading quantum correction in the fusion of two transfer matrices , and show that it correctly gives the shifts of the t - system at first order .
the same strategy was previously successfully applied for the sigma - model on the supergroup @xmath11 in @xcite .
[ [ organization - of - the - paper . ] ] organization of the paper .
+ + + + + + + + + + + + + + + + + + + + + + + + + +    in section [ worldsheettheory ] we describe the features of the pure spinor string on @xmath3 that are relevant for our purposes .
we also introduce the relevant line operators . in section
[ fusion ] we present the central computation of this work : we study the fusion of line operators up to second order in perturbation theory . in section [ prooftsys ]
we make good use of this computation to deduce the validity of the t - system up to first order in perturbation theory .
section [ extensions ] contains a discussion of the extension of this method to other integrable models .
eventually final remarks are gathered in section [ conclusion ] .    in order to keep the bulk of the paper as readable as possible ,
most of the details of the computations are gathered in the appendices .
appendix [ conventions ] contains the conventions . in appendix [ covcurrents ]
we revisit the computation of the current - current opes in the pure spinor formalism using a novel and efficient method . in appendix [ computationdiv ]
we study the uv divergences in line operators .
eventually appendix [ comfusion ] contains the computations relevant for the fusion of line operators .
to describe superstring theory in @xmath7 we will use the pure spinor formalism .
this choice is a matter of convenience . indeed
the computations of section [ fusion ] are simpler in the conformal gauge , where target - space covariance is preserved .    in this section
we introduce the pure spinor string on @xmath7 .
we only discuss the features of this formalism that are relevant for the purpose of this paper .
a more detailed discussion can be found for instance in @xcite@xcite@xcite .
we introduce the flat connection , and show that the commutator of equal - time connections can be written in the canonical form of a @xmath12 system .
we also introduce the line operators that are defined as the path - ordered exponential of the line integral of the flat connection .
finally we discuss the uv divergences that appear in these line operators because of quantum effects .
most of the results discussed in this section have appeared before in the literature .
some new results are presented concerning the current algebra , the commutator of equal - time connections and the renormalization of the line operators .
the target - space @xmath3 is embedded in a superspace with 32 supercharges .
it is realized as the supercoset @xmath13 .
the lie superalgebra @xmath14 admits the action of a @xmath15 automorphism .
this automorphism induces a @xmath15 grading on the elements of the lie superalgebra .
we can decompose the lie algebra @xmath16 according to this grading : [ z4decompo ] = _ 0 _ 1 _ 2 _ 3 where the subscript gives the @xmath15 grade .
bosonic ( respectively fermionic ) generators of the lie superalgebra have an even ( respectively odd ) grade .
[ [ the - action . ] ] the action .
+ + + + + + + + + + +    let us introduce the currents @xmath17 and @xmath18 defined in terms of the group element @xmath19 as : [ j = gdg ] j = g^-1 g ;
|j = g^-1 |g they take values in the lie superalgebra @xmath16 .
we decompose the current @xmath17 according to the @xmath15 grading of the lie superalgebra : j = j_0 + j_1 + j_2 + j_3 and similarly for @xmath18 .
let us also introduce the bosonic pure spinor ghosts @xmath20 as well as their conjugate momenta @xmath21 .
they expand on the fermionic generators of the superalgebra with the following gradings : @xmath22 and @xmath23 .
the ghosts satisfy the pure spinor constraint : @xmath24 , where the @xmath25 s are the @xmath26 gamma matrices .
the pure spinor lorentz currents are : n=-\{w , } ; n = -\{w , } the action reads : @xmath27 the first line of the action contains a kinetic term both for the bosonic and fermionic target space coordinates .
this implies in particular that the model does not exhibit kappa - symmetry , contrary to the green - schwarz string . the radius of the target space is denoted by @xmath28 in units of the string length . later on we will work perturbatively in a large radius expansion : the small parameter is @xmath29 .
[ [ gauge - symmetry . ] ] gauge symmetry .
+ + + + + + + + + + + + + + +    the action admits a @xmath30 gauge symmetry : g = g h_0 , = [ , h_0 ] , = [ , h_0 ] , w = [ w , h_0 ] , w = [ w , h_0 ] the holomorphic currents transform as : i0 :  j_i = [ j_i , h_0 ] ; j_0 = h_0 + [ j_0 , h_0 ] ; n = [ n , h_0 ] and similarly for the anti - holomorphic currents .
we introduce the associated covariant derivative : = + [ j_0 , ] ; |= |+ [ |j_0 , ]    [ [ parity . ] ] parity .
+ + + + + + +    the model enjoys a @xmath31 symmetry that exchanges holomorphic and anti - holomorphic worldsheet coordinates
. it also flips the grade of the fermionic elements of the lie superalgebra : the subalgebras @xmath32 and @xmath33 are exchanged .
[ [ the - maurer - cartan - equation . ] ] the maurer - cartan equation .
+ + + + + + + + + + + + + + + + + + + + + + + + + + +    a consequence of is that the current satisfies the maurer - cartan equation : [ mc ] |j - |j + [ j , |j ] = 0 this is a crucial equation that is essentially responsible for the integrable properties of the model .
[ [ equations - of - motion . ] ] equations of motion .
+ + + + + + + + + + + + + + + + + + + +    the equations of motion combined with the maurer - cartan equation lead to : [ mc+eom ]    lll |j_1 = [ j_3,|j_2 ] + [ j_2,|j_3 ] + [ n,|j_1 ] - [ j_1,n ] & & |j_1 = [ n,|j_1 ] - [ j_1,n ] |j_2 = [ j_3,|j_3 ] + [ n,|j_2 ] - [ j_2,n ] & & |j_2 = - [ j_1,|j_1 ] + [ n,|j_2 ] - [ j_2,n ] |j_3 = [ n,|j_3 ] - [ j_3,n ] & & |j_3 = - [ j_1,|j_2 ] - [ j_2,|j_1 ] + [ n,|j_3 ] - [ j_3,n ] |n = -[n , n ] & & n = [ n , n ]      in this section we discuss the current - current opes that are the elementary input needed for the computations of section [ fusion ] .
the set of currents we consider are the currents @xmath34 , @xmath35 , @xmath36 , @xmath37 as well as the ghost lorentz current @xmath38 , together with their anti - holomorphic partners @xmath39 , @xmath40 , @xmath41 , @xmath42 and @xmath43 . in order to simplify the expressions in the following computations
, we introduce the generic notation @xmath44 , @xmath45 for the currents .
the index @xmath46 takes the values in the set @xmath47 .
for @xmath48 we define @xmath49 , @xmath50 . for the particular value @xmath51 we define @xmath52 , @xmath53 , and @xmath54 stands for  ghost " .
the index @xmath46 codes the @xmath15-grade of the current .
the ghost currents have grade zero .
the opes of the gauge covariant currents have been discussed in various papers .
the opes at first - order in the @xmath29 expansion have been analyzed in @xcite@xcite@xcite@xcite .
the @xmath55 corrections to the second - order poles have been computed in @xcite . for the purpose of the present article
, the knowledge of the current algebra at order @xmath29 is enough .
in appendix [ covcurrents ] we present a new and rather efficient way of computing the current algebra .
the idea is to demand compatibility with the maurer - cartan equation and with the equations of motion ( more precisely with the reparametrization invariance of the path integral ) .
notice that the opes involving @xmath34 and @xmath39 generically suffer from some ambiguities because of the gauge freedom . at the end of appendix [ covcurrents ]
we compare the version of the current algebra we compute with the ones that appeared previously in the literature .
it is convenient to expand the current on a basis of the lie superalgebra that is compatible with the @xmath15 grading .
we write : k_m = k_m^a_m t_a_m the indices @xmath56 are adjoint indices$ ] , @xmath57 , @xmath58 , @xmath59 .
although slightly less explicit , the notations used here allow for a much more compact writing .
] restricted to the subspace of the lie superalgebra of grade @xmath46 .
the generators @xmath60 form a basis of the subspace @xmath61 .
the current algebra takes the form : @xmath62 the tensors @xmath63 and @xmath64 are respectively the metric and the structure constants ( see appendix [ conventions ] for conventions ) .
the non - trivial data in the current algebra is coded in the coefficients @xmath65 , @xmath66 .
these coefficients should be read as follows : the coefficient @xmath67 give the coefficient of the identity operator in the ope between the currents @xmath35 and @xmath37 , the coefficient @xmath68 give the coefficient of the ghost current @xmath38 in the ope between @xmath36 and @xmath41 , and so on .
we introduced a sum over all currents in the first - order poles in order to simplify the writing , but many of the @xmath69 s are clearly zero since they do not respect the @xmath15 grading .
the coefficients @xmath65 , @xmath66 are symmetric in their two lower indices . also @xmath70 should be understood as @xmath71 .
the non - zero coefficients are given below .
the non - vanishing second - order poles are : c_13 = -1 , c_1 |3 = 1 , c_|1 3 = 1 , c_|1 |3 = -1 , c_22 = -1 , c_2|2 = 1 , c_|2 |2 = -1 the first - order poles involving only the currents of non - zero grade are :    c c_11 ^ 2 = 2 , c_11^|2 = 1 , c_1 |1 ^ 2 = 1 , c_|1 |1^|2 = 1 c_33 ^ 2 = 1 , c_3|3^|2 = 1 , c_|3 |3 ^ 2 = 1 , c_|3 |3^|2 = 2 c_12 ^ 3 = 2 , c_12^|3 = 1 , c_|1 2 ^ 3 = 1 , c_1|2 ^ 3 = 1 , c_|1 |2^|3 = 1 c_32 ^ 1 = 1 , c_|3 2^|1 = 1 , c_3 |2^|1 = 1 , c_|3 |2 ^ 1 = 1 , c_|3 |2^|1 = 2    the first - order poles involving the ghosts currents are :    c c_22^g = 1 , c_22^|g = -1 , c_2 |2^g = 1 , c_2 |2^|g = 1 , c_|2 |2^g = -1 , c_|2 |2^|g = 1 c_13^g = 1 , c_13^|g = -1 , c_1 |3^g = 1 , c_1 |3^|g= 1 , c_|1 3^g = 1 , c_|1 3^|g = 1 , c_|1 |3^g = -1 , c_|1 |3^|g = 1 c_gg^g = -1 , c_|g |g^|g = -1    eventually the first - order poles involving the currents @xmath34 , @xmath39 are :    c c_10 ^ 1 = 1 , c_0 |1 ^ 1 = 1 , c_|0 1^|1 = 1 , c_|0 |1^|1 = 1 c_02 ^ 2 = 1 , c_0 |2 ^ 2 = 1 , c_|0 2^|2 = 1 , c_|0 |2^|2 = 1 c_30 ^ 3 = 1 , c_0 |3 ^ 3 = 1 , c_|0 3^|3 = 1 , c_|0 |3^|3 = 1 c_13 ^ 0 = 1 , c_13^|0 = 1 , c_|1 |3 ^ 0 = 1 , c_|1 |3^|0 = 1 c_22 ^ 0 = 1 , c_22^|0 = 1 , c_|2 |2 ^ 0 = 1 , c_|2 |2^|0 = 1    the method we are using to compute the current algebra does not fix completely the self - opes of @xmath34 and @xmath39 .
we only obtain the following constraints : @xmath72 it turns out that these constraints are enough to perform explicitly the computations presented in this paper , @xmath39 appear in the flat connection with no dependence on the spectral parameter .
this in turns implies that these coefficients cancel against each other in the computation of the fusion line operators presented in section [ fusion ] .
notice however that the cancellation of some divergences in the line operators depends on the value of the coefficients , see . ] .
similarly to the green - schwarz string @xcite@xcite , the pure spinor string on @xmath7 admits a one - parameter family of flat connections @xcite .
this implies that the classical theory admits an infinite number of conserved charges .
the flat connection @xmath73 is defined as : @xmath74 the flat connection is invariant under parity combined with the exchange of @xmath75 and @xmath76 .
the equations of motion together with the maurer - cartan equation imply that the previous connection is flat for all values of the spectral parameter @xmath75 : d a(y ) + a(y ) a(y ) = 0 in the following we study line operators that are the path - ordered exponential of the integral of the flat connection along a given contour .
we will only consider integration contours that lie at constant time .
consequently only the spacelike component of the flat connection will appear .
for simplicity , we use the same notation @xmath73 for the connection and for its spacelike component .
the advantage of the version of the current algebra we are working with is that the commutator of two equal - time space - component of the flat connection can be written as a @xmath12 system : @xmath77 = & 2s \p_\sigma\delta^{(2)}(\sigma-\sigma ' ) + [ a_r(y;\sigma)+ a_{r'}(y';\sigma'),r ] \delta^{(2)}(\sigma-\sigma ' ) \cr & + [ a_r(y;\sigma)- a_{r'}(y';\sigma'),s ] \delta^{(2)}(\sigma-\sigma')\end{aligned}\ ] ] where @xmath28 and @xmath78 denote the representations the two connections are transforming in .
the commutator transforms in the tensor product @xmath79 .
only the terms explicitly written down in the opes contribute to the commutator .
the infinite number of subleading singularities contained in the ellipses of do not contribute to the commutator of equal - time currents ( see e.g. @xcite ) .
as shown in appendix [ apprsmatrices ] , the constant matrices @xmath80 and @xmath81 are given by : @xmath82 and : @xmath83 later it will be important that the @xmath80 matrix simplifies in the limit where the difference between the spectral parameters @xmath75 and @xmath84 is small : [ rlim ] y - y 0r ~ y(y^2+y^-2)^2 t_a^r
t_b^r ^ba the @xmath12 matrices , first appeared in @xcite .
a detailed study of the @xmath12 system for string theory in @xmath3 and its properties can be found in @xcite@xcite@xcite ( see appendix [ appcompkalgebras ] for more details ) .
[ [ definitions . ] ] definitions .
+ + + + + + + + + + + +    we are interested in studying line operators that are the path - ordered exponential of the integral of the flat connection on a given contour .
when the contour is an interval @xmath85 $ ] , the line operator is called the transition matrix .
we denote it as @xmath86 : t^b , a_r(y ) = p
( - _ a^b a_r(y ) ) the transition matrix is labelled by the representation @xmath28 in which the flat connection transforms .
flatness of the connection implies that the classical transition matrix does not depend on the integration path chosen .
this property has been argued to extend to the quantum theory in @xcite . for simplicity we consider only constant - time contours .    for string theory purposes we are lead to define the theory on a cylinder .
then we can define the monodromy matrix which is the line operator associated with a closed contour winding once around the cylinder : _
r(y ) = p ( -a_r(y ) ) flatness of the connection implies that the eigenvalues of the monodromy matrix are independent on time .
consequently they code an infinite number of conserved charges .
eventually the transfer matrix is the supertrace of the monodromy matrix : [ deftransfer ] _
r(y ) = str  p ( -a_r(y ) )    [ [ regularization - of - uv - divergences . ] ] regularization of uv divergences .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    in a quantum theory the line operators are generically ill - defined since the collisions of integrated connections lead to divergences . to properly define line operators one has to regularize these divergences , and then renormalize the line operators . in order to study the uv divergences
, we first have to expand the exponentials in the line operators .
we write the transition matrix as : t^b , a_r(y ) = _
m=0^(-1)^m t_r,(m)^b , a(y ) where the @xmath87-th term is the path - ordered integral of @xmath87 connections : t_r,(m)^b , a(y ) = p(_a^b a_r(y ) ) ^m = _
b>_1> ... >_m
> ad_1 ... d_m a_r(y;_1) ...
a_r(y;_m ) and similarly for the monodromy and transfer matrices .
divergences occur when two integrated connections collide .
it is clear from the current algebra that the collision of two connections leads to second- and first - order poles . in order to regularize these divergences
, we introduce a uv cut - off @xmath88 .
we use a principal - value regularization scheme as suggested in @xcite .
the ope between two equal - time connections @xmath89 and @xmath90 is regularized by a small shift in time , in a symmetric way : [ defreg ] a ( ) a( ) ( a(+i ) a( ) + a ( ) a(+i ) ) for instance , a first - order pole is regularized as : [ reg1pole ] p.v . =
( + ) = this regularization scheme turns out to be very convenient to discuss the fusion of line operators , as explained in section [ fusion ] .    [
[ divergences - at - order - r-2 . ] ] divergences at order @xmath29 .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    the first - order divergences in line operators in the pure spinor string on @xmath7 were first studied in @xcite . in this paper
the authors used a different regularization scheme : the opes were regularized by imposing that the distance between two connections can not be smaller than the uv cut - off .
the authors of @xcite also used a slightly different version of the current algebra . in appendix [ computationdiv ]
we revisit the analysis of @xcite using the regularization scheme and the current algebra .
the main difference we obtain with respect to @xcite is that the linear divergences do cancel thanks to our choice of regularization scheme .
below we summarize the results derived in appendix [ computationdiv ] .
the transition matrices contain logarithmic divergences .
schematically , these divergences read : ~_i=0 ^ 3 # \ { t^a_i t_a_i , t^b , a(y ) } the precise expression for these divergences is given in equation .
consequently the transition matrices need to be renormalized .
these divergences are cancelled by a simple wave - function renormalization .
the monodromy matrix also contains logarithmic divergences .
these are given in .
schematically , these divergences read : [ divomega ] ~_i=0 ^ 3 # ( t^a_i t_a_i ( y ) + ( y )
t^a_i t_a_i - 2 t^a_i ( y )
t_a_i ) the new divergences with respect to the transition matrices come from collisions between connections sitting on both sides of the starting point of the integration contour .
these divergences are cancelled by a simple wave - function renormalization of the monodromy matrix .
the most important result for the purpose of this paper is that the transfer matrix is completely free of divergences at order @xmath29 .
this follows simply by taking the supertrace of equation .
this remarkable property strongly relies on the vanishing of the dual coxeter number of the global symmetry group @xmath10 .
for instance in generic wzw models , cancellation of divergences in the transfer matrices require both a wave - function renormalization and a renormalization of the spectral parameter @xcite .
the divergences identified in @xcite also vanish if the dual coxeter number of the group is zero .
in this section we study the fusion of two line operators .
the fusion is the process of bringing the integration contours of two line operators on top of each other .
we are interested in the quantum effects that occur in this process .
the fusion of line operators for the pure - spinor string in @xmath7 was studied at first - order in perturbation theory in @xcite . in this section
we will revisit and extend the first - order computations of @xcite .
then we will further extend the computation of fusion up to second order in perturbation theory .
the structure of the computations is similar to the ones presented in @xcite , where more details can be found . in @xcite
the computations were performed in the sigma model on the supergroup @xmath11 .
this theory is a good toy model for the pure spinor string on @xmath7 .
indeed the complications coming from the coset structure and the pure spinor ghosts are absent .
let us consider two transition matrices @xmath86 and @xmath91 that transform respectively in the representations @xmath28 and @xmath78 .
the fusion of these two matrices transforms in the tensor product @xmath92 . in the following
we will omit the symbol @xmath93 to lighten the formulas .
we represent the fusion of these two transition matrices with the symbol @xmath94 .
this process is defined as : [ deffusion ] t^b , a_r(y)t^d , c_r(y ) = _ 0^+ t^b+i , a+i_r(y)t^d , c_r(y ) assuming the integration contour of the transition matrices @xmath91 lies at constant time @xmath95 , then the integration contour of @xmath96 lies at constant time @xmath97 .
if the intervals @xmath85 $ ] and @xmath98 $ ] do not overlap , the process of fusion is trivial . in the following
we assume that the overlap of these intervals is non - zero .
as the distance between the two contours goes to zero , the opes between integrated connections sitting on the two contours produce quantum corrections to the classical process of fusion .
these are the corrections we will evaluate .
let us consider the ope between two connections @xmath99 and @xmath100 integrated respectively on the first and on the second contour .
we write this ope as : @xmath101 comparing with equation , we notice that the first term in the previous equation should be understood as regularized ope in the quantum line operator obtained after the fusion has been completed . on the other hand , the second term in should be understood as producing a quantum correction proper to the process of fusion .
this are the corrections we want to compute .    in order to understand better the meaning of , let us isolate a first - order pole in the ope between the two connections . under the decomposition ,
it is rewritten as : @xmath102 the term we focus on is the second term on the right - hand side . as the notation suggests , it is actually a regularization of the delta - function .
once we integrate upon the free coordinates , it produces a finite quantum corrections to the fusion of line operators .
we can perform a similar manipulation for all first- and second - order poles appearing in the ope between the two connections @xmath99 and @xmath100 . in order to isolate the contribution to the quantum corrections associated with fusion
, we subtract the principal value from the singularities .
we obtain that all the terms that contribute to the quantum corrections from fusion come with ( derivatives of ) regularized delta functions .
the upshot is the following : in order to compute the quantum corrections in the process of fusion , we have to subtract the `` principal value '' piece from the ope between connections .
what we are left with is essentially the commutator between connections that we computed in : [ 1-pvaa ] ( 1-p.v . )
a_r(y;+i ) a_r(y; ) [ a_r(y ; ) , a_r(y; ) ]      we begin with the corrections of order @xmath29 .
since all terms in the current algebra are of order @xmath29 , it is enough to perform one ope .
the computation of the first - order corrections in the fusion of two transition matrices was performed in @xcite using ope techniques .
this computation holds provided the commutator of connections can be written as a @xmath12 system , which is the case for the pure spinor string on @xmath3 ( see ) .
the result obtained in @xcite matches the hamiltonian analysis of @xcite : @xmath103 the first term on the right - hand side is the zeroth - order result .
the remaining terms are the first - order corrections .
the function @xmath104 is the characteristic function of the interval @xmath105 $ ] which takes the value @xmath106 if @xmath107 and @xmath108 if @xmath109 or @xmath110 .
for the special case where the integration intervals of the line operators have coinciding endpoints , that is for @xmath111 or @xmath112 , then the characteristic function @xmath104 has to be evaluated as @xmath113 .
this prescription essentially had to be guessed in the hamiltonian formalism @xcite . in the ope formalism
it is a consequence of the definition @xcite .
notice that the first - order corrections in are anti - symmetric in the exchange of the two line operators .
so they contribute only to the commutator of the line operators .
this follows from the fact that the quantum corrections associated with fusion come from the anti - symmetric part in the opes ( see ) .
from equation we can deduce the fusion of transfer matrices @xcite .
we obtain that the fusion of transfer matrices at first order is trivial : @xmath114 indeed the first - order corrections associated with fusion in take the form of constant matrices inserted at the endpoints of the overlap of the integration intervals .
since the transfer matrices have no endpoints , it is not surprising that these corrections vanish .
this implies in particular that the commutator of the transfer matrices is zero at first order
.      remember that our main goal is to show that the leading quantum correction in the fusion of two transfer matrices gives the shifts in the t - system at first order . since the fusion of transfer matrices is trivial at first - order
, we need to study the fusion of line operators at second - order .
there are two different ways we can obtain @xmath55 corrections in the process of fusion :    * the first way is to take one single ope between two integrated connections , and include @xmath55 corrections to the current algebra . as argued in section [ recipefusion ] , only the anti - symmetric part of the current - current opes contributes to the process of fusion .
consequently at this order the @xmath55 corrections to the current algebra lead to @xmath55 corrections to the commutator of line operators .
we postpone the computation of these corrections for future work since the current algebra is only partially known at order @xmath55 @xcite .
* the second way is to perform two opes between integrated connections and use the current algebra at order @xmath29 . following the logic explained in section [ recipefusion ] ,
we again consider only the anti - symmetric part in each ope .
since we perform an even number of opes this time the result will be symmetric under the exchange of the two line operators .
more precisely we obtain a contribution to the symmetric product of the line operators of order @xmath55 .
this are the terms that we will compute in this paper .
more generally , the arguments of section [ recipefusion ] imply that any quantum correction in the process of fusion that involve an even ( respectively odd ) number of opes would contribute only to the symmetric product ( respectively commutator ) of the line operators .
consequently the @xmath55 corrections to the current algebra would contribute to the symmetric product of line operators at order @xmath115 and higher .
below we describe the different steps in the computation of the symmetric fusion of line operators at order @xmath55 . in an attempt to keep this section readable , the technical details of the computation
have been gathered in appendix [ comfusion ] .
more details can also be found in @xcite .
let us consider two line operators with contours separated in time by a small distance @xmath88 .
we have to take two opes between the connections integrated on the contours .
the simplest way is to take two opes between two distinct pairs of connections .
but we can also take one ope between two connections , and then take the ope of the resulting currents with a third connections .
we will call this latter process a triple collision ( see figure [ triplecollision ] ) .    ]
the computation is conveniently decomposed in two steps .    * a first part of the total answer
is obtained in the way depicted in figure [ fuso2step1 ] .
we start from the result of the fusion at first order .
we pull the contours away , and then re - fuse the line operators .
the result of this procedure was computed in @xcite for an arbitrary @xmath12 system .
we obtain new insertion of constant matrices at the endpoints of the overlap of the contours of the line operators . roughly speaking , the first - order result exponentiate .
what is important for our purposes is that this procedure gives once again a vanishing result for the fusion of transfer matrices .
this simply follows from the fact that there is no first - order correction in the fusion of transfer matrices . * the procedure described above
does not capture correctly the quantum corrections coming from triple collisions . indeed in this procedure ,
the intermediate currents in the triple collisions are distributed in an arbitrary way on the two integration contours so that they recombine into connections .
this induces a source of errors .
so we have to compute separately additional corrections coming from the triple collisions .
this is done in appendix [ comfusion ] .
]    the analysis of appendix [ comfusion ] shows that there are two types of corrections that we need to add on top of the result obtained by the procedure described in figure [ fuso2step1 ] .
the first type of corrective terms contain the integration of an operator @xmath116 on the overlap of the contours : @xmath117\cap[c , d]}d\sigma   \left \lfloor \int_\sigma^b a \right\rceil^i
\left \lfloor \int_\sigma^d a ' \right\rceil^{i ' }   \tilde k ( \sigma )   \left \lfloor \int_a^\sigma a \right\rceil^{m - i } \left \lfloor \int_c^\sigma a ' \right\rceil^{m'-i ' } \end{aligned}\ ] ] where we introduced the convenient notation @xmath118 to describe the path - ordered integral of @xmath87 connections on the interval @xmath85 $ ] . the precise expression for the operator @xmath116 is explicitly given in .
schematically , the operator @xmath116 is a linear combination of the currents multiplied by three generators of the lie superalgebra in the representations @xmath28 or @xmath78 , and contracted with structure constants .
the second type of corrective terms contain a constant matrix @xmath119 inserted in between the integrated connections on the overlap of the integration contours : @xmath120 the precise expression for the matrix @xmath119 is given in .
schematically , it is a linear combination of the tensor product of two generators taken in the representation @xmath28 and @xmath78 and contracted with structure constants .
notice that the integration over the regularized delta function squared produce a linear divergence when the uv regulator @xmath88 is sent to zero .
it would be interesting to perform a complete analysis of the second - order divergences in the line operators along the lines of section 3 in @xcite , to see whether the transfer matrices as well as the result of the fusion of transfer matrices are free of divergences up to second - order .
[ [ fusion - of - transfer - matrices - at - second - order - upshot . ] ] fusion of transfer matrices at second order : upshot .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    the detailed expression for the symmetric fusion of transition and monodromy matrices at second order is quite indigestible , so we refrain from giving an explicit formula for those .
on the other hand the symmetric fusion of transfer matrices , that is crucial for the purposes of this paper , turns out to be rather simple : @xmath121 where we denoted by @xmath122 the symmetrized fusion product .
this result is schematically represented in figure [ fusionts ] .
the detailed expressions for the operator @xmath116 and the constant matrix @xmath119 can be read from equations and .
is integrated in between the connections . in the third term
, a constant matrix @xmath119 is inserted in between the integrated connections.[fusionts ] ]
in this section we use the previous computations to obtain a first - principle perturbative derivation of the t - system .
as explained in the introduction , the idea is to promote the t - system to an operator identity , where the product between transfer matrices is understood as the fusion product : [ qtsystem ] _ a , s(u + 1 ) _ a , s(u - 1 ) = _ a+1,s(u+1)_a-1,s(u-1 ) + _ a , s-1(u+1 ) _ a , s+1(u-1 ) we expect the transfer matrices to commute in the quantum theory . this has been proven in section [ fusion ] at order @xmath29 .
consequently we can equivalently use the symmetric fusion product to define the t - system .
the integer label @xmath123 label unitary irreducible representation of @xmath10 .
these labels take value in a t - shaped lattice ( see e.g. @xcite@xcite ) .
the corresponding representations are associated with rectangular young tableaux which size is given by the value of the labels @xmath123 .
it is known that these representations satisfy the following supercharacter identity ( see e.g. @xcite@xcite ) : [ charid1 ] ( a , s)^2 = ( a+1,s)(a-1,s)+(a , s+1)(a , s-1 ) in the limit where we neglect both the shifts of the spectral parameter as well as the quantum effects associated with fusion , the t - system reduces to the character identity .
next we want to show that the t - system holds at first order .
we consider : @xmath124 where we use the shorthand @xmath125 to denote the sum over representations that appears in the t - system .
we look for a value of the shift of the spectral parameters @xmath126 such that the previous quantity does indeed vanish , and the t - system holds .
then we can deduce the relationship between the spectral parameter @xmath75 used to define the flat connection , and the spectral parameter @xmath8 that appears in the t - system .
we assume that @xmath126 is of order @xmath29 .
we will now show that the terms of order @xmath29 in do vanish .
more precisely , the terms of order @xmath29 coming from the derivative expansion of the transfer matrices cancel against the leading quantum correction coming from the process of fusion .    [ [ fusion - of - transfer - matrices - when - the - difference - of - spectral - parameter - is - small . ] ] fusion of transfer matrices when the difference of spectral parameter is small .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    in section [ fusion ] we obtained that the leading quantum correction in the fusion of transfer matrices is of order @xmath55 .
however when the difference of the spectral parameter is of order @xmath29 , a piece of the leading quantum correction actually becomes of order @xmath29 .
so it has the right order of magnitude to cancel the first term in the derivative expansion of the transfer matrices in .
more details can be found at the end of appendix [ comfusion ] .
the interesting term comes from the second line in .
we assume @xmath127 . from equations we obtain that simplifies to : @xmath128 t_{b_n}^{r ' } + { f_{c_p}}^{b_n a_m } { f_{e_r}}^ { d_q c_p }   t_{a_m}^r \ { t_{b_n}^{r ' } , t_{d_q}^{r'}]\right)\right)\cr & \quad \times \left . t_r^ { \sigma,0}(y ) t_{r'}^{\sigma,0}(y ' ) \right ) + \mathcal{o}(r^{-4})\end{aligned}\ ] ] we observe that the linear combination of the currents that appears is now proportional to the derivative of the flat connection .
[ [ useful - character - identities . ] ] useful character identities . + + + + + + + + + + + + + + + + + + + + + + + + + + + +    to further simplify the quantum corrections that appear in , we need to use some character identities that holds for the particular combination of representations that appear in the t - system . in @xcite
the validity of the t - system was proven for transfer matrices associated to @xmath129 spin chains .
then a large family of character identities was deduced by expanding the t - system as an infinite series . here
we go the other way : we try to reconstruct the t - system from a perturbative expansion .
thus it makes sense that we need to use the character identities of @xcite . in the appendix e of @xcite
, it was shown that some of these character identities imply in particular that for any group element @xmath54 and for any function @xmath130 : @xmath131 g^r \otimes t_b^{r ' } g^{r ' } ) \cr & = 2 \sum_{r , r ' } str ( g^r \otimes k^e t_e^{r ' } g^{r ' } ) - str ( k^e t_e^{r }   g^r \otimes g^{r ' } )   \end{aligned}\ ] ] and similarly : @xmath132 g^{r ' } ) \cr & = 2 \sum_{r , r ' } str ( g^r \otimes k^e t_e^{r ' } g^{r ' } ) - str ( k^e t_e^{r }   g^r \otimes g^{r ' } )   \end{aligned}\ ] ] essentially , these character identities allow to replace the complicated combination of structure constants and generators appearing in by single generators , assuming we consider the sum of representation that appear in the t - system .
so we obtain : @xmath133    [ [ the - t - system - at - first - order . ] ] the t - system at first order .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + +    performing a taylor expansion for the @xmath134 s in , we deduce : @xmath135 the first term in the previous expression vanishes because of the classical identity .
in order for the first - order corrections to vanish as well , we have to take : [ defdelta ] = r^-2 y(y^2-y^-2)^2 thus have have shown that : [ tsys4 ] _ r , r _ r(y+ ) _
r(y- ) = 0 + ( r^-4 )    [ [ redefinition - of - the - spectral - parameter . ] ] redefinition of the spectral parameter .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    in order to write the t - system in the canonical form we define : [ defu ]
u = + cst such that @xmath136 . then equation is rewritten as : _ a , s(u + 1 ) _ a , s(u - 1 ) = _ a+1,s(u+1)_a-1,s(u-1 ) + _ a , s-1(u+1 ) _ a , s+1(u-1 ) + ... this is the canonical form of the t - system .    [
[ comparison - with - the - t - system - obtained - via - the - thermodynamic - bethe - ansatz . ] ] comparison with the t - system obtained via the thermodynamic bethe ansatz .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    we can now perform a consistency check with the thermodynamic bethe ansatz derivation of the @xmath3 t - system @xcite@xcite@xcite . in this context
the t - system is obtained in a slightly different form : only the t - functions on the left - hand side have a shifted spectral parameter : [ tsystemtba ] ^tba_a , s(u + 1 ) ^tba_a , s(u - 1 ) = ^tba_a+1,s(u ) ^tba_a-1,s(u ) + ^tba_a , s-1(u ) ^tba_a , s+1(u ) this mismatch is easily cured by a redefinition of the t - functions .
let us define the functions @xmath137 as : ^tba_a , s(u ) = _ a , s(u+a - s)then the functions @xmath138 s satisfy if and only if the functions @xmath134 s satisfy the t - system .
however the previous redefinition does not change the magnitude of the shift on the left - hand side of the t - system .
thus the matching of the shifts gives a quantitative check of the consistency between the approach taken in this paper , and the tba approach .
next we perform this matching using the conventions of @xcite@xcite .
the flat connection is written in terms of a spectral parameter @xmath139 as @xmath140 . comparing with we deduce that the spectral parameter @xmath75 that we use is related to @xmath139 as : @xmath141 .
the variable @xmath142 that enters the tba t - system is linked to the spectral parameter @xmath139 via the zhukowsky map : @xmath143 , where @xmath54 is related to the t hooft coupling @xmath144 as @xmath145 .
the parameter @xmath28 can be linked to the t hooft coupling @xmath144 by identification of the prefactor of the worldsheet action .
this gives @xmath146 .
consequently the parameter @xmath8 that we obtained is related to the parameter @xmath142 as : @xmath147 , assuming the free constant in takes the value @xmath148 .
the analysis of @xcite gives a t - system where the parameter @xmath142 is shifted by @xmath149 .
given that @xmath8 is shifted in our case by @xmath150 , there is an apparent mismatch by a factor of @xmath151 .
this comes from the fact that we have been working on an euclidean worldsheet .
if we wick - rotate the worldsheet to a minkowskian signature , then our analysis produce the t - system with imaginary shifts in e.g. would be replaced by a real shift @xmath88 .
this implies that in the computation of fusion all opes would come with an additional factor of @xmath151 .
consequently the second - order corrections from fusion would come with an additional minus sign .
this would in turn induce a factor of @xmath151 in the shift of the t - system . ] in perfect agreement with the tba analysis .
[ [ upshot . ] ] upshot .
+ + + + + + +    as claimed previously , we have derived the t - system up to first order in the large radius expansion .
more precisely , we have sown that the shifts of the spectral parameter in the t - system come from quantum effects in the fusion of transfer matrices .
moreover we have checked that the shifts are the same than the ones obtained in the thermodynamic bethe ansatz derivation of the t - system .
notice that the vanishing of the divergences in the transfer matrices is important .
indeed if the transfer matrices would need to be renormalized , then the renormalization factor would most likely depend on the representation in which the transfer matrix is taken ( see e.g. @xcite ) .
it implies that the different terms in the t - system would be renormalized differently , which would most likely destroy the balance needed for the previous computation to work .
in this paper we have proven that the t - system is realized in the pure spinor string on @xmath7 up to first order in the large radius expansion . in @xcite a similar proof was given for the non - linear sigma model on the supergroup @xmath11 .
it is natural to look for other theories where this derivation can be easily generalized .
a close look at the computation leads to the following conclusion : there are only a few necessary and sufficient conditions that a given model has to fulfill in order for the derivation to apply .
obviously the theory has to exhibit a one - parameter family of flat connections .
we assume that the connection takes value in a lie algebra .
the other conditions are the following :    * the equal - time commutator of the spacelike component of the connection can be written as a @xmath12 system .
this guarantees that formula can be directly reproduced .
moreover the @xmath80 matrix must satisfy a property similar to equation : in the limit where the difference between the spectral parameter is small , the @xmath80 matrix needs to be proportional to the casimir @xmath152 .
this condition is necessary for the simplification leading to equation to occur . *
the lie group needs to possess an equivalent of the character identities , .
given the role played by the results of @xcite , it is tempting to speculate that a sufficient condition is that there exists a spin chain with the same symmetry group that realizes the t - system . *
eventually the transfer matrix has to be free of divergences at first order in perturbation theory .
a crucial condition here is that the dual coxeter number of the symmetry group vanishes .
this condition prevents the renormalization of the transfer matrices from destroying the balance needed for the computation to work .
next we discuss several candidate theories that may fulfill these requirements .
[ [ candidate - theories - relevant - for - the - adscft - correspondence . ] ] candidate theories relevant for the ads / cft correspondence .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    let us begin with the theories that describe superstrings in anti - de sitter backgrounds .
these theories are built on sigma models on ( coset of ) supergroups , see e.g. @xcite for a classification of the relevant @xmath15 cosets .
notice that all the supergroups involved have a vanishing dual coxeter number .
this should not come as a surprise , since the vanishing of the dual coxeter number is tightly related to the vanishing of the spacetime supercurvature , and thus to the fact that the equations of motion of supergravity are satisfied .
spacetime covariance was helpful in the previous analysis
. consequently we will mostly discuss theories of the pure - spinor type that allow for a covariant quantization .
obviously it would be interesting to reproduce the previous computations in green - schwarz - like theories that realize kappa - symmetry .
the structure of the computations would be identical , but the computations themselves would be more tedious because the gauge - fixing of kappa symmetry usually comes with a breaking of the target space isometries .
the first obvious candidate is string theory on @xmath153 . indeed in @xcite a y - system was conjectured to hold in this theory .
the tba derivation of the y - system was performed in @xcite@xcite . in order to actually reproduce the computations described in the present paper , the pure spinor formulation of superstring theory in @xmath153 developed in @xcite is a natural starting point ( see also @xcite ) .
the second candidate is string theory on @xmath154 .
the analysis of @xcite applies to the sigma - model on @xmath155 . in @xcite
the hybrid formalism was developed to describe superstrings in @xmath154 in a superspace with eight supercharges . in this formalism
the worldsheet theory is the sigma model on @xmath155 , coupled to ghosts .
this theory admits a consistent expansion in the ghosts .
thus the analysis of @xcite implies that the hybrid string in @xmath154 realizes the t - system up to first order in the large radius expansion , and up to zeroth order in the ghosts expansion .
this is valid for @xmath154 supported by rr fluxes , ns fluxes or by any mixing of these fluxes . it would be instructive to dress up the computation of @xcite with the hybrid ghosts
there has been some interest in the question of integrability for string theory in @xmath154 , see e.g. @xcite .
however the progress have been rather slower than in the case of @xmath7 , mostly because the dual conformal field theory is not as well understood .
presumably the approach presented in @xcite and in the present article can lead to a faster road to the solution of this problem .
other formulations of string theory on @xmath154 involve a @xmath15 coset of the supergroup @xmath156 .
it is the case of the hybrid string with sixteen manifest supercharges @xcite .
it is reasonable to expect that the t - system is also realized in this formalism .
another natural candidate is the hybrid description of superstrings in @xmath157 discussed in @xcite .
it is also based on a @xmath15 coset of the supergroup @xmath155 , and it is integrable @xcite@xcite .    in the classification of @xcite
we find other candidate string backgrounds that are @xmath15 coset of supergroups with vanishing dual coxeter number : @xmath158 , @xmath159 , @xmath160 and @xmath6 .
quantum integrability is likely to show up at least in some of these examples .
no formalism has been proposed to covariantly quantize string theory in these backgrounds yet .    [
[ other - candidates . ] ] other candidates .
+ + + + + + + + + + + + + + + + +    other theories that may not be directly relevant for string theory presumably also realize the t - system in the way described in this paper .
these are the sigma models on ( cosets of ) supergroups with vanishing dual coxeter number , some of which play a role in condensed matter ( see e.g. @xcite@xcite@xcite ) .
a first example is the sigma model on the supergroup @xmath161 .
this model shares many of the remarkable properties of the sigma model on @xmath11 @xcite , see e.g. @xcite .
next @xmath31 cosets of supergroups with vanishing dual coxeter number are classically integrable @xcite@xcite .
some of them also display nice quantum features @xcite . in these model
there is a current that is both flat and conserved .
consequently the current algebra is very similar to the one found in sigma models on supergroups @xcite .
this follows from the generic method introduced in @xcite and used in appendix [ covcurrents ] to compute the current algebra .
classical integrability extends to @xmath15 and more generally to @xmath162 cosets @xcite .
it would be interesting to understand these models better .
in particular it may shed some new light on the question of the role of the pure spinor ghosts for quantum integrability of the pure spinor string in @xmath7 .
[ [ summary - of - the - results . ] ] summary of the results .
+ + + + + + + + + + + + + + + + + + + + + + +    we have studied the fusion of line operators in the pure spinor string on @xmath7 up to second order in perturbation theory .
we deduced that the pure spinor string on @xmath7 realizes the t - system as an operator identity , with the fusion product , up to first order in the large t hooft coupling expansion .
the quantum effects in the fusion of the transfer matrices give the shifts in the t - system .
[ [ comparison - with - the - thermodynamic - bethe - ansatz . ] ] comparison with the thermodynamic bethe ansatz .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    the t - system was previously derived using the tba machinery @xcite@xcite@xcite . here
we will compare the advantages of both approaches .
a weakness of the tba is that it relies on several assumptions that are notoriously difficult to check . in particular
one has to assume quantum integrability to start with .
moreover the spectrum of excitations that contribute in the thermodynamic limit essentially has to be guessed through the string hypothesis .
the approach of the current article has the big advantage of starting from first principles .
the other drawback of the tba is that the derivation of the t - system only applies to the ground state .
the fact that the same set of equations also codes the spectrum of excited states upon analytic continuation is essentially an empirical observation . in this paper
we have derived the t - system as an operator identity .
thus there is no doubt that all states of the theory satisfy the t - system .    on the other hand ,
the approach we are using here is intrinsically perturbative .
the computations needed to derive the t - system at first order were already quite heavy .
it would take a lot of efforts to go to the next order .
the tba approach is free of this limitation since it produces the full t - system in one go .
there are also some by - products of the tba approach that were not reproduced in the present work .
in particular the tba gives a explicit formula to extract the spectrum from the t - functions .
it also gives some informations about the analytic properties of these functions .
it would be interesting to investigate these questions with the elementary techniques used in the present paper .
we hope to come back to these questions in future work .
the computation presented in this paper gives a very strong argument in favor of the validity of the t - system .
it is not a definite proof since it is perturbative .
however the previous discussion shows that the approach presented here is complementary with the tba analysis .
indeed the weak points of the tba are the the strong points in our approach , and vice - versa .
so the combination of both methods leaves little room for doubts .
moreover this works sheds a new light on the t - system .
the fact that it should be understood as an operator identity where the product is the fusion of line operators , may be helpful to understand better the integrable structures that appear in the ads / cft correspondence .
[ [ the - role - of - the - pure - spinor - ghosts . ] ] the role of the pure spinor ghosts .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    the pure spinor ghosts are expected to play an important role in the quantum worldsheet theory .
we can ask the question of the role of the pure spinor ghosts in the computation described in this paper .
interestingly , the same results would be obtained if we would set the pure spinor ghosts to zero from the start .
the reason is that at tree level , the ghosts form a closed subsector .
more precisely the ope of a ghost current with any other current can only produce ghost current .
in other words , all the coefficients of the type @xmath163 and @xmath164 in the current algebra are zero if the index @xmath46 is not @xmath54 or @xmath165 .
the fact that the computation does not relies on the pure spinor ghosts can be tracked back to the fact that we only needed the tree - level current algebra to compute the crucial term that produces the shifts in the t - system .
presumably this is not going to be the case at higher order . continuing the computation of @xcite to get the full current algebra at second order would be interesting .
already the pure spinor should play an important role .
hopefully they allow for the cancellation of second - order divergences in the transfer matrices , and they also insure that transfer matrices commute up to second order in perturbation theory .
in this paper we used the pure spinor formalism that allows for a covariant quantization .
it may also be instructive to reproduce this computation in the green - schwarz formulation of @xcite .
[ [ the - algebra - of - transfer - matrices . ] ] the algebra of transfer matrices .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    the computations we performed allow to address the question of the algebra of transfer matrices for the pure spinor string on @xmath7 . naively , the fusion of two transfer matrices is rather complicated .
it seems from that it does not even close on transfer matrices .
however by selecting a particular combination of representations we managed to close the algebra .
for these representations , the algebra of transfer matrices is nothing but the t - system .
there might exists a generalization of the t - system that applies for other representations
. it would be interesting to further explore this issue .
[ [ generalization - to - other - integrable - field - theories . ] ] generalization to other integrable field theories .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    it would be also interesting to try the approach advocated here in other integrable theories that play a role in the ads / cft correspondence .
some examples were listed in section [ extensions ] .
this approach may be more efficient than trying to reproduce the historical steps that were performed for @xmath7 .
more generally , developing worldsheet technology for strings in rr background is certainly worthwhile .
even if the progress in that direction have been rather slow , the results presented here together with other recent works ( see e.g. @xcite@xcite ) demonstrate that quantum string theory in some rr backgrounds can be studied with the tools that are currently available .
the results presented here also suggest that the integrable models relevant for the ads / cft correspondence may belong to a special family .
it is not clear that the interpretation of the t - system advocated here applies straightforwardly to generic integrable field theories . indeed
generically the transfer matrices have to be renormalized when the dual coxeter number of the symmetry group is non - zero ( see e.g. @xcite ) .
this would complicate a tentative derivation of the t - system from the fusion of transfer matrices .
the author would like to thank gleb arutyunov , oscar bedoya , denis bernard , nikolay gromov , volodya kazakov , marc magro , valentina puletti , sakura schafer - nameki , joerg teschner , jan troost , benoit vicedo , dmitro volin and in particular pedro vieira for useful discussions and correspondence .
the author is a postdoctoral researcher of fwo - vlaanderen .
this research is supported in part by the belgian federal science policy office through the interuniversity attraction pole iap vi/11 and by fwo - vlaanderen through project g011410n .
let @xmath166 be a basis of the generators of the lie superalgebra .
the metric is defined as : _ ab = str(t_a t_b ) where the supertrace @xmath167 is a non - degenerate graded - symmetric inner product .
we define the inverse metric as : ^ab _ ac = ^b_c the metric and its inverse are graded - symmetric : _ ab = ( -)^ab_ba where @xmath168 is a minus sign if and only if both indices @xmath169 and @xmath170 are fermionic . an element @xmath171 of the lie superalgebra is expanded as : j = j^a t_a we adopt  ne - sw " conventions for the contraction of indices .
indices are raised and lowered with the metric in the following way : x^a = ^abx_b ; x_a = x^b _ ba    [ [ structure - constants . ]
] structure constants .
+ + + + + + + + + + + + + + + + + + + +    the graded commutator for the generators is defined as : [ t_a , t_b } = t_a t_b - ( -)^ab t_b t_a we define the structure constants @xmath172 as : [ t_a , t_b } = f_ab^c t_c the identity @xmath173 follows from the graded - symmetry of the supertrace .
it implies for the structure constants : ^d _ ad = f_ab^d _ dc in agreement with our conventions we define : f_abc = f_ab^d _ dc and so on .
the structure constants are graded - antisymmetric in the 1 - 2 and 2 - 3 indices : f_abc = -(-)^abf_bac ; f_abc = -(-)^bc f_acb under the exchange of the first and third indices , we have : f_abc = -(-)^f_cba under cyclic permutation of their indices , the structure constant also satisfy : f_abc = ( -)^a f_bca    [ [ tensor - product . ] ] tensor product .
+ + + + + + + + + + + + + + +    the tensor product @xmath174 of two generators taken in different representation @xmath28 and @xmath78 is graded : t_a^r t_b^r = ( -)^ab ( 1^r t_b^r)(t_a^r 1^r ) in order to lighten the expressions in the bulk of the paper we often get rid of the @xmath93 symbol :
t_a^r t_b^r t_a^r t_b^r = ( -)^ab t_b^r t_a^r
in this appendix we give a new derivation of the tree - level gauge - covariant current algebra for the pure spinor string on @xmath7 . the method we use
is inspired by the analysis of @xcite for the current algebra in sigma - models on supergroups .
the different steps are the following .
we make a natural ansatz for the current - current opes
. then we demand that this ansatz is compatible with reparametrization invariance of the path integral , and the with maurer - cartan equation .
this typically gives more constraints than the number of free coefficients in the ansatz .
finally we solve these constraints to get the current algebra .
this method can be generalized to compute the quantum corrections to the current algebra .
this computation can be efficiently organized recursively @xcite . here
we will only compute the tree - level coefficients since this is sufficient for the purpose of this article .
we choose the ansatz for the current algebra , that we reproduce here for clarity : @xmath175 this ansatz is based on dimensional analysis and symmetry .
we only wrote down the second- and first - order poles , but there is an infinite series of less and less singular terms that come with operators of ( classical ) dimension greater or equal to two .
notice also that this ansatz is suitable for the tree - level current algebra , but it should be slightly modified if one is to take into account quantum corrections @xcite . in the following
we will compute the coefficients @xmath69 s .
many of these coefficient vanish trivially because the current algebra has to be compatible with the @xmath15 grading .
parity also induces some redundancy in the remaining coefficients .
these two symmetries leave 57 independent coefficients that we need to compute .    [
[ equations - of - motion - and - path - integral - reparametrization - invariance . ] ] equations of motion and path - integral reparametrization invariance .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    in this subsection we demand that the current algebra is compatible with the reparametrization invariance of the path integral . in particular
this guarantees that the current algebra is compatible with the equations of motion .
let us consider the action for the pure spinor string in @xmath7 .
we consider a small variation of the group element @xmath54 parametrized by a element of the lie superalgebra @xmath171 : [ shiftg ] g = g x the variation of the currents is given by : @xmath176 & & \delta
n = 0\cr & \delta \bar j = \bar \p x + [ \bar j , x ]   & & \delta \hat n = 0 \end{aligned}\ ] ] we can decompose the infinitesimal shift @xmath171 on the @xmath15 subspaces of the lie superalgebra as @xmath177 . since @xmath178 generates gauge transformations that leave the action invariant , we set @xmath179 .
we obtain the variation of the @xmath180 s : [ deltaj ] j_0 & = & [ j_1,x_3 ] + [ j_2,x_2 ] + [ j_3,x_3 ] j_1 & = & x_1 + [ j_0,x_1 ] + [ j_2,x_3 ] + [ j_3,x_2 ] j_2 & = & x_2 + [ j_0,x_2 ] + [ j_1,x_1 ] + [ j_3,x_3 ] j_3 & = & x_3 + [ j_0,x_3 ] + [ j_1,x_2 ] + [ j_2,x_1 ] and similarly for the @xmath181 s .
we deduce the variation of the action under the infinitesimal shift of the group element : @xmath182- \frac{1}{2 } [ j_{2 } , \bar j_{1 } ] + 2[n,\bar j_3 ] - 2 [ j_3 , \hat n ] \right ) \right.\cr & +    x_2 \left(- \bar \nabla j_{2 } -   \nabla \bar j _ { 2 } -   [ j_{1},\bar j_{1}]+   [ j_{3},\bar j_{3 } ] + 2[n,\bar j_2 ] - 2 [ j_2 , \hat n ] \right ) \cr & \left.+   x_3 \left ( -\frac{1}{2 } \bar \nabla j_{1 } - \frac{3}{2 } \nabla \bar j _ { 1 } + \frac{1}{2 } [ j_{2},\bar j_{3}]+ \frac{1}{2 } [ j_{3},\bar j_{2}]+ 2[n,\bar j_1 ] - 2 [ j_1 , \hat
n]\right ) \right\ }   \end{aligned}\ ] ] now we consider the following quantity : j_1(z ) = j_1(z ) e^-s where @xmath183 is the path integral measure over the fields .
the previous one - point function , whatever its value is , is invariant under the reparametrization of the path integral .
we further assume that the path - integral measure is also invariant under .
let us mention at that point that we are simply following the method that would provide a path integral derivation of the ward identity for a global symmetry , if were indeed a global symmetry .
we obtain : [ dj = jds ] j_1(z ) - j_1(z ) s = 0 it is convenient to rewrite the variation of the current as an integral over the worldsheet : j_1(z ) = d^2 w ( x_1(w ) (z - w ) + ( [ j_0(w),x_1(w)]+[j_2(w),x_3(w)]+[j_3(w),x_2(w ) ] ) ( z - w ) ) projecting equation on the @xmath15 subspaces , we obtain three operator identities : @xmath184 where the colons stand for normal ordering .
next we plug the ansatz into these equations .
more precisely , we use the ansatz to perform the opes on the left - hand side of the identities .
since we are working at first - order in @xmath29 , the opes involving composite operators are easily dealt with : a single ope has to be taken with one or the other of the components of the composite operator .
we use the equalities : _
|w = -2(z - w ) = _ w ; _
|w = 2(z - w ) = _ w we are left with some identities between operators multiplied by functions that are singular when @xmath185 .
we demand that the operator identities do hold for the singular terms of order two and three : all the terms multiplying either a derivative of a delta function , a delta function , or a second - order pole shall cancel against each other .
we obtain a set of linear equations that the free coefficients in the ansatz have to satisfy : @xmath186 we can play the same game replacing in equation @xmath35 by another current . for each current
we obtain a new set of equations . to get more constraints for the opes involving the ghosts
, we can also vary the ghosts variable instead of . in total
we get 39 linear equations that the coefficients @xmath69 s in the ansatz have to satisfy .
[ [ the - maurer - cartan - equation.-1 ] ] the maurer - cartan equation .
+ + + + + + + + + + + + + + + + + + + + + + + + + + +    we can further constraint the coefficients in the ansatz by demanding compatibility with the maurer - cartan equation . projecting this equation according to the @xmath15 grading
we obtain : @xmath187 + [ j_1 , \bar j_3 ] + [ j_2 , \bar j_2 ] + [ j_3 , \bar j_1 ] = 0 \cr & \p \bar j_1- \bar \p j_1 + [ j_0 , \bar j_1 ] + [ j_1 , \bar j_0 ] + [ j_2 , \bar j_3 ] + [ j_3 , \bar j_2 ] = 0 \cr & \p \bar j_2 - \bar \p j_2 + [ j_0 , \bar j_2 ] + [ j_1 , \bar j_1 ] + [ j_2 , \bar j_0 ] + [ j_3 , \bar j_3 ] = 0 \cr & \p \bar j_3 - \bar \p j_3 + [ j_0 , \bar j_3 ] + [ j_1 , \bar j_2 ] + [ j_2 , \bar j_1 ] + [ j_3 , \bar j_0 ] = 0    \end{aligned}\ ] ] the strategy is to demand that the maurer - cartan equation does hold as an operator identity .
more precisely , we demand that the ope between a current and the left - hand side of does vanish .
let us consider one example for illustrative purposes : we take the ope between the current @xmath35 and the left - hand side of the first line in equation : @xmath188 as previously we plug the ansatz in the previous equation , and demand that the singular terms of order three and two do vanish .
we obtain the following equations : 0 = c_10^|1 + c_1 |0^|1 + c_13 0 = c_10 ^ 1 - c_1    the different lines of equation , we obtain in total 43 linear equations that the coefficients @xmath69 s in the ansatz have to satisfy .
let us make a side remark here .
there is no doubt that the maurer - cartan identity does hold at tree level .
however it may get quantum corrections . in order to generalize the method described here to compute quantum corrections to the current algebra
, one needs to assume that the maurer - cartan identity holds in the quantum theory as well .
this may be interpreted as postulating quantum integrability of the model .
this provides an efficient way to use quantum integrability of the model to compute the quantum current algebra .
we leave it for future work .
[ [ the - coefficients - of - the - current - algebra . ] ] the coefficients of the current algebra .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    using the maurer - cartan identity and reparametrization invariance of the path integral , we find in total 82 equations that constrain the 57 independent coefficients of the current algebra .
this system of equation can be easily decomposed in subsystems of eight equations or less .
it is remarkable that there exists a solution to this set of equations .
the non - zero coefficients are given in section [ subkalgebra ] .
there is however one exception for the opes between two of the currents @xmath34 and @xmath39 . in that case
the equations we obtain only provide the constraints .
[ [ associativity . ] ] associativity .
+ + + + + + + + + + + + + +    the current algebra has to be associative .
associativity of the current algebra can be tested in the following way .
let us consider a 3-points function , for instance : j_1(x ) j_1(y ) j_2(z ) it can be computed by taking first the ope between @xmath189 and @xmath190 , and then take the ope between the resulting current and @xmath191 .
but one can also start by taking the ope between @xmath192 and @xmath191 , and then take the ope of the result with @xmath189 .
the two methods lead to the same result if the coefficients of the current algebra satisfy : c_11 ^ 2 c_22 = c_12 ^ 3 c_13 we can play the same game with any three - points functions .
we find a large set of constraints that are all satisfied by the current algebra obtained previously .
in this section we give some details on the derivations of equations , and .
we want to compute the commutator of two equal - time connections @xmath193 and @xmath100 evaluated for different values of the spectral parameter @xmath75 and @xmath84 and taken in possibly different representation @xmath28 and @xmath78 .
we can deduce this commutator from the current algebra .
we define the commutator of equal - time operators as : = _ 0^+ ( a(+i ) b(0 ) - b(i ) a ( ) ) from this definition we extract an operative dictionary between opes and commutators .
let us consider for instance the following ope : [ abope ] a(z ) b(0 ) = + + e ^(2)(z ) +
+ + + + ... we deduce the commutator : [ abcom ] [ a ( ) , b(0 ) ] = c  ( ) - d  ( ) - f(0 ) ( ) - g(0 ) ( ) + h(0 ) ( ) + i(0 ) ( ) this dictionary shows that the first - order computation of fusion presented in section [ fusionorder1 ] is equivalent to the computation of the poisson bracket of line operators in the hamiltonian formalism .
notice that the ope generically contains additional sub - leading singularities , for instance @xmath194 , or even logarithms .
they do not contribute to the commutator @xcite .
generically , the ope contains more information than the commutator .    in order to simplify the following expressions
, we write the ( spacelike component of the ) flat connection @xmath73 defined in as : @xmath195 using the previous dictionary , we obtain for the commutator of two connections : @xmath196 }   [ a_r&(y;\sigma ) ,   a_{r'}(y';\sigma ' ) ]   = \cr & 2\pi i r^{-2 } \p_\sigma \delta(\sigma- \sigma ' ) \sum_{m , n } \kappa^{b_n a_m } t_{a_m}^r t_{b_n}^{r ' } ( f_m(y)f_n(y')c_{mn } -    \bar f_m(y)\bar f_n(y')c_{\bar m \bar n } ) \cr & + 2\pi i r^{-2 }   \delta(\sigma- \sigma ' ) \sum_{m , n , p } { f_{c_p}}^{b_n a_m } t_{a_m}^r t_{b_n}^{r ' } k_p^{c_p } ( -f_m(y)f_n(y ' ) c_{mn}^p \cr & \hspace{2.5 cm } + f_m(y)\bar f_n(y ' ) c_{m\bar n}^p + \bar f_m(y)f_n(y ' ) c_{\bar m n}^p + \bar f_m(y ) \bar f_n(y ' ) c_{\bar m \bar n}^p ) \cr & + 2\pi i r^{-2 }   \delta(\sigma- \sigma ' ) \sum_{m , n , p } { f_{c_p}}^{b_n a_m } t_{a_m}^r t_{b_n}^{r ' }   \bar k_p^{c_p } ( -f_m(y)f_n(y ' ) c_{mn}^{\bar p }   \cr & \hspace{2.5 cm } - f_m(y)\bar f_n(y ' ) c_{m\bar n}^{\bar p } - \bar f_m(y)f_n(y ' ) c_{\bar m n}^{\bar p } + \bar f_m(y ) \bar f_n(y ' ) c_{\bar m \bar n}^{\bar p } ) \end{aligned}\ ] ] we wish to write this commutator as a @xmath12 system . from the terms coming with a derivative of the delta function in the commutator
, we can read directly the @xmath81-matrix .
we obtain : s = i r^-2 _ m , n ^b_n a_m t_a_m^r t_b_n^r ( f_m(y)f_n(y)c_mn -    obtain . to obtain the @xmath80 matrix , we have to compare the terms coming with a delta function in and .
this leads to the following equations for the components of the @xmath80 and @xmath81 matrices : @xmath197 in the previous equations , when the indices @xmath198 take the value @xmath108 or @xmath54 , one should understand@xmath199 " and  @xmath200 " as being @xmath201 , etc .
remarkably , this largely over - constrained system is solved by the @xmath80 and @xmath81 matrices and .
[ [ appcompkalgebras ] ] comparison with previous analyses .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    the current - current opes were previously discussed in the literature . in @xcite
the opes for the currents of non - zero grade were computed using the background field methods . some of the opes involving the grade zero currents were further given in @xcite .
the results we obtained here agree with these papers .    in @xcite the current algebra
was also computed using feynman diagram technology .
the opes do match the ones we derived here except for those involving the currents @xmath34 , @xmath39 .
this is not surprising given the gauge choice that was explicitly made for the coset element in @xcite .
a consequence of this discrepancy is that the commutator of equal - time connections can not be written as a @xmath12 system with the opes of @xcite .
however one should keep in mind that it is only an issue of gauge fixing . indeed in @xcite the opes of @xcite were used to compute the fusion of line operators at first order .
then the @xmath80 and @xmath81 matrices were deduced by comparison with the expectations from the hamiltonian formalism .
these matrices agree with the ones that we derived in this paper .    in @xcite
the hamiltonian formalism was used to compute the commutator of equal time connections .
a careful treatment of the constraints was performed .
it was argued that in the hamiltonian formalism , the flat connection realizes a @xmath12 system up to constraints generating gauge transformations .
it was shown that one should add to the flat connection a term proportional to the constraints so that the commutator of connections take exactly the form of a @xmath12 system .
the resulting @xmath12 system is slightly different than the one used here and in @xcite .
the flat connection obtained in @xcite , including the additional term proportional to the constraints , was derived from first principles in @xcite in the green - schwarz formalism .
it is remarkable that the analysis of @xcite leads to the pure spinor - like flat connections of @xcite ( without the pure spinor ghosts contribution ) and not to the bena - polchinski - roiban flat connections @xcite .
this provides some evidence for the equivalence of the pure spinor and green - schwarz formulations of string theory on @xmath7 . in @xcite
it was shown that the @xmath12 system of @xcite has a nice algebraic interpretation .
for the purposes of this paper it is important that the @xmath80 matrix found in @xcite is identical to the one we worked with in the limit where the difference of spectral parameter is small .
this guarantees that the results derived in the present paper would also hold if one were to work with the @xmath12 system of @xcite . in order to reproduce the @xmath12 system found in @xcite using opes technology
, the first step would be to gauge - fix the @xmath202 gauge symmetry via a brst procedure
. then one should generalize the analysis of @xcite by including in the flat connections additional terms written in terms of the ghosts resulting from the @xmath202 gauge - fixing .
these new connections should realize the @xmath12 system of @xcite .
in this appendix we give some details about the computations of the first - order divergences in line operators .
as explained in section [ worldsheettheory ] , we use a principal - value regularization scheme .
a first - order pole is regularized as : p.v .
= ( + ) = and a second - order pole is regularized as : p.v .
= ( + ) =      ]    there are three sources of divergences in the transition matrices .
they are depicted in figure [ divergences ] .
the first divergences come from the first order poles in the ope of two neighboring connections , say @xmath203 and @xmath204 ( case in figuredivergences ) .
we evaluate the resulting currents at the point @xmath205 and perform the integration over @xmath206 .
we obtain a logarithmic divergences : @xmath207 where the functions @xmath208 s were defined in .
the second type of divergences come from the second - order poles in the ope between two neighboring connections ( case in figuredivergences ) . after performing the integration over the positions of the two connections , we obtain a logarithmic divergence : @xmath209 notice that there is no linear divergences .
this is a pleasant feature of the regularization scheme that we are using .
eventually the third type of divergences come from the second - order poles in the ope between two connections that are separated by a third one sitting in between ( case in figuredivergences ) .
let us denote this third connection by @xmath210 .
after performing the integrations , we obtain another logarithmic divergence : @xmath211 there is some freedom in how we write the last expression since we can commute the generators in different ways .
we choose a writing that is symmetric with respect to the central connection @xmath210 .    starting from a transition matrix ,
we compute all the different opes of the types described previously that lead to divergences .
next we sum all these terms .
most of the terms of the type cancel against the first terms in .
we obtain : @xmath212    [ [ consequences - of - the - vanishing - of - the - dual - coxeter - number . ] ] consequences of the vanishing of the dual coxeter number .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    here we derive some identities that are useful to show the vanishing of some divergences in the line operators .
these identities were first derived in @xcite .
the vanishing of the dual coxeter number can be written as : [ ftt=0 ] f_c^ba[t_a , t_b } = 0 the super - jacobi identity together with the fact that @xmath213 implies : [ 13c=31c ] ^b_3 a_1[t_a_1,[t_b_3,t_c } } = ^a_1 b_3[t_b_3,[t_a_1,t_c } } the identities and further imply : @xmath214 @xmath215 @xmath216    [ [ cancellation - of - divergences . ] ] cancellation of divergences .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + +    let us come back to the expression .
we will now argue that the second piece of vanishes , as first shown in @xcite . using the identities and
, we observe that the terms proportional to @xmath35 , @xmath40 , @xmath37 and @xmath42 vanish straight away . then using the identities together with the actual value of the coefficients of the current algebra , it is straightforward to check that the terms proportional to @xmath36 and @xmath41 also drop out .
the vanishing of the terms proportional to @xmath34 , @xmath39 , @xmath38 and @xmath43 depends on the value of the simple poles in the opes @xmath217 , @xmath218 and @xmath219 .
the method explained in appendix [ covcurrents ] to compute the current algebra does not fix completely these opes , but only gives the constraint .
the identity combined with the value of the other coefficients of the current algebra implies the vanishing of all terms proportional to @xmath34 , @xmath39 , @xmath38 and @xmath43 provided we have : @xmath220 demanding consistency with the analysis of @xcite implies the previous equations .
we deduce that only the first term in survives
. we can write it as : @xmath221 so the first - order divergences in the transition matrix can be rewritten as : [ divtransition ] - \ { ^b_3 a_1 t_a_1 t_b_3 + ^b_2 a_2 t_a_2 t_b_2 + ^b_1
a_3 t_a_3 t_b_1 , t^b , a(x ) }      in loop operators we have additional divergences coming from the collisions between two connections sitting on either side of the starting point of the integration contour .
only the second - order pole in such a collision lead to a divergence .
these divergences read : @xmath222 so the first - order divergences in the monodromy matrix add up to : @xmath223 taking the supertrace , we see that the transfer matrix is free of divergences at first order .
in this appendix we give some details concerning the computation of the fusion of line operators at second order .
in particular we describe the computation that leads to and .
these terms are produced by triple collisions of connections .
a triple collision means that we take one ope between two connections , and then take the ope of the resulting currents with a third connection .      as explain in section [ recipefusion ]
, one needs to disentangle two contributions from the opes . on one hand
there is the contribution that gives a quantum correction associated with fusion . on the other hand
there is the contribution that is interpreted as a regularized ope in the double line operator resulting from the process of fusion . in order to isolate the interesting part associated with fusion
, we subtract the principal value from the singularities .
we obtain : @xmath224      let us now face the computation of the individual quantum corrections that add up to and . in the first step of the computation of a triple collision we perform an ope between two connections sitting on different contours . we obtain intermediate currents that we evaluate on one of the two contours .
the contour on which these intermediate currents are evaluated matters for the second step of the computation .
the relevant ope for the first step of the computation is thus : @xmath225 where the index @xmath226 can take the values @xmath227 . in the following
when the range of the sum for some index is not specified , it is understood that the sum runs over the set @xmath227 .
the coefficients @xmath228 depends on the precise location where the currents are evaluated in the simple poles of the current algebra . from the coefficient given in section [ subkalgebra ] we can only deduce the sums @xmath229 and @xmath230 .
it turns out that we do nt need more information about the coefficients @xmath228 for the purpose of this article ( see equation ) .
actually what we want to compute here is not exactly the contribution of the triple collisions to the fusion of line operators .
it is rather the part of this contribution that has not been taken into account by the first part of the computation described in section [ subfusion2nd ] and depicted in figure [ fuso2step1 ] . removing the piece of the triple collisions already taken into account amounts to perform the following replacement in the first ope : @xmath231    . in and
the contribution from the first - order poles in the second ope is singled out . in the four other cases
the contribution from the second - order poles in the second ope is considered.[alltriplecollisions ] ]    now we can compute the individual terms that add up to and .
these different terms are schematically depicted in figure [ alltriplecollisions ] .
we compute separately the contribution of the first- and second - order poles in the second ope ( obviously only the first order poles have to be taken into account in the first ope ) .
let us begin with the first - order poles in the second ope .
the triple collision involves three connections , two of which are integrated on the same contour .
there are two different cases . for a triple collision involving two neighboring connections on the first contour ( case in figure [ alltriplecollisions ] ) , we obtain : @xmath232 t_{b_n}^{r ' } \cr & \times ( k_r^{e_r}({\tilde{d'}}_{mn}^p f_q c_{pq}^r - { \tilde{d'}}_{mn}^p \bar f_q c_{p\bar q}^r - { \tilde{d'}}_{mn}^{\bar p } f_q c_{\bar pq}^r - { \tilde{d'}}_{mn}^{\bar p } \bar f_q c_{\bar p \bar q}^r ) \cr & \quad + \bar k_r^{e_r}({\tilde{d'}}_{mn}^p f_q c_{pq}^{\bar r } + { \tilde{d'}}_{mn}^p \bar f_q c_{p\bar q}^{\bar r } + { \tilde{d'}}_{mn}^{\bar p } f_q c_{\bar pq}^{\bar r } - { \tilde{d'}}_{mn}^{\bar p } \bar f_q c_{\bar p \bar q}^{\bar r } ) ) \end{aligned}\ ] ] where we wrote @xmath233 as a shorthand for @xmath234 .
similarly we will write @xmath235 for @xmath236 . for a triple collision involving two neighboring connections on the second contour ( case in figure [ alltriplecollisions ] )
, we obtain : @xmath237 \cr & \times ( k_r^{e_r}(-{\tilde{d}}_{mn}^p f'_q c_{pq}^r + { \tilde{d}}_{mn}^p \bar f'_q c_{p\bar q}^r + { \tilde{d}}_{mn}^{\bar p } f'_q c_{\bar pq}^r + { \tilde{d}}_{mn}^{\bar p } \bar f'_q c_{\bar p \bar q}^r ) \cr & \quad + \bar k_r^{e_r}(-{\tilde{d}}_{mn}^p f'_q c_{pq}^{\bar r } - { \tilde{d}}_{mn}^p \bar f'_q c_{p\bar q}^{\bar r } - { \tilde{d}}_{mn}^{\bar p } f'_q c_{\bar pq}^{\bar r } + { \tilde{d}}_{mn}^{\bar p } \bar f'_q c_{\bar p \bar q}^{\bar r } ) ) \end{aligned}\ ] ] next we consider the second - order poles in the second ope .
there are now four different cases . for a triple collision involving two neighboring connections on the first contour ( case in figure [ alltriplecollisions ] ) , we obtain : @xmath238 and for a triple collision involving two neighboring connections on the second contour ( case in figure [ alltriplecollisions ] ) , we obtain : @xmath239 we also obtain a non - zero contribution if the two connections that are on the same contour are separated by a third one .
when this happens on the first contour ( case in figure [ alltriplecollisions ] ) , we obtain : @xmath240 t_{b_n}^{r ' }   \cr & \quad \times ( { \tilde{d'}}_{mn}^s f_p c_{sp } - { \tilde{d'}}_{mn}^{\bar s } \bar f_p c_{\bar s\bar p } ) ( f_r k_r^{e_r } + \bar f_r \bar k_r^{e_r})\cr + ( i\pi r^{-2})^2 & \delta'_{\epsilon}(\sigma_1-\sigma')\delta_{\epsilon}(\sigma_2-\sigma ' ) \frac{1}{2 } \sum_{n , p , q=0}^3\sum_{m , r , s } { f_{c_p}}^{b_n a_m } { f_{e_r}}^{c_p d_q } \ { t_{d_q}^r , t_{a_m}^r ] t_{b_n}^{r ' }   \cr & \quad \times ( { \tilde{d'}}_{pn}^s f_m c_{sm }   - { \tilde{d'}}_{pn}^{\bar s } \bar f_m c_{\bar s\bar m } ) ( f_r k_r^{e_r } + \bar f_r \bar k_r^{e_r})\end{aligned}\ ] ] finally for two connections separated by a third one in the second contour ( case in figure [ alltriplecollisions ] ) , we obtain : @xmath241   \cr & \quad \times ( { \tilde{d}}_{mn}^s f'_p c_{sp }   - { \tilde{d}}_{mn}^{\bar s } \bar f'_p c_{\bar s\bar p } ) ( f'_r k_r^{e_r } + \bar f'_r \bar k_r^{e_r})\cr + ( i\pi r^{-2})^2 & \delta'_{\epsilon}(\sigma'_1-\sigma)\delta_{\epsilon}(\sigma'_2-\sigma ) \frac{1}{2 } \sum_{n , p , q=0}^3 \sum_{m , r
, s } { f_{c_p}}^{b_n a_m } { f_{e_r}}^{d_q c_p } t_{a_m}^r \ { t_{b_n}^{r'},t_{d_q}^{r ' } ]   \cr & \quad \times ( { \tilde{d}}_{pn}^s f'_m c_{sm } - { \tilde{d}}_{pn}^{\bar s } \bar f'_m c_{\bar s\bar m } ) ( f'_r k_r^{e_r } + \bar f'_r \bar k_r^{e_r})\\end{aligned}\ ] ]      next we have to perform the integration over the free coordinates in the previous results .
the integrals over the regularized delta functions provide a well - defined answer .
this is an advantage of the ope formalism with respect to the hamiltonian formalism .
the integrals needed are given below .
the results are given in the limit @xmath242 .
@xmath243 @xmath244 @xmath245 it is sometimes convenient to write @xmath246 as @xmath247 .
notice that the integral over the squared regularized delta function is divergent in the limit @xmath242 : _
c^d d ^2_(_2- ) = |[a , b]| where we denoted by @xmath248\cap[c , d]|$ ] the length of the overlap of the intervals @xmath85 $ ] and @xmath98 $ ] .
similarly we have : @xmath249 where we can also replace @xmath250 by @xmath251 .
finally we can sum the various contributions from triple collisions .
the terms of the form combined with the second and third terms of lead to : @xmath252\cap[c , d]}d\sigma   \left \lfloor \int_\sigma^b a \right\rceil^i
\left \lfloor \int_\sigma^d a ' \right\rceil^{i ' } \cr & \times   ( i\pi r^{-2})^2   \tilde{\sum_{m , n , p , q , r } } { f_{c_p}}^{b_n a_m } { f_{e_r}}^{c_p d_q } \ { t_{d_q}^r , t_{a_m}^r ] t_{b_n}^{r ' } \cr & \quad \times ( k_r^{e_r}({\tilde{d'}}_{mn}^p f_q c_{pq}^r - { \tilde{d'}}_{mn}^p \bar f_q c_{p\bar q}^r - { \tilde{d'}}_{mn}^{\bar p } f_q c_{\bar pq}^r - { \tilde{d'}}_{mn}^{\bar p } \bar f_q c_{\bar p \bar q}^r \cr & \quad \quad\quad+ \frac{1}{2 } f_r \sum_s ( { \tilde{d'}}_{mn}^s f_p c_{sp } + { \tilde{d'}}_{pn}^s f_m c_{sm } - { \tilde{d'}}_{mn}^{\bar s } \bar f_p c_{\bar s\bar p } - { \tilde{d'}}_{pn}^{\bar s } \bar f_m c_{\bar s\bar m } ) ) \cr & \quad\quad + \bar k_r^{e_r}({\tilde{d'}}_{mn}^p f_q c_{pq}^{\bar r } + { \tilde{d'}}_{mn}^p \bar f_q c_{p\bar q}^{\bar r } + { \tilde{d'}}_{mn}^{\bar p } f_q c_{\bar pq}^{\bar r } - { \tilde{d'}}_{mn}^{\bar p } \bar f_q c_{\bar p \bar q}^{\bar r } \cr & \quad\quad\quad+ \frac{1}{2 } \bar f_r \sum_s ( { \tilde{d'}}_{mn}^s f_p c_{sp } + { \tilde{d'}}_{pn}^s f_m c_{sm } - { \tilde{d'}}_{mn}^{\bar s } \bar f_p c_{\bar s\bar p } - { \tilde{d'}}_{pn}^{\bar s } \bar f_m c_{\bar s\bar m } ) ) ) \cr & \times \left \lfloor \int_a^\sigma a \right\rceil^{m - i } \left \lfloor \int_c^\sigma a ' \right\rceil^{m'-i ' } \end{aligned}\ ] ] in order to shorten the previous expression we introduce the symbol @xmath253 with the following meaning : for each term in the expression , the lower indices of a coefficient @xmath254 have to be summed over the values @xmath255 , while all other indices have to be summed over the values @xmath227 . similarly the terms of the form combined with the second and third terms of lead to : @xmath256\cap[c , d]}d\sigma   \left \lfloor \int_\sigma^b a \right\rceil^i \left \lfloor \int_\sigma^d a ' \right\rceil^{i ' } \cr & \times   ( i\pi r^{-2})^2   \tilde{\sum_{m , n , p , q , r } } { f_{c_p}}^{b_n a_m } { f_{e_r}}^ { d_q c_p }   t_{a_m}^r \ { t_{b_n}^{r ' } , t_{d_q}^{r ' } ]   \cr & \quad \times ( k_r^{e_r}(-{\tilde{d}}_{mn}^p f'_q c_{pq}^r + { \tilde{d}}_{mn}^p \bar f'_q c_{p\bar q}^r + { \tilde{d}}_{mn}^{\bar p } f'_q c_{\bar pq}^r + { \tilde{d}}_{mn}^{\bar p } \bar f'_q c_{\bar p \bar q}^r \cr & \quad \quad\quad- \frac{1}{2 } f'_r \sum_s ( { \tilde{d}}_{mn}^s f'_p c_{sp } + { \tilde{d}}_{pn}^s f'_m c_{sm } - { \tilde{d}}_{mn}^{\bar s } \bar f'_p c_{\bar s\bar p } - { \tilde{d}}_{pn}^{\bar s } \bar f'_m c_{\bar s\bar m } ) ) \cr & \quad\quad + \bar k_r^{e_r}(-{\tilde{d}}_{mn}^p f'_q c_{pq}^{\bar r } - { \tilde{d}}_{mn}^p \bar f'_q c_{p\bar q}^{\bar r } - { \tilde{d}}_{mn}^{\bar p } f'_q c_{\bar pq}^{\bar r } + { \tilde{d}}_{mn}^{\bar p } \bar f'_q c_{\bar p \bar q}^{\bar r } ) \cr & \quad\quad\quad- \frac{1}{2 } \bar f'_r \sum_s ( { \tilde{d}}_{mn}^s f'_p c_{sp } + { \tilde{d}}_{pn}^s f'_m c_{sm } - { \tilde{d}}_{mn}^{\bar s } \bar f'_p c_{\bar s\bar p } - { \tilde{d}}_{pn}^{\bar s } \bar f'_m c_{\bar s\bar m } ) ) ) \cr & \times \left \lfloor \int_a^\sigma a \right\rceil^{m - i } \left \lfloor \int_c^\sigma a ' \right\rceil^{m'-i ' } \end{aligned}\ ] ] the sum of and leads to where the operator @xmath116 is given by : @xmath257 t_{b_n}^{r ' } \cr & \quad \times ( k_r^{e_r}({\tilde{d'}}_{mn}^p f_q c_{pq}^r - { \tilde{d'}}_{mn}^p \bar f_q c_{p\bar q}^r - { \tilde{d'}}_{mn}^{\bar p } f_q c_{\bar pq}^r - { \tilde{d'}}_{mn}^{\bar p } \bar f_q c_{\bar p \bar q}^r \cr & \quad \quad\quad+ \frac{1}{2 } f_r   \sum_s ( { \tilde{d'}}_{mn}^s f_p c_{sp } + { \tilde{d'}}_{pn}^s f_m c_{sm } - { \tilde{d'}}_{mn}^{\bar s } \bar f_p c_{\bar s\bar p } - { \tilde{d'}}_{pn}^{\bar s } \bar f_m c_{\bar s\bar m } ) ) \cr & \quad\quad + \bar k_r^{e_r}({\tilde{d'}}_{mn}^p f_q c_{pq}^{\bar r } + { \tilde{d'}}_{mn}^p \bar f_q c_{p\bar q}^{\bar r } + { \tilde{d'}}_{mn}^{\bar p } f_q c_{\bar pq}^{\bar r } - { \tilde{d'}}_{mn}^{\bar p } \bar f_q c_{\bar p \bar q}^{\bar r } \cr & \quad\quad\quad+ \frac{1}{2 } \bar f_r   \sum_s ( { \tilde{d'}}_{mn}^s f_p c_{sp } + { \tilde{d'}}_{pn}^s f_m c_{sm } - { \tilde{d'}}_{mn}^{\bar s } \bar f_p c_{\bar s\bar p } - { \tilde{d'}}_{pn}^{\bar s } \bar f_m c_{\bar s\bar m})))\cr % & + { f_{c_p}}^{b_n a_m } { f_{e_r}}^ { d_q c_p }   t_{a_m}^r
\ { t_{b_n}^{r ' } , t_{d_q}^{r ' } ]   \cr & \quad \times ( k_r^{e_r}(-{\tilde{d}}_{mn}^p f'_q c_{pq}^r + { \tilde{d}}_{mn}^p \bar f'_q c_{p\bar q}^r + { \tilde{d}}_{mn}^{\bar p } f'_q c_{\bar pq}^r + { \tilde{d}}_{mn}^{\bar p } \bar f'_q c_{\bar p \bar q}^r \cr & \quad \quad\quad- \frac{1}{2 } f'_r   \sum_s ( { \tilde{d}}_{mn}^s f'_p c_{sp } + { \tilde{d}}_{pn}^s f'_m c_{sm } - { \tilde{d}}_{mn}^{\bar s } \bar f'_p c_{\bar s\bar p } - { \tilde{d}}_{pn}^{\bar s } \bar f'_m c_{\bar s\bar m } ) ) \cr & \quad\quad + \bar k_r^{e_r}(-{\tilde{d}}_{mn}^p f'_q c_{pq}^{\bar r } - { \tilde{d}}_{mn}^p \bar f'_q c_{p\bar q}^{\bar r } - { \tilde{d}}_{mn}^{\bar p } f'_q c_{\bar pq}^{\bar r } + { \tilde{d}}_{mn}^{\bar p } \bar f'_q c_{\bar p \bar q}^{\bar r } ) \cr & \quad\quad\quad- \frac{1}{2 } \bar f'_r   \sum_s ( { \tilde{d}}_{mn}^s f'_p c_{sp } + { \tilde{d}}_{pn}^s f'_m c_{sm } - { \tilde{d}}_{mn}^{\bar s } \bar f'_p c_{\bar s\bar p } - { \tilde{d}}_{pn}^{\bar s } \bar f'_m c_{\bar s\bar m})))\end{aligned}\ ] ] the combination of the terms and together with the first terms of and simplifies to : @xmath258 this can be rewritten as where the matrix @xmath119 is given by : @xmath259      for the purposes of this paper it is interesting to take the limit where the difference of spectral parameters is small .
more precisely we assume that the difference @xmath261 is of order @xmath262 . in this limit
one term dominates the previous result .
this follows essentially from the observation that the @xmath80 matrix satisfies . in the limit @xmath260 ,
the @xmath80 matrix is no longer of order @xmath29 but rather of order @xmath263 .
consequently the coefficients @xmath264 introduced in behave like : @xmath265 using equation , we deduce that simplifies to : @xmath266\cap[c , d]}d\sigma   \left \lfloor \int_\sigma^b a \right\rceil^i \left \lfloor \int_\sigma^d a ' \right\rceil^{i ' } \cr & \times   ( i\pi r^{-2})^2   \sum_{m , n , p , q=0}^3\sum_{r } { f_{c_p}}^{b_n a_m } { f_{e_r}}^{c_p d_q } \ { t_{d_q}^r , t_{a_m}^r ] t_{b_n}^{r ' } \cr & \quad \times \left ( -\frac{1}{16}\frac{y^2(y^2+y^{-2})^4}{y - y'}\right ) \left(\p_y f_r(y ) k_r^{e_r } + \p_y \bar f_r(y ) \bar k_r^{e_r}\right ) \cr & \times \left \lfloor \int_a^\sigma a \right\rceil^{m - i } \left \lfloor \int_c^\sigma a ' \right\rceil^{m'-i ' } + \mathcal{o}(r^{-4})\end{aligned}\ ] ] remarkably the combination of currents that factors out is the derivative of the components of the flat connection with respect to the spectral parameter . similarly simplifies to : @xmath267\cap[c , d]}d\sigma   \left \lfloor \int_\sigma^b a \right\rceil^i
\left \lfloor \int_\sigma^d a ' \right\rceil^{i ' } \cr & \times   ( i\pi r^{-2})^2   \sum_{m , n , p , q=0}^3\sum_{r } { f_{c_p}}^{b_n a_m } { f_{e_r}}^ { d_q c_p }   t_{a_m}^r \ { t_{b_n}^{r ' } , t_{d_q}^{r ' } ]   \cr & \quad \times \left ( -\frac{1}{16}\frac{y^2(y^2+y^{-2})^4}{y - y'}\right ) \left(\p_y f_r(y ) k_r^{e_r } + \p_y \bar f_r(y ) \bar k_r^{e_r}\right ) \cr & \times \left \lfloor \int_a^\sigma a \right\rceil^{m - i } \left \lfloor \int_c^\sigma a ' \right\rceil^{m'-i ' } + \mathcal{o}(r^{-4})\end{aligned}\ ] ] so the operator @xmath116 becomes : @xmath268 t_{b_n}^{r ' } + { f_{c_p}}^{b_n a_m } { f_{e_r}}^ { d_q c_p }   t_{a_m}^r \ { t_{b_n}^{r ' } , t_{d_q}^{r ' } ] \right ) + \mathcal{o}(r^{0})\end{aligned}\ ] ] eventually the term remains of order @xmath55 , since : [ tttildelim ] -_mn^p f_q c_pq + _
mn^|p |f_q c_|p|q -_rm^p f_q c_pq + _
rm^|p |f_q c_|p|q = 0 + ( r^-4 ) consequently the matrix @xmath119 defined in remains of order one . actually it might be that the term and thus the matrix @xmath119 cancel exactly .
this could be decided by computing the coefficients of the derivatives of the currents in the current - current opes .
j.  m.  maldacena , `` the large n limit of superconformal field theories and supergravity , '' adv .
* 2 * ( 1998 )
231 [ int .  j.  theor .
* 38 * ( 1999 ) 1113 ] [ arxiv : hep - th/9711200 ] .
s.  s.  gubser , i.  r.  klebanov , a.  m.  polyakov , `` gauge theory correlators from noncritical string theory , '' phys .
* b428 * ( 1998 ) 105 - 114 .
[ hep - th/9802109 ] .
n.  gromov , v.  kazakov and p.  vieira , `` exact spectrum of anomalous dimensions of planar n=4 supersymmetric yang - mills theory , '' phys .
* 103 * , 131601 ( 2009 ) [ arxiv:0901.3753 [ hep - th ] ] .
n.  beisert , b.  eden , m.  staudacher , `` transcendentality and crossing , '' j.  stat .
mech .   * 0701 * ( 2007 ) p01021 .
[ hep - th/0610251 ] .
n.  gromov , v.  kazakov , p.  vieira , `` exact spectrum of planar @xmath269 supersymmetric yang - mills theory : konishi dimension at any coupling , '' phys .
* 104 * ( 2010 ) 211601 .
[ arxiv:0906.4240 [ hep - th ] ] .
n.  gromov , v.  kazakov , a.  kozak , p.  vieira , `` exact spectrum of anomalous dimensions of planar n = 4 supersymmetric yang - mills theory : tba and excited states , '' lett .
* 91 * ( 2010 ) 265 - 287 .
[ arxiv:0902.4458 [ hep - th ] ] .
v.  v.  bazhanov , s.  l.  lukyanov , a.  b.  zamolodchikov , `` integrable structure of conformal field theory , quantum kdv theory and thermodynamic bethe ansatz , '' commun .
* 177 * ( 1996 ) 381 - 398 .
[ hep - th/9412229 ]    v.  kazakov and p.  vieira , `` from characters to quantum ( super)spin chains via fusion , '' jhep * 0810 * ( 2008 ) 050 [ arxiv:0711.2470 [ hep - th ] ] .
r.  benichou , `` fusion of line operators in conformal sigma - models on supergroups , and the hirota equation , '' jhep * 1101 * ( 2011 ) 066 .
[ arxiv:1011.3158 [ hep - th ] ]    n.  berkovits , `` super - poincare covariant quantization of the superstring , '' jhep * 0004 * ( 2000 ) 018 [ arxiv : hep - th/0001035 ] .
n.  berkovits , `` quantum consistency of the superstring in ads(5 ) x s**5 background , '' jhep * 0503 * ( 2005 ) 041 [ arxiv : hep - th/0411170 ] . l.  mazzucato , `` superstrings in ads , '' [ arxiv:1104.2604 [ hep - th ] ]
.      v.  g.  m.  puletti , `` operator product expansion for pure spinor superstring on ads(5 ) x s**5 , '' jhep * 0610 * ( 2006 ) 057 [ arxiv : hep - th/0607076 ] .
v.  g.  m.  puletti , `` aspects of quantum integrability for pure spinor superstring in ads(5 ) x s**5 , '' jhep * 0809 * ( 2008 ) 070 .
[ arxiv:0808.0282 [ hep - th ] ] .
o.  a.  bedoya , d.  z.  marchioro , d.  l.  nedel and b.  c.  vallilo , `` quantum current algebra for the @xmath7 superstring , '' arxiv:1003.0701 [ hep - th ] .
r.  r.  metsaev and a.  a.  tseytlin , `` type iib superstring action in ads(5 ) x s(5 ) background , '' nucl .
b * 533 * ( 1998 ) 109 [ arxiv : hep - th/9805028 ] .
i.  bena , j.  polchinski and r.  roiban , `` hidden symmetries of the ads(5 ) x s**5 superstring , '' phys .
d * 69 * ( 2004 ) 046002 [ arxiv : hep - th/0305116 ] .
b.  c.  vallilo , `` flat currents in the classical ads(5 ) x s**5 pure spinor superstring , '' jhep * 0403 * ( 2004 ) 037 [ arxiv : hep - th/0307018 ] .
a.  mikhailov , s.  schafer - nameki , `` algebra of transfer - matrices and yang - baxter equations on the string worldsheet in ads(5 ) x s(5 ) , '' nucl .
* b802 * ( 2008 ) 1 - 39 . [ arxiv:0712.4278 [ hep - th ] ] .
k.  zarembo , `` strings on semisymmetric superspaces , '' arxiv:1003.0465 [ hep - th ] .
d.  bombardelli , d.  fioravanti , r.  tateo , `` tba and y - system for planar ads(4)/cft(3 ) , '' nucl .
* b834 * ( 2010 ) 543 - 561 .
[ arxiv:0912.4715 [ hep - th ] ] .
n.  berkovits , c.  vafa and e.  witten , `` conformal field theory of ads background with ramond - ramond flux , '' jhep * 9903 * ( 1999 ) 018 [ arxiv : hep - th/9902098 ] .
a.  pakman , l.  rastelli , s.  s.  razamat , `` a spin chain for the symmetric product cft(2 ) , '' jhep * 1005 * ( 2010 ) 099 .
[ arxiv:0912.0959 [ hep - th ] ] .
n.  berkovits , `` quantization of the type ii superstring in a curved six - dimensional background , '' nucl .
b * 565 * ( 2000 ) 333 [ arxiv : hep - th/9908041 ] .
n.  berkovits , m.  bershadsky , t.  hauer , s.  zhukov and b.  zwiebach , `` superstring theory on ads(2 ) x s(2 ) as a coset supermanifold , '' nucl .
b * 567 * ( 2000 ) 61 [ arxiv : hep - th/9907200 ] . c.  a.  s.
young , `` non - local charges , z(m ) gradings and coset space actions , '' phys .
b * 632 * , 559 ( 2006 ) [ arxiv : hep - th/0503008 ] .
i.  adam , a.  dekel , l.  mazzucato and y.  oz , `` integrability of type ii superstrings on ramond - ramond backgrounds in various dimensions , '' jhep * 0706 * ( 2007 ) 085 [ arxiv : hep - th/0702083 ] .
g.  parisi , n.  sourlas , `` self avoiding walk and supersymmetry , '' j.  phys .
* 41 * ( 1980 ) 403 .
m.  r.  zirnbauer , `` conformal field theory of the integer quantum hall plateau transition , '' arxiv : hep - th/9905054 .
m.  bershadsky , s.  zhukov and a.  vaintrob , `` psl(n|n ) sigma model as a conformal field theory , '' nucl .
b * 559 * ( 1999 ) 205 [ arxiv : hep - th/9902180 ] .
a.  babichenko , `` conformal invariance and quantum integrability of sigma models on symmetric superspaces , '' phys .
b * 648 * , 254 ( 2007 ) [ arxiv : hep - th/0611214 ] . c.  candu , t.  creutzig , v.  mitev , v.  schomerus , `` cohomological reduction of sigma models , '' jhep * 1005 * ( 2010 ) 047 .
[ arxiv:1001.1344 [ hep - th ] ] .
s.  k.  ashok , r.  benichou and j.  troost , `` conformal current algebra in two dimensions , '' arxiv:0903.4277 [ hep - th ] .
r.  benichou and j.  troost , `` the conformal current algebra on supergroups with applications to the spectrum and integrability , '' arxiv:1002.3712 [ hep - th ] .
s.  k.  ashok , r.  benichou and j.  troost , `` asymptotic symmetries of string theory on ads3 x s3 with ramond - ramond fluxes , '' jhep * 0910 * ( 2009 ) 051 [ arxiv:0907.1242 [ hep - th ] ] . b.  c.  vallilo , l.  mazzucato , `` the konishi multiplet at strong coupling , '' [ arxiv:1102.1219 [ hep - th ] ] .