Poisson-Lie T-duality and integrable systems

Montani, H.

Servicios Personalizados

Revista

Articulo

Indicadores

Citado por SciELO

Links relacionados

Similares en SciELO

Otros
Otros

Permalink

Revista de la Unión Matemática Argentina

versión impresa ISSN 0041-6932versión On-line ISSN 1669-9637

Rev. Unión Mat. Argent. v.49 n.1 Bahía Blanca ene./jun. 2008

Poisson-Lie T-duality and integrable systems

H. Montani

Abstract. We describe a hamiltonian approach to Poisson-Lie T-duality based on the geometry of the underlying phases spaces of the dual sigma and WZW models. Duality is fully characterized by the existence of a hamiltonian action of a Drinfeld double Lie group on the cotangent bundle of its factors and the associated equivariant momentum maps. The duality transformations are explicitly constructed in terms of these actions. It is shown that compatible integrable dynamics arise in a general collective form.

Classical Poisson-Lie T-duality [1, 2, 3, 4] is a kind of canonical transformation relating (1 + 1) -dimensional -models with targets on the factors of a perfect Drinfeld double group [5], [6]. Each one describes the motion of a string on a Poisson-Lie groups, and they become linked by the self dual character of the Drinfeld double. Former studies relies on the lagrangian formulation where the lagrangians of the T-dual models are written in terms of the underlying bialgebra structure of the Lie groups. On the other hand, the hamiltonian approach allows to characterize T-duality transformation when restricted to dualizable subspaces of the sigma models phase-spaces, mapping solutions reciprocally. As (1 + 1) -dimensional field theory describing closed string models, a sigma model has as phase space the cotangent bundle * T LG of a loop group . A hamiltonian description [13] reveals that there exists Poisson maps from the T-dual phase-spaces to the centrally extended loop algebra of the Drinfeld double, and this holds for any hamiltonian dynamics on this loop algebra lifted to the T-dual phase-spaces. There is a third model involved [1, 2, 3, 4] [14]: a WZW-type model with target on the Drinfeld double group , and -duality works by lifting solutions of a -model to the WZW model on and then projecting it onto the dual one. It was also noted that PL T-duality just works on some subspaces satisfying some dualizable conditions expressed as monodromy constraints.

These notes are aimed to review the hamiltonian description of classical PL T-duality based on the symplectic geometry of the involved phase spaces as introduced in [11],[12], remarking the connection with integrable systems. There, PL T-duality is encoded in a diagram as this one

* -------------- (L𝔡Γ ; {,}KK ) μ Φˆ ˜μ | (T *LG; ω ) --------------(ΩD; ω ) (T *LG *;ω˜ ) o ΩD o (1)

where the left and right vertices are the -models phase spaces, equipped with the canonical Poisson (symplectic) structures, L 𝔡*Γ is the dual of the centrally extended Lie algebra of with the Kirillov-Kostant Poisson structure, and is the symplectic manifold of based loops. The arrows labeled by ˆ Φ , and are provided by momentum maps associated to hamiltonian actions of the centrally extended loop group LD ∧ on the W ZW and models phase spaces, respectively. These actions split the tangent bundles of the pre-images under and of the pure central extension orbit, and the dualizable subspaces are identified as the orbits of which turn to be the symplectic foliation.

In the present work, we describe -duality scheme on a generic Drinfeld double Lie group H = N × N * in a rather formal fashion, showing that the action ˆdN× 𝔫* : HC × (N × 𝔫*) -→ (N × 𝔫*) (4), of the central extension of on the cotangent bundles T *N and T *N * , besides the reduction procedure, allows to characterize all its essential features making clear the connection with the master W ZW -type model.

This notes are organized as follows: in Section I, we review the main features of the symplectic geometry of the W ZW model; in Section II, we describe the phase spaces of the sigma model with dual targets and introduced a symmetry relevant for PL T-duality; in Section III, the contents of the diagram (1) are developed, presenting the geometric description of the PLT-duality. The dynamic is addressed in Section IV, describing hamiltonian compatible with the above scheme and linking with integrable systems.

1. WZW like models on

W ZW models are infinite dimensional systems whose phase space is the cotangent bundle of a loop group, endowed with the symplectic form obtained by adding a 2-cocycle to the canonical one [17],[15]. We review in this section the main features of its hamiltonian structure working on a generic Lie group.

