By a local geometric Langlands correspondence for a complex reductive group G we understand a construction which assigns to a local system on the punctured disc for the Langlands dual group of G, a category equipped with an action of the formal loop group G((t)). We propose a conjectural description of these categories as categories of representations of the corresponding affine Kac-Moody algebra of critical level, and, in some cases, as categories of D-modules on the ind-schemes G((t))/K. We describe in detail these categories and interrelations between them and provide supporting evidence for our conjectures. In particular, we prove that a certain quotient category of representations of critical level is equivalent to the category of quasicoherent sheaves on a thickening of the scheme of nilpotent opers associated to the Langlands dual group.
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}.
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.
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.
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.
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…
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.
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}$
Using vertex operators, we build representations of the Yangian of a simply laced Kac-Moody algebra and of its double. As a corollary, we prove the PBW property for simply laced affine Yangians.
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.
In this paper, we introduce the notion of abstract crystals for quantum generalized Kac-Moody algebras and study their fundamental properties. We then prove the crystal embedding theorem and give a characterization of the crystals $B(\infty)$ and $B(\la)$.
For a dominant integral weight $lambda $, we introduce a family of $U_q ^+ (mathfrak{g})$-submodules $V_w (lambda)$ of the irreducible highest weight $U_q (mathfrak{g})$-module $V(lambda)$ of highest weight $lambda $ for a generalized Kac--Moody algebra $mathfrak{g}$. We prove that the module $V_w (lambda)$ is spanned by its global basis, and then give a character formula for $V_w (lambda)$, which generalizes the Demazure character formula for ordinary Kac--Moody algebras.
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.
Continuum Kac-Moody algebras have been recently introduced by the authors and O. Schiffmann. These are Lie algebras governed by a continuum root system, which can be realized as uncountable colimits of Borcherds-Kac-Moody algebras. In this paper, we prove that any continuum Kac-Moody algebra is canonically endowed with a non-degenerate invariant bilinear form. The positive and negative Borel subalgebras form a Manin triple with respect to this pairing, inducing on the continuum Kac-Moody algebra a topological quasi-triangular Lie bialgebra structure. We then construct an explicit quantization,…
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.
We present an explicit character formula for the irreducible highest weight representations of the non-twisted affine Kac-Moody Lie algebra at the critical level which are integrable over the corresponding finite-dimensional simple Lie algebra.
Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank $2$. We give a polyhedral realization of the crystal basis for the extremal weight module of extremal weight $λ$, where $λ$ is an integral weight whose Weyl group orbit has neither a dominant integral weight nor an antidominant integral weight.
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.
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…
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 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.
We introduce a non-degenerate bilinear form and use it to provide a new characterization of quantum Kac-Moody superalgebras with no isotropic odd simple roots. We show that the spin quiver Hecke algebras introduced by Kang-Kashiwara-Tsuchioka provide a categorification of half the quantum Kac-Moody superalgebras, using the recent work of Ellis-Khovanov-Lauda. A new idea here is that a super sign is categorified as spin (i.e., the parity-shift functor).
In this paper, we discuss the Poincaré series of Kac-Moody Lie algebras, especially for indefinite type. Firstly, we compute the Poincaré series of certain indefinite Kac-Moody Lie algebras whose Cartan matrices have the same type of $2\times 2$ principal sub-matrices. Secondly, we show that the Poincaré series of Kac-Moody Lie algebras satisfy certain interesting properties. Lastly we give some applications of the Poincaré series to other fields. Particularly we construct some counter examples to a conjecture of Victor Kac\cite{Kac_85} and a conjecture of Chapavalov, Leites and Stekolshchik\c…
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 consider the subalgebras of split real, non-twisted affine Kac-Moody Lie algebras that are fixed by the Chevalley involution. These infinite-dimensional Lie algebras are not of Kac-Moody type and admit finite-dimensional unfaithful representations. We exhibit a formulation of these algebras in terms of $\mathbb{N}$-graded Lie algebras that allows the construction of a large class of representations using the techniques of induced representations. We study how these representations relate to previously established spinor representations as they arise in the theory of supergravity.
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 Joseph-Lamprou's path model for representations of generalized Kac-Moody algebras can be embedded into Littelmann's path model for certain Kac-Moody algebras. Using this embedding, for Joseph-Lamprou's path crystals, we give a decomposition rule for tensor product and a branching rule for restriction to Levi subalgebras. Also, we obtain a characterization of standard paths in terms of a certain monoid, which can be thought of as a generalization of a Coxeter group.
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.
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 Eisenstein series on rank 2 hyperbolic Kac--Moody groups over R, induced from quasi--characters. We prove convergence of the constant term and hence the almost everywhere convergence of the Eisenstein series. We define and calculate the degenerate Fourier coefficients. We also consider Eisenstein series induced from cusp forms and show that these are entire functions.
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 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.
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.
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…
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 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)
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.
In this paper, we prove that the ring of polynomial invariants of the Weyl group for an indecomposable and indefinite Kac-Moody Lie algebra is generated by invariant symmetric bilinear form or is trivial depending on $A$ is symmetrizable or not. The result was conjectured by Moody and assumed by Kac. As applications we discuss the rational homotopy types of Kac-Moody groups and their flag manifolds.
