Questions tagged [kac-moody-algebras]
The kac-moody-algebras tag has no usage guidance.
109 questions
4
votes
1
answer
232
views
What is known about string functions for $\widehat{\mathfrak{sl}_2}$?
Let $\Lambda$ be a dominant integral weight for $\widehat{\mathfrak{sl}_2}$. The string function associated to a maximal weight $\lambda$ of $L(\Lambda)$ is the series $$ a^{\Lambda}_\lambda = \sum_{k ...
- 820
1
vote
0
answers
46
views
The difference between two description of affine Weyl groups
I have a question about the difference between two description of affine Weyl groups.
Let me write two descriptions of affine Weyl groups:
Let $\mathfrak{g}=\mathfrak{g}(A)$ be affine Lie algebras ...
- 137
3
votes
1
answer
129
views
Questions about the quotient of extended Weyl group and the isomorphism of extended Weyl group
When I am reading a paper An Algebraic Characterization of the Affine Canonical Basis by Beck, Chari, and Pressley, and I have some questions about some notations.
In the paper, we assume that $\...
- 137
1
vote
1
answer
64
views
What is $\left[ \begin{array}{c} K_i;0\\ \ell\\ \end{array} \right] _{\varepsilon _i}$ in the restricted specialization in QUE algebras?
I have a question about the book A Guide to Quantum Groups written by Vyjayanthi Chari and Andrew Pressley. It comes from section $9.3$ on page $300$ of this book
In Section 9.1, the authors define ...
- 137
2
votes
0
answers
132
views
A question about q-binomials at roots of unity
I have a question about a lemma $9.3.6$ in the book A Guide to Quantum Groups written by Vyjayanthi Chari and Andrew Pressley. This question comes from page 301, "The restricted specialization&...
- 137
7
votes
0
answers
141
views
Frenkel-Kac's vertex operator realisation of the basic representation of an untwisted affine Kac-Moody algebra
Let $\mathfrak{g}$ be a finite-dimensional simple Lie algebra over $\mathbb{C}$ and let $\hat{\mathfrak{g}} := (\mathfrak{g}[t^{\pm 1}] \oplus \mathbb{C} c) \rtimes \mathbb{C} D$ be the corresponding ...
- 1,516
6
votes
0
answers
95
views
Kac-Moody algebras of indefinite type
In his very influential book Infinite dimensional Lie algebras, which is still the main reference for Kac-Moody algebras, in section 0.4 of the introduction, Victor Kac discuss the problem of concrete ...
- 3,318
3
votes
0
answers
107
views
How to get $U(N)_k$ Kac-Moody modules and characters from $N \cdot k$ Dirac Fermions using $U(N \cdot k)_1 / SU(k)_N$?
It is known that the $U(N)_k$ Kac-Moody algebra can be written as the coset $U(N)_k = U(N \cdot k)_1 / SU(k)_N$. (This fact is related to the level-rank duality of $U(N)_k \leftrightarrow U(k)_N$.) A ...
- 545
7
votes
3
answers
303
views
Enveloping algebra of affine Lie algebra is (not) noetherian
I work over an algebraically closed field of characteristic $0$. Let $\mathfrak{g}$ be a semisimple Lie algebra, $\hat{\mathfrak{g}}=\mathfrak{g}[t,t^{-1}]\oplus\mathbb{C}K\oplus\mathbb{C}D$ the ...
- 1,391
2
votes
1
answer
312
views
Reasons about the difference between twisted affine algebras of $A_{2l}$ and other types
I am reading about Kac–Moody algebras. I have a question about the construction of twisted affine algebras.
Let $\sigma$ be a graph automorphism of the simple Lie algebra $\mathfrak{g}$.
When $\...
- 137
4
votes
1
answer
446
views
WZW primary correlations in terms of current algebra?
Given the
$\mathfrak{u}(N)$ algebra
with generators $L^a$ and commutation relations
$ [L^a,L^b] = \sum_c f^{a,b}_{c} L^c $ ,
the WZW currents of $U(N)_k$
$$ J(z) = \sum_{n \in \mathbb{Z}} J^a_n z^{-n-...
- 545
1
vote
0
answers
102
views
How do you find the generators of $E_{10}$?
$E_{10}$ is a hyperbolic Lie group, i.e. one that not only has infinite generators, but one where the number of generators grows exponentially when you commutate more elements of the algebra. So at ...
- 255
5
votes
0
answers
147
views
Functoriality of Feigin–Frenkel duality
For a simple Lie algebra $\mathfrak{g}$, we have the W-algebra of level $k$, denoted by $\mathcal{W}^k(\mathfrak{g})$. Using Wakimoto free field realization and screening operators, Feigin and Frenkel ...
- 1,391
2
votes
0
answers
95
views
Completions of infinite rank Kac-Moody algebras
I am reading Kac's Infinite dimensional Lie algebras, third edition. In section 7.12, Kac discusses completions of Kac-Moody algebras of infinite rank, and define $\bar{\mathfrak{g}}(A)$, for any ...
- 3,446
0
votes
0
answers
47
views
Convergence in the Weyl-Kac denominator formula
The following is the Weyl-Kac denominator formula:
$\prod_{\alpha \in \Phi^+} (1 - e_{-\alpha})^{m_\alpha}
= \sum_{w \in W} \varepsilon (w) e_{w(\rho) - \rho}$
Now each $e_\lambda : H^* \rightarrow \...
- 1
2
votes
1
answer
206
views
Difference between two definitions of affine Lie algebras
Let $\mathfrak{g}$ be a finite-dimensional simple Lie algebra over $\mathbb{C}$, we have the notion of affinization of $\mathfrak{g}$, which is the central extension of the corresponding loop algebra.
...
- 1,391
3
votes
0
answers
86
views
Identifying the adjoint representation of an affine Kac-Moody algebra
We work over $\mathbb{C}$. Let $\mathfrak{g}$ be an affine Kac-Moody Lie algebra (the question is still relevant for the non-affine case, but I'm specifically interested in the affine case). Suppose ...
- 1,077
9
votes
2
answers
631
views
Proofs of the Frobenius characteristic map
Let $\mathfrak{S}_n$ be the symmetric group on $n$ letters, $\mathsf{Rep}(\mathfrak{S}_n)$ be the abelian category of finite dimensional complex representations of $\mathfrak{S}_n$. A classical result ...
- 1,391
2
votes
1
answer
114
views
Real roots along root strings
Let $A$ be a Cartan matrix, i.e. a $n\times n$ matrix with integer entries such that $A_{ii}=2$ and $A_{ij}\leq0$ for $i\neq j$. Then the corresponding Kac-Moody Lie algebra has a Cartan subalgebra $\...
- 1,077
1
vote
0
answers
136
views
From Cartan-Weyl matrix to structure constants
Assume that some Cartan-Weyl matrix $A_{ij}$ (of a Kac-Moody algebra, not necessarily a semisimple Lie algebra!) is given. Since it completely determines the algebra, it must completely determine the ...
- 4,829
5
votes
0
answers
127
views
Is there a derived version of affine Schur-Weyl duality?
One version of affine Schur-Weyl duality states that there is a fully faithful functor from representation of $A_r$ affine Hecke algebra to the representation of $A_n$ affine Lie group assuming $r<...
- 189
6
votes
1
answer
186
views
Action of $\widehat{\mathfrak{sl}_2}$ on symmetric functions with $\mathbb{Z}_{(2)}$ coefficients
It is known that there is a representation of the affine Lie algebra $\widehat{\mathfrak{sl}_q}$ (over $\mathbb{Z}$) on the algebra of symmetric functions, where the action of the Chevalley generators ...
- 3,446
5
votes
1
answer
792
views
Constructing a Kac-Moody group as a quotient of the free product of its root subgroups
The paper "Regular Functions on Certain Infinite-dimensional Groups" by Kac and Peterson describes the construction of a group associated to the datum of a Kac-Moody algebra in a way I haven'...
- 53
2
votes
1
answer
216
views
Relation between the modular categories SU(2)_n and Sp(n)_1
The online database [1] provides a list of some modular tensor categories classified by rank. Let us consider the two modular categories denoted kmA1_$\ell$ and kmC$\ell$_1 (i.e. Kac Moody $A_1$ level ...
14
votes
0
answers
298
views
Representation theory of Kac-Moody algebras in positive characteristic
I have been trying to learn about the representation theory of Kac-Moody algebras in positive characteristic. However, my usual reference for the subject (Infinite dimensional Lie algebras by Kac) ...
- 1,389
4
votes
0
answers
213
views
The Weyl group of Kac-Moody algebra and Coxeter group
Let $\mathfrak{g}$ be a Kac-Moody algebra, $W$ be its Weyl group, generate by fundmental reflections {$r_1,...,r_n$}. For $i,j$, we have relation $(r_ir_j)^{m_{ij}}=1$, $1\le i,j\le n$. Let $W^{'}$ be ...
- 653
0
votes
0
answers
72
views
Algebraic ode of exponential generating series
Let $G(z)$ be a rational function. So if we have a series
$$S(x):=\sum_{n}a_n x^n $$ where
$$ a_n = \prod_{i=1}^{n}G((i-1)h) $$
We can conclude that the series satisfies a Linear differential ...
- 685
5
votes
0
answers
128
views
Classification of connected finite affine type A crystals
In the survey https://www.aimath.org/WWN/kostka/crysdumb.pdf the following statement is stated as a Conjecture 4.5 (due to Kashiwara): "Every connected affine crystal graph is isomorphic to a ...
- 163
8
votes
0
answers
646
views
Which infinite-dimensional Lie algebras have realizations as algebras of global sections of vector bundles with special structure?
I would not be surprised by downvotes since this question is at the same time very naïve, very vague and might be asking about things well known for decades. Specifically vagueness comes from the word ...
- 18.4k
2
votes
1
answer
199
views
Action of the Casimir on highest weight modules for Kac-Moody algebra
Let $g$ be a Kac-Moody algebra with a symmetrizable Cartan matrix, and let $\{u_j\}$ and $\{u^j\}$ be bases of $g$ dual with respect to a nondegenerate invariant bilinear form $(\cdot|\cdot)$ on $g$, ...
- 41
6
votes
0
answers
188
views
Word/Loop in $L(\Lambda)$
Let $\mathfrak{g}$ be a symmetrizable Kac-Moody algebra, with Chevalley generators $e_i,f_i$ ($i=1,...,n$).
Let $L(\Lambda)$ denote the irreducible module with highest weight $\Lambda$. Let $v$ denote ...
- 820
3
votes
0
answers
79
views
Multiplicity relation between highest weight modules, Demazure modules, and crystals
Let $\mathfrak{g}$ be a symmetrizable Kac--Moody algebra, and let $\lambda$ be an associated dominant integral weight. Then two different objects we can relate to this data is $V(\lambda)$, the ...
- 550
1
vote
1
answer
68
views
How to verify that an element in the root lattice is an imaginary root of a non-hyperbolic root system?
In my research I encounter some elements in a root lattice and I would like to verify that these elements are imaginary roots. Consider the root system $J_{6, 11}$ with the following Dynkin diagram:
\...
- 6,201
4
votes
0
answers
188
views
Macdonald's notes on Kac Moody algebras
Macdonald had given some lectures on Kac-Moody algebras in 1983. The notes are typed here by Arun Ram. However, the website seems to be old and the notes are somewhat not readable because of the ...
- 820
7
votes
1
answer
295
views
Affine Kac-Moody algebra from quantum group exchange algebra
In `Hidden Quantum Groups Inside Kac-Moody Algebra', by Alekseev, Faddeev, and Semenov-Tian-Shansky, a relationship between quantum groups and affine Kac-Moody algebras is shown for the WZW model.
...
- 1,155
7
votes
0
answers
243
views
Demazure modules and dimension of weight spaces
Let $\mathfrak{g}$ be a symmetrizable Kac–Moody algebra, $w \in W$ an element of the Weyl group, and $\lambda$ an integral dominant weight with $V(\lambda)$ the associated irreducible highest weight ...
- 550
3
votes
1
answer
158
views
Twisted affine Lie algebras, Lie bracket and normalized standard invariant form
I am reading the book: Infinite-Dimensional Lie Algebras (Kac, third edition) and the article: Affine Lie algebras and the Virasoro algebras I (Wakimoto, link). The formulas they wrote for the Lie ...
- 320
13
votes
0
answers
195
views
Relationship between crystal root operators and usual $e_i, f_i$?
Suppose I am working in a symmetrizable Kac–Moody Lie algebra $\mathfrak{g}$. Let $e_1,\dotsc,e_n,f_1,\dotsc,f_n$ denote the usual Chevalley generators of $\mathfrak{g}$. Let $V$ be a highest weight ...
- 820
5
votes
1
answer
283
views
Finite order automorpisms of affine Kac-Moody Lie algebras
It is known that for a finite order automorphism $\phi$ of a complex semisimple Lie algebra $L$, the fixed point subalgebra $L^{\phi}$ is a reductive Lie algebra and the centralizer of a Cartan ...
- 59
0
votes
0
answers
114
views
What is the name of the following root system?
The Dynkin diagram of the root system of affine $D_4$ is
$$
\circ \quad \circ \quad \circ \quad \circ \\
\circ
$$
where all of the four vertices in the first row connects to the vertex in the second ...
- 6,201
9
votes
0
answers
474
views
What is wrong with $A^{(2)}_{2n}$?
When dealing with affine Kac-Moody groups, especially geometrically (e.g. by examining their affine flag varieties or affine Grassmannians) I've been taught that time and time again, issues arise in ...
- 841
3
votes
0
answers
91
views
Hopf algebras structure and quantum affine algebras
I'm looking for some information about the Hopf algebras structure and the quantum groups.
In particularly I was wondering if (and eventually where) is defined in the case of quantum affine algebras ...
- 31
6
votes
0
answers
97
views
Kac-Moody Lie algebra as derivations of associative algebras
The set of derivations of an algebra $\Bbb A$ forms a Lie algebra. This is one aspect of why Lie algebras are interesting. When $\Bbb A$ is polynomial algebra in $n$ variable then $\text{Der } \Bbb A$ ...
- 1,269
3
votes
1
answer
182
views
Complete reducibility of integrable modules over symmetrizable Kac-Moody Lie algebras
I am reading the book "Infinite-dimensional Lie algebras" by Victor G Kac. This is a long question regarding my understanding of the following theorem.
In Theorem 10.7 Kac proves the ...
- 1,269
3
votes
0
answers
83
views
Reference request: Category of finite dimensional representations of loop algebra is not semisimple
For $\mathfrak{g}$ a semisimple Lie algebra, we may define its (untwisted) loop algebra as $L(\mathfrak{g}) = \mathfrak{g} \otimes \mathbb{C}\lbrack t,t^{-1} \rbrack$. Let $\mathcal{F}$ be the ...
- 41
1
vote
0
answers
219
views
category O is semisimple
I have been reading the book "Automorphic forms and Lie superalgebras". In Section 2.6, Definition 2.6.15 we have the definition of Category O for BKM Lie superalgebras (I have also checked the book ...
- 1,269
3
votes
0
answers
88
views
Embedding of Verma modules in Kac-Moody Lie algebras
Let $\mathfrak{g}(A)$ be a symmetrizable Kac-Moody Lie algebra over $\mathbb{C}$ and ($\mathfrak{h}$, $\Pi, \Pi^\vee)$ be a realization of the GCM $A$. Assume that $$\mathfrak{g}(A)=\mathfrak{h} \...
- 31
2
votes
1
answer
173
views
2-quotient of integer partition
This question is mostly about understanding the notation used in the following article:
Alex Eskin, Andrei Okounkov, Pillowcases and quasimodular forms, in: Victor Ginzburg (ed.), Algebraic Geometry ...
- 685
5
votes
0
answers
224
views
Reference about the root systems $E_{n}$, $n \ge 10$
I am trying to understand the root systems $E_{n}$, $n \ge 10$. In particular, I would like to find some references which describe the number of real roots and imaginary roots of a given degree.
...
- 6,201
2
votes
0
answers
125
views
Imaginary roots in $\widetilde{E}_8$
Consider the root system of a Kac-Moody algebra. Denote by $\alpha_i$ the simple root associated with node $i$
by for $i \in \{1, \ldots, n-1\}$ and by $\beta$ the simple root associated with $n$.
...
- 6,201