Saito

INVARIANTS OF THE WEYL GROUP OF TYPE A (2) 2l KENJI IOHARA AND YOSIHISA

HAL is

Introduction

Let V be a finite dimensional vector space over a field K of characteristic 0. A reflection is a finite order linear transformation on V that fixes a hyperplane. Such a linear transformation is called real if it is of order 2 and complex if it is of order > 2. A group G of linear transformations is a finite reflection group if it is a finite group generated by reflections. In particular, a finite reflection group generated only by real reflections are called Coxeter group, otherwise it is called a complex refelction group. The G-action on V induces an Gaction on its dual V * , hence on its symmetric algebra S • (V * ). C. Chevalley (for real case) [Ch] and G. C. Shephard and J. A. Todd (for complex case) [ST] have shown that the ring of invariants S(V * ) G is a Z-graded algebra generated by dim K V homogeneous elements that are algebraically independent. Notice that, for a finite group, there is the so-called Reynold's operator to obtain invariants explicitly. Now, for an affine Weyl group W , one can consider the W -invariant theta functions defined on a half space Y of a Cartan subalgebra h of the affine Lie algebra g whose Weyl group is W . A first attempt has been made to determine the structure of the ring of such W -invariant theta functions by E. Looijenga [L] in 1976 whose argument has not been sufficient, as was pointed out by I. N. Bernstein and O. Schwarzman [BS] in 1978. Indeed, the ring T h + of W -invariant theta functions is an O H -module, where H is the Poincaré upper half plane {τ ∈ C| Im τ > 0 }, spanned by the normalized characters {χ Λ } Λ∈P + mod Cδ of simple integrable highest weight modules over g. We remark that each χ Λ is a holomorphic on Y , as was shown by M. Gorelik and V. Kac [GK].

In 1984, V. G. Kac and D. Peterson [KP] has published a long monumental article on the modular transformations, in particular, the Jacobi transformation, of the characters of simple integrable highest weight modules over affine Lie algebras. In particular, as an application of their results, they presented a list of the Jacobian of the fundamental characters for affine Lie algebras except for type F

(1) 4 , E

(1) 6 , E

(2) 6 , E

(1)

7 and E

(1) 8 , and stated that the ring T h + of W -invariant theta functions is a polynomial ring over O H generated by fundamental characters {χ Λ i } 0≤i≤l . Unfortunately, their proofs have never been published (cf. Ref. [35] in [KP]). In 2006, J. Bernstein and O. Schwarzman in [START_REF] Bernstein | Complex cristallographic Coxeter groups and affine root system[END_REF] and [START_REF] Bernstein | Chevalley's theorem for the complex cristallographic groups[END_REF] presented a detailed version of their announcement [BS], where their final result is a weak form of what V. Kac and D. Peterson has announced. Moreover, J. Bernstein and O. Schwarzman excluded two cases: type D

(1) l and A

(2) 2l .

In this article, we determine the Jacobian of the fundamental characters for the affine Lie algebra g of type A

(2) 2l . In particular, we show that the explicit form of Jacobian in Table J of [KP] for type A

(2) 2l is valid. As a corollary, it follows that the fundamental characters {χ Λ i } 0≤i≤l of g are algebraically independent.

This article is organised as follows. As the practical computation requires many detailed information, Section 1 is devoted to providing root datum, detailed description on the nondegenerate symmetric invariant bilinear form restricted on a Cartan subalgebra h and its induced bilinear form on the dual h * , and the structure of the affine Weyl group of type A

(2) 2l .

In Section 2, we recall the theta functions associated to the Heisenberg subgroup of the affine Weyl group of type A

(2) 2l and the modular transformation of the normalized characters of irreducible integrable highest weight g-modules. In Section 3, After some technical preliminary computations, we study the modular transformations of the Jacobian of the fundamental characters. Finally in Section 4, we determine the Jacobian of the fundamental characters of type A

(2) 2l .

This text contains many well-known facts about the characters of integrable highest weight modules over affine Lie algebras for the sake of leader's convenience.

Preliminaries

In this section, we recall the definition of the affine Lie algebra of type A

(2) 2l and its basic properties. Everything given in this section is completely known, see e.g., [Kac] and/or [MP]. Nevertheless, in order to fix our convention clearly and to avoid unnecessary confusion, we collect several explicit data that would be useful for further computations.

1.1. Basic data. Here, we fix the enumeration of the vertices in the Dynkin diagram of type A

(2) 2l as follows (cf. [Kac]):

α 0 α 1 α l-2 α l-1 α l A (2) 2l (l ≥ 2) k s k s α 0 α 1 A (2) 2

<

In particular, this implies that the corresponding generalized Cartan matrix A = (a i,j ) 0≤i,j≤l is given by

A =              2 -2 0 • • • • • • • • • 0 -1 2 -1 . . . . . . 0 -1 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 -1 0 . . . . . . -1 2 -2 0 • • • • • • • • • 0 -1 2             
for l ≥ 2, and

A = 2 -4 -1 2 for l = 1. A realization of the generalized Cartan matrix A is a triple (h, Π, Π ∨ ) such that (i) h is an l + 2-dimensional C-vector space, (ii) Π ∨ = {h i } 0≤i≤l is a linearly independent subset of h, (iii) Π = {α i } 0≤i≤l is a linearly independent subset of h * := Hom C (h, C), and (iv) h I , α j = a i,j for any 0 ≤ i, j ≤ l. Here, •, • : h × h * → C is the canonical pairing. The labels a 0 , a 1 , • • • , a l and co-labels a ∨ 0 , a ∨ 1 , • • • , a ∨ l are by definition, relatively prime positive integers satisfying (a ∨ 0 , a ∨ 1 , • • • , a ∨ l )A = (0, 0, • • • , 0), A     a 0 a 1 . . . a l     =     0 0 . . . 0     .
Explicitly, they are given by the following table:

i 0 1 • • • l -1 l a i 2 2 • • • 2 1 a ∨ i 1 2 • • • 2 2
As a corollary, the Coxeter number h and the dual Coxeter number h ∨ are shown to be

h := l i=0 a i = 2l + 1, h ∨ := l i=0 a ∨ i = 2l + 1.
Let us introduce some special elements c of h, and δ of h * by

c := l i=0 a ∨ i h i = h 0 + 2(h 1 + • • • + h l ) ∈ h, δ := l i=0 a i α i = 2(α 0 + • • • + α l-1 ) + α l .
By definition, we have c, α i = 0, h i , δ = 0, for any 0 ≤ i ≤ l. Now, define d ∈ h and Λ 0 ∈ h * the elements characterized by

d, α i = δ i,0 , h i , Λ 0 = δ i,0 , d, Λ 0 = 0. It can be checked that c, Λ 0 = a ∨ 0 = 1, d, δ = a 0 = 2.
For later purpose, we recall the definition of i-th fundamental weight

Λ i ∈ h * , the element of h * satisfying h i , Λ j = δ i,j (0 ≤ i, j ≤ l), d, Λ i = 0.
Clearly, one has c, Λ i = a ∨ i .

