Confinement, solitons and the equivalence between the sine-Gordon and massive Thirring models

Confinement, solitons and the equivalence between the sine-Gordon and massive Thirring models

Nuclear Physics B 571 wPMx Ž2000. 607–631 www.elsevier.nlrlocaternpe Confinement, solitons and the equivalence between the sine-Gordon and massive Th...

174KB Sizes 1 Downloads 36 Views

Nuclear Physics B 571 wPMx Ž2000. 607–631 www.elsevier.nlrlocaternpe

Confinement, solitons and the equivalence between the sine-Gordon and massive Thirring models H.S. Blas Achic a , L.A. Ferreira a a

Instituto de Fısica Teorica – IFTr UNESP, Rua Pamplona 145, 01405-900 Sao ´ ´ ˜ Paulo-SP, Brazil Received 22 September 1999; accepted 12 January 2000

Abstract We consider a two-dimensional integrable and conformally invariant field theory possessing two Dirac spinors and three scalar fields. The interaction couples bilinear terms in the spinors to exponentials of the scalars. Its integrability properties are based on the sl Ž2. affine Kac–Moody algebra, and it is a simple example of the so-called conformal affine Toda theories coupled to matter fields. We show, using bosonization techniques, that the classical equivalence between a UŽ1. Noether current and the topological current holds true at the quantum level, and then leads to a bag model like mechanism for the confinement of the spinor fields inside the solitons. By bosonizing the spinors we show that the theory decouples into a sine-Gordon model and free scalars. We construct the two-soliton solutions and show that their interactions lead to the same time delays as those for the sine-Gordon solitons. The model provides a good laboratory to test duality ideas in the context of the equivalence between the sine-Gordon and Thirring theories. q 2000 Elsevier Science B.V. All rights reserved. PACS: 11.10.Lm; 11.30.yj; 11.15.Tk; 11.30.Ly; 11.30.Na Keywords: Confinement; Integrability; Non-perturbative methods; Solitons

1. Introduction Solitons are believed to have an important role in many non-perturbative aspects of a wide class of quantum field theories, as well as in condensed matter phenomena. The interest is greater in Lorentz invariant theories presenting topological solitons, since in many cases there is strong evidence that such solitons correspond to particle excitations in the quantum spectrum of the theory. The relevance of the solitons to non-perturbative phenomena comes, in general, from the fact that their interactions are inversely proportional to the coupling constants governing the dynamics of the fundamental fields appearing in the Lagrangian. Therefore, the solitons are weakly coupled in the strong regime of the theory, and that is the basic fact underlying several duality ideas. The reason is that one can describe the theory in the strong coupling regime, by replacing the 0550-3213r00r$ - see front matter q 2000 Elsevier Science B.V. All rights reserved. PII: S 0 5 5 0 - 3 2 1 3 Ž 0 0 . 0 0 0 1 5 - 8

608

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

fundamental Lagrangian by another one where the excitations of its fields correspond to the solitonic states. The electromagnetic duality of Montonen–Olive w1x, involving magnetic monopoles and gauge particles, is the best example of such behaviour, and has found in supersymmetric gauge theories the best habitat for its implementation w2–6x. Similar dualities occur in statistical mechanics models and many lower dimensional field theories. The example which is best understood in such context is the quantum equivalence between the sine-Gordon and Thirring models w7,8x, which provide an excellent laboratory to test ideas about the role of solitons in quantum field theories. In this paper we consider a two-dimensional integrable and conformally invariant field theory involving spinor and scalar fields, and presenting topological solitons solutions. The theory is one of the simplest examples of the so-called Conformal Affine Toda models coupled to matter fields proposed in Ref. w9x. It has two Dirac spinors coupled to a scalar field which plays the role of a UŽ1. ‘‘gauge’’ particle. The system is made conformally invariant by the introduction of two other scalar fields constituting what is in general called in the literature a beta-gamma system, with non-positive definite kinetic term. The integrability of the theory is $ established using a zero curvature formulation of its equations of motion based on the slŽ2. affine Kac–Moody algebra. The general solution as well as explicit one-soliton solutions have been obtained in Ref. w9x. Besides the conformal and local gauge symmetries, the model presents chiral symmetry and some discrete symmetries. However, one of its main properties is that for a large subset of solutions there is an equivalence between the UŽ1. Noether gauge current, involving the spinors only, and the topological current associated to the scalar ‘‘gauge’’ particle. That fact was established in Ref. w9x at the classical level, and has profound consequences in the properties of the theory. It implies that the density of the UŽ1. charge has to be concentrated in the regions where the scalar field has non-vanishing space derivative, i.e. presents large momenta modes. The one-soliton of the theory is of the sine-Gordon type, and therefore the charge density is concentrated inside the soliton. Since the charge carriers are the spinors, it means that if one looks for excitations of the theory around the solitonic state, one would expect the spinors to be confined. One of the main objectives of this paper is to study the equivalence of the Noether and topological currents at the quantum level, and its consequences for the confinement mechanism. The first thing to be established is if such equivalence is not spoiled by quantum anomalies the currents may present. Fortunately, that issue can be established exactly by using, instead of perturbative approaches, bosonization techniques following the lines of w10x. By bosonizing the spinor field we show that the sector of the theory made of the spinor and ‘‘gauge’’ particles is equivalent to a theory of a free massless scalar and a sine-Gordon field. In addition, the condition for the equivalence of the Noether and topological currents is simply the condition that the free massless scalar should be constant. Therefore, by performing a quantum reduction where the excitations of the free scalar are eliminated, we obtain a submodel where the equivalence of those currents holds true exactly at the quantum level, proving that there are no anomalies. Consequently, we show that in such reduced theory the confinement of the spinor particles does take place. An important property of the model under consideration is that it possesses another type of spinor particle. That is obtained by fermionizing the sine-Gordon field using the

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

609

well-known equivalence between the sine-Gordon and massive Thirring models w7,8x. In that scenario the solitons of the sine-Gordon model are interpreted as the spinor particles of the Thirring theory. We are then lead to an interesting analogy with what one expects to happen in QCD. The original spinor particles of our model that get confined inside the solitons play the role of the quarks, and the second spinor particle ŽThirring., which are the solitons, play the role of the hadrons. The UŽ1. Noether charge is also confined and is analogous to color in QCD. In this sense, our model constitute an excellent laboratory to test ideas about confinement, the role of solitons in quantum field theory, and dualities interchanging the role of solitons and fundamental particles. We also constructed the one-soliton and two-soliton solutions for our theory using two techniques: the dressing transformations and the Hirota method. We use the zero curvature representation of the equations of motion with potentials taking value on the $ affine Kac–Moody algebra slŽ2. Žsee appendix.. Then the basic idea is to look for vacuum configurations where the potentials lie in an abelian Žup to central terms. $ Ž . subalgebra of sl 2 . That constitutes in fact an algebra of oscillators. The solitons are obtained by performing the dressing transformations from those vacuum configurations with group elements which are exponentiations of the eigenvectors of the oscillators w11–14x. Such procedure leads quite naturally to the definition of tau-functions w11x, and then the Hirota method can be easily implemented too. We discuss the conditions for the solutions to be real, and evaluate the topological charges. The interactions of the solitons are studied by calculating their time delays. It is attractive, in fact the time delays are the same as those for the sine-Gordon solitons. An interesting aspect of the solutions is that when the two Dirac spinors of the theory are related by a reality condition, then either the soliton or the anti-soliton disappears from the spectrum. We interpret that as indicative of the existence of a duality involving the solitons and the spinor particles. The paper is organized as follows: in Section 2 we summarize the properties of the model, introduced in Ref. w9x, at the classical level. In Section 3 we consider the corresponding quantum field theory and show, using bosonization techniques, the equivalence of the Noether and topological currents as well as the confinement mechanism. The soliton solutions and their interaction Žtime delays. are studied in Section 4. In the appendix we give the zero curvature representation for the model under consideration.

2. The model Consider the two-dimensional field theory defined by the Lagrangian w9x 1 k

L s y 14 Em wE mw q 12 Em nE mh y 18 mc2 e 2 h q i cg mEm c y mc c ehq2 i wg 5c ,

Ž 2.1 .

where w , h and n are scalar fields, and c is a Dirac spinor. Notice that c ' c˜ Tg 0 , with c˜ being a second Dirac spinor. However, in many applications in this paper we shall take c˜ to satisfy the reality condition

c˜ s ec c ) ,

Ž 2.2 .

610

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

where ec is a real dimensionless constant. As we will show, the sign of ec will have an important role in determining the spectrum of soliton solutions. The corresponding equations of motion are

E 2w s i4 mc cg 5 ehq2 i wg 5c ,

Ž 2.3 .

E 2n s y2 mc c ehq2 i wg 5c y 12 mc2 e 2 h ,

