MODULAR INVARIANT REPRESENTATIONS OF THE N = 2 SUPERCONFORMAL ALGEBRA arxiv: v4 [math.qa] 31 Oct 2018

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "MODULAR INVARIANT REPRESENTATIONS OF THE N = 2 SUPERCONFORMAL ALGEBRA arxiv: v4 [math.qa] 31 Oct 2018"

Transcript

1 MODULAR INVARIANT REPRESENTATIONS OF THE N = SUPERCONFORMAL ALGEBRA arxiv: v4 [mathqa] 31 Oct 018 RYO SATO Abstract We comute the modular transformation formula of the characters for a certain family of finitely or uncountably many simle modules over the simle N = vertex oerator sueralgebra of central charge c, = 3 1, where, is a air of corime ositive integers such that When = 1, the formula coincides with that of the N = unitary minimal series found by F Ravanini and S-K Yang In addition, we study the roerties of the corresonding modular S-matrix, which is no longer a matrix if 1 Introduction One of the most remarkable features in reresentation theory of vertex oerator sueralgebras VOSAs is the modular invariance roerty of the characters of their modules The roerty is firstly established by Y Zhu in [Zhu96] for rational, C -cofinite vertex oerator algebras VOAs under some natural conditions See [Miy04] and [DZ05] for the generalization to irrational cases and to suer cases, resectively We note that all these revious works are based on the C -cofiniteness assumtion which is introduced in [Zhu96] and is deely related to the finite dimensionality of the sace of 1-oint functions on torus see [DZ05, Definition 53] See [Zhu96], [Miy04], and [DZ05] for more details In the resent aer, we construct a modular invariant family of simle highest weight modules over the simle VOSA L c, associated with the N = suerconformal algebra of central charge c, := 3 1 Here, is a air of corime ositive integers such that We should note that the simle VOSA L c, is C -cofinite if and only if = 1 see Corollary 3 When it is not C -cofinite, the dimension of the sace of 1-oint functions on torus is not known to be finite cf [DZ05, Theorem 81] In fact, the sace sanned by the character functions of simle 1 Z 0-gradable L c, -modules is not finite dimensional see Remark 36 Therefore we exlain the recise meaning of the modular invariance in our case below For each air, as above, our family of simle L c, -modules is divided into two classes, atyical modules and tyical modules All the atyical modules in this aer are obtained in either way: 1 from rincial admissible ŝl 1-modules of level k = 1+ see [BHT98], [KW16], and Aendix D by the quantum Becchi-Rouet-Stora-Tyutin BRST reduction see [KRW03] and [Ara05] 1

2 RYO SATO from the Kac-Wakimotoadmissible highest weight ŝl -modules of level k = + see[kw88]bythe Kazama Suzukicosetconstructionsee[KS89], [HT91], [FSST99], and [Sat16, 7] Similarly to the atyical modules, the tyical ones are also obtained in either way: 1 from tyical highest weight ŝl 1-modules in the sense of [GK15] of level k = 1+ by the quantum BRST reduction see Aendix B4 for the details from simle relaxed highest weight ŝl -modules of level k = + see [CR13a] by the Kazama Suzuki coset construction, In resonse to the above two classes of modules, we introduce the following two families: A characters of atyical modules indexed by a certain finite set S, see Definition 49, T charactersoftyicalmodulesindexedbyk, R, wherek, isafiniteset which arameterizes the Belavin Polyakov ZamolodchikovBPZ minimal series of central charge 1 6 We note that the former characters can be written in terms of the Aell Lerch sum see [Zwe0] and [STT05] See [KW16] and Lemma C1 for the details Now we exlain the modular transformation roerties of the characters To describle the whole icture of the modular invariance in suer cases, we need to consider the following four tyes of formal characters: 1 ch 0,0 M: Neveu Schwarz character, ch 0,1 M: Neveu Schwarz suercharacter, 3 ch 1,0 M: Ramond character, 4 ch 1,1 M: Ramond suercharacter For λ S, and µ,x K, R, we denote the character functions of the corresonding highest weight modules by A ε,ε λ τ,u,t = L chε,ε λ and T ε,ε µ,x τ,u,t = ch ε,ε L µ,x Here τ,u,t H C C stands for a certain coordinate of the Cartan subalgebra of the N = suerconformal algebra Then our modular invariance in this aer means the establishment of the following modular S-transformation A ε,ε λ T ε,ε µ,x 1τ uτ u,,t = S aa,ε,ε,ε λ,λ 6τ Aε λ τ,u,t λ S, + dx S at,ε,ε,ε λ,µ,x Tε µ,x τ,u,t, 1τ uτ u,,t = 6τ µ K, µ K, R R dx S tt,ε,ε µ,x,µ,x Tε,ε µ,x τ,u,t and the rather trivial modular T-transformation See 3 and 44 for the details At last we give some remarks on relationshis between our result and the relevant revious works

3 MODULAR INVARIANT REPRESENTATIONS OF THE N = SCA 3 When = 1, the set K,1 is emty and the index set S,1 bijectively corresonds to the N = unitary minimal series of central charge c,1 = 3 1 Therefore the finite-dimensional sace san C { A ε,ε λ ε,ε {0,1}, λ S,1 } is SL, Z-invariant Then our result recovers the modular transformation of the N = minimal unitary characters which is obtained by F Ravanini and S-K Yang in [RY87] see also [Qiu87] and roved by VG Kac and M Wakimoto in [KW94a] See Aendix D for the details In [STT05], A M Semikhatov, A Taormina, and I Yu Tiunin studied the modular roerty of the characters of simle highest weight modules over the ŝl 1 of level k = 1+ for The N = VOSA is obtained fromtheaffinevosaassociatedwithŝl 1 bythe quantumbrstreduction based on the result of T Arakawa in[ara05] and the corresonding central charge is given by c, = 3k+1 We can verify that the admissible ŝl 1 reresentations considered in [STT05, B3] corresond to rincial admissible ŝl 1-modules with sectral flow twists cf [KW16, ] We note that the character formula for rincial admissible ŝl 1-modules is roved in [GK15] see [KW16, Lemma 1] for the details We should mention that the reduced version of the formula in [STT05, Theorem 41] is resented in [Gho03, 475] and our result gives an alternative exression of [Gho03, 475] urely in terms of the character functions By the Kazama Suzuki coset construction see [KS89], [HT91], [FST98], and [Sat16], the modular invariant family of L c, -modules in this aer can be regarded as the counterart of that of ŝl -modules at the Kac- Wakimoto admissible levels k = + studied in [CR13a] It is worth noting that the formal characters of tyical ŝl -modules which are arameterized by K, R are not convergent to functions defined in the uer half lane H Acknowledgments: The author would like to exress his gratitude to Thomas Creutzig for helful discussions and valuable comments He also would like to exress his areciation to Minoru Wakimoto for valuable comments on Aendix D, and to Yoshiyuki Koga for helful discussions on Aendix B4 He wishes to thank Kazuya Kawasetsu, Hisayoshi Matsumoto, Hironori Oya, and Yoshihisa Saito for fruitful discussions and comments, We also thank Victor Kac, Antun Milas, and Vladimir Dobrev for letting him know the references Some art of this work is done while he was visiting Academia Sinica, Taiwan, in February March 017 He is grateful to the institute for its hositality This work is suorted by the Program for Leading Graduate Schools, MEXT, Jaan

4 4 RYO SATO Preliminaries 1 Notation For τ,u H C, we set q,z := e πiτ,e πiu We denote the eta function by ητ := q q n and the theta functions by ϑ ε,ε u;τ := z ε ε q 8 1 q n n>0 for ε,ε {0,1} We note that ϑ ε,ε u;τ = i εε n Z n> ε zq n 1 ε 1+ 1 ε z 1 q n 1+ε e πiτn+ε +πiu+ ε n+ε = z ε q ε 8 ϑ0,0 u+ ε τ + ε ;τ By abuse of notation, we regard ητ res ϑ ε,ε u;τ as a holomorhic function on H res C H and also as a convergent series in q res z and q The N = suerconformal algebra The Neveu Schwarz sector of the N = suerconformal algebra firstly introduced in [ABd + 76] is the Lie sueralgebra ns = CL n CJ n CG + r CG r CC n Z n Z r Z+ 1 r Z+ 1 with the Z -grading ns 0 = CL n CJ n CC, ns 1 = n Z n Z CG + r CG r and with the following anti-commutation relations: r Z+ 1 [L n,l m ] = n ml n+m n3 ncδ n+m,0, n [L n,j m ] = mj n+m, [L n,g ± r ] = r G ± n+r, r Z+ 1 [J n,j m ] = n 3 Cδ n+m,0, [J n,g ± r ] = ±G ± n+r, [G + r,g s ] = L r+s+r sj r+s + 1 r 1 Cδ r+s,0, 3 4 [G + r,g + s ] = [G r,g s ] = 0, [ns,c] = {0}, for n,m Z and r,s Z+ 1 3 The N = vertex oerator sueralgebra Let ns = ns + ns 0 ns be the triangular decomosition of ns, where ns + := CL n CJ n CG + r n>0 n>0 r>0 r>0cg r, ns := CL n CJ n CG + r n<0 n<0 r<0 r<0cg r, ns 0 := CL 0 CJ 0 CC, and set ns 0 := ns + ns 0 For h,j,c C 3, let C h,j,c be the 1 0-dimensional ns 0 -module defined by ns + 1 := {0}, L 0 1 := h, J 0 1 := j and C1 := c Then the induced module

5 MODULAR INVARIANT REPRESENTATIONS OF THE N = SCA 5 M h,j,c := Ind ns ns 0 C h,j,c is called the Verma module of ns Denote by L h,j,c the simle quotient ns -module of M h,j,c We write V c = V c ns = M 0,0,c / Uns G + 0,0,c +Uns 1 G 0,0,c for 1 the universal N = VOSA, where 0,0,c is the highest weight vector of M 0,0,c When c 0, we also write L c = L c ns = L 0,0,c for its simle quotient VOSA See [Sat16, ] for the details 4 Classification of simle modules Let 1 r 1 and 0 s 1 We set L r,s;λ := L r,s aλ,aλ,c,, where a := and r,s := ar s a 4a We also set λ r,s := r 1 s a Note that r,s = aλ r,s λ r,s +1 The following classification is obtained by D Adamović via the Kazama Suzuki coset construction Theorem 1 [Ada99, Theorem 71 and 7] The comlete reresentatives of the isomorhism classes of simle 1 Z 0-gradable L c, -modules are given as follows: { Lr,0;λr,0 θ 1 r 1,0 θ r 1,θ Z } {L r,s;λ r,s K,,λ C}, where K, := {m,n Z 1 m 1,1 n 1,m +n } Remark The index set K, arameterizes the BPZ minimal series of central charge 1 6 and we have K, = 1 1 Corollary 3 Let c C \{0} Then the simle VOSA L c is C -cofinite if and only if c = c,1 for some Z 3 Proof First, the if art follows from the regularity of the VOSA L c,1 roved in [Ada01, Theorem 81] and the suer-analog of [Li99, Theorem 38] Next, we verify the only if art We may assume that c = c, for some air of corime integers, Z Z 1 In fact, otherwise, the simle quotient L c is isomorhic to the non C -cofinite VOSA V c by [GK07, Corollary 915 ii] Here we assume that 1 By the revious theorem and [KW94b, Theorem 13], it follows that the Zhu algebra of L c, is infinite-dimensional Then the infinite-dimensionality of the even art of the C -algebra of L c, follows from a slight generalization of [ALY14, Proosition 33] to the suer case see also [AM11, Introduction] This comletes the roof of the only if art In this aer, we introduce the notion of atyical and tyical modules as follows Definition 4 We call a simle L c, -module L r,s;λ tyical if r,s K, and λ C\S r,s, where S r,s := {λ r,s,λ r, s}+z Otherwise, we call L r,s;λ atyical 5 Formal characters LetM beaweight ns,ns 0 -moduleofcentralcharge c, ie ns 0 acts semi-simly on M and C acts as the scalar c We set q,z,w := e L 0,e J0,e C, where L 0,J0,C is the dual basis of ns 0 with resect to the basis L 0,J 0,C Then the formal characters of M is defined by ch 0,0 M := q c 4 dimm λ e λ, ch 0,1 M := q c 4 λ ns 0 λ ns 0 sdimm λ e λ,

