A Brylinski filtration for affine Kac–Moody algebras

Braverman and Finkelberg have recently proposed a conjectural analogue of the geometric Satake isomorphism for untwisted affine Kac–Moody groups. As part of their model, they conjecture that (at dominant weights) Lusztig's q-analog of weight multiplicity is equal to the Poincare series of the principal nilpotent filtration of the weight space, as occurs in the finite-dimensional case. We show that the conjectured equality holds for all affine Kac–Moody algebras if the principal nilpotent filtration is replaced by the principal Heisenberg filtration. The main body of the proof is a Lie algebra cohomology vanishing result. We also give an example to show that the Poincare series of the principal nilpotent filtration is not always equal to the q-analog of weight multiplicity. Finally, we give some partial results for indefinite Kac–Moody algebras.     

Lattice of dominant weights of affine Kac–Moody algebras

Journal of Algebraic Combinatorics - The dual space of the Cartan subalgebra in a Kac–Moody algebra has a partial ordering defined by the rule that two elements are related if and only if...     

Quantizations of Kac–Moody algebras

We analyze the extent to which a quantum universal enveloping algebra of a Kac–Moody algebra g$\mathfrak{g}$ is defined by multidegrees of its defining relations. To this end, we consider a class of character Hopf algebras defined by the same number of defining relations of the same degrees as the Kac–Moody algebra g$\mathfrak{g}$. We demonstrate that if the generalized Cartan matrix A$A$ of g$\mathfrak{g}$ is connected then the algebraic structure, up to a finite number of exceptional cases, is defined by just one “continuous” parameter q$q$ related to a symmetrization of A$A$, and one “discrete” parameter m$\mathfrak{m}$ related to the modular symmetrizations of A$A$. The Hopf algebra structure is defined by n(n−1)/2$n(n-1)/2$ additional “continuous” parameters. We also consider the exceptional cases for Cartan matrices of finite or affine types in more detail, establishing the number of exceptional parameter values in terms of the Fibonacci sequence.     

Commutative post-Lie algebra structures on Kac–Moody algebras

We determine commutative post-Lie algebra structures on some infinite-dimensional Lie algebras. We show that all commutative post-Lie algebra structures on loop algebras are trivial. This extends the results for finite-dimensional perfect Lie algebras. Furthermore, we show that all commutative post-Lie algebra structures on affine Kac–Moody Lie algebras are “almost trivial”.     

Supercategorification of quantum Kac–Moody algebras

We show that the quiver Hecke superalgebras and their cyclotomic quotients provide a supercategorification of quantum Kac–Moody algebras and their integrable highest weight modules.     

The t-analog of the level one string function for twisted affine Kac–Moody algebras

We study Lusztig?s t-analog of weight multiplicities, or affine Kostka–Foulkes polynomials, associated to level one representations of twisted affine Kac–Moody algebras. We obtain an explicit closed form expression for the unique t-string function, using constant term identities of Macdonald and Cherednik. This extends previous work on t-string functions for the untwisted simply-laced affine Kac–Moody algebras.     

Character formula of Kac–Wakimoto type for generalized Kac–Moody algebras

We prove a character formula of Kac–Wakimoto type for generalized Kac–Moody algebras. A character formula of this type is a generalization of the Weyl–Kac character formula, and is proved by Kac–Wakimoto in the case of Kac–Moody algebras. We remark that the formula is a generalization of that of Kac–Wakimoto even in the case of Kac–Moody algebras of indefinite type.     

Geometrical correspondence of the Miura transformation induced from affine Kac–Moody algebras

The Miura transformation plays a crucial role in the study of integrable systems. There have been various extensions of the Miura transformation, which have been used to relate different kinds of integrable equations and to classify the bi-Hamiltonian structures. In this paper, we are mainly concerned with the geometric aspects of the Miura transformation. The generalized Miura transformations from the mKdV-type hierarchies to the KdV-type hierarchies are constructed under both algebraic and geometric settings. It is shown that the Miura transformations not only relate integrable curve flows in different geometries but also induce the transition between different moving frames. Moreover, the Miura transformation gives the factorization of generating operators of constraint Gelfand–Dickey hierarchy. Other geometric formulations are also investigated.     

