We proceed to study infinite-dimensional symmetries in two-dimensional squashed Wess-Zumino-Novikov-Witten (WZNW) models at the classical level. The target space is given by squashed S and the isometry is . It is known that is enhanced to a couple of Yangians. We reveal here that an infinite-dimensional extension of is a deformation of quantum affine algebra, where a new deformation parameter is provided with the coefficient of the Wess-Zumino term. Then we consider the relation between the deformed quantum affine algebra and the pair of Yangians from the viewpoint of the left-right duality of monodromy matrices. The integrable structure is also discussed by computing the /-matrices that satisfy the extended classical Yang-Baxter equation. Finally two degenerate limits are discussed.
A deformation of quantum affine algebra
in squashed WZNW models
Io Kawaguchi***E-mail: ioatgauge.scphys.kyoto-u.ac.jp and Kentaroh Yoshida†††E-mail: kyoshidaatgauge.scphys.kyoto-u.ac.jp
Department of Physics, Kyoto University
Kyoto 606-8502, Japan
- 1 Introduction
- 2 Preliminary
- 3 The left description
- 4 The right description
- 5 The left-right duality
- 6 The degenerate limits
- 7 Conclusion and Discussion
- A The Poisson brackets of and
- B A prescription to treat non-ultra local terms
The AdS/CFT correspondence [1, 2, 3] has been a fascinating topic in the study of string theory over the decade after Maldacena’s proposal. A tremendous amount of works have been devoted to test and generalize it. Nowadays, the research area covers diverse subjects. A great achievement in the recent progress is the discovery of the integrable structure behind the AdS/CFT correspondence (For a comprehensive review on this subject, see ).
In the string-theory side, the integrable structure of two-dimensional string sigma-models with target spacetime AdSS plays an important role . It is closely related to the fact that AdSS is described as a symmetric coset. It leads to an infinite number of the conserved charges constructed, for example, by following the pioneering works [6, 7, 8, 9, 10] (For a comprehensive textbook see ). The symmetric cosets that potentially may lead to a holographic interpretation are classified, including spacetime fermions .
The next interesting issue is to consider integrable deformations of the AdS/CFT correspondence. There are two approaches. The one is an algebraic approach based on -deformations of the world-sheet S-matrix [13, 14, 15, 16, 17]. The deformed S-matrices are explicitly constructed, while the target-space geometry is unclear. The other is a geometric approach based on deformations of target spaces of the sigma models. It seems likely that the deformed geometries are represented by non-symmetric cosets  in comparison to AdSS and hence the prescription for symmetric cosets is not available any more. It is necessary to develop a new method to argue the integrability.
In the latter approach, there is a long history (For classic papers see [19, 20, 21]). Motivated by integrable deformations of AdS/CFT, a series of works have been done on squashed S and warped AdS [22, 24, 25, 28, 26, 27, 29, 23, 30]. Some specific higher-dimensional cases are discussed in . Remarkably, the classical integrable structure of deformed sigma models was recently shown for arbitrary compact Lie groups and the coset cousins by Delduc, Magro and Vicedo . Then, they successively presented a -deformation of the AdSS superstring .
Based on the latter approach, we are here concerned with the classical integrable structure of two-dimensional Wess-Zumino-Novikov-Witten (WZNW) models with the target space squashed S . The isometry is given by . It is partly explained in  that there exist a couple of Yangian algebras based on by explicit constructions of non-local conserved charges and direct computations of the Poisson brackets of the charges.
In this paper we consider an infinite-dimensional extension of . In the case without the Wess-Zumino term, it is just a classical analogue of a quantum affine algebra . When the Wess-Zumino term is added, an additional constant parameter is introduced as its coefficient. A natural question is what happens to the quantum affine algebra. As one may easily guess, a new kind of deformation is induced by the presence of the Wess-Zumino term. The resulting algebra is a classical analogue of the deformed quantum affine algebra. So far, it is not clear what is the mathematical formulation of the deformed quantum affine algebra, though it seems likely to be a two-parameter quantum toroidal algebra . In order to answer the question, it is necessary to see the first realization of the two-parameter quantum toroidal algebra.
This paper is organized as follows. In section 2 the classical action of the squashed WZNW models is introduced. In section 3 we consider the classical integrable structure based on . This is called the left description. We present a couple of Lax pairs and the associated monodromy matrices. The classical /-matrices are shown to satisfy the extended classical Yang-Baxter equation. The infinite-dimensional extensions of are Yangians. In section 4 we argue the classical integrable structure based on . This is called the right description. A Lax pair and the associated monodromy matrix are presented. The classical /-matrices satisfy the extended classical Yang-Baxter equation. Remarkably, an infinite-dimensional extension of is shown to be a deformation of quantum affine algebra, where a new deformation parameter is provided by the coefficient of the Wess-Zumino term. In section 5 the gauge equivalence between the left and right descriptions is proven. Under an identification between the spectral parameters, the left Lax pair is related to the right Lax pair via a gauge transformation. In section 6 we argue two degenerate limits in the right description. At some special points in the parameter space, the deformed quantum affine algebra degenerates to a Yangian, according to the enhancement of to . Section 7 is devoted to conclusion and discussion.
In Appendix A, we explain the computation of the current algebra in detail. Appendix B provides a prescription to treat non-ultra local terms in computing of the Poisson brackets of the conserved charges.
Let us begin with the setup to fix our notation and convention. The metric of squashed S is first provided in terms of an group element. Then the classical action of the squashed WZNW models is introduced. For later convenience, the equations of motion are explicitly written down.
2.1 Squashed S
The metric of round S can be described as a fibration over S . The squashing is one-parameter deformations of the direction. The metric of squashed S is given by
When , the metric is reduced to that of S with radius and the isometry is . When , the isometry is reduced to .
In order to rewrite the metric (2.1) , let us introduce an group element like
Here the generators satisfy the following relations
and normalized as
Note that is the totally anti-symmetric tensor normalized as . The indices are raised and lowered by and its inverse, respectively.
It is useful to define as
Then the commutation relations in (2.3) are rewritten as
and the normalization of the generators in (2.4) is given by
Then the metric (2.1) is rewritten in terms of the group element as
where we have introduced the left-invariant one-form
Note that can be represented by the angle variables as follows:
With the metric (2.8) , it is easy to see the invariance under . The and transformations are the left- and right- multiplications,
Here and are real parameters.
2.2 The classical action of the squashed WZNW models
First of all, let us introduce two-dimensional non-linear sigma models whose target space is given by squashed S . The classical action is
where the parameter is the coupling constant and the base space is a two-dimensional Minkowski spacetime with the coordinates (time) and (space) and the metric
Note that the region of the parameter is restricted so that the positivity of the kinetic term is ensured.
The next is to introduce the Wess-Zumino term on squashed S ,
where is an integer. Note that the above integral is performed on a three-dimensional base manifold spanned by . The totally anti-symmetric tensor is normalized as
The element is defined on this three-dimensional manifold. It interporates between a constant element at and at :
The action (2.16) is also -invariant.
From the action (2.16) , the equations of motion are obtained,
where the new constant is defined as
and the totally anti-symmetric tensor is normalized as
The components of the left-invariant one-form are defined as
In terms of , the equations of motion are rewritten as
By definition, the left-invariant one-form satisfies the flatness condition:
This condition can also be rewritten in terms of the components as
The expressions in (2.25) play an important role in our later discussion.
3 The left description
In this section, we discuss the classical integrable structure of squashed WZNW models based on the symmetry. We call it left description. This part contains a short review of the previous work .
First of all, we construct an conserved current which satisfies the flatness condition. With the flat and conserved current, we obtain a Lax pair and the corresponding monodromy matrix. Then we compute the classical /-matrices for the Lax pair. Finally, we show that the symmetry is enhanced to the Yangian algebra .
3.1 Lax pairs
The classical action (2.16) has the symmetry and the associated conserved current is given by
The conservation law of this current is equivalent to the equations of motion in (2.17) like
Note that does not satisfy the flatness condition due to the deformation.
One may consider to improve so as to satisfy the flatness condition. This requirement leaves two improved currents ,
with the coefficient represented by
The subscripts denote the degeneracy of the improved currents. The improved currents satisfy the following flatness condition,
When , and the improved currents constructed in  are reproduced.
With the flat currents, two Lax pairs are constructed as
Here are spectral parameters and and are defined as
The following commutation relation
gives rise to the conservation law of the flat current (equivalently, the equations of motion) and the flatness condition.
Then the monodromy matrices are defined as
The symbol P denotes the path ordering. Due to the flatness of the Lax pairs in (3.7) , the monodromy matrices are conserved,
Thus an infinite set of conserved charges can be obtained by expanding the monodromy matrices with respect to around appropriate points. For example, the monodromy matrices can be expanded around as
In the next subsection, we will discuss the algebra generated by .
Before closing this subsection, let us discuss the /-matrices computed from the Lax pairs in (3.5) by following the Maillet formalism . One can read off them from the Poisson brackets between the spatial components of the Lax pairs,
To compute the above Poisson bracket, we have to use the current algebra for ,
The explicit expressions of /-matrices are given by
where a scalar function is defined as
The /-matrices satisfy the extended classical Yang-Baxter equation*** The /-matrices depend on and individually (not only ) and they satisfy the extended classical Yang-Baxter equation. Thus the classification of the /-matrice are subtle.,
It should be noted that, when , the function is reduced to
So far, the monodromy matrices have been introduced and an infinite number of the conserved charges are obtained by expanding them with respect to .
For the first three levels, the explicit expressions of are given by
Note that these charges can be directly constructed from the flat currents recursively by following the BIZZ construction  .
The next task is to show that the conserved charges satisfy the defining relations of Yangian . The Poisson brackets of the first two levels are given by 
The Serre relations are shown as
Here we should comment on the treatment of non-ultra local terms contained in the current algebra of . They develop ambiguities in computing the Poisson brackets of the conserved charges and there might be the possibility that the defining relations of are spoiled. In the present case, the presence of the Wess-Zumino term make the situation worse. It develops non-ultra local terms even in the Poisson brackets of and hence cause ambiguities in computing the usual Lie algebra part. The treatment of the non-ultra local terms is argued in Appendix B in detail.
4 The right description
The classical integrable structure of the squashed WZNW models can also be described based on as another description. This description is called right description. A Lax pair and the associated monodromy matrix are presented. Then an infinite-dimensional extension of is argued. The resulting algebra is a deformation of the standard quantum affine algebra. In the right description, the /-matrices are deformed by an additional term, in comparison to the case without the Wess-Zumino term.
4.1 Lax pair
New constants and are related to and like
Note that and have the periodicities,
In the Lax pair (4.1), a spectral parameter has been introduced. This is seemingly independent of at this stage, but eventually there is a relation between them as we will see later. The Lax pair (4.1) is referred to as the right Lax pair hereafter.
The relations given in (4.2) imply the inequalities for :
With the kinematic restriction , these inequalities are equivalent to
Due to the relations in (4.2) and the reality of and , and must be real or purely imaginary. When , and are real (up to the shift of with ) . On the other hand, when , and are purely imaginary. Thus the allowed region of and can be expressed on the -plane as depicted in Fig. 1.
The relations given in (4.2) can be solved for and , and hence , (and ) are written in terms of and ,
Note that are invariant under the shift of and by .
The equations of motion in (2.17) and the flatness condition of are reproduced from the commutation relation,
4.2 -deformation of
In the squashed WZNW models, the symmetry, which is preserved by round S , is broken to , due to the deformation term. The Noether current for is given by
For later convenience, the expressions have been given in terms of and , as well as in terms of and .
It is known that there exist non-local conserved currents which correspond to the broken components in the case without the Wess-Zumino term . Let us show that this is the case even in the squashed WZNW models.
For this purpose, it is helpful to introduce a non-local function ,
This function satisfies the differential equation,
This relation ensures the conservation law of the non-local currents, as we will see later.
With , the conserved, non-local currents are constructed as
Here are defined as
The non-local currents give rise to the conserved charges
as well as the standard Noether charge of ,