Ž 2.4 .

E 2h s 0 ,

Ž 2.5 .

ig mEm c s mc ehq2 i wg 5c ,

Ž 2.6 .

ig mEm c˜ s mc ehy2 i wg 5 c˜ .

Ž 2.7 .

Theory Ž2.1. was proposed in Ref. w9x as an example of a wide class of integrable theories called Affine Toda systems coupled to matter fields1. The zero curvature representation, the construction of the general solution including the solitonic ones and many other properties were discussed in Ref. w9x. In Appendix A we summarize some of those results. Here, we want to discuss some special features of that theory at the quantum level as well as the two-soliton solutions. We start by reviewing the symmetries of Ž2.1.. Conformal symmetry. The model Ž2.1. is invariant under the conformal transformations 2 xq™ xˆqs f Ž xq . ,

xy™ xˆys g Ž xy . ,

Ž 2.8 .

with f and g being analytic functions; and with the fields transforming as 3

w Ž xq , xy . ™ wˆ Ž xˆq , xˆy . s w Ž xq , xy . , d

d

eyn Ž xq , xy . ™ ey nˆ Ž xˆq , xˆy . s Ž f X . Ž g X . ey n Ž xq , xy . , eyh Ž xq , xy . ™ ey hˆ Ž xˆq , xˆy . s Ž f X .

1r2

Ž gX .

1r2 y h Ž x q , x y .

e

c Ž xq , xy . ™ cˆ Ž xˆq , xˆy . s exp  12 Ž 1 q g 5 . log Ž f X . q 12 Ž 1 y g 5 . log Ž g X .

,

y1 r2

y1 r2

4 c Ž xq , xy . ,

Ž 2.9 .

where the conformal weight d , associated to eyn , is arbitrary, and c˜ transforms in the same way as c . Left-right local symmetries. The Lagrangian Ž2.1. is invariant under the local UŽ1.L m UŽ1.R transformations

w ™ w q jq Ž xq . q jy Ž xy . ;

n™n ;

h™h ,

1

Ž 2.10 .

The Lagrangian Ž2.1. is obtained from Ž10.18. of w9x by the replacements w ™ i w and n˜ ™ n y 2i w . We are using x " s t " x, and so, E " s 12 Ž E t " Ex . , and E 2 s E t2 y Ex2 s 4Eq Ey. 0 y1 0 1 1 0 3 We take g 0 sy i , g 1 sy i , g 5 sg 0 g 1 s . 1 0 1 0 0 y1 2

ž

/

ž /

ž

/

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

611

and

c˜ ™ e iŽ1q g 5 . jq Ž xq .yiŽ1y g 5 . jy Ž xy .c˜ .

c ™ eyi Ž 1q g 5 . jq Ž xq .qiŽ1y g 5 . jy Ž xy . c ;

Ž 2.11 . 1 2

U(1) global symmetry. Notice that, by taking jq Ž xq . s yjy Ž xy . s y u , with u s const., one gets a global UŽ1. transformation

w™w ; n™n ; h™h ; c ™ e iu c ; The corresponding Noether current is given by J msc g m c ,

c˜ ™ eyi u c˜ .

Ž 2.12 .

Em J m s 0 .

Ž 2.13 . 1 2

Chiral symmetry. In addition, if one takes jq Ž xq . s jy Ž xy . s y a , with a s const., one gets the global chiral symmetry

c ™ e ig 5 a c ;

c˜ ™ eyi g 5 a c˜ ;

w™wya ;

n™n ;

h™h ,

Ž 2.14 . with the corresponding Noether current J5m s cg 5g mc q 12 E mw ;

Em J5m s 0 .

Ž 2.15 .

Topological charge. One can shift the w field as w ™ w q np , keeping all the other fields unchanged, that the Lagrangian is left invariant. That means that the theory possesses an infinite number of vacua, and the topological charge 1 Qtopol .' dx j 0 , j m s e mnEn w Ž 2.16 . p can assume nontrivial values. CP-like symmetry. Finally the Lagrangian Ž2.1. is invariant under the transformation

H

xql xy ; c l i eg 0 c˜ ; c˜ l yi eg 0 c ; wlw ; hlh ; nln , Ž 2.17 . Ž . where e s "1. Notice that by imposing the reality condition 2.2 one breaks such CP symmetry, for any real value of the constant ec4 . Now comes a very interesting property of this model. The conservation of the UŽ1. vector current Ž2.13. and of the chiral current Ž2.15. can be used to show that there exist two charges given by J s yc˜ T Ž 1 q g 5 . c q Eq w , satisfying

J s c˜ T Ž 1 y g 5 . c q Ey w ,

Ž 2.18 .

Ey J s 0 ; Eq J s 0 . Ž 2.19 . Notice, from Ž2.9., that the currents J and J have conformal weights Ž1,0. and Ž0,1., respectively. One can now perform a ŽHamiltonian. reduction of the model by imposing the constraints Js0 ; Js0 . Ž 2.20 . The degree of freedom eliminated by such reduction does not correspond to the excitations of any of the fields appearing in the Lagrangian Ž2.1.. As we show below, it 4

Notice that the CP symmetry is preserved if one takes ec s" i.

612

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

corresponds to the excitations of a free field which is a nonlinear combination of those in Ž2.1.. One can easily check that the constraints Ž2.20. are equivalent to 1 mn 1 e En w s cg mc , Ž 2.21 . 2p p Therefore, in the reduced model, the Noether current Ž2.13. is proportional to the topological current Ž2.16.. That fact has profound consequences in the properties of such theory. For instance, it implies Žtaking c˜ to be the complex conjugate of c . that the charge density c †c is proportional to the space derivative of w . Consequently, the Dirac field is confined to live in regions where the field w is not constant. The best example of that is the one-soliton solution of Ž2.1. which was calculated in Ref. w9x and which is given by

w s 2arctan exp 2 mc Ž x y x 0 y Õt . r'1 y Õ 2

ž ž

c s e i u mc e mc Ž xyx 0yÕ t . r '1yÕ

