Deformed $\sigma$-models, Ricci flow and Toda field theories

It is shown that the Pohlmeyer map of a $\sigma$-model with a toric two-dimensional target space naturally leads to the `sausage' metric. We then elaborate the trigonometric deformation of the $\mathrm{CP}^{n-1}$-model, proving that its $T$-dual metric is K\"ahler and solves the Ricci flow equation. Finally, we discuss a relation between flag manifold $\sigma$-models and Toda field theories.


Introduction and main results
The present paper is dedicated to two-dimensional σ-models with complex homogeneous target spaces and their deformations. By the results of [1,2,3,4], these models are classically integrable, at least in the sense that their e.o.m. admit a zero-curvature representation. This is a generalization and extension of the results about σ-models with symmetric target spaces, in particular projective spaces CP n´1 and Grassmannians Grpk, nq, that were widely studied in the 80's [5,6,7,8,9,10,11,12,13] (this is only an indicative list of references, as the literature on the subject is rather vast). The complex homogeneous spaces are torus bundles over flag manifolds [14], and flag manifolds provide the basic and representative examples.
The results of [4] (building on earlier work [15,16]) provide a way of constructing the so-called trigonometric and elliptic deformations of these models. The trigonometric deformation, also known as the η-deformation, was first considered by Cherednik [17], extended and elaborated by Fateev [18] at the example of the principal chiral model, and substantially elucidated and generalized in the work of Klimčík [19,20,21]. In their work [22] Delduc, Magro and Vicedo constructed the η-deformation for the general case of symmetric target spaces, which is the setup relevant for the present paper. Further generalizations were proposed and elaborated later on in [23,24,25,26,27,28,29,30,31,32,33,34,35]. We should also mention that a lot of work has been dedicated to the study of the AdS{CF T applications of such deformations, cf. [37,38,39,40,41].
Below we mostly study the case of the trigonometrically-deformed CP n´1 model. In the case of n " 2, and for a certain range of values of the deformation parameter η, the geometry is that of the so-called 'sausage' [42]. In section 2 we provide an alternative derivation of the model. We start with a most general two-dimensional target space with a U p1q isometry, in which case the geometry is described by a single function, which we call gpµq. It turns out that this function may be determined from the requirement of the integrability of the model. The first guess that comes to mind is that one could perform a dimensional reduction and require the integrability of the geodesic flow. For the two-dimensional geometry with a U p1q symmetry this does not, however, impose any restrictions. Instead, we perform the Pohlmeyer reduction of the model [43] (perhaps more properly called the Pohlmeyer map in the case at hand) and require the integrability of its mechanical version. The reduction itself rules out certain classical solutions, such as geodesics, which are 'trivially' integrable anyway.
The result of the analysis is that the integrable geometry turns out to be the 'sausage', and a certain non-compact cousin thereof.
We view our derivation for n " 2 as an empirical way of deducing the integrable geometry. For higher values of n one could presumably follow the same route, but we leave this generalization for the future, and for the moment we utilize the machinery of [22] to construct the η-deformed version of the CP n´1 model. We note that the analysis of this geometry has been undertaken in the recent papers [44,45,46]. In particular, it was noticed in [44] that it is useful to perform T -duality on all of the angles (the projective space, as well as its deformation, are toric manifolds), in order to get rid of the B-field. We will follow the same strategy here and mostly analyze the deformed model in the T -dual 'frame'. Sometimes we refer to the dual geometry as pCP n´1 q _ . We derive, in explicit form, the metric of the dual model, which is the subject of proposition 2. The second result, formulated as proposition 3, is that the dual manifold is Kähler (which is also a statement that N " p2, 2q supersymmetry [46] is preserved after T -duality). We obtain an explicit and compact expression for the Kähler potential, the main ingredient in this formula being the dilogarithm Li 2 pzq.
In our paper we relate the η-deformed σ-models to the Ricci flow. There is vast mathematical and physical literature on the Ricci flow. A nice review of the history of the developments around the Ricci flow equation, in particular in low dimensions, may be found in [47]. Some other classic works on the subject (in 3 and 2 dimensions respectively) are [48,49]. One may also consult [51] as a concise general review of the theory of Ricci flow. Integrable structures of the Ricci flow equation for two-dimensional target spaces, related to the so-called 'continual Toda system', were found in [50,51]. Similar integrable structures have been used to find solutions of the supergravity equations of motion [52]. Ricci flow has also been recently discussed in the context of the swampland distance conjectures [53]. Here we will show that, after a linear change of variables, the dual metric of pCP n´1 q _ satisfies the pure 1 Kähler Ricci flow equation (proposition 4). The flow parameter, i.e. the time τ in this equation, is related to the deformation parameter η in a simple way. The results of [54] then imply that the Ricci flow equation is satisfied in the original frame as well, this time with a dilaton and a non-zero B-field. The important role of the emerging dilaton is in the analysis of the effects of the Ricci flow on the metric: one has to take into account that the coordinates that were left intact by the Ricci flow in the T -dual frame start 'running' (depending on τ ) in the original frame, due to the presence of the dilaton. One has to take this into account in analyzing the asymptotic behavior of the metric under the Ricci flow.
In section 3.5 we point out that the recent work of Costello and Yamazaki [4] paves a way to constructing another integrable deformation of the CP n´1 model, and indeed of other models with complex homogeneous target spaces. This approach uses the language of βγsystems. In fact, in this framework one quickly arrives at the flag manifold σ-models and related models introduced in [1, 2, 3]. As it has been shown in the recent work [55], the Lax connections of a class of models closely related to these ones have ultra-local Poisson brackets.
On the other hand, at least for CP n´1 the deformation based on the βγ-system formulation is different from the η-deformation, unless n " 2. Perhaps this is due to the fact that the βγ-systems feature an anomaly in these cases, and the corresponding models might not be well-defined quantum-mechanically. In view of this it is interesting, whether the ultralocal Poisson structure may be preserved for the η-deformed models when n ą 2 (for n " 2 the answer is affirmative [56,57]).
Finally, in section 4 we turn to the discussion of the flag manifold σ-models of [1,2,3]. We consider an analogue of 'Pohlmeyer map' for these models. Whereas in the CP 1 -case this leads to a sin-Gordon model, in the case of complete flags U pnq U p1q n we obtain a field-theoretic incarnation of a (periodic) Toda chain, interacting with some additional fields, which we call U ij . When U ij " 0, we obtain a pure Toda field theory, and the map is the one that has been discussed in the math literature in the context of special harmonic maps (called primitive maps) to flag manifold target spaces [58,59]. Our approach provides an embedding of these rather special maps into a full-fledged σ-model, with a non-topological B-field. If one drops the U ij fields, the zero-curvature representation for the σ-model reduces to the Lax pair of Flaschka-Manakov type.
Notation. Throughout the paper the worldsheet Σ will be assumed a Riemann surface, with complex coordinates z, z. Derivatives with respect to these coordinates will be denoted B :" B z and B :" B z . We will also make use of worldsheet covariant derivatives, acting on sections of T MˇˇΣ, i.e. on target space vectors restricted to the worldsheet, and these will be denoted ∇ :" ∇ z and ∇ :" ∇ z . Similar notation is adopted for all other covariant derivatives, whose meaning is explained later on, i.e. D, D, D, D .
2 Target space with a U p1q-isometry: the Pohlmeyer map To start with, we consider σ-models with a two-dimensional target space, i.e. maps X : Σ Ñ M 2 , where Σ " Σ 2 is the worldsheet and M 2 is the target-space with a U p1q-isometry. In particular, the metric on M 2 has the form (in toric coordinates) Here g´1 " H µµ may be understood as the second derivative of a 'symplectic potential' Hpµq, µ being the moment map for the U p1q-action. In this section we will not need this detail, but we will return to it in Sec. 3.2 in the discussion of higher-dimensional toric manifolds.
We wish to decide, for which geometries (i.e. for which functions gpµq) the σ-model associated with the above metric is classically integrable. The first thing to note is that the direct mechanical reduction of the model does not give any clues, as the resulting mechanical system is integrable for any gpµq. Indeed, it possesses two integrals of motion: the energy and the angular momentum (corresponding to the shifts of φ). For this reason we will take another route and look at the generalized Pohlmeyer reduction of the model.
Following the original approach of Pohlmeyer [43], we may set using conformal invariance of the σ-model action. An analogue of the Cauchy-Schwarz inequality for the complex vector BX i implies G ij BX i BX j ě 1, therefore The equations of motion of the σ-model have the form ∇∇X j " 0.
We will now derive the equation of motion for the field χ. In the undeformed case, when Proof. First of all, let us assume that the vectors BX i and BX i are linearly independent at generic points. In this case, since the target space is two-dimensional, we may decompose any vector field vˇˇΣ in this basis. For example, To calculate the coefficients, we take scalar products with the respective vectors and use the conditions (2.2), as well as the e.o.m. for X i (the brackets x‚, ‚y indicate the scalar product w.r.t. the metric G ij ): To derive the e.o.m. of χ, we compute the mixed derivative BB of the definition x∇X, ∇Xy " cosh χ: cosh χ Bχ Bχ`sinh χ BBχ " x∇ 2 X, ∇ 2 Xy`x∇X, ∇∇ 2 Xy (2.12) From (2.6) and (2.10) we see that the first terms in both sides are equal. On the other hand, for the last term we use the following identity: where R is the Riemann tensor of the metric (2.1). For a two-dimensional target space with complex coordinate w and line element ds 2 " Ω dw dw we get R wwww " Ω 2 BB log Ω and where R is the scalar curvature R "´4 Ω´1 BB log Ω. Since Ω 2`B wBw`BwBw˘" cosh χ, taking into account (2.2), we find x∇X, ∇∇ 2 Xy "´1 2 sinh 2 χ R , (2.15) therefore the e.o.m. for χ takes the form In fact so far we have not made use of the toric structure (2.1) of the target space. Now, for the toric metric (2.1) the scalar curvature is (2.17) For example, in the case of a sphere g " 1 2 p1´µ 2 q, so that the scalar curvature R " 4 (compatible with the Gauss-Bonnet formula 1 4π ş 1 2 dµ dφ R " 2), and one arrives at the sinh-Gordon equation. In all other cases, however, R " Rpµq is a non-constant function, and therefore the equation for χ involves the target-space field µ. One therefore needs to write out the e.o.m. for µ, which easily follows from the σ-model action with the metric (2.1): BBµ´2 g 1 cosh χ " 0 . if the following conditions are satisfied: f "´R 2 " 2g 2 , f 1 " 2g 1 , which leads to the equation f 2´f " 0. As a result, f " 2a 1 e µ`2 a 2 e´µ. The function gpµq entering the metric (2.1) is where a 1 , a 2 , b are apriori arbitrary constants. Interestingly, for certain choices of these parameters the corresponding metric corresponds to the so-called 'sausage' (an elongated sphere).
For the moment let as assume that sgnpa 1 q " sgnpa 2 q, in which case, by a rescaling and shift of µ, we can bring the function g to the form If we wish M 2 to be of finite volume, we should assume that the function gpµq has two zeros, gp˘µ 0 q " 0. Provided the angle φ has periodicity 2π, the non-singularity at these points requires that g 1 p˘µ 0 q "¯1. This leads to the conditions b`a cosh µ 0 " 0, a sinh µ 0 "´1, gpµq " cosh µ 0´c osh µ sinh µ 0 , µ P r´µ 0 , µ 0 s .
The metric (2.1) with this function gpµq is the so-called 'sausage' geometry [42], which is a deformation of the round sphere S 2 . Here µ 0 is the deformation parameter, and the round sphere metric is recovered in the limit µ 0 Ñ 0, µ " µ 0 r µ, with r µ P r´1, 1s.
We obtained the above results by requiring that the µ, χ-equations follow from a single Lagrangian. One could argue that this requirement is too stringent, since it is known that typically Pohlmeyer's reduction may lead to non-Lagrangian equations [60]. A justification is that our goal is to understand, whether the original (and hence the resulting) model is integrable. One simple check of this consists in performing a mechanical reduction. For the mechanical system, however, the requirement that the two equations follow from a single Lagrangian is the same as the requirement that the system possesses an integral of motion, the energy. Miracuosly the second integral of motion, necessary for a system with two degrees of freedom, appears automatically. Indeed, let us write out the Lagrangian (2.19) for the function f pµq " 2a cosh µ: We have arrived at a system of two independent fields. Their respective energies are conserved, leading to the second integral of motion in the mechanical setting.
It would be interesting to extend this analysis to higher-dimensional homogeneous spaces, whose Pohlmeyer reductions have been studied extensively, cf. [60,61,62] and references therein.
2.1 The round sphere: M 2 " S 2 In the case of a sphere, when g " g 0 :" 1 2 p1´µ 2 q, the equations for χ, µ, φ take the form: BBµ`2µ cosh χ " 0 . Let us now derive the Lax pair of the sinh-Gordon model from the Lax pair of the CP 1 -model.
The latter arises from the condition of zero curvature of the family of connections Here J 12 " u 1˝d u 2 and J 21 " u 2˝d u 1 are components of the Maurer-Cartan current J " g : dg, where the matrix g " pu 1 , u 2 q, and we assume detpgq " 1. Upon a gauge transformation by the group element g we obtain A u "˜p J 11 q z dz`pJ 11 q z dz u pJ 12 q z dz`pJ 12 q z dz u´1 pJ 21 q z dz`pJ 21 q z dz´pJ 11 q z dz´pJ 11 q z dz¸( 2.31) Pohlmeyer's condition (2.2) may be formulated as pJ 12 q z pJ 21 q z " 1 2 . We set pJ 12 q z :" 1 ? 2 e y . Due to our parametrization of CP 1 » SU p2q U p1q , we have the gauge group U p1q acting on J 12 by phase rotations J 12 Ñ e iα J 12 , therefore we can choose a gauge, in which y is real. Then pJ 21 q z " 1 ? 2 e´y, pJ 12 q z "´ppJ 21 q z q˚"´1 ? 2 e´y, pJ 21 q z "´ppJ 12 q z q˚"´1 ? 2 e y . From the e.o.m. D z pJ 12 q z " pB z`2 pJ 11 q z qpJ 12 q z " 0 we find pJ 11 q z "´1 2 B z y. The connection takes the form 2 u e y dz´1 ? 2 e´ydź 1 ?

2.32)
The zero-curvature equation dA u`Au^Au " 0 then results in the sinh-Gordon equation BBy`sinhp2yq " 0. Setting y " χ 2 , we return to (2.26). In section 4.2 we will generalize this construction to the case of complete flag manifolds in arbitrary dimension, arriving at a Toda field theory as the relevant counterpart of the sinh-Gordon model. 3 The deformed CP n´1 -model Before starting this section, we point out that the η-deformation of the CP n´1 -model has been recently considered in the works [44,45,46]. We will comment below on the relation of their results to our discussion.