1.2. Bilinear forms on h and h * . Here, we recall the bilinear form I on h * and I * on h that are called normalized invariant forms by V. Kac [Kac] in an explicit manner. On h:

I * (h i , h j ) = a j (a ∨ j ) -1 a i,j (0 ≤ i, j ≤ l), I * (h i , d) = 0 (0 < i ≤ l), I * (h 0 , d) = a 0 = 2, I * (d, d) = 0.
In particular, we have

I * (c, d) = 2.
On h * :

I(α i , α j ) = a ∨ i (a i ) -1 a i,j (0 ≤ i, j ≤ l), I(α i , Λ 0 ) = 0 (0 < i ≤ l), I(α 0 , Λ 0 ) = a -1 0 = 1 2 , I(Λ 0 , Λ 0 ) = 0.
We also have

I(Λ 0 , δ) = 1.
The above bilinear forms are introduced in such a way that the linear map ν : (h, I * ) → (h * , I) defined by

a ∨ i ν(α ∨ i ) = a i α i , ν(c) = δ, ν(d) = a 0 Λ 0 = 2Λ 0
becomes an isometry.

Affine Lie algebra of type A

(2) 2l . Let g = g(A) be the Kac-Moody Lie algebra attached with the generalized Cartan matrix A which is introduced Subsection 1.1. Since A is symmetrizable, it is defined to be the Lie algebra over the complex number field C generated by e i , f i (0 ≤ i ≤ l) and h, with the following defining relations:

(i) [e i , f j ] = δ i,j h i for 0 ≤ i, j ≤ l, (ii) [h, h ] = 0 for h, h ∈ h, (iii) [h, e i ] = h, α i e i , [h, f i ] = -h, α i f i for h ∈ h and 0 ≤ i ≤ l, (iv) (ad e i ) -a i,j +1 (e j ) = 0, (ad f i ) -a i,j +1 (f j ) = 0 for 0 ≤ i = j ≤ l.
The Lie algebra g is called the affine Lie algebra of type A

(2) 2l . The vector space h is regarded as a commutative subalgebra of g, which is called the Cartan subalgebra of g.

It is well-known that g admits the root space decomposition:

g = h ⊕ α∈∆ g α ,
where g α := {X ∈ g | [h, X] = h, α X for every h ∈ h} is the root space associated to α ∈ h * , and ∆ := {α ∈ h * \ {0} | g α = {0}} is the set of all roots. An element α ∈ ∆ is called a real root if I(α, α) > 0, and the set of all real roots is denoted by ∆ re . Set ∆ im := ∆ \ ∆ re . An element α ∈ ∆ im is called an imaginary root. The explicit forms of real and imaginary roots will be given in the next subsection.

For α ∈ ∆ re , define a reflection r α ∈ GL(h * ) by

r α (λ) := λ - 2 I(α, α) ν -1 (α), λ α
for λ ∈ h * . Let W be the Weyl group of g. That is, W is a subgroup of GL(h * ) generated by r α (α ∈ ∆ re ). It is known that the action of W on h * preserves the set of roots ∆. The detailed structure of the Weyl group W will be given in the next subsection also.

1.4. Affine Weyl group. Here, we describe the structure of the Weyl group of type A

(2) 2l , paying attention to the fact that the lattice of the translation part is not an even lattice.

To describe its structure, we regard the 0-th node as the special vertex, namely, the complementary subdiagrams

α 1 α 2 α l-2 α l-1 α l C l (l ≥ 2) k s α 1 A 1 will be called the finite part of the Dynkin diagram of type A (2) 2l .
Let h f be the subspace of h defined by

h f := l i=1 Ch i .
This can be viewed as the Cartan subalgebra of the finite part. In particular, we fix the splitting of h as follows:

(1)

h = h f ⊕ (Cd ⊕ Cc).
This is an orthogonal decomposition with respect to the normalized invariant form introduced in the previous subsection. We denote the canonical projection to the first component by • : h h f . Similarly, we set

h * f := l i=1
Cα i and the canonical projection to the first component of the decomposition

(2)

h * = h * f ⊕ (Cδ ⊕ CΛ 0 ) will be denoted by the same symbol • : h * h * f . It should be noticed that the image of the restriction of ν : h → h * to h f is h * f .
Now, we recall the root system of the finite part. Although most of the informations can be found in [Bour] for example, we describe this to fix the convention.

We identify h f and h * f via the isometry ν. An orthonormal basis {ε i } 1≤i≤l of h * f with respect to I should be so chosen that the root system ∆ f of the finite part and the set of simple roots Π f = {α i } 1≤i≤l has the next description:

∆ f = {±ε i ± ε j } 1≤i,j≤l ∪ {±2ε i } 1≤i≤l , α i = ε i -ε i+1 i < l, 2ε i i = l. N.B. For l = 1, ∆ f = {±2ε 1 }. 2
In particular, the sets ∆ + f , ∆ + f,l and ∆ + f,s of positive roots, positive long roots and short roots, respectively are given by

∆ + f = {ε i ± ε j } 1≤i<j≤l ∪ {2ε i } 1≤i≤l , ∆ + f,l = {2ε i } 1≤i≤l , ∆ + f,s = {ε i ± ε j } 1≤i<j≤l . We remark that i := Λ i = i j=1 ε j for 1 ≤ i ≤ l is the i-th fundamental weight of h f . The highest root θ ∈ h * f can be written as θ = δ -a 0 α 0 = δ -2α 0 = 2ε 1 ,
and its coroot θ ∨ ∈ h f as

θ ∨ = 2 I(θ, θ) ν -1 (θ) = l i=1 h i , ν(θ ∨ ) = 1 2 θ = ε 1 . Let W f be a subgroup generated by r α i for α i ∈ Π f . This group is isomorphic to the Weyl group of type C l -type. That is, W f ∼ = S l (Z/2Z) l .
The set of real roots ∆ re of g is described as follows: for l ≥ 2,

∆ re =∆ re s ∪ ∆ re m ∪ ∆ re l ,
where

     ∆ re s := 1 2 (α + (2r -1)δ) α ∈ ∆ f,l , r ∈ Z , ∆ re m := {α + rδ | α ∈ ∆ f,s , r ∈ Z }, ∆ re l := {α + 2rδ | α ∈ ∆ f,l , r ∈ Z },
and for l = 1,

∆ re =∆ re s ∪ ∆ re l , where ∆ re s := 1 2 (α + (2r -1)δ) α ∈ ∆ f , r ∈ Z , ∆ re l := {α + 2rδ | α ∈ ∆ f , r ∈ Z }.
The set of imaginary roots can be described as

∆ im = Zδ \ {0}.
For detail, see [Kac]. Now, we can describe the Weyl group W . As c = h 0 + 2θ ∨ , one has

