Exercise 1.(b) Note
(X◦LYc(Z, W) +Y◦LXc(Z, W) −LX◦Yc(Z, W))i=cijkXjZmWn(Yl(∂lckmn) − (∂lYk)clmn+ (∂mYl)ckln+ (∂nYl)ckml) +cipqYpZsWt(Xr(∂rcqst) − (∂rXq)crst+ (∂sXr)cqrt+ (∂tXr)cqsr)
−ZmWn(cabcXbYc∂acimn−∂a(cibcXbYc)cmna +∂m(cbca XbYc)cian+∂n(cbca XbYc)cima). Then by seeing the terms underlined, we have
LX◦Yc=X◦LYc+LXc◦Y for all X,Y⇔cijk∂lckmn+cilk∂jcmnk −ckjl∂kcimn+ckmn∂kcijl−cikn∂mckjl−cmki ∂nckjl=0 and cabccde f =cab fcdec.
1
Textbook C.5 We have
p(z) = 1 z2+ 1
20g2z2+ 1
28g3z4+ 1
1200g22z6+O(z7)and ζ(z) = 1 z− 1
60g2z3− 1
140g3z5− 1
8400g22z7+o(z8). Then by (C.63), which can be checked by seeing their poles, we have
η∂ p
∂w +η0 ∂ p
∂w0 +ζ∂ p
∂z = −2p2+1 3g2
= −3
10g3z2− 1
84g22z4+O(z5) while the left hand side is
η( 1 20
∂g2
∂wz2+ 1 28
∂g3
∂w +O(z5)) +η0(1 20
∂g2
∂w0z2+ 1 28
∂g3
∂w0 +O(z5)). Then compare their coefficients we have
η∂g2
∂w +η0∂g2
∂w0 = −3
10g3×20= −6g3
and
η∂g3
∂w +η0∂g3
∂w0 = −1
84g22×28= −1 3 g22.
2
Textbook 3.5
By the Proposition 3.5, where the case for t1was done in class, we have µαψiα=
∑
k
Vikψkαand ηαβ=
∑
i
ψiαψiβ. Then the original problem
Vij =
∑
α,β
ηαβµαψiαψjβ
is equivalent to
Vij =
∑
α,β,k
ηαβVikψkαψjβ. Thus it suffices to show
∑
α,βηαβψkαψjβ=δkj. Write E := (ηij)i,jand P := (ψij)i,j. Then
∑
α,βηαβψkαψjβ =δkj⇔PE−1Pt= I⇔E=PtP⇔ηαβ=
∑
i
ψiαψiβ
which is given above.
3
Textbook 4.1
∂V
∂ui =
∑
a
∂V
∂ξa
∂ξa
∂ui
=
∑
a
−1
2(n+1)(2(ξ1+ · · · +ξn) +2ξa) · −1 (ξa−qi)λ00(qi)
= 1
(n+1)λ00(qi)
∑
a
ξa−ξ0 ξa−qi
= 1
(n+1)λ00(qi)· (−resp=∞(p−ξ0)λ0(p) (p−qi)λ(p))
= 1
(n+1)λ00(qi)· (n+1)
= 1
λ00(qi)
= −ηii. Hence it should be that
∂V
∂ui = −ηii.
4
Exercise :
Recall that under Type I Transf , ⇒ 22=2 ,< . In
So , ( Ja , Jp ) k ⇐ ( 2x ' 2k , Ja.
Ip
) = ( 2x .Ja . 2k .Jp ) = ( 2a .2p)=7q
⇒ £& is flat word , wit -Ti 2 , 7k ,
( Ja . Jp ,
Jr
>.< = (2x.2x.k.JP
) .5r) = (ax.fr
, 2x .HIJP
) )= car ,
2xnIi21
) Ja. Jp =tip Is
2k . 1Ja. Jp )=2xrlEx{ Ie
)< 2in ar.ae >
'Ia£r)x=CIp< 12×-21=682
=Eipye
, =tipper
= gap ,=Eip'
.=2i2p5rEtit
.Exercise B.2
⇐
call type I transf .
: I '= fd=
Intent
. ( a ##
in ) I "=}
Era = #IF +
IF
'EoEoTap =4&p
Now , for n=2 , Hap
)=lyIp|=l ;f
) I'=I⇐÷tz=%t4IfYH2-=t
'ii.
±
⇒t2=¥
.1.24 b : Fltity =
,d=tI Itt
'ittttilogttl
Then Fltitl = Gti
'iE2l=EcE' 121¥ )+#' I
logl# =¥¥
-¥ .l°gtF4
,Erika
2LEE
's'¥1
-etplugl
.E4/+IF'
HE 'E2I=÷Ey2ti
-logl
- El£=z-d=3
Exercises :
Chazy
eqn : r'" =6rr " - 9r'2
The cubic eqn : w3 +
Ezrltswttjvttiwtglr
"Cti=o - ( * ,Will ), WRCT ), W} LT ) : hoots of ( * )
W , + Wztwz =
¥
V if =}
( w, twztw } )% "
|
w ,wz + wzwz + wiwz = 33 V" ⇒ y '= g-(w , wztwrwztw 3 Wil- "
wiwzwz = It j " = . 4W , Wzw
,
w, twz twz =
}
y' = - ( w , wztwzw } tWiW3 )✓
liiwztwiirztwzwz + wziy + in, wzt W , if =z3 8 " = . bwiwzwz
|uYiIYwYiI'
11wwitwwi
'hnIiMwYiYI÷r" "+Er'
'2=-4
= .Err +
( w, wz + iwitnztwsiwiwzwWzwz twzw , JZ= wirwztwiw
}tw5wT+ Zwlwrwj
2W ,wyiwzt
+ 2 WPWLW} - 4 wpwzwz - 4W ,w5w}- 4 Wiwzwg
= wpw } + W}W } + wpwjh - 2 Wiwzwz -
swiwzwj
- ZWPWZW}⇒
time ; www.HI.tt
": :I÷
"we . . .gg a. ,
www.wg.wsw.p.qw.wawaw.w.wa. ,
)
hi, = - W, ( Wz tws ) + Wzw }
|
his = - wzlwitw }) t wiw } is solh of above linear eqn 17Wig = - Wg ( w, twz ) t W , Wz
Ex3i1_: .
:
a
}p= zcarpltisy
- 1*1Show that any solin of the system must be of the form §a=2xE :
pfi Jxsp = 2psa = Z
CIA
)§y. ⇒ 2&5p - 2p}a=oTherefore , Consider S : = Sadtd Then d3=
.2pS&dtBndtd=
0
Locally , 3 admits a primitive F sit . dE= S ⇒ 2aEdt ' = Sade ' ⇒ §&=2aF
(b ) 3£,. . ...
, 5a" : fundamental system of solh of the sysytem ( * I for a given Z
The corresponding function I '.. ... , F " are flat word , for the deformed connection
Flz ,,
pf⇒: (TheFBy',,. .Jacobian.(a), F,
=gradlEil=
we") matrixindeedknow formsthatJHIFIZaSi 1=system=g§
(!
(Tt÷
)of ) local= 1Sijword)( }n¥jiB. )non .issingularlinearly indep⇒ .Denote
2xi=I
. Io:=¥gI
Then 2.=2I÷
.Ip
=3!
IpFa;2j =
Foil #
5k)=2i3jk2~k
+ ST;2I=ZCij3k2k+sjk%i2I
Fa11 =
zcitjseoktsksi F%2I
To;2j + Z .2i .2j =
Z.ci?g2e=Z.Cij3ekJk=z.cfjsek2It5jsispsF2I
⇒
sjs
!FsY2I=o
⇒ H ii. K , Sjrsispsrk =o - iISI
) B invertible.'. Fskr to . ⇒ lfln . . ,F " ) is the flat word . in Dubwnn connect 'm
?
,Ex3= : n=3 , del . f-( t ) = tztitz +
Stitz
- ¥5 ritz ). ei.es . = Citfekckij =
yklceij
,7=18
.if
) + fCTzit3- )Ci, =L CE=Gi=o
Ciz = 432=0, Ciz =1 , = 423=0 C,
} Ciz
=L . C 'zz= Czzz = -£-428
'Cz}= Czzz = - z3Tzr 432=422 = 1 Glz = ( 333
5¥
" r'"42=(23
} = -¥8
" C322=(322 =¥
tir ' c323=43
, =¥3
r "433=433--0
(}z= ( 132=0
Recall that the associatively condition : ( ezez)es=ez( eze } )
(
, , , + ⇒footer '2=IY4r' Is:c
"caucus
+tjtitrr
" ⇒ r " . brr"t9r'2=oChYg !
)sail
.it?IEtztEIY:t=zkIiIidgYMsi2i5=z(!.i:.)s
make :# :
III. tins I '⇒f¥⇒I" Effi
;iM$
⇒Htt¥firt¥¥rH' to
"
→
f¥farf
"#
tin
- 1 au becomes (21:p
1---)§=o
2-irI" =V's
"The system 223ps -
Zcarptl
Sr - HI|@z+zu
) 5=0 - ( * I '123+ z V) 5=0 If § is a Solis of (* 1
'
, then (22 t ZU )
5=0
, ( 2stZV )5=0
⇒ [
2z+zU
,
2z*zU 2ztzV 2stzV
]§=o
~> [ , ] =oAlso, note That [ 2ztU , 23 TV ] = (22 + U ) l2stV ) - last VI ( 22+01
= 0.223+22V + U 23 + UV - 2322 - 2sU - VJZ - VU - L** )
ant '÷ir ¥r
"" ':.ln=t¥l;YIIII II : :o)
Tier"
Fair
'UV=
tfgtlbrr
". i"lagticrr :*
")Ehr
,)
° ° °seen
"
eater
"
tier
" , ur -w¥¥"
" " " +9" "qq.nl ;)
"+µ ,¥r
"Eitir
o oVU =
ttirv
tern"IYlr" agtzlrr µ
'- '.brrzv"l"l¥tir jeter
'"|
Plug 5 into C** ),
ask.jo/5+U?#v2_
-zuvs
+ zVU§ + [ v.v ]§-2¥
=L. zti ) [ V.V ] } = 0 ⇒ [ UIV ]=o and [ V.V ]=o gives Chazy Eqn.
E×3= : For Wi , wz e R '( M ) , define ( w ,, wrl * = Le ( w , .wzj Then for hive PITM ), ( Eau . v ) = ( uiv >
pf : 2a :=
¥
a 22.2ps =CIpki2r
→ dt '. dtf := CF dtrThen CY = y Mci,
Therefore, GDP = ( dt ' , dt ')'t = Leldttidtfl = Er ( dt ?dt '1 ( 2,1
= ErCjP= Eryosecear
Suppose
JH
is invertible , Sf=g[agdf
= SeaEry BE ( Ir⇒
yopsf
=nopgcaery
t = ( 20.2 -o7 '' Cir =:
Staff Erceg = Ercoi Gca⇒ (E. 20, 2e ) = 1 Er2r .2o , at )
±
( Et Cio 2a , k ) = Etch Gate⇒ ( 20, 2t7 = ( E. 20,2T )
Denote # : dual via < , > , * : dual via ( , ) :
Then for we PITM ), 4dtB)#, w ) =
dttscwldtf
) # = At 2T⇒ ( HH)#, 2r7 = At yer = SB, ⇒ Atneyyr ' = sfyre = y Be
11
⇒ (dtp) # = yPez{
At
fqE=A
'(
12,2ps⇒ Write)Begipgpe
TBTSE= nlast2d*==TIIIIIIIIIIIII
,2p*j*Be Be= 8=!Ip{
dttgay =Gp(:/
fine2£,:I" III :*: :*:
,ldtr.d.ir/*=9arfpign=8jlgpo=gpa=gap
del )*=⇒ Begets2*= gaedte= SfClaim ; ( , 7 * = he ( i ) * ( Proof of 13.391 in Dubrovin 's hook )
Proved n the flat word , HT
e=2
, E=E' 2, < dt ', dtp > =ydPgH=(
dt ', dtp ) * = LE ( de'. dtp ) = Er CY =Er YPECER
(Leg ) I dt ', dtf ) = Lelgldtdidtpil - gl Ledtt , dtB) - gldt ', Ledtf )
tedt ' = dlledttl =D 18,4=0
⇒ ( Leg ) (de ', dtts ) = Lele ( dtt .dtB) = e ( He'. dtp ) ( EI )
= 2. ( Ercdfl = 2. I Erl CY + Era , 149 =D
,CP+
Era , lcipl= di
ypecij
Era ICP) =De.
, 74 + Era , ICP)Er 2. (Cip) = Er 2. (YPECIY ) =Er7PE2 , lcir ) = Eryp ' 2,19 " Ger )
=
Eryp
' g. " 2. 1 Cter ) = ERYPEY"2tl4er
) = ERYPEY " 2tl7ev 1=0Set deli (Leg) ( dtd, dtp ) = 74
Exercise 4.3
.
- i
F = Itpts + I Eitz' -
Eftz4+tzet3
E := t.at Ita22+223
fctz -1
,tsi=
- tz4ttzet3
24
When n=3 , WDVV a , = fz
£222
}} + fzzzfazz fzzz =0 fz}} = tzet 3 fzzz = - tz fzzz = et}→ F satisfies WDVV
2. f = tits ., Its 22 F = titz -
zltzeets
asf = ftp.tzet3Left ti2 , F + It > 22 F +
z3%F=
2ft zptpM F is indeed a soin of WDVV with Euler v. f. E
C,,, = 0 = C 112 C113 =/ C 122=1 Clz } = C 133=0 C 113 = 1
C zzz = 0 Cz } } = Et} Czzz = - tz Czzz = fzet }
Iii =
(
o
; :O !
)niitiniji
' . / ,:O :}
)C i. (, ,} =L CI =CI=o
Ciz=C3z= 0=432--43
Cz's = Czz }=et3 C }z=Cz3z=o C}z= 423=0 ( Ci
'f= Yklcije
)Cjz = ( 223=0 Cz2z=Czzz= -Tz C z3z = C zz , = I
C313 = C} } } =tzet3 C}z = C 233 = et3 C }z=C|z}=o
CiI=
Ciek74=4*747
"'CY = ( 331=0 C 's = C} }z=et3 C's = Cz }3=tzet3
C'? = C 321=0 ( l} = C 322=0 C '} = ( 323 = et3
CY = 11=1C↳l}= C 2,12=0 C'} = Cziz = 0
( 2,3 = C ,z , = 0 C223 = C 221=1 C233 = Cizz = 0
CY = ( 122=1 C222 = C zzz = - tz C232 = C zzz =0
C
3,3=41
, =o C332 = Can =o C3}
= ( 113=1g" = tic 't =
zltzets
+z3tzet3=2tzet3
g "=EiC'f =}et3
gB=Eid3=t
,g22=EicY=t
, -Its g23=EiCY=Itz
g33=
}
⇒
g=2tzet3dti+3et3dt,dtz+ ztidtidtztltisttijdtzttzdtzdtztzsdts
'or
g.
= 1 tlFitts III I
zltz! ;)
t, = 25' EFZ ( ext 9 + e- × + I 4)
tz =
zFeJ'
Z ( I '×⇒ ' text e " 1 A i azTz = Z - -
dtdtz=, = , -- 25 EIZ
th 2%5425×+54.1 ¢
IeY+zet*")dxHdye
+Ydx
+(Ittz,E
-- 2555£25 EFZl2e→e( aEE× 'I dy* " +It
,jtzdz
dz-
Bzdtz = dz
ztzets .
ftp.3et3.ge titzt
24 .It
, + , -It Its
).gl
Titsite
+I
=
Ig
titzets +÷
titz et3 +Fti
+al
tie , -ylgt
it tStitt
Ref: Dubrovm , Zhang - Extended Affine Weyl Groups and Fwbenius Manifolds
( 19981 arxiv : hep - th 19611200
§ : irred , reduced root system in Vi=E" ( Euclidean space ) Kc B) =p - *
' 2
( 2,2 )
filled
.se?arIdeesItEinaeE.eaeIo
⇒ ⇐ ± ')
iiij fd , BEE , 241 B ) V) § Cannot decompose into orthogonal
# € K proper subset
Fix a simple roots of E : 4. . - . . i du EE ( i.e. fpei ,
p=§n
,
kidi , where KI are all Eo
LY = LLi
d-
, Li ) : wroot i=l . . . , n . or all Zo )→ Aij = 1 Li , 2T1 e 2 ( i. e. The entries of Cartan matrix )
WCIE ) : The Weyl gp associated I i. e ,
W=( rain , ... ... , by >
Then affine Weyl gp Walt ) ~ V by : x - wcx ) +
§
,Midi , we WIEI
mi EZ
Introduce fundamental weight wi . . ... , wn EV sit . ( w ; , LY) = Sij So , pick WK for k€51 .. i. ill ,
we define extended affine
Weylgp
W~== Nhk'l E) - ' T = VAIRto be The gp generated by :
11) ,RlXeti 1 1-
XILX ×€
lwcxlt§
,Midi
, Xeti ) we WII ) , MJEZand (2) I (X, Xeti ) - ( Xtwk , Xeti
=
- 1 )22 21
Az :
÷X÷
Dynkin diagram • - Weylgp = 5321
Bz:
•
;;
.
:&
, Dynkin diagram • ⇒ •Exercised : F =
ftp.yttzt.ti.at#+zitiet3.stze2t3
with Euler uf . E=tc2i+Itz2t 23 ,
fitzit }) :-. -
algtittfztiets
estem fzzz=Iet3 fizz =l¢e2
"t333=¥e2t3
t d-tz2et3 fzzz = -zlt
, fzsz =tztze
↳→ Fi satisfies WDVV
a F = tit } +
Its
2zf= titz -tztzttztzets
ssf=ftp.gltz?ets+gde24LEf=tiaifiItzJaftosf=tits+Ititi+lztitz2zztz4.iztz2et3tztitiztiets=2f+Iti
+
yje
't⇒ F is soin of WDVV with Euler uf. E