We define the spherical Hecke algebra for an (untwisted) affine Kac-Moody group over a local non-archimedian field. We prove a generalization of the Satake isomorphism for these algebras, relating it to integrable representations of the Langlands dual affine Kac-Moody group. In the next publication we shall use these results to define and study the notion of Hecke eigenfunction for the group $G_{\aff}$
In this paper we give top most and least indices of non vanishing cohomology modules of line bundles in the Kac Moody setting in terms of Weyl group combinatorics. We also prove a surjection Theorem.
By a generalized Tannaka-Krein reconstruction we associate to the admissible representations of the category O of a Kac-Moody algebra, and its category of admissible duals a monoid with a coordinate ring. The Kac-Moody group is the Zariski open dense unit group of this monoid. The restriction of the coordinate ring to the Kac-Moody group is the algebra of strongly regular functions introduced by Kac and Peterson. This monoid has similar structural properties as a reductive algebraic monoid. In particular it is unit regular, its idempotents related to the faces of the Tits cone. It has Bruhat a…
In this paper, the singular Ringel-Hall algebra for a tame quiver is introduced and shown to be isomorphic to the positive part of the quantum extended Kac-Moody algebra. A PBW basis is constructed and a new class of perverse sheaves is shown to have purity property. This allows to construct the canonical bases of the positive part of the quantum extended Kac-Moody algebra. As an application, the existence of Hall polynomials for tame quiver algebras is proved.
We prove that the weight multiplicities of the integrable irreducible highest weight module over the Kac-Moody algebra associated to a quiver are equal to the root multiplicities of the Kac-Moody algebra associated to some enlarged quiver. To do this, we use the Kac conjecture for indivisible roots and a relation between the Poincare polynomials of quiver varieties and the Kac polynomials, counting the number of absolutely irreducible representations of the quiver over finite fields. As a corollary of this relation, we get an explicit formula for the Poincare polynomials of quiver varieties, w…
The aim of this paper is to study the space of stability conditions on the bounded derived category of nilpotent modules over the preprojective algebra associated with a quiver without loops. We describe this space as a covering space of some open set determined by the root system of the Kac-Moody Lie algebra associated with the quiver.
For a simple complex Lie group G the connected components of the moduli space of G-bundles over an elliptic curve are weighted projective spaces. In this note we will provide a new proof of this result using the invariant theory of Kac-Moody groups, in particular the action of the (twisted) Coxeter element on the root system of G.
The algebra of strongly regular functions F[G_m] on a symmetrizable minimal Kac-Moody group G_m over a field F of characteristic zero has been introduced by V. Kac and D. Peterson as a coordinate ring of the minimal Kac-Moody group. We determine its F-valued points. The product (G_f) x (G_f) of two formal Kac-Moody groups G_f acts on the F-valued points by morphisms. We describe the partition in (G_f) x (G_f)-orbits, and the closure relation of the orbits. We give stratified transversal slices to the orbits. We define and describe big cells of each orbit. We describe the partition in (B_f) x (…
We study the connection between the category of modules over the affine Kac-Moody Lie algebra at the critical level, and the category of D-modules on the affine flag scheme G((t))/I, where I is the Iwahori subgroup. We prove a localization-type result, which establishes an equivalence between certain subcategories on both sides. We also establish an equivalence between a certain subcategory of Kac-Moody modules, and the category of quasi-coherent sheaves on the scheme of Miura opers for the Langlands dual group, thereby proving a conjecture of [FG2].
We construct the entire generalized Kac-Moody Lie algebra as a quotient of the positive part of another generalized Kac-Moody Lie algebra. The positive part of a generalized Kac-Moody Lie algebra can be constructed from representations of quivers using Ringel's Hall algebra construction. Thus we give a direct realization of the entire generalized Kac-Moody Lie algebra.
We introduce Koszul modules associated with (graded) Kac-Moody Lie algebras. We provide a precise criterion for when these modules are of finite length. As an exemplary application we deduce a bound on the dimension of the second graded component for a certain class of graded Kac-Moody Lie algebras. We also provide an exact description of all nilpotent Kac-Moody Koszul modules.
This paper classifies irreducible, integrable highest weight modules for "current Kac-Moody Algebras" with finite dimensional weight spaces. We prove that these modules turn out to be modules of appropriate direct sums of finitely many copies of Kac-Moody Lie 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.
We consider a general parabolic category $\mathcal{O}_{S}$ over symmetrizable Kac-Moody algebras. We introduce a reduction rule of hom-spaces between parabolic Verma modules over different Kac-Moody algebras which yield some applications on parabolic Verma module homomorphisms.
In the context of affine complex Kac-Moody algebras, we define the meaning of nilpotent orbits under the adjoint action of the maximal Kac-Moody group. We also give a parameterization of nilpotent orbits of $\mathfrak{sl}_n^{(1)}(\mathbb C)$.
In 2014, Braverman, Kazhdan, Patnaik and Bardy-Panse, Gaussent and Rousseau associated Iwahori-Hecke algebras to Kac-Moody groups over non-Archimedean local fields. In a previous paper, we defined and studied their principal series representations. In 1982, Kato provided an irreducibility criterion for these representations, in the reductive case. We had obtained partially this criterion in the Kac-Moody case. In this paper, we prove this criterion in the Kac-Moody case.
In this paper we have computed all the affine Kac-Moody symmetric spaces which are tame Frechet manifolds starting from the Vogan diagrams related to the affine untwisted Kac-Moody algebras. The detail computation of affine Kac-Moody symmetric spaces associated with A_1^(1) and A_2^(1) are shown algebraically to corroborate our method.
We construct a 2-category associated with a Kac-Moody algebra and we study its 2-representations. This generalizes earlier work with Chuang for type A. We relate categorifications relying on K_0 properties and 2-representations.
We consider epimorphisms from quantum minimal surface algebras onto involutroy subalgebras of split real simply-laced Kac-Moody algebras and provide examples of affine and finite type. We also provide epimorphisms onto such Kac-Moody algebras themselves, where reality of the construction is important. The results extend to the complex situation.
Generalizing the super duality formalism for finite-dimensional Lie superalgebras of type $ABCD$, we establish an equivalence between parabolic BGG categories of a Kac-Moody Lie superalgebra and a Kac-Moody Lie algebra. The characters for a large family of irreducible highest weight modules over a symmetrizable Kac-Moody Lie superalgebra are then given in terms of Kazhdan-Lusztig polynomials for the first time. We formulate a notion of integrable modules over a symmetrizable Kac-Moody Lie superalgebra via super duality, and show that these integrable modules form a semisimple tensor subcategor…
We define regular Kac-Moody superalgebras and classify them using integrable modules. We give conditions for irreducible highest weight modules of regular Kac-Moody superalgebras to be integrable. This paper is a major part of the proof for the classification of finite-growth contragredient Lie superalgebras.
Recently, Iwahori-Hecke algebras were associated to Kac-Moody groups over non-Archimedean local fields. We introduce principal series representations for these algebras. We study these representations and partially generalize Kato and Matsumoto irreducibility criteria.
We interpret and develop a theory of loop algebras as torsors (principal homogeneous spaces) over Laurent polynomial rings . As an application, we recover Kac's realization of affine Kac-Moody Lie algebras.
Let $\g$ be an arbitrary Kac-Moody algebra with a Cartan sualgebra $\h$. In this paper, we determine the category of $\g$-modules that are free $U(\h)$-modules of rank 1.
We look to gradations of Kac-Moody Lie algebras by Kac-Moody root systems with finite dimensional weight spaces. We extend, to general Kac-Moody Lie algebras, the notion of C-admissible pair as introduced by H. Rubenthaler and J. Nervi for semi-simple and affine Lie algebras. If g is a Kac-Moody Lie algebra (with Dynkin diagram indexed by I) and (I,J) is such a C-admissible pair, we construct a C-admissible subalgebra g^J, which is a Kac-Moody Lie algebra of the same type as g, and whose root system Σgrades finitely the Lie algebra g. For an admissible quotient ρ: I \rightarrow I we build also…
We study representations of the Loop Kac-Moody Lie algebra g \otimes A, where g is any Kac-Moody algebra and A is a ring of Laurent polynomials in n commuting variables. In particular, we study representations with finite dimensional weight spaces and their graded versions. When we specialize g to be a finite dimensional or affine Lie algebra we obtain modules for toroidal Lie algebras.
It is shown that any generalized Kac-Moody Lie algebra g that has no mutually orthogonal imaginary simple roots can be written as the vector space direct sum of a Kac-Moody subalgebra and subalgebras isomorphic to free Lie algebras over certain modules for the Kac-Moody subalgebra. Also included is a detailed discussion of Borcherds' construction of the Monster Lie algebra from a vertex algebra and an elementary proof of Borcherds' theorem relating Lie algebras with `an almost positive definite bilinear form' to generalized Kac-Moody algebras. (Preprint version 1996)
The Kac-Moody correction factor, first studied by Macdonald in the affine case, corrects the failure of an identity found by Macdonald in finite-dimensional root systems in 1972. Subsequntly this factor appeared in several formulas in the affine or Kac-Moody analogue of $p$-adic spherical theory for reductive groups. In this article we view the inverse of this correction factor as a function, prove the convergency and holomorphy of this function on a certain domain.
Let $U_q(\g)$ be a quantum generalized Kac-Moody algebra and let $V(Λ)$ be the integrable highest weight $U_q(\g)$-module with highest weight $Λ$. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra $R^Λ$ provides a categorification of $V(Λ)$.
There exist principal $\mathfrak{sl}_2$ subalgebras for hyperbolic Kac-Moody Lie algebras. In the case of rank 2 symmetric hyperbolic Kac-Moody Lie algebras, certain $\mathfrak{sl}_2$ subalgebras are constructed. These subalgebras are generalizations of principal $\mathfrak{sl}_2$ subalgebras. We show that the rank 2 symmetric hyperbolic Kac-Moody Lie algebras themselves are irreducibly decomposed under the action of this $\mathfrak{sl}_2$ subalgebras. Furthermore, we classify irreducible components of the decomposition. In particular, we obtain multiplicities of unitary principal series and c…
We introduce a generalization of the classical Hall-Littlewood and Kostka-Foulkes polynomials to all symmetrizable Kac-Moody algebras. We prove that these Kostka-Foulkes polynomials coincide with the natural generalization of Lusztig's $t$-analog of weight multiplicities, thereby extending a theorem of Kato. For $g$ an affine Kac-Moody algebra, we define $t$-analogs of string functions and use Cherednik's constant term identities to derive explicit product expressions for them.
We give a proof of the parabolic/singular Koszul duality for the category O of affine Kac-Moody algebras. The main new tool is a relation between moment graphs and finite codimensional affine Schubert varieties. We apply this duality to q-Schur algebras and to cyclotomic rational double affine Hecke algebras.
The restricted category O at the critical level over an affine Kac-Moody algebra is a certain subcategory of the ordinary BGG-category O. We study a deformed version introduced by Arakawa and Fiebig and calculate the center of the deformed restricted category O.
A correction factor naturally arises in the theory of p-adic Kac--Moody groups. In this paper, we expand the correction factor into a sum of irreducible characters of the underlying Kac--Moody algebra. We derive a formula for the coefficients, which lie in the ring of power series with integral coefficients. In the case that the Weyl group is a universal Coxeter group, we show that the coefficients are actually polynomials.
We determine the Lie subalgebra $\mathfrak{g}_{nil}$ of a Borcherds symmetrizable generalized Kac-Moody Lie algebra $\mathfrak{g}$ generated by $ad$-locally nilpotent elements and show that it is `essentially' the same as the Levi subalgebra of $\mathfrak{g}$ with its simple roots precisely the real simple roots of $\mathfrak{g}$.
In this paper, we give polyhedral realization of the crystal $B(\infty)$ of $U_q^-(\mathfrak g)$ for the generalized Kac-Moody algebras. As applications, we give explicit descriptions of crystals for the generalized Kac-Moody algebras of rank 2, 3 and {\it Monster Lie algebras}.
Riemannian symmetric spaces are fundamental objects in finite dimensional differential geometry. An important problem is the construction of symmetric spaces for generalizations of simple Lie groups, especially their closest infinite dimensional analogues known as Kac-Moody groups. We solve this problem and construct affine Kac-Moody symmetric spaces in a series of several papers. This paper focuses on the algebraic side: More precisely, we introduce OSAKAs, the algebraic structures used to describe the connection between affine Kac-Moody symmetric spaces and affine Kac-Moody algebras and desc…
Generalized root systems (GRS), that were introduced by V. Serganova, are a generalization of finite root systems (RS). We define a generalization of affine root systems (ARS), which we call $\textit{affine generalized root systems}$ (AGRS). The set of real roots of almost every symmetrizable affine indecomposable Kac-Moody superalgebra is an irreducible AGRS. In this paper we classify all AGRSs and show that almost every irreducible AGRS is the set of real roots of a symmetrizable affine indecomposable Kac-Moody superalgebra.
In this paper we prove the Kazhdan-Lusztig type character formula for irreducible highest weight modules with positive rational highest weights over symmetrizable Kac-Moody Lie algebras.
We study Lusztig's t-analog of weight multiplicities associated to level one representations of twisted affine Kac-Moody algebras. An explicit closed form expression is obtained for the corresponding t-string function using constant term identities of Macdonald and Cherednik. The closed form involves the generalized exponents of the graded pieces of the twisted affine algebra, considered as modules for the underlying finite dimensional simple Lie algebra. This extends previous work on level 1 t-string functions for the untwisted simply-laced affine Kac-Moody algebras.
In this paper we discuss the isomorphism types of parabolic subgroups in Kac-Moody groups. The results have applications in the study of topology of Kac-Moody groups and their classifying spaces.
We prove sign-alternation of the structure constants in the basis of structure sheaves of opposite Schubert varieties in the torus-equivariant Grothendieck group of coherent sheaves on the flag varieties $G/P$ associated to an arbitrary symmetrizable Kac-Moody group $G$, where $P$ is any parabolic subgroup. This generalizes the work of Anderson-Griffeth-Miller from the finite case to the general Kac-Moody case, and affirmatively answers a conjecture of Lam-Schilling-Shimozono regarding the signs of the structure constants in the case of the affine Grassmannian.
For a finite-dimensional semisimple Lie algebra $\mathfrak{g}$, the Jacobson--Morozov theorem gives a construction of subalgebras $\mathfrak{sl}_2 \subset \mathfrak{g}$ corresponding to nilpotent elements of $\mathfrak{g}$. In this note, we propose an extension of the Jacobson--Morozov theorem to the symmetrizable Kac--Moody setting and give a proof of this generalization in the case of rank two hyperbolic Kac--Moody algebras. We also give a proof for an arbitrary symmetrizable Kac--Moody algebra under some stronger restrictions.
Recently, Iwahori-Hecke algebras were associated to Kac-Moody groups over non-Archimedean local fields. In a previous paper, we introduced principal series representations for these algebras and partially generalized Kato's irreducibility criterion. In this paper, we study how some of these representations decompose when they are reducible and deduce information on the irreducible representations of these algebras.
Weyl modules were originally defined for affine Lie algebras by Chari and Pressley in \cite{CP}. In this paper we extend the notion of Weyl modules for a Lie algebra $\mathfrak{g} \otimes A$, where $\mathfrak{g}$ is any Kac-Moody algebra and A is any finitely generated commutative associative algebra with unit over $\mathbb{C}$, and prove a tensor product decomposition theorem generalizing \cite{CP}.
Given an affine Kac-Moody algebra, we explain how to construct a coproduct for its associated Yangian. In order to prove that this coproduct is an algebra homomorphism, we obtain, in the first half of this paper, a minimalistic presentation of the Yangian when the Kac-Moody algebra is, more generally, symmetrizable.
We introduce generalizations of Kac-Moody 2-categories in which the quiver Hecke algebras of Khovanov, Lauda and Rouquier are replaced by the quiver Hecke superalgebras of Kang, Kashiwara and Tsuchioka.
We provide a geometric realization of the crystal $B(\infty)$ for quantum generalized Kac-Moody algebras in terms of the irreducible components of certain Lagrangian subvarieties in the representation spaces of a quiver.