r α 0 r θ (λ) =r α 0 (λ -θ ∨ , λ θ) = λ -λ(θ ∨ )θ -h 0 , λ -θ ∨ , λ θ α 0 =λ + 1 2 c, λ θ -θ ∨ , λ + 1 2 c, λ δ =λ + c, λ ν(θ ∨ ) -I(λ, ν(θ ∨ )) + 1 2 c, λ I(ν(θ ∨ ), ν(θ ∨ )) δ, for λ ∈ h * . Set M := Zν(W f • θ ∨ ) = l i=1 Zε i , and, for α ∈ h * f,R := M ⊗ Z R, we define t α ∈ End C (h * ) by t α (λ) := λ + c, λ α -I(λ, α) + 1 2 c, λ I(α, α) δ.
It is known that the assignment the lattice M to End C (h * ) defined by α to t α gives an injective group homomorphism M → W . Furthermore, one has

W ∼ = W f M ∼ = S l (Z/2/Z) l M.
We note that the lattice M is an odd lattice. This fact is essential in the following discussion.

Main theorem

Let g be the affine Lie algebra of type A

(2) 2l recalled in the previous section. 2.1. Formal characters. Let n ± be the subalgebra of g generated by {e i } 0≤i≤l (resp. {f i } 0≤i≤l ). We have the so-called triangular decomposition:

g = n + ⊕ h ⊕ n -. Let V be a h-diagonalizable module, i.e., V = λ∈h * V λ where V λ := {v ∈ V | h.v = h, λ v h ∈ h }. Set P(V ) := {λ ∈ h * |V λ = {0}}. Let O be the BGG category of g-modules, that is, it is the subcategory of g-modules whose objects are h-diagonalizable g-modules V = λ∈h * V λ satisfying (i) dim V λ < ∞ for any λ ∈ P(V ), (ii) there exists λ 1 , λ 2 , • • • , λ r ∈ h * such that P(V ) ⊂ r i=1 (λ i -Z ≥0 Π).
A typical object of this category if a so-called highest weight module defined as follows. We call the V is a highest weight module with highest weight Λ

∈ h * if (i) dim V Λ = 1 (ii) n + .V Λ = {0} and V = U (g).V Λ .
In particular, the last condition implies that V = U (n -).V Λ as a vector space and

P(V ) := {λ ∈ h * |V λ = {0}} ⊂ Λ -Z ≥0 Π.
A typical example is given as follows. For Λ ∈ h * , let C Λ = Cv Λ be the one dimensional module over b + := h ⊕ n + defined by

h.v Λ = h, Λ v λ (h ∈ h), n + .v Λ = 0.
The induced g-module M (Λ) := Ind g b + C Λ is called the Verma module with highest weight Λ. It can be shown that for any highest weight g-module V with highest weight Λ ∈ h * , there exists a surjective g-module map M (Λ)

V . The smallest among such V can be obtained by taking the quotient of M (Λ) by its maximal proper submodule and the resulting g-module is the irreducible highest g-module with highest weight Λ, denoted by L(Λ).

Let E be the formal linear combination of e λ (λ ∈ h * ) with the next condition:

λ c λ e λ ∈ E ⇒ ∃λ 1 , λ 2 , • • • , ; λ r ∈ h * such that {λ|c λ = 0} ⊂ r i=1 (λ i -Z ≥0 Π).
We introduce the ring structure on E by e λ • e µ := e λ+µ .

The formal character of

V ∈ O is, by definition, the element chV ∈ E defined by chV = λ∈P(V ) (dim V λ )e λ .
ch(•) can be viewed as an additive function defined on O with values in E. For example, The formal character of the Verma module M (Λ) is given by

chM (Λ) = e Λ α∈∆ + (1 -e -α ) -mult(α) ,
where ∆ + is the set of positive roots of g and mult(α) = dim g α is the multiplicity of the root α. Set ε(w) = (-1) l(w) where l(w) is the length of an element w ∈ W . For Λ ∈ P

+ := {Λ ∈ h * | h i , Λ ∈ Z ≥0 |0 ≤ i ≤ l}, the character of L(Λ)
is known as Weyl-Kac character formula and is given by

chL(Λ) = w∈W ε(w)e w(Λ+ρ)-ρ α∈∆ + (1 -e -α ) mult(α) ,
where ρ ∈ h * is the so-called Weyl vector, i.e., it satisfies h i , ρ = 1 for any 0 ≤ i ≤ l and d, ρ = 0. In particular, for Λ = 0, as L(0) = C is the trivial representation, one obtains the so-called denominator identity:

(3)

w∈W ε(w)e w(ρ) = e ρ α∈∆ + (1 -e -α ) mult(α) .
This implies that the Weyl-Kac character formula can be rephrased as follows:

(4) chL(Λ) = w∈W ε(w)e w(Λ+ρ) w∈W ε(w)e w(ρ) .

Normalized characters of affine Lie algebra of type A

(2) 2l . For Λ ∈ P + with c, Λ = k ∈ Z ≥0 , the normalized character χ Λ of the irreducible highest weight gmodule L(Λ) with highest weight Λ is defined by

χ Λ := e -m Λ δ chL(Λ),
where the number m Λ , called the conformal anomaly, is defined by

m Λ := I(Λ + ρ, Λ + ρ) 2(k + h ∨ ) - I(ρ, ρ) 2h ∨ ,
where h ∨ = 2l + 1 is the dual Coxeter number of A

(2)

2l . Here, the bilinear form is normalized as in §1.2 (cf. Chapter 6 of [Kac]). For Λ ∈ P + with c, Λ = k, set

A Λ+ρ := w∈W ε(w)e w(Λ+ρ)- I(Λ+ρ,Λ+ρ) 2(k+h ∨ ) δ .
This is a W -skew invariant. By (4), one has ( 5)

χ Λ = A Λ+ρ A ρ .
We regard this normalized character χ Λ as a function defined on a certain subset of h as follows. For λ ∈ h * , e λ can be viewed as a function defined on h: e λ (h) := e h,λ . It is shown in [GK] that the normalized character χ Λ for Λ ∈ P + can be viewed as a holomorphic function on a complex domain

Y := {h ∈ h|Re h, δ > 0 }.
We introduce a coordinate system on h as follows. Set i := ν -1 (ε i ) for 1 ≤ i ≤ l, where ν : h → h * is the isometry defined in §1.2. Then, { i } 1≤i≤l is an orthonormal basis of h * f with respect to [Kac]:

I * | h * f ×h * f . For h ∈ Y , define z ∈ h f , τ, t ∈ C as in
(6) h = 2π √ -1 z -τ ν -1 (Λ 0 ) + tν -1 (δ) = 2π √ -1 z - 1 2 τ d + tc ,
and write z = l i=1 z i i . With this coordinate system, we see that ( 7)

Y ∼ -→ H × h f × C ∼ = H × C l × C; h -→ (τ, z, t) → (τ, (z 1 , z 2 , • • • , z l ), t),
where H is the upper half plane

{ τ ∈ C | Im(τ ) > 0 }. We write χ Λ (τ, z, t) := χ Λ (h).
For k ∈ Z >0 , set λ) . This is the classical theta function of degree k. Its value on h ∈ h is given by -1kI(γ,ν(z)) . Now, we recall the modular transformations of the classical theta functions. Recall that SL(2, Z) is the group generated by