Let be a Lie group and consider the phase space T*H ~= H × 𝔥* , trivialized by left translations, with the symplectic form ωΓ = ωo + Γ R where ω o is the canonical symplectic form and

( ) Γ R (l) = c dll- 1⊗,dll- 1

is just invariant under right translation H×𝔥* - 1 * ϱm (l,λ) = (lm ,Adm -1λ) , m ∈ H . It has associated the non -equivariant momentum map J R : H × 𝔥* - → 𝔥* .

Introducing the central extension by the Ad * -cocycle C : H -→ 𝔥* , satisfying C (lk) = AdH *C (k ) + C (l) l- 1 , then ˆc ≡ - dC | : 𝔥 - → 𝔥* e produces the -cocycle c : 𝔥 ⊗ 𝔥 - → ℝ , c(X, Y ) ≡ ⟨ˆc(X ),Y ⟩ . Let be the central extension of the Lie algebra by the -cocycle and * 𝔥c its dual. The coadjoint actions of on 𝔥*c is

H * * A^d l-1 (ξ,b) = (Ad l-1ξ + bC (l) ,b).

In this way, we define the extended momentum map ˆJR : H × 𝔥* -→ 𝔥* c c ,

JˆRc (l,η) = (η - Ad *lC (l),1)

which is now H ^Ad -equivariant, ( * ) H * ˆJRc ϱHm ×𝔥 (l,ξ) - ^Adm -1 ˆJRc (l,ξ) = (0,0 ) .

Applying the Marsden-Weinstein reduction procedure [19] to the regular value (0,1 ) ∈ 𝔥* c of Im ˆJR c . Hence, the level set

[ ]- 1 JˆR (0,1) = {(l,Ad*C (l))/ l ∈ H } ⊂ H × 𝔥* c l

turns into a presymplectic submanifold when equipped with the -form obtained by restricting the symplectic form ω Γ

⊗2 ⊗2 ω˜(l) = ωΓ |[ˆJRc ]-1(0,1) = c ∘ (Ll-1)* ∘ Π H

and its null distribution is spanned by the infinitesimal generators of the action of the subgroup H (0,1) , the stabilizer of (0,1) ∈ 𝔥*c , that coincides with kerC . Therefore, the reduced symplectic space is

[ ]-1 JˆR (0,1 ) M (0,1)= --c----------~= --H--- c H(0,1) H (0,1)

(2)

with symplectic form defined by

π* ω = ˜ω H∕H(0,1) R

in the fiber bundle

πH∕H H -→(0,1)H ∕H . (0,1)

is still invariant under the residual left action H × H ∕H (0,1) - → H∕H (0,1) , (h,l ⋅ H ) - → hl ⋅ H (0,1) (0,1) . The associated equivariant momentum map ˆΦc : H∕H (0,1) - → 𝔥*c is

ˆ ( ) Φc l ⋅ H (0,1) = (C (l),1)

ˆΦ c is a local symplectic diffeomorphism with the coadjoint orbit * Oc (0,1) ⊂ 𝔥c equipped with the Kirillov-Kostant symplectic structure KK ω c . so we get the commutative diagram

(0,1)------------------ M c| H ∕H(0,1) | | JˆR | c | | -------------- ˆΦc Oc (0, 1)

(3)

When is loop group, H ∕H (0,1) is the group of based loops, and it can be regarded as the reduced space of a WZNW model as explained in [15].

2. Double Lie groups and sigma models phase spaces

From now on, is the Drinfeld double of the Poisson Lie group [5, 6], * H = N ⋊⋉ N , with tangent Lie bialgebra * 𝔥 = 𝔫 ⊕ 𝔫 . This bialgebra is naturally equipped with the non degenerate symmetric -invariant bilinear form provided by the contraction between and , and which turns them into isotropic subspaces. This bilinear form allows for the identification ψ : 𝔫 -→ 𝔫* .

We shall construct a couple of dual phase spaces on the factors and * N . T-duality take place on centrally extended coadjoint orbit and, as a matter of fact, we consider the trivial orbit Oc (0, 1) as it was considered in ref. [11] in relation to Poisson-Lie T-duality for loop groups and trivial monodromies.