6 6 RYO SATO where M λ := {v M Xv = λ,x v for any X ns 0 } In what follows, we write ch 0,ε Mq,z,w := ch 0,ε M The following lemma is easily verified see [Sat16, Lemma 5] Lemma 5 For the sectral flow twisted module M θ see Aendix A for the definition and ε {0,1}, we have ch 0,ε M θ q,z,w = q cθ 6 z cθ 3 ch 0,ε Mq,zq θ,w Now we introduce the half-twisted characters as follows Definition 6 For ε {0,1}, the twisted character of M is deifined by ch 1,ε Mq,z,w := q c 4 z c 6 ch 0,ε Mq,zq 1,w 3 Tyical modular transformation law In this section, we derive the modular transformation formula for the character functions of tyical modules Throughout this section, we assume that and L r,s;λ is tyical 31 Character formula for tyical modules We rove the following character formula via the quantum BRST reduction from ŝl 1 of level k = 1 + a See Aendix B for the roof Theorem 31 We have an equality of formal series where ch ε,ε L r,s;λ q,z,w = 1 εε q aλ+ε z aλ+ε w 31 aϑ ε,ε u;τ ητ χ r,s τ, χ r,s τ := 1 ητ n Z Proof By Theorem B4, we obtain q n+ r s q n+ r s ch 0,0 L r,s;λ q,z,w = q aλ z aλ w 31 aϑ 0,0u;τ ητ χ r,s τ By some comutations, we also obtain the characters for ε,ε 0,0 Remark 3 The convergent series χ r,s τ is the normalized character of the corresonding BPZ minimal series The modular transformation is given as follows: χ r,s 1 = S r,s,r,s τ χ r,s τ, where S r,s,r,s := r,s K, χ r,s τ +1 = e πi r s χ r,s τ, 8 1r+sr +s sin See [IK11, Proosition 63] for the details π rr sin π ss The next corollary immediately follows from the revious character formula

7 MODULAR INVARIANT REPRESENTATIONS OF THE N = SCA 7 Corollary 33 Forany θ Z, the sectral flow twisted module L r,s;λ θ is isomorhic to another tyical module L r,s;λ θ In articular, the set of tyical modules is closed under the sectral flow Now we introduce the corresonding character function Definition 34 Let r,s K, and x C Then a tyical character function is defined as the following holomorhic function on H C C: T ε,ε r,s;xτ,u,t := 1 εε q ax iε z iax iε w 31 a ϑ ε,ε u;τ ητ χ r,s τ, where q,z,w = e πiτ,e πiu,e πit The next lemma follows from Definition 4, Theorem 31, and Definition 34 Lemma 35 As a function in q,z,w = e πiτ,e πiu,e πit, holds if and only if x R+iR\S r,s T ε,ε r,s;x τ,u,t = chε,ε L r,s;ix q,z,w Remark 36 Since the family {T ε,ε r,s;x x R + ir \ S r,s} is linearly indeendent, the sace sanned by the character functions of simle 1 Z 0-gradable L c, -modules is not finite dimensional 3 Modular transformation of tyical characters The tyical character functions satisfy the following modular transformation formula Theorem 37 For r,s K, and x C, the following hold: 1τ uτ 31 T ε,ε u r,s;x,,t = dx S tt,ε,ε,ε 6τ r,s;x,r,s ;x Tε r,s ;x τ,u,t, 3 T ε,ε r,s;xτ +1,u,t = e πi where r,s K, R ax iε + r s 4 S tt,ε,ε r,s;x,r,s ;x := i εε S r,s,r,s 1 ε 8 T ε,εε +1 ε1 ε r,s;x 4πiax ae iε x iε τ, u, t, Proof The S-transformaltion 31 essentially follows from the Gaussian integral e πiau τ iax q ax z = dx q ax z iax e 4πiaxx, a iτ R where q, z := e πi τ,e πiu τ The T-transformation 3 is clear 33 Proerty of tyical S-data The data S tt,ε,ε r,s;x,r,s ;x in the revious subsection has the following roerties Proosition 38 Let µ,µ K, and x,x R Then we have and µ K, R S tt,ε,ε µ;x,µ ;x = Stt,ε,ε µ ;x,µ;x dx S tt,ε,ε µ;x,µ ;x Stt,ε,ε µ ;x,µ ;x = 1εε δ µ,µ δ x+iε x, where δz is the delta distribution

8 8 RYO SATO Proof The former is obvious The latter follows from dx ae 4πiax iε x iε ae 4πia R = a e πi x+iε x a x iε dx and the fact that 33 R = δ x+iε x µ K, S µ,µ S µ,µ = δ µ,µ x iε x iε For examle, see [IK11, 910] for the roof of the equality 33 4 Atyical modular transformation law In this section, we resent the modular transformation formula for the character functions of atyical modules see Definition 4 for the definition of atyical modules Its roof is given in Aendix C Throughout this section, we assume that 1 41 Parameterization of atyical modules First we assign a trile of certain integers to each atyical module as follows Lemma 41 Let M be a simle highest weight ns -module Then the following are equivalent: 1 M is an atyical module There exist 1 r 1, 0 s 1, and θ Z such that M = Lr,s θ, where Lr,s := L r,s;λr,s = L aλr,s,aλ r,s,c, Proof It immediately follows from Corollary A3 Remark 4 Note that we have Ω + λ r,s θ Lr,s = Lr,s θ, where Lr,s is the Kac-Wakimoto admissible ŝl -module of highest weight k λ r,s Λ 0 + λ r,s Λ 1 Here k = +a 1 and Λ i stands for the i-th fundamental weight of ŝl Next we comute the set of equivalence class of all the modules of the form Lr,s θ When = 1, we have Lr,0 r = L r,0 and the eriodic isomorhism Lr,0 = Lr,0 for any 1 r 1 Therefore, as well known, there are only finitely many inequivalent simle 1 Z 0-gradable L c,1 -modules On the other hand, when 1, we obtain by Corollary A3 the following identification: Lemma 43 Suose that Then Lr,s θ is isomorhic to Lr,s if and only if one of the following holds: 1 r,s;θ = r,s;0 and r,s = r,s, r,s;θ = r,0;r and r,s = r, 1, 3 r,s;θ = r, 1; +r and r,s = r,0 As a consequence, if, there exist infinitely many inequivalent atyical modules

9 MODULAR INVARIANT REPRESENTATIONS OF THE N = SCA 9 4 Character formula for atyical modules In this subsection, we comute the character formula for atyical modules and introduce the corresonding meromorhic functions Let r,s be a air of integers such that 1 r 1 and 0 s 1 We consider the meromorhic function Ψ, ;r,su;τ := n Z on C H, whose divisor is n+ r s q 1 zq n q n+ r s 1 zq n r D,r := {m+nτ,τ, m+n+rτ,τ τ H, m,n Z} Then we define the formal series Φ, ;r,sz,q as the exansion of Ψ, ;r,su;τ with resect to the two variables z,q = e πiu,e πiτ in the region A := { u;τ C H q < z < 1 } C H\D,r That is, the formal series Φ, ;r,sz,q is given by Φ, ;r,sz,q = z m ϕ n,m, ;r,s q where n,m 0 n,m<0 z m ϕ n,m, ;r,s q, ϕ n,m, ;r,s q := n+ r s +nm q q n+ r + s +n+ rm Theorem 44 For any θ Z, we have an equality of formal series ch ε,ε Lr,s θ q,z,w = 1 εε q aλr,s θ+ε z aλr,s θ+ε w 31 a ϑ ε,ε u;τ ητ 3 Φ, ;r,s 1 1 ε zq θ+1 ε,q Proof By [Sat16, Theorem 713], we have ch 0,0 Lr,s q,z,w = q aλ r,s z aλ r,s w 31 aϑ 0,0u;τ ητ 3 Φ, ;r,s zq 1,q By Lemma 5 and some comutations, we also have the formula for θ 0 and ε,ε 0,0 Definition 45 An atyical character function is defined as the following meromorhic function on H C C: A ε,ε r,s;θ τ,u,t := 1εε q aλr,s θ+ε z aλr,s θ+ε w 31 a where u ε,ε := u+ 1 ε τ + 1 ε The next lemma holds by definition ϑ ε,ε u;τ ητ 3 Ψ, ;r,su ε,ε +θτ,τ, Lemma 46 As a function in q,z,w = e πiτ,e πiu,e πit holds if q < z q θ+1 ε < 1 A ε,ε r,s;θ τ,u,t = chε,ε Lr,s θ q,z,w

10 10 RYO SATO Examle 47 In the trivial case, ie, ;r,s =,1;1,0, we have ητ 3 ϑ ε,ε u;τ = 1εε q 1 θ+ε z θ+ε Ψ,1;1,0 u ε,ε +θτ;τ In articular, when θ = 0 and ε,ε = 1,1, it reroduces the Ramond denominator identity for ĝl 1 1 see [KW94a, Examle 41]: i=0 where q < z < 1 1 q i 1 zq i 1 1 z 1 q i = n Z 1 n q nn+1 1 zq n, 43 Discrete sectra In this subsection, we define the index set S, as a finite subset of {r,s;θ 1 r 1,0 s 1,θ Z} Let k,l be the unique air of integers such that = k+l and 1 l 1 Since the air, is corime, so is,l Then we obtain the following lemma by easy comutations Lemma 48 For 0 m 1, let r m,s m be the unique air of integers such that 0 r m 1, 0 s m l 1 and m = lr m s m Let S m, be the set of solutions r,s;θ of the equation 41 m+ = r θ s+1 under the condition 1 r 1, 0 s 1, θ Z Then we have S m, {r,s;θ = = θ+1+r m,kr m +s m ;θ rm } rm θ 1 Definition 49 We call S, := 1 m=0 S m, the set of discrete sectra of central charge c = c, Lemma 410 We have the following: 1 S, = 1 For r,s;θ,r,s ;θ S,, the two modules Lr,s θ and Lr,s θ are isomorhic if and only if r,s;θ = r,s ;θ Proof 1 is easily verified by calculation directly follows from Lemma 43 Examle 411 We resent some examles 1 Since r 0,s 0 = 0,0, we have S 0, {i 1,0;i 1 = 1 i } If, =,k+1, we have { i,u 1k;i u S u 1,k+1 = } 1 1 i, S v,k+1 {i 1,vk;i 1 v = 1 i }