P k := {λ ∈ h * | c, λ = k, λ ∈ M }, and for λ ∈ P k , set Θ λ := e -I(λ,λ) 2k δ α∈M e tα(
(8) Θ λ (τ, z, t) = e 2π √ -1kt γ∈M +k -1 λ e π √ -1kτ I(γ,γ)+2π √
S := 0 -1 1 0 , T := 1 1 0 1 .
As SL(2, Z) acts on the complex domain Y by

a b c d .(τ, z, t) = aτ + b cτ + d , z cτ + d , t - cI * (z, z) 2(cτ + d) ,
This action induces a right action of SL(2, Z) on O Y as follows: for g ∈ SL(2, Z) and

F ∈ O Y , F | g (τ, z, t) := F (g.(τ, z, t)).
The next formula is a simple application of the Poisson resummation formmula: Proposition 2.1 (cf. Theorem 13.5 in [Kac]). Let λ ∈ P k . One has

Θ λ - 1 τ , z τ , t - I * (z, z) 2τ = τ √ -1 1 2 l k -1 2 l µ∈P k mod Cδ+kM e -2π √ -1I(λ,µ) k Θ µ (τ, z, t), Θ λ (τ + 2, z, t) =e 2π √ -1 k I(λ,λ) Θ λ (τ, z, t).
In particular, when k is even, one also has

Θ λ (τ + 1, z, t) = e π √ -1 k I(λ,λ) Θ λ (τ, z, t).
In fact, the lattice M is not an even lattice.

For k ∈ Z ≥0 , let P k + := P + ∩ P k be the set of dominant integral weights of level k. As an application of the above proposition, V. Kac and D. Peterson [KP] proved that the C-span of {A Λ+ρ } Λ∈P k + mod Cδ admits an action of a certain subgroup of SL(2, Z), so does the C-span of the normalized characters {χ λ (τ, z, t)} λ∈P + k mod Cδ . Theorem 2.1 ( [KP]). Let g be the affine Lie algebra of type

A (1) 2l . For λ ∈ P k + (k ∈ Z >0 ), one has χ λ - 1 τ , z τ , t - I * (z, z) 2τ = µ∈P k + mod Cδ a(λ, µ)χ µ (τ, z, t),
where the matrix (a(λ, µ)) λ,µ∈P k + mod Cδ is given by a

(λ, µ) = ( √ -1) l 2 (k + 2l + 1) -1 2 l × w∈S l (Z/2Z) l ε(w) exp - 2π √ -1I(λ + ρ, w(µ + ρ)) k + 2l + 1 .
One also has

χ λ (τ + 2, z, t) = e 4π √ -1m λ χ λ (τ, z, t).
Remark 2.1. For later purpose, we recall the modular transformations of the denominator:

A ρ - 1 τ , z τ , t - I * (z, z) 2τ = τ √ -1 1 2 l ( √ -1) -l 2 A ρ (τ, z, t), A ρ (τ + 2, z, t) = exp l(l + 1) 3 π √ -1 A ρ (τ, z, t). Remark 2.2. It can be checked that, for w = ση ∈ W f (σ ∈ S l , η = (η 1 , • • • , η l ) ∈ {±1} l ), one has det h * f (w) = sgn(σ) l i=1 η i .
Notice that, for each k ∈ Z ≥0 , the C-span of the normalized characters χ λ (λ ∈ P k + mod Cδ) is Γ θ -stable, where Γ θ is the subgroup of SL(2, Z) generated by S and T 2 .

In the following, we recall an expansion of χ Λ in terms of the classical theta functions. An element λ ∈ P(L(Λ)) is called maximal if λ + δ ∈ P(L(Λ)), and let max(Λ) be the set of all maximal elements of P(L(Λ)). Hence, we have a decomposition of P(L(Λ)):

P(L(Λ)) = λ∈max(Λ) {λ -nδ | n ∈ Z ≥0 }. For λ ∈ max(Λ), set c Λ λ := e -m Λ (λ)δ ∞ n=0 dim C L(Λ) λ-nδ e -nδ , where m Λ (λ) := m Λ - I(λ, λ) 2k .
Furthermore, we extend the definition of c Λ λ to an arbitrary λ ∈ h * as follows. If (λ + Cδ) ∩ max(Λ) = ∅, we set c Λ λ := 0. Otherwise, there exists a unique µ ∈ max(Λ) such that λ -µ ∈ Cδ. Hence, we set c Λ λ := c Λ µ . Similar to the case of classical theta functions, we regard the series c Λ λ as a (formal) function on Y . By the definition, this function depends only on the variable τ ∈ H. The following proposition is well-known in the representation theory of affine Lie algebras. For example, see [Kac], in detail.

Proposition 2.2 ([Kac]

). Let k > 0 be a positive integer and Λ ∈ P k + . (i) The series c Λ λ = c Λ λ (τ ) converges absolutely on the upper half plane H to a holomorphic function.

(ii) The normalized character χ Λ has the following expansion in terms of the classical theta functions:

χ Λ = λ∈P k mod (kM +Cδ) c Λ λ Θ λ .
The holomorphic function c Λ λ (τ ) is called the string function of λ ∈ h * .

Ring of Theta functions. For

α ∈ h * f,R , we define p α ∈ End C (h * ) by p α (h) = h + 2π √ -1ν -1 (α). Set N = h * f,R × h * f,R × √ -1R
and define a group structure on N by

(α, β, u) • (α , β , u ) = (α + α , β + β , u + u + π √ -1{I(α, β ) -I(α , β)}).
The group N is called Heisenberg group. This group acts on h by

(α, β, u).h = t β (h) + 2π √ -1ν -1 (α) + {u -π √ -1I(α, β)}c.
This N action preserves the complex domain Y . We note that (α, 0, 0).h = p α (h) and (0, β, 0).h = t β (h). We consider the subgroup N Z of N generated by (α, 0, 0), (0, β, 0) with α, β ∈ M and (0, 0, u) with u ∈ 2π √ -1Z, i.e.,

N Z = {(α, β, u) ∈ N | α, β ∈ M, u + π √ -1I(α, β) ∈ 2π √ -1Z }.
Let O Y be the ring of holomorphic functions on Y . We define the right

N -action on O Y by F | (α,β,u) (h) = F ((α, β, u).h) F ∈ O Y . Definition 2.1. For k ∈ Z ≥0 , define T h k := F ∈ O Y (1) F | (α,β,u) = F ∀ (α, β, u) ∈ N Z , (2) F (h + ac) = e ka F (h) ∀ h ∈ Y and a ∈ C.
, and set

T h := ∞ k=0 T h k .
An element F of T h k is called a theta function of degree k.

Remark 2.3. The ring T h is a Z-graded algebra over the ring T h 0 = O H , the ring of holomorphic functions on the upper half plane H.

A typical example of an element of T h k for k ∈ Z >0 is the classical theta function Θ λ of degree k, i.e., λ ∈ P k .

Remark 2.4. It follows from (8) that

Θ λ+kα+aδ = Θ λ for every α ∈ M and a ∈ C.
Thus, a classical theta function of degree k depends only on the finite set P k mod (kM + Cδ).

Let D be the Laplacian on Y :

D = 1 4π 2 2 ∂ ∂t ∂ ∂τ - l i=1 ∂ 2 ∂z 2 i . For k ∈ Z ≥0 , set T h k := {F ∈ T h k |D(F ) = 0 } k > 0, C k = 0.
V. Kac and D. Peterson showed the following proposition.

Proposition 2.3 ([KP]

). Let k be a positive integer.

(i) The set {Θ λ |λ ∈ P k mod kM + Cδ } is a C-basis of T h k . (ii) The map: O H ⊗ C T h k → T h k defined by f ⊗ F → f F is an isomorphism of O H - modules. In other words, T h k is a free O H -module with basis {Θ λ | λ ∈ P k mod (kM + Cδ) }.
As the finite Weyl group W f acts on Y , it induces the right action of W f on O Y :

F | w (h) := F (w • h) for F ∈ O Y and w ∈ W f .
For any k ∈ Z ≥0 , this right W f -action on O Y restricts to a right W f -action on T h k . Thus, we set

T h + k :={F ∈ T h k | F | w = F ∀ w ∈ W f }, T h - k :={F ∈ T h k | F | w = det h * (w)F ∀ w ∈ W f }, T h ± k := T h ± k ∩ T h k .
An element of T h

± := k∈Z ≥0 T h ± k is called a W f -invariant (resp. W f -anti-invariant). For k ∈ Z >0 , set P k ++ := {Λ ∈ P k | h i , Λ ∈ Z >0 }. Let Λ ∈ P k . Obviously, the element A Λ+ρ introduced in §2.2 is a W f -anti-invariant. On the other hand, set S Λ := e -I(Λ,Λ) 2k δ w∈W e w(λ) = w f ∈W f Θ w f (Λ) .
Then, it is an element of T h + k . Another important example of W f -invariants is the normalized character χ Λ . Indeed, Proposition 2.2 (ii) tells us that χ Λ is an element of T h k . In addition, thanks to the description (5) of χ Λ , it is invariant under the action of W f . Therefore, one has χ Λ ∈ T h KP]). Let k be a non-negative integer.