(

2



ž y

1yÕ 1qÕ

ž

// ,

1r4

/

1qÕ 1yÕ

1 1 q ie 2 mc Ž xyx 0yÕ t . r '1yÕ

1r4

/

1 1 y ie 2 mc Ž xyx 0yÕ t .r '1yÕ

n s y 12 log 1 q exp 4 mc Ž x y x 0 y Õt . r'1 y Õ 2

ž

ž

2

//y

1 8

2

0

,

mc2 xq xy ,

hs0 , Ž 2.22 . ˜ Ž ., one c is the complex conjugate of c . Notice that, from 2.16 and the solution for indeed has Qtopol.s 1 for the solution Ž2.22. 5. Notice that the solution for w is exactly the sine-Gordon soliton, and therefore Ex w is non-vanishing only in a region of size of the order of mcy1 . In addition, the solution for c satisfies the massive Thirring model equations of motion w15,16x. One can check that Ž2.22. satisfies Ž2.21., and so is a solution of the reduced model. Therefore, the Dirac field must be confined inside the soliton. One can verify that Ž2.22. indeed confirms that fact. We point out that the condition Ž2.21. together with the equations of motion for the Dirac spinors Ž2.6. – Ž2.7. imply the equation of motion for w , namely Ž2.3.. Therefore in the reduced model, defined by the constraints Ž2.20., one can replace a second order differential equation, i.e. Ž2.3., by two first order equations, i.e. Ž2.21.. One could think of equating the chiral current Ž2.15. to a topological current associated to a scalar field. However, the equations of motion imply that such a scalar has to be a free field. Therefore, one could consider a submodel of Ž2.1. defined by the constraints le mnEn h s cg 5g mc q 12 E mw , Ž 2.23 . where l is a parameter. One can check that such constraints are compatible with the equations of motion. However, we will not use that observation in what follows. 5

Notice that we have defined the topological charge in Ž2.16. as twice that of the reference w9x, in order to make it integer.

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

613

3. The quantum theory The results discussed above are true at the classical level. The question we address now is if they remain true at the quantum level, as the confinement of the Dirac spinor does take place. The answer is affirmative, and can be obtained quite elegantly using bosonization methods w7,8x. Witten has considered a similar model in Ref. w10x, originally proposed by Kogut and Sinclair w17x, and we shall use his methods. Their model differs from Ž2.1. in three points: Ži. it does not contain the pair of fields Ž h , n . , and therefore is not conformally invariant; Žii. the sign of the kinetic term of the w field in Ž2.1. is flipped with respect to their corresponding term; Žiii. their model possesses just one Dirac spinor. In the considerations about the quantum theory, to be made in this section, we shall impose the reality condition Ž2.2. and consequently the Lagrangian Ž2.1. will depend on the real constant ec . Therefore, in this section we have c s c †g 0 . We introduce a new boson field c by bosonizing the Dirac spinor c as w10,18x i: cg mEm c :s

a2

2

2p

: Ž Em c . : ,

m : c Ž 1 " g 5 . c :s y : cg mc :s y

a p

2p

Ž 3.1 .

:e Ž " i2 a c. : ,

Ž 3.2 .

e mnEn c ,

Ž 3.3 .

where a is a real parameter, and m is a mass parameter used as an infrared regulator. Rewriting the last term of Ž2.1. as

c ehq2 i w g 5 c s eh c

ž

Ž 1 q g5 . 2

c e2 iw q c

Ž 1 y g5 . 2

c ey2 i w ,

/

Ž 3.4 .

/

Ž 3.5 .

one then obtains that the Lagrangian Ž2.1. becomes 1 k

2

L s y 14 Ž Em w . q 12 Em nE mh y q ec

ž

a2

ŽE c. 2p m

2

q

m mc 4p

mc2 8

e 2h

eh Ž e 2 i Ž a cq w . q ey2 iŽ a cq w . . .

Introduce the linear combinations

f'2

Ž acqw .

(<4p y 8 e <

r'

;

c

(

2

Ž 2 ec a c q pw .

p

(<4p y 8 e <

.

Ž 3.6 .

c

After rescaling the fields as

r r™

'k

n ,

n™

k

f ,

f™

'k

,

Ž 3.7 .

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

614

we rewrite the Lagrangian as 2

L s y 12 e Ž ec . Ž Em r . q 12 Em nE mh y q ec

ž

1 2

2

e Ž ec . Ž Em f . q

m2

b2

k 8

mc2 e 2 h

/

eh cos Ž bf . ,

Ž 3.8 .

where we have introduced

b'

(

<4p y 8 ec < k

;

m2 '

m 2p

<4p y 8 ec < mc ;

e Ž ec . ' sign Ž 4p y 8 ec . .

Ž 3.9 .

Therefore, r is a free scalar field and f is a sine-Gordon field coupled to h. However, in order for the kinetic and potential terms for f to lead to a unitary sine-Gordon theory, we shall impose p e Ž ec . s 1 ; ec - . Ž 3.10 . 2 Clearly, in the limit ec ™ pr2, f becomes a massless free field. We now discuss the quantum version of the reduction Ž2.20.. Since c˜ T Ž 1 " g 5 . c s ec c Ž g 0 " g 1 . c Žsee Ž2.2.., it follows from Ž2.18., Ž3.3. and Ž3.6. that Ž e 01 s 1.

(<4p y 8 e < c

Js

'2p

(<4p y 8 e < c

Eq r ;

Js

'2p

Ey r

Ž 3.11 .

Therefore, the constraints Ž2.20. are equivalent to r s const., and consequently the degree of freedom eliminated by them corresponds to the r field. The reduction at the quantum level can be realized as follows. Since the scalar field r is decoupled from all others fields in the theory Ž3.8., we can denote the space of states as H s Hr m H0 , where Hr is the Fock space of the free massless scalar r , and H0 carries the states of the rest of the theory. We shall denote r s r Žq. q r Žy., where r Žq. Ž r Žy. . corresponds to the part containing annihilation Žcreation. operators in its expansion on plane waves. The reduction corresponds to the restriction of the theory to those states satisfying

E " r Žq.
Ž 3.12 .

By taking the complex conjugate one gets ²C < E " r Žy. s 0 ,

Ž 3.13 .

and consequently the expectation value of E " r vanishes on such states. Indeed, if
Ž 3.14 .

That provides the correspondence with the classical constraints Ž2.20.. Therefore, the Hilbert space of the reduced theory is Hc s
H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

615

For the theory described by Hc , the equivalence between Noether and topological currents, given by Ž2.21., holds true at the quantum level, since as we have shown before, Ž2.21. is equivalent to the vanishing of the currents J and J. Notice that such quantum equivalence is exact, since we have not used perturbative or semiclassical methods. One of the consequences of that quantum equivalence is that in the states of Hc , like the one-soliton Ž2.22., where the space derivative of w is localized6 , one has that the spinor c is confined, since from Ž2.21., ² Ex w : ; ² c †c :. Therefore, we have shown that the confinement of c does take place in the quantum theory. Notice that the quantum reduction Ž3.12. does not violate the conformal symmetry of the Lagrangian Ž3.8., because we are not restricting to a non-vanishing constant, the expectation value of any quantity of non-vanishing conformal weight. The theory described by Ž3.8. is certainly non-unitary because the kinetic terms have in general different signs, and so the energy is unbounded from below 7. The reduction Ž3.12. eliminates part of the problem, since the kinetic energy associated to the r field vanishes in Hc . There remains the non-unitarity associated with the system Ž h , n . . We can perform a further reduction by restricting ourselves to those states of H0 satisfying

E " h Žq.
Ž 3.15 .

where we have denoted the free field h as h s h Žq. q h Žy., with h Žq. Žh Žy. . corresponding to the part containing annihilation Žcreation. operators in the expansion in terms of plane waves. Consequently, using similar arguments as before, the expectation value of E " h vanishes on such states, ²C 0 < E " h
Ž 3.16 .

In addition, it follows that ²C 0 < eh
Ž 3.17 .

Notice that the operator eh has conformal weights Ž y 12 ,y 12 . , and since it is present in the Lagrangian Ž3.8., it follows that such reduction does break the conformal symmetry. Such breaking of symmetry resembles the Higgs mechanism since it generates mass for the f field, and that is proportional to the expectation value of eh w19x. After the reductions Ž3.12. and Ž3.15., the n field decouples and we are left with a unitary theory which is that of the sine-Gordon model of the f field. In fact, as Coleman has shown w7x, the sine-Gordon theory is unbounded below if b 2 ) 8p . Therefore, from Ž3.9. we have to have

b 2 - 8p

6 7



k)


.

Ž 3.18 .

Notice that for the states of Hc , where Ž3.14. holds true, one has from Ž3.6. that ² E " f : ; ² E " w :. For the choice ec - 0, the kinetic terms for r and f have the same sign.

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

616

An important property of the model under consideration is that it presents another spinor field which is not confined. Indeed, using bosonization rules again, we can introduce a spinor x as

b2

i: xg mEm x :s

2

: Ž Ef . : ,

Ž 3.19 .

:cos Ž bf . : ,

Ž 3.20 .

8p

m : x x :s y

2p

: xg mx :s y

b 2p

e mnEn f .

Ž 3.21 .

The Lagrangian Ž3.8. becomes Žassuming Ž3.10.. 2

L s y 12 Ž Em r . q 12 Em nE mh y

k 8

mc2 e 2 h

q ec i xg mEm x y mx eh x x y

ž

g 2

2 Ž xg mx . ,

/

Ž 3.22 .

with 4p

b

2

s1q

g

p

m ,

mx s

m

kmc .

Ž 3.23 .

Therefore, we get a Thirring model coupled to h plus the free scalar field r . After the reductions Ž3.12. and Ž3.15. the theory becomes the pure massive Thirring model. Notice that x becomes a free massive spinor w7x for b 2 s 4p or k s


(


E mr .

Ž 3.24 .

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

617

Therefore, the spinor x does not contribute to such current and so has zero chirality. Therefore, the fact that it does acquire a mass is not incompatible with the chiral symmetry. The spinor with nonzero chirality is c and it disappears from the spectrum in the confining sector of the theory. The possibility of having chiral symmetry and massive fermions is another remarkable property of theory Ž2.1.. For these reasons the model Ž2.1. constitute an excellent laboratory to test ideas about confinement, the role of solitons in quantum field theories, and duality transformations interchanging the role of solitons and fundamental particles. With that motivation we shall now study the two-soliton solutions and their interactions.

4. Soliton solutions It is well known the relevance of localized classical solutions of nonlinear relativistic field equations to the corresponding quantum theories. In particular, solitons can be associated with quantum extended-particle states. Therefore, we will examine the classical soliton type solutions to get insight into the quantum spectrum of the model, in much the same way of what is already known in the remarkable sine-Gordon model. We argue that, at the classical level, the solutions for the w and c fields share some features of the sine-Gordon and the massive Thirring theories, respectively. We have shown in the previous section, using bosonization methods, that at the quantum level the theory Ž2.1. is equivalent to Ž3.8.. However, the space of classical solutions of the two theories are not the same. One cannot use Ž3.1. – Ž3.3., at the classical level, as change of variables to relate classical solutions of one theory to those of the other. The bosonization rules Ž3.1. – Ž3.3. are purely quantum relations. The one-soliton solutions of Ž2.1. have been calculated in Ref. w9x using the dressing transformation method. Here, we construct the two-soliton solutions using the same methods. We start with the zero curvature representation of the equations of motion of the theory

w Eqq Aq , Eyq Ay x s 0 ,

Ž 4.1 .

where the indices " stand for the light cone variables x "s t " x. For the theory Ž2.1. $ the connections A " live on the slŽ2. affine Kac–Moody algebra Gˆ , and are given in the Appendix A Žsee ŽA.1... Since Ž4.1. imply the connections must be flat, one can write them as Am s yEm TTy1 , with T being a group element obtained by exponentiating Gˆ . In addition, using an integral gradation of Gˆ , i.e. Gˆ s [n Gˆn , n g Z, one can perform a generalized Gauss decomposition of the element Tr Ty1 , with r being a given constant group element. Denote by Gˆ- 0 , Gˆ0 and Gˆ) 0 the subalgebras generated by elements of grades negative, zero and positive, respectively. Then Tr Ty1 s Ž Tr Ty1 . -0 Ž Tr Ty1 . 0 Ž Tr Ty1 . )0 ,

Ž 4.2 .

where Ž Tr Ty1 . - 0 , Ž Tr Ty1 . 0 and Ž Tr Ty1 . ) 0 are elements belonging to subgroups whose algebras are Gˆ- 0 , Gˆ0 and Gˆ) 0 , respectively. One now introduces y1

T r ' Ž Tr Ty1 . )0 T s Ž Tr Ty1 . 0

y1

Ž Tr Ty1 . -0Tr .

Ž 4.3 .

618

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

Such relation defines a transformation on the connections Am s yEm TTy1 ™ Amr s yEm T r T ry1

Ž 4.4 .

which preserves their grading structure. Therefore, if one knows a solution T for the zero curvature one obtains a new solution T r , determined by the constant group element r . We point out that the fact that the transformed element T r can be written in two different ways as in Ž4.3. plays a crucial role in the dressing method. It guarantees that the transformed connection is in the same gauge as the original one, and therefore allows one to translate the dressing transformation Ž4.4. into transformation of the physical fields defining the theory. A quite general procedure to construct soliton solutions in integrable theories, using such dressing transformations, is described in Ref. w11x. It constitutes a generalization of the so-called ‘‘solitonic specialization’’ in the context of the Leznov–Saveliev solution for Toda type models w12–14,20x. One starts by looking for a ‘‘ vacuum’’ solution such that the connections A ", when evaluated on it, belong to an algebra of oscillators, i.e. an abelian Žup to central terms. subalgebra of the Kac–Moody algebra. One then looks for the eigenvectors Vi , in Gˆ , of such oscillators. The solitons belong to the orbits of solutions obtained by the dressing transformation performed by elements of the form r s e V i1 e V i 2 . . . e V i n . For theory Ž2.1. we perform the dressing transformation starting from the vacuum solution

w s c s c˜ s h s 0 ,

n s y 18 mc2 xq xy' n 0 .

The connection evaluated on such solution is given by Žsee ŽA.1.. vac vac Aq s yE2 , Ay s Ey2 q 18 mc2 xq C .

Ž 4.5 . Ž 4.6 .

In addition, one has y1 Avac with Tvac s e xqE 2 eyx yEy2 . Ž 4.7 . " s yE " Tvac Tvac 1 Since E " 2 s 4 mc H " 1 Žsee ŽA.2.. the relevant oscillators are H " n and their algebra is given by ŽA.5.. The eigenvectors of the oscillators are given by n V " Ž z . s Ý zyn E " Ž 4.8 . ngZ

and E2 , V " Ž z . s " 12 mc zV " Ž z . , 1 mc Ey2 , V " Ž z . s " V Ž z. . Ž 4.9 . 2 z " Notice that Vq Ž z . and Vy Ž yz . have the same eigenvalues, and such degeneracy is related to the global UŽ1. symmetry discussed in Ž2.12. w9x. The solutions in the orbit of the vacuum Ž4.5., under the dressing transformations, are given by w9x i t1 eyi w s , eyŽ ny n oy 2 w . s t 0 Ž 4.10 . t0 and mc mc t˜ Rrt 1 t Rrt 0 cs , c˜ s y , Ž 4.11 . 4 i yt Lrt 1 4 i t˜ Lrt 0

( ž

/

( ž /

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

619

where we have introduced the tau-functions

t 0 ' ² lˆ 0 < G < lˆ 0 : ,

t 1 ' ² lˆ 1 < G < lˆ 1 : ,

1 t R ' ² lˆ 0 < Ey G < lˆ 0 : ,

0 t˜ R ' ² lˆ 1 < Eq G < lˆ 1 : ,

0 < ˆ : t L ' ² lˆ 1 < GEy l1 ,

<ˆ : t˜ L ' ² lˆ 0 < GEy1 q l0 ,

Ž 4.12 .

and where y1 G ' Tvac r Tvac s e xqE 2 eyx yEy2 r e xyEy2 eyx qE 2 .

Ž 4.13 .

We have denoted < lˆ 0 : and < lˆ 1 : the highest weight states of the two fundamental $ representations of the affine Kac–Moody algebra slŽ2., respectively, the scalar and spinor ones. They satisfy H 0 < lˆ 0 : s 0 ,

H 0 < lˆ 1 : s < lˆ 1 : ,

C < lˆ j : s < lˆ j : ,

Ž 4.14 .

with j s 0,1, and in addition 0 < ˆ : n < ˆ : Eq l j s H n < lˆ j : s E " lj s 0 ,

for n ) 0.

Ž 4.15 . 0

Notice that if one makes the shift r ™ h r hy1 , with h s e i u H r2 , one gets that G ™ hGhy1 , since h commutes with E " 2 . Therefore, the tau-functions transform as

t0 ™t0 , t1 ™t1 , t˜ L ™ eyi u t˜ L ,

t R ™ e iu t R ,

t L ™ e iu t L ,

t˜ R ™ eyi u t˜ R ,

Ž 4.16 .

which corresponds to the global UŽ1. transformations Ž2.12.. We will be interested in classical solutions satisfying the relations Ž2.21.. In terms of the tau-functions defined above those relations can be written as

t 0 Eq t 1 y t 1 Eq t 0 s 12 mc t Rt˜ R , t 0 Ey t 1 y t 1 Ey t 0 s 12 mc t Lt˜ L .

Ž 4.17 .

Using Ž4.12., Ž4.13., one can write Ž4.17. as the algebraic relations 1 0 ² G : 0 ² H 1 G : 1 y ² G : 1 ² H 1 G : 0 s 2² Ey G : 0 ² Eq G:1 , y1 : ² 0 ² G : 0 ² G Hy1 : 1 y ² G : 1 ² G Hy1 : 0 s 2² GEq 0 GEy : 1 ,

Ž 4.18 .

where we have denoted ² lˆ a < X < lˆ a : ' ² X :a . These equations determine the group elements r that lead to solutions satisfying the relations Ž2.21.. One can use Ž4.10., Ž4.11. to write the equations of motion of the theory Ž2.1. in terms of the tau-functions. The equations of motion Ž2.3., Ž2.4. for w and n imply that Žfor h s 0.

t 0 Eq Ey t 0 y Eq t 0 Ey t 0 s 14 mc2 t Lt˜ R ,

Ž 4.19 .

t 1 Eq Ey t 1 y Eq t 1 Ey t 1 s 14 mc2 t R t˜ L .

Ž 4.20 .

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

620

The equations of motion Ž2.6., Ž2.7. for the Dirac spinors imply Žfor h s 0.

t 0 Ey t R y t R Ey t 0 s y 12 mc t 1t L ,

Ž 4.21 .

t 1 Eq t L y t L Eq t 1 s 12 mc t 0t R ,

Ž 4.22 .

t 1 Ey t˜ R y t˜ R Ey t 1 s 12 mc t 0t˜ L ,

Ž 4.23 .

t 0 Eq t˜ L y t˜ L Eq t 0 s y 12 mc t 1t˜ R .

Ž 4.24 .

The relations Ž4.19. – Ž4.24. are the Hirota bilinear equations w21,22x for the model Ž2.1.. Notice that the first order equations Ž4.17. and Ž4.21. – Ž4.24. imply that the difference of Ž4.19. and Ž4.20. should be satisfied, but not that each one separately should do. The N-soliton solutions are constructed by taking the constant group element r of the dressing transformation to be a product of exponentials of the eigenvectors of E " 2 Žsee Ž4.9... Since Vq Ž z . and Vy Žyz . have the same eigenvalue, we take the exponential of a linear combination of them, i.e. N Žl.

Žl . Žl . r Ny sol ' Ł e V Ž a " , z l . with V Ž aŽ"l . , z l . ' 'i Ž aq Vq Ž z l . q ay Vy Ž yz l . . .

ls1

Ž 4.25 . Žl. Žl. In fact, if for a given l Žor more than one. either aq or ay vanishes one does not obtain N-soliton solutions. For example, in the case of the one-soliton one gets a vanishing solution for w w9x. The fact that the N-soliton solutions need the two degenerate eigenvectors, i.e. Vq Ž z . and Vy Žyz ., is what makes them to carry, besides the topological charge, the ‘‘electric’’ UŽ1. charge Ž2.13.. The corresponding group element Ž4.13. becomes

N Žl . G Ny sol s Ł exp Ž e G Ž z l . V Ž a " , zl . . ,

Ž 4.26 .

ls1

with

ž

G Ž z l . s 12 mc z l xqy

1 zl

/

xy ' g l Ž x y Õ l t .

Ž 4.27 .

and so

ž

g l s 12 mc z l q

1 zl

/

s Ž sign z l .

mc

(1 y Õ

2 l

,

Õl s

1 y z l2 1 q z l2

.

Ž 4.28 .

Notice that one needs to take z l real for the soliton velocities to be smaller than light speed, i.e. < Õ l < F 1. In fact, the quantities z l are related to the rapidities u l of the solitons through zl ' el eul ,

Ž 4.29 .

with e l s "1, and so from Ž4.27.

G Ž u l . s e l mc Ž xcosh u l q tsinh u l . .

Ž 4.30 .

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

621

An important point in the calculations involved in the construction of the soliton solutions is that it is much easier to work with the homogeneous Žor Fubini–Veneziano. vertex operator construction for V " Ž z .. Indeed, in such construction one has that 8 Vq Ž z . Vq Ž z . ™ 0 ,

Vy Ž z . Vy Ž z . ™ 0 ,

as z ™ z ,

Ž 4.31 .

and therefore the exponentials involving V " Ž z . truncate. We are interested in the solutions where the field w is real. Using Ž4.10. one obtains that Žsince yi w s log < t 1 < q i arg t 1 . t0

t0

w s w implies
Ž 4.32 .

and consequently

ž

w s arctan i

t 0)t 1 y t 0t 1) t 0)t 1 q t 0t 1)

/

,

or w s z 0 y z 1 q np ,

Ž 4.33 .

where n is any integer, and where we have denoted ta s
t˜ R t1

s yiec

t R) t 0)