η-deformation
The trigonometric deformation (often called η-deformation) of the principal chiral model was introduced by Klimčík [19,20,21], and the result was generalized by Delduc-Magro-Vicedo to the case of symmetric spaces in [22]. To describe the latter prescription, first we introduce some notation. Let g P G be the group element, J " g´1dg the standard Maurer-Cartan current, g " h ' m the decomposition of the Lie algebra of the group G, and Π h , Π m the projectors on the corresponding subspaces. The η-deformed model of [22] is formulated as follows: where R P Endpgq is defined as follows: R " i pπ`´π´q, π˘being the projections on the upper/lower-triangular matrices. First of all, we get rid of the denominator by introducing Now, we wish to formulate the model in terms of the homogeneous coordinates U i , rather than in terms of the unitary group element g. The relation between the two is as follows.
Introduce the 'pseudo-metric' Λ " Diagp1,´1, . . . ,´1q and the group element The virtue of G is that it is gauge-invariant w.r.t. the gauge group H " U p1qˆU pn´1q (the stabilizer of the quotient space CP n´1 " U pnq U p1qˆU pn´1q ). Such gauge-invariant parametrizations were first considered in the context of σ-models in [8]. In fact, the map g Ñ G is an explicit form of Cartan's embedding CP n´1 ãÑ U pnq, which can be written out in the homogeneous coordinates, as desired: It follows from the definition (3.4) that , we can write pM z q m " 1 2 pM z´Λ M z Λq. If we now make a field redefinition M z Ñ g : M z g, we can recast the Lagrangian in the form The last line contains a projector, which projects on matrices M satisfying M`GM G " 0.
Such matrices can be described as follows: Lemma 1. A matrix M satisfying M`GM G " 0 can be parametrized as follows: where W˝U " U˝V " 0, i.e. V, W are two vectors orthogonal to U .
Proof. We write out the equation explicitly: and W " UM }U } 2 , we bring M to the desired form. The vectors V and W are orthogonal to U due to U M U " 0. Conversely, a matrix of the form To this end, it is useful to write an explicit expression for the current J : (3.10) Besides, we introduce the constraints W˝U " 0 and U˝V " 0 using the complex Lagrange multipliers B and C: where we have introduced the notation ρ " 1´η R. As elaborated in [46], this is really an example of generalized Kähler geometry. In particular, the quadratic form in the last two lines of (3.11) encodes the generalized Kähler metric [63].
The matrix ρ is closely related to the (trigonometric) classical r-matrix. We recall a few facts about the latter. In the analysis of the Yang-Baxter equation (see App. .0.1) one usually assumes that the r-matrix takes values in g b g, however for the purposes of this paper it is more useful to think of it as taking values in Endpgq, the two definitions being related by raising/lowering an index using the Killing metric on g. The r-matrix then has the form (we assume g » su n ) r s " α s π``β s π´`γ s π 0 , (3.12) where π˘are projections on the upper/lower-triangular matrices, and π 0 is the projection on the diagonal. The rational limit is achieved by setting s " e´v and taking the limit v Ñ 0, in which case r s Ñ 1 v . Now, the relation of r s to ρ is r s " ρ 2iη , if one assumes the following relation between the parameters: (3.14) In fact, this suggests introducing the notation η " tan p tn 2 q, in which case s " e´i tn . We will be using this parametrization later on.
We return to the Lagrangian (3.11). There are several ways to proceed from this starting point. One can integrate out the fields V, W (the quadratic part is a Hermitian form in the variables pV, W q, pV , W q) and get a deformed CP n´1 Lagrangian that depends on the U -fields. The calculation along these lines seems rather formidable and leads to a generalized Kähler manifold [46]. As it has already been observed in [44], a simpler answer can be obtained if one performs T -duality in all the angular directions of the deformed space. The reason is that the B-field of the above model has the form B " ř b i^d φ i , where b i are some one-forms that do not depend on φ j . In this case, according to the Buscher rules [64] (for a review of T -duality see also [65]), T -duality along all the directions φ i eliminates the B-field altogether. We will also follow this path, but first we recall how T -duality works for Kähler manifolds.

T -duality for toric Kähler manifolds
Although the η-deformed CP n´1 manifold is not Kähler in general (unless n " 2), let us first recall that, in the Kähler setup, T -duality may be implemented by performing a Legendre transform on the Kähler potential. This is especially easy to see in the case of a toric variety (see [66,67] for background on toric Kähler manifolds), and when T -duality is performed on all angles simultaneously. Indeed, suppose we have a Kähler manifold of complex dimension n, with complex coordinates W 1 , . . . , W n . Assume that the torus acts by shifting W k Ñ W k`i δφ k , i.e. the imaginary parts of W k are the angles. On a toric manifold, the Kähler potential may be then assumed to be of the form The line element is It is also useful to define the moment map variables µ k " BK Bt k , and the dual potential Hpµ 1 , . . . , µ n q, also known as the symplectic potential. It is related to K by a Legendre transform: Hpµ 1 , . . . , µ n q " n ř j"1 µ j t j´K pt 1 , . . . , t n q. An elementary property of the Legendre transform is that the Hessian of H is inverse to the Hessian of K, i.e. suppressing the matrix indices we may write B 2 H Bµ 2 " p B 2 K Bt 2 q´1. In terms of these new variables the metric takes the form We note in passing that, for n " 1, this gives essentially the formula (2.1) for the metric of the two-dimensional space that we studied in Sec. 2. One of the virtues of the symplectic potential H is that its domain of definition is of geometric significance -it is the moment polytope of the manifold.
If we now perform T -duality on all angles φ k simultaneously, this will not generate any Bfield, but the matrix in the second term of (3.17) will be inverted. In this case the metric takes the form (3.16), but with the replacement K Ø H, t k Ø µ k . In other words, T -duality works by interchanging the Kähler potential with its Legendre-dual, the symplectic potential.
From the point of view of supersymmetric theory, Kähler target spaces correspond to N " p2, 2q worldsheet supersymmetry. The complex coordinates correspond to chiral superfields, and partial T -dualities replace chiral superfields by twisted chiral superfields [68,69]. In general, the presence of both chiral and twisted chiral superfields leads to a non-topological B-field. However, if we T -dualize all variables, all chiral superfields are replaced by twisted chiral superfields, which is effectively the same as having all chiral superfields and leads again to Kähler geometry, described by the dual potential.
This leads us then to the following curious question. We start with the η-deformed CP n´1geometry, which is a toric manifold and has, in general, a non-topological B-field. Next we T -dualize all angles and get rid of the B-field completely. Since we expect N " p2, 2q supersymmetry to be preserved, the resulting manifold should be Kähler, again with n commuting isometries. If its Kähler potential was of the form (3.15), the metric would have the form (3.16)-(3.17), but in this case the inverse T -duality would not generate any B-field and therefore would not lead us to the original geometry. So how is this apparent puzzle resolved?
In section 3.3 we will analyze the T -dual Kähler geometry in detail, but the ultimate answer will be that, due to the fact that this manifold is no longer simply-connected, the moment map variables µ k are not well-defined (only the one-forms dµ k are). As a result, the T -dual metric cannot really be brought to the form (3.16)-(3.17). Before passing over to this derivation, we briefly recall the symplectic geometry of the CP n´1 space. This will be useful for the following sections, since essentially the same variables may be used for the description of the deformed geometry.

The undeformed CP n´1 geometry and its T -dual
The complex projective space is defined as the set of equivalence classes of n-tuples of complex numbers pQ 1 , . . . , Q n q P C n zt0u w.r.t. to the Cˆ-action Q i Ñ λ Q i . One may also describe it using a symplectic (Kähler) quotient of C n w.r.t. a U p1q-action that preserves the standard symplectic form. This leads to the Kähler potential that in homogeneous coordinates takes the form In the previous section we assumed an additive, rather than multiplicative, action of the torus, therefore we set Q j " e W j , so that K " log˜n ř j"1 e r t j¸. We have marked the t-variables with a tilde, since ultimately we will be interested in the T -dual Kähler potential, and we reserve the unmarked t-variables for that case. The moment map variables are then µ j " BK The symplectic potential has the form This expression has a particularly simple interpretation in terms of the Kähler quotient.
Indeed, n ř j"1 µ j log µ j is the symplectic potential of C n , and the constraint n ř j"1 µ j " 1 is the restriction of the moment map, corresponding to the diagonal U p1q-action. The constraints in (3.19) define the moment polytope of CP n´1 , which is an pn´1q-dimensional simplex.
Let us now derive, again in the undeformed case, the Kähler potential of the T -dual metric.
As discussed earlier, it is equal to the symplectic potential H of the original metric. Solving the moment map constraint by setting µ k " t k´tk´1 , where t n´t0 " 1, and using (3.19), we find (3.20) We will be using this formula as a test of our result for the deformed metric in the limit η Ñ 0.

The 'sausage' and its T -dual
Let us consider in detail the case n " 2, i.e. the deformation of the sphere CP 1 » S 2 that we discussed in Sec. 2. We start from the metric written in the 'stereographic' complex co- which is another form of the sausage metric that may be obtained from (2.1), (2.22) by passing to conformal coordinates and setting s " e´µ 0 . To bring the metric to the form that was originally found in [42], we parametrize W " e t 2`i φ , in which case (s´1 " e τ ) Interestingly, apart from the U p1q isometry φ Ñ φ`const., there are two Z 2 -isometries: φ Ñ´φ and t Ñ´t. From the point of view of the complex coordinate W , they may be combined to the following two isometries: W Ñ W and W Ñ 1 W .
So far we have encountered several forms of the sausage metric. It is particularly instructive to compare the moment-map form (2.22) and the conformally flat form (3.22). If one performs a T -duality on the φ-angle of the metric (2.22) and makes a change of variables µ 0 " τ`i π, µ " t, one arrives at the metric (3.22). Therefore T -duality is effectively performed in this case by a simple analytic continuation of the parameter. Of course this is a formal manipulation, since the range of coordinates also needs to be changed. For example, the range of the µcoordinate of the T -dual metric is in fact infinite, and the metric has singularities as µ Ñ˘8.
Let us see, how this analytic continuation works at the level of the Kähler potential, which can be read off from the metric (3.22) by comparing to the general toric Kähler metric (3.16).
It follows that K 2 ptq " sinh pτ q coshptq`cosh pτ q , so that 4 KpW, W q " Li 2 p´s|W | 2 q´Li 2 p´s´1|W | 2 q, s " e´τ . T -duality simply flips the sign, s Ñ´s. After this sign flip, as can be seen from (3.21), the range of the coordinates is |W | 2 P rs, 1 s s. Since T -duality is implemented by a Legendre transform at the level of the potential, we come to the following statement: Lemma 2. The Legendre transform maps K s ptq " Li 2 p´se t q´Li 2 p´s´1e t q to K´sptq.
Proof. The proof is an application of the five-term identity for the dilogarithm. It is easier to work with Rogers' dilogarithm Lpxq defined as Lpxq " Li 2 pxq`1 2 log x log p1´xq for 0 ă x ă 1. A suitable analytic continuation to the whole real axis is described in [70]. We start from the so-called Abel identity [70] Lp 1´a 1´b q`Lp b a q " Lp 1´a 1´b¨b a q`Lp1´aq`Lpbq. Since Lpaq`Lp1´aq " const., we find Lp 1´a 1´b q`Lp b a q » Lp 1´a 1´b¨b a q`Lpbq´Lpaq. Next we calculate 4 The function Li2pzq is the dilogarithm, whose classic definition is Li2pzq " the moment map µ´log s " dKsptq dt " log p 1`s´1e t 1`se t q and substitute a "´s´1e t , b "´se t in the identity to find Lps´1 e µ q`Lps 2 q » Lps e µ q`Lp´se t q´Lp´s´1e t q. Returning to the dilogarithm Li 2 , we may rewrite this, up to inessential terms that are linear in either t or µ: Let us record for the future, that in the metric (3.21) the limit s Ñ 1 (up to a vanishing factor) corresponds to the round metric on S 2 , whereas the limit s Ñ 0 corresponds to the flat metric |dW | 2 |W | 2 on a cylinder RˆS 1 .
The metric (3.21) has another important regime, where it is still well-defined, namely s P C, |s| " 1. We denote s " e iτ . In this case, when rescaled by a factor of i, the metric takes the form ds 2 " sin pτ q coshptq`cos pτ q . If we now perform T -duality and bring the dual metric to the conformal form, we obtain pds 2 q _ " sin pτ q 1 4 dt 2`d φ 2 cosptq´cos pτ q , and the range of the new variable t is t P r´τ, τ s. The dual Kähler potential is, in this regime, Strictly speaking, this expression has a non-zero imaginary part. The imaginary part is, however, an elementary function [71], and moreover it is linear in t, therefore not contributing to the metric. We note that in our generalizations to the case of CP n´1 we will mostly encounter formulas similar to (3.24), i.e. with the dilogarithm evaluated on the unit circle.
Indeed, this is the Kähler potential for the metric, T -dual to the unitary deformation of the CP n´1 model (that is, with η real, see (3.14)).

The T -dual Kähler geometry for all n
We pass to the derivation of the T -dual model for arbitrary n: Proposition 2. Define the matrix N jk :" x j pi R jk q (j, k " 1, . . . , n). The metric, T -dual to the η-deformed CP n´1 geometry, has the form: where Comment. In the limit η Ñ 0 the variables x j become the moment map variables of the original CP n´1 manifold, albeit viewed as coordinates on the T -dual pCP n´1 q _ manifold.
This explains the constraints x j ě 0, ř j x j " 1 as originating from the analogous constraints for pCP n´1 q, see (3.19). Note that these are not the same as the moment map variables of the dual pCP n´1 q _ , which coincide with the r t-variables of the original CP n´1 . In an attempt to avoid this confusion, we call our variables x j , rather than µ j .
Proof. We start from the Lagrangian (3.11), parametrizing the variables as U j " e Y j " x 1{2 j e i φ j . We will also make a change of variables V j Ñ e´Y j V j , W j Ñ e´Y j W j . The Lagrangian then takes the form and Note that the constraints have linearized in the new variables. The constants ρ ij are defined as follows: ρpAq " B, B ij " ρ ij A ij , i.e. ρ ij " 1´i η ǫpj´iq. The Lagrangian is invariant under shifts of the angular variables, φ j Ñ φ j`αj . The e.o.m. for φ j is simply BpV k`W k qB pV k`Wk q " 0. According to the standard lore of T -duality, we 'solve' it by setting where ψ k are the new (real) variables that are dual to the φ-angles. It is now clear, where the main simplification comes from -we have gotten rid of half of the variables pV, W q that we needed to 'integrate over'. Leaving just the V -variables, we obtain the Lagrangian n this derivation we have used the property ρ ij`ρji " 2. Besides, C is the Lagrange multiplier imposing ř k V k " 0. Upon introducing the new variables P i " ř j ρ ji x j and R :" ř j x j , we eliminate V k : ifferentiating w.r.t. C, we find C " B log R. In fact, using the projective freedom it is convenient to set R " 1, and therefore C " C " 0. In this case e can read off the metric of the target space (P k " 1`i η τ k ):

Comment.
For some purposes it is useful to restore the projective invariance (i.e. x Ñ λ x) in the metric. Namely, we wish to drop the gauge ř j x j " 1 and work in a gauge-invariant way. In that case the metric may be written as follows: This has the local rescaling invariance x j Ñ λx j , with λ an arbitrary function.
We come to the description of the Kähler structure of the metric: Proposition 3. The metric defined in (3.25)-(3.27) is Kähler. In the complex coordinates Z j , j " 1, . . . , n´1, the Kähler potential may be written as (η ą 0, t 0 and t n are parameters) where P ptq " iˆLi 2 pe it q`t p2π´tq 4˙, and t j :" Z j`Z j .
Coordinate range:´π ď 2η t 0 ď 2ηt 1 ď¨¨¨ď 2ηt n´1 ď 2ηt n "´2ηt 0 ď π (3.39) Comment. Before passing to the proof, we perform an elementary check by taking the limit η Ñ 0. Note that P 2 ptq " 1 2 ctgp t 2 q, so that in the limit η Ñ 0 the asymptotic behavior is P ptq Ñ t log ptq, up to linear terms. The potential then coincides with the potential (3.20) of the undeformed pCP n´1 q _ model.

Proof. Let us write the metric in the form ds
We will denote M j :" ř k M jk dψ k . Due to (3.27), the θ-forms are subject to the condition n ř j"1 θ j " 0. Now, θ j may be taken as a basis of p0, 1q-forms of an integrable complex structure. To see this, we need to check that Ω˚pMqpθ 1 , . . . , θ n q is a differential ideal in the ring of forms Ω˚pMq. In other words, one needs to show that the p2, 0q part of dθ i vanishes. We compute dθ j " η ř k R jk pdx j^d ψ k`d x k^d ψ j q. Using the fact that dψ j " θ j`θj 2 and dx j " θ j´θj 2iὴ 2 ř s M js pθ s`θs q, after a simple calculation we find that pdθ j q p2,0q "´i η 2 4 ÿ k,s x s pR js R sk`Rjk R sj´Rjk R sk`δjk δ sk q θ j^θk . (3.40) We have added the term δ jk δ sk , since it does not affect the result due to the wedge product θ j^θk , but it ensures that the expression in brackets is identically 1. When j " k " s, this is due to the delta-symbols. In all other cases, one can decide, which index takes the largest value, which makes it easy to check that the RR-terms add up to unity. As a result, pdθ j q p2,0q "´i η 2 4 ř k θ j^θk " 0.
The fundamental Hermitian form, corresponding to the metric, is Clearly, it is closed: dΩ " 0.
Next we come to the actual determination of the complex coordinates. In other words, we need to find the integrating multipliers for the set of one-forms tθ k u k"1...n . We introduce the new coordinates y k :" k ř i"1 x i and χ k :" k ř i"1 ψ i , as well as the new one-forms Θ k :" Note that y n " 1, χ n " 0, Θ n " 0. Besides, since the x k -variables are non-negative, we find that y k`1 ě y k . It turns out that To prove this, we recall that piRq jk "´1 for j ă k and piRq jk " 1 for j ą k. Therefore ř m piRq jm dψ m "´ř měj dψ m`ř mďj dψ m " dχ j´1`d χ j . Besides, we express dψ k " dχ k´d χ k´1 , so that "´k ÿ j"1 dχ j p1´2 y j q`k ÿ j"2 dχ j´1 p1´2 y j´1 q "´dχ k p1´2 y k q .
Equality (3.42) then follows. It is convenient to make a shift χ k Ñ χ k`1 4η log`1`η 2 p1´2 y k q 2˘, in which case we get where tan pη t k q " η p2y k´1 q and we have introduced the complex variable Z k :" 1 2 t k´i χ k . Due to the constraint y k`1 ě y k we get t k`1 ě t k . Since θ j " Θ j´Θj´1 , the metric has the form where we assume tan pη t 0 q "´η and tan pη t n q " η. Therefore in these coordinates the metric is tri-diagonal. Let us first of all analyze the off-diagonal terms. An elementary calculation shows that these terms have the form´η e´i η pt j´tj´1 q sin pη pt j´tj´1 qq dZ j dZ j´1 . Let us denote the part of the Kähler potential, which describes these terms, by KpZ j , Z j , Z j´1 , Z j´1 q. It is not difficult to see that then P satisfies P 2 ptq " 1 2 ctgp t 2 q. Next we come to the diagonal terms. A typical diagonal term has the form η cos pη t j qˆc os pη t j´1 q sin pηpt j´tj´1 qq`c os pη t j`1 q sin pηpt j`1´tj qq˙d Z j dZ j " " η pctgpη pt j´tj´1 qq`ctgpη pt j`1´tj qqq dZ j dZ j .
These terms come from the differentiation of the 'pairwise' potentials r KpZ j , Z j , Z j´1 , Z j´1 qr This is due to the non-invariance of the first term, quadratic in the Z j , Z j , as the imaginary parts of Z j are the angles. Under a shift of an angular variable, the Kähler potential shifts by terms linear in Z j , Z j , which do not contribute to the metric. As a result, the metric is still invariant. A related fact is that the moment map variables are not well-defined, as the pCP n´1 q _ is not simply-connected. Indeed, a standard argument says that, if a vector field ξ preserves the symplectic form Ω, i.e. L ξ Ω " 0, it follows that dpi ξ Ωq " 0. If the manifold is simply-connected, or more generally if ri ξ Ωs " 0 P H 1 pM, Rq, one can define a moment map µ by i ξ Ω " dµ. In the present case ri ξ Ωs ‰ 0 P H 1 pM, Rq, as can be easily seen from the expression (3.41) for the symplectic form. Indeed i B Bψ j Ω " dx j 2x j´η ř k pi R jk q dψ k , so that the would-be moment map variables µ j turn out to be linear in the angles for η ‰ 0 and n ą 2.
In this situation the Kähler metric inevitably has cross-terms between the angular variables ψ and the radial variables x, which produce a non-topological B-field upon T -duality.

Ricci flow
We are now in a position to prove that the η-deformed metric satisfies the Ricci flow equation, if the parameter η is assumed to flow accordingly. To simplify the notation, in the potential (3.38) we make a rescaling t j Ñ t j 2η and drop the overall factor of 1 4η . The dependence on η is now only hidden in the dependence of the non-dynamical parameters t 0 , t n : tan p t 0 2 q "´η, tan p tn 2 q " η. More importantly, we make a shift t k Ñ t k`2 kτ , to arrive at the following statement: Proposition 4. The metric described by the Kähler potential where P ptq " i´Li 2 pe it q`t p2π´tq 4¯, satisfies the Ricci flow equation Proof. For brevity it will be convenient to denote a j :" ctgp t j´tj´1 2`τ q. After the shift, the components of the Hermitian metric are g jk " pa j`aj`1 q :"A j δ jk`p´i´aj`1 q :"B j δ j,k´1`p i´a j q :"C j´1 δ j,k`1 , j, k " 1, . . . , n´1 .
The determinant d k of a tri-diagonal matrix of size kˆk satisfies a well-known recursion rela- In our case one computes directly d 1 "

3.47)
satisfies the recursion relation. Therefore the determinant is det g " d n´1 . Note that t 0 and t n are constant parameters, which leads to the following expression for the Ricci tensor: Since P 2 ptq " 1 2 ctgp t 2 q, it follows that P 1 ptq " log psin t 2 q, so that the Ricci potential is 1 4 times the derivative of the Kähler potential w.r.t. τ . The assertion follows immediately. .