+ k . Proposition 2.4 ([
(i) The set {S Λ | Λ ∈ P k + mod Cδ } is a C-basis of T h + k . (ii) For k ≥ 2l + 1, the set {A λ | λ ∈ P k ++ mod Cδ } is a C-basis of T h - k . (iii) The map Φ k in Proposition 2.3 is W f -equivariant. Therefore, the O H -modules T h ± k are free over {χ Λ | Λ ∈ P k + mod Cδ } (resp. {A λ | λ ∈ P k ++ mod Cδ }).
As the map P k + → P k+2l+1

++

; λ → λ + ρ is bijective, (5) and the above proposition implies

Corollary 2.1. The space of W f -anti-invariants T h - is a free T h + -module over A ρ .
As P + mod Cδ is the monoid generated by {Λ i } 0≤i≤l and c, Λ i = a ∨ i , it can be shown that the Poincaré series P T h + (T ) of the graded O H -algebra T h + is given by

P T h + (T ) := k∈Z ≥0 rank O H ( T h + k )T k = l i=0 (1 -T a ∨ i ) -1 .
By the same computation, this implies

k∈Z ≥0 dim C (T h + k )T k = l i=0 (1 -T a ∨ i ) -1 . For each τ ∈ H, let Y τ be the subset of Y that corresponds to {τ } × h f × C via the isomorphism Y ∼ = H × h f × C discussed in (7) , ι Yτ : Y τ → Y the corresponding embedding.
The above computation leads to the next conjecture:

Conjecture 2.1 (cf. [KP]). Let g be the affine Lie algebra of type

A (2) 2l . (i) For each τ ∈ H, T h + | Yτ is a polynomial ring generated by {ι * Yτ (χ Λ i )} 0≤i≤l over C. (ii) The graded ring T h + is a polynomial algebra over O H generated by {χ Λ i } 0≤i≤l .
2.4. Jacobian of fundamental characters. Let Λ ∈ P + be a dominant integral weight. For an integer 0 ≤ i ≤ l, we define the directional derivative ∂ i χ Λ by

(∂ i χ Λ )(τ, z, t) := lim s→0 χ Λ (h + 2π √ -1sh j ) -χ Λ (h) s . As c = h 0 + 2 l i=1 h i , it follows that (∂ 0 χ Λ )(τ, z, t) = 2π √ -1 c, Λ χ Λ (τ, z, t) -2 l i=1 ∂ i χ Λ (τ, z, t).
Hence, the Jacobian of the fundamental characters is, by definition,

J(τ, z, t) := det(∂ j χ Λ i ) i,j=0,1,••• ,l = 2π √ -1 χ 0 ∂ 1 χ 0 • • • ∂ l χ 0 2χ 1 ∂ 1 χ 1 • • • ∂ l χ 1 . . . . . . . . . 2χ l ∂ 1 χ l • • • ∂ l χ l .
It can be easily seen that this determinant is an element of T h -2l+1 , i.e., there exists a holomorphic function

F ∈ O H such that J(τ, z, t) = F (τ )A ρ (τ, z, t).
In the rest of this article, we will determine this function F and prove Conjecture 2.1.

Remark 2.5. A weaker statement is proved by I. Bernstein and O. Schwarzmann [BS1] and [START_REF] Bernstein | Chevalley's theorem for the complex cristallographic groups[END_REF] for any affine root systems except for D

(1) l and A

(2) 2l .

Preliminary computations

In this section, we study the modular transformations and leading terms of the Jacobian of certains characters.

3.1. Explicit formulas on a(λ, µ). As a ∨ 0 = 1 and a ∨ i = 2 for 0 < i ≤ l, one sees that (i) P 1 + mod Cδ = {Λ 0 } and (ii)

P 2 + mod Cδ = {2Λ 0 } ∪ {Λ i } 1≤i≤l .
First, we compute a(Λ 0 , Λ 0 ). By Theorem 2.1 and the denominator identity, we have

a(Λ 0 , Λ 0 ) =( √ -1) l 2 (2(l + 1)) -1 2 l w∈W f ε(w) exp - π √ -1I(w(ρ), ρ) l + 1 =( √ -1) l 2 (2(l + 1)) -1 2 l α∈∆ + f (e 1 2 α -e -1 2 α ) - π √ -1 l + 1 ρ =2 l 2 -1 2 l (l + 1) -1 2 l α∈∆ + f sin I(ρ, α) 2(l + 1) π .
Hence, by §1.4 and the well-known formula ( 9)

n k=1 sin k n π = n 2 n-1 , it follows that α∈∆ + f sin I(ρ, α) 2(l + 1) π = 1≤i<j≤l sin j -i 2(l + 1) π sin j + i 2(l + 1) π l i=1 sin i l + 1 π =2 -l 2 + 1 2 l • (l + 1) 1 2 l , thus we obtain (10) a(Λ 0 , Λ 0 ) = 1.
Next, for level 2 case, we set

λ i = 2Λ 0 i = 0, Λ i 0 < i ≤ l.
By Remark 2.2, for λ + ρ = l i=1 m i ε i and µ + ρ = l i=1 n i ε i , we have

w∈S l (Z/2Z) l ε(w) exp - 2π √ -1I(λ + ρ, w(µ + ρ)) 2l + 3 = σ∈S l ε(σ) l r=1 exp - 2π √ -1 2l + 3 m i n σ -1 (r) -exp 2π √ -1 2l + 3 m r n σ -1 (r) = (-2 √ -1) l σ∈S l ε(σ) l r=1 2 sin 2m r n σ -1 (r) 2l + 3 π = (-2 √ -1) l det sin 2m r n s 2l + 3 π 1≤r,s≤l
.

As Λ i + ρ = k≤i (l + 2 -k)ε k + k>i (l + 1 -k)ε k and det sin 2m r n s 2l + 3 π 1≤r,s≤l = det sin 2m l+1-r n l+1-s 2l + 3 π 1≤r,s≤l
, to compute a(λ i , λ j ), it suffices to compute the (-1) i+j times (l + 1 -i, l + 1 -j)-entry of the cofactor matrix of the matrix

M 2 := sin 2rs 2l + 3 π 1≤r,s≤l+1
.

With the aid of C l -type denominator identity (cf. [Kr]), i.e., the identity

det(X j i -X -j i ) 1≤i,j≤l = ( l i=1 X i ) -l 1≤i<j≤l (1 -X i X j )(X i -X j ) l i=1 (X 2 i -1). in C[X ±1 1 , • • • , X ±1 l ], one can show that det M 2 = (-1) 1 2 l(l+1) 2 -(l+1) (2l + 3) 1 2 (l+1)
. Moreover, it can be shown that

M 2 2 = 1 4 (2l + 3)I l+1 .
Combining these facts, we obtain

(11) a(λ i , λ j ) = 2 √ 2l + 3 cos (2i + 1)(2j + 1) 2(2l + 3) π (0 ≤ i, j ≤ l).
3.2. Modular transformation of Jacobians. For 0 ≤ i ≤ l, set

J i (τ, z, t) := 2π √ -1 χ Λ 0 ∂ 1 χ Λ 0 • • • ∂ l χ Λ 0 2χ λ i 1 ∂ 1 χ λ i 1 • • • ∂ l χ λ i 1 . . . . . . . . . 2χ Λ i l ∂ 1 χ Λ i l • • • ∂ l χ Λ i l (τ, z, t) ∈ H × h f × C, where i 1 , i 2 , • • • i l are integers such that i 1 < i 2 < • • • < i l and {i 1 , i 2 , • • • , i l } = {0, 1, • • • , l} \ {i}. Note that J 0 (τ, z, t) = J(τ, z, t).
Since these determinants are W -anti invariant and their degrees are l i=0 a

∨ i = 2l + 1, it follows that J i (τ, z, t) ∈ T h - 2l+1 = O H A ρ , i.e., there exist holomorphic functions F i ∈ O H such that (12) J i (τ, z, t) = F i (τ )A ρ (τ, z, t),
Below, we determine these holomorphic functions {F i (τ )} 0≤i≤l explicitly. For this purpose, we compute the modular transformations of J i (τ, z, t).

Let λ ∈ P + . Recall that, by Theorem 2.1, there exists a unitary matrix (a(λ, µ)) λ,µ∈P c,λ

+ mod Cδ such that χ λ - 1 τ , z τ , t - I * (z, z) 2τ = µ∈P c,λ + a(λ, µ)χ µ (τ, z, t).
Differentiating both sides of this formula, we obtain

(∂ i χ λ ) - 1 τ , z τ , t - I * (z, z) 2τ =τ µ∈P c,λ + a(λ, µ)(∂ i χ µ )(τ, z, t) + 2π √ -1I * (z, α ∨ i ) c, λ µ∈P c,λ + a(λ, µ)χ µ (τ, z, t),
for any 0 < i ≤ l.

Set M S := (a(λ i , λ j )) 0≤i,j≤l . Let MS = ( MS ) i,j 0≤i,j≤l be the cofactor matrix of M S . For 0

≤ i ≤ l, let 0 ≤ i 1 < i 2 < • • • < i l be non-negative integers such that {i 1 , i 2 , • • • , i l } = {0, 1, • • • , l} \ {i}. By direct calculation, one obtains J i - 1 τ , z τ , t - I * (z, z) 2τ = 2π √ -1a(Λ 0 , Λ 0 )τ l χ Λ 0 ∂ 1 χ Λ 0 • • • ∂ l χ Λ 0 2 j a(λ i 1 , λ j )χ λ j j a(λ i 1 , λ j )∂ 1 χ λ j • • • j a(λ i 1 , λ j )∂ l χ λ j . . . . . . . . . 2 j a(λ i l , λ j )χ λ j j a(λ i l , λ j )∂ 1 χ λ j • • • j a(λ i l , λ j )∂ l χ λ j = τ l l j=0
(-1) i+j ( MS ) i,j J j (τ, z, t).

On the other hand, it can be checked that M 2 S = I l+1 . Moreover, with the aide of super denominator identity of type B(0, l), i.e., the next identity in C[X

± 1 2 1 , • • • X ± 1 2 l ]: det(X j-1 2 i + X -j+ 1 2 i ) 1≤i,j≤l = ( l i=1 X i ) -l+ 1 2 1≤i<j≤l (1 -X i X j )(X i -X j ) l i=1
(1 + X i ), one can show that det M S = (-1) ( l+12 ) . Hence, we obtain

( MS ) i,j = (-1) ( l+1 2 ) (M S ) i,j = (-1) ( l+1 2 ) a(λ i , λ j ) = (-1) ( l+1 2 ) 2 √ 2l + 3 cos (2i + 1)(2j + 1) 2(2l + 3) π .
Thus, we obtain the next formula:

(-1) i J i | S (τ, z, t) = (-1) i J i - 1 τ , z τ , t - I * (z, z) 2τ = τ l (-1) ( l+1 2 ) 2 √ 2l + 3 l j=0 cos (2i + 1)(2j + 1) 2(2l + 3) π (-1) j J j (τ, z, t). ( 13
)
By definition, the conformal anomaly of the weights Λ 0 , λ i (0 ≤ i ≤ l) are given by

m Λ 0 = - 1 24 l, m λ i = 1 2(2l + 3) (2(l + 1)i -i 2 ) - l(l + 1) 6(2l + 3) , which implies m Λ 0 + l i=0 m λ i = 1 24 l(2l + 1).
Thus, we obtain the next formula:

(-1) i J i | T 2 (τ, z, t) = (-1) i J i (τ + 2, z, t) = exp 4π √ -1 1 24 l(2l + 1) -m λ i (-1) i J i (τ, z, t). (14)
3.3. Leading terms of Jacobians. In this subsection, we compute the leading degree of each Jacobian J i (τ, z, t) (0 ≤ i ≤ l) as a q-series, where q := e π √ -1τ . Let

P f = { λ ∈ h * f | h i , λ ∈ Z 1 ≤ ∀ i ≤ l } P f + = { λ ∈ h * f | h i , λ ∈ Z ≥0 1 ≤ ∀ i ≤ l
} be the set of integral (resp. dominant integral) weights of h f . The Weyl group acts on P f , hence on its group algebra

C[P f ] = λ∈P f c λ e λ i) c λ ∈ C, ii) {λ | c λ = 0} < ∞.
For λ ∈ P f , set a λ := w∈W f ε(w)e w(λ) . The set {a λ+ρ } λ∈P f + spans the set of set of W f -anti invariants C[P f ] -W f and it satisfies a w(λ) = ε(w)a λ . For λ ∈ P f , set χ f λ := a λ+ρ a ρ . It follows that χ f λ ∈ C[P f ] W f is the Weyl character formula for the finite root system ∆ f when λ ∈ P f + .