Our approach to PL T-duality is based on the existence of some hamiltonian -actions on phase spaces * T N and * * T N so that the arrows in the diagram (1) are provided by the corresponding equivariant momentum maps. The key ingredients here are the reciprocal actions between the factors and N * called dressing actions [18],[6]. Writing every element l ∈ H as l = g˜h , with g ∈ N and ˜h ∈ N * , the product ˜ hg in can be expressed as ˜ ˜h˜g hg = g h , with ˜h g ∈ N and ˜hg ∈ N * . The dressing action of N * on is then defined as

* ( ) ( ) ˜h Dr : N × N - → N ∕ Dr h˜, g = ΠN ˜hg = g

where ΠN : H - → N is the projector. For ξ ∈ 𝔫* , the infinitesimal generator of this action at g ∈ N is

d ( )|| ξ -→ dr (ξ)g = - --Dr etξ,g || dt t=0

such that, for * η ∈ 𝔫 , we have [ ] dr (ξ)g ,dr (η)g = dr([ξ,η]𝔫*)g . It satisfies the relation AdHg-1ξ = - g-1dr (ξ)g + Ad *gξ , where AdHg-1 ∈ Aut (𝔥) is the adjoint action of on its Lie algebra. Then, using the Π : 𝔥 -→ 𝔫 𝔫 , we can write H dr (ξ)g = - g Π 𝔫Ad g-1ξ .

Let us now consider the action of on itself by left translations La ˜bg ˜h = a˜bg˜h . Its projection on the one of the factors, for instance, yields also an action of on that factor

( ) ( ) ˜b ΠN La˜bg˜h = ΠN a˜bg˜h = ag

The projection on the factor N * is obtained by the reversed factorization of , namely N * × N , such that

( ) ( ) ΠN * L ˜ba˜hg = ΠN * ˜ba˜hg = ˜b˜ha

Both these actions, lifted to the corresponding cotangent bundles T*N and T*N * , and then centrally extended, will furnish the arrows we are looking for.

2.0.1. The (T*N, ω ) o phase space and dualizable subspaces. We now consider a phase space * ~ * T N = N × 𝔫 , trivialized by left translations and equipped with the canonical symplectic form . We shall realize the symmetry described above, as it was introduced in [11].

For duality purposes, we consider the adjoint -cocycle CN * : N * - → 𝔫* as the restriction to the factor of an -coadjoint cocycle on H * C : H - → 𝔥 . The restrictions properties

CH : N - → 𝔫 CH : N * - → 𝔫*

make compatible with the factor decomposition.

Thus, we promote this symmetry to a centrally extended one on T *N by means of an -valued cocycle CN * : N * - → 𝔫* ,

* ˆdN× 𝔫 :( HC × (N )× 𝔫*() -→ (N × 𝔫*) ( )) ˆN× 𝔫* ˜ ˜b H N* ˜g d ab,(g,λ ) = ag ,Ad ˜bgλ + C b

(4)

For duality purposes, we consider the adjoint -cocycle CN * : N * - → 𝔫* as the restriction to the factor of an -coadjoint cocycle on H * C : H - → 𝔥 . The restrictions properties

(5)

make compatible with the factor decomposition. One of the key ingredients for describing the resulting duality is that the above -action is hamiltonian.

Proposition: Let T*N be identified with N × 𝔫 * by left translations and endowed with the canonical symplectic structure. The action dˆN ×𝔫* , defined in eq.(4), is hamiltonian and the momentum map * * μ : (N × 𝔫 ,ωo) → (𝔥c,{,}c)

μ (g,λ) = ^AdH *-1 (ψ (λ),1) = (ψ (AdH λ + CN * (g)) ,1) . g g

is AdH -equivariant.

-duality works on some subspaces of the phase space T *N . As shown in [11], these dualizable subspaces can be identified as some symplectic submanifolds in the pre-images of the coadjoint orbit in * Oc (0,1) ⊂ 𝔥c by , namely -1 μ0 (Oc (0,1)) characterized as

{ ( ( )) } -1 ˜ * ˜ * μ (Oc (0,1)) = g,C b ∈ N × 𝔫 ∕g ∈ N, b ∈ N

that coincides with the -orbit through (e,0) in * N × 𝔫

{ ( ) } O * (e,0) = ˆdN×𝔫* g˜b,(e,0) ∈ N × 𝔫*∕g ∈ N, ˜b ∈ N * N ×𝔫

since ( ) ( ( ) ) ˆN×𝔫* ˜ ˜ d gb,(e,0) = g,C b . Tangent vectors to -1 μ (Oc (0,1)) at the point (g,ξ) are