Comment.
Note that the Ricci flow equation is satisfied without the need for introducing any compensating vector field ξ µ , or the dilaton Φ.

The complex hyperbolic space
As a preparation for the discussion of what the Ricci flow really does to the metric, let us consider one more limit of the metric (3.46). We set τ " 0 and consider the following limit: t 0 , t 1 , . . . , t S Ñ´π, t S`1 , . . . , t n´1 , t n Ñ π. Note that since tan tn 2 " η and tan t 0 2 "´η, this limit implies η Ñ 8. We denote π´t n :" ǫ and rescale all variables accordingly: t j "´π`ǫ r t j for j " 0, . . . , S and t j " π`ǫ r t j for j " S`1, . . . , n. Taking into account that t 0 "´t n , we find r t 0 " 1 and r t n "´1. The Kähler potential takes the form p r t j´r t j´1 q log p r t j´r t j´1 q´p r t S´r t S`1 q log p r t S´r t S`1 q‹ ‹ ‚ (since r t S ě 0 and r t S`1 ď 0, the difference r t S´r t S`1 ě 0). Denoting µ j :" 1 2 p r t j´r t j´1 q and dropping the first term as subleading, we get This expression coincides with the symplectic potential of the complex hyperbolic space U p1qˆU pn´1q (compare with an analogous expression (3.19) for the case of CP n ) and can be easily verified using its Kähler potential K 0 " log˜1´n´1 ř j"1 |W j | 2¸. This means that the original η-deformed manifold (before T -duality) coincides, in this limit, with the complex hyperbolic space. In the case of the η-deformed CP 1 this was observed in [22]. The factor of ǫ in front in the formula (3.49) indicates that the manifold shrinks in the limit ǫ Ñ 0 (i.e. η Ñ 8), just like it does in the limit η Ñ 0.
Note that there are n ways to take the limit that we just described. They correspond to the number of ways to split the times t 1 , . . . , t n´1 into two groups, as above, i.e. S " 0, . . . , n´1.
This is easy to understand at the example of the sphere CP 1 , i.e. when n " 2. In this case one should consider the metric (3.21) in the limit s Ñ´1. Then one arrives at two copies of the Poincaré disc, which correspond to the cases |W | ă 1 and |W | ą 1. These are of course connected by the equator |W | " 1, which serves as the common boundary of the two discsit is at infinite distance.

Endpoints of the Ricci flow
Earlier we considered the Ricci flow for the Kähler metric on a manifold, T -dual to the ηdeformed projective space CP n´1 . From proposition 4, after shifting the t-variables t k Ñ t k´p 2k´nqτ , we see that the only effect of the flow is that t n " nτ (and t 0 "´nτ ). Therefore η " tan p tn 2 q " tan p nτ 2 q, and the solution interpolates between two endpoints: t n " 0 (η Ñ 0) and t n " π (η Ñ 8). As the solution approaches t n " 0, i.e. when t n " ǫ is small and positive, since all the variables satisfy´ǫ ď t k ď ǫ, one should rescale these variables t k Ñ ǫ t k and take the limit ǫ Ñ 0. This is the same as taking the η Ñ 0 limit in the original potential (3.38). As was described in the Comment after Proposition 3, the resulting geometry is that of the undeformed pCP n´1 q _ . The other limit, t n Ñ π, corresponds to η Ñ 8. The general properties of T -duality guarantee that the original η-deformed geometry also satisfies the Ricci flow equations [54]. In order to analyze the implications of the Ricci flow for the original geometry, one should recall that, in the process of performing T -duality, a dilaton Φ "´1 2 log detp B 2 K Bt 2 q is generated [64]. It contributes to the Ricci flow equation in the original frame, but its effect is fully accounted by the evolution of coordinates according to the gradient flow equation dt k dτ "´1 2 g km B m Φ (cf. [72]). Although we do not demonstrate it here in full generality, we believe that the solutions t k pτ q behave, in the limit t n " nτ Ñ π, as described in the previous section, namely the set pt 1 , . . . , t n´1 q splits into two groups, the variables from each group approaching the valueś π and π, respectively. As a justification of this claim, we consider the case n " 2, where this effect can already be observed. The T -dual metric of the η-deformed CP 1 is pds 2 q _ " sin pτ q 1 4 dt 2`d φ 2 cosptq´cos pτ q (we encountered it in Sec. 3.2.2). If we perform T -duality on φ, we get the dilaton Φ "´1 2 log´s in τ cosptq´cos pτ q¯. The dilaton-induced gradient flow then takes the form dt dτ "´1 2 g 00 B t Φ " sin t sin τ , and as a result e µ :" sinp τ`t 2 q sinp τ´t 2 q is a constant along the flow (µ is the moment map for the Kähler structure). The metric after T -duality, in the µ-variable, has the form ds 2 " 1 4´s in pτ q cosptq´cos pτ q¯d t 2`´s in pτ q cosptq´cos pτ q¯´1 dφ 2 " sin τ interpolates between the sphere metric at τ " 0 and the Lobachevsky metric at τ " π. For higher n the η-deformed model will interpolate, along the Ricci flow, between CP n´1 with its Fubini-Study metric and the complex hyperbolic space U p1,n´1q U p1qˆU pn´1q with the Bergman metric, described in the previous section.
Another possibility is to consider a sausage-like deformation, which means taking η imaginary, as explained earlier in Sec. 3.2.2. From the point of view of the Kähler potential, it suffices to make a replacement η Ñ´i η. Note however that, after such a replacement, the function K is no longer real, which reflects the fact that the deformation is not unitary, and the 'metric' has an imaginary part (so it should more properly be referred to as a non-degenerate bilinear form on the tangent space). This is the regime studied in [44,45], and within this approach one can analyze the σ-model as a deformation of a conformal field theory. Just like we did earlier in the unitary case, we rescale the variables t k Ñ t k 2η and, accordingly, Z k Ñ Z k 2η , so as to get rid of the parameter η in most places. We then get the Kähler potential in this regime: , and t j :" Z j`Zj .
One still has the restrictions t 0 ď t 1 ď¨¨¨ď t n´1 ď t n , albeit without an upper bound on t n . The Ricci flow looks exactly as before, i.e. provided one replaces t k Ñ 2kτ`t k , the Kähler potential satisfies the Ricci flow equation in τ . Let us now analyze the endpoints of the Ricci flow, starting with the limit τ Ñ 8. In the shifted variables the dilogarithms entering the Kähler potential are of the form Li 2 pe´p t j´tj´1`2 τ q q, and they all vanish in the limit τ Ñ 8, since Li 2 pxq " x for x Ñ 0. Besides, the range restriction on the shifted variables is t j ě t j´1´τ , so the constraints are lifted in the limit τ Ñ 8. Asymptotically, the potential looks as follows (dropping all irrelevant terms): In this formula Z 0 " Z n " 0. This is a potential for a flat 'metric' on an pn´1q-dimensional cylinder pCˆq n´1 , meaning that the σ-model is free in this regime, although non-unitary. The limit τ Ñ 0 of the Ricci flow may be taken exactly as for the unitary case and produces the undeformed space pCP n´1 q _ .