Hyperbolic subalgebras of hyperbolic Kac–Moody algebras

We investigate regular hyperbolic subalgebras of hyperbolic Kac–Moody algebras via their Weyl groups. We classify all subgroup relations between Weyl groups of hyperbolic Kac–Moody algebras, and show that for every pair of a group and subgroup there exists at least one corresponding pair of algebra and subalgebra. We find all types of regular hyperbolic subalgebras for a given hyperbolic Kac–Moody algebra, and present a finite algorithm classifying all embeddings.     

A study of saturated tensor cone for symmetrizable Kac–Moody algebras

Let \(\mathfrak {g}\) be a symmetrizable Kac-Moody Lie algebra with the standard Cartan subalgebra \(\mathfrak {h}\) and the Weyl group \(W\) . Let \(P_+\) be the set of dominant integral weights. For \(\lambda \in P_+\) , let \(L(\lambda )\) be the integrable, highest weight (irreducible) representation of \(\mathfrak {g}\) with highest weight \(\lambda \) . For a positive integer \(s\) , define the saturated tensor semigroup as $$\begin{aligned} \Gamma _s:= \{(\lambda _1, \dots , \lambda _s,\mu )\in P_+^{s+1}: \exists \, N\ge 1 \,\text {with}\,L(N\mu )\subset L(N\lambda _1)\otimes \dots \otimes L(N\lambda _s)\}. \end{aligned}$$ The aim of this paper is to begin a systematic study of \(\Gamma _s\) in the infinite dimensional symmetrizable Kac-Moody case. In this paper, we produce a set of necessary inequalities satisfied by \(\Gamma _s\) . These inequalities are indexed by products in \(H^*(G^{\mathrm{min }}/B; \mathbb {Z})\) for \(B\) the standard Borel subgroup, where \(G^{\mathrm{min }}\) is the ‘minimal’ Kac-Moody group with Lie algebra \(\mathfrak {g}\) . The proof relies on the Kac-Moody analogue of the Borel-Weil theorem and Geometric Invariant Theory (specifically the Hilbert-Mumford index). In the case that \(\mathfrak {g}\) is affine of rank 2, we show that these inequalities are necessary and sufficient. We further prove that any integer \(d>0\) is a saturation factor for \(A^{(1)}_1\) and 4 is a saturation factor for \(A^{(2)}_2\) .     

Centers for the restricted category \mathcal {O} at the critical level over affine Kac–Moody algebras

The restricted category $\mathcal {O}$ at the critical level over an affine Kac–Moody algebra is a certain subcategory of the ordinary BGG-category $\mathcal {O}$ . We study a deformed version introduced by Arakawa and Fiebig and calculate the center of the deformed restricted category $\mathcal {O}$ . This complements a result of Fiebig which describes the center of the non-restricted category $\mathcal {O}$ outside the critical hyperplanes over a symmetrizable Kac–Moody algebra.     

Geometric construction of highest weight crystals for quantum generalized Kac–Moody algebras

We present a geometric construction of highest weight crystals B(λ) for quantum generalized Kac–Moody algebras. It is given in terms of the irreducible components of certain Lagrangian subvarieties of Nakajima’s quiver varieties associated to quivers with edge loops.     

Discrete approximations for complex Kac–Moody groups

We construct a map from the classifying space of a discrete Kac–Moody group over the algebraic closure of the field with p elements to the classifying space of a complex topological Kac–Moody group and prove that it is a homology equivalence at primes q different from p. This generalizes a classical result of Quillen, Friedlander and Mislin for Lie groups. As an application, we construct unstable Adams operations for general Kac–Moody groups compatible with the Frobenius homomorphism. Our results rely on new integral homology decompositions for certain infinite dimensional unipotent subgroups of discrete Kac–Moody groups.