,

t˜ L t0

s iec

t L) t 1)

.

Ž 4.34 .

4.1. The one-soliton solutions The one-soliton solution can easily be calculated by evaluating the matrix elements Ž4.12. with r s e V Ž a " , z ., or alternatively by applying the Hirota method to the equations Ž4.19. – Ž4.24.. The result is

t0s1y

i 4

ay aq e 2 G Ž z . ;

t1s1q

i 4

ay aq e 2 G Ž z . ,

t R s 'i aq z e G Ž z . ;

t˜ R s 'i ay e G Ž z . , ay G Ž z . t L s 'i aq e G Ž z . ; t˜ L s y'i e . Ž 4.35 . z One can check that such solutions also satisfy Ž4.17. without any further restriction. Therefore, the one-soliton solution satisfy the condition Ž2.21. for the equivalence between Noether and topological currents. If one requires that w should be real, then one gets from Ž4.32. and Ž4.35. that Ž ay aq . must be real. Such condition is sufficient to make t 1 s t 0) . Therefore, using Ž2.16. and Ž4.33., one gets that the topological charge of the soliton is Qtopol .s ysign Ž ay aq . Qtopol .s sign Ž ay aq .

8

for z ) 0, for z - 0.

See Eq. Ž14.8.14. on page 309 of Ref. w23x, or Eq. Ž6.2.6. of Ref. w24x for the details.

