Questions tagged [kac-moody-algebras]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
5 votes
2 answers
188 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 ...
Estwald's user avatar
  • 1,187
2 votes
1 answer
242 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 $\...
fusheng's user avatar
  • 65
4 votes
1 answer
402 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-...
Joe's user avatar
  • 535
1 vote
0 answers
94 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 ...
zooby's user avatar
  • 255
5 votes
0 answers
123 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 ...
Estwald's user avatar
  • 1,187
1 vote
0 answers
80 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 ...
Antoine Labelle's user avatar
0 votes
0 answers
43 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 \...
ksnad's user avatar
  • 1
2 votes
1 answer
137 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. ...
Estwald's user avatar
  • 1,187
2 votes
0 answers
66 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 ...
freeRmodule's user avatar
  • 1,025
9 votes
2 answers
493 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 ...
Estwald's user avatar
  • 1,187
2 votes
1 answer
89 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 $\...
freeRmodule's user avatar
  • 1,025
1 vote
0 answers
114 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 ...
Hauke Reddmann's user avatar
5 votes
0 answers
110 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<...
Xu Kai's user avatar
  • 189
6 votes
1 answer
177 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 ...
Antoine Labelle's user avatar
5 votes
1 answer
776 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'...
fklein's user avatar
  • 53
2 votes
1 answer
184 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 ...
Sebastien Palcoux's user avatar
13 votes
0 answers
269 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) ...
Arthur's user avatar
  • 1,379
4 votes
0 answers
180 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 ...
fool rabbit's user avatar
0 votes
0 answers
71 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 ...
GGT's user avatar
  • 685
5 votes
0 answers
120 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 ...
Asav's user avatar
  • 153
8 votes
0 answers
643 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 ...
მამუკა ჯიბლაძე's user avatar
2 votes
1 answer
176 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$, ...
tudong's user avatar
  • 41
6 votes
0 answers
185 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 ...
ArB's user avatar
  • 688
3 votes
0 answers
73 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 ...
SamJeralds's user avatar
1 vote
1 answer
61 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: \...
Jianrong Li's user avatar
  • 6,101
4 votes
0 answers
174 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 ...
ArB's user avatar
  • 688
7 votes
1 answer
279 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. ...
Mtheorist's user avatar
  • 1,135
7 votes
0 answers
212 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 ...
SamJeralds's user avatar
3 votes
1 answer
149 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 ...
Mihawk's user avatar
  • 320
13 votes
0 answers
187 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 ...
ArB's user avatar
  • 688
5 votes
1 answer
255 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 ...
jack lingre's user avatar
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 ...
Jianrong Li's user avatar
  • 6,101
9 votes
0 answers
461 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 ...
Marc Besson's user avatar
3 votes
0 answers
89 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 ...
Mar Pao's user avatar
  • 31
6 votes
0 answers
93 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$ ...
GA316's user avatar
  • 1,219
3 votes
1 answer
169 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 ...
GA316's user avatar
  • 1,219
3 votes
0 answers
80 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 ...
Joe Wolf's user avatar
1 vote
0 answers
210 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 ...
GA316's user avatar
  • 1,219
3 votes
0 answers
86 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} \...
leo127's user avatar
  • 31
2 votes
1 answer
159 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 ...
GGT's user avatar
  • 685
5 votes
0 answers
209 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. ...
Jianrong Li's user avatar
  • 6,101
2 votes
0 answers
113 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$. ...
Jianrong Li's user avatar
  • 6,101
1 vote
0 answers
131 views

Submodules of $V\otimes V^*$

Let $\mathfrak{g}$ be a simple finite-dimensional Lie algebra over $\mathbb{C}$ and let $U_q(\hat{\mathfrak{g}})$ be the corresponding quantum affine algebra (here $q$ is not a root of unity). We know ...
cl4y70n____'s user avatar
1 vote
0 answers
113 views

Equivalence of categories between the loop algebra of $sl_{n+1}$ and the affine Weyl group of $GL_\ell(C)$

In this paper here, Theorem 4.9 page 18, Charri and Pressley are claiming that there exists an equivalence of Categories between certain categories of the Lie algebra $\tilde{ \mathfrak g}=\mathfrak{...
user2345678's user avatar
0 votes
0 answers
96 views

Different views on Highest weight irreducible modules of the Virasoro algebra

Every highest weight irreducible representation of the Virasoro algebra can be labelled uniquely by a pair $(c,h)$ of complex numbers [1]. This module can be written as quotient of the unique (up to ...
soap's user avatar
  • 359
7 votes
0 answers
754 views

Serre presentations over $\mathbb{Z}$

Given a Cartan matrix $A=(a_{ij})_{i,j\in I}$, a classical result of J.-P. Serre asserts that the complex semisimple Lie algebra $\mathfrak g=\mathfrak g(A)$ corresponding to $A$ admits a presentation ...
Timothée Marquis's user avatar
7 votes
1 answer
1k views

The use of Schur's lemma for Lie algebras in physics (CFT)

Anytime a one-dimensional central extension appears in the physics literature, immediately they assume that in any irreducible representation the central charge will be a multiple of the identity, ...
soap's user avatar
  • 359
11 votes
1 answer
785 views

Physicists misuse the term "Kac Moody algebra". Does that bring problems?

In physics textbooks one frequently sees the name (affine) Kac Moody algebra used to describe the universal (one dimensional) central extension of the loop algebra of a semisimple algebra. But this is ...
soap's user avatar
  • 359
5 votes
1 answer
186 views

Number of real roots in type $\tilde{E}_8$

Let $\Phi_+$ be the set of all positive roots for 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 ...
Jianrong Li's user avatar
  • 6,101
3 votes
1 answer
109 views

Does the Weyl group preserve coprimality in Kac-Moody algebras?

Let $\mathfrak g$ be a Kac-Moody algebra (symmetric, or hyperbolic, or whatever other assumptions you need) with simple roots $\alpha_i$. For $\alpha$ a root, write $\alpha$ in the basis of simple ...
Aidan Backus's user avatar