• 沒有找到結果。

L c = X ◦ L c + L c ◦ Y forallX,Y ⇔ c ∂ c + c ∂ c − c ∂ c + c ∂ c − c ∂ c − c ∂ c = 0and c c = c c .1 − Z W ( c X Y ∂ c − ∂ ( c X Y ) c + ∂ ( c X Y ) c + ∂ ( c X Y ) c ) .Thenbyseeingthetermsunderlined,wehave c Y Z W ( X ( ∂ c ) − ( ∂ X ) c +( ∂ X ) c +(

N/A
N/A
Protected

Academic year: 2021

Share "L c = X ◦ L c + L c ◦ Y forallX,Y ⇔ c ∂ c + c ∂ c − c ∂ c + c ∂ c − c ∂ c − c ∂ c = 0and c c = c c .1 − Z W ( c X Y ∂ c − ∂ ( c X Y ) c + ∂ ( c X Y ) c + ∂ ( c X Y ) c ) .Thenbyseeingthetermsunderlined,wehave c Y Z W ( X ( ∂ c ) − ( ∂ X ) c +( ∂ X ) c +( "

Copied!
23
0
0

加載中.... (立即查看全文)

全文

(1)
(2)
(3)
(4)
(5)
(6)
(7)

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(cabcXbYcacimna(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⇔cijklckmn+cilkjcmnk −ckjlkcimn+ckmnkcijl−ciknmckjl−cmki nckjl=0 and cabccde f =cab fcdec.

1

(8)

Textbook C.5 We have

p(z) = 1 z2+ 1

20g2z2+ 1

28g3z4+ 1

1200g22z6+O(z7)and ζ(z) = 1 z− 1

60g2z31

140g3z51

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

10g3z21

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

(9)

Textbook 3.5

By the Proposition 3.5, where the case for t1was done in class, we have µαψ=

k

Vikψand ηαβ=

i

ψψ. Then the original problem

Vij =

α,β

ηαβµαψψ

is equivalent to

Vij =

α,β,k

ηαβVikψψ. Thus it suffices to show

α,β

ηαβψψ=δkj. Write E := (ηij)i,jand P := (ψij)i,j. Then

α,β

ηαβψψ =δkj⇔PE−1Pt= I⇔E=PtP⇔ηαβ=

i

ψψ

which is given above.

3

(10)

Textbook 4.1

∂V

∂ui =

a

∂V

∂ξa

∂ξa

∂ui

=

a

−1

2(n+1)(2(ξ1+ · · · +ξn) +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

(11)

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

'EoEo

Tap =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

2

LEE

's'

¥1

-

etplugl

.

E4/+IF'

HE 'E2I

=÷Ey2ti

-

logl

- El

£=z-d=3

(12)

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'

11

wwitwwi

'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 17

Wig = - Wg ( w, twz ) t W , Wz

(13)

Ex3i1_: .

:

a

}p= zcarpltisy

- 1*1

Show that any solin of the system must be of the form §a=2xE :

pfi Jxsp = 2psa = Z

CIA

)§y. 2&5p - 2p}a=o

Therefore , Consider S : = Sadtd Then d3=

.2pS&dtBndtd=

0

Locally , 3 admits a primitive F sit . dE= S 2aEdt ' = Sade ' §&=2aF

(b ) ,. . ...

, 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=

(

!

(

Tt÷

)of ) local= 1Sijword)( }n¥jiB. )non .issingularlinearly indep .

Denote

2xi=I

. Io

:=¥gI

Then 2.

=2I÷

.

Ip

=3

!

Ip

Fa;2j =

Foil #

5k)

=2i3jk2~k

+ ST

;2I=ZCij3k2k+sjk%i2I

Fa

11 =

zcitjseoktsksi F%2I

To;2j + Z .2i .2j =

Z.ci?g2e=Z.Cij3ekJk=z.cfjsek2It5jsispsF2I

sjs

!

FsY2I=o

H ii. K , Sjrsispsrk =o - i

ISI

) 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 . = Citfek

ckij =

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

" r'"

42=(23

} = -

¥8

" C322=(322 =

¥

tir ' c

323=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 !

)

(14)

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

~> [ , ] =o

Also, 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 o

VU =

ttirv

tern"

IYlr" agtzlrr µ

'- '.brrzv"l

"l¥tir jeter

'"

|

(15)

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 dtr

Then 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(

:/

fine,

:I" III :*: :*:

,

ldtr.d.ir/*=9arfpign=8jlgpo=gpa=gap

del )*= Begets2*= gaedte= Sf

(16)

Claim ; ( , 7 * = he ( i ) * ( Proof of 13.391 in Dubrovin 's hook )

Proved n the flat word , HT

e=2

, E=E' 2, < dt ', dtp > =ydP

gH=(

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) =D

e.

, 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=0

Set deli (Leg) ( dtd, dtp ) = 74

(17)

Exercise 4.3

.

- i

F = Itpts + I Eitz' -

Eftz4+tzet3

E := t.at Ita

22+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.tzet3

Left ti2 , F + It > 22 F +

z3%F=

2ft zptp

M 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=

Ciek

74=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=1Cl}= 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=1

g" = 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

'

(18)

or

g.

= 1 tl

Fitts III I

zltz

! ;)

t, = 25' EFZ ( ext 9 + e- × + I 4)

tz =

zFeJ'

Z ( I '×⇒ ' text e " 1 A i az

Tz = Z - -

dtdtz=, = , -- 25 EIZ

th 2%5425×+54.1 ¢

IeY+zet*")dx

Hdye

+

Ydx

+(Ittz,

E

-- 2555£25 EFZl2e→e( aEE× 'I dy* " +

It

,

jtzdz

dz

-

Bz

dtz = dz

ztzets .

ftp.3et3.ge titzt

24 .

It

, + , -

It Its

)

.gl

Tit

site

+

I

=

Ig

titzets +

÷

titz et3 +

Fti

+

al

tie , -

ylgt

it t

Stitt

(19)

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 = VAIR

to be The gp generated by :

11) ,RlXeti 1 1-

XILX ×€

lwcxlt

§

,

Midi

, Xeti ) we WII ) , MJEZ

and (2) I (X, Xeti ) - ( Xtwk , Xeti

=

- 1 )

22 21

Az :

÷X÷

Dynkin diagram - Weylgp = 53

21

Bz:

;;

.

:&

, Dynkin diagram

(20)

Exercised : F =

ftp.yttzt.ti.at#+zitiet3.stze2t3

with Euler uf . E=tc2i+Itz2t 23 ,

fitzit }) :-. -

algtittfztiets

e

stem 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

(21)
(22)
(23)

參考文獻

相關文件

• Theorem: boosting tends to increase margins boosting tends to increase margins boosting tends to increase margins boosting tends to increase margins of training boosting tends

Department of Mathematics National Cheng Kung

“ Numerical studies of hyperbolic IBVP with high-order finite difference operators satisfying a summation by parts rule.”.. “High-order finite difference methods,

[r]

Department of Mathematics National Cheng Kung

[r]

Describe and analyze a recursive algorithm to reconstruct an arbitrary full binary tree, given its preorder and postorder node sequences as

Department of Mathematics National Cheng Kung