Ž 4.36 .

622

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

However, if one imposes in addition, the reality condition Ž2.2. on the spinors one gets from Ž4.35. that the parameters must satisfy ) z. ays yec aq

Ž 4.37 .

The topological charge in such case is Q topol .s sign ec ,

for any real z.

Ž 4.38 .

Notice that in general, solitons are transformed into anti-solitons by parity transformations. However, theory Ž2.1. is not invariant under spatial parity, and the CP-like symmetry Ž2.17. is broken when the reality condition Ž2.2. is imposed. In order to have a degenerate vacua and topological solitons we need the factor i in the exponential of the potential term in Ž2.1.. That makes the Lagrangian complex and so it is very unlikely that Ž2.1. has a CPT symmetry. The lack of P, CP and CPT symmetries is what reaffirms the existence of only the soliton or anti-soliton solution for a given choice of ec in Ž2.2.. We then reach an interesting conclusion: without the reality condition Ž2.2. theory Ž2.1. has two Dirac spinors and it also has the soliton and anti-soliton solutions, since according to Ž4.36. both signs of the charge are admissible. However, if we impose the reality condition Ž2.2. theory Ž2.1. looses one Dirac spinor and also one soliton solution, since for a given choice of ec one observes from Ž4.38. that only one topological charge Žcorresponding to soliton or anti-soliton. is permitted. That is indicative of the existence of some sort of duality between solitons and spinor particles. The particular one-soliton solution Ž2.22. satisfies Ž4.37. with ec s 1, z ) 0, u being the phase of aq, i.e. aqs < aq < e i u , and < aq <'z r2 s exp ymc x 0r'1 y Õ 2 . The mass of these one-soliton solutions was evaluated in Ref. w9x and it is given by

ž

/

M s 2 kmc ,

Ž 4.39 .

where k is the coupling constant appearing in the Lagrangian Ž2.1.. 4.2. The two-soliton solutions The two-soliton solutions are calculated through the dressing transformation method taking Žsee Ž4.25.. Ž1.

Ž2.

r 2y sol ' e V Ž a " , z 1 . e V Ž a " , z 2 . and so G 2ysol s e Ž e

G Ž z 1.

V Ž a Ž1. " , z 1 ..

eŽ e

G Ž z 2.

V Ž a Ž2. " , z 2 ..

.

Ž 4.40 . The explicit solution is calculated by evaluating the matrix elements Ž4.12.. Alternatively, one can apply Hirota’s expansion method w21,22x to the Hirota equation Ž4.19. – Ž4.24.. The results one obtains are

t0s1y

i 4

Ž1. Ž1. 2 G Ž z 1 . ay aq e y

i 4

Ž1. Ž2. qay aq . e G Ž z 1 .q G Ž z 2 . y

Ž2. Ž2. 2 G Ž z 2 . ay aq e yi

1 Ž z1 y z 2 .

z1 z 2

Ž z1 q z 2 .

2

Ž aqŽ 1 . ayŽ2.

4

16 Ž z 1 q z 2 . 4

Ž1. Ž1. Ž2. Ž2. 2Ž G Ž z 1 .q G Ž z 2 .. ay aq ay aq e ,

Ž 4.41 .

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

t1s1q

i

Ž1. Ž1. 2 G Ž z 1 . ay aq e q

4

i 4

i

Ž2. Ž2. 2 G Ž z 2 . ay aq e q

1 Ž z1 y z 2 .

Ž1. Ž2. 2 qay aq z 2 . e G Ž z 1 .q G Ž z 2 . y

Ž z1 q z 2 .

2

623

Ž aqŽ 1 . ayŽ2. z12

4

16 Ž z 1 q z 2 . 4

Ž1. Ž1. Ž2. Ž2. 2Ž G Ž z 1 .q G Ž z 2 .. ay aq ay aq e ,

Ž 4.42 . tR

'i

Ž1. s aq z1

e

4

'i

Ž1. s aq

q

t˜ R

'i

'i

e

Ž z1 q z 2 . G Ž z1 .

Ž2. q aq

i Ž z1 y z 2 .

4

sy

z1 i q

e G Ž z1 . y

2

Ž1. Ž1. Ž2. 2 G Ž z 1 .q G Ž z 2 . ay aq aq e

q

i Ž z1 y z 2 .

Ž 4.43 .

2

4 Ž z1 q z 2 . 2

Ž1. Ž2. Ž2. G Ž z 1 .q2 G Ž z 2 . aq ay aq e

2 Ž1. Ž1. Ž2. 2 G Ž z 1 .q G Ž z 2 . ay aq aq e ,

i Ž z1 y z 2 .

Ž 4.44 .

2

4 Ž z1 q z 2 . 2

Ž1. Ž1. Ž2. 2 G Ž z 1 .q G Ž z 2 . ay aq ay e

2 Ž1. Ž2. Ž2. G Ž z 1 .q2 G Ž z 2 . ay ay aq e ,

4 Ž z1 q z 2 . 2 Ž1. ay

Ž z1 q z 2 .

2

Ž1. Ž2. Ž2. G Ž z 1 .q2 G Ž z 2 . aq ay aq e ,

G Ž z2.

4 Ž z1 q z 2 . 2

i Ž z1 y z 2 .

y

i z 2 Ž z1 y z 2 .

