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

Σχετικά έγγραφα
Lecture 13 - Root Space Decomposition II

2 Composition. Invertible Mappings

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

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

Congruence Classes of Invertible Matrices of Order 3 over F 2

Example Sheet 3 Solutions

EE512: Error Control Coding

4.6 Autoregressive Moving Average Model ARMA(1,1)

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

Solutions to Exercise Sheet 5

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

Lecture 15 - Root System Axiomatics

Other Test Constructions: Likelihood Ratio & Bayes Tests

Uniform Convergence of Fourier Series Michael Taylor

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

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

Homework 3 Solutions

Math221: HW# 1 solutions

C.S. 430 Assignment 6, Sample Solutions

Matrices and Determinants

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

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

6.3 Forecasting ARMA processes

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

derivation of the Laplacian from rectangular to spherical coordinates

On a four-dimensional hyperbolic manifold with finite volume

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

CRASH COURSE IN PRECALCULUS

Areas and Lengths in Polar Coordinates

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

The Simply Typed Lambda Calculus

Homomorphism in Intuitionistic Fuzzy Automata

Fractional Colorings and Zykov Products of graphs

ST5224: Advanced Statistical Theory II

Reminders: linear functions

Section 8.3 Trigonometric Equations

A Note on Intuitionistic Fuzzy. Equivalence Relation

Lecture 10 - Representation Theory III: Theory of Weights

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

Statistical Inference I Locally most powerful tests

Problem Set 3: Solutions

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

Areas and Lengths in Polar Coordinates

Two generalisations of the binomial theorem

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER

Finite Field Problems: Solutions

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

New bounds for spherical two-distance sets and equiangular lines

Homework 8 Model Solution Section

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

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS

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

Second Order Partial Differential Equations

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

Inverse trigonometric functions & General Solution of Trigonometric Equations

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

Generating Set of the Complete Semigroups of Binary Relations

DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS

The k-α-exponential Function

Section 7.6 Double and Half Angle Formulas

Space-Time Symmetries

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)

Srednicki Chapter 55

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

SOME PROPERTIES OF FUZZY REAL NUMBERS

Quadratic Expressions

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

Trigonometric Formula Sheet

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

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

On the Galois Group of Linear Difference-Differential Equations

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

arxiv: v1 [math.ra] 19 Dec 2017

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

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

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

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

The Pohozaev identity for the fractional Laplacian

Bounding Nonsplitting Enumeration Degrees

Parametrized Surfaces

( y) Partial Differential Equations

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

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

Commutative Monoids in Intuitionistic Fuzzy Sets

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

5. Choice under Uncertainty

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

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

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

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

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.

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

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θ.

Orbital angular momentum and the spherical harmonics

6. MAXIMUM LIKELIHOOD ESTIMATION

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

Second Order RLC Filters

MA 342N Assignment 1 Due 24 February 2016

Transcript:

MODULAR INVARIANT REPRESENTATIONS OF THE N = SUPERCONFORMAL ALGEBRA arxiv:17060488v4 [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

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

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 RYO SATO Preliminaries 1 Notation For τ,u H C, we set q,z := e πiτ,e πiu We denote the eta function by ητ := q 1 4 1 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>0 1+ 1 ε 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 + 1 1 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

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 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 4 1 4 χ 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

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

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 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 }

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

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 δ θ,θ

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 415 5 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 1 8 + 3 x, 4 3 ix, 1 L1 3 ǫ, 3 ǫ, 1 L 1 8 + 3 x1, 4 3 ix1, 1

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

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 1 0 0 β β β δ β Λ 0 δ δ δ Λ 0 = 0 0 0 0 1 Λ 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 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 1 1 1+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

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 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 + 1 4 τ + 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

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

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

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 4 + 1 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

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 + 1 1 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

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:105 110, 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:435 478, 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:739 763, 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:348 391, 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:639 655, 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:617 656, 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:3865 3905, 1998 [Gho03] M Ghominejad Higher Level Aell Functions, Modular Transformations and Non- Unitary Characters PhD thesis, Durham University, 8 003 [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:451 486, 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:4956 4960, 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 415 456 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 161 19 American Mathematical Soc, 1994

4 RYO SATO [KW14] V Kac and M Wakimoto Reresentations of affine sueralgebras and mock theta functions Trans Grous, 19:383 455, 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:495 514, 1999 [Mat87] Y Matsuo Character formula of c < 1 unitary reresentation of N = suerconformal algebra Prog Theor Phys, 774:793 797, 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:16050343, 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 3-8-1 Komaba Meguro-ku Tokyo, 153-8914, Jaan E-mail address: rsato@msu-tokyoacj