HAL Id: jpa-00246328
https://hal.archives-ouvertes.fr/jpa-00246328
Submitted on 1 Jan 1991
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
La relation étoile-triangle d’un modèle elliptique ZN
M. Gaudin
To cite this version:
M. Gaudin. La relation étoile-triangle d’un modèle elliptique ZN. Journal de Physique I, EDP Sciences,
1991, 1 (3), pp.351-361. �10.1051/jp1:1991137�. �jpa-00246328�
J
Phys.
I 1(1991)
351-361 MARs 1991, PAGE 351Classification
PhysicsAbswttctg
05.20 oZ9o
La relation 4toile-triangle d'un mod41e elliptique ZN
M. Gaudin
Service de
Physique th6Orique(*)
deSaclay,
F-91191 Gif-sur-YvetteCedex,
France(Received
16July
199fttccepted
20November1990)
R£sum6. On donne une preuve de la relation
6toile-triangle
pour uneg6n6raliSation elliptique
du moddle de Fateev et Zamolodchikov de
Sym6trie ZN.
Abstract. We
give
aproof
Of theStar~triangle
relation for anelliptic generalisation
of the Fateev and Zamolodchikov model with SymmetryZN.
Pour un mod61e de faces
(IRF~
enmdcanique statistique
des rdseaux bidimensionnelsii, 2]
l'6quivalent
de la rdation deYang-Baxter
cst la relation del'hexagone
entre lespoids
assoc16s aux vertex, fonctions des variables des facesadjacentes.
Cette relation temaire est traduite fid61ement par les sch6mas ci-dessous ets'exprime
ainsi:~ (ablU3lgc) (gclU2led) (ag lull fe)
+
ij (bclUilgd) (ablU2l fg) (fg lU3led).
V
a,b,c,d,e,f
EZN (1)
(*)
Laboratoire de l'lnstitut de Recherche Fondamentale du Commissariat Il'Energie Atomique.
Chacun des trois
poids U«(a
=1, 2, 3)
cst fonction dequatre
variables sunZN.
a a
~ b u j
U~ U~
u U~
i
c U~ e C ~
d d
a a
~ U
f b f
~ ~l ~
~3
c ~
c e
d
d
Faisons
l'hypoth6se
de factorisation despoids Uo,
de sorte que les variables sed6couplent
selon les deuxdiagonales
d'un vertex. Nous posons, defawn asym6trique
(ab lU3lgc)
=W3(a,C) V3(g, b) (ablUilgc)
=
Wi(c,a) Vi(b,g) (2)
(ablU2lgc)
=W2(b,g) %(a,C),
de sorte
que
la rdation del'hexagone (I)
sed6compose
en deux rdations6toile-triangle ittd6pen-
dantes
possddant
une invariance circulaire formelle~ V3(e, g)Vl(c,g)V2(a,g)
#W3(a,c)Wl(e,a)W2(c,e). (3)
~
L v3(g,b)vi(g, f)v2(g,d)
=W3(f,d)Wi(d,b)W2(b,f). (4)
g
oh
fit
est une cottstante(ind6pendante
des varhbles sunZN).
Los relations(3)
et(4)
se r6duisent I uncseule,
si nous faisonsl'hypothdse
desym6trie
two(a,b) ((a,b)
=W«(b,a)
~~~=
((b,a)
Nous nous
proposons
de trouver une solution de la relation6toile-triangle
dutype d'onsager (3), qu'on pouvait
d'aieursprendre
commepoittt
ded6part.
Nous I'£crirons sous la formeNW (ai a~a3)
= 4~(ai a2a3) (6)
N°3
RELAJTON#TOILE~TWANGLE
353Soit
fifwl (a2> a3) W2 (a3>
alWI (al, a2)
"£
VI(al a)
V2(a21a)
V3(a3> a) (7)
a
oh nous
supposcrons
que lesarguments
a«, a varient sun des ensemblesZN
translat6s par desparamdtres
ind6termittds u, u« E Ca = lt+n
,
n E
ZN
(~)
au = lta+nu
, no E
ZN.
Dans un
premier temps cependant,
nous relaxons la strictep£riodicit6
Nqu'irnpliquent (8)
pourV et
W,
en larempla§ant
par unequasi-p6dodicit6,
c'est I dire que V(a«,_
estmultipl16
par unfacteur constant darts une translation N.
( (an
+N, a)
=e'~~~
Vn(an, a) (9)
Nous
supposons que
leproduit fl~ ( (an, a)
est eflectivemcnt dep6riode
N en a, afin que lasomme soit d6finic. Il sulfira ensuite d'eflectuer la transformation
V«
-~ exp -An
an pourobtcnir une solution sun
ZN
,
ou
N~p6riodique
en an.Dans cette
hypoth6se,
suivant une m6thode de double r6currenceanalogue
darts sonprincipe
celle uti1is6e en
(3)
et(6),
marsportant
sun desobjets difl6rents,
nous allons montrer l'existence d'une solutionde(?),
tellequc V,
W soicnt des fonctionspaires
etsym6triques
de lcursarguments,
ainsi d6finies[2,
6]Vi
(al, a)
=fl
Gl~
+(i
+ al + a(10)
~ 2
WI (a2, a3)
"il
G()
+ % + a2 +3) (11)
~
ok
to,
~od6signent
sixparamdtres suppldmentaires. ~ (Wa)
est unproduit
de 4 fonctions G etse
pr6sente
donc commc unproduit
dutype g(a
+b)g(a b)
oh g estpaire.
La fonction
m6romorphe G(z), qui
est uneg6n6ralisation elliptique
de la fonction Gammad'Eulcr,
est essentiellement d6finie par la r£currenceG(z
+I)
=°i ()) G(z)
=
°(z)G(z) (12)
ok
91(z jr)
est la fonction thdtairnpaire
de"pdriodes"
x et xr. Losprem16res propr16tds
deG, appdde rr,N
en r6f6rence[4],
sent lcs relatiotts fonctionnelles :G(z)G(i z)91(KzlNr)CN(r)
= 1,
(13)
G(z
+N)G(I z)
=(14)
Nous introduisons maitenant les fonctions auxifiaires sun
ZN
,
not6es
v et w rdsultant de
l'applica~
lion de
l'op£ratcur
translation Y sun V et W,
Y
f(a)
=f(a
+1).
U(a, b)
=~(j( ~~~
=U(-a, b)
=U~~(a,-b i), (is)
W(a,b)
=~'(j( ~~~
=W(-a, b). (16)
Ce sent des fonctiotts
paires
de leurpremier argumenL
Prettve de la relation
NW
= 4~.
L'id6e est de montrer que tv et 4~ ob6issent am trois mdmes relations de r6currence
lo
4~= 0
sur
chaque paire
devariables,
et sent doncproportionnelles
si lacyclicit6
entraine l'unicit6 de l'6tat "invariant" solution dek«4l
= 0.
d'apr6s (10, II), (15)
et(16),
nous avons9
(a
+ al +(i
+))
h(al >fi
+ a +j)
~~
~~~'~~ ~
9
(a
+ alfi
+ h(al, -fi
+ a +~~~~
2 2
w~ ~~~ ~~~
j
°2
+ ~3 + ~i +)
h~3
~i + ~2 +
)~
,
ji~j
~ ~~ ~ ~~ ~ ~
2
~ ~~' ~ ~ ~~ ~
2
ok la fonction h de
p6riode
N dans ses deux variablesest
paire
etantisym6trique
c'estl'analogue elliptique
de la formez~ y~.
Identitk.
Entre les fonctions
h,
il est facile de prouver l'identit6 suivante :£ eie2h (a,
al +(i)
h(a,
a2 +f2)
h(al fi,
a2f2)
+ 0(20)
ei,e~
La somme sun les
signes
El e2, "indus" dans(1, f2, comprend
4 termes.Apr6s
mise en facteur dela
quantit6
fl 9((a)9( (al
+fi 9( (a2
+f2)
ei e~
Il reste montrcr
£
El e2(sn~
asn~ (al
+fi )) (sn~
asn~ (a2
+(2))
~~~~
(21) (sn~ (al (i sn~ (a2 f2))
+0,
ce
qu'on
v6riIie imm6diatement pour les coefficients desn4, sn~,
et du terme constant.Nous 6tablissons maintenant trots rdations cntre les vo
(a, ).
Posant par commodit6
a[
" au +§>
(22)
N°3 RELAJTON
#TOILE~TWANGLE
355nous avons
d'apr~s (17)
vi
(a, al)
" h(a,fi
+a[) /h (a, -fi
+a[) (23)
Divisant les
quatrc
termes de l'identit6(20),
avec a~ -al,
par h(a, -fi
+a[)
.h(a, -f2
+a[),
nous obtenotts de
(20)
et(23)
la relation cntrc vi et v2R3(a)
= VI
(a, al)
U2la, a2)
h(a~ fl> a~ f2)
+ h(a~
+fl>
~~ +f2)
(24)
~Ul
la,
al h(a~ fl a~
+f2)
~2(~>~2)
~(~~
~fl
~~f2)
" 0
Nous avons ainsi trots identit6s
Ra(a)
+ 0(25)
Consid6rons alors la
quantit6
16 donndepar
le second membre de(7). D'apr~s (25)
nous avons 6videmment£ R3(a) Vi (al, a)
V2(a2, a)
V3(a3, a)
% 0(26)
a
et
d'aprds (15)
et(24)
h
(a[ fi, a[ f~) £ Vi (ai
+ ~,a) 16 (a2
+ ~,a) I (a3, a)
+ e 0(27)
a
soit
1i34l
= 0
(28)
oh
k3 d6signe l'op6rateur agissant
sun les fonctions de al, a2k31b
e h(a[ fi, a[ f2) YiY21b
~ ~
(~~
~~l,
~~ ~f2)
~b(29)
-h(a[ -fi,a[+f2)Yilb-h(a[+fi,a[-f2)Y21b
La fonction 16
(ai a~a~)
v6rifie donc les trots relatiotts de r6currencekolb
= 0
,
a = ~,
2,
3.(30)
Les relatiotts r6currentes
(29),
ou lesop6rations k s'expriment
sous une forme int6ressante en introduisant la translation t tellequc
tilb (al)
"16(al
+ 2 ouS
=t$, (3~)
posant
16' = iit2t31b
= 16(al
i
al al)>
k3
=
ii t2R3 (32)
la relation
(29)
s'£ctitR34l'e £ eie2h (al fi,
a2
f2)t[~ t[~ lb'=
0(33)
ei,e2
avec
l'exprcssion
des nouveauxop6ratcurs
R3
=QiP2 Q2Pi
et circ.(34)
ok
(Q«, Pa ddsignent
trotscouples d'op6rateurs
s'6crivantd'aprds (19)
:loo
=91(a~ t«) i~ ol (a«
+t~) iii j~~~
~o
" 9~(~a ~o)
~° ~~(~a
~~°) ~a~
On
peut
noter incidemment que ce"spineur",
pour les valeurs duparam6tre (, (
+ une demip6riode, joue
un r61e dans la construction du '~vecteur"S«,
base del'algdbre
deSklyanirt~) (une
deformation
elliptique
desquatemions)
en vertu de la formuleho(z, y)
= e«~i(z)qo+i ~b(y) (a
=o,
~,2, 3)
aVeC
~i(Y)
lb(Y)
"~((Y)~
i16 "~~'21b>
fu #
(~, ~,i, ~),
f«qo+i =
fl, j (ik«~ «3), j
(I«~ k«3), 1)
pour
k =0,
q se r6duit hq~ =
ii,
-«3, «2,al)
L'indice de
reprdsentation
del'alg6bre So,
v = I +j,
est donn6 par2f
= v, modu?o unep6riode.
Prettve de
ktv
= 0.
Ayant
6tabli les r£currences(30), k4l
=
0,
nous montrons que lepremier
membre de(7)
v6rifie ces mdmesr6currences,
c'est 3 direkit
= 0.
(36
D'apr~s
la d6finition(16)
nous avons~~
'°2 ~~3>~l~'°3 ~~2'~l~'~
j~2~i # WI ~~3>~2~ W3 ~~l<
~2~.~i (~~)
YiY2il
= w3(a2
+1, al)
w3(aia2)
w2(a3ai)
wi(a3, a2)
iV(38)
Utilisant les
expressions (18)
des wnous avons
W3
(a2
+1,
ai w3(aia~)
+ q2(ai
+a~)
+fl
~~
~
~
~ ~~ ~j
(40)
+ 9
aj+aj-~3+-
2
N°3
RELAJTON#TOILE-TWANGLE
357L'6galit6
3prouvcr (36),
s'6crit doncd'apr6s (29), (37-38)
et(40)
i~
(al
+ a2 W2(a3al
WI(a3a2)
h(a~ fl, a~ f2
+ ~ (~~ ~fl
~~ ~f2
~W3
(a2<
al W2(a3<
al h(a~ fl, a~
+f2) (~~)
-w3
(al, a2)
wi(a3, a2)
h(a[
+fi, al f2)
" 0.ou,
apr~s
substitution desexpressions (39)
pour les w~2
(al
+a2)
h(a3, a[
+~2)
h(a3, al
+ ~i h(a[ fi, al f2)
+ h
(a3, a~ ~2)
h(a3 a~
~l h(a~
~~l, a~
~ ~2~~)
~W3
(a2,
al h(a3> a~
~~2)
h(a3 a~
~l h(~~ fl,
~~ ~f2
-w3
(ai, a2)
h(a3, a[ ~2)
h(a3, al
+ ~i h(al
+fi, al f2
" 0.
Or
l'6galit6 (42)
coincidera avec l'identit6(20)
£
El e2 h(a3, a[
+~2)
h(a3, al
+ ~i h(a[
~2,al
~i +0, (43
s'il existe une fonction C
(al,
a2 telle que l'on ail laproportion
~2
(al
+a2)
h(a[ fi, al f2)
" C-h(a[
~2,al ~i)
~
(~~
~fl
~~ ~ ~2 " C.h(~~
~ ~2, ~~ ~ ~l ~~)
w3
(a2,
al h(a[ (i, a[
+(2)
" C-h(a[
~2,al
+ ~iw3
(al, a2)
h(a[
+fi, a[ f2)
" C-h
(a[
+ ~2,a[
~iOn obtient de
(44-2)
9
(a[
+al
+fi
+f2
(45)
~l~~~~~
9
(a[
+a[
+ ~i +~21'
3 condition de choisir la relation
fl
+ ~l"
f2
+ ~2.(~~)
On obtient ensuite de
(44-1)
qui
c
de ~2onnde
(40), tion
de
~~ ~
~
~~~
~ ~~ ~ ~3 ~f«
+ ~o=
Eta
= ~
£
~« =
).
~~~~« o
Il restc enfin I v6rifier que les relations
(44-3)
et(44-4)
sont coh6rentes avecl'cxpression (39)
des w3,compte
tenu des conditions(49).
Nous avons donc d6montr6 que, si les trois
param~tres f«
sont lids par la relation~ f~
= ~, dansl'hypoth6se
que leproduit fl~
V(an,
a soit dep6riode
N en a, les fonctions 4l et lV ob6issentau mEme
sysdme
de double r6currence(30), (36).
Los
poids
V etW,
formules(10)
et(11), correspondent
auk fonctions v et w donn6es par hla, fi
+ al +~ ~~ ~
2
l 1
h a,
-fi
+ al +(50)
2
~ ~~ ~
h
(a3,
a2fi
+ ~)~' ~ h
(a3,
a2 +fi
Que
reste~t~ilprouver pour
condureque
4l estproportionnclle
lV ?(relation (6)).
Il est dair que, si 4l et iV ob6issent aux mdmes
recurrences,
il en sera de mdme pour les fonctions 4lA et iVA modifi6es par le mdme facteurexponentiel
4l~ (aia2a3)
"e~(~i~i+~2~?+~3°314l (aia2a3) (5~) Supposons
que les constantesA~
et lesparam6tres
ua, upuissent
due choisis de sorte que4l~
soit de
p6riode
N danschaquc
variable a~. Alors les nobop6ratcurs
de r6currence modifids sentreprdsent6s par
des matricesfinies,
de dimension N x N x ~. L'unicitd du vectcurpropre
commun
4l~,
relatif la valeurpropre z6ro,
ou encore lanon-d6g6n6rescence
de cette valeurpropre, 6quivaut
l'existence d'un seul "invariant" ou stat dent le momentd6form6,
R=
Q
AP,
est nul
[7j.
Lacompatibilit6
des 3 conditions est assur6e par les relations de commutation issues de(34)
et(35)
:~Ri R2]
=[Q3, P3] R3
et circ.(52)
Dans cette seule
hypothdsc, qui
estprobablement
v6rifide enposition g6n6rale
desparam6tres,
il sulfitd'imposer quatre
conditionscydiques ZN,
pour prouver la relation(7),
okfit
estind6pen-
dant des n, n~.
Conditions
cycliqttes.
La
premidre
est la condition sun le sommand de 4l :fl~
V~(a~, a)
=N-p£riodique
en a.Or,
nous avotts~
j~j~ ~ll~
= vi
jai,
a +n) (53)
1>
n=o
et, en vertu des formules
(13)
et(14),
V
jai,
a +N)
~
~
°~~' ("
~ "~ ~ ~~ ~2
~~j
~ ~~~ ~~
j~~~
+ 91
l~ Iv
+ vi<i
+l
Nrl
La
premi~re
conditioncydique
s'6crit donc3
9N (u
+ no +fa
+RR
=
155)
o=1+
9N u+u«-fo+j)
N°3 RELAJTON
#TOILE-TWANGLE
359off l'on a
adopts
la notationrapide 9N(u)
=91(Ku (NT).
Reste
expdrner que
e~~W~WV(a~, a)
est dep6riode
N en a~, ou autrementdir, que
les fonc- tions 4l et iV ant les mdmesmultiplicateurs
dans les trattslatiotts N. Cequi
nous donne les troisconditions
cydiques supp16mcntaires
:fl ~N (Ul
+ U2f3) 9N (Ul
+ U3f2)
~
fl ~~
~~
~ ~ ~ ~~ ~
~
~NAI ($6)
~
~~
~~~ ~ ~~ ~ ~~~~~
~~~ ~ ~~ ~~~~~
~'~ ~~
~ ~ ~~ ~
lblles sent les
quatre
relations entre les 4param~tres
no, n, lesfa
6tant donn6s. Onpeut
encoredcrire ces conditions de
sym6trie ZN
sous la formehN (u
+(«
+ ,u«I
fl i
" 1.
(57)
«
hN (-u
+(~
+ 2-,uo)
ii iii ii iii ii
iii ii iii Ii
ii i , I
158~
avec la d6finition
hN(z,
Y) =°i(KzlNr)°i(KYINr) (59)
=
9j(xziNr)9j(xyiNr) jsn2 (21<Nz kN) sn~ (21<NY kN )i
xkN
Elles admettent des solutions 6vidcntes comme no
= u = 0 et no = u =
),
mais il en existeprobablement
d'autresqu'on
doitpouvoir
suivre par continuit6partir
de l'une ou l'autre limite circulaire.Limite circttlaire.
Los relations limites
(q
-0,
r - cc, 91 -~ sinKu)
nous donnentfl(cos
2x(u
+to)
+ cos2xu«)
=
(u
--u).
«
~°~~
(cos
2x(ui f3)
cos2xu2) (cos
2x(ui f2)
cos2xu3)
x(60)
x
(cos
2x(ui fi
+ cos2xu)
=(ui
- -ui
et circ.
En dehors des deux solutions
ho16es,
uo = u = 0(ou ),
mcntionn6esplus haut,
nous avonsobtenu, apr~s
un calcul un peulong,
laparam~trisation
suivante des 4 conditionscydiques
cos
2xuo.cos 2xf«
= p cos 2xu(6~)
p(2p
+~)
cos~2xu
=
flcos 2xfo.
2
~
(62)
~
~
cos 2xu
=
flcos 2xu«.
2P
+~
oh,
lesto
slant donn6s avec~ to
= ~, p et u« restent fonctions duparam6tre
u. Onpeut
encore£ctire les relations
(61)
sons la formesin
~x (uo
+f«)
+ sin~x (u« f«) 2p
sin~xu
= I p.
(63)
La constante
An (u«, u)
est donn6e parl'cxpression
th 2
NAa)
= ~tg 2xuo tg
2xto. (64)
P +
de sorte que le
poids V~, N-p6riodique
darts les deuxarguments,
estV~ (a«, a)
=e~~WA«("W>"I-°AW(">"«lV (an, a) (65)
On a
~~ A« (u,
uo = 0 en vertu de(55).
ll serait utile d'examiner
proprement
les divers cas limites et lacorrespondance
avec les mo- d6les connus.Signalons
la limiteIm u = Im u~
= -cc, p -
~
(66)
lim
u~
u
-)
= v«2
e2~;(u~+j~j
~~2~i(u~-j«1
=
(67)
,
qui
est la "courbc de Fermat" d'un cas self-dual[2, 4, 8, 10].
lag6n6ralisation elliptique
de(61)
ou(63) pour param6triscr
lcs conditionscydiques (56)
n'cstpas
dvidente. Pour p=
I, eNA
=I,
lagdn6ralisation
de(63)
seraitsn~
21<(ua
+f«
+ 2 +sn~
21<(u« f~
+ 2 = 2sn~
21<u(68)
avec la notation
kN sn~ in kN)
"
(9)/9() (~
(NT)
cequi correspond l'dquation
5.17 en 2ref6rence
(4),
si l'on idcntifie lesparamdtres
2u dupr6sent
travail avec(u/2(), ((N
= Ii
),
dupr6cddent
;(vi /2()
et(u-1/2() correspondant
I2(u
+f)
et2(u f),
mars rien n'est encorev6r1fi6 ce
sujeL
Le lien entre les
poids
ici construits etl'interchangeur
A construit en(10)
selon la m6thode de Bazhanov [9] reste aussi Ipr£ciser.
N°3
RELAJTON#TOILE-TWANGLE
361Bibliograpbie
[1] BAXTER RJ.,
Exactly
solved models in statistical mechanics, A-P London(1982).
[2] FArEEV VA. and ZAMOLODCHIKOV
~B.,
Self-dual solutions of the startriangle
relations inZN
mod-els, Phys.
LetL A 92(1982)
37.[3] BAXTER R-J-, PERK J.H.H. and AU YANG
H.,
New solutions of the startriangle
relations for the chiral Potts model,Phys.
Len. A 128(1988)
138.[4] B-M- COY, J.H. PERK, S. TANG and C.H. SAU,
Commuting
transfer matrices for the 4-state selfUdual chiral Potts model with a genus 3uniformizing
Fermat curve,Phys.
Len. 125A(1987)
9.[~
E-K SKLYANIN, Somealgebraic
structures connected with theYang-Baxter equations. Representation
of quantumalgebra
translatedFknbHnal'nyiAnafih Ego l§ilazheniya
17(1983)
33-48.[fl
Au-YANGH.,
PERKJ.H.H., Onsager's
startriangle equations
: masterkey
tointegrability, lbnigushi symposium (1989).
,
[7~ BERNARD D. and LECLMR ~,
qUdeformation
ofSU(I,I)
conformal lAhrd identities andq-strings,
PUPT-1123(1989).
[8] BAXTER
R-J-,
Thesuperintegrable
chiral Potts model,Phys.
Len. A 133(1988).
[9] BAzHANov VV et STROGANOV
Yu.G.,
Chiral Potts model as a descendant of the six-vertex modelPreprint CMA-R34-89,
Aparahre
dansJ Stat.Phys.
[~0] M. GAUDIN, Sur la nouvelle solution deux
rapidit6s
des relations deYang-Baxter-
Note CEA N-2601 Mai1989;
Un descendant du mod61e des fruit vertex ?(1990)
soumis aufPhys.
Cet article a 6t6