2

2

e

e

G Ž z2.

Ž1. G Ž z 1 . Ž2. G Ž z 2 . s ay e q ay e q

q

t˜ L

Ž2. q aq z2

i z1 Ž z1 y z 2 .

y

tL

G Ž z1 .

Ž2. ay

Ž z1 y z 2 .

z2

e G Ž z2. q

i

Ž z1 y z 2 .

Ž 4.45 . 2

4 z1 Ž z1 q z 2 . 2

Ž1. Ž2. Ž2. G Ž z 1 .q2 G Ž z 2 . ay ay aq e

2

4 z 2 Ž z1 q z 2 . 2

Ž1. Ž1. Ž2. 2 G Ž z 1 .q G Ž z 2 . ay aq ay e .

Ž 4.46 .

These tau-functions satisfy the Hirota equations Ž4.19. – Ž4.24. for any value of the Ž2. constants aŽ1. ", a ", z 1 and z 2 , which can be even complex. It is interesting to notice that these tau-functions also satisfy the equivalence between the Noether and topological currents Ž4.17. Žor equivalently Ž2.21.. without any further restrictions. As we have said the Lorentz transformations in 2 d are x "™ xˆ "' l" 1 x ". The corresponding field transformations can be obtained from Ž2.8., Ž2.9. by taking f Ž xq . s l xq and g Ž xy . s ly1 xy. Therefore, choosing the conformal weight d of the field n to vanish, one conclude from Ž4.10., Ž4.11. that, under Lorentz transformations, the tau-functions transform as

ta Ž x . ™ ta Ž xˆ . s ta Ž x .

for a s 0,1,

Ž 4.47 .

and

t R Ž x . ™ t R Ž xˆ . s ly1 r2t R Ž x . ,

t L Ž x . ™ t L Ž xˆ . s l1r2t L Ž x . ,

Ž 4.48 .

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

624

and similarly for t˜ R r L . One then observes that such transformations can be implemented in the space of solutions by transforming the parameters of the solutions Ž4.41. – Ž4.46. as aŽ"i.™ l. 1r2 aŽ"i. ,

zi ™ l zi ,

i s 1,2 .

Ž 4.49 .

In addition, the global UŽ1. transformations Ž2.12. Žsee Ž4.16.. correspond in the space of parameters to zi ™ zi ,

aŽ"i.™ e " i u aŽ"i. ,

i s 1,2 .

Ž 4.50 .

4.3. The reality conditions We want z 1 and z 2 real in order for the soliton velocities to be smaller than the speed of light Ž c s 1, see Ž4.28... Then, one can easily check that in order for the Ž1. Ž1. Ž2. Ž2. solutions Ž4.41., Ž4.42. to satisfy Ž4.32. one has to have aq ay and aq ay real, and so Ž i. Ž i. < i j i aq s < aq e ,

Ž i. Ž i. < yi j i ay s e i < ay e ,

i s 1,2 ,

with j i real being phases, and e i s "1 being the sign of

Ž 4.51 . Ž i. Ž i. aq ay.

In addition, one needs

Ž1. < < Ž2. < Ž1. < < Ž2. < e 1 z 1 < aq ay s e 2 z 2 < ay aq .

Ž 4.52 .

Using Ž4.29. one observes that Ž4.52. implies

e1 e2 e1 e2 s 1 , e

u 1yu 2

Ž1. < < aq

Ž 4.53 .

Ž2. < Ž1. < < ay s < ay

Ž2. < < aq .

Ž 4.54 .

The relations Ž4.51. and Ž4.52. are the necessary and sufficient conditions for Ž4.32. to be satisfied. However, they are sufficient to make t 1 the complex conjugate of t 0 . Therefore,

w ) s w ™ t 1 s t 0) ™ w s 2 z 0 q np .

Ž 4.55 .

Consequently, the conditions Ž4.34. become

t˜ R s yiec t R) ,

t˜ L s iec t L) .

Ž 4.56 .

One can easily check that the solutions Ž4.41. – Ž4.46. satisfy the conditions t 1 s t 0) Žand so w real. and Ž4.56. if the parameters satisfy Ž z 1 , z 2 being real. Ž i. Ž i.) ay s yec aq zi ,

i s 1,2 .

Ž 4.57 .

Ž i. Ž i. Then it follows that the signs of z i and aq ay are related by

e i s ye i sign ec ,

i s 1,2 ,

Ž 4.58 .

which indeed satisfy Ž4.53.. 4.4. The topological charges For the solutions satisfying the conditions Ž4.51. and Ž4.52. we shall denote Ž i.

Ž i. < < Ž i. < < aq ay ' ey2 g i x 0 ,

i s 1,2 ,

Ž 4.59 .

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

625

with g i defined in Ž4.28.. We then define

GˆŽ z i . ' G Ž z i . y g i x 0Ž i. ,

Ž 4.60 .

with G Ž z i . being defined in Ž4.27.. In order to evaluate the topological charges we shall take the solution in the center of mass reference frame, which corresponds to Žsee Ž4.28. and Ž4.29.. z1 s e 1 e u ,

z 2 s e 2 eyu



and g 2 s e 1 e 2 g 1

Õ 1 s yÕ 2

Ž 4.61 .

Then, using Ž4.51., Ž4.54., Ž4.61., and Ž4.49., the tau-function t 0 given in Ž4.41. becomes

Ž e 1 e u y e 2 ey u .

t 0 s 1 y e1 e2

y

e1 e2 16

q

e2 4

Ž e u q e 1 e 2 ey u .

ˆ

2

ˆ

sin Ž j 1 y j 2 . e G Ž z 1 .q G Ž z 2 .

4

Ž e u y e 1 e 2 ey u . 2 ŽGˆ Ž z . q Gˆ Ž z . . e yi 4 Ž e u q e 1 e 2 ey u . 1

ˆ

e2 G Ž z2 . q e1 e2

2

Ž e 1 e u q e 2 ey u . Že

u

yu 2

q e1 e2 e

ž

e1 4

ˆ

e 2 G Ž z1 .

ˆ

ˆ

/

cos Ž j 1 y j 2 . e G Ž z 1 .q G Ž z 2 . .

.

Ž 4.62 .

In addition, one has t 1 s t 0) , when Ž4.53. is also enforced. Therefore, according to Ž2.16. and Ž4.55., the topological charge is Qtopol.s p2 Ž arg t 0 Ž ` . y arg t 0 Ž y` . . . We shall use the prescription that the arg t 0 lies between yp and p . When evaluating the charge one should notice that, on the center of mass reference frame, Gˆ Ž z 1 . q Gˆ Ž z 2 . does not depend upon x if e 1 and e 2 have opposite signs. In addition, for e 1 e 2 s e 1 e 2 s 1 one should pay attention on the sign of the imaginary part of t 0 as it tends to zero, in order to determine if arg t 0 tends to yp or p . In such case, one can write Im t 0 ™ y 12 e 1 1 q

ž

cos Ž j 1 y j 2 .

for e 1 e 2 s e 1 e 2 s 1. Since

cosh u cos Ž j 1 y j 2 . cosh u

/

e 2 mc e 1 x cosh uq PPP