11 MODULAR INVARIANT REPRESENTATIONS OF THE N = SCA 11 for 1 u and 1 v 1 In articular, when k = 0, the modules corresonding to S,1 coincide with the N = unitary minimal series see [Dör98] and [Sat16, Remark 71] 44 Modular transformation of atyical characters For r,r,s,s,θ,θ Z, we set S aa,ε,ε r,s;θ,r,s ;θ := i εε 1 1 ε s+1 εs sinπarr e πiar θ 1+εr θ 1+ε In addition, if r,s K,, we also set S at,ε,ε r,s;θ,r,s ;x := i εε 1 r s+rs sin πarr πss sin a e πx +sin πλ r,1+ss coshπx cosπλ r,s for x R Now we state the main result of this aer Theorem 41 The following hold: 1τ uτ A ε,ε u r,s;θ,,t 6τ = S aa,ε,ε,ε r,s;θ,r,s ;θ Aε r,s ;θ τ,u,t r,s ;θ S, + r,s K, A ε,ε r,s;θ τ +1,u,t R e 4πaλr,s θ+ε dx S at,ε,ε r,s;θ,r,s ;x Tε,ε r,s ;x τ,u,t, = e πi[ar s θ+ 1 ε aθ+1 ε 1 ε 8 ] ε,εε A +1 ε1 ε u;τ for 1 r 1, 0 s 1, and θ Z See Aendix C for the roof of Theorem 41 r,s;θ Examle 413 When, = 3, and r,s;θ = 1,0;0, we have 1τ uτ A ε,ε u 1,0;0,,t = e πi 6 εε A ε,ε πi 1,0;0 τ,u,t e 3 ε A ε,ε 1,1; 1 6τ τ,u,t 3 e πi 3 ε A ε,ε,0;0 τ,u,t R e 4επ 3 y,ε x iε coshπy Tε 1,1;y τ,u,tdy 45 Proerty of atyical S-data In this subsection, we verify the symmetricity and the unitarity of the data S aa,ε,ε r,s;θ,r,s ;θ Lemma 414 Let r,r Z 0 such that r,r 1 and r r is even 1 We have 1 sin πarj sin πar j = δ r,r j=0