Now, regard e λ (λ ∈ P f ) as functions on h f defined by h → e h,λ . We rewrite the anti-invariant A Λ+ρ (Λ ∈ P + k ) of the affine Weyl group W :

A Λ+ρ (τ, z, t) = e 2(k+2l+1)π √ -1t w∈W f ε(w) α∈M q 1 2(k+2l+1) |(k+2l+1)α+w(Λ+ρ)| 2 e 2π √ -1 z,(k+2l+1)α+w(Λ+ρ) = e 2(k+2l+1)π √ -1t α∈M q 1 2(k+2l+1) |(k+2l+1)α+Λ+ρ| 2 w∈W f ε(w)e 2π √ -1 z,w((k+2l+1)α+Λ+ρ) = e 2(k+2l+1)π √ -1t γ∈M + Λ+ρ k+2l+1 q 1 2 (k+2l+1)I(γ,γ) w∈W f ε(w)e 2π √ -1 z,w((k+2l+1)γ) = e 2(k+2l+1)π √ -1t γ∈M + Λ+ρ k+2l+1 a (k+2l+1)γ (2π √ -1z)q 1 2 (k+2l+1)I(γ,γ) ,
where |β|2 := I(β, β) for β ∈ h * f . In particular, for Λ = 0, Λ 0 , λ i (0 ≤ i ≤ l), the first few terms of this formula are given as follows.