as x ™ e 1`

Ž 4.63 .

G y1, the limit is independent of j i . In fact, the

topological charge, for w real, does not depend upon the phases j i . The results one obtains are Qtopol .s 2 e 1 , Qtopol .s y2 e 1

Ž e 1 s e 2 s -1, e 1e 2 s 1 . or Ž e 1 s -e 2 s -1, e 1e 2 s -1 . , for Ž e 1 s e 2 s 1,e 1e 2 s 1 . or Ž e 1 s -e 2 s 1,e 1e 2 s -1 . . Ž 4.64 .

for

If one now imposes the reality condition Ž2.2. on the spinors, or equivalently Ž4.56. – Ž4.58., one gets Q topol .s 2 sign ec ,

Ž 4.65 .

for any e i and e i satisfying Ž4.58.. We then have a situation similar to the one-soliton solutions, since in that case the imposition of the condition Ž2.2. makes either the soliton or anti-soliton to disappear from the spectrum. Here the same thing happens, since Ž2.2. chooses the sign of ec and then either the charge 2 or y2 solutions disappear. However, a new feature emerges.

626

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

We saw we could have Žwithout Ž2.2.. soliton and anti-soliton solutions with w real. We have not found here a charge zero solution corresponding to the scattering of a soliton and anti-soliton for w real. Such solution exists however, for w complex but asymptotically real as we show below. 4.4.1. Asymptotically real solutions One can easily verify that for the solutions Ž4.41. – Ž4.46. the field w is always real asymptotically, i.e.
t 1 s 1 y e1 e2

y

e1 e2 16

q

e2 4

Ž e 1 e u y e 2 ey u . Že

u

yu 2

q e1 e2 e

ˆ

ˆ

sin Ž j 1 y j 2 . e G Ž z 1 .q G Ž z 2 .

.

4

Ž e u y e 1 e 2 ey u . 2 ŽGˆ Ž z . q Gˆ Ž z . . e qi 4 Ž e u q e 1 e 2 ey u . 1

ˆ

e2 G Ž z2 . q e1 e2

2

Ž e 1 e u q e 2 ey u . Že

u

yu 2

q e1 e2 e

ž

e1 4

ˆ

e 2 G Ž z1 .

ˆ

ˆ

/

cos Ž j 1 y j 2 . e G Ž z 1 .q G Ž z 2 . .

.

Ž 4.66 .

Since
Ž 4.67 .

Therefore, such solution corresponds to the scattering of a soliton and a anti-soliton. 4.5. The breather solutions The space-time dependence of the solutions Ž4.41. – Ž4.46. are given through the exponentials exp Ž g l Ž x y Õ l t . . , l s 1,2. Therefore, in order to have solutions periodic in time one needs g l Õ l to be pure imaginary. Writing z l s < z l < e i u l , one observes from Ž4.28. that for that to happen one needs < z l < s 1, and so g l Õ l s yimc sin u l . In order for the solution to present just one frequency one needs to have sin u 2 s "sin u 1. We do not want z 1 s z 2 because Ž4.41. – Ž4.46. becomes a one-soliton solution. In addition, we do not want z 1 s yz 2 because the solution Ž4.41. – Ž4.46. will present singularities. Therefore, the only possibilities of having solutions periodic in time is to have z1 s e i u ;

z 2 s e eyi u ;

e s "1 .

Ž 4.68 .

Then one gets from Ž4.27. and Ž4.28. that

G Ž z1 . s g x q i v t ,

GŽ z2 . s eŽ g x y i v t . ,

Ž 4.69 .

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

627

with

g ' mc cos u ,

v ' mc sin u .

Ž 4.70 .

4.5.1. The case e s 1 We are interested in the cases where the field w is real, and so from Ž4.10. we need
)

Ž 4.71 .

and ngZ ,

u q jqŽ1. q jyŽ2. s np ,

Ž 4.72 .

where we have denoted Ž i.

aŽ"i. ' < aŽ"i. < e i j " ,

i s 1,2 .

Ž 4.73 .

It follows that the conditions Ž4.71. and Ž4.72. are sufficient to make t 1 s t 0) , and from Ž4.41. one gets

t 0 s 1 q Ž y1 . q iS

ž

nq 1

Ž y1.

ž

S Ry

1

cos u

sin u

R cos 2u

nq 1

ž

/

Rq

1 R

/

e 2 x mc cos u y S 2 tan4u e 4 x mc cos u

/

y 2cos Ž 2 v t q jqŽ 1 . q jyŽ 1 . . e 2 x mc cos u ,

Ž 4.74 .

where the integer n is the same as in Ž4.72., and we have introduced Ž1. < < Ž1. < S ' 14 < aq ay ;

R'

Ž1. < < aq Ž2. < < aq

.

Ž 4.75 .

Therefore, using Ž2.16. and Ž4.10. one gets that the topological charge of such breather solution is Qtopol .s 2 Ž y1 .

nq 1

,

Ž 4.76 .

with n given by Ž4.72.. Now, if besides the reality of w , one imposes the condition Ž2.2. on the spinors, one gets that the parameters have to satisfy Ž1. Ž2.) i u ay s yec aq e ;

Ž2. Ž1.) yi u ay s yec aq e ,

Ž 4.77 .

which to be compatible with Ž4.71. and Ž4.72., one needs exp Ž i Ž u q jqŽ1. q jyŽ2. . . s ysign ec . Then, the topological charge becomes Qtopol .s 2 sign ec .

Ž 4.78 .

Consequently, we have for the breather solutions an effect similar to what happens in the two-soliton solutions Žsee discussions below Ž4.38. and Ž4.65... For w real we have breathers with topological charges "2. However, if one imposes the reality condition Ž2.2. on the spinors, one gets that only one charge is allowed.

628

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

4.5.2. The case e s y1 One can check that for the choice e s y1 in Ž4.68. one cannot obtain nontrivial solutions such that w is real. However, one does have that w is asymptotically real. It is quite easy to verify that the topological charge vanishes for any choice of the parameters aŽ"i. . So, Qtopol .s 0 ,

for e s -1, and any aŽi. " , i s 1,2.

Ž 4.79 .

4.6. The time delays Solitons are classical solutions that travel with constant speed without dispersion and that keep their form under scattering, the effect of it being only a phase shift or a displacement in its position. We now show that the solitons we have been working with are true solitons and indeed fulfill the above requirements. We shall calculate the so-called time delays of the scattering of two solitons, using the procedures of w25x. We consider two solitons that in the distant past are well apart, then collide near t s 0 and then separate again in the distant future. Therefore, except for the region where the scattering occurs, the solitons are free and so travel with constant velocity. Let us denote the trajectories of one of the solitons before and after the collision as Žsince the velocity is the same. x s Õt q x Ž I .

and

x s Õt q x Ž F . .

Ž 4.80 .

The lateral displacement at fixed time is measured by

DŽ x . ' x Ž F . y x Ž I . .

Ž 4.81 .

The time delay is defined by

DŽ t . ' t Ž F . y t Ž I . s y

DŽ x . Õ

,

Ž 4.82 .

with the intercepts of the trajectories with the time axis being given by t Ž F . s yx Ž F .rÕ and t Ž I . s yx Ž I .rÕ. The lateral displacement and the time delay are not Lorentz invariant, and so we consider the invariant E D Ž x . s yp D Ž t . ,

Ž 4.83 .

with E and p s ÕE being the energy and momentum of the soliton, respectively. Since E is positive it follows DŽ x . has the same sign in any reference frame, with only its strength being frame dependent. The time delay on the other hand may change the sign under Lorentz transformations. One can show that the lateral displacements and time delays for the two solitons participating in the collision have to satisfy w25x E1 D1 Ž x . q E2 D2 Ž x . s 0 ;

p 1 D1 Ž t . q p 2 D2 Ž t . s 0 ,

Ž 4.84 .

with the sub-indices i labeling the quantities associated to particle i. Notice therefore that, since the energies are positive, the lateral displacements have opposite signs. Clearly, in the center of momentum frame Žcomf., where p 1 q p 2 s 0, the time delays are equal, i.e. D1Žcomf . Ž t . s D2Žcomf . Ž t .. Therefore, from Ž4.83. we have that E1Žcomf .D1Žcomf . Ž x .rp 1 s yE2Žcomf .D2Žcomf . Ž x .rp 1 s yD1Žcomf . Ž t . s yD2Žcomf . Ž t .. Consequently, since DŽ x . has the same sign in any frame, it follows that, if particle 1 moves

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

629

to the right faster then particle 2 Žsuch that p 1 is positive in the comf., then ŽyD1Ž x .., D2 Ž x ., D1Žcomf . Ž t . and D2Žcomf . Ž t . all have the same sign. The physical interpretation of that sign is related to the character Žattractive or repulsive. of the interaction forces. Indeed, if the force is attractive then particle 1 will accelerate as it approaches particle 2 and then decelerate. That means that D1Ž x . is positive and so the common sign negative. Therefore, attractive forces lead to a negative time delay in the center of momentum reference frame, and clearly repulsive forces a positive time delay. These considerations assume that the two particles pass through each other, and there is no reflection. However, when the masses of the two particles are equal there is the possibility of occurring reflection. Let us now evaluate the time delays for the two-soliton solutions given in Ž4.41. – Ž4.46.. We choose the particle 1 to move faster to the right than particle 2, i.e. Õ1 ) Õ 2 , with Õ1 ) 0, and therefore from Ž4.28. and Ž4.29. < z 1 < - < z 2 < or u 1 - u 2 . We then track the soliton 1 in time w25x, i.e. we hold x y Õ1 t fixed as time varies. Then one gets x y Õ 2 t s const.qŽ Õ 1 y Õ 2 . t, with const.s x y Õ 1 t. We then get that, if e 2 s 1, e G 2 Ž z 2 . ™ 0 as t ™ y`, and e G 2 Ž z 2 . ™ ` as t ™ `. For the case e 2 s y1 the limits get interchanged. Therefore, taking e 2 s 1, one can check that the solution Ž4.41. – Ž4.46. becomes, in the limit t ™ y`, the one-soliton solution Ž4.35. with the identifications aŽ1. " ' a " and z 1 ' z. Now, in the limit t ™ `, one can also verify that the ratios t 0rt 1 , t Rrt 0 , t Lrt 1 , t˜ Rrt 1 and t˜ Lrt 0 for the solutions Ž4.41. – Ž4.46. tend to the corresponding ratios for the one-soliton solution Ž4.35. with the same identification of parameters, and with the replacement e G 1Ž z 1 . ™