12 1 RYO SATO Suose that is odd Then we have 1 j=1 sin πarj sin πar j = 4 δ r,r Proof By using sinx = eix e ix i both 1 and and straightforward calculation, we can verify Lemma 415 Let r,s;θ S m, and r,s ;θ S m, Then we have sinπarr sinπar r e πiarm r m r θ = 4 δ r,r δ s,s δ θ,θ r,s ;θ S, Proof Denote the left hand side by S It is rewritten as We set S = 1 m =0 e πiarm r m r m +1 r,s ;θ S m, sinπarr sinπar r S odd := sin πarj 1 sin πar j 1, S even := j=1 1 j=1 Then, by Lemma 48, we have r,s ;θ S m, sin πarj sin πar j sinπarr sinπar r = By easy comutations, we have { 1 r m r m S odd S odd = 1 r m r m S even and S even = { 1 r m r m S even 1 r m r m S odd { S odd S even if is even, if is odd if is even, if is odd if r m is even, if r m is odd First, we assume that is odd Since {r m 0 m 1} = {0,1,, 1}, we have S = l=1 eπiarm r m l S even Since r m = r m holds if and only if m = m, combining with Lemma 414, we obtain S = 4 δ r,r δ s,s δ θ,θ Next, we assume that is even Then is odd and it follows that S = 0 holds if r m r m is odd In what follows, we assume that r m r m is even Then we have S = e πiarm r m r m +1 S even + e πiarm r m r m +1 S odd r m : odd l=1 r m : even = δ 1 m,m sin πarl sin πar l = 4 δ r,r δ s,s δ θ,θ

13 MODULAR INVARIANT REPRESENTATIONS OF THE N = SCA 13 This comletes the roof Proosition 416 Let λ = r,s;θ, λ = r,s ;θ S, Then we have and λ S, S aa,ε,ε λ,λ = S aa,ε,ε λ,λ S aa,ε,ε,ε λ,λ Saa,ε λ,λ = δ λ,λ Proof Since the former equality is obvious, we verify the latter one The left hand side is equal to e πia1 ε λ r,s θ λ r,s θ 4 S Therefore it immediately follows from the Lemma Conjecture on Verlinde coefficients In this section, we consider the structure constants of the Verlinde ring of the simle VOSA L c, in the sirit of [CR13b] See [CR13b], [AC14, 5], and references therein for the details Throughout this section, we assume that Let λ = r,s;θ S,, µ j = r j,s j K,, and x j C\iS rj,s j for j {1,} Then we define the atyical-tyical-tyical Verlinde coefficient by N µ;x λ,µ 1;x 1 := µ K, R Sat,0,0 λ,µ dx ;x Stt,0,0 µ 1;x 1,µ ;x Stt,0,0 µ ; x,µ ;x S at,0,0 1,0;0,µ ;x Conjeture 51 The Verlinde coefficient N µ λ,µ 1 can be exressed as a certain delta function with a non-negative integer coffiecient In addition, the integer coincides with the fusion rule of the corresonding simle L c, -modules, ie the dimension of the sace of intertwining oerators of tye L r,s ;ix Lr,s θ L r1,s 1;ix 1 See [KW94b, Definition 16] for the definition of intertwining oerators Examle 5 When, = 3,, we have S 0 3, = {λ 0 := 1,0;0}, S 1 3, = {λ 1 := 1,1; 1}, S 3, = {λ 1 :=,0;0} We also havek 3, = {1,1}and S 1,1 = { 1 4 }+ 1 Z For j {1,}and x j C\iS 1,1, we set µ j := 1,1;x j Then we obtain N µ λ ǫ,µ 1 = dx e πix x 1 iǫ x = δ x 1 iǫ x R for ǫ {0,±1} In this case, the conjecture states that { 1 if x = x 1 iǫ dimix 1,x,ǫ =, 0 otherwise holdsforx 1,x,ǫasabove,whereIx 1,x,ǫisthesaceofZ -gradedintertwining oerators of tye L x, 4 3 ix, 1 L1 3 ǫ, 3 ǫ, 1 L x1, 4 3 ix1, 1

14 14 RYO SATO To the best of our knowledge, the fusion rule between the above modules has not ever aeared in the literature Aendix A Sectral flow automorhisms In this section, we give a brief review of sectral flow automorhisms A1 Definition For θ Z, the sectral flow automorhism U θ of ns is defined by U θ L n = L n +θj n + θ 6 Cδ n,0, U θ J n = J n + θ 3 Cδ n,0, U θ G ± r = G ± r±θ, U θc = C Let U θ : ns -mod ns -mod denote the endofunctor induced by the ullback action with resect to U θ For simlicity, we write M θ for U θ M in this aer Since we have U 0 = id ns and U θ U θ = U θ+θ for any θ,θ Z, the two functors U θ and U θ are mutually inverse Note that we have the following lemma: Lemma A1 [Sat16, Lemma B4] For any c C, the restriction of U θ gives the categorical isomorhism L c -mod L c -mod; M M θ A Sectral flow on irreducible highest weight modules It is easy to verify the next lemma Lemma A Let h,j,c C 3 Then we have L h,j,c 1 = { Lh+j+ c 6,j+ c 3,c if h = j, L h+j+ c 6 1,j+ c 3 1,c if h j L h,j,c 1 = { Lh j+ c 6,j c 3,c if h = j, L h j+ c 6 1,j c 3 +1,c if h j By the above lemma and some comutations, we obtain the following Corollary A3 Let 1 r 1, 0 s 1, and θ Z Then we have L r,s+1;λr,s+1 θ if s 1 and θ < 0 L r,0 if s = 1 and θ = +r Lr,s θ L r,s+1;λr,s+1 θ if s = 1 and +r < θ < 0 = L r,s;λr,s θ if s = 0 and 0 θ < r, L r, 1 if s = 0 and θ = r, L r,s;λr,s θ if s 0 and 0 θ, where λ m,n := m 1 n a for m,n Z Aendix B Proof of the tyical character formula B1 Affine Lie sueralgebra ŝl 1 Let sl 1 be the simle Lie sueralgebra of tye A1,0 We fix a Cartan subalgebra h of sl 1 and take its C-basis { h i i {1,} } such that h1 h 1 h 1 h = h h 1 h h 0 1, 1 0 where?? stands for the normalized even suersymmetric invariant bilinear form on sl 1 Let h = h CK CD denote the Cartan subalgebra of the Kac Moody

15 MODULAR INVARIANT REPRESENTATIONS OF THE N = SCA 15 affinizationŝl 1 = sl 1 C[t,t 1 ] CK CD We define β i,λ 0,δ h fori {1,} by β 1 h 1 = β h = 0, β 1 h = β h 1 = 1, β i K = β i D = 0, Λ 0 h i = Λ 0 D = δh i = δk = 0, Λ 0 K = δd = 1 The normalized symmetric invariant bilinear form on h is given by β 1 β 1 β 1 β β 1 δ β 1 Λ β β β δ β Λ 0 δ δ δ Λ 0 = Λ 0 Λ 0 0 B Root system For convinience, we ut α 1 := β 1 +β and α 0 := δ α 1 Then the root set of ŝl 1 is given by = { α 0 +nδ, α 1 +nδ, ±β i +nδ, mδ n Z, m Z\{0}, i {1,} } Throughout this aer, we fix the simle system Π := {α 0, β 1, β } and a corresonding Weyl vector ρ := Λ 0 B3 Formal character We assume that an ŝl 1-module M decomoses into finite-dimensional weight saces M = λ h M λ, where M λ := {v M hv = λhv for any h h} Then we define its formal character by chm := λ h dimm λ e λ B4 Tyical ŝl 1-modules In this subsection, we consider the highest weight ŝl 1 -modules of highest weight Λ = Λ r,s;λ := 1+aΛ 0 +a λ r,s λβ 1 +a λ r,s +λβ for r,s K, and λ C\S r,s Let LΛ be the irreducible highest weight ŝl 1- module of highest weight Λ and W LΛ the corresonding integral Weyl grou defined in [GK15, 735] Lemma B1 Let y W LΛ 1 We have Λ+ρ β 0 for any β iso := {β β β = 0} The weight y Λ := yλ+ρ ρ coincides with Λ if and only if y = id 3 We have Λ y Λ Z 0 Π Proof First we rove 1 Since iso = {±β i +nδ, mδ}, we may assume that β = β i +nδ or β = mδ Since we have Λ+ρ = a Λ 0 + λ r,s λβ 1 + λ r,s +λβ and λ r,s ±λ / Z, we conclude Λ+ρ β 0 in each case Next we rove Let LΛ be the non-isotoroic integral root system associated with LΛ see [GK15, 71, 735] for the definition Then, by direct calculation, we can verify that LΛ = {α 0 +l rδ, α 1 +l+r 1δ l Z}

16 16 RYO SATO and the corresonding reflections are given by W LΛ = {x l r+1, x l l Z}, where x 0 := id and x k for k 0 is defined as the comosition of the following k reflections: { r α0 r α1 r α0 if k > 0, x k := r α1 r α0 r α1 if k < 0 By direct comutations, we obtain B1 and B Λ x l r+1 Λ = l r l sδ + l sα 0 Λ x l Λ = l+r slδ lα 0 for any l Z This roves Finially, 3 follows from the above formulae and the assumtion r,s K, Theorem B By setting q = e δ, z i = e βi, and y = e α0, we obtain { } q l+r sl y l q l r l s y l+s, where Rch LΛ = e Λ l Z R := n=1 1 q n 1 q n z 1 z 1 q n 1 z 1 1 z 1 1+q n z 1 1+q n 1 z qn z 1+q n 1 z 1 is the ŝl 1-denominator in the Ramond sector Proof Since Λ is non-critical ie, ΛK 1, all the assumtions for [GK15, Theorem 1111] are clarified by Lemma B1 Therefore we obtain Rch LΛ = sgnych My Λ y WLΛ Then the required formula follows from B1 and B B5 Quantum BRST reduction Let H 0? denote the 0-th BRST cohomology functor with resect to the rincial nilotent element f sl 1 and the semisimle element x := 1 h 1 +h h See [Ara05, 3] for the details Lemma B3 The ns -module H 0 LΛ r,s;λ is isomorhic to L r,s;λ Proof Since Λ r,s;λ K h 1 h = ar s 1 / Z 0, the statement in [Ara05, Theorem 674] ensures that H 0 LΛ r,s;λ is an irreducible highest weight ns - module The corresonding highest weight is given by h,j,c = h Λ Λx+D, Λh 1 h, 3ΛK+1, where h Λ = aλ r,s λ is the lowest conformalweight oflλ see [KW14, 91 3] for the details By some comutations, the highest weight coincides with h,j,c = r,s aλ,aλ,31 a Since the next character formula is a secial case of [KRW03, Theorem 31] see also [KW14, 94], we omit the roof

17 MODULAR INVARIANT REPRESENTATIONS OF THE N = SCA 17 Theorem B4 We have where Rch 0,0 L r,s;λ = q hλ 1 a 8 w 31 a Rch LΛ e, Λ 0=1,z1=z 1 q 1,z =zq 1 R := n=1 1 q n 1+zq n 1 1+z 1 q n 1 is the ĝl 1 1-denominator in the Neveu Schwarz sector Aendix C Proof of the atyical modular transformation law In this section, we comute the modular S-transformation of the atyical character function ste by ste C1 Exression in terms of Aell Lerch sums For a ositive integer K, the level K Aell Lerch sum is defined as A K u,v;τ := z K n Z 1 Kn y n q K nn+1 1 zq n See [STT05] and [AC14] for the fundamental roerties of this function We obtain the following by Definition 45 Lemma C1 We have ητ 3 ϑ ε,ε u;τ Aε,ε r,s;θ τ,u,t = 1 εε +1 ε q ar s θ+ 1 ε aθ+1 ε z ar s aθ+ 1 ε A uε,ε +θτ,r s τ;τ q rs+ A uε,ε +θ rτ, r s τ;τ C Modular transformation law of Aell Lerch sum The following modular S-transformation roerty of the Aell Lerch sum is a scecial case of[ac14, Corollary 34] Proosition C u A τ, v τ τ ; = τ u uv/τ e πi 1 + eπia u 1 4 where f m τ,v := 1τ+v m 4 integral m=0 A u, v ; τ ϑ 1,1 f m τ,v; and hu;τ := R τ u h f τ mτ,v;, e πiτx πux coshπx dx is the Mordell By Lemma C1 and Proosition C, we see that the S-tansformed character decomoses into the following two factors: 1τ uτ A ε,ε u r,s;θ,,t = discrete art +continuous art 6τ

18 18 RYO SATO C3 Comutation of the discrete art In this subsection, we comute the discrete art by rewriting all the objects in terms of the level 1 Aell Lerch sum C31 S-transformed side In what follows, we write ũ ε,ε := u+ 1 ε τ 1 ε u ε,ε mod Z By Lemma C1 and Proosition C, the discrete art is given by ũε,ε θ C1 A, r ; τ ũε,ε θ +r A, r ; τ We can rewrite this in terms of A 1 by the following lemma: Lemma C3 u A, v ; τ = 1 1 n,m=0 1 l=0 z m+ y n q n n+m+ n A 1 u+nτ, n+m+ The roof is straightforward and we omit it C3 Untransformed side By [AC14, Proosition 33], we have C A u,v;τ = eπi 1 u 1 A 1 u, l=0 τ τ 4 + v +l ; τ v τ + l τ ; Then the untrasformed atyical character is also rewritten in terms of A 1 as follows: Corollary C4 Let N,M Z We have ητ 3 ϑ ε,ε u;τ Aε,ε r,s;θ τ,u,t = 1 εε i1 ε 1 l=0 θ+n q + θ+n + 1 ε 4 [A 1 u ε,ε +θ +Nτ,v + N; τ z 1 εa w 31 a q M rn +M s 1 A 1 u ε,ε + θ r+n +M τ,v N +M; τ ], where := r θ s+1 and for n Z v ± n := n ±r s τ τ 4 + l Proof Since we have A 1 u+nτ,v+nτ;τ = y n q n A 1 u,v;τ, we only have to verify the equiality for N = M = 0 It immediately follows from C

19 MODULAR INVARIANT REPRESENTATIONS OF THE N = SCA 19 C33 Conclusion Proosition C5 We have discrete art = i εε 1 1 ε s+1 εs r,s ;θ S, sinπarr e πiar θ 1+εr θ 1+ε A ε,ε r,s ;θ u;τ Proof The left hand side is equal to C1 and can be written in terms of A 1 by Lemma C3 The right hand side is also written in terms of A 1 by Corollary C4 Then, by choosing aroriate N and M, we obtain the formula C4 Comutation of the continuous art In this subsection, we comute the continuous art C41 Comutation of the theta art First we comute the theta functions in the continuous art The following lemma is easily verified and we omit the roof Lemma C6 We have τ ϑ 1,1 u; 1 1 = i e πil+1 u+ 1 l+ q 4 ϑ 0,0 u+ l+ 1 τ; τ l=0 Corollary C7 For 0 m 1, we have theta m := ϑ 1,1 1 τ + r +s m+ ; e πira 1 ϑ 1,1 1 = e πiar s+m e πi r +s m + 1 L= πils m e sin τ τ + r +s m+ ; 1 q 16 πrl n Z Proof By the revious lemma, we have ϑ 1,1 1 τ + r +s m+ τ ; = ie πi r +s m 1 1 q 16 l=0 Then the required formula follows Remark C8 When = 1, L=1 q n+ L τ e πilr πils m e q l+ 4 ϑ 0,0 l+ τ; τ πrl 1 Lm sin q n+ L = 0 n Z holds for 0 m 1 In articular, we get theta m = 0

20 0 RYO SATO C4 Comutation of the Mordell art Second we comute the Mordell integral in the continuous art Lemma C9 For 0 m 1, we have Mordell m u θ 1 ε := h r +s m+ = e πiθ+1 ε ε a 1 e πiε ar s+m e πi r +s m q ε 1 16 z ε a+ 1 ε R i 1 4 Proof Since we have hu sτ;τ = q s z s ε 1 τ τ ; e π[ m aλ r,s θ+ ε ]y R is sinh πy e πiτx πux coshπx+is dx for s R, the equality follows from a direct comutation Lemma C10 We have e πy 1 m=0 1 1 ε e πil e πy m = sinh πy 1+e πy+iε πil Proof Since iε + n+ 1 L ε i / R i 1 4 for any n Z, the ratio in the left-hand side is not equal to 1 q ay z iay dy C43 Conclusion Finally we obtain the exlicit form of the continuous art as follows Proosition C11 We have continuous art = i 1 εε r,s K, πss sin a R e 4πaλr,s θ+ε 1 r s+rs sin πarr e πx +sin πλ r,1+ss coshπx cosπλ r,s x iε T ε,ε r,s ;x u;τdx Proof By Lemma C1 and Proosition C, the continuous art is equal to C ϑ ε,ε u;τητ 3, where C := i 1 εε 1 εε 1 e πia1 ε λ r,s θ+ ε q 1 ε 4 a z 1 ε a eπiũ ε,ε θa 1 4 theta m Mordell m 1 ByusingLemmaC10ande πiũ ε,ε θa 1 = e πiθ+1 ε a 1 z a 1 q 1 ε a 1, we have m=0

21 MODULAR INVARIANT REPRESENTATIONS OF THE N = SCA 1 C = i 1 εε 1 εε R i ε 1 4 = i 1 εε 1 εε R i ε 1 4 = i εε R+ i L= e πils e 4πaλr,s θ+ε y πrl sin q ay 1+e πy+iε πil 1 r,s K, sin 1 εε q a r =1 s =1 e 4πaλr,s θ+ε y n Z z iay dy q n+ L 1 1 r s+rs e πiss a sin πarr 1 e πy+iε πiλ r,s q ay πss a 1 r s+rs sin πarr e πy +sin πλ r,1+ss coshπy cosπλ r,s Y iε z ia Y iε ητχ r,s τdy z iay ητχ r,s τdy e 4πaλr,s θ+ε Y iε Inthelastequality,weutY := y+ iε Finallyweshifttheregionoftheintegration by the residue theorem and obtain the required formula Aendix D Comarison with the results of Kac-Wakimoto D1 Modular transformation of the minimal unitary characters In this subsection, we exlain the relation between our result and the modular transformation roerties for N = minimal unitary characters in [KW94a, Theorem 61] We write A ;0 and A ;1 for the finite set A + and A defined in [KW94a, 6] Lemma D1 Let ε {0, 1 } and j,k A;ε Then we have ch ;ε j,k τ,u = A1 ε,0 j+k,0;k ε τ,u,0, sch;ε j,k τ,u = A1 ε,1 j+k,0;k ε τ,u,0, where ch ;ε j,k τ,u and sch;ε j,k τ,u are defined in [KW94a, 6] Proof Since we have Ψ ε+ τ,u = in [KW94a], we obtain ch ;ε jk j k j,k τ,u = q ϑ 1 ε,0u;τ z ητ 3 ητ 3 ϑ 1 ε,0 u;τ, ητ 3 Ψε τ,u = 1 1 ε ϑ 1 ε,1 u;τ n,m 0 n,m<0 1 n+m z n+m q nm+jn+km, sch ;ε j,k τ,u = 11 ε q jk j k ϑ 1 ε,1u;τ z ητ 3 z n+m q nm+jn+km n,m 0 n,m<0

22 RYO SATO Our character formula gives A 1 ε,ε j+k,0;k ε τ,u,t = ch 1 ε,ε Lj +k,0 k ε q,z,w = 1 1 εε q j k 4 z j k w 31 a ϑ 1 ε,ε u;τ ητ 3 Φ,1;j+k,0 1 1 ε zq k,q for ε {0,1} We can verify that these formulae coincide by some comutations Through the above identification, we obtain [KW94a, Theorem 61] see also [Dob87], [Mat87] as a secial case of Theorem 41 for = 1 see Remark C8 D Non-unitary sectra of Kac-Wakimoto In this subsection, we comare our sectra S, with the set of highest weights considered in [KW16, 3] In what follows, we identify the set of triles S, with that of the highest weights of the corresonding ns -modules Let {Λ 0,Λ 1,Λ } be the set of fundamental weights of the affine Lie sueralgebra ŝl 1 WewriteΛs,ifortheintegralweight 1 sλ 0 +sλ i, where0 s 1 and i {1,} In [KW16, 3], V Kac and M Wakimotoconsideredacertainfamily of simle highest weight ns -modules of central charge c = 31 a = 3 1 associated with the air,λs,i see [KW16, Lemma 1] The set of the corresonding ns -highest weights h,j = h,j,31 a is give as follows: where Λ k1,k := Sa;s,i := {h,j = Λ k1,k k 1,k Z 0 and k 1 +k 1}, k1 a + 1 k s k 1 + 1, 1 i 4 ak k 1 s We note that they assume the integer to be odd See [KW16, 3] for the details Examle D Here we resent two examles 1 If, = 3,, we have S 3 ;0,i = for i {1,} If, = 5,, we have { S 5 ;0,i S 5, = 0,0, { } 1 0,0, 3,± = S 3, 3 1 5,±, 5 S 5 ;1,i S 5, = 5,±4 5 { 1 10, 1i 5 4, 5,0 }, and S 5, S 5 ;0,i S 5 ;1,1 S 5 ;1, for i {1,} } 7, 5,±, 5

23 MODULAR INVARIANT REPRESENTATIONS OF THE N = SCA 3 References [ABd + 76] M Ademollo, L Brink, A d Adda, R d Auria, E Naolitano, S Sciuto, E Del Giudice, P Di Vecchia, S Ferrara, F Gliozzi, et al Suersymmetric strings and colour confinement Phys Lett B, 61: , 1976 [AC14] C Alfes and T Creutzig The mock modular data of a family of sueralgebras Proc Amer Math Soc, 147:65 80, 014 [Ada99] D Adamović Reresentations of the N = suerconformal vertex algebra Int Math Res Not, :61 79, 1999 [Ada01] D Adamović Vertex algebra aroach to fusion rules for N = suerconformal minimal models J Algebra, 39:549 57, 001 [ALY14] T Arakawa, C H Lam, and H Yamada Zhu s algebra, C -algebra and C - cofiniteness of arafermion vertex oerator algebras Adv Math, 64:61 95, 014 [AM11] D Adamović and A Milas The structure of Zhu s algebras for certain W-algebras Adv Math, 76:45 456, 011 [Ara05] T Arakawa Reresentation theory of suerconformal algebras and the Kac-Roan- Wakimoto conjecture Duke Math J, 1303: , 005 [BHT98] P Bowcock, M Hayes, and A Taormina Characters of Admissible Reresentations of the Affine Sueralgebra ŝl 1;C k Nucl Phys B, 5103: , 1998 [CR13a] T Creutzig and D Ridout Modular data and Verlinde formulae for fractional level WZW models II Nucl Phys B, 875:43 458, 013 [CR13b] T Creutzig and D Ridout Relating the archetyes of logarithmic conformal field theory Nucl Phys B, 873: , 013 [Dob87] VK Dobrev Characters of the unitarizable highest weight modules over the N = suerconformal algebras Phys Lett B, 1861:43 51, 1987 [Dör98] M Dörrzaf The embedding structure of unitary N = minimal models Nucl Phys B, 593: , 1998 [DZ05] C Dong and Z Zhao Modularity in orbifold theory for vertex oerator sueralgebras Comm Math Phys, 601:7 56, 005 [FSST99] B L Feigin, A M Semikhatov, V A Sirota, and I Yu Tiunin Resolutions and characters of irreducible reresentations of the N = suerconformal algebra Nucl Phys B, 5363: , 1999 [FST98] B L Feigin, A M Semikhatov, and I Yu Tiunin Equivalence between chain categories of reresentations of affine sl and N = suerconformal algebras J Math Phys, 397: , 1998 [Gho03] M Ghominejad Higher Level Aell Functions, Modular Transformations and Non- Unitary Characters PhD thesis, Durham University, [GK07] M Gorelik and V Kac On simlicity of vacuum modules Adv Math, 11:61 677, 007 [GK15] M Gorelik and V G Kac Characters of relatively integrable modules over affine Lie sueralgebras Jaan J Math, 10:135 35, 015 [HT91] S Hosono and A Tsuchiya Lie algebra cohomology and N = SCFT based on the GKO construction Comm Math Phys, 1363: , 1991 [IK11] K Iohara and Y Koga Reresentation theory of the Virasoro algebra Sringer monograhs in mathematics Sringer, 011 [KRW03] V Kac, S-S Roan, and M Wakimoto Quantum reduction for affine sueralgebras Comm Math Phys, 41:307 34, 003 [KS89] Y Kazama and H Suzuki New N = suerconformal field theories and suerstring comactification Nucl Phys B, 311:3 68, 1989 [KW88] V Kac and M Wakimoto Modular invariant reresentations of infinite-dimensional Lie algebras and sueralgebras Proc Natl Acad Sci, 8514: , 1988 [KW94a] VG Kac and M Wakimoto Integrable highest weight modules over affine sueralgebras and number theory In Lie theory and geometry, Progress in Math Phys, volume 13, ages Birkhäuser, 1994 [KW94b] VG Kac and W Wang Vertex Oerator Sueralgebras and Their Reresentations In Mathematical asects of conformal and toological field theories and quantum grous, Comtem Math, volume 175, ages American Mathematical Soc, 1994

24 4 RYO SATO [KW14] V Kac and M Wakimoto Reresentations of affine sueralgebras and mock theta functions Trans Grous, 19: , 014 [KW16] V G Kac and M Wakimoto Reresentations of affine sueralgebras and mock theta functions II Adv Math, 300:17 70, 016 [Li99] H Li Some finiteness roerties of regular vertex oerator algebras J Algebra, 1: , 1999 [Mat87] Y Matsuo Character formula of c < 1 unitary reresentation of N = suerconformal algebra Prog Theor Phys, 774: , 1987 [Miy04] M Miyamoto Modular invariance of vertex oerator algebras satisfying C - cofiniteness Duke Math J, 11:51 91, 004 [Qiu87] Z Qiu Modular invariant artition functions for N = suerconformal field theories Phys Lett B, 1984:497 50, 1987 [RY87] F Ravanini and S-K Yang Modular invariance in N = suerconformal field theories Phys Lett B, 195:0 08, 1987 [Sat16] R Sato Equivalences between weight modules via N = coset constructions arxiv rerint arxiv: , 016 [STT05] AM Semikhatov, A Taorimina, and IYu Tiunin Higher-level Aell functions, modular transformations, and characters Comm Math Phys, 55:469 51, 005 [Zhu96] Y Zhu Modular invariance of characters of vertex oerator algebras J Amer Math Soc, 91:37 30, 1996 [Zwe0] SP Zwegers Mock theta functions PhD thesis, Universiteit Utrecht, 00 Graduate School of Mathematical Sciences, The University of Tokyo Komaba Meguro-ku Tokyo, , Jaan address: rsato@msu-tokyoacj

Lecture 13 - Root Space Decomposition II

Lecture 13 - Root Space Decomposition II Lecture 13 - Root Space Decomposition II October 18, 2012 1 Review First let us recall the situation. Let g be a simple algebra, with maximal toral subalgebra h (which we are calling a CSA, or Cartan Subalgebra).

Διαβάστε περισσότερα

2 Composition. Invertible Mappings

2 Composition. Invertible Mappings Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Composition. Invertible Mappings In this section we discuss two procedures for creating new mappings from old ones, namely,

Διαβάστε περισσότερα

Every set of first-order formulas is equivalent to an independent set

Every set of first-order formulas is equivalent to an independent set Every set of first-order formulas is equivalent to an independent set May 6, 2008 Abstract A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent

Διαβάστε περισσότερα

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 1 State vector space and the dual space Space of wavefunctions The space of wavefunctions is the set of all

Διαβάστε περισσότερα

Congruence Classes of Invertible Matrices of Order 3 over F 2

Congruence Classes of Invertible Matrices of Order 3 over F 2 International Journal of Algebra, Vol. 8, 24, no. 5, 239-246 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/.2988/ija.24.422 Congruence Classes of Invertible Matrices of Order 3 over F 2 Ligong An and

Διαβάστε περισσότερα

Example Sheet 3 Solutions

Example Sheet 3 Solutions Example Sheet 3 Solutions. i Regular Sturm-Liouville. ii Singular Sturm-Liouville mixed boundary conditions. iii Not Sturm-Liouville ODE is not in Sturm-Liouville form. iv Regular Sturm-Liouville note

Διαβάστε περισσότερα

EE512: Error Control Coding

EE512: Error Control Coding EE512: Error Control Coding Solution for Assignment on Finite Fields February 16, 2007 1. (a) Addition and Multiplication tables for GF (5) and GF (7) are shown in Tables 1 and 2. + 0 1 2 3 4 0 0 1 2 3

Διαβάστε περισσότερα

4.6 Autoregressive Moving Average Model ARMA(1,1)

4.6 Autoregressive Moving Average Model ARMA(1,1) 84 CHAPTER 4. STATIONARY TS MODELS 4.6 Autoregressive Moving Average Model ARMA(,) This section is an introduction to a wide class of models ARMA(p,q) which we will consider in more detail later in this

Διαβάστε περισσότερα

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ting Zhang Stanford May 11, 2001 Stanford, 5/11/2001 1 Outline Ordinal Classification Ordinal Addition Ordinal Multiplication Ordinal

Διαβάστε περισσότερα

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions SCHOOL OF MATHEMATICAL SCIENCES GLMA Linear Mathematics 00- Examination Solutions. (a) i. ( + 5i)( i) = (6 + 5) + (5 )i = + i. Real part is, imaginary part is. (b) ii. + 5i i ( + 5i)( + i) = ( i)( + i)

Διαβάστε περισσότερα

Solutions to Exercise Sheet 5

Solutions to Exercise Sheet 5 Solutions to Eercise Sheet 5 jacques@ucsd.edu. Let X and Y be random variables with joint pdf f(, y) = 3y( + y) where and y. Determine each of the following probabilities. Solutions. a. P (X ). b. P (X

Διαβάστε περισσότερα

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

6.1. Dirac Equation. Hamiltonian. Dirac Eq. 6.1. Dirac Equation Ref: M.Kaku, Quantum Field Theory, Oxford Univ Press (1993) η μν = η μν = diag(1, -1, -1, -1) p 0 = p 0 p = p i = -p i p μ p μ = p 0 p 0 + p i p i = E c 2 - p 2 = (m c) 2 H = c p 2

Διαβάστε περισσότερα

Lecture 15 - Root System Axiomatics

Lecture 15 - Root System Axiomatics Lecture 15 - Root System Axiomatics Nov 1, 01 In this lecture we examine root systems from an axiomatic point of view. 1 Reflections If v R n, then it determines a hyperplane, denoted P v, through the

Διαβάστε περισσότερα

Other Test Constructions: Likelihood Ratio & Bayes Tests

Other Test Constructions: Likelihood Ratio & Bayes Tests Other Test Constructions: Likelihood Ratio & Bayes Tests Side-Note: So far we have seen a few approaches for creating tests such as Neyman-Pearson Lemma ( most powerful tests of H 0 : θ = θ 0 vs H 1 :

Διαβάστε περισσότερα

Uniform Convergence of Fourier Series Michael Taylor

Uniform Convergence of Fourier Series Michael Taylor Uniform Convergence of Fourier Series Michael Taylor Given f L 1 T 1 ), we consider the partial sums of the Fourier series of f: N 1) S N fθ) = ˆfk)e ikθ. k= N A calculation gives the Dirichlet formula

Διαβάστε περισσότερα

SCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018

SCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018 Journal of rogressive Research in Mathematics(JRM) ISSN: 2395-028 SCITECH Volume 3, Issue 2 RESEARCH ORGANISATION ublished online: March 29, 208 Journal of rogressive Research in Mathematics www.scitecresearch.com/journals

Διαβάστε περισσότερα

g-selberg integrals MV Conjecture An A 2 Selberg integral Summary Long Live the King Ole Warnaar Department of Mathematics Long Live the King

g-selberg integrals MV Conjecture An A 2 Selberg integral Summary Long Live the King Ole Warnaar Department of Mathematics Long Live the King Ole Warnaar Department of Mathematics g-selberg integrals The Selberg integral corresponds to the following k-dimensional generalisation of the beta integral: D Here and k t α 1 i (1 t i ) β 1 1 i

Διαβάστε περισσότερα

Homework 3 Solutions

Homework 3 Solutions Homework 3 Solutions Igor Yanovsky (Math 151A TA) Problem 1: Compute the absolute error and relative error in approximations of p by p. (Use calculator!) a) p π, p 22/7; b) p π, p 3.141. Solution: For

Διαβάστε περισσότερα

Math221: HW# 1 solutions

Math221: HW# 1 solutions Math: HW# solutions Andy Royston October, 5 7.5.7, 3 rd Ed. We have a n = b n = a = fxdx = xdx =, x cos nxdx = x sin nx n sin nxdx n = cos nx n = n n, x sin nxdx = x cos nx n + cos nxdx n cos n = + sin

Διαβάστε περισσότερα

C.S. 430 Assignment 6, Sample Solutions

C.S. 430 Assignment 6, Sample Solutions C.S. 430 Assignment 6, Sample Solutions Paul Liu November 15, 2007 Note that these are sample solutions only; in many cases there were many acceptable answers. 1 Reynolds Problem 10.1 1.1 Normal-order

Διαβάστε περισσότερα

Matrices and Determinants

Matrices and Determinants Matrices and Determinants SUBJECTIVE PROBLEMS: Q 1. For what value of k do the following system of equations possess a non-trivial (i.e., not all zero) solution over the set of rationals Q? x + ky + 3z

Διαβάστε περισσότερα

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Chapter 6: Systems of Linear Differential. be continuous functions on the interval Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations

Διαβάστε περισσότερα

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics Fourier Series MATH 211, Calculus II J. Robert Buchanan Department of Mathematics Spring 2018 Introduction Not all functions can be represented by Taylor series. f (k) (c) A Taylor series f (x) = (x c)

Διαβάστε περισσότερα

6.3 Forecasting ARMA processes

6.3 Forecasting ARMA processes 122 CHAPTER 6. ARMA MODELS 6.3 Forecasting ARMA processes The purpose of forecasting is to predict future values of a TS based on the data collected to the present. In this section we will discuss a linear

Διαβάστε περισσότερα

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required) Phys460.nb 81 ψ n (t) is still the (same) eigenstate of H But for tdependent H. The answer is NO. 5.5.5. Solution for the tdependent Schrodinger s equation If we assume that at time t 0, the electron starts

Διαβάστε περισσότερα

derivation of the Laplacian from rectangular to spherical coordinates

derivation of the Laplacian from rectangular to spherical coordinates derivation of the Laplacian from rectangular to spherical coordinates swapnizzle 03-03- :5:43 We begin by recognizing the familiar conversion from rectangular to spherical coordinates (note that φ is used

Διαβάστε περισσότερα

On a four-dimensional hyperbolic manifold with finite volume

On a four-dimensional hyperbolic manifold with finite volume BULETINUL ACADEMIEI DE ŞTIINŢE A REPUBLICII MOLDOVA. MATEMATICA Numbers 2(72) 3(73), 2013, Pages 80 89 ISSN 1024 7696 On a four-dimensional hyperbolic manifold with finite volume I.S.Gutsul Abstract. In

Διαβάστε περισσότερα

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in : tail in X, head in A nowhere-zero Γ-flow is a Γ-circulation such that

Διαβάστε περισσότερα

CRASH COURSE IN PRECALCULUS

CRASH COURSE IN PRECALCULUS CRASH COURSE IN PRECALCULUS Shiah-Sen Wang The graphs are prepared by Chien-Lun Lai Based on : Precalculus: Mathematics for Calculus by J. Stuwart, L. Redin & S. Watson, 6th edition, 01, Brooks/Cole Chapter

Διαβάστε περισσότερα

Areas and Lengths in Polar Coordinates

Areas and Lengths in Polar Coordinates Kiryl Tsishchanka Areas and Lengths in Polar Coordinates In this section we develop the formula for the area of a region whose boundary is given by a polar equation. We need to use the formula for the

Διαβάστε περισσότερα

Partial Differential Equations in Biology The boundary element method. March 26, 2013

Partial Differential Equations in Biology The boundary element method. March 26, 2013 The boundary element method March 26, 203 Introduction and notation The problem: u = f in D R d u = ϕ in Γ D u n = g on Γ N, where D = Γ D Γ N, Γ D Γ N = (possibly, Γ D = [Neumann problem] or Γ N = [Dirichlet

Διαβάστε περισσότερα

The Simply Typed Lambda Calculus

The Simply Typed Lambda Calculus Type Inference Instead of writing type annotations, can we use an algorithm to infer what the type annotations should be? That depends on the type system. For simple type systems the answer is yes, and

Διαβάστε περισσότερα

Homomorphism in Intuitionistic Fuzzy Automata

Homomorphism in Intuitionistic Fuzzy Automata International Journal of Fuzzy Mathematics Systems. ISSN 2248-9940 Volume 3, Number 1 (2013), pp. 39-45 Research India Publications http://www.ripublication.com/ijfms.htm Homomorphism in Intuitionistic

Διαβάστε περισσότερα

Fractional Colorings and Zykov Products of graphs

Fractional Colorings and Zykov Products of graphs Fractional Colorings and Zykov Products of graphs Who? Nichole Schimanski When? July 27, 2011 Graphs A graph, G, consists of a vertex set, V (G), and an edge set, E(G). V (G) is any finite set E(G) is

Διαβάστε περισσότερα

ST5224: Advanced Statistical Theory II

ST5224: Advanced Statistical Theory II ST5224: Advanced Statistical Theory II 2014/2015: Semester II Tutorial 7 1. Let X be a sample from a population P and consider testing hypotheses H 0 : P = P 0 versus H 1 : P = P 1, where P j is a known

Διαβάστε περισσότερα

Reminders: linear functions

Reminders: linear functions Reminders: linear functions Let U and V be vector spaces over the same field F. Definition A function f : U V is linear if for every u 1, u 2 U, f (u 1 + u 2 ) = f (u 1 ) + f (u 2 ), and for every u U

Διαβάστε περισσότερα

Section 8.3 Trigonometric Equations

Section 8.3 Trigonometric Equations 99 Section 8. Trigonometric Equations Objective 1: Solve Equations Involving One Trigonometric Function. In this section and the next, we will exple how to solving equations involving trigonometric functions.

Διαβάστε περισσότερα

A Note on Intuitionistic Fuzzy. Equivalence Relation

A Note on Intuitionistic Fuzzy. Equivalence Relation International Mathematical Forum, 5, 2010, no. 67, 3301-3307 A Note on Intuitionistic Fuzzy Equivalence Relation D. K. Basnet Dept. of Mathematics, Assam University Silchar-788011, Assam, India dkbasnet@rediffmail.com

Διαβάστε περισσότερα

Lecture 10 - Representation Theory III: Theory of Weights

Lecture 10 - Representation Theory III: Theory of Weights Lecture 10 - Representation Theory III: Theory of Weights February 18, 2012 1 Terminology One assumes a base = {α i } i has been chosen. Then a weight Λ with non-negative integral Dynkin coefficients Λ

Διαβάστε περισσότερα

Approximation of distance between locations on earth given by latitude and longitude

Approximation of distance between locations on earth given by latitude and longitude Approximation of distance between locations on earth given by latitude and longitude Jan Behrens 2012-12-31 In this paper we shall provide a method to approximate distances between two points on earth

Διαβάστε περισσότερα

Statistical Inference I Locally most powerful tests

Statistical Inference I Locally most powerful tests Statistical Inference I Locally most powerful tests Shirsendu Mukherjee Department of Statistics, Asutosh College, Kolkata, India. shirsendu st@yahoo.co.in So far we have treated the testing of one-sided

Διαβάστε περισσότερα

Problem Set 3: Solutions

Problem Set 3: Solutions CMPSCI 69GG Applied Information Theory Fall 006 Problem Set 3: Solutions. [Cover and Thomas 7.] a Define the following notation, C I p xx; Y max X; Y C I p xx; Ỹ max I X; Ỹ We would like to show that C

Διαβάστε περισσότερα

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch: HOMEWORK 4 Problem a For the fast loading case, we want to derive the relationship between P zz and λ z. We know that the nominal stress is expressed as: P zz = ψ λ z where λ z = λ λ z. Therefore, applying

Διαβάστε περισσότερα

Areas and Lengths in Polar Coordinates

Areas and Lengths in Polar Coordinates Kiryl Tsishchanka Areas and Lengths in Polar Coordinates In this section we develop the formula for the area of a region whose boundary is given by a polar equation. We need to use the formula for the

Διαβάστε περισσότερα

Two generalisations of the binomial theorem

Two generalisations of the binomial theorem 39 Two generalisations of the binomial theorem Sacha C. Blumen Abstract We prove two generalisations of the binomial theorem that are also generalisations of the q-binomial theorem. These generalisations

Διαβάστε περισσότερα

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER ORDINAL ARITHMETIC JULIAN J. SCHLÖDER Abstract. We define ordinal arithmetic and show laws of Left- Monotonicity, Associativity, Distributivity, some minor related properties and the Cantor Normal Form.

Διαβάστε περισσότερα

Finite Field Problems: Solutions

Finite Field Problems: Solutions Finite Field Problems: Solutions 1. Let f = x 2 +1 Z 11 [x] and let F = Z 11 [x]/(f), a field. Let Solution: F =11 2 = 121, so F = 121 1 = 120. The possible orders are the divisors of 120. Solution: The

Διαβάστε περισσότερα

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Chapter 6: Systems of Linear Differential. be continuous functions on the interval Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations

Διαβάστε περισσότερα

New bounds for spherical two-distance sets and equiangular lines

New bounds for spherical two-distance sets and equiangular lines New bounds for spherical two-distance sets and equiangular lines Michigan State University Oct 8-31, 016 Anhui University Definition If X = {x 1, x,, x N } S n 1 (unit sphere in R n ) and x i, x j = a

Διαβάστε περισσότερα

Homework 8 Model Solution Section

Homework 8 Model Solution Section MATH 004 Homework Solution Homework 8 Model Solution Section 14.5 14.6. 14.5. Use the Chain Rule to find dz where z cosx + 4y), x 5t 4, y 1 t. dz dx + dy y sinx + 4y)0t + 4) sinx + 4y) 1t ) 0t + 4t ) sinx