(Λ = 0) :

e -2(2l+1)π √ -1t q -1 12 l(l+1) A ρ (τ, z, t) = a ρ (2π √ -1z) -a Λ 1 +ρ (2π √ -1z)q 1 2 + a Λ 1 +Λ 2 +ρ (2π √ -1z)q 3 2 -a 2Λ 2 +ρ (2π √ -1z)q 2 + O(q 5
2 ),

(Λ = Λ 0 ) : e -4(l+1)π √ -1t q -1 24 l(2l+1) A Λ 0 +ρ (τ, z, t) = a ρ (2π √ -1z) -a 2Λ 1 +ρ (2π √ -1z)q + a 2Λ 1 +Λ 2 +ρ (2π √ -1z)q 2 + O(q 3 ), (Λ = 2Λ 0 ) : e -2(2l+3)π √ -1t q -l(l+1)(2l+1) 12(2l+3) A 2Λ 0 +ρ (τ, z, t) = a ρ (2π √ -1z) -a 3Λ 1 +ρ (2π √ -1z)q 3 2 + a 3Λ 1 +Λ 2 +ρ (2π √ -1z)q 5 2 + O(q 7 2 ), (Λ = λ i , i = 0) : e -2(2l+3)π √ -1t q -l(l+1)(2l+1) 12(2l+3) - i(2(l+1)-i) 2(2l+3) A Λ i +ρ (τ, z, t) = a Λ i +ρ (2π √ -1z) -a Λ 1 +Λ i +ρ (2π √ -1z)q 1 2 + a 2(Λ 1 +Λ 2 )+ρ (2π √ -1z)q 5 2 + O(q 3 ) i = 1 a 2Λ 1 +Λ 2 +Λ i +ρ (2π √ -1z)q 3 2 + O(q 2 ) i > 1.
Thus, the normalized characters have the next expansions:

e -4π √ -1t q l(l+1) 6(2l+3) χ 2Λ 0 (τ, z, t) = 1 + χ f Λ 1 (2π √ -1z)q 1 2 + (χ f Λ 1 ) 2 (2π √ -1z)q + (χ f Λ 1 ) 3 -χ f 3Λ 1 -χ f Λ 1 +Λ 2 (2π √ -1z)q and, for 0 < i ≤ l, e -4π √ -1t q 3i(i-2(l+1))+l(l+1) 6(2l+3) χ λ i (τ, z, t) = χ f Λ i (2π √ -1z) + (χ f Λ 1 χ f Λ i -χ f Λ 1 +Λ i )(2π √ -1z)q 1 2 + χ f Λ 1 (χ f Λ 1 χ f Λ i -χ f Λ 1 +Λ i ) (2π √ -1z)q + O(q 3
2 ).

Notice that χ f

Λ 1 χ f Λ i -χ f Λ 1 +Λ i = χ f Λ i-1 + χ f Λ i+1
where we set χ f Λ l+1 = 0. Now, we analyze the first few terms of χ Λ 0 . Recall that the character of the fundamental representation L(Λ 0 ) has the special expression (cf. [KP]):

chL(Λ 0 ) = α∈M e tα(Λ 0 ) ∞ r=1
(1 -e -rδ ) l . Hence, it follows from the Jacobi triple product identity that

χ Λ 0 (τ, z, t) = e 2π √ -1t q -1 24 l l i=1 r>0 (1 + q r-1 2 e 2π √ -1 z,ε i )(1 + q r-1 2 e -2π √ -1 z,ε i ) .
With this expression, one can derive the leading terms of the normalized character χ Λ 0 (τ, z, t) as follows. For r ∈ Z >0 , thanks to the W f -invariance, it can be shown that

l i=1 (1 + q r-1 2 e 2π √ -1 z,ε i )(1 + q r-1 2 e -2π √ -1 z,ε i ) =q l(r-1 2 )   [ l 2 ] j=0 χ f Λ l-2j (2π √ -1z) + l i=1 (q i(r-1 2 ) + q -i(r-1 2 ) ) [ l-i 2 ] j=0 χ f Λ l-i-2j (2π √ -1z)   = 2l i=0   [ min{i,2l-i} 2 ] j=0 χ f Λ min{i,2l-i}-2j (2π √ -1z)   q i(r-1 2 ) ,
where we set χ Λ 0 =1 and [x] for x ∈ R signifies the maximal integer ≤ x. Thus, the leading terms of