3.5
The CP n´1 -model as a βγ-system and its deformation Apart from the deformation described in the previous sections, there is another integrable deformation of the CP n´1 -model that can be described by considering the latter as a coupling of two βγ-systems [4]. It is convenient to start with the gauged linear sigma-model (GLSM) formulation of the model, which was constructed in [73]. In the case of the CP n´1 -model one starts with three matrices U P HompC, C n q, V P HompC n , Cq, Φ P EndpC n q. In other words, U is a column vector and V is a row vector, whereas Φ is an nˆn-matrix. Inspired by [4], we start from the βγ-system Lagrangian of the following form: L " Tr`V DU˘`Tr`V DU˘:`Tr`r´1 s pΦ z qΦ z˘, (3.52) where D is the "elongated" covariant derivative DU " BU`i U A z`i Φ z U and r s is the classical r-matrix, depending on the deformation parameter s, that we already encountered in the previous sections. One can eliminate the auxiliary field Φ that enters the Lagrangian quadratically. As a result, one arrives at the following: Note that the latter is the usual GLSM Cˆ-covariant derivative. We are talking about Cr ather than U p1q as the gauge group, since so far no normalization condition on U is assumed.
Following [4], we can construct a family of flat connections by the following procedure. Define A " r κ 1 pJ z q dz´r κ 2 pJ z q dz . (3.55) Here κ 1 , κ 2 are complex parameters that will be related below, and J is a certain one-form, which in the undeformed case, when r s " 1, coincides with the Noether current one-form of the model (3.53): J " J z dz`J z dz " U V dz´V : U : dz . The connection A is flat, if two requirements are fulfilled. First, the currents satisfy the equations BJ z " rr s´1 pJ z q, J z s , BJ z " rJ z , r s pJ z qs . These equations follow from the equations of motion of the model (3.53). Besides, the matrix r has to obey the equation r κ 2 prJ z , r s pJ z qsq`r κ 1 prr s´1 pJ z q, J z sq`rr κ 1 pJ z q, r κ 2 pJ z qs " 0 . This can be identified with the classical Yang-Baxter equation (CYBE) written out in Appendix A, if one identifies the parameters as κ 1 " e u , κ 2 " e u`v , e v " s´1. In particular, this implies κ 1 " κ 2 s . In the trigonometric case the r-matrix satisfying this equation is given by (3.12).
The deformation (3.53) is generally different from the η-deformation that we considered earlier. The case where the two deformations coincide is n " 2, i.e. when we are again in the situation of the deformed sphere CP 1 . The reason why the Lagrangian (3.11) in this case leads to the same theory is that its last line vanishes for n " 2. Indeed, consider the term we took into account that the vectors U and V are orthogonal, V˝U " 0. The case n " 2 is special for the following reason: since both V and W are orthogonal to U , they have to be collinear, thereby leading to the vanishing of the combination in brackets in the above formula. Integrating out V and W from the remaining terms will produce, after some simple rewritings, a model equivalent to the one of (3.53). In fact, the authors of [4] used, in their Section 6.3, exactly the formalism of (3.53) to derive the sausage model.
On the other hand, the model (3.53) for n ą 2 is subject to the so-called Pontryagin anomaly [74,75], as was also mentioned in [4]. The anomaly is governed by the fact that p 1 pCP n´1 q ‰ 0 for n ą 2. Therefore it is unclear, whether the deformation of this type, or some modification thereof, may be defined at the quantum level. Questions about the β-function, Ricci flow, etc. need to be postponed until these issues are fully settled.