Διαβάστε περισσότερα

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β 3.4 SUM AND DIFFERENCE FORMULAS Page Theorem cos(αβ cos α cos β -sin α cos(α-β cos α cos β sin α NOTE: cos(αβ cos α cos β cos(α-β cos α -cos β Proof of cos(α-β cos α cos β sin α Let s use a unit circle

Διαβάστε περισσότερα

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS CHAPTER 5 SOLVING EQUATIONS BY ITERATIVE METHODS EXERCISE 104 Page 8 1. Find the positive root of the equation x + 3x 5 = 0, correct to 3 significant figures, using the method of bisection. Let f(x) =

Διαβάστε περισσότερα

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS FUMIE NAKAOKA AND NOBUYUKI ODA Received 20 December 2005; Revised 28 May 2006; Accepted 6 August 2006 Some properties of minimal closed sets and maximal closed

Διαβάστε περισσότερα

Lecture 16 - Weyl s Character Formula I: The Weyl Function and the Kostant Partition Function

Lecture 16 - Weyl s Character Formula I: The Weyl Function and the Kostant Partition Function Lecture 16 - Weyl s Character Formula I: The Weyl Function and the Kostant Partition Function March 22, 2013 References: A. Knapp, Lie Groups Beyond an Introduction. Ch V Fulton-Harris, Representation

Διαβάστε περισσότερα

Second Order Partial Differential Equations

Second Order Partial Differential Equations Chapter 7 Second Order Partial Differential Equations 7.1 Introduction A second order linear PDE in two independent variables (x, y Ω can be written as A(x, y u x + B(x, y u xy + C(x, y u u u + D(x, y

Διαβάστε περισσότερα

Coefficient Inequalities for a New Subclass of K-uniformly Convex Functions

Coefficient Inequalities for a New Subclass of K-uniformly Convex Functions International Journal of Computational Science and Mathematics. ISSN 0974-89 Volume, Number (00), pp. 67--75 International Research Publication House http://www.irphouse.com Coefficient Inequalities for

Διαβάστε περισσότερα

Inverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- -----------------

Inverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- ----------------- Inverse trigonometric functions & General Solution of Trigonometric Equations. 1. Sin ( ) = a) b) c) d) Ans b. Solution : Method 1. Ans a: 17 > 1 a) is rejected. w.k.t Sin ( sin ) = d is rejected. If sin

Διαβάστε περισσότερα

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013 Notes on Average Scattering imes and Hall Factors Jesse Maassen and Mar Lundstrom Purdue University November 5, 13 I. Introduction 1 II. Solution of the BE 1 III. Exercises: Woring out average scattering

Διαβάστε περισσότερα

Generating Set of the Complete Semigroups of Binary Relations

Generating Set of the Complete Semigroups of Binary Relations Applied Mathematics 06 7 98-07 Published Online January 06 in SciRes http://wwwscirporg/journal/am http://dxdoiorg/036/am067009 Generating Set of the Complete Semigroups of Binary Relations Yasha iasamidze

Διαβάστε περισσότερα

DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS

DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS GANIT J. Bangladesh Math. oc. IN 606-694) 0) -7 DIRECT PRODUCT AND WREATH PRODUCT OF TRANFORMATION EMIGROUP ubrata Majumdar, * Kalyan Kumar Dey and Mohd. Altab Hossain Department of Mathematics University

Διαβάστε περισσότερα

The k-α-exponential Function

The k-α-exponential Function Int Journal of Math Analysis, Vol 7, 213, no 11, 535-542 The --Exponential Function Luciano L Luque and Rubén A Cerutti Faculty of Exact Sciences National University of Nordeste Av Libertad 554 34 Corrientes,

Διαβάστε περισσότερα

Section 7.6 Double and Half Angle Formulas

Section 7.6 Double and Half Angle Formulas 09 Section 7. Double and Half Angle Fmulas To derive the double-angles fmulas, we will use the sum of two angles fmulas that we developed in the last section. We will let α θ and β θ: cos(θ) cos(θ + θ)

Διαβάστε περισσότερα

Space-Time Symmetries

Space-Time Symmetries Chapter Space-Time Symmetries In classical fiel theory any continuous symmetry of the action generates a conserve current by Noether's proceure. If the Lagrangian is not invariant but only shifts by a

Διαβάστε περισσότερα

MATH423 String Theory Solutions 4. = 0 τ = f(s). (1) dτ ds = dxµ dτ f (s) (2) dτ 2 [f (s)] 2 + dxµ. dτ f (s) (3)

MATH423 String Theory Solutions 4. = 0 τ = f(s). (1) dτ ds = dxµ dτ f (s) (2) dτ 2 [f (s)] 2 + dxµ. dτ f (s) (3) 1. MATH43 String Theory Solutions 4 x = 0 τ = fs). 1) = = f s) ) x = x [f s)] + f s) 3) equation of motion is x = 0 if an only if f s) = 0 i.e. fs) = As + B with A, B constants. i.e. allowe reparametrisations