e -2(2l+1)π √ -1t q -(m Λ 0 -m λ i + l j=0 m λ j ) J i (τ, z, t)
is given by the leading terms of

1 + O(q 1 2 ) ∂ 1 χ f Λ i (2π √ -1z)q i 2 + O(q i+1 2 ) • • • ∂ l χ f Λ i (2π √ -1z)q i 2 + O(q i+1 2 ) 2 + O(q 1 2 ) ∂ 1 χ f Λ 1 (2π √ -1z)q + O(q 3 2 ) • • • ∂ l χ f Λ 1 (2π √ -1z)q + O(q 3 2 ) 2χ f Λ 1 (2π √ -1z) + O(q 1 2 ) ∂ 1 χ f Λ 1 (2π √ -1z) + O(q 1 2 ) • • • ∂ l χ f Λ 1 (2π √ -1z) + O(q 1 2 ) . . . . . . . . . 2χ f Λ i-1 (2π √ -1z) + O(q 1 2 ) ∂ 1 χ f Λ i-1 (2π √ -1z) + O(q 1 2 ) • • • ∂ l χ f Λ i-1 (2π √ -1z) + O(q 1 2 ) 2χ f Λ i+1 (2π √ -1z) + O(q 1 2 ) ∂ 1 χ f Λ i+1 (2π √ -1z) + O(q 1 2 ) • • • ∂ l χ f Λ i+1 (2π √ -1z) + O(q 1 2 ) . . . . . . . . . 2χ f Λ l (2π √ -1z) + O(q 1 2 ) ∂ 1 χ f Λ l (2π √ -1z) + O(q 1 2 ) • • • ∂ l χ f Λ l (2π √ -1z) + O(q 1
2 )

.

In particular, the leading degree with respect to q of this determinant is 1 2 i. Therefore, since m Λ 0 -m λ i + l j=0 m λ j = (2i + 1) 2 8(2l + 3) + 1 24 (l -1) + 1 12 l(l + 1) -1 2 i, we have J i (τ, z, t) ∝ e 2(2l+1)π √ -1t q (2i+1) 2 8(2l+3) + 1 24 (l-1)+ 1 12 l(l+1)

× det(∂ i χ f Λ j (2π √ -1z)) 1≤i,j≤l (1 + O(q 1
2 )).

(15)

3.4. Functional equations on {F i (τ )} 0≤i≤l . By ( 12) and Remark 2.1, the equations ( 13), ( 14) and ( 15) imply the next equations:

(-1) i F i - 1 τ = τ √ -1 1 2 l 2 √
2l + 3 l j=0 cos (2i + 1)(2j + 1) 2(2l + 3) π (-1) j F j (τ ), (-1) i F i (τ + 2, z, t) = exp -4π √ -1 m λ i + 1 24 l (-1) i F i (τ ), ( 16) and (-1) i F i (τ ) ∝ q (2i+1) 2 8(2l+3) + 1 24 (l-1) (1 + O(q 1 2 )). ( 17 Here, we recall the Jacobi triple product identity:

(19) ∞ k=1 (1 -p k )(1 -p k-1 w)(1 -p k w -1 ) = l∈Z (-1) l p ( l 2 ) w l .
The Dedekind eta-function is defined as follows:

η(τ ) = q 1 24 ∞ n=1 (1 -q n ) = m∈Z (-1) m q 3 2 (m-1 6 ) 2 .
It is a weight 1 2 modular form:

η(τ + 1) = e π √ -1 12 η(τ ), η - 1 τ = τ √ -1 1 2 η(τ ).
Following [KP], for M ∈ Z >0 and 0 ≤ r < M , set

F (M ) r (τ ) := q 1 8M (M -2r) 2 n≡0 mod M n>0
(1 -q n ) n≡r mod M n>0

(1 -q n ) n≡-r mod M n>0

(1 -q n ).

By definition, F (M ) 0

(τ ) = η(M τ ) 3 , and for 0 < r < M , the Jacobi triple product identity (19) gives F (M ) r (τ ) = θ M -2r,2M (τ ) -θ M +2r,2M (τ ).

In particular, one has

F (M ) r (τ + 1) = e (M -2r) 2 4M π √ -1 F (M ) r (τ ).
Assume that M is odd (this is the only case we need). Then, its Jacobi transformation τ → -1 τ is given as follows: for 0 < r < M , ( 20) l+1-i (τ )} 0≤i≤l enjoys the same properties as {(-1) i F i (τ )} 0≤i≤l , i.e., ( 16). Thus, we see that J i (τ, z, t) ∝ (-1) i η(τ ) l-1 F (2l+3) l+1-i (τ )A ρ (τ, z, t).

F (M ) r - 1 τ = 2 τ M √ -1 1 2 (-1)
In particular, since η l-1 F (2l+3) l+1 never vanishes on H, we see that, for any τ ∈ H, the fundamental characters {χ Λ i } 0≤i≤l are algebraically independent. In particular, we have proved the validity of the first part of the Conjecture 2.1: Theorem 4.1. For any τ ∈ H, we have

T h + Yτ = C[ι * Yτ (χ Λ i ) (0 ≤ i ≤ l)],
where ι Yτ : Y τ → Y is a natural embedding.

Remark 4.1. Let L(c, h) be the irreducible highest weight module over the Virasoro algebra whose highest weight is (c, h). For each integer 0 ≤ i ≤ l, set c 2,2l+3 := 1 -3(2l + 1) 2 2l + 3 , h i := (2i + 1) 2 -(2l + 1) 2 8(2l + 3) .

We denote the normalized character tr L(c 2,2l+3 ,h i ) (q L 0 -1 24 c ) by χ 1,l+1-i (τ ). It turns out that (cf. [IK])

χ 1,l+1-i (τ ) = F (2l+3)
l+1-i (τ ) η(τ ) .

In particular, this implies that J i (τ, z, t) ∝ (-1) i η(τ ) l χ 1,l+1-i (τ )A ρ (τ, z, t).

) 4 . 2 ,

 42 Determination of Jaocbians 4.1. Some modular forms. For m ∈ Z >0 and n ∈ Z/2mZ, let θ n,m (τ ) := k∈Z q m(k+ n 2m ) be the classical theta functions. Their modular transformations are given by θ n,m (τ + 1) = e

  Conclusion. It turns out that the functions {η(τ ) l-1 F (2l+3)

+ O(q 2 )

Acknowledgment. At an early stage of this project, K. I. was partially supported by the program FY2018 JSPS Invitation. He is also partially supported by the French ANR (ANR project ANR-15-CE40-0012). Y .S. is partially supported by JSPS KAKENHI Grant Number 16K05055.

As for the second part of the Conjecture 2.1, ws see that the O H -algebra T h + contains the O H -algebra generated by {χ Λ i } 0≤i≤l , that is isomorphic to a polynomial algebra, as a subalgebra. In addition, as a graded O H -algebra, the Poincaré series of T h

Let K H be the quotient field of O H . One has

On the other hand, by Theorem 4.1, the above isomorphism restricts to

Hence the second part of the Conjecture 2.1 is also valid.