ž

z1 y z 2 z1 q z 2

2

/

e G 1Ž z 1 . .

Ž 4.85 .

The only difference being the fact that the ratio t 0rt 1 gets a relative minus sign, meaning that the w field gets shifted by p Žsee Ž4.10.. during the scattering process. Then one observes from Ž4.10. – Ž4.11. that the relevant effect of the scattering on the solutions for the fields w , c and c˜ is a lateral displacement of the soliton 1 given by

ž

g 1 Ž x y Õ1 t . ™ g 1 x y Õ1 t q

1

g1

ln

ž

z1 y z 2 z1 q z 2

2

//

.

Ž 4.86 .

If one takes e 2 s y1 instead, one observes that the direction of the arrow in Ž4.86. reverses. Therefore, using Ž4.81., Ž4.28. and Ž4.29. one sees that the lateral displacement for the soliton 1 is given by

D1 Ž x . s y

e1 e2 mc cosh u 1

ln

ž

e Žu 1y u 2 . r2 y e 1 e 2 eyŽ u 1y u 2 .r2 e Ž u 1y u 2 .r2 q e 1 e 2 eyŽ u 1y u 2 .r2

2

/

.

Ž 4.87 .

Since e 1 e 2 s "1, one observes that D1Ž x . is in fact independent of such signs, and so

D1 Ž x . s y

1 mc cosh u 1

ž ž

ln tanh

u1 yu2 2

2

//

.

Ž 4.88 .

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

630

Notice that the solutions Ž4.41. – Ž4.46. are symmetric under the interchange of the indices 1 and 2 of the parameters aŽ"i. and z i . Therefore, if we track the soliton 2, i.e. keep x y Õ 2 t fixed as time varies, but under the same kinematical conditions, i.e. Õ 1 ) Õ 2 , with Õ 1 ) 0, then we obtain that 1

D2 Ž x . s

mc cosh u 2

ž ž

ln tanh

u1 yu2 2

2

//

.

Ž 4.89 .

If we reverse the kinematical conditions, i.e. take Õ 2 ) Õ 1 , with Õ 2 ) 0, then the signs of both Di Ž x ., i s 1,2, reverse. The mass of the one-soliton solutions is given in Ž4.39., and therefore the energies of the solitons are Ei s 2 kmc cosh u i , i s 1,2. Consequently, one sees that the Di Ž x .’s do indeed satisfy Ž4.84., i.e.

ž ž

E1 D1 Ž x . s yE2 D2 Ž x . s ysign Ž Õ 1 y Õ 2 . 2 k ln tanh

u1 yu2 2

2

//

.

Ž 4.90 .

In addition, using Ž4.82., Ž4.88. and Ž4.89., one gets that the time delays are given by Žassuming Õ 1 ) Õ 2 , with Õ 1 ) 0.

D1 Ž t . s y D2 Ž t . s

1 mc sinh u 1 1

mc sinh u 2

2

u1 yu2

ž ž // ž ž //

ln tanh

ln tanh

2

u1 yu2 2

;

2

.

Ž 4.91 .

Notice that the hyperbolic tangent varies from y1 to 1 and therefore the logarithm of its square is always negative, and so from Ž4.88. one sees that D1Ž x . for Õ 1 ) Õ 2 , with Õ 1 ) 0, is positive. Therefore, from the considerations made above we conclude that the forces between the solitons is attractive. In addition, it is independent of their topological charges. In fact, the time delays we have obtained coincide with those of the sine-Gordon theory by identifying k with a positive constant multiplied by the inverse of the square of the sine-Gordon coupling constant. Acknowledgements H.S.B.A. is supported by a Fapesp grant, and L.A.F. is partially supported by CNPq. The authors are grateful to J.F. Gomes, M.A.C. Kneipp, D.I. Olive, J. Sanchez Guillen, ´ ´ G. Sotkov and A.H. Zimerman for many helpful discussions. Appendix A. The zero curvature The equations of motion of theory Ž2.1. can be represented as a zero curvature Ž4.1. with connections given by w9x Aqs yB Ž E2 q F1q . By1 ,

Ays yEy B By1 q Ey2 q F1y ,

Ž A.1 .

where Bse

iw H 0

ž e

ny

i 2

/

w C

eh Q ,

E " 2 ' 14 mc H " 1 ,

Ž A.2 .

H.S. Blas Achic, L.A. Ferreirar Nuclear Physics B 571 [PM] (2000) 607–631

631

and 0 1 F1q s imc Ž c R Eq q c˜R Ey .,

(

˜ 0 F1y s imc Ž c L Ey1 q y c L Ey . ,

(

Ž A.3 .

We have written the Dirac spinors as

cs

cR ; cL

ž /

c˜ s

c˜R

ž / c˜L

,

Ž A.4 .

n and have denoted by H n , E " , D and C the Chevalley basis generators of the sl Ž2. affine Kac–Moody algebra. The commutation relations are

w H m , H n x s 2 m C dmq n ,0 , m

n H , E" m n Eq , Ey m

mqn s "2 E " mqn

sH

,

q m C dmqn ,0 ,

m w D , T x s m T m , T m ' H m , E" .

Ž A.5 . Ž A.6 . Ž A.7 . Ž A.8 .

The generator Q is the grading operator for the principal gradation and given by Q ' 12 H 0 q 2 D. References w1x w2x w3x w4x w5x w6x w7x w8x w9x w10x w11x w12x w13x w14x w15x w16x w17x w18x w19x w20x w21x w22x w23x w24x w25x

C. Montonen, D.I. Olive, Phys. Lett. B 72 Ž1977. 117–120. C. Vafa, E. Witten, Nucl. Phys. B 431 Ž1994. 3–77, hep-thr9408074. N. Seiberg, E. Witten, Nucl. Phys. B 431 Ž1994. 484–550, hep-thr9408099. N. Seiberg, E. Witten, Nucl. Phys. B 426 Ž1994. 19, hep-thr9407087. A. Sen, Phys. Lett. B 329 Ž1994. 217–221. A. Sen, Int. J. Mod. Phys A 9 Ž1994. 3707, hep-thr9402002. S. Coleman, Phys. Rev. D 11 Ž1975. 2088. S. Mandelstam, Phys. Rev. D 11 Ž1975. 3026. L.A. Ferreira, -L. Gervais, J. Sanchez Guillen, M.V. Saveliev, Nucl. Phys. B 470 Ž1996. 236–288, ´ hep-thr9512105. E. Witten, Nucl. Phys. B 145 Ž1978. 110–118. L.A. Ferreira, J. Luis Miramontes, J. Sanchez Guillen, J. Math. Phys. 38 Ž1997. 882–901, hep´ thr9606066. D.I. Olive, N. Turok, J.W.R. Underwood, Nucl. Phys. B 401 Ž1993. 663, hep-thr9305160. D.I. Olive, N. Turok, J.W.R. Underwood, Nucl. Phys. B 409 Ž1993. 509. D.I. Olive, J.W.R. Underwood, M.V. Saveliev, Phys. Lett. B 311 Ž1993. 117, hep-thr9212123. S.J. Orfanidis, R. Wang, Phys. Lett. 57B Ž1975. 281. S.J. Orfanidis, Phys Rev. D 14 Ž1976. 472. J. Kogut, D. Sinclair, Phys. Rev. D 12 Ž1975. 1742–1753. E. Abdalla, M.C.B. Abdalla, K.D. Rothe, Non-Perturvative Methods in Two-Dimensional Quantum Field Theory ŽWorld Scientific, Singapore, 1991.. H. Aratyn, C.P. Constantinidis, L.A. Ferreira, J.F. Gomes, A.H. Zimerman, Nucl. Phys. B 406 Ž1993. 727, hep-thr9212086. A.N. Leznov, M.V. Saveliev; Group-Theoretical Methods for Integration of Non-Linear Dynamical Systems, Progr. Phys. Ser. Vol. 15 ŽBirkhauser, Basel, 1992.. ¨ R. Hirota, Direct methods in soliton theory, in: Solitons, Topics in Current Physics, R.K. Bullough, P.S. Caudrey, eds. ŽSpringer, Berlin, 1980. p. 157. R. Hirota, J. Phys. Soc. Jpn 33 Ž1972. 1459. V.G. Kac, Infinite Dimensional Lie Algebras, 3rd ed. ŽCambridge Univ. Press, Cambridge, 1990.. P. Goddard, D. Olive, Int. J. Mod. Phys. A 1 Ž1986. 303–414. A. Fring, P.R. Johnson, M.A.C. Kneipp, D.I. Olive, Nucl. Phys. B 430 Ž1994. 597–614.