Διαβάστε περισσότερα

Srednicki Chapter 55

Srednicki Chapter 55 Srednicki Chapter 55 QFT Problems & Solutions A. George August 3, 03 Srednicki 55.. Use equations 55.3-55.0 and A i, A j ] = Π i, Π j ] = 0 (at equal times) to verify equations 55.-55.3. This is our third

Διαβάστε περισσότερα

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8  questions or comments to Dan Fetter 1 Eon : Fall 8 Suggested Solutions to Problem Set 8 Email questions or omments to Dan Fetter Problem. Let X be a salar with density f(x, θ) (θx + θ) [ x ] with θ. (a) Find the most powerful level α test

Διαβάστε περισσότερα

SOME PROPERTIES OF FUZZY REAL NUMBERS

SOME PROPERTIES OF FUZZY REAL NUMBERS Sahand Communications in Mathematical Analysis (SCMA) Vol. 3 No. 1 (2016), 21-27 http://scma.maragheh.ac.ir SOME PROPERTIES OF FUZZY REAL NUMBERS BAYAZ DARABY 1 AND JAVAD JAFARI 2 Abstract. In the mathematical

Διαβάστε περισσότερα

Quadratic Expressions

Quadratic Expressions Quadratic Expressions. The standard form of a quadratic equation is ax + bx + c = 0 where a, b, c R and a 0. The roots of ax + bx + c = 0 are b ± b a 4ac. 3. For the equation ax +bx+c = 0, sum of the roots

