sigma08-085. 299KB Jun 04 2011 12:10:20 AM
Symmetry, Integrability and Geometry: Methods and Applications
SIGMA 4 (2008), 085, 18 pages
String Functions
for Af f ine Lie Algebras Integrable Modules⋆
Petr KULISH
†
and Vladimir LYAKHOVSKY
‡
†
Sankt-Petersburg Department of Steklov Institute of Mathematics,
Fontanka 27, 191023, Sankt-Petersburg, Russia
E-mail: [email protected]
‡
Department of Theoretical Physics, Sankt-Petersburg State University,
1 Ulyanovskaya Str., Petergof, 198904, Sankt-Petersburg, Russia
E-mail: [email protected]
Received September 15, 2008, in final form December 04, 2008; Published online December 12, 2008
Original article is available at http://www.emis.de/journals/SIGMA/2008/085/
(µ)
Abstract. The recursion relations of branching coefficients kξ for a module Lµg↓h reduced
to a Cartan subalgebra h are transformed in order to place the recursion shifts γ ∈ Γa⊂h
into the fundamental Weyl chamber. The new ensembles F Ψ (the “folded fans”) of shifts
were constructed and the corresponding recursion properties for the weights belonging to the
fundamental Weyl chamber were formulated. Being considered simultaneously for the set
of string functions (corresponding to the same congruence class Ξv of modules) the system
µ
µ
Ξv
v
of recursion relations constitute an equation MΞ
(u) m(u) = δ(u) where the operator M(u) is
an invertible matrix whose elements are defined by the coordinates and multiplicities of
the shift weights in the folded fans F Ψ and the components of the vector mµ(u) are the
string function coefficients for Lµ enlisted up to an arbitrary fixed grade u. The examples
(1)
are presented where the string functions for modules of g = A2 are explicitly constructed
demonstrating that the set of folded fans provides a compact and effective tool to study the
integrable highest weight modules.
Key words: affine Lie algebras; integrable modules; string functions
2000 Mathematics Subject Classification: 17B10; 17B67
1
Introduction
We consider integrable modules Lµ with the highest weight µ for affine Lie algebra g and
are especially interested in the properties of the string functions related to Lµ . String functions and branching coefficients of the affine Lie algebras arise in the computation of the local
state probabilities for solvable models on square lattice [1]. Irreducible highest weight modules
with dominant integral weights appear also in application of the quantum inverse scattering
method [2] where solvable spin chains are studied in the framework of the AdS/CFT correspondence conjecture of the super-string theory (see [3, 4] and references therein).
There are different ways to deal with string functions. One can use the BGG resolution [5]
(for Kac–Moody algebras the algorithm is described in [6, 7]), the Schur function series [8], the
BRST cohomology [9], Kac–Peterson formulas [6] or the combinatorial methods applied in [10].
Here we want to develop a new description for string functions by applying the recursive
formulas for weight multiplicities and branching coefficients obtained in [11].
⋆
This paper is a contribution to the Special Issue on Kac–Moody Algebras and Applications. The full collection
is available at http://www.emis.de/journals/SIGMA/Kac-Moody algebras.html
2
P. Kulish and V. Lyakhovsky
It was proved in [6] that for simply laced or twisted affine Lie algebra and integrable module Lµ with the highest weight µ of level 1 the string function is unique:
∞
Y
σ e−δ :=
n=1
1
(1 −
e−nδ )mult(nδ)
.
so that the corresponding formal character ch (Lµ ) can be easily written down provided the set
max(µ) of maximal weights for Lµ is known:
X µ+α− |α|2 +(µ|α)δ
2
(1)
ch (Lµ ) = σ e−δ
e
α∈M
with
M :=
r
P
(2)
Zαi∨ for untwisted algebras or A2r
i=1
r
P
(u≥2)
Zαi for Ar
i=1
(2)
and A 6= A2r
(see also Corollary 2.1.6 in [12]). Comparing this expression with the Weyl–Kac formula
ch (Lµ ) =
1 X
ǫ(w)ew◦(µ+ρ)−ρ ,
R
w∈W
where the character can be treated as generated by the denominator R1 acting on the set of
P
ǫ(w)ew◦(µ+ρ)−ρ of the module Lµ we see that in the relation (1)
singular vectors Ψ(µ) =
w∈W
both factors on the right hand side are simplified: singular weights
are substituted by the
maximal ones and instead of the factor R1 the string function σu e−δ is applied.
In this paper we shall demonstrate that similar transformations can be defined when the
level k (µ) is arbitrary. To find these transformations we use the recursion properties of branching
(µ)
coefficients kξ for the reduced module Lµg↓a where the subalgebraa has the same rank as g:
r(a) = r(g). These properties are formulated in [11] in terms of relations
X
X
(µ)
(µ)
s (γ) kξ+γ +
ǫ (w) δξ,πa ◦(w◦(µ+ρ)−ρ) ,
kξ =
γ∈Γa⊂g
w∈W
where πa is the projection to the weight space of a and Γa⊂g is the fan of the injection a −→ g,
that is the set of vectors defined by the relation
X
Y
mult(α)−multa (α)
s (γ) e−γ
=
1 − e−α
1−
α∈(πa ◦∆+ )
γ∈Γa⊂g
(µ)
(with s (γ) 6= 0). In particular when a is a Cartan subalgebra h of g the coefficients kξ
are
d
(0) –
just the multiplicities of the weights of Lµ and the corresponding fan Γh⊂g coincides with Ψ
0
the set of singular weights ψ ∈ P for the module L .
d
(0) −→ F Ψ so that the new
In Section 3 we demonstrate that this set can be “folded” Ψ
shifts (the vectors of the folded fan) f ψ ∈ F Ψ connect only the weights in the closure of the
fundamental Weyl chamber while the recursive property survives in a new form. Thus the recursive relations are obtained for the coefficients of the string functions for the modules Lξj whose
highest weights ξj belong to the same congruence class Ξk;v . When these relations are applied
simultaneously to the set of string functions located in the main Weyl chamber (Section 4) this
String Functions for Affine Lie Algebras Integrable Modules
3
results in the system of linear equations for the string function coefficients (collected in the
(µ)
µ
µ
v
vectors m(s,u) ). This system can be written in a compact form MΞ
(u) m(u) = δ(u) where the opev
rator MΞ
(u) is a matrix whose elements are composed by the multiplicities of weights in the folded
fans F Ψ. The set is solvable and the solution – the vector mµ(u) – defines the string functions
for Lµ up to an arbitrary minimal grade u. In the Section 5 some examples are presented where
(1)
the string functions for modules of g = A2 are explicitly constructed.
The set of folded fans provides a compact and effective method to construct the string
functions.
2
Basic def initions and relations
◦
Consider the affine Lie algebra g with the underlying finite-dimensional subalgebra g.
The following notation will be used:
Lµ – the integrable module of g with the highest weight µ;
r – the rank of the algebra g;
∆ – the root system;
∆+ – the positive root system for g;
mult (α) – the multiplicity of the root α in ∆;
◦
◦
∆ – the finite root system of the subalgebra g;
N µ – the weight diagram of Lµ ;
W – the corresponding Weyl group;
C (0) – the fundamental Weyl chamber;
ρ – the Weyl vector;
ǫ (w) := det (w), w ∈ W ;
αi – the i-th simple root for g, i = 0, . . . , r;
δ – the imaginary root of g;
αi∨ – the simple coroot for g, i = 0, . . . , r;
◦
ξ – the finite (classical) part of the weight ξ ∈ P ;
◦
◦
λ = λ; k; n – the decomposition of an affine weight indicating the finite part λ, level k and
grade n;
(0)
Ck – the intersection of the closure of the fundamental Weyl chamber C (0) with the plane
with fixed level k = const;
P – the weight lattice;
Q – the
lattice;
root
r
P
(2)
∨
Zαi for untwisted algebras or A2r ,
i=1
;
M :=
r
P
(u≥2)
(2)
Zαi for Ar
and A 6= A2r ,
i=1
E – the group algebra of the group P ;
|λ|2
P tα ◦λ
e
– the classical theta-function;
Θλ := e− 2k δ
α∈M
P
Aλ :=
ǫ(s)Θs◦λ ;
◦
s∈W
Ψ(µ) := e
|µ+ρ|2
δ
2k
− ρ
Aµ+ρ = e
|µ+ρ|2
δ
2k
− ρ
P
◦
=
P
w∈W
ǫ(s)Θs◦(µ+ρ) =
s∈W
ǫ(w)ew◦(µ+ρ)−ρ
– the singular weight element for the g-module Lµ ;
4
P. Kulish and V. Lyakhovsky
d
(µ) – the set of singular weights ψ ∈ P for the module Lµ with the coordinates
Ψ
◦
′
ψ, k, n, ǫ (w (ψ)) |ψ=w(ψ)◦(µ+ρ)−ρ (this set is similar to Pnice
(µ) in [7]);
(µ)
mξ – the multiplicity of the weight ξ ∈ P in the module Lµ ;
ch (Lµ ) – the
formal character of Lµ ;
P
ǫ(w)ew◦(µ+ρ)−ρ
ch (Lµ )
R :=
w∈W
=
Q
Q
(1−e−α )mult(α)
=
Ψ(µ)
Ψ(0)
– the Weyl–Kac formula;
α∈∆+
mult(α)
(1 − e−α )
= Ψ(0) – the denominator;
α∈∆+
max(µ) – the set of maximal weights of Lµ ;
∞
P
(µ)
m(ξ−nδ) q n – the string function through the maximal weight ξ.
σξµ (q) =
n=0
3
Folding a fan
(µ)
The generalized Racah formula for weight multiplicities mξ (with ξ ∈ P ) in integrable highest
weight modules Lµ (g) (see [13] for a finite dimensional variant),
X
X
(µ)
(µ)
ǫ(w)δ(w◦(µ+ρ)−ρ),ξ ,
(2)
mξ = −
ǫ(w)mξ−(w◦ρ−ρ) +
w∈W
w∈W \e
can be obtained as a special case of developed in [11] (see also [14]) branching algorithm for
affine Lie algebras. To apply this formula (2) we must determine two sets of singular weights:
d
d
d
(µ) for the module Lµ and Ψ
(0) for L0 . (As it was indicated in the Introduction the set Ψ
(0)
Ψ
coincides with the fan Γh⊂g of the injection h −→ g of the Cartan subalgebra h in the Lie
algebra g.)
d
(0) (the fan Γ
(0) of the fundaOur main idea is to contract the set Ψ
h⊂g) into the closure C
(0)
mental Weyl chamber C . We shall use the set max(µ) of maximal weights of Lµ (g) instead
d
(µ) . And as a result we shall find the possibility to solve the relations based on the recurof Ψ
rence properties of weight multiplicities, to obtain the explicit expressions for the string functions
µ
σξ∈max(µ)
and thus to describe the module Lµ .
◦
(0)
(0)
Consider the module Lµ (g) of level k: µ = µ; k; 0 . Let Ck;0 be the intersection of Ck with
the plane δ = 0, that is the “classical” part of the closure of the affine Weyl chamber at level k.
To each ξ ∈ P attribute a representative wξ ∈ W of the class of transformations
wξ ∈ W/Wξ ,
Wξ := {w ∈ W | w ◦ ξ = ξ} ,
(0)
bringing the weight ξ into the chamber Ck
(0)
wξ ◦ ξ ∈ Ck | ξ ∈ P, wξ ∈ W/Wξ .
Fix such representatives for each shifted vector φ (ξ, w) = ξ − (w ◦ ρ − ρ). The set
(0)
wφ(ξ,w) | wφ(ξ,w) ◦ φ (ξ, w) ∈ Ck ,
is in one-to-one correspondence with the set {φ (ξ, w)} of shifted weights. The recursion relation (2) can be written as
X
X
(µ)
(µ)
mξ
= −
ǫ(w)mφ(ξ,w) +
ǫ(w)δ(w◦(µ+ρ)−ρ),ξ
w∈W \e
w∈W
String Functions for Affine Lie Algebras Integrable Modules
X
= −
(µ)
ǫ(w)mw
φ(ξ,w)
◦φ(ξ,w) +
X
5
ǫ(w)δ(w◦(µ+ρ)−ρ),ξ .
w∈W
w∈W \e
(0)
Consider the restriction to Ck :
X
(µ)
(µ)
mξ (0) = −
ǫ(w)mw
+ δµ,ξ .
φ(ξ,w) ◦φ(ξ,w)
ξ∈Ck
(3)
w∈W \e
(0)
(µ)
In the r.h.s. the function mξ′ has an argument ξ ′ = wφ(ξ,w) ◦ φ (ξ, w) ∈ Ck :
(µ)
(µ)
(µ)
mξ′ = mw
φ(ξ,w) ◦φ(ξ,w)
= mξ+
(wφ(ξ,w) ◦φ(ξ,w)−ξ)
.
Thus the new (“folded”) shifts are introduced:
f ψ (ξ, w) := ξ ′ − ξ
ξ ′ 6=ξ
(0)
ξ, ξ ′ ∈ Ck ,
= wφ(ξ,w) ◦ (ξ − (w ◦ ρ − ρ))w6=e − ξ,
ξ ′ 6= ξ.
When the sum over W \ e in the expression (3) is performed the shifted weight ξ ′ acquires the
(finite) multiplicity ηb (ξ, ξ ′ ):
X
ηb ξ, ξ ′ = −
ǫ(w),
(4)
w∈W \e,
′
(the sum is over all the elements w ∈ W \e satisfying the relation wφ(ξ,w)
˜ ◦(ξ − (w ◦ ρ − ρ)) = ξ )
such that
X
(µ)
(µ)
mξ (0) =
ηb ξ, ξ ′ mξ+f ψ(ξ,w) + δξ,µ .
(5)
ξ∈Ck
(0)
ξ ′ ∈Ck ,ξ ′ 6=ξ
The main property of the multiplicities ηb (ξ, ξ ′ ) is that they do not depend directly on nξ .
(0)
Lemma 1. Let ψ = ρ − w ◦ ρ; φ (ξ, w) = ξ + ψ; ξ ′ := wφ(ξ,w) ◦ φ (ξ, w); ξ, ξ ′ ∈ Ck . Then
◦
the corresponding folded shifts f ψ (ξ, w) = ξ ′ − ξ and multiplicities ηb (ξ, ξ ′ ) depend only on k, ξ,
and w.
Proof . As far as imaginary roots are W -stable we have: wφ(ξ,w) ◦ (ξ + n
eδ) = wφ(ξ,w) ◦ ξ + n
eδ.
e
e
Thus for both ξ and ξ = ξ + n
eδ the representatives of the classes bringing φ (ξ, w) and φ ξ, w
(0)
can be taken equal: wφ(ξ,w) = wφ(ξ,w
e ) modWξ . In the shift
f ψ (ξ, w) decompose the element wφ(ξ,w) = tφ(ξ,w) · sφ(ξ,w) into the product of the classical
∨
reflection sφ(ξ,w) and the translation tφ(ξ,w) . Denote by θφ(ξ,w)
the argument (belonging to M )
of the translation tφ(ξ,w) . The direct computation demonstrates that the weight f ψ (ξ, w) does
not depend on nξ :
to the fundamental chamber Ck
f ψ (ξ, w) =
◦
◦
◦
◦∨
sφ(ξ,w) ◦ ξ + ψ − ξ + k θφ(ξ,w) , 0,
◦
◦
2
.
k ∨
∨
n−w◦ρ − 2 θφ(ξ,w) − sφ(ξ,w) ◦ ξ + ψ , θφ(ξ,w)
◦
◦
Thus the shift f ψ (ξ, w) can be considered as depending on k, ξ and w: f ψ = f ψ ξ, k, w . The
multiplicity ηb (ξ, ξ ′ ) (see (4)) depends only on the set of reflections w ∈ W connecting ξ and
◦
ξ ′ 6= ξ and does not depend on nξ neither: ηb (ξ, ξ ′ ) = ηb ξ, k, ξ ′ .
6
P. Kulish and V. Lyakhovsky
◦
Thus we have constructed the set of (nonzero) shifts f ψ ξ, k, w with the multiplicities
◦
◦
ηb ξ, k, ξ + f ψ ξ, k, w and obtained the possibility to formulate the recursion properties en(0)
tirely defined in the closure Ck of the fundamental Weyl chamber.
Let us return to the relation (5),
(µ)
mξ
(0)
ξ∈Ck
X
=
◦
ξ+f ψ(ξ,k,w)
(0)
ξ ′ ∈Ck , ξ ′ 6=ξ
X
=
◦
(µ)
ηb ξ, k, ξ ′ m
+ δξ,µ
◦
◦
(µ)
ηb ξ, k, ξ + f ψ ξ, k, w m
◦
ξ+f ψ(ξ,k,w)
◦
f ψ(ξ,k,w)6=0
+ δξ,µ .
◦
For simplicity from now on we shall omit some arguments and write down the shifts as f ψ ξ
◦
and their multiplicities as ηb ξ, ξ ′ (keeping in mind that we are at the level k and the weight ξ ′
depends on the initial reflection w). The set of vectors:
◦ ◦
◦
◦
′
′
g
F Ψ ξ := ξ − ξ = f ψ ξ = f ψ ξ ; 0; n ◦ ξ − ξ 6= 0 ,
fψ ξ
(0)
ξ ′ = wφ(ξ,w) ◦ φ (ξ, w) ,
ξ, ξ ′ ∈ Ck ,
plays here the role similar to that of the set Ψ(0) \ 0 of nontrivial singular weights for L0 in
◦
the relation (2) and is called the folded fan for ξ. (The initial (unfolded) fan Γh⊂g corresponds
here to the injection of the Cartan subalgebra.)
Thus we have proved the following property:
◦
Proposition 1. Let Lµ be the integrable highest weight module of g, µ = µ; k; 0 , ξ =
◦
◦
◦
(0)
g
ξ; k; nξ ∈ N µ , ξ ∈ Ck and let F
Ψ ξ be the folded fan for ξ then the multiplicity of the
weight ξ is subject to the recursion relation
(µ)
mξ
4
(0)
ξ∈Ck
X
=
◦
◦
g
f ψ(ξ)∈F
Ψ(ξ)
◦
◦
(µ)
ηb ξ, ξ + f ψ ξ m
◦
ξ+f ψ(ξ)
+ δξ,µ .
(6)
Folded fans and string functions
◦
For the highest weight module Lµ (g) with µ = µ; k; 0 of level k consider the set of maximal
(0)
vectors belonging to Ck
Zkµ
:=
ζ ∈ max(µ) ∩
(0)
Ck
.
Let π be a projection to the subset of P with level k and grade n = 0 and introduce the set:
Ξµk := ξ = π ◦ ζ | ζ ∈ Zkµ .
The cardinality
µ
p(µ)
max := # Ξk
String Functions for Affine Lie Algebras Integrable Modules
7
is finite and we can enumerate the corresponding weights ξj :
o
n
Ξµk = ξj | j = 1, . . . , p(µ)
max .
The string functions necessary and sufficient to construct the diagram N µ (and correspondingly
the character ch (Lµ )) are
n
o
X
X
σζµ,k | ζ ∈ Zkµ ,
ch (Lµ ) =
σξµ e−δ eξ =
σζµ,k e−δ ew◦ζ .
w∈W/Wζ , ζ∈Zkµ
ξ∈max(µ)
Let us consider these string functions as starting from the points ξj rather than from ζ’s.
∞
P
(µ)
(For ζ = ξs − lδ ∈ Zkµ the expansion σξµs (q) =
m(ξs −nδ) q n starts with string coefficients
n=0
m(ξs −nδ) |n
SIGMA 4 (2008), 085, 18 pages
String Functions
for Af f ine Lie Algebras Integrable Modules⋆
Petr KULISH
†
and Vladimir LYAKHOVSKY
‡
†
Sankt-Petersburg Department of Steklov Institute of Mathematics,
Fontanka 27, 191023, Sankt-Petersburg, Russia
E-mail: [email protected]
‡
Department of Theoretical Physics, Sankt-Petersburg State University,
1 Ulyanovskaya Str., Petergof, 198904, Sankt-Petersburg, Russia
E-mail: [email protected]
Received September 15, 2008, in final form December 04, 2008; Published online December 12, 2008
Original article is available at http://www.emis.de/journals/SIGMA/2008/085/
(µ)
Abstract. The recursion relations of branching coefficients kξ for a module Lµg↓h reduced
to a Cartan subalgebra h are transformed in order to place the recursion shifts γ ∈ Γa⊂h
into the fundamental Weyl chamber. The new ensembles F Ψ (the “folded fans”) of shifts
were constructed and the corresponding recursion properties for the weights belonging to the
fundamental Weyl chamber were formulated. Being considered simultaneously for the set
of string functions (corresponding to the same congruence class Ξv of modules) the system
µ
µ
Ξv
v
of recursion relations constitute an equation MΞ
(u) m(u) = δ(u) where the operator M(u) is
an invertible matrix whose elements are defined by the coordinates and multiplicities of
the shift weights in the folded fans F Ψ and the components of the vector mµ(u) are the
string function coefficients for Lµ enlisted up to an arbitrary fixed grade u. The examples
(1)
are presented where the string functions for modules of g = A2 are explicitly constructed
demonstrating that the set of folded fans provides a compact and effective tool to study the
integrable highest weight modules.
Key words: affine Lie algebras; integrable modules; string functions
2000 Mathematics Subject Classification: 17B10; 17B67
1
Introduction
We consider integrable modules Lµ with the highest weight µ for affine Lie algebra g and
are especially interested in the properties of the string functions related to Lµ . String functions and branching coefficients of the affine Lie algebras arise in the computation of the local
state probabilities for solvable models on square lattice [1]. Irreducible highest weight modules
with dominant integral weights appear also in application of the quantum inverse scattering
method [2] where solvable spin chains are studied in the framework of the AdS/CFT correspondence conjecture of the super-string theory (see [3, 4] and references therein).
There are different ways to deal with string functions. One can use the BGG resolution [5]
(for Kac–Moody algebras the algorithm is described in [6, 7]), the Schur function series [8], the
BRST cohomology [9], Kac–Peterson formulas [6] or the combinatorial methods applied in [10].
Here we want to develop a new description for string functions by applying the recursive
formulas for weight multiplicities and branching coefficients obtained in [11].
⋆
This paper is a contribution to the Special Issue on Kac–Moody Algebras and Applications. The full collection
is available at http://www.emis.de/journals/SIGMA/Kac-Moody algebras.html
2
P. Kulish and V. Lyakhovsky
It was proved in [6] that for simply laced or twisted affine Lie algebra and integrable module Lµ with the highest weight µ of level 1 the string function is unique:
∞
Y
σ e−δ :=
n=1
1
(1 −
e−nδ )mult(nδ)
.
so that the corresponding formal character ch (Lµ ) can be easily written down provided the set
max(µ) of maximal weights for Lµ is known:
X µ+α− |α|2 +(µ|α)δ
2
(1)
ch (Lµ ) = σ e−δ
e
α∈M
with
M :=
r
P
(2)
Zαi∨ for untwisted algebras or A2r
i=1
r
P
(u≥2)
Zαi for Ar
i=1
(2)
and A 6= A2r
(see also Corollary 2.1.6 in [12]). Comparing this expression with the Weyl–Kac formula
ch (Lµ ) =
1 X
ǫ(w)ew◦(µ+ρ)−ρ ,
R
w∈W
where the character can be treated as generated by the denominator R1 acting on the set of
P
ǫ(w)ew◦(µ+ρ)−ρ of the module Lµ we see that in the relation (1)
singular vectors Ψ(µ) =
w∈W
both factors on the right hand side are simplified: singular weights
are substituted by the
maximal ones and instead of the factor R1 the string function σu e−δ is applied.
In this paper we shall demonstrate that similar transformations can be defined when the
level k (µ) is arbitrary. To find these transformations we use the recursion properties of branching
(µ)
coefficients kξ for the reduced module Lµg↓a where the subalgebraa has the same rank as g:
r(a) = r(g). These properties are formulated in [11] in terms of relations
X
X
(µ)
(µ)
s (γ) kξ+γ +
ǫ (w) δξ,πa ◦(w◦(µ+ρ)−ρ) ,
kξ =
γ∈Γa⊂g
w∈W
where πa is the projection to the weight space of a and Γa⊂g is the fan of the injection a −→ g,
that is the set of vectors defined by the relation
X
Y
mult(α)−multa (α)
s (γ) e−γ
=
1 − e−α
1−
α∈(πa ◦∆+ )
γ∈Γa⊂g
(µ)
(with s (γ) 6= 0). In particular when a is a Cartan subalgebra h of g the coefficients kξ
are
d
(0) –
just the multiplicities of the weights of Lµ and the corresponding fan Γh⊂g coincides with Ψ
0
the set of singular weights ψ ∈ P for the module L .
d
(0) −→ F Ψ so that the new
In Section 3 we demonstrate that this set can be “folded” Ψ
shifts (the vectors of the folded fan) f ψ ∈ F Ψ connect only the weights in the closure of the
fundamental Weyl chamber while the recursive property survives in a new form. Thus the recursive relations are obtained for the coefficients of the string functions for the modules Lξj whose
highest weights ξj belong to the same congruence class Ξk;v . When these relations are applied
simultaneously to the set of string functions located in the main Weyl chamber (Section 4) this
String Functions for Affine Lie Algebras Integrable Modules
3
results in the system of linear equations for the string function coefficients (collected in the
(µ)
µ
µ
v
vectors m(s,u) ). This system can be written in a compact form MΞ
(u) m(u) = δ(u) where the opev
rator MΞ
(u) is a matrix whose elements are composed by the multiplicities of weights in the folded
fans F Ψ. The set is solvable and the solution – the vector mµ(u) – defines the string functions
for Lµ up to an arbitrary minimal grade u. In the Section 5 some examples are presented where
(1)
the string functions for modules of g = A2 are explicitly constructed.
The set of folded fans provides a compact and effective method to construct the string
functions.
2
Basic def initions and relations
◦
Consider the affine Lie algebra g with the underlying finite-dimensional subalgebra g.
The following notation will be used:
Lµ – the integrable module of g with the highest weight µ;
r – the rank of the algebra g;
∆ – the root system;
∆+ – the positive root system for g;
mult (α) – the multiplicity of the root α in ∆;
◦
◦
∆ – the finite root system of the subalgebra g;
N µ – the weight diagram of Lµ ;
W – the corresponding Weyl group;
C (0) – the fundamental Weyl chamber;
ρ – the Weyl vector;
ǫ (w) := det (w), w ∈ W ;
αi – the i-th simple root for g, i = 0, . . . , r;
δ – the imaginary root of g;
αi∨ – the simple coroot for g, i = 0, . . . , r;
◦
ξ – the finite (classical) part of the weight ξ ∈ P ;
◦
◦
λ = λ; k; n – the decomposition of an affine weight indicating the finite part λ, level k and
grade n;
(0)
Ck – the intersection of the closure of the fundamental Weyl chamber C (0) with the plane
with fixed level k = const;
P – the weight lattice;
Q – the
lattice;
root
r
P
(2)
∨
Zαi for untwisted algebras or A2r ,
i=1
;
M :=
r
P
(u≥2)
(2)
Zαi for Ar
and A 6= A2r ,
i=1
E – the group algebra of the group P ;
|λ|2
P tα ◦λ
e
– the classical theta-function;
Θλ := e− 2k δ
α∈M
P
Aλ :=
ǫ(s)Θs◦λ ;
◦
s∈W
Ψ(µ) := e
|µ+ρ|2
δ
2k
− ρ
Aµ+ρ = e
|µ+ρ|2
δ
2k
− ρ
P
◦
=
P
w∈W
ǫ(s)Θs◦(µ+ρ) =
s∈W
ǫ(w)ew◦(µ+ρ)−ρ
– the singular weight element for the g-module Lµ ;
4
P. Kulish and V. Lyakhovsky
d
(µ) – the set of singular weights ψ ∈ P for the module Lµ with the coordinates
Ψ
◦
′
ψ, k, n, ǫ (w (ψ)) |ψ=w(ψ)◦(µ+ρ)−ρ (this set is similar to Pnice
(µ) in [7]);
(µ)
mξ – the multiplicity of the weight ξ ∈ P in the module Lµ ;
ch (Lµ ) – the
formal character of Lµ ;
P
ǫ(w)ew◦(µ+ρ)−ρ
ch (Lµ )
R :=
w∈W
=
Q
Q
(1−e−α )mult(α)
=
Ψ(µ)
Ψ(0)
– the Weyl–Kac formula;
α∈∆+
mult(α)
(1 − e−α )
= Ψ(0) – the denominator;
α∈∆+
max(µ) – the set of maximal weights of Lµ ;
∞
P
(µ)
m(ξ−nδ) q n – the string function through the maximal weight ξ.
σξµ (q) =
n=0
3
Folding a fan
(µ)
The generalized Racah formula for weight multiplicities mξ (with ξ ∈ P ) in integrable highest
weight modules Lµ (g) (see [13] for a finite dimensional variant),
X
X
(µ)
(µ)
ǫ(w)δ(w◦(µ+ρ)−ρ),ξ ,
(2)
mξ = −
ǫ(w)mξ−(w◦ρ−ρ) +
w∈W
w∈W \e
can be obtained as a special case of developed in [11] (see also [14]) branching algorithm for
affine Lie algebras. To apply this formula (2) we must determine two sets of singular weights:
d
d
d
(µ) for the module Lµ and Ψ
(0) for L0 . (As it was indicated in the Introduction the set Ψ
(0)
Ψ
coincides with the fan Γh⊂g of the injection h −→ g of the Cartan subalgebra h in the Lie
algebra g.)
d
(0) (the fan Γ
(0) of the fundaOur main idea is to contract the set Ψ
h⊂g) into the closure C
(0)
mental Weyl chamber C . We shall use the set max(µ) of maximal weights of Lµ (g) instead
d
(µ) . And as a result we shall find the possibility to solve the relations based on the recurof Ψ
rence properties of weight multiplicities, to obtain the explicit expressions for the string functions
µ
σξ∈max(µ)
and thus to describe the module Lµ .
◦
(0)
(0)
Consider the module Lµ (g) of level k: µ = µ; k; 0 . Let Ck;0 be the intersection of Ck with
the plane δ = 0, that is the “classical” part of the closure of the affine Weyl chamber at level k.
To each ξ ∈ P attribute a representative wξ ∈ W of the class of transformations
wξ ∈ W/Wξ ,
Wξ := {w ∈ W | w ◦ ξ = ξ} ,
(0)
bringing the weight ξ into the chamber Ck
(0)
wξ ◦ ξ ∈ Ck | ξ ∈ P, wξ ∈ W/Wξ .
Fix such representatives for each shifted vector φ (ξ, w) = ξ − (w ◦ ρ − ρ). The set
(0)
wφ(ξ,w) | wφ(ξ,w) ◦ φ (ξ, w) ∈ Ck ,
is in one-to-one correspondence with the set {φ (ξ, w)} of shifted weights. The recursion relation (2) can be written as
X
X
(µ)
(µ)
mξ
= −
ǫ(w)mφ(ξ,w) +
ǫ(w)δ(w◦(µ+ρ)−ρ),ξ
w∈W \e
w∈W
String Functions for Affine Lie Algebras Integrable Modules
X
= −
(µ)
ǫ(w)mw
φ(ξ,w)
◦φ(ξ,w) +
X
5
ǫ(w)δ(w◦(µ+ρ)−ρ),ξ .
w∈W
w∈W \e
(0)
Consider the restriction to Ck :
X
(µ)
(µ)
mξ (0) = −
ǫ(w)mw
+ δµ,ξ .
φ(ξ,w) ◦φ(ξ,w)
ξ∈Ck
(3)
w∈W \e
(0)
(µ)
In the r.h.s. the function mξ′ has an argument ξ ′ = wφ(ξ,w) ◦ φ (ξ, w) ∈ Ck :
(µ)
(µ)
(µ)
mξ′ = mw
φ(ξ,w) ◦φ(ξ,w)
= mξ+
(wφ(ξ,w) ◦φ(ξ,w)−ξ)
.
Thus the new (“folded”) shifts are introduced:
f ψ (ξ, w) := ξ ′ − ξ
ξ ′ 6=ξ
(0)
ξ, ξ ′ ∈ Ck ,
= wφ(ξ,w) ◦ (ξ − (w ◦ ρ − ρ))w6=e − ξ,
ξ ′ 6= ξ.
When the sum over W \ e in the expression (3) is performed the shifted weight ξ ′ acquires the
(finite) multiplicity ηb (ξ, ξ ′ ):
X
ηb ξ, ξ ′ = −
ǫ(w),
(4)
w∈W \e,
′
(the sum is over all the elements w ∈ W \e satisfying the relation wφ(ξ,w)
˜ ◦(ξ − (w ◦ ρ − ρ)) = ξ )
such that
X
(µ)
(µ)
mξ (0) =
ηb ξ, ξ ′ mξ+f ψ(ξ,w) + δξ,µ .
(5)
ξ∈Ck
(0)
ξ ′ ∈Ck ,ξ ′ 6=ξ
The main property of the multiplicities ηb (ξ, ξ ′ ) is that they do not depend directly on nξ .
(0)
Lemma 1. Let ψ = ρ − w ◦ ρ; φ (ξ, w) = ξ + ψ; ξ ′ := wφ(ξ,w) ◦ φ (ξ, w); ξ, ξ ′ ∈ Ck . Then
◦
the corresponding folded shifts f ψ (ξ, w) = ξ ′ − ξ and multiplicities ηb (ξ, ξ ′ ) depend only on k, ξ,
and w.
Proof . As far as imaginary roots are W -stable we have: wφ(ξ,w) ◦ (ξ + n
eδ) = wφ(ξ,w) ◦ ξ + n
eδ.
e
e
Thus for both ξ and ξ = ξ + n
eδ the representatives of the classes bringing φ (ξ, w) and φ ξ, w
(0)
can be taken equal: wφ(ξ,w) = wφ(ξ,w
e ) modWξ . In the shift
f ψ (ξ, w) decompose the element wφ(ξ,w) = tφ(ξ,w) · sφ(ξ,w) into the product of the classical
∨
reflection sφ(ξ,w) and the translation tφ(ξ,w) . Denote by θφ(ξ,w)
the argument (belonging to M )
of the translation tφ(ξ,w) . The direct computation demonstrates that the weight f ψ (ξ, w) does
not depend on nξ :
to the fundamental chamber Ck
f ψ (ξ, w) =
◦
◦
◦
◦∨
sφ(ξ,w) ◦ ξ + ψ − ξ + k θφ(ξ,w) , 0,
◦
◦
2
.
k ∨
∨
n−w◦ρ − 2 θφ(ξ,w) − sφ(ξ,w) ◦ ξ + ψ , θφ(ξ,w)
◦
◦
Thus the shift f ψ (ξ, w) can be considered as depending on k, ξ and w: f ψ = f ψ ξ, k, w . The
multiplicity ηb (ξ, ξ ′ ) (see (4)) depends only on the set of reflections w ∈ W connecting ξ and
◦
ξ ′ 6= ξ and does not depend on nξ neither: ηb (ξ, ξ ′ ) = ηb ξ, k, ξ ′ .
6
P. Kulish and V. Lyakhovsky
◦
Thus we have constructed the set of (nonzero) shifts f ψ ξ, k, w with the multiplicities
◦
◦
ηb ξ, k, ξ + f ψ ξ, k, w and obtained the possibility to formulate the recursion properties en(0)
tirely defined in the closure Ck of the fundamental Weyl chamber.
Let us return to the relation (5),
(µ)
mξ
(0)
ξ∈Ck
X
=
◦
ξ+f ψ(ξ,k,w)
(0)
ξ ′ ∈Ck , ξ ′ 6=ξ
X
=
◦
(µ)
ηb ξ, k, ξ ′ m
+ δξ,µ
◦
◦
(µ)
ηb ξ, k, ξ + f ψ ξ, k, w m
◦
ξ+f ψ(ξ,k,w)
◦
f ψ(ξ,k,w)6=0
+ δξ,µ .
◦
For simplicity from now on we shall omit some arguments and write down the shifts as f ψ ξ
◦
and their multiplicities as ηb ξ, ξ ′ (keeping in mind that we are at the level k and the weight ξ ′
depends on the initial reflection w). The set of vectors:
◦ ◦
◦
◦
′
′
g
F Ψ ξ := ξ − ξ = f ψ ξ = f ψ ξ ; 0; n ◦ ξ − ξ 6= 0 ,
fψ ξ
(0)
ξ ′ = wφ(ξ,w) ◦ φ (ξ, w) ,
ξ, ξ ′ ∈ Ck ,
plays here the role similar to that of the set Ψ(0) \ 0 of nontrivial singular weights for L0 in
◦
the relation (2) and is called the folded fan for ξ. (The initial (unfolded) fan Γh⊂g corresponds
here to the injection of the Cartan subalgebra.)
Thus we have proved the following property:
◦
Proposition 1. Let Lµ be the integrable highest weight module of g, µ = µ; k; 0 , ξ =
◦
◦
◦
(0)
g
ξ; k; nξ ∈ N µ , ξ ∈ Ck and let F
Ψ ξ be the folded fan for ξ then the multiplicity of the
weight ξ is subject to the recursion relation
(µ)
mξ
4
(0)
ξ∈Ck
X
=
◦
◦
g
f ψ(ξ)∈F
Ψ(ξ)
◦
◦
(µ)
ηb ξ, ξ + f ψ ξ m
◦
ξ+f ψ(ξ)
+ δξ,µ .
(6)
Folded fans and string functions
◦
For the highest weight module Lµ (g) with µ = µ; k; 0 of level k consider the set of maximal
(0)
vectors belonging to Ck
Zkµ
:=
ζ ∈ max(µ) ∩
(0)
Ck
.
Let π be a projection to the subset of P with level k and grade n = 0 and introduce the set:
Ξµk := ξ = π ◦ ζ | ζ ∈ Zkµ .
The cardinality
µ
p(µ)
max := # Ξk
String Functions for Affine Lie Algebras Integrable Modules
7
is finite and we can enumerate the corresponding weights ξj :
o
n
Ξµk = ξj | j = 1, . . . , p(µ)
max .
The string functions necessary and sufficient to construct the diagram N µ (and correspondingly
the character ch (Lµ )) are
n
o
X
X
σζµ,k | ζ ∈ Zkµ ,
ch (Lµ ) =
σξµ e−δ eξ =
σζµ,k e−δ ew◦ζ .
w∈W/Wζ , ζ∈Zkµ
ξ∈max(µ)
Let us consider these string functions as starting from the points ξj rather than from ζ’s.
∞
P
(µ)
(For ζ = ξs − lδ ∈ Zkµ the expansion σξµs (q) =
m(ξs −nδ) q n starts with string coefficients
n=0
m(ξs −nδ) |n