arxiv: v1 [math.qa] 27 Apr 2017


 Rosalyn Lynch
 1 years ago
 Views:
Transcription
1 SIMPLYLACED QUANTUM CONNECTIONS GENERALISING KZ rxiv: v1 [mth.qa 27 Apr 2017 Astrt. We onstrut new fmily of flt onnetions generlising the KZ onnetion, the Csimir onnetion nd the dynmil onnetion. These new onnetions re tthed to simplyled grphs, nd re otined vi quntistion of timedependent Hmiltonin systems ontrolling the isomonodromi deformtions of meromorphi onnetions on the sphere. 1. Introdution Let m,l e positive integers. Set g : gll,c), equipped with the piring, ) given y the tre, nd let B : C m \{digs}, the onfigurtion spe of mtuples of point in C. Consider the trivil undle E : Ug) m B B. The Knizhnik Zmolodhikov KZ) equtions re the following system of liner differentil equtions d B ψ ψ, : dt i dt j Ω ij t i t j 1 i j m for lol setion ψ of E. Here Ω ij End Ug) m) is defined s the tion of Ω ting in the ith nd jth slots, where Ω g g orresponds to, ), nd t i re the stndrd oordintes on B. Mthemtilly, they onstitute flt liner onnetion. This system originted s equtions for orreltion funtions in WZW onforml field theory [KZ84, nd their monodromy provides interesting liner representtions of the mstring rid group. Moreover, the KZ onnetion is genus zero nlogue of the Hithin onnetion see e.g.[egs15). It hs een known for some yers [Res92 tht this liner onnetion n e otined s deformtion quntistion of system of nonliner differentil equtions: the Shlesinger system dr i j i [R i,r j dt i dt j t i t j. They ontrol the isomonodromi deformtions IMD) of Fuhsin systems d R i z t i dz on CP 1, nd re determined y the timedependent Hmiltonins H i, where H i : j i Tr R i R j )dt i dt j t i t j on the trivil Poisson firtion π : F : g m B B. The key ide is tht TrR i R j ) eomes Ω ij under the PBW quntistion mp Symg m ) Ug m ). Almost two dedes lter, vrious generlistions of KZ hve ppered. For instne, the FMTV system or dynmil onnetion) [FMTV00, nd the DMT system or Csimir onnetion) [MTL05, whih is essentilly n importnt speil se of [FMTV00. In rief, the spe of times B is inresed y dding on the regulr prt of Crtn sulger. 1
2 In the se of gll,c), B thus eomes produt C m \{digs} C l \{digs}. These systems lso my e derived from isomonodromy vi simple deformtion quntistion, ut this time from n irregulr isomonodromy prolem [Bo02. The extr times orrespond to the irregulr isomonodromy times onsidered in Jimo Miw Môri Sto [JMMS80. Hrnd [Hr94 hs shown tht the two olletions of times in the JMMS system my e swpped, nd this lssil dulity underlies the quntum/howe dulity of [Bu99 used in [TL02 to relte the KZ to the DMT onnetion for gll,c). More reently, the Hmiltonin theory of isomonodromy equtions ws extended [Bo12. These new simplyled isomonodromy systems SLIMS), involve k olletions of times, generlising the two olletions of times in the JMMS system. In this rtile we show how to quntise those systems, onstruting new flt onnetions nd ompleting the following tle: Quntum Connetion KZ DMT FMTV This work Isomonodromy system Shlesinger Dul Shlesinger JMMS SLIMS Spe of times C m \{digs} C l \{digs} C m \{digs} C l \{digs} k 1 Cd i \{digs} Finlly, rell tht the simplyled isomonodromy systems extend prtiulr se of [JMU81, orresponding to omplete kprtite grphs hving t most one splyed node, nd with ll other nodes eing onedimensionl nmely, one term of the mster eqution 8.4 on pge 33 of [Bo12 vnishes in the setup of [JMU81). The pper [NS11 proposed quntistion of the isomonodromi deformtion systems tht our in the intersetion of the SLIMS nd [JMU81. In turn, this ws one of our motivtions to onsider the SLIMS: they re more symmetri thn [JMU81, euse one n now permute ll the prts. Thus, in future work we will exmine the quntistion of the symmetries of [Bo12, whih should simultneously generlise [NY14 nd the forementioned [Bu99, TL Lyout of the rtile In 3 we rell the simplyled isomonodromy systems SLIMS). This involves fire undle F M B B, nd olletion of timedependent Hmiltonin funtions H i : F C. These systems re tthed to omplete k prtite grphs. In 4 we relise the Hmiltonins s tres of yles on the grph lssil potentils), nd we study the Poisson rket of suh tres. In 5 we disuss the deformtion quntistion of M, following e.g. [Eti07. This results in n ssoitive filtered nonommuttive lger A. In 6 we define quntum potentils, whih re relted to the quntum lger A similrly to how lssil potentils re relted to the funtions on M. In 7 we explin how to quntise the Hmiltonins H i to elements Ĥi, therey defining the simplyled quntum onnetion SLQC). In 8 nd 9 we prove the min theorem Theorem 8) tht the simplyled quntum onnetion is strongly flt. 2
3 In 10 we show tht redution of the simplyled quntum onnetion yields the KZ onnetion in the speil se of strshped grph, i.e. omplete iprtite grph where one prt hs only one node. This mens tht this SLQC quntises the Shlesinger system, euse so does KZ. In 11 we onsider the Hrnddul dt of the previous setion, nd we show tht nturl strongly flt) orretion of the SLQC redues to the DMT onnetion. This orretion mounts to reordering within the quntum Hmiltonins, nd it does not tmper with the lssil dynmis, s it vnishes in the semilssil limit. This mens tht this SLQC quntises the dul Shlesinger system, euse so does DMT. In 12 we put together the results of the previous two setions to show tht n nlogous nturl orretion of the SLQC redues to the FMTV onnetion. Together with the ft tht FMTV quntises the JMMS system, this proves tht this SLQC quntises the JMMS system. Finlly, in 13 we ompre the SLQC with the quntistion [NS11 of prtiulr se of the JMU system. We rgue tht our yletheoreti formultion reovers prt of the expliit Hmiltonin formultion for the systems tht lie in the intersetion of the isomonodromy equtions of [Bo12 nd [JMU81, s well s its quntistion. This is lso the osion for writing down the simplyled quntum onnetion expliitly in rnk 3, vi differentil opertors ting on polynomil funtions on C Simplyled isomonodromy systems Fix finite set J of rdinlity k. Let π : I J e surjetion, nd write I j J Ij for the indued prtition of the finite set I, with prts I j π 1 j). Next, let G e the omplete kprtite grph on nodes I. This mens tht two nodes re djent if nd only if they lie in different prts. Both G nd G re y definition simplyled, i.e. without edge loops or repeted edges. Next, pik finitedimensionl omplex vetor spes {V i } i I, s well s n emedding : J C { }, j j, lled the reding of G. The reding is sid to e generi if J), nd degenerte otherwise. One lso tthes omplex vetor spes W j : i I j V i to the nodes of G, simply writing W for the possily nonexistent) spe ssoited to the node j J suh tht j. Finlly, let us usively denote y G the doule quiver ssoited to the grph G: it is the quiver on nodes I hving pir of ntiprllel rrows for eh edge of G. The sme use of nottion will e tken for G. These dt determine se spe of times nd sympleti vetor spe with sympleti form B : j JC Ij \{digs} C I, M : ω : 1 2 i j J i j J Hom W i,w j), Tr dx ij db ji). 3
4 Notie tht M is the spe of representtions of the quiver G with respet to the vetor spes {W j } j J, nd one thus denotes B ji : W i W j the liner mps defined y one representtion; lso, one defines X ij : W j W i to e the slr multiplition of B ij y the weight φ ij C, where { i j ) 1, i, j φ ij φ ji : 1, i. Consider now the trivil sympleti firtion F : M,ω ) B B. The spe F prmetrises ertin meromorphi onnetions on the trivil vetor undle U CP 1 CP 1 with fire U : j: j Wj. Nmely, write ) T Q γ P B +T for generi element of EndW U ), where ) 0 P Γ : Q B M, nd T : T 0 0 T re the offdigonl prt of γ nd the digonl of γ, respetively. One ssumes tht the restrition T j of γ to W j is semisimple for ll j J. Now, to point Γ, T) F one ssoites the onnetion where ), d A : d Az +B +T)+Qz T ) 1 P ) dz, A : j: j j Id j EndU ), nd Id j is the idempotent for W j. Rell the following result, from [Bo12. Theorem 1. The isomonodromy deformtion IMD) equtions for the meromorphi onnetions ove dmit n Hmiltonin formultion. Moreover, the Hmiltonin system H i : F C is strongly flt: {H i,h j } 0 H i t j H j t i, for i j. Rell tht the IMD equtions re nonliner first order PDEs for Γ, s funtion of T. The ft tht this prolem dmits n Hmiltonin formultion mens tht one n find funtions {H i } i I s ove, suh tht the differentil equtions n e written Γ j t i {H i,γ j } for ll omponents Γ i of lol setion Γ of the firtion. The definition of the Hmiltonins is impliitly given y defining the horizontl 1form i I H idt i s : 1 ) ) ΞΓδΞΓ) Tr ΞγΞd T +Tr X 2 TdT ) +Tr PAQT dt ). 1) 2 4
5 Here one sets Ξ : φγ) nd X : φb), pplying the lternting weights φ ij C omponentwise. Also, δξγ) denotes the digonl prt of ΞΓ in the diret sum deomposition W U j J Wj, nd one defines ΞΓ : d [ T,ΞΓ 1 T. Notie tht the funtions H i n lso e thought of s glol setions of the vetor undle A 0 B B where A 0 : OM) SymM ) is the lger of regulr funtion on the ffine omplex spe M. The Hmiltonins H i re y definition the simplyled isomonodromy system SLIMS). This is the lssil system we wish to quntise. 4. Potentils Consider gin the omplete kprtite quiver G on nodes I j J Ij. Definition 4.1. A potentil W on G is Cliner omintion of oriented yles in G, defined up to yli permuttions of their rrows. The spe of potentils is denoted CG yl. Every potentil W CG yl defines regulr funtion on M, y tking the tres of its yles. Thus multi) timedependent potentil W : B CG yl will define glol setion TrW) : B A 0. Introduing the nturl nottion I i : π 1 πi)) I for the prt of I ontining the node i I, onsider the following potentils: W i 2) : t i t j )α ij α ji j I\I i W i 3) : j l )α il α lj α ji 2) j,l I\I i :I j I l W i 4) : i j ) i l ) α ijα jmα mlα li t i t m m I i \{i},j,l I\I i where α ij is the rrow from j I to i I in G. We gree to write yle in G s the sequene of its rrows, reding from right to left. Proposition 2. The Hmiltonin H i of the simplyled isomonodromy system is the sum of the tres of these potentils, for generi reding of G: H i TrW i 4))+TrW i 3))+TrW i 2)). Moreover, in degenerte reding one only needs to hnge the weights of the sme types of yles. Proof. It follows from n expliit expnsion of the formul for. This in prtiulr implies tht the fltness does not depend in ruil wy on whether the reding is generi or not. Let us now introdue some terminology, for further use. Definition 4.2. The potentils W i n) ove re lled the lssil) IMD potentils, for i I,2 n 4. Their ddends will e referred to s the IMD yles. The IMD 4yles n e further divided in two fmilies: 1) nondegenerte, if they touh 4 distint nodes of G. 5
6 2) degenerte, if they touh 3 distint nodes of G. This provides the following types of yles: In order from left to right, one hs 2yles, 3yles, nondegenerte 4yles nd degenerte 4yles. Notie tht the degenerte 4yle re the glueing of two 2yles t node, tht will e lled their entre. The other two nodes must lie in one nd the sme prt of I. There is lso n intrinsi wy to think of tres. Nmely, if C α n...α 1 is n oriented yle in G strting t node i I, nd for ll representtion ρ M of G, one gets n endomorphism ρ C ρ αn ρ α 1 of V i. However, this ojet n lso e thought s living in A 0 EndV i ), sine ll its omponents define regulr funtions on M. Now tking tres mounts to ontrt V i nd Vi, leving funtion TrC) TrρC ) A 0. As lst remrk, there is nturl positively) grded Lie struture {,} on CG yl, where the grdtion is given y yle length, lled the nekle Lie lger struture see e.g. [BLB02, Eti07). We shll ll C CG yl n myle if it hs m rrows, nd lso set lc) : m in tht se. Also, if α is n rrow in G, we write α for its unique) ntiprllel one. Definition 4.3. Pik two oriented yles C 1 α n...α 1 nd C 2 β m...β 1 in G. The Lie rket {C 1,C 2 } is weighted sum of n+m 2)yles otined s follows. For ll pirs of ntiprllel rrows α i,β j αi, one deletes tht pir nd glues together the two remining yles. The weights re determined y the defining reltion of the Poisson rket of A 0. To see this grphilly, fix pir i,j suh tht α i β j, nd introdue the nottion tα),hα) I for the til nd the hed of n rrow α in G, respetively; these re the strting node of α nd the end node of α, respetively. Set then tβ j 1 ), hβ j 1 ) hα i ), hβ j ) hα i 1 ),d hβ j+1 ),e tα i 1 ),f hα i+1 ) I. Then the lol piture efore deleting rrows looks like this: f α i 1 α i β j β j 1 β j+1 α i 1 e d Afterwrds, one will hve: 6
7 α i 1 α i 1 f e β j 1 β j+1 Now, the nie ft is tht this rket omes from the Poisson struture of A 0. Proposition 3. One hs for ll yles C 1,C 2 CG yl. Tr { C 1,C 2 } {TrC 1 ),TrC 2 )} A 0 The proof onsists of diret expnsion of the Poisson rket {TrC 1 ),TrC 2 )} {TrX αn...x α 1 ),TrX βm...x β 1 )}, whih will e provided in the ppendix 14. Coneptully, however, wht hppens is the following. The invrint regulr funtions on M for the tion of G : j J GL CW j ) onsist of the Clger A G 0 A 0 generted y tres of yles. Hene we hve n injetive mp Tr : CG yl A G 0, nd the ove disussion shows tht this is Lie lgers morphism: the nekle Lie rket is the pullk of the Poisson rket on A 0. Lst, notie tht it is not possile to upgrde CG yl to Poisson lger using the nturl ontention produt, sine TrAB) TrA) TrB) for generl endomorphisms A, B of vetor spe. Rther, one should define forml produt of yles tht stisfies the sme rules s the produt of their tres, i.e. e ommuttive. This is well expressed y the following elementry lgeri ft. Proposition 4. Pik omplex vetor speatogether with liner emeddingι : V B into Clger. Then there is nturl tensor mp Tensι) : TensV) B, defined on pure tensors s Tensι)v 1 v n ) : ι 1 v)...ι n v) B. This mp is surjetive on the sulger B.ιV) B generted y the imge of ι in B, nd it indues n isomorphism of lgers TensV)/KerTensι)) B.ιV). This is n pplition of the universl properties of tensor produts nd quotients. In the se t hnd, one just finds so tht it mkes sense to define A G 0 TensCG yl )/KerTensTr)) SymCG yl ), d A G 0 : SymCG yl). The identifition A G 0 A G 0 is just sying tht ll Ginvrint regulr funtions on M re monomils of tres of) yles, with ommuttive vriles. Notie tht the Lie rket of CG yl is now tutologilly upgrded to Poisson rket, nd A G 0 is isomorphi to A G 0 s grded ommuttive Poisson lger. We shll present quntum ounterprt of this, in 6. 7
8 As n pplition of this yletheoreti viewpoint, one n provide diret proof of hlf of the strong fltness of the SLIMS. More preisely, remrk tht one hs Tr ti W j ) ti TrW j ) for ll i,j I, where W j is n IMD potentil. This is euse the derivtive does not modify the yles tht mke up the potentils, ut only their weights. Hene showing tht ti H j tj H i 0 is equivlent to showing tht ti W j tj W i 0, euse of the injetivity of Tr : CG yl A 0. Proposition 5. One hs ti W j tj W i for ll i,j I. Proof. One n lerly ssume i j I. Then one hs { α ij α ji, I i I j tj W i 2) nd ti W j 2) 0, else Also tj W i 3) 0 ti W j ), { α ji α ij, I i I j. 0, else sine ll 3yles re tully timeindependent in our setting. Finlly, { m,l I\I tj W i 4) i i m ) i l ) α imα mj α jl α li t i t j, I i I j ) 2 0, else nd ti W j 4) { m,l I\I j j m ) j l ) α jlα li α im α mj t j t i, I i I j ) 2. 0, else This is seen expliitly on the formuls 2), nd proves the lim, euse α ij α ji α ji α ij CG yl nd α jl α li α im α mj α im α mj α jl α li CG yl. For the se of 4yles, one must lso rell tht i j if I i I j, euse the reding only depends on the prts of I. 5. Quntistion: lgers Consider gin the ommuttive Poisson lger A 0 OM) SymM ) of regulr funtions M. Definition 5.1. A oneprmeter deformtion quntistion of A 0 is topologilly free C[[ lgerâ, together with n identifitionâ/ Â A 0, suh tht the Poisson rket {, } of A 0 is nturlly indued y the ommuttor [, of Â: {x,y} 1 [ x,ŷ +O ), where x,y A 0, x,ŷ Â re ritrry lifts, nd the nlytil Lndu nottion O ) stnds for n ritrry element of the idel Â Â generted y. In the se we onsider one n void using C[[ modules, y performing filtered quntistion see [Eti07). 8
9 5.1. The Weyl lger. There exists n ssoitive nonommuttive) filtered lger A whose ssoited grded is nonilly isomorphi to A 0. Moreover, if one denotes σ : A gra) A 0 the grding mp, then one hs σ [ x,ŷ {x,y}, 3) for x,y A 0 nd for ny lift x,ŷ A. The lger A is defined s follows. Definition 5.2. Set A WM,ω ) : TensM)/I ω, where TensM) is the tensor lger of the vetor spe M, nd I ω TensM) is the twosided idel generted y elements of the form x y y x ω x,y), for x,y M. This is the Weyl lger of the sympleti vetor spe M,ω ). The filtrtion of A is the quotient filtrtion indued y the nturl filtrtion of TensM). Notie tht there is nonil liner isomorphism ϕ : M M, indued y the nondegenerte piring M M C provided y the sympleti form ω. Moreover, there is unique sympleti struture on M suh tht ϕ is sympletomorphism, whih we usively denote ω s well. The Weyl lger WM,ω ) of the dul sympleti spe is then nonilly isomorphi to A, nd it is not relly neessry to distinguish the two, s fr s genertor nd reltions re onerned. 1 The intrinsi wy of thinking out this is the following. The sympleti vetor spe M,ω ) is equipped with Poisson rket {, } : OM) OM) OM) suh tht the degree of the polynomil funtion {f,g} equls degf)+degg) 2, for f, g OM). In prtiulr, its restrition to liner funtions yields n lternting iliner mp {, } : M M C. Thus one my sy tht the Weyl lger is otined from the tensor lger y modding out the Poisson struture, just s for the universl enveloping lgers Ug) of Lie lger g. Finlly, onsider the omposition σ π : TensM ) gra) of the nonil projetion π : TensM ) A with the grding mp σ : A gra). One my show tht this vnishes preisely on the homogeneous twosided idel I 0 TensM ) generted y ommuttors, thus induing n isomorphism gra) TensM )/I 0 SymM ) A 0. The quntistion identity 3) n e shown y diret inspetion on elements of order one, whih generte A 0. There is now universl wy of reonstruting deformtion quntistion of A 0 from A Rees onstrution. Consider n ssoitive positively filtered lger B k 0 B k. Rell tht one lls the order of the element B. ord) : min{k 0 B k } 1 The nonil isomorphism is given y the universl property of the quotient pplied to the omposition π Tensϕ) : TensM) WM,ω ), where Tensϕ) : TensM) TensM ) is the imge of ϕ under the funtor Tens, nd π : M WM,ω ) is the nonil projetion. 9
10 Definition 5.3. The Rees lger ReesB) of B is the C[ lger defined y ReesB) : k 0 B k k B[. Proposition 6. There exists topologillyfree C[[ lger Â tht defines deformtion quntistion of A 0. It is otined vi ompletion of) the Rees lger of A. Proof. It suffies to set: { } Â : d k k d k A k for ll k 0, lim k ordd k)) + A[[. k + k 0 One n indeed show tht the mp ϕ : k 0 d k k k 0σ k d k ) indues nonil) isomorphism Â/ Â A 0. Here σ k : A k A k /A k 1 A0 ) k is the order k prt of the grding mp, tht is the nonil projetion. Moreover, the identity of the relevnt Poisson rkets follows from 3). Thnks to this universl onstrution, it mkes sense to spek of the Weyl lgeras quntistion ofa 0. This is the first step to tully quntise oservles f A 0, tht is to provide mpf f tht is setion of the semilssil limitσ mong other properties whih re not ruil to list t present). Nonetheless, there is nturl wy to quntise elements of order 1, i.e. liner funtions on M. Nmely, one onsiders the omposition π ι : M TensM ) A of the nonil emedding ι : M TensM ) with the nonil projetion π : TensM ) A, nd sets f : πιf)) for ll liner funtions f : M C. This is well defined euse the idel I ω defining the Weyl lger does not interset the spe TensM ) 1 C M. 6. Quntistion: potentils Just s we oded invrint) funtions on M vi yles, we n ode quntum opertors vi deorted yles. Consider gin omplete kprtite quiver G. Definition 6.1. An nhored yle Ĉ is n oriented yle in G with strting rrow fixed, to e lled the nhor of Ĉ. We will denote this y underlining the nhor: where α n,...,α 1 re rrows in G. Ĉ α n...α 1, The ide is the following. Using the ove liner quntistion X X : A 0 A one n now ssoite n! different quntum opertors to ll monomil f X 1...X n of degree n; nmely, one hs X σ1)... X σn) A n, for ll permuttion σ Σ n on n ojets. There is in generl no nonil wy to pik one of them. This is the min issue of quntistion: extending the quntistion X X of liner funtions to full quntistion f f : A 0 A. 10
11 Nevertheless, suppose tht f A 0 is monomil oming from the tre of yle C α n...α 1 CG yl. This mens tht f is one monomil of the sum TrC) K X αn k n,k n 1...X α 1 k 1,k n A 0, where K k n,...,k 1 ) is n pproprite multiindex. Now, if one piks n nhor for C, sy tht Ĉ : α n...α 1, then the quntum opertor f : Xαn k n,k n 1... X α 1 k 1,k n A n K D C is uniquely defined, nd one n in turn define TrĈ) A to e tht opertor. In hindsight, nd more intrinselly, one ould just onsider the opertorvlued mtrix ρĉ : X αn... X α 1 A EndV i ), where i : tα 1 ) I is the strting node of Ĉ. Tking tre then mounts gin to ontrting V i ginst Vi. As finl remrk, notie tht two different nhored yles Ĉ1,Ĉ2 my define the sme quntum opertor. This hppens when their two underlying yles oinide under n dmissile permuttion of their rrows: no rrow α my pss over its ntiprllel α. This is euse the entries of mtries X α, X β ommute if nd only if α β, ording to the defining reltions of the Weyl lger. This motivtes the next definitions. Definition 6.2. Consider n nhored yle Ĉ α n...α 1 on G. An dmissile permuttion of its rrows onsists in dividing the word α n...α 1 in two suwords A α n...α n i, B α n i 1...α 1 suh tht no rrow in A hs its ntiprllel in B, nd to swp A nd B. This yields new nhored yle Ĉ α n i 1...α 1 α n...α i. Definition 6.3. Let ĈG yl e the omplex vetor spe spnned y nhored yles in G, defined up to dmissile permuttions of their rrows. Its elements will e lled quntum potentils, its genertors quntum yles. One denotes y σ : ĈG yl CG the mp tht forgets the nhor, whih we ll gin the semilssil limit. A quntum potentil Ŵ is quntistion of the potentil W if σŵ) W. There exists now well defined Cliner injetive mp Tr : ĈG yl A, together with ommuttive squre where the quntum nd lssil tres intertwine the semilssil limit: σ TrĈ)) TrC) A 0 for ll quntum yles Ĉ ĈG yl tht quntises the lssil yle C CG yl. Moreover, one n use Prop. 4 to produe yletheoreti nlogue of the Weyl lger. Nmely, one onsiders the tensor mp TensTr) : TensĈG yl ) A, whih is surjetive on the sulger A G A of A, whih is y definition the sulger generted y tres of quntum yles. One thus hs n isomorphism of ssoitive lgers TensĈG yl )/KerTensTr)) A G. 11
12 Now, setting A G to e the quotient on the lefthnd side, one hs onstruted n ssoitive quntum) lger tht hs n nlogous reltion with A G s A G 0 hs with AG 0. Notie tht this is strt, s we do not hve nie desription of the kernel of the quntum tre mp. However, one still hs n identifition C ĈG yl A G 1, with respet to the quotient filtrtion on A G. Indeed, this hppens euse TensTr) is y definition the identity on C tre of empty yles, if one will), nd it is injetive on the vetor spe generted y quntum yles. Finlly, notie tht A G now hs well defined produt, defined on quntum yles y Tr Ĉ 1 Ĉ 2 ) Tr Ĉ 1 )TrĈ2) A. This is silly produt, deforming the ommuttive one of A G 0. This mkes A G into filtered ssoitive lger, still provided with semilssil limit σ : A G A G 0, whih is defined on monomils y forgetting nhors σ : Ĉ1...Ĉn σĉ1)...σĉn). In this nonommuttive ontext it is even more importnt to llow for forml produts of yles, in order to keep trk of the nhoring, s exemplified y the next proposition. Proposition 7. Pik two quntum yles Ĉ,Ĉ suh tht their underlying lssil yles σĉ),σĉ ) oinide. Then their differene is sum of produts of pirs of quntum yles whose lengths sum to lĉ) 2 lĉ ) 2. A proof of this is given in Simplyled quntum onnetion The following few definitions now ome nturlly. Consider gin the lssil IMD yles of 4. The 3yles nd the nondegenerte 4yles do not ontin pirs of ntiprllel rrows, so tht one n quntise suh yle C y hoosing ny nhor: ll of them re equivlent. As for 2yles nd degenerte 4yles, one mkes the following hoies. Definition 7.1. The quntistion of degenerte 4yles is the quntum yle hving the sme underlying lssil yle, nhored t ny rrow oming out of its entre. The quntistion of two yle C Ĉ 1 2 is y definition the quntum potentil ) In this piture nd in ll tht follow, the lk nodes re the til of the nhor. As for the degenerte 4yles, priori speifying strting rrow is more thn speifying strting node, ut in this se there is no miguity: hnging the order of the rrows oming out of the entrl node mounts to n dmissile permuttion of the rrows of the degenerte 4yles. This is euse suh yle n e written s word C β βα α, whereα,β re the two distint rrows ofg oming out of the entre. Now, the two possile nhors t the entre orrespond to the quntistions Ĉ1 β βα α nd Ĉ2 α αβ β. These two re seen to e equl, y mens of the ylil permuttion tht swps the two 2yles: one n move β β to the right of α α without hnging the reltive order of the ntiprllel pirs α,α ),β,β )
13 This is totlly nonil, nd does not rely on full quntistion Q : A 0 A. One n however show tht it mounts to orreting the stndrd Weyl quntistion. Consider now the IMD potentils W i W i 4)+W i 3)+W i 2) CG yl of 2). Definition 7.2. The quntum IMD potentil Ŵi ĈG yl t the node i is the sum of the quntistions of its IMD yles. The quntum IMD Hmiltonin Ĥi : B A is the tre of the quntum IMD potentil t the node i: Ĥ i : TrŴi). This is quntistion of the lssil IMD Hmiltonin H i : B A 0, in the sense tht the identity σĥi) H i is true everywhere on B. Consider now the trivil undle E : A B B. Definition 7.3. The universl) simplyled quntum onnetion SLQC) is the onnetion on E defined y : d B, where : i I Ĥ i dt i. Note tht Ω 1 B,A) Ω 1 B,EndE ) ), where one lets Ĥi t linerly on the fire A of E y left multiplition. The min result is the following. Theorem 8. is strongly flt, i.e. Let us show tht for ll i,j I. This follows from lemm. [Ĥi,Ĥj 0 Ĥi t j Ĥj t i, for i,j I. 8. Proof of strong fltness: I ti Ĥ j tj Ĥ i 0 Lemm 9. Pik lssil IMD potentil W i : B CG. Then for ll j I. tj Ŵ i tj W i, tj TrŴi) Tr tj Ŵ i ), Proof. The first set of identities re due to the ft tht the quntistion does not depend on B. Moreover, s lredy mentioned t the end of 4, tking derivtive does not hnge the type of yles tht mke up the potentil, ut only modifies their weights. This mens tht the quntistion tj W i is well defined, nd tht tking tres oth of lssil nd quntum potentils) ommutes with piking derivtives. Using the seond set of identities of the lemm, it is thus enough to verify tht one hs ti Ŵ j tj Ŵ i 0 for ll i,j I, euse the tre of the lefthnd side is preisely the differene ti Ĥ j tj Ĥ i. Finlly, to prove this, one exploits Thm. 1, orrowing the sttement ti W j tj W i. This is preisely Prop. 5, whih implies tht ti W j tj W i. 13
14 Then the first set of identity of the ove lemm permits to onlude. Notie tht ruil ft tht the quntistion is symmetri on G, in the sense tht the quntistion Ĥi of the Hmiltonin H i does not depend on the se node i I. 9. Proof of strong fltness: II One is left to show tht the quntum IMD Hmiltonins ommute. By ilinerity, this redues to the prolem of omputing ommuttors of the form [ Tr Ĉ 1 ),TrĈ2) A where Ĉ1,Ĉ2 re quntum IMD yles. Commuttors of quntum yles. The first thing to do is to see whether one n still write this element in terms of tres of quntum yles. Let us get k to our quntum lger A G whose ommuttor is defined y Tr [Ĉ1,Ĉ2 ) [ TrĈ1),TrĈ2). We would like to e le to give hrteriztion of [Ĉ1,Ĉ2 long the lines of Prop. 3, ut unfortuntely tht used the ommuttivity of the produt on A 0. This mens tht we nnot priori hope tht the ommuttor of quntum yles e quntum potentil: one must priori llow for higherorder elements. However, one n show tht the desired property holds for the yles we re deling with. Set ÎMD ĈG yl to e the vetor spe spnned y the quntum IMD yles. Proposition 10. The restrition [, : IMD IMD A G tkes vlues into ĈG yl. Moreover, the ommuttor [ Ĉ 1,Ĉ2 is quntistion of {C1,C 2 }, for Ĉ1,Ĉ2 IMD nd C i : σĉi). We will disuss how to ontrol the hoie of nhoring for [ Ĉ 1,Ĉ2 in the following two setions. For now, let us e ontent tht the ommuttor etween IMD quntum yles is liner omintion of quntum yles, insted of generi polynomil of suh. Moreover, the omputtions for those ommuttors re silly the sme s for the Poisson rket of lssil IMD yles. The proof of Prop. 10 relies on lemm, plus two seprte verifitions, whose proofs hve een postponed to 14. Lemm 11. Pik two quntum yles Ĉ1,Ĉ2, with semilssil limit C 1,C 2. Assume tht one of Ĉ1,Ĉ2 is 2yle, or tht one of them does not ontin pirs of ntiprllel rrows. Then Prop. 10 holds for [ Ĉ 1,Ĉ2 ĈGyl. The only IMD yles tht do not stisfy the hypothesis re the degenerte 4yles. Hene one must still show tht the ommuttor of two suh yles follows the sme rule. This leds us to hek the possile intersetions of yles in G. Definition 9.1. Two lssil or quntum) yles re sid to interset if there exists n rrow of the first with its ntiprllel in the seond. The intersetion is sid to e nontrivil if the two yles re different. Notie tht two lssil yles resp. quntum yles) my hve nonvnishing Poisson rket resp. vnishing ommuttor) only if they interset nontrivilly. Now, two 14
15 degenerte 4yles hve only two possile nontrivil intersetions: either they hve the entre in ommon, or they do not. Proposition 12. Pik nodes,,, d I suh tht the sequenes of nodes,,, ) nd,,d,) define two degenerte 4yles. Then the following ommuttor vnishes: d, Here we skethed quntum yle y drwing lk node where their nhor strts. The next intersetion sks insted to show tht the following piture is true: 2 3, The numer t the peripherl nodes indites the order in whih one must touh them, strting from the entre the til of the nhor). Anhors. Let us deompose the lssil IMD potentils W i,w j into sum of lssil IMD yles: W i k kc k,w j l d ld l. After expnding their vnishing Poisson rket y ilinerity, one will find itself with sum of potentils: 0 {W i,w j } k,l k l l {C k,d l }. Putting together ll the yles tht oinide s elements of CG yl, one will get to finer deomposition 0 {W i,w j } m e m E m CG yl. Now, sine we re ssuming tht E m E m for m m in this sum, one hs neessrily e m 0 for ll m: ny finite fmily of distint yles ing is free inside CG yl, y definition. Now, thnks to Prop. 10, one will find similr development: [Ŵi,Ŵj kl [Ĉk, D l, k,l 15
16 with Ĉk, D eing the quntistion of C k,d l. Moreover, [ Ĉ k, D l is quntistion of {C k,d l }. One would now hope to hve [Ŵi,Ŵj e m Ê m ĈG yl, m with the sme onstnts e m C, for some lift Êm of E m. This hppens if nd only if every time tht one hs {C k,d l } {C k,d l } in CG yl, then one lso hs [ Ĉ k, D l [Ĉk, D l in ĈG yl. Sine those two ommuttors hve the sme underlying lssil yle, this hppens if nd only if their nhors re equivlent. The ostrution for this to hppen is tht ove given intersetion of lssil IMD yles there re severl nonequivlent intersetions of quntum IMD yles: the nhor reks some symmetry, priori. The finl prt of the proof of Thm. 8 onsists in showing tht this does not hppen. First, diret verifition sed on elementry omintori rguments shows the following. Proposition 13. There exist extly 15 distint nontrivil intersetions of lssil IMD yles. Among them, 13 give nonvnishing Poisson rket, nd 5 of those re sums of yles without pirs of ntiprllel rrows. To prove this proposition, the position of the nhor of ll 2yles is immteril. Indeed, thnks to Prop. 7, moving the nhor mounts to dd onstnt, whih lies in the entre of A. Now, ll the ses where one hs no pirs of ntiprllel rrows give no issues: ny two quntistions of yle without suh pirs re equivlent. One must thus onsider the remining 8 troulesome intersetions, nd see tht no symmetry n e roken y dding n nhor to the yles involved. Those intersetions n e desried s follows, in plin words: 1) two opposite 3yles 2) 3yle nd degenerte 4yle with one pir of ntiprllel rrows in ommon 3) 3yle nd nondegenerte 4yle with two pirs of ntiprllel rrows in ommon 4) two nondegenerte 4yles with the entre in ommon 5) nondegenerte 4yle nd degenerte one, with one pir of ntiprllel rrows in ommon 6) sme s the one just ove, with two pirs in ommon 7) two nondegenerte 4yles with two pirs of ntiprllel rrows in ommon 8) two opposite nondegenerte 4yles One n finlly disuss those seprtely. All these intersetions give yles whih re lssilly distinguishle, prt from the pirs 2,3 ) nd 5,7 ). Also, n 4 hs lredy een delt with ove Lst verifitions. Here we rgue tht the forementioned nontrivil intersetions 1 8 yield equivlent quntum potentils, s needed in order to onlude the proof of Thm. 8. We will thus sketh few ommuttors of quntum yles. The logi ehind the pitures is lwys to summrise longer omputtions in nonommuttive) vriles, exploiting Prop. 10. Notie however tht the expliit omputtions pper in the ppendix 14, where 16
17 hrmless hoie of Droux oordintes is mde in order to simplify the onstnts tht ome out of the ommuttors. First, n 1 nd n 8 re settled y uniqueness rgument: in oth ses, two suh pirs ppers extly twie in the ommuttor [ Ŵ i,ŵj, nd with reversed orders. This just gives sign, nd the vnishing of the ssoited weights follows from Thm. 1: if this did not hppen, then the lssil IMD system would not e flt. Next, let us move to n 2 nd n 3. One n verify tht those nontrivil intersetions produe 5yles uilt from glueing 2yle to 3yle, the two hving no ntiprllel rrows in ommon. It would then e enough to hoose nhors so tht one lwys follows the 3yle first, nd this n indeed e done. Proposition 14. Pik nodes,,, d I so tht, d, ) defines 3yle. Assume lso tht nd re djent. Then one my hoose Droux oordintes so tht: d d, Proposition 15. Pik nodes,,,d I defining 4yle. Assume tht nd re djent. Then one my hoose Droux oordintes so tht: d d d, Now, every time tht suh nontrivil intersetion rises, one n se the 3yle s in the ove figure without loss of generlity, nd the resulting 5yle will strt t its 3suyle. In prtiulr, two suh ommuttors will equl if nd only if their ssoited lssil rkets re, whih is the result one is fter. Next, one should onsider n 6. Proposition 16. Pik nodes,,,d I defining 4yle. One my hoose Droux oordintes so tht: 17
18 d d 2 1 d, 2 1 On the righthnd side one hs split the nodes 1 2 nd 1 2, so to indite the order in whih they re touhed. The point of this proposition is the sme s efore: up to hnging the nhor of the nondegenerte 4yle, ll 6yles tht pper s result of this type of nontrivil intersetion will hve equivlent nhors one follows the 2yle first). Finlly, one should hek n 5 nd n 7. Those two nontrivil intersetions produe 6yles uilt from glueing nondegenerte 4yle nd 2yle, the two hving no ntiprllel rrows in ommon. It would then e enough to hoose nhors so tht one lwys follows the 4yle first, nd this n indeed e done. Proposition 17. Pik nodes,,,d,e I suh tht,,,d) defines 4yle. Assume tht nd e re djent. Then one n hoose Droux oordintes so tht: d e d e, Proposition 18. Pik nodes,,,d,e I so tht,,,d) nd,,,e) define 4 yles. One n hoose Droux oordintes so tht: d d d, e e e This onludes the proof of Thm KZ vs the str Here we show tht the KZ onnetion is redution of the simplyled quntum onnetion for the degenerte reding of str with no irregulr times. Rell tht str 18
19 is omplete iprtite grph hving one prt with single node. The sttements we will prove re the following. Theorem 19. The Shlesinger onnetion quntises to the KZ onnetion vi the stndrd PBW isomorphism. This is proven in Theorem 20. The SLIMS redue to the Shlesinger system, in the speil se of the degenerte reding of str with no irregulr times. This is proven in 10.4 nd Theorem 21. The SLQC, redues to the KZ system, in the sme se s ove. This is proven in 10.6 nd Simplyled quntum onnetion of str. The generl onstrution of 3 must e redued to the following dt: the set J hs rdinlity k 2 the reding is J) {+,0}, nd T 0 0. One onsiders the omplete grph on nodes J. The splyed grph G will e str on nodes I I 0 I {0} I. It will e entred t 0, nd hve m : I legs. The se spe of times is then B C m \{digs}, the vetor phsespe is M HomW,W 0 ) HomW 0,W ), equipped with the sympleti form ω TrdQ dp), where one onsiders liner mps Q : W W 0,P : W 0 W. If W i I V i, then one will write Q i for the omponent of Q in Vi W 0, nd P i for the omponent of P in W 0 ) V i. Notie tht we ve silly hosen n orienttion of G, whih wsn t neessry. However, this provides Droux oordintes: {Q i ) kl,p j ) mn } δ ij δ kn δ lm, {Q i ) kl,q j ) mn } 0 {P i ) kl,p j ) mn }. Those dt ode spe of meromorphi onnetions of the form d Q i P i dz, z t i I i on the trivil vetor undle W 0 CP 1 CP 1. Here {t i } i I B, nd Q,P) M. The isomonodromi deformtions of those onnetions re oded y the Hmiltonin system 1 2 Tr PQPQ ) H i dt i Ω 0 F,π T B), i I where π : F M B B is the trivil sympleti firtion of 3. This system spells out s H i Q,P,T ) TrP i Q j P j Q i ) SymM ). 4) t i j I i t j Indeed, H i is the sum of the tres of ll neessrily degenerte) 4yles t the node i, wheres 3yles nnot pper in iprtite ontext, nd ll 2yles re not there euse of A T 0 dt
20 The SLQC t hnd is then d B d B ) Tr Qj P j Qi Pi ) dt i. 5) t i I i j I i t j This is onnetion on the trivil quntum) vetor undle E A B B, where A : WM,ω ). Here gin one denotes y ω the sympleti form indued on M y the liner isomorphism indued y the sympleti piring M M C. As explined in 5.1, this iliner lternting mp M M C is the restrition of the Poisson rket of OM) to liner funtion. The min theorem 8 ssures tht is strongly flt. Let us set Ĥ i : i j Tr Q j Pj Qi Pi ) t i t j, for the quntum Hmiltonins defining the simplyled quntum onnetion. Let us prove expliitly tht the onnetion is strongly flt. To this end, the only nontrivil verifition is tht for the ommuttors. Proposition 22. One hs [Ĥi,Ĥj 0 for ll i,j I. Proof. Pik i j I. The trik is to deompose the ommuttor in the following sum: 1 [ [Ĥi,Ĥj Tr Q k Pk Qi Pi ),Tr Q k Pk Qj Pj ) + t i t k )t j t k ) k I \{i,j} 1 [ + Tr Q j Pj Qi Pi ),Tr Q j Pj Qk Pk ) + t i t j )t j t k ) 1 [ + Tr Q i Pi Qk Pk ),Tr Q i Pi Qj Pj ) t i t k )t j t i ) This deomposition is suggested y looking t the degenerte 4yles t the nodes i, j with 2yles in ommon, whih leves the following nontrivil intersetions: i, j k k nd 20
21 i j, j k nd i i, j k All those yles re sed t the entre 0 I of the str. Those intersetions give preisely the terms ove. Now, using Prop. 14 for the ommuttors, one finds: 1 [Ĥi,Ĥj t i t k )t j t k ) Tr [ Q i Pi, Q k Pk Q j Pj )+ k i,j 1 t i t k )t j t i ) Tr 1 + t i t j )t j t k ) Tr [ Q i Pi, Q j Pj Q k Pk )+ [ 1 t i t k )t j t k ) 1 t i t j )t j t k ) 1 t i t k )t j t i ) k i,j Finlly, this vnishes thnks to the identity [ Q k Pk, Q ) i Pi Q j Pj Tr [ Q j Pj, Q ) i Pi Q k Pk. 1 t i t k )t j t k ) 1 t i t j )t j t k ) 1 t i t k )t j t i ) 0. It is preisely this type of omputtion tht motivted the introdution of tres of) quntum potentils. Moreover, yli identities of the type ove for the funtions t i t k ) 1 t j t k ) 1 re lso used in the proof of fltness of the KZ onnetion. Indeed, we view the ommuttion reltions mong degenerte 4yles s lift of the solled Kohno reltions for the opertors Ω ij of the following setion The KZ onnetion. Here we riefly rell the lgeri definition of the KZ onnetion [KZ84. Pik n integer m > 0, nd onsider the spe B Conf m C) of onfigurtion of mtuples of points on C, whih is preisely the sme se spe s ove. Set lso g : gl C W 0 ), 21
22 where W 0 is finitedimensionl omplex vetor spe. The universl) KZ onnetion is onnetion KZ in the trivil vetor undle It n e written E Ug) m B B. KZ d B 1 i m i j Ω ij t i t j ) dt i, 6) for ertin opertors Ω ij : Ug) m Ug) m. To define them, one onsiders the stndrd invrint Ciliner form Tr : g g C, Tr : A,B) TrAB), whih provides n isomorphism Tr : g g, s it is nondegenerte. Next, one onsiders the identity Id g g g, nd uses the tre on the seond ftor to turn it into n element Ω g g. Now one sets Ω : π Ω) Ug) 2, using the nonil filtrtionpreserving projetionπ : Tensg) Ug). 2 Finlly, ifi j, one defines Ω ij s the left multiplition of Ω on the ith nd jth ftors of Ug) m, nd the identity elsewhere. 3 Finlly, let us set Ĥ KZ i : j i for further use. Those re the KZ Hmiltonins. Shlesinger system. Ω ij t i t j, 7) Another importnt ingredient is the ft tht KZ n e relised s quntistion of the Shlesinger system [Res92). This is the nonliner system of first order PDEs ontrolling the isomonodromi deformtions of Fuhsin systems on CP 1. Fixing gin finitedimensionl vetor spe W 0, these systems n e written z ψ R i ψ, z t i 1 i m for lol smooth setion ψ of the trivil vetor undle W 0 CP 1 CP 1. Here z is lol holomorphi oordinte tht identifies CP 1 C { }. Suh systems re given y pole positions t i C nd residues R i EndW 0 ). The isomonodromy prolem onsists in looking for modifition of the residues R i, s funtions of the positions t i, suh tht the monodromy of the meromorphi equtions round the poles stys fixed. The solution to this prolem mounts to solving the following system of differentil equtions, the Shlesinger system: [ Ri,R j dr i i j t i t j dt i t j ). 2 This is just the strt onstrution of the Csimir element Ω Z Ug) ) of g, with respet to the nondegenerte iliner form Tr. 3 Notie tht one usully dds omplex prmeter in front of the 1form KZ : i j Ω ij dlogt i t j ) Ω 1 B,End Ug) m)). This however doesn t ffet the strong fltness of the KZ onnetion: every onnetion of the form KZ d B KZ would e strongly flt s well, for every omplex prmeter C. Using the onstrution relled in 5.2 one ould dd the quntum prmeter in the SLQC too. 22
23 If one sets G : GL C W 0 ),g : gl C W 0 ), then this is system of equtions for lol setions of the trivil Poisson firtion F : g m B B, where B C m \{digs} prmetrises the hoies of pole positions. Geometrilly, this mounts to Ehresmnn onnetion on the firtion. It n now e shown tht 8) dmits n Hmiltonin formultion, mening tht there exist smooth funtions Hi Sh : F C suh tht R j {Hi Sh,R j }, t i for 1 i,j m. The Poisson rket is the stndrd liner one on g m g ) m. These Hmiltonins re lled the Shlesinger Hmiltonins, nd they expliitly given y the formul Hi Sh H i R,T) TrR i R j ) Sym g m ) ). 8) t i t j i j It is no oinidene tht there re mny similrities etween this system nd the simplyled isomonodromy system 4) for the str. In ft, the former n e otined from the ltter vi simple redution, s shown in [Bo12. Before delving into tht, let us show why KZ is quntistion of Shlesinger KZ is quntistion of Shlesinger. There is stndrd quntistion mhinery for Lie lger g. The PBW theorem ssures tht one hs n isomorphism of vetor spes Q : Symg) Ug), defined on monomils y symmetristion: Q : x 1...x n 1 σ1... x σn. 9) n! σ Σ n x Here x Ug) denotes the imge of x g Symg) under the omposition g Tensg) Ug), nd Σ n is the symmetri group on n ojets. The point of ourse is tht the produt in the universl lger is nonommuttive, therey deforming the ommuttive one tht is defined on the symmetri lger. The semilssil limit σ : Ug) Symg) is given y the grding mp, sine gr Ug) ) Symg). This filtered quntistion is the Poisson nlogue of the sympleti onstrution of the Weyl lger of 5.1. Notie lso tht there exist nonil isomorphisms Ug m ) Ug) m nd Symg) m Symg) m for ll m 1, nd tht there is unique nturl wy to extend the quntistion to n isomorphism Q : Symg) m Ug) m. One n pply this onstrution vertim to g m gl C W 0 ) ) m, getting quntistion mp Q s ove. This will e referred to s the PBW quntistion, in the rest of the rtile. Now, the Shlesinger Hmiltonins re smooth setions H Sh i : B Symg ) m, sine to every point {t i } i B in the se they ssoite polynomil funtion on the fire g m of F. Thnks to the treisomorphism g g, one my s onsider them s 23
24 elements of Symg) m, usively written Hi Sh s well. Now it mkes sense to ompre the firewise quntistion QHi Sh ) Ug) m with the KZ Hmiltonin 7). Proposition 23. One hs Q TrR i R j ) ) Ω ij for ll i j {1,...,m}. Proof. It is helpful to fix the nonilcsis{e ij } i,j ofgonsisting of the squre mtries suh tht e ij ) kl δ ik δ jl. The formul TrAB) i,j A ijb ji mens preisely tht Tr i,j de ij de ji g g, where de ij g is the dul vetor to e ij. Now, the treisomorphism Tr : g g in the hosen ses reds Tr : de ij e ji, sine indeed de ij e kl ) δ ik δ jl Tre ji e kl ). Now one should introdue some nottion for the ftors of the produt g m on whih the Hmiltonin Hi Sh ts nontrivilly. We orrow the supersript nottion de i) kl : g m C from [FMTV00, to denote the funtion tht ts s de kl on the ith ftor nd tht does not depend on the other vriles). Then one hs: TrR i R j ) k,l R i ) kl R j ) lk k,l de i) kl de j) lk R), where R R 1,...,R m ) g m. The tredul of this element is k,l ej) omputes: ) Q e j) lk ei) kl 1 ê j) kl ê i) kl +ê i) kl ê j) lk 2 ê i) kl ê j) lk. k,l k,l k,l lk ei) kl, nd one The lst pssge is due to the ft tht the tions on two different ftors ommute, hene [ ê i) kl,êj) lk 0 s elements of Ug m ). Wht is left to do is hek tht Ω ij k,lêi) kl êj) lk for this hoie of sis. But indeed, the identity Id g g g is written Id g i,j e ij de ij, so tht one hs Ω i,j e ij e ji g g, with the nottion of Now the Csimir element is the nonil projetion to the universl enveloping lger: Ω π Ω) i,j ê ij ê ji Ug) 2. The tion of Ω on the ith nd jth ftor of Ug) m y left multiplition then reds Ω ij k,l ê i) kl ê j) lk, s it ws to e shown. This proposition implies s orollry tht QHi Sh ) ĤKZ i, y linerity: ) QHi Sh TrR i R j ) ) Q Q TrR i R j ) ) Ω ij t i t j t i t j t i t ĤKZ i. j j i j i j i 24
25 It is in this sense tht we sy tht the KZ onnetion is quntistion of the Shlesinger system The lssil redution. The min ide is to reple the produt Q i P i EndW 0 ) tht ppers in 4) with the residue R i EndW 0 ) tht ppers in 8). This trnsforms the former into the ltter, s one sees diretly on the expliit formule. To mke this rigorous, get k to the vetor spes W 0,W i I V i, nd set g 0 : glw 0 ). Thnks to the trepiring, one hs nonil identifition L i : W 0 V i HomV i,w 0 ) HomW 0,V i ) W 0 ) V i, nd this for ll i I. One now onsiders the mp given y the omposition of liner funtions, tht is µ i : L i L i g0, A,B) AB, This est expressed y hoosing ses. If{e j } j is sis ofw 0, then one hs nonil sis of g 0, provided y {e jk : e j de k } jk : e jk is the endomorphism tht mps e k into e j. If one next hooses sis {f i) j } j of V i, then one hs sis {ef i) ) jk : e j df i) k } jk of L i : ef i) ) jk is the liner funtion tht mps f i) k into e j. The tredulity sends this to sis {f i) e) jk : f i) j de k } jk of L i, with fi) e) jk : W 0 V i sending e k to f i) j. With those hoies mde, the produt µ i : T L i g 0 reds µ i ef i) ) jk,f i) e) lm ) µ i ej df i) k ) fi) l de m ) ) δ kl e j de m δ kl e jm. Then one expnds y ilinerity, to get the usul mtrix produt L i L i g0. Notie tht µ i is nothing ut restrition of the moment mp for the stndrd tion of GLW 0 ) on M. Equivlently, it is the Poisson mp for the restrited tion of GLW 0 ) on the invrint sypleti suspe T L i M: with g.q j,p j ) j I Q j,p j) j I, Q j,p j) { Q j,p j ), j i, gq i,p i g 1 ), else. In prtiulr, µ i is smooth Poisson mp. This ws the sitution for single leg of the strshped grph G. One n now glue the mps µ i to the full moment mp µ : M T L i g 0, µ : Q i,p i ) i I µ i Q,P) Q i P i, i I i I i I whih will stisfy the sme s ove. We shll lso usively denote µ : M g 0 ) m the mp Q i,p i ) i I Q i P i ) i I tht seprtes the omponents. Proposition 24. One hs µ H Sh i ) H i for ll i I. 4 Notie tht we hose to trnsport Hi Sh to Symg) m vi the dulity defined y the tre piring, nd then to pply Q. It would hve een the sme to trnsport the Lie rket of g to Lie rket on g, still vi the tre, nd then to onsider the quntistion of the Shlesinger Hmiltonin s n element of Ug ) m. Next, one n show tht this elements orresponds to Ω vi the ovious lift of Tr : g g to morphism Tr : Ug ) m Ug) m. This is tutologil, sine the rket of g is y definition the one tht mkes Tr : g g n isomorphism of Lie lgers. 25
26 Proof. By linerity, it is enough to hek tht for i j. This follows from the ft tht µ TrR i R j ) TrQ i P i Q j P j ), R i ) kl de kl R i ), Q i ) kl def i) ) kl Q i ), P i ) kl df i) e) kl P i ), with the sme nottion s ove, y the very definition of the omponent mps with respet to the ses {e j } j of W 0 nd {f i) j } j of V i. Notie tht the oordinte funtion R R i ) kl de kl R i ) n lso e written de i) kl, s in Hving understood this nottion, one hs µ i dei) jk ef i) ) lm f i) e) no ) de i) jk µ i whih yields the formul ef i) ) lm f i) e) no ) de i) µ i dei) jk def i) ) jm df i) e) mk OT L i ). m Hene the following omputtion yields the result: ) ) µ i R i ) kl µ j R j ) lk jk δ mne i) lo ) δ mnδ jl δ ko, µ TrR i R j ) µ k,l k,l,m,n µ i de i) kl R i ) kl R j ) lk k,l ) µ j de j) ) lk def i) ) km df i) e) ml def j) ) ln df j) e) nk k,l,m,n k,l Q i ) km P i ) ml Q j ) ln P j ) nk TrQ i P i Q j P j ). This proposition mens tht there is onsistent wy to pss from the strshped SLIMS to the Shlesinger ones, y the hnge of vrile R i : Q i P i. We view this s lssil redution, in the following sense Dul sympleti pirs nd lssil Hmiltonin redution. Consider two smooth ffine omplex Poisson vrieties P 1,P 2. Definition A smooth ffine sympleti vriety M, ω) over C, together with ouple of Poisson mps µ 1,µ 2 : M P i, is lled sympleti dul pir if one hs {µ 1OP 1 )),µ 2OP 2 ))} ω 0, where OP i ) re the glol setions of the struturl shef of P i, nd with {, } ω eing the Poisson rket on OM) defined y ω. This notion ws introdued in [Kr89. 5 Suh sitution rises in prtiulr for the moment mps with respet to ommuting Hmiltonin tions. To prove this, pik two omplex lgeri groups G 1,G 2 with Lie lgers g 1,g 2, nd sympleti mnifold M,ω). Lemm 25. Assume tht G 1,G 2 t on M,ω) with moment µ i : M g i. If the two tions ommute, then one hs dul sympleti pir. 5 This is the wekest possile notion tht one finds in the literture. Some uthors require the mps µ i to e sumersive. Some other require tht the two sulgers µ i OP i)) e the mutul entrliser of one nother into OM). 26
27 Proof. One n onsider the nturl tion of G : G 1 G 2 on M,ω). It dmits the moment µ µ 1 µ 2 : M g 1 g 2. Now one hs, for x i g i : {µ 1 x 1),µ 2 x 2)} ω {µ x 1,0),µ 0,x 2 )} ω µ [x 1,0),0,x 2 ) ) µ [x 1,0,[0,x 2 ) µ 0,0) 0, where one used the ft tht µ : g 1 g 2 OM) is morphism of Lie lgers, plus the definition of the diret sum of Lie lgers. To pply this to the se t hnd, set G 0 : GLW 0 ),G : i I GLV i ), with Lie lgers g 0,g. The two groups t on M,ω ) with ommuttive Hmitonin tions. Introdue the nottion µ 0 : M g 0 g 0 ) nd µ : M g g ) for the moment. One would now like to relte the sulger µ 0 Og0 )) OM) to tht of regulr funtions on the redution M/G. Rell tht this is y definition the ffine Poisson sheme defined s M/G : Spe OM) G ), using elementry ffine GIT theory. This is well defined, euse one is ting vi redutive group on ffine spe, ut it n hve geometri issues: the spe my e nonredued nd/or singulr. Here we re however only interested in the dul funtionl viewpoint, i.e. the lgeri one, whih is more suited to deformtion quntistion. Let us then riefly rell how to define the lssil) lgeri redutionrom),g,i) of OM) with respet to the Lie lger g nd n idel I Symg ), ssuming there to e o)moment µ : Symg ) OM). Nmely, one onsiders the idel J OM) generted y µ I), nd then one sets where nd J g J OM) g. Notie tht ROM),g,I) : OM) g /J g, OM) g : {f OM) {µ g ),f} 0}, OM) g OM) G : {f OM) G ) f f}, y tking the derivtive of the G tion. Lemm 26. One hs {OM) g,j} J. Proof. Pik OM) g, J. One my write i iµ i ) for suitle i OM), i I. Then: {,} i {, i µ i)} i i {,µ i)}+µ i){, i } i µ i){, i } J, sine {µ i ),} 0 y g invrine. This implies tht the invrint prt J g is Poisson idel in OM) g, nd thus the quotient is Poisson. Notie tht one hs ) g OM) g /J g OM)/J, 27
PreLie algebras, rooted trees and related algebraic structures
PreLie lgers, rooted trees nd relted lgeri strutures Mrh 23, 2004 Definition 1 A prelie lger is vetor spe W with mp : W W W suh tht (x y) z x (y z) = (x z) y x (z y). (1) Exmple 2 All ssoitive lgers
More informationProject 6: Minigoals Towards Simplifying and Rewriting Expressions
MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy
More information1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.
1 PYTHAGORAS THEOREM 1 1 Pythgors Theorem In this setion we will present geometri proof of the fmous theorem of Pythgors. Given right ngled tringle, the squre of the hypotenuse is equl to the sum of the
More informationMatrices SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics (c) 1. Definition of a Matrix
tries Definition of tri mtri is regulr rry of numers enlosed inside rkets SCHOOL OF ENGINEERING & UIL ENVIRONEN Emple he following re ll mtries: ), ) 9, themtis ), d) tries Definition of tri Size of tri
More informationTechnische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution
Tehnishe Universität Münhen Winter term 29/ I7 Prof. J. Esprz / J. Křetínský / M. Luttenerger. Ferur 2 Solution Automt nd Forml Lnguges Homework 2 Due 5..29. Exerise 2. Let A e the following finite utomton:
More informationElectromagnetism Notes, NYU Spring 2018
Eletromgnetism Notes, NYU Spring 208 April 2, 208 Ation formultion of EM. Free field desription Let us first onsider the free EM field, i.e. in the bsene of ny hrges or urrents. To tret this s mehnil system
More informationChapter 3. Vector Spaces. 3.1 Images and Image Arithmetic
Chpter 3 Vetor Spes In Chpter 2, we sw tht the set of imges possessed numer of onvenient properties. It turns out tht ny set tht possesses similr onvenient properties n e nlyzed in similr wy. In liner
More informationwhere the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b
CS 2942 9/11/04 Quntum Ciruit Model, SolovyKitev Theorem, BQP Fll 2004 Leture 4 1 Quntum Ciruit Model 1.1 Clssil Ciruits  Universl Gte Sets A lssil iruit implements multioutput oolen funtion f : {0,1}
More information6.5 Improper integrals
Eerpt from "Clulus" 3 AoPS In. www.rtofprolemsolving.om 6.5. IMPROPER INTEGRALS 6.5 Improper integrls As we ve seen, we use the definite integrl R f to ompute the re of the region under the grph of y =
More informationFigure 1. The lefthanded and righthanded trefoils
The Knot Group A knot is n emedding of the irle into R 3 (or S 3 ), k : S 1 R 3. We shll ssume our knots re tme, mening the emedding n e extended to solid torus, K : S 1 D 2 R 3. The imge is lled tuulr
More informationLecture Notes No. 10
2.6 System Identifition, Estimtion, nd Lerning Leture otes o. Mrh 3, 26 6 Model Struture of Liner ime Invrint Systems 6. Model Struture In representing dynmil system, the first step is to find n pproprite
More informationAP Calculus BC Chapter 8: Integration Techniques, L Hopital s Rule and Improper Integrals
AP Clulus BC Chpter 8: Integrtion Tehniques, L Hopitl s Rule nd Improper Integrls 8. Bsi Integrtion Rules In this setion we will review vrious integrtion strtegies. Strtegies: I. Seprte the integrnd into
More informationLinear Algebra Introduction
Introdution Wht is Liner Alger out? Liner Alger is rnh of mthemtis whih emerged yers k nd ws one of the pioneer rnhes of mthemtis Though, initilly it strted with solving of the simple liner eqution x +
More informationIntroduction to Olympiad Inequalities
Introdution to Olympid Inequlities Edutionl Studies Progrm HSSP Msshusetts Institute of Tehnology Snj Simonovikj Spring 207 Contents Wrm up nd AmGm inequlity 2. Elementry inequlities......................
More informationCS 573 Automata Theory and Formal Languages
Nondeterminism Automt Theory nd Forml Lnguges Professor Leslie Lnder Leture # 3 Septemer 6, 2 To hieve our gol, we need the onept of Nondeterministi Finite Automton with moves (NFA) An NFA is tuple
More informationLecture 1  Introduction and Basic Facts about PDEs
* 18.15  Introdution to PDEs, Fll 004 Prof. Gigliol Stffilni Leture 1  Introdution nd Bsi Fts bout PDEs The Content of the Course Definition of Prtil Differentil Eqution (PDE) Liner PDEs VVVVVVVVVVVVVVVVVVVV
More informationPAIR OF LINEAR EQUATIONS IN TWO VARIABLES
PAIR OF LINEAR EQUATIONS IN TWO VARIABLES. Two liner equtions in the sme two vriles re lled pir of liner equtions in two vriles. The most generl form of pir of liner equtions is x + y + 0 x + y + 0 where,,,,,,
More informationPart 4. Integration (with Proofs)
Prt 4. Integrtion (with Proofs) 4.1 Definition Definition A prtition P of [, b] is finite set of points {x 0, x 1,..., x n } with = x 0 < x 1
More informationNONDETERMINISTIC FSA
Tw o types of nondeterminism: NONDETERMINISTIC FS () Multiple strtsttes; strtsttes S Q. The lnguge L(M) ={x:x tkes M from some strtstte to some finlstte nd ll of x is proessed}. The string x = is
More informationDEFORMATIONS OF ASSOCIATIVE ALGEBRAS WITH INNER PRODUCTS
Homology, Homotopy nd Applitions, vol. 8(2), 2006, pp.115 131 DEFORMATIONS OF ASSOCIATIVE ALGEBRAS WITH INNER PRODUCTS JOHN TERILLA nd THOMAS TRADLER (ommunited y Jim Stsheff) Astrt We develop the deformtion
More informationSystem Validation (IN4387) November 2, 2012, 14:0017:00
System Vlidtion (IN4387) Novemer 2, 2012, 14:0017:00 Importnt Notes. The exmintion omprises 5 question in 4 pges. Give omplete explntion nd do not onfine yourself to giving the finl nswer. Good luk! Exerise
More informationpadic Egyptian Fractions
padic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Setup 3 4 pgreedy Algorithm 5 5 pegyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction
More informationA Lower Bound for the Length of a Partial Transversal in a Latin Square, Revised Version
A Lower Bound for the Length of Prtil Trnsversl in Ltin Squre, Revised Version Pooy Htmi nd Peter W. Shor Deprtment of Mthemtil Sienes, Shrif University of Tehnology, P.O.Bo 113659415, Tehrn, Irn Deprtment
More informationTOPIC: LINEAR ALGEBRA MATRICES
Interntionl Blurete LECTUE NOTES for FUTHE MATHEMATICS Dr TOPIC: LINEA ALGEBA MATICES. DEFINITION OF A MATIX MATIX OPEATIONS.. THE DETEMINANT deta THE INVESE A ... SYSTEMS OF LINEA EQUATIONS. 8. THE AUGMENTED
More informationLogic Synthesis and Verification
Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions JieHong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 2010 Reding: Logi Synthesis in Nutshell Setion 2 most
More informationA Study on the Properties of Rational Triangles
Interntionl Journl of Mthemtis Reserh. ISSN 09765840 Volume 6, Numer (04), pp. 89 Interntionl Reserh Pulition House http://www.irphouse.om Study on the Properties of Rtionl Tringles M. Q. lm, M.R. Hssn
More informationSolutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite!
Solutions for HW9 Exerise 28. () Drw C 6, W 6 K 6, n K 5,3. C 6 : W 6 : K 6 : K 5,3 : () Whih of the following re iprtite? Justify your nswer. Biprtite: put the re verties in V 1 n the lk in V 2. Biprtite:
More informationINTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable
INTEGRATION NOTE: These notes re supposed to supplement Chpter 4 of the online textbook. 1 Integrls of Complex Vlued funtions of REAL vrible If I is n intervl in R (for exmple I = [, b] or I = (, b)) nd
More informationBisimulation, Games & Hennessy Milner logic
Bisimultion, Gmes & Hennessy Milner logi Leture 1 of Modelli Mtemtii dei Proessi Conorrenti Pweł Soboiński Univeristy of Southmpton, UK Bisimultion, Gmes & Hennessy Milner logi p.1/32 Clssil lnguge theory
More informationDiscrete Structures Lecture 11
Introdution Good morning. In this setion we study funtions. A funtion is mpping from one set to nother set or, perhps, from one set to itself. We study the properties of funtions. A mpping my not e funtion.
More information#A42 INTEGERS 11 (2011) ON THE CONDITIONED BINOMIAL COEFFICIENTS
#A42 INTEGERS 11 (2011 ON THE CONDITIONED BINOMIAL COEFFICIENTS Liqun To Shool of Mthemtil Sienes, Luoyng Norml University, Luoyng, Chin lqto@lynuedun Reeived: 12/24/10, Revised: 5/11/11, Aepted: 5/16/11,
More informationMath 32B Discussion Session Week 8 Notes February 28 and March 2, f(b) f(a) = f (t)dt (1)
Green s Theorem Mth 3B isussion Session Week 8 Notes Februry 8 nd Mrh, 7 Very shortly fter you lerned how to integrte singlevrible funtions, you lerned the Fundmentl Theorem of lulus the wy most integrtion
More informationLecture 2: Cayley Graphs
Mth 137B Professor: Pri Brtlett Leture 2: Cyley Grphs Week 3 UCSB 2014 (Relevnt soure mteril: Setion VIII.1 of Bollos s Moern Grph Theory; 3.7 of Gosil n Royle s Algeri Grph Theory; vrious ppers I ve re
More informationArrow s Impossibility Theorem
Rep Voting Prdoxes Properties Arrow s Theorem Arrow s Impossiility Theorem Leture 12 Arrow s Impossiility Theorem Leture 12, Slide 1 Rep Voting Prdoxes Properties Arrow s Theorem Leture Overview 1 Rep
More informationTutorial Worksheet. 1. Find all solutions to the linear system by following the given steps. x + 2y + 3z = 2 2x + 3y + z = 4.
Mth 5 Tutoril Week 1  Jnury 1 1 Nme Setion Tutoril Worksheet 1. Find ll solutions to the liner system by following the given steps x + y + z = x + y + z = 4. y + z = Step 1. Write down the rgumented mtrix
More informationThe University of Nottingham SCHOOL OF COMPUTER SCIENCE A LEVEL 2 MODULE, SPRING SEMESTER MACHINES AND THEIR LANGUAGES ANSWERS
The University of ottinghm SCHOOL OF COMPUTR SCIC A LVL 2 MODUL, SPRIG SMSTR 2015 2016 MACHIS AD THIR LAGUAGS ASWRS Time llowed TWO hours Cndidtes my omplete the front over of their nswer ook nd sign their
More informationCS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6
CS311 Computtionl Strutures Regulr Lnguges nd Regulr Grmmrs Leture 6 1 Wht we know so fr: RLs re losed under produt, union nd * Every RL n e written s RE, nd every RE represents RL Every RL n e reognized
More informationGreen s Theorem. (2x e y ) da. (2x e y ) dx dy. x 2 xe y. (1 e y ) dy. y=1. = y e y. y=0. = 2 e
Green s Theorem. Let be the boundry of the unit squre, y, oriented ounterlokwise, nd let F be the vetor field F, y e y +, 2 y. Find F d r. Solution. Let s write P, y e y + nd Q, y 2 y, so tht F P, Q. Let
More informationProbability. b a b. a b 32.
Proility If n event n hppen in '' wys nd fil in '' wys, nd eh of these wys is eqully likely, then proility or the hne, or its hppening is, nd tht of its filing is eg, If in lottery there re prizes nd lnks,
More informationCounting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs
Isomorphism of Grphs Definition The simple grphs G 1 = (V 1, E 1 ) n G = (V, E ) re isomorphi if there is ijetion (n onetoone n onto funtion) f from V 1 to V with the property tht n re jent in G 1 if
More informationApril 8, 2017 Math 9. Geometry. Solving vector problems. Problem. Prove that if vectors and satisfy, then.
pril 8, 2017 Mth 9 Geometry Solving vetor prolems Prolem Prove tht if vetors nd stisfy, then Solution 1 onsider the vetor ddition prllelogrm shown in the Figure Sine its digonls hve equl length,, the prllelogrm
More informationBases for Vector Spaces
Bses for Vector Spces 22625 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything
More informationQUADRATIC EQUATION. Contents
QUADRATIC EQUATION Contents Topi Pge No. Theory 004 Exerise  0509 Exerise  093 Exerise  3 45 Exerise  4 6 Answer Key 78 Syllus Qudrti equtions with rel oeffiients, reltions etween roots nd oeffiients,
More informationSection 4.4. Green s Theorem
The Clulus of Funtions of Severl Vriles Setion 4.4 Green s Theorem Green s theorem is n exmple from fmily of theorems whih onnet line integrls (nd their higherdimensionl nlogues) with the definite integrls
More informationTopologie en Meetkunde 2011 Lecturers: Marius Crainic and Ivan Struchiner
Topologie en Meetkunde 21 Leturers: Mrius Crini nd Ivn Struhiner CHAPTER 1 The Clssifition Prolem for Compt Surfes 1. Introdution In this Chpter we will introdue nd strt deling with the lssifition prolem
More informationLecture 3: Equivalence Relations
Mthcmp Crsh Course Instructor: Pdric Brtlett Lecture 3: Equivlence Reltions Week 1 Mthcmp 2014 In our lst three tlks of this clss, we shift the focus of our tlks from proof techniques to proof concepts
More informationarxiv: v1 [math.ca] 21 Aug 2018
rxiv:1808.07159v1 [mth.ca] 1 Aug 018 Clulus on Dul Rel Numbers Keqin Liu Deprtment of Mthemtis The University of British Columbi Vnouver, BC Cnd, V6T 1Z Augest, 018 Abstrt We present the bsi theory of
More informationCS 491G Combinatorial Optimization Lecture Notes
CS 491G Comintoril Optimiztion Leture Notes Dvi Owen July 30, August 1 1 Mthings Figure 1: two possile mthings in simple grph. Definition 1 Given grph G = V, E, mthing is olletion of eges M suh tht e i,
More informationReference : Croft & Davison, Chapter 12, Blocks 1,2. A matrix ti is a rectangular array or block of numbers usually enclosed in brackets.
I MATRIX ALGEBRA INTRODUCTION TO MATRICES Referene : Croft & Dvison, Chpter, Blos, A mtri ti is retngulr rr or lo of numers usull enlosed in rets. A m n mtri hs m rows nd n olumns. Mtri Alger Pge If the
More information12.4 Similarity in Right Triangles
Nme lss Dte 12.4 Similrit in Right Tringles Essentil Question: How does the ltitude to the hpotenuse of right tringle help ou use similr right tringles to solve prolems? Eplore Identifing Similrit in Right
More informationSymmetrical Components 1
Symmetril Components. Introdution These notes should e red together with Setion. of your text. When performing stedystte nlysis of high voltge trnsmission systems, we mke use of the perphse equivlent
More informationThings to Memorize: A Partial List. January 27, 2017
Things to Memorize: A Prtil List Jnury 27, 2017 Chpter 2 Vectors  Bsic Fcts A vector hs mgnitude (lso clled size/length/norm) nd direction. It does not hve fixed position, so the sme vector cn e moved
More informationCoalgebra, Lecture 15: Equations for Deterministic Automata
Colger, Lecture 15: Equtions for Deterministic Automt Julin Slmnc (nd Jurrin Rot) Decemer 19, 2016 In this lecture, we will study the concept of equtions for deterministic utomt. The notes re self contined
More informationFactorising FACTORISING.
Ftorising FACTORISING www.mthletis.om.u Ftorising FACTORISING Ftorising is the opposite of expning. It is the proess of putting expressions into rkets rther thn expning them out. In this setion you will
More informationLesson 2: The Pythagorean Theorem and Similar Triangles. A Brief Review of the Pythagorean Theorem.
27 Lesson 2: The Pythgoren Theorem nd Similr Tringles A Brief Review of the Pythgoren Theorem. Rell tht n ngle whih mesures 90º is lled right ngle. If one of the ngles of tringle is right ngle, then we
More informationNondeterministic Automata vs Deterministic Automata
Nondeterministi Automt vs Deterministi Automt We lerned tht NFA is onvenient model for showing the reltionships mong regulr grmmrs, FA, nd regulr expressions, nd designing them. However, we know tht n
More informationActivities. 4.1 Pythagoras' Theorem 4.2 Spirals 4.3 Clinometers 4.4 Radar 4.5 Posting Parcels 4.6 Interlocking Pipes 4.7 Sine Rule Notes and Solutions
MEP: Demonstrtion Projet UNIT 4: Trigonometry UNIT 4 Trigonometry tivities tivities 4. Pythgors' Theorem 4.2 Spirls 4.3 linometers 4.4 Rdr 4.5 Posting Prels 4.6 Interloking Pipes 4.7 Sine Rule Notes nd
More informationHyersUlam stability of Pielou logistic difference equation
vilble online t wwwisrpublitionsom/jns J Nonliner Si ppl, 0 (207, 35 322 Reserh rtile Journl Homepge: wwwtjnsom  wwwisrpublitionsom/jns HyersUlm stbility of Pielou logisti differene eqution SoonMo
More informationMatrix Algebra. Matrix Addition, Scalar Multiplication and Transposition. Linear Algebra I 24
Mtrix lger Mtrix ddition, Sclr Multipliction nd rnsposition Mtrix lger Section.. Mtrix ddition, Sclr Multipliction nd rnsposition rectngulr rry of numers is clled mtrix ( the plurl is mtrices ) nd the
More information18.06 Problem Set 4 Due Wednesday, Oct. 11, 2006 at 4:00 p.m. in 2106
8. Problem Set Due Wenesy, Ot., t : p.m. in  Problem Mony / Consier the eight vetors 5, 5, 5,..., () List ll of the oneelement, linerly epenent sets forme from these. (b) Wht re the twoelement, linerly
More informationMaintaining Mathematical Proficiency
Nme Dte hpter 9 Mintining Mthemtil Profiieny Simplify the epression. 1. 500. 189 3. 5 4. 4 3 5. 11 5 6. 8 Solve the proportion. 9 3 14 7. = 8. = 9. 1 7 5 4 = 4 10. 0 6 = 11. 7 4 10 = 1. 5 9 15 3 = 5 +
More informationFinite State Automata and Determinisation
Finite Stte Automt nd Deterministion Tim Dworn Jnury, 2016 Lnguges fs nf re df Deterministion 2 Outline 1 Lnguges 2 Finite Stte Automt (fs) 3 Nondeterministi Finite Stte Automt (nf) 4 Regulr Expressions
More informationREPRESENTATION THEORY OF PSL 2 (q)
REPRESENTATION THEORY OF PSL (q) YAQIAO LI Following re notes from book [1]. The im is to show the qusirndomness of PSL (q), i.e., the group hs no low dimensionl representtion. 1. Representtion Theory
More informationT b a(f) [f ] +. P b a(f) = Conclude that if f is in AC then it is the difference of two monotone absolutely continuous functions.
Rel Vribles, Fll 2014 Problem set 5 Solution suggestions Exerise 1. Let f be bsolutely ontinuous on [, b] Show tht nd T b (f) P b (f) f (x) dx [f ] +. Conlude tht if f is in AC then it is the differene
More informationArrow s Impossibility Theorem
Rep Fun Gme Properties Arrow s Theorem Arrow s Impossiility Theorem Leture 12 Arrow s Impossiility Theorem Leture 12, Slide 1 Rep Fun Gme Properties Arrow s Theorem Leture Overview 1 Rep 2 Fun Gme 3 Properties
More informationANALYSIS AND MODELLING OF RAINFALL EVENTS
Proeedings of the 14 th Interntionl Conferene on Environmentl Siene nd Tehnology Athens, Greee, 35 Septemer 215 ANALYSIS AND MODELLING OF RAINFALL EVENTS IOANNIDIS K., KARAGRIGORIOU A. nd LEKKAS D.F.
More informationUnit 4. Combinational Circuits
Unit 4. Comintionl Ciruits Digitl Eletroni Ciruits (Ciruitos Eletrónios Digitles) E.T.S.I. Informáti Universidd de Sevill 5/10/2012 Jorge Jun 2010, 2011, 2012 You re free to opy, distriute
More informationAlgorithm Design and Analysis
Algorithm Design nd Anlysis LECTURE 5 Supplement Greedy Algorithms Cont d Minimizing lteness Ching (NOT overed in leture) Adm Smith 9/8/10 A. Smith; sed on slides y E. Demine, C. Leiserson, S. Rskhodnikov,
More information8 THREE PHASE A.C. CIRCUITS
8 THREE PHSE.. IRUITS The signls in hpter 7 were sinusoidl lternting voltges nd urrents of the solled single se type. n emf of suh type n e esily generted y rotting single loop of ondutor (or single winding),
More information1.3 SCALARS AND VECTORS
Bridge Course Phy I PUC 24 1.3 SCLRS ND VECTORS Introdution: Physis is the study of nturl phenomen. The study of ny nturl phenomenon involves mesurements. For exmple, the distne etween the plnet erth nd
More informationExercise sheet 6: Solutions
Eerise sheet 6: Solutions Cvet emptor: These re merel etended hints, rther thn omplete solutions. 1. If grph G hs hromti numer k > 1, prove tht its verte set n e prtitioned into two nonempt sets V 1 nd
More informationVectors , (0,0). 5. A vector is commonly denoted by putting an arrow above its symbol, as in the picture above. Here are some 3dimensional vectors:
Vectors 1232018 I ll look t vectors from n lgeric point of view nd geometric point of view. Algericlly, vector is n ordered list of (usully) rel numers. Here re some 2dimensionl vectors: (2, 3), ( )
More informationLearning Objectives of Module 2 (Algebra and Calculus) Notes:
67 Lerning Ojetives of Module (Alger nd Clulus) Notes:. Lerning units re grouped under three res ( Foundtion Knowledge, Alger nd Clulus ) nd Further Lerning Unit.. Relted lerning ojetives re grouped under
More informationLecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations.
Lecture 3 3 Solving liner equtions In this lecture we will discuss lgorithms for solving systems of liner equtions Multiplictive identity Let us restrict ourselves to considering squre mtrices since one
More informationLine Integrals and Entire Functions
Line Integrls nd Entire Funtions Defining n Integrl for omplex Vlued Funtions In the following setions, our min gol is to show tht every entire funtion n be represented s n everywhere onvergent power series
More informationComparing the Preimage and Image of a Dilation
hpter Summry Key Terms Postultes nd Theorems similr tringles (.1) inluded ngle (.2) inluded side (.2) geometri men (.) indiret mesurement (.6) nglengle Similrity Theorem (.2) SideSideSide Similrity
More informationLinear Systems with Constant Coefficients
Liner Systems with Constnt Coefficients 4305 Here is system of n differentil equtions in n unknowns: x x + + n x n, x x + + n x n, x n n x + + nn x n This is constnt coefficient liner homogeneous system
More informationChapter Gauss Quadrature Rule of Integration
Chpter 7. Guss Qudrture Rule o Integrtion Ater reding this hpter, you should e le to:. derive the Guss qudrture method or integrtion nd e le to use it to solve prolems, nd. use Guss qudrture method to
More informationMidTerm Examination  Spring 2014 Mathematical Programming with Applications to Economics Total Score: 45; Time: 3 hours
MiTerm Exmintion  Spring 0 Mthemtil Progrmming with Applitions to Eonomis Totl Sore: 5; Time: hours. Let G = (N, E) e irete grph. Define the inegree of vertex i N s the numer of eges tht re oming into
More informationSECTION A STUDENT MATERIAL. Part 1. What and Why.?
SECTION A STUDENT MATERIAL Prt Wht nd Wh.? Student Mteril Prt Prolem n > 0 n > 0 Is the onverse true? Prolem If n is even then n is even. If n is even then n is even. Wht nd Wh? Eploring Pure Mths Are
More informationCan one hear the shape of a drum?
Cn one her the shpe of drum? After M. K, C. Gordon, D. We, nd S. Wolpert Corentin Lén Università Degli Studi di Torino Diprtimento di Mtemti Giuseppe Peno UNITO Mthemtis Ph.D Seminrs Mondy 23 My 2016 Motivtion:
More informationm A 1 1 A ! and AC 6
REVIEW SET A Using sle of m represents units, sketh vetor to represent: NONCALCULATOR n eroplne tking off t n ngle of 8 ± to runw with speed of 6 ms displement of m in northesterl diretion. Simplif:
More information5. Every rational number have either terminating or repeating (recurring) decimal representation.
CHAPTER NUMBER SYSTEMS Points to Rememer :. Numer used for ounting,,,,... re known s Nturl numers.. All nturl numers together with zero i.e. 0,,,,,... re known s whole numers.. All nturl numers, zero nd
More informationarxiv:mathph/ v1 6 Jun 2003
On the energymomentum tensor Rirdo E. Gmbo Srví Deprtmento de Físi, Universidd Nionl de L Plt C.C. 67, 1900 L Plt, Argentin Dted: September 10, 2002 We lrify the reltion mong nonil, metri nd Belinfnte
More informationHybrid Systems Modeling, Analysis and Control
Hyrid Systems Modeling, Anlysis nd Control Rdu Grosu Vienn University of Tehnology Leture 5 Finite Automt s Liner Systems Oservility, Rehility nd More Miniml DFA re Not Miniml NFA (Arnold, Diky nd Nivt
More informationPolynomials. Polynomials. Curriculum Ready ACMNA:
Polynomils Polynomils Curriulum Redy ACMNA: 66 www.mthletis.om Polynomils POLYNOMIALS A polynomil is mthemtil expression with one vrile whose powers re neither negtive nor frtions. The power in eh expression
More informationdx dt dy = G(t, x, y), dt where the functions are defined on I Ω, and are locally Lipschitz w.r.t. variable (x, y) Ω.
Chpter 8 Stility theory We discuss properties of solutions of first order two dimensionl system, nd stility theory for specil clss of liner systems. We denote the independent vrile y t in plce of x, nd
More informationFor a, b, c, d positive if a b and. ac bd. Reciprocal relations for a and b positive. If a > b then a ab > b. then
Slrs7.2ADV.7 Improper Definite Integrls 27.. D.dox Pge of Improper Definite Integrls Before we strt the min topi we present relevnt lger nd it review. See Appendix J for more lger review. Inequlities:
More information(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P.
Chpter 7: The Riemnn Integrl When the derivtive is introdued, it is not hrd to see tht the it of the differene quotient should be equl to the slope of the tngent line, or when the horizontl xis is time
More informationSpacetime and the Quantum World Questions Fall 2010
Spetime nd the Quntum World Questions Fll 2010 1. Cliker Questions from Clss: (1) In toss of two die, wht is the proility tht the sum of the outomes is 6? () P (x 1 + x 2 = 6) = 1 36  out 3% () P (x 1
More informationILLUSTRATING THE EXTENSION OF A SPECIAL PROPERTY OF CUBIC POLYNOMIALS TO NTH DEGREE POLYNOMIALS
ILLUSTRATING THE EXTENSION OF A SPECIAL PROPERTY OF CUBIC POLYNOMIALS TO NTH DEGREE POLYNOMIALS Dvid Miller West Virgini University P.O. BOX 6310 30 Armstrong Hll Morgntown, WV 6506 millerd@mth.wvu.edu
More informationLecture Summaries for Multivariable Integral Calculus M52B
These leture summries my lso be viewed online by liking the L ion t the top right of ny leture sreen. Leture Summries for Multivrible Integrl Clulus M52B Chpter nd setion numbers refer to the 6th edition.
More informationTIME AND STATE IN DISTRIBUTED SYSTEMS
Distriuted Systems Fö 51 Distriuted Systems Fö 52 TIME ND STTE IN DISTRIUTED SYSTEMS 1. Time in Distriuted Systems Time in Distriuted Systems euse eh mhine in distriuted system hs its own lok there is
More informationMAT 403 NOTES 4. f + f =
MAT 403 NOTES 4 1. Fundmentl Theorem o Clulus We will proo more generl version o the FTC thn the textook. But just like the textook, we strt with the ollowing proposition. Let R[, ] e the set o Riemnn
More informationComputational Biology Lecture 18: Genome rearrangements, finding maximal matches Saad Mneimneh
Computtionl Biology Leture 8: Genome rerrngements, finding miml mthes Sd Mneimneh We hve seen how to rerrnge genome to otin nother one sed on reversls nd the knowledge of the preserved loks or genes. Now
More informationCHENG Chun Chor Litwin The Hong Kong Institute of Education
PEhing Mi terntionl onferene IV: novtion of Mthemtis Tehing nd Lerning through Lesson Study onnetion etween ssessment nd Sujet Mtter HENG hun hor Litwin The Hong Kong stitute of Edution Report on using
More informationCalculus Cheat Sheet. Integrals Definitions. where F( x ) is an antiderivative of f ( x ). Fundamental Theorem of Calculus. dx = f x dx g x dx
Clulus Chet Sheet Integrls Definitions Definite Integrl: Suppose f ( ) is ontinuous AntiDerivtive : An ntiderivtive of f ( ) on [, ]. Divide [, ] into n suintervls of is funtion, F( ), suh tht F = f.
More informationDiscrete Structures, Test 2 Monday, March 28, 2016 SOLUTIONS, VERSION α
Disrete Strutures, Test 2 Mondy, Mrh 28, 2016 SOLUTIONS, VERSION α α 1. (18 pts) Short nswer. Put your nswer in the ox. No prtil redit. () Consider the reltion R on {,,, d with mtrix digrph of R.. Drw
More informationLogic Synthesis and Verification
Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions JieHong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 22 Reding: Logi Synthesis in Nutshell Setion 2 most
More informationGraph States EPIT Mehdi Mhalla (Calgary, Canada) Simon Perdrix (Grenoble, France)
Grph Sttes EPIT 2005 Mehdi Mhll (Clgry, Cnd) Simon Perdrix (Grenole, Frne) simon.perdrix@img.fr Grph Stte: Introdution A grphsed representtion of the entnglement of some (lrge) quntum stte. Verties: quits
More information