Flag manifold models and Toda field theories
In the previous sections we discussed in detail the η-deformation of CP n´1 target spaces.
It would be desirable to eventually extend those results to the case of generic flag manifold target spaces. As a first step in this direction, we turn to the analysis of the Pohlmeyer map for complete flag manifolds which, in a sense, is the case polar to the one of symmetric target spaces. A point in this manifold is an n-tuple of ordered orthonormal vectors in C n : pu 1 , . . . , u n q :" g, which we have grouped into a unitary matrix g. It is customary to introduce a Maurer-Cartan current J " g´1dg that satisfies the zero-curvature equation dJ`J^J " 0. Let us also introduce the notation G " U pnq, H " U p1q n , the corresponding Lie algebras being g and h. Now, m " m`' m´pm˘" upper/lower-triangular matricesq (4.3) We can decompose the current accordingly: J " J 0`J``J´. We will take the σ-models of [1,2,3] as the relevant generalizations of symmetric space σ-models. As shown in [3], the e.o.m. of these models may be concisely written as (here D is the H-covariant derivative) DpJ`q z´r pJ`q z , pJ`q z s " 0 . DpJ´q z`r pJ´q z , pJ´q z s " 0 . (4.5) The projection of the zero-curvature condition dJ`J^J " 0 onto m´has the form DpJ´q z´D pJ´q z`r pJ´q z , pJ´q z s`rpJ`q z , pJ´q z s m´`r pJ´q z , pJ`q z s m´" 0 . Taking into account (4.4), we obtain DpJ´q z´r pJ`q z , pJ´q z s m´´r pJ´q z , pJ`q z s m´" 0 . We can now derive an important conservation law. First of all, (4.4) implies that DpJ`q z P rm`, m`s, therefore DpJ z q i,i`1 " 0, i " 1, . . . n´1. Besides, (4.7) implies that DpJ´q z P m´Xrm`, m´s, so that DpJ z q n,1 " 0. This leads to the conservation law Bˆn ś where we have assumed a cyclic labeling of the currents, J n,n`1 " J n,1 . Using conformal invariance and assuming that pJ i,i`1 q z ‰ 0 for all i, we may set This is a generalization to arbitrary n of Pohlmeyer's constraint (2.2). The constraint can be 'solved' by setting Note that the definition of the flag manifold implies a gauge symmetry u k Ñ e iα k u k . In terms of the variables X i , this is a shift symmetry X k Ñ X k´i α k . In particular, a suitable gauge is taken by assuming that these variables are real: X k P R . In what follows this choice of gauge will be implied.
The equations DpJ z q i,i`1 " 0 may now be solved by identifying u i˝B u i "´BX i . In other words, in the new variables the connection A k " i J kk " iu k˝d u k entering the covariant derivative D may be written as (4.10)

Toda parametrization
In this section we consider the simplest (non-symmetric) flag manifold U p3q U p1q 3 . We will assume that 3 ś i"1 pJ z q i,i`1 ‰ 0, so that (4.8) may be achieved by a conformal transformation 5 .
The expression for J z in the X-variables has the form: pJ`q z and pJ´q z are respectively the upper-and lower-triangular parts of the above matrix, and pJ`q z "´ppJ´q z q : , pJ´q z "´ppJ`q z q : . To write down the equations, we introduce the 'twisted currents' pU 21 q z " e X 1´X2 pJ 21 q z , pU 13 q z " e X 3´X1 pJ 13 q z , pU 32 q z " e X 2´X3 pJ 32 q z .
The first equation (4.4) then gives: The remaining equations, which follow from (4.7), are

13)
BpU 32 q z´e 2pX 1´X3 q Ğ pU 13 q z`e 2pX 2´X1 q Ğ pU 21 q z " 0 (4.14) The equations imply the conservation law BppU 13 q z`p U 21 q z`p U 32 q z q " 0, where T zz :" pU 13 q z`p U 21 q z`p U 32 q z is the holomorphic component of the energy-momentum tensor.
These are the generalized Toda equations -a system describing the interaction of the Toda fields with the additional U -fields. In particular, if one sets pU 13 q z " pU 21 q z " pU 32 q z " 0, one obtains the pure Toda equations. Note that since the equations for U ij are of first order, a curious prospect would be in devising a fermionic interpretation for these variables.
In this section we considered in detail the case n " 3, but the results are generalizable to arbitrary n, that is, to flag manifolds of the type (4.1). It would also be interesting to construct an analogous parametrization for flag manifolds of arbitrary type, i.e. allowing for non-abelian denominators.