| ˆN× 𝔫* || X μ-1(Oc(0,1))|(g,ξ) = d* (X )|(g,ξ)

for X ∈ 𝔥 , and then we have the following statement.

Proposition: μ-1 (O (0,1)) c is a presymplectic submanifold with the closed -form given by the restriction of the canonical form ,

⟨ ˆN ×𝔫* ˆN× 𝔫* ⟩ ⟨ ( ( ˜) ) ^ 𝔥 ⟩ ωo,d* (X ) ⊗ d* (Y) (g,ξ) = C a b ,1 ,ad XY 𝔥

(6)

for X, Y ∈ 𝔥, and *( ) (g,ξ) = ˆdN* ×𝔫 a˜b,(e,0 ) ∈ μ-1(Oc (0,1)) . Its null distribution is spanned by the infinitesimal generators of the right action by the stabilizer H (0,1) := kerC of the point (0,1)

r : H × μ^-1	→μ^-1
r	= _^{N×𝔫^}

and the null vectors at the point ( ) ˆdN×𝔫* a˜b,(e,0) ∈ μ -01(O (0,1)) are

for all Z ∘ ∈ Lie (kerC ) ⊂ 𝔥 .

We may think of -1 μ (Oc (0,1)) as a principal bundle on where the fibers are the orbits of H (0,1) by the action . Assuming that H (0,1) = kerC is a normal subgroup, as it happens in the case of H = LD , the loop group of the double Lie group [11], a flat connection is defined by the action of the group H ∕H (0,1) and each flat section is a symplectic submanifold. These are the dualizable subspaces.

2.0.2. The dual factor * * (T N , ˜ωo) factor phase space. Let us consider with the opposite factorization, denoted as H → H ⊤ = N * ⊳⊲ N , so that every element is now written as ˜hg with ˜h ∈ N * and g ∈ N . This factorization relates with the former one by (( )a-1) -1 ˜ba = ˜b-1 and ( ˜-1)-1 a˜b = (a-1)b . The dressing action ^Dr : N × N * -→ N * is ( ) ^Dr g, ˜h = ˜hg and, by composing it with the right action of * N on itself, we get the action bN * : N × N * -→ N * defined as ( ) bN ˜ba,˜h = ˜b˜ha with a ∈ N and * ˜h,˜b ∈ N .

As the dual partner for the phase spaces on N × 𝔫* we consider the symplectic manifold (N * × 𝔫, ˜ωo) where ω˜o is the canonical -form in body coordinates.

Proposition: Let us consider the symplectic manifold (N * × 𝔫,ω˜o ) . The map ˆb : H × (N * × 𝔫) -→ (N × 𝔫*) c defined as

ˆ (˜ ( ˜ )) (˜˜ H ) b ba, h,X = bha,Ad a˜hX + C (a˜h)

(7)

is a hamiltonian -action and μ˜0 is the associated ^ Hc* Ad -equivariant the momentum map

( ˜ ) ^ Hc* ( ( H ( ˜)) ) μ˜ h,Z = Ad ˜h-1 (ψ (Z) ,1) = ψ Ad ˜h Z + C h ,1

In terms of the orbit map ˆ * b(e,0) : H -→ N × 𝔫 associated to the action ,

( ) ( ) ˆb(e,0) a˜b = ˆb ˜ba,(e,0) = (˜b,C (a ))

providing the identification

-1 ˆ ˜μ (Oc (0,1)) = Im b(e,0)

Analogously, we may think of - 1 ˜μ (Oc (0,1)) as a fiber bundle on and define a flat connection by the action of H∕H (0,1) thus obtaining the corresponding dualizable subspaces as flat (global) sections.

3. The scheme for duality

Let us name the dualizable subspaces in * N × 𝔫 as S (go) , (go,0) in μ -1(Oc (0,1)) the point the orbit pass through, then S (go) becomes a symplectic submanifold when equipped with the restriction of the presymplectic form (6). On the other side, each dualizable subspace coincides with an orbits of H ∕H (0,1) . Regarding as the reduced space of the WZNW system ( ) M (c0,1),ωR (2) , we may easily see that the orbit map H ∕H (0,1) -→ S(go) is a symplectic morphism, giving rises to a factorization of through S (go) ⊂ T *N ,

Oc (0,1) | | μ | S(go)---------ˆΦ-| | | H ∕H (0,1)

(8)

