# Questions tagged [kac-moody-algebras]

The tag has no usage guidance.

87 questions
Filter by
Sorted by
Tagged with
34 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'...
108 views

### Relation between the modular categories SU(2)_n and Sp(n)_1

The online database  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 ...
230 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) ...
113 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 ...
66 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 ...
106 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 ...
632 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 ...
128 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$, ...
174 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 ...
57 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 ...
1 vote
50 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: \...
136 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 ...
229 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. ...
132 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 ...
124 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 ...
167 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 ...
221 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 ...
109 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 ...
423 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 ...
82 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 ...
81 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$ ...
143 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 ...
60 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 ...
1 vote
186 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 ...
65 views