Toda reduction in the general case
In this section we will derive a Toda field theory from a flag manifold σ-model for general n. In doing so, we will restrict ourselves to the pure Toda field theory, i.e. when all the additional Ufields are set to zero. For general n, this condition may be formulated, using the Z n -grading on the Lie algebra g » su n . The latter means a decomposition g " ' n´1 i"0 g i , such that rg i , g j s Ă g i`j mod n . The subspaces g i are in fact uniquely determined by g 1 , and we define g 1 " SpanpE i,i`1 q i"1,...n , where E i,i`1 are the elementary 'unit'-matrices, and E n,n`1 " E n,1 . It follows that g´1 " SpanpE i`1,i q i"1,...n (again E n`1,n " E 1,n ). The reduction to zero U -fields is then formulated as follows: Therefore rpJ`q z , pJ´q z s P h, rpJ´q z , pJ`q z s P h, and the equations (4.4), (4.7) reduce to D z pJ i,i`1 q z " 0, which are automatically solved by (4.9), (4.10). The remaining non-trivial equations are the diagonal components of dJ`J^J " 0, and these are the Toda chain equations 2 BBX k´r J z , J z s kk " (4.17) " 2 BBX k`e 2pX k´Xk`1 q´e2pX k´1´Xk q " 0 .
In the literature on harmonic maps, cf. [58,59], it has been observed that these Toda equations arise in the context of the so-called n-primitive maps to flag manifolds. These are maps g : Σ Ñ U pnq U p1q n , whose associated current J " g´1dg satisfies the constraints (4.16). The virtue of our approach is that we have a full theory, of which the Toda chain is a subsector that can be described by simple constraints.
To illustrate the last point, let us derive the Lax pair of Flaschka-Manakov type from the Lax pair of the flag manifold σ-model. We start from the flag manifold generalization of Pohlmeyer's family of flat connections (2.29) discussed earlier in the context of the CP 1 -model: A u furnishes a one-parameter family of flat connections, describing Toda field theory. One can also perform a mechanical reduction by postulating B " B " d dt , in which case one is led to the mechanical Toda chain [76]. If one additionally sets u " 1, the zero-curvature equation (which in this case coincides with the flatness condition for J) takes the form discovered by Manakov [77] (in a different form by Flaschka [78]) 9 L " rL, M s, where L " pA 1 q z´p A 1 q z , M " 1 2 ppA 1 q z`p A 1 q z q .

Conclusion and outlook
Let us summarize the main findings of the present paper, outlining some open problems and directions for future research. First, in section 2 we considered a σ-model with a U p1q-invariant target space, constructed its 'Pohlmeyer-reduced' cousin and showed that the requirement of its integrability naturally leads, in a unique way, to the so-called sausage metric, first considered in [42]. It would be interesting to generalize this argument to higherdimensional target spaces, for example to the case of the deformed CP n´1 model.
In section 3 we studied the η-deformed CP n´1 model, starting from 'first principles'. This manifold is toric, and it turned out useful to pass to the T -dual frame, i.e. to dualize all the angles simultaneously. Whereas the original geometry is generalized Kähler [46], we proved that the dual geometry is Kähler and derived its Kähler potential in explicit form. It would be interesting to derive the generalized Kähler potential for any n as well (the cases n " 2 and n " 3 were studied in [46]). At least when the Kähler potential is invariant under the action of the torus, the dual potential is given by a Legendre transform [68]. As explained at the end of section 3.3, in our case the Kähler potential is not invariant, despite the fact that the metric is. On the other hand, the expression in [46] for the generalized Kähler potential at n " 3 is strikingly similar to our expression (3.38), which is reminiscent of the phenomenon described in our lemma 2.
We then showed that the η-deformed metric satisfies the Kähler Ricci flow equation in the T -dual frame. The original geometry then interpolates, along the Ricci flow, between the CP n´1 manifold with its Fubini-Study metric and the complex hyperbolic space U p1,n´1q U p1qˆU pn´1q with the Bergman metric. One can also achieve an 'asymptotically free' regime, if one chooses the deformation parameter to be imaginary.
Finally, in section 4 we turned to the classically integrable σ-models with flag manifold target spaces, introduced by one of the authors [1,2,3]. We considered the class of complete flag manifolds and demonstrated that, if a certain non-degeneracy condition (4.8) holds, the model may be rewritten as a Toda field theory interacting with additional fields (which we call U ij ).
The fact that the Toda chain arises in the context of harmonic maps into flag manifolds (the so-called 'primitive maps') has been known for a while [58,59], however in section 4 we derive this as a reduction (U ij " 0) of a complete non-linear σ-model. The mapping of the flag manifold σ-model to the Toda chain is akin to Pohlmeyer's reduction [43,60,61,62], and it would be interesting to extend this map to the case of generic flag manifolds -a vast class ranging between complete flag manifolds and Grassmannians. Appendix. The classical Yang-Baxter equation In its conventional form, the classical Yang-Baxter equation involves the classical r-matrix rpuq P g b g. The equation itself takes values in g b g b g and has the following form: rr 12 puq, r 13 pu`vqs`rr 12 puq, r 23 pvqs`rr 13 pu`vq, r 23 pvqs " 0 . (.1) Here we write the equation in additive form, i.e. when the spectral parameters u and v take values in C. The notation r 12 puq means r 12 puq " rpuq b 1, and analogously for other pairs of indices. Solutions to the above equation have been extensively investigated in the classical paper of Belavin and Drinfeld [80].
For the purposes of the present paper it is more convenient to think of the r-matrix as a map r : g Ñ g, or equivalently r P Endpgq » g b g˚. To rewrite the equation accordingly, first of all we expand the r-matrix in the basis of generators τ a P g: rpuq " dim g ÿ i, j"1 λ ij puq τ i b τ j .

(.2)
The three terms in the equation can then be written as (we assume that the generators form an orthonormal basis w.r.t. the Killing metric, and rτ a , τ b s " f abc τ c ) rr 12 puq, r 13 pu`vqs " ÿ λ ij puqλ mn pu`vqrτ i , τ m s b τ j b τ n (.3) rr 12 puq, r 23 pvqs " ÿ λ ij puqλ mn pvq f jms τ i b τ s b τ n (.4) rr 13 pu`vq, r 23 pvqs " ÿ λ ij pu`vqλ mn pvq f jns τ i b τ m b τ s (.5) We will now drop the index 12, 13, 23-notation and write r u paq P g for the r-matrix acting on a Lie algebra element a P g. Inserting the Lie algebra elements a, b in the second and third slots of the equation, we obtain rr 12 puq, r 13 pu`vqspa, bq " rr u paq, r u`v pbqs (.6) rr 12 puq, r 23 pvqspa, bq " r u prr v pbq, asq (.7) rr 13 pu`vq, r 23 pvqspa, bq " r u`v prb, r´vpaqsq (.8) To derive the last equality, we have used the assumed 'unitarity' property of the r-matrix: λ ji puq "´λ ij p´uq. As a result, the CYBE takes the form rr u paq, r u`v pbqs`r u prr v pbq, asq`r u`v prb, r´vpaqsq " 0 . (.9)