with arrows being symplectic maps.

An analogous analysis can be performed for the mirror image on * * T N obtaining the factorization of through * * ˜S(˜ho) ⊂ T N ,

O (0, 1)--μ˜---- c | | | Φˆ | S˜(˜ho) | | H ∕H (0,1)--------

(9)

Joining together diagrams (8) and its mirror image, we obtain a commutative four vertex diagram relating dualizable subspaces in * T N and * * T N , through symplectic maps. Because and are equivariant momentum maps, the intersection region extends to the whole coadjoint orbit of the point ( ) μ (g,η) = ˜μ ˜h,Z in 𝔥* c , establishing a connection between -orbits in * T H and * * T N . It can be seen that this common region coincides with the pure central extension orbit Oc (0, 1) = Im μ ∩ Im ˜μ and it is a isomorphic image of the WZW reduced space, so that we may refine diagram (1) to get a connection between the phase spaces of sigma models on dual targets and WZW model on the associated Drinfeld double group

˜μ (Oc (0,1);ωKK--)------------ | | | | (μ-1(O (0,1)); ω-|--)μ--Φˆ-1-- (μ˜-1(O (0,1)); ˜ω | ) c oμ-1 | c o ˜μ-1 | | | (H ∕H (0,1);ωR-)------------

Hence, we define Poisson-Lie T-duality by restricting this diagram to the symplectic leaves in -1 μ (Oc (0,1)) and -1 ˜μ (Oc (0,1)) . In terms of the dualizable subspaces -1 S (go) ⊂ μ (Oc (0,1)) and ( ) S˜ ˜ho ⊂ ˜μ- 1(Oc (0,1)) , Poisson-Lie T-duality is the symplectic map resulting from the composition of arrows

μ ˜μ S(ho) -------------------Oc (0,1 ) - --- --- ---- --- - S˜(˜ho) | | ˆ -1| Φ | | H ∕H (0,1)-------------------------- (11)

defines the T-duality transformation ( ) Ψ : S (g ) - → ˜S ˜h ˜ho o o

( ( ) ( )) Ψ ˜ho (g,λ) = ˜b ˜ho ,C a˜ho a

where [ ] a˜b ∈ H ∕H (0,1) is such that ([ ] ) (g,λ) = dˆ a˜b ,(go,0) . This are nothing but the duality transformations given in [1, 2, 3, 4] and other references (see references in [11]). Obviously, as a composition of symplectic maps, Ψ˜h o is a canonical transformation and a hamiltonian vector field tangent to S (g ) o is mapped onto a hamiltonian vector field tangent to ( ) S˜ ˜ho .

4. T- dual dynamics and integrability

The diagram (11) provides the geometric links underlying Poisson Lie -duality, and now we work out the compatible dynamics. To this end , we observe that H∕H (0,1) ~= Φ -1(Oc (0,1)) and the symplectic leaves in μ -1(O (0,1)) c , ˜μ- 1(O (0,1)) c are replicas of the coadjoint orbit . The equivariance entails a local isomorphism of tangent bundles and since is in the vertex linking the three models, it is clear that T-duality transformation (10) exist at the level of hamiltonian vector fields. So, singling out a hamiltonian function on Oc (0,1) , one gets the associated vector field in associated T-dual partners on symplectic leaves in -1 μ (Oc (0,1)) and -1 μ˜ (Oc (0,1)) and, whenever they exist, a couple T-dual related solution curves belonging to some kind of dual sigma models.

In terms of hamiltonian functions, once a suitable function h ∈ C ∞ (𝔡*c) is fixed, we have the corresponding hamiltonian function on μ -1(O ) and ˜μ-1 (O ) by pulling back it through the momentum maps and , to get h ∘ μ , h ∘ ˜μ and h ∘ Φ. These systems on * T N , * * T N , * * T H are said to be in collective hamiltonian form [20], and the scheme of integrability is complemented by applying the Adler-Kostant-Symes theory, which provides a set of functions in C ∞ (𝔡*c) in involution.

The geometric meaning of collective dynamics can be understood by considering a generic hamiltonian system (M, ω,H ) , with an -equivariant momentum map * J : M → 𝔤 associated to the symplectic action φ : G × M -→ M of a Lie group . Then, a collective hamiltonian is a composition

H = h ∘ J

for some function h : 𝔤* → ℝ .