Διαβάστε περισσότερα

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R + Chapter 3. Fuzzy Arithmetic 3- Fuzzy arithmetic: ~Addition(+) and subtraction (-): Let A = [a and B = [b, b in R If x [a and y [b, b than x+y [a +b +b Symbolically,we write A(+)B = [a (+)[b, b = [a +b

Διαβάστε περισσότερα

Trigonometric Formula Sheet

Trigonometric Formula Sheet Trigonometric Formula Sheet Definition of the Trig Functions Right Triangle Definition Assume that: 0 < θ < or 0 < θ < 90 Unit Circle Definition Assume θ can be any angle. y x, y hypotenuse opposite θ

Διαβάστε περισσότερα

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007 Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Αν κάπου κάνετε κάποιες υποθέσεις να αναφερθούν στη σχετική ερώτηση. Όλα τα αρχεία που αναφέρονται στα προβλήματα βρίσκονται στον ίδιο φάκελο με το εκτελέσιμο

Διαβάστε περισσότερα

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM Solutions to Question 1 a) The cumulative distribution function of T conditional on N n is Pr (T t N n) Pr (max (X 1,..., X N ) t N n) Pr (max

Διαβάστε περισσότερα

On the Galois Group of Linear Difference-Differential Equations

On the Galois Group of Linear Difference-Differential Equations On the Galois Group of Linear Difference-Differential Equations Ruyong Feng KLMM, Chinese Academy of Sciences, China Ruyong Feng (KLMM, CAS) Galois Group 1 / 19 Contents 1 Basic Notations and Concepts

Διαβάστε περισσότερα

Sequent Calculi for the Modal µ-calculus over S5. Luca Alberucci, University of Berne. Logic Colloquium Berne, July 4th 2008

Sequent Calculi for the Modal µ-calculus over S5. Luca Alberucci, University of Berne. Logic Colloquium Berne, July 4th 2008 Sequent Calculi for the Modal µ-calculus over S5 Luca Alberucci, University of Berne Logic Colloquium Berne, July 4th 2008 Introduction Koz: Axiomatisation for the modal µ-calculus over K Axioms: All classical

Διαβάστε περισσότερα

arxiv: v1 [math.ra] 19 Dec 2017

arxiv: v1 [math.ra] 19 Dec 2017 TWO-DIMENSIONAL LEFT RIGHT UNITAL ALGEBRAS OVER ALGEBRAICALLY CLOSED FIELDS AND R HAHMED UBEKBAEV IRAKHIMOV 3 arxiv:7673v [mathra] 9 Dec 7 Department of Math Faculty of Science UPM Selangor Malaysia &

Διαβάστε περισσότερα

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with Week 03: C lassification of S econd- Order L inear Equations In last week s lectures we have illustrated how to obtain the general solutions of first order PDEs using the method of characteristics. We

Διαβάστε περισσότερα

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω 0 1 2 3 4 5 6 ω ω + 1 ω + 2 ω + 3 ω + 4 ω2 ω2 + 1 ω2 + 2 ω2 + 3 ω3 ω3 + 1 ω3 + 2 ω4 ω4 + 1 ω5 ω 2 ω 2 + 1 ω 2 + 2 ω 2 + ω ω 2 + ω + 1 ω 2 + ω2 ω 2 2 ω 2 2 + 1 ω 2 2 + ω ω 2 3 ω 3 ω 3 + 1 ω 3 + ω ω 3 +

Διαβάστε περισσότερα

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1 Conceptual Questions. State a Basic identity and then verify it. a) Identity: Solution: One identity is cscθ) = sinθ) Practice Exam b) Verification: Solution: Given the point of intersection x, y) of the

Διαβάστε περισσότερα

w o = R 1 p. (1) R = p =. = 1

w o = R 1 p. (1) R = p =. = 1 Πανεπιστήµιο Κρήτης - Τµήµα Επιστήµης Υπολογιστών ΗΥ-570: Στατιστική Επεξεργασία Σήµατος 205 ιδάσκων : Α. Μουχτάρης Τριτη Σειρά Ασκήσεων Λύσεις Ασκηση 3. 5.2 (a) From the Wiener-Hopf equation we have:

Διαβάστε περισσότερα

The Pohozaev identity for the fractional Laplacian

The Pohozaev identity for the fractional Laplacian The Pohozaev identity for the fractional Laplacian Xavier Ros-Oton Departament Matemàtica Aplicada I, Universitat Politècnica de Catalunya (joint work with Joaquim Serra) Xavier Ros-Oton (UPC) The Pohozaev

Διαβάστε περισσότερα

Bounding Nonsplitting Enumeration Degrees

Bounding Nonsplitting Enumeration Degrees Bounding Nonsplitting Enumeration Degrees Thomas F. Kent Andrea Sorbi Università degli Studi di Siena Italia July 18, 2007 Goal: Introduce a form of Σ 0 2-permitting for the enumeration degrees. Till now,

Διαβάστε περισσότερα

Parametrized Surfaces

Parametrized Surfaces Parametrized Surfaces Recall from our unit on vector-valued functions at the beginning of the semester that an R 3 -valued function c(t) in one parameter is a mapping of the form c : I R 3 where I is some

Διαβάστε περισσότερα

( y) Partial Differential Equations

( y) Partial Differential Equations Partial Dierential Equations Linear P.D.Es. contains no owers roducts o the deendent variables / an o its derivatives can occasionall be solved. Consider eamle ( ) a (sometimes written as a ) we can integrate

Διαβάστε περισσότερα

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ. Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο The time integral of a force is referred to as impulse, is determined by and is obtained from: Newton s 2 nd Law of motion states that the action

Διαβάστε περισσότερα

ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ Ä Œμ Ìμ. ±É- É Ê ± μ Ê É Ò Ê É É, ±É- É Ê, μ Ö

ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ Ä Œμ Ìμ. ±É- É Ê ± μ Ê É Ò Ê É É, ±É- É Ê, μ Ö ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ 2017.. 48.. 5.. 740Ä744 ˆ Œˆ ƒ Š Œ ˆ Œˆ ˆŸ ˆ ˆ ˆŸ ˆˆ ƒ ˆ Šˆ ˆ.. Œμ Ìμ ±É- É Ê ± μ Ê É Ò Ê É É, ±É- É Ê, μ Ö ±μ³ ² ± ÒÌ ³μ ʲÖÌ Ð É Ò³ ² ³ Š² ËËμ Î É μ - ³ μ É Ò Ë ³ μ Ò ³ Ò Å ²μ ÉÉ. Ì

Διαβάστε περισσότερα

Commutative Monoids in Intuitionistic Fuzzy Sets

Commutative Monoids in Intuitionistic Fuzzy Sets Commutative Monoids in Intuitionistic Fuzzy Sets S K Mala #1, Dr. MM Shanmugapriya *2 1 PhD Scholar in Mathematics, Karpagam University, Coimbatore, Tamilnadu- 641021 Assistant Professor of Mathematics,

Διαβάστε περισσότερα

PROPERTIES OF CERTAIN INTEGRAL OPERATORS. a n z n (1.1)

PROPERTIES OF CERTAIN INTEGRAL OPERATORS. a n z n (1.1) GEORGIAN MATHEMATICAL JOURNAL: Vol. 2, No. 5, 995, 535-545 PROPERTIES OF CERTAIN INTEGRAL OPERATORS SHIGEYOSHI OWA Abstract. Two integral operators P α and Q α for analytic functions in the open unit disk

Διαβάστε περισσότερα

5. Choice under Uncertainty

5. Choice under Uncertainty 5. Choice under Uncertainty Daisuke Oyama Microeconomics I May 23, 2018 Formulations von Neumann-Morgenstern (1944/1947) X: Set of prizes Π: Set of probability distributions on X : Preference relation

Διαβάστε περισσότερα

DiracDelta. Notations. Primary definition. Specific values. General characteristics. Traditional name. Traditional notation

DiracDelta. Notations. Primary definition. Specific values. General characteristics. Traditional name. Traditional notation DiracDelta Notations Traditional name Dirac delta function Traditional notation x Mathematica StandardForm notation DiracDeltax Primary definition 4.03.02.000.0 x Π lim ε ; x ε0 x 2 2 ε Specific values

Διαβάστε περισσότερα

About these lecture notes. Simply Typed λ-calculus. Types

About these lecture notes. Simply Typed λ-calculus. Types About these lecture notes Simply Typed λ-calculus Akim Demaille akim@lrde.epita.fr EPITA École Pour l Informatique et les Techniques Avancées Many of these slides are largely inspired from Andrew D. Ker

Διαβάστε περισσότερα

THE SECOND ISOMORPHISM THEOREM ON ORDERED SET UNDER ANTIORDERS. Daniel A. Romano

THE SECOND ISOMORPHISM THEOREM ON ORDERED SET UNDER ANTIORDERS. Daniel A. Romano 235 Kragujevac J. Math. 30 (2007) 235 242. THE SECOND ISOMORPHISM THEOREM ON ORDERED SET UNDER ANTIORDERS Daniel A. Romano Department of Mathematics and Informatics, Banja Luka University, Mladena Stojanovića

Διαβάστε περισσότερα

Some new generalized topologies via hereditary classes. Key Words:hereditary generalized topological space, A κ(h,µ)-sets, κµ -topology.

Some new generalized topologies via hereditary classes. Key Words:hereditary generalized topological space, A κ(h,µ)-sets, κµ -topology. Bol. Soc. Paran. Mat. (3s.) v. 30 2 (2012): 71 77. c SPM ISSN-2175-1188 on line ISSN-00378712 in press SPM: www.spm.uem.br/bspm doi:10.5269/bspm.v30i2.13793 Some new generalized topologies via hereditary

Διαβάστε περισσότερα

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X. Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequalit for metrics: Let (X, d) be a metric space and let x,, z X. Prove that d(x, z) d(, z) d(x, ). (ii): Reverse triangle inequalit for norms:

Διαβάστε περισσότερα

Main source: "Discrete-time systems and computer control" by Α. ΣΚΟΔΡΑΣ ΨΗΦΙΑΚΟΣ ΕΛΕΓΧΟΣ ΔΙΑΛΕΞΗ 4 ΔΙΑΦΑΝΕΙΑ 1

Main source: Discrete-time systems and computer control by Α. ΣΚΟΔΡΑΣ ΨΗΦΙΑΚΟΣ ΕΛΕΓΧΟΣ ΔΙΑΛΕΞΗ 4 ΔΙΑΦΑΝΕΙΑ 1 Main source: "Discrete-time systems and computer control" by Α. ΣΚΟΔΡΑΣ ΨΗΦΙΑΚΟΣ ΕΛΕΓΧΟΣ ΔΙΑΛΕΞΗ 4 ΔΙΑΦΑΝΕΙΑ 1 A Brief History of Sampling Research 1915 - Edmund Taylor Whittaker (1873-1956) devised a

Διαβάστε περισσότερα

Problem Set 9 Solutions. θ + 1. θ 2 + cotθ ( ) sinθ e iφ is an eigenfunction of the ˆ L 2 operator. / θ 2. φ 2. sin 2 θ φ 2. ( ) = e iφ. = e iφ cosθ.

Problem Set 9 Solutions. θ + 1. θ 2 + cotθ ( ) sinθ e iφ is an eigenfunction of the ˆ L 2 operator. / θ 2. φ 2. sin 2 θ φ 2. ( ) = e iφ. = e iφ cosθ. Chemistry 362 Dr Jean M Standard Problem Set 9 Solutions The ˆ L 2 operator is defined as Verify that the angular wavefunction Y θ,φ) Also verify that the eigenvalue is given by 2! 2 & L ˆ 2! 2 2 θ 2 +

Διαβάστε περισσότερα

Orbital angular momentum and the spherical harmonics

Orbital angular momentum and the spherical harmonics Orbital angular momentum and the spherical harmonics March 8, 03 Orbital angular momentum We compare our result on representations of rotations with our previous experience of angular momentum, defined

Διαβάστε περισσότερα

6. MAXIMUM LIKELIHOOD ESTIMATION

6. MAXIMUM LIKELIHOOD ESTIMATION 6 MAXIMUM LIKELIHOOD ESIMAION [1] Maximum Likelihood Estimator (1) Cases in which θ (unknown parameter) is scalar Notational Clarification: From now on, we denote the true value of θ as θ o hen, view θ

Διαβάστε περισσότερα

Solution Series 9. i=1 x i and i=1 x i.

Solution Series 9. i=1 x i and i=1 x i. Lecturer: Prof. Dr. Mete SONER Coordinator: Yilin WANG Solution Series 9 Q1. Let α, β >, the p.d.f. of a beta distribution with parameters α and β is { Γ(α+β) Γ(α)Γ(β) f(x α, β) xα 1 (1 x) β 1 for < x

Διαβάστε περισσότερα

Second Order RLC Filters

Second Order RLC Filters ECEN 60 Circuits/Electronics Spring 007-0-07 P. Mathys Second Order RLC Filters RLC Lowpass Filter A passive RLC lowpass filter (LPF) circuit is shown in the following schematic. R L C v O (t) Using phasor

Διαβάστε περισσότερα

MA 342N Assignment 1 Due 24 February 2016

MA 342N Assignment 1 Due 24 February 2016 M 342N ssignment Due 24 February 206 Id: 342N-s206-.m4,v. 206/02/5 2:25:36 john Exp john. Suppose that q, in addition to satisfying the assumptions from lecture, is an even function. Prove that η(λ = 0,

Διαβάστε περισσότερα