In terms of the linear map L : 𝔤* → 𝔤 h , namely the Legendre transformation of defined as ⟨ξ,Lh(η)⟩𝔤 = ⟨ dh|η ,ξ⟩ , for any * ξ ∈ 𝔤 , we have the relation (φm )*[Lh ∘ J ](m ) = [Lh (J (m ))]M |m , for m ∈ M and where φm : G - → M is the orbit map through m ∈ M .

Proposition:: The hamiltonian vector field associated to is

and its image by is tangent to the coadjoint orbit through

That means, the hamiltonian vector fields is mapped into a coadjoint orbits in * 𝔤 and, if m (t) denotes the trajectory of the hamiltonian system passing by m (0) = m , ˙m (t) = VH|m(t) , the images γ (t) = J (m (t)) lies completely on the coadjoint orbit through J (m ) and the equation of motion there is

˙γ(t) = - ad *L (γ(t))γ(t) h

that can be regarded as a hamiltonian system on the coadjoint orbits on , with hamiltonian function H 𝔤* = h .

Proposition:

Let

a curve in

, and

. Define the curve g (t)

such that

(11)

Then, this curve is a solution of the differential equation on

ġ(t)g^-1(t)	= _h	(12)
g(0)	= e

Hence, m(t) = φ (g(t),m ) is the solution to the original hamiltonian system. Moreover, if is supplied with an invariant non degenerate bilinear form (,) : 𝔤 × 𝔤 -→ 𝔤 thus providing an isomorphism from * 𝔤 → 𝔤 , and denoting ˜γ (t) ⊂ 𝔤 the image of * γ(t) ⊂ 𝔤 through the bilinear form, the equation of motion turns into the Lax form

(13)

showing this systems are integrable.

Coming back to our systems on * T N , * * T N and * * T H , with dynamics given in collective hamiltonian form, ensures that the corresponding hamiltonian vector fields are tangent to the orbits. Further, a hamiltonian vector field at A^dH -*1 (0,1) l ∈ Oc (0,1) is alike H* H* ^ad Lh ^Ad l-1 (0,1) , and the solution curves are determined from the solution of the differential equation on

(14)

Thus, the solutions for the collective hamiltonian vector fields on * T N , (0,1) M c and *N* T are

( |{ ˆd(l(t),(go,ηo)) [l(t)lo] | ( ( )) ( ˆb l(t), ˜ho,Zo

respectively, with l(t) given by (14) and for (go,ηo) ∈ μ -1(γ(0)) , [l ] ∈ ˆΦ -1(γ(0)) 0 , ( ) ˜h ,Z ∈ ˜μ -1(γ(0)) 0 0 .

Also note that, in order to have a non trivial duality, restriction to the common sector in 𝔥*c where all the momentum maps intersect is required. Hence, in this case we consider the coadjoint orbit Oc (0,1) , focus our attention on the pre images μ- 1(O (0,1)) c and ˜μ- 1(O (0,1)) c . We shall refer to these pre-images as dualizable or admissible subspaces.

Let us work out an example of hamiltonian function. For the symplectic manifold (H × 𝔥*,ωc) and their reduced space (0,1) M c , we consider the quadratic Hamilton function

1 1 Hc (l,η) = --(Ad *l-1η,𝕃 *3Ad *l-1η)𝔥*+(Ad *l- 1η, 𝕃*2C (l))𝔥*- --(C (l),𝕃*2C (l))𝔥* 2 2

that when restricted to M (0,1) c , η = Ad*C (l) l , takes the collective form

1- * * Hc (l,η)|M(c0,1)= 2 (C (l),(𝕃 2 + 𝕃 3)C (l))𝔥*

in terms of the momentum map ˆ Φc (l ⋅ Hc ) = (C (l),1) . The Hamilton equations of motion reduces to

l-1˙l = ¯ψ ((𝕃l*+ 𝕃l*)η) * 3 2 (¯ (( l* l*) )) η˙= ad¯ψ((𝕃l*3 +𝕃l2*)η)η - ˆc ψ 𝕃3 + 𝕃 2 η

Analogously, let us now consider the hamiltonian space and (N × 𝔫*,ωo,,HC ,μ,h ∘ μ) . For quadratic as above, the hamiltonian for the sigma model system must be

H σ = 1(μ,E μ) 2 𝔥

where we named by the symmetric part of (𝕃 + 𝕃 ) 2 3 . The Hamilton equation of motion yield

(( ) ( )) g -1˙g = Π 𝔫ψ AdHg ∘ E ∘ AdHg-1 AdHg λ + ψ¯(C (g))

For more details on the Hamilton and Lagrange functions for these models, see [11].

Acknowledgments. H.M. thanks to CONICET for financial support.

References

[1] C. Klimcík, P. Severa, Poisson-Lie T-duality and loop groups of Drinfeld doubles, Phys. Lett. B 351, 455-462 (1995), arXiv:hep-th/9512040. [ Links ]

[2] C. Klimcík, P. Severa, Dual non-Abelian duality and the Drinfeld double, Phys. Lett. B 372, 65-71 (1996), arXiv:hep-th/9502122. [ Links ]

[3] C. Klimcík, P. Severa, Poisson-Lie T-duality [ Links ]

[4] Klimcík, C. Poisson-Lie T-duality. S-duality and mirror symmetry (Trieste, 1995). Nuclear Phys. B Proc. Suppl. 46 (1996), 116-121. arXiv:hep-th/9509095. [ Links ]

[5] V. G. Drinfeld, Soviet Math. Dokl. 27, 68 (1983). [ Links ]

[6] J.-H. Lu, A. Weinstein, J. Diff. Geom. 31, 501-526 (1990). [ Links ]

[7] O. Alvarez, C.-H. Liu, Target-space duality between simple compact Lie gruops an Lie Algebras under the hamiltonian formalism: I. Remnants of duality at the classical level, Comm. Math. Phys. 179, 185-214 (1996), arXiv:hep-th/9503226. [ Links ]

[8] O. Alvarez, Target space duality I: general theory, Nucl. Phys. B 584 (2003) 659-681, arXiv:hep-th/0003177. [ Links ]

[9] O. Alvarez, Target space duality II: applications, Nucl. Phys. B 584, 682-704 (2003), arXiv:hep-th/0003178. [ Links ]

[10] A. Yu. Alekseev, A. Z. Malkin, Symplectic structures associated to Lie-Poisson groups, Comm. Math. Phys. 162, 147-74 (1994), arXiv:hep-th/9303038. [ Links ]

[11] A. Cabrera, H. Montani, Hamiltonian loop group actions and T-Duality for group manifolds, J. Geom. Phys. 56, 1116-1143 (2006). [ Links ]

[12] A. Cabrera, H. Montani, M. Zuccalli, Poisson-Lie T-Duality and non trivial monodromies, arXiv:0712.2259. [ Links ]

[13] A. Stern, Hamiltonian approach to Poisson Lie T-duality, Phys. Lett. B 450, 141-148 (1999), arXiv:hep-th/9811256. [ Links ]

[14] A. Yu. Alekseev, C. Klimcik, A.A. Tseytlin, Quantum Poisson-Lie T-duality and WZNW model, Nucl. Phys. B 458, 430-444 (1996), arXiv:hep-th/9509123. [ Links ]

[15] J. Harnad, Constrained Hamiltonian systems on Lie groups, moment map reductions and central extensions, Can. J. Phys. 72, 375-388 (1994). [ Links ]

[16] M. Ahbraham, J. Marsden, Foundations of Mechanics, Massachusetts: Benjamin/Cummings, Reading, 2nd. ed., (1978). [ Links ]

[17] L. D. Faddeev, L. A. Takhtajan, Hamiltonian Method in the Theory of Solitons, Part II, Chap. I, sect. 5, Heidelberg: Springer-Verlag, (1987). [ Links ]

[18] M.A. Semenov-Tian-Shansky, Dressing transformations and Poisson group actions, Publ. RIMS, Kyoto Univ. 21 (1985), 1237-1260. [ Links ]

[19] J. E. Marsden, A. Weinstein, Reduction of symplectic manifolds with symmetry, Rep. Math. Phys. 5, 121-131 (1974). [ Links ]

[20] V. Guillemin, S. Sternberg, Symplectic techniques in physics, Cambridge, Cambridge Univ. Press, 1984. [ Links ]

H. Montani
Centro Atómico Bariloche,
Comisión Nacional de Energía Atómica,
and
Instituto Balseiro,
Universidad Nacional de Cuyo.
8400 - S. C. de Bariloche, Río Negro, Argentina.
montani@cab.cnea.edu.ar

Recibido: 10 de abril de 2008
Aceptado: 22 de abril de 2008