We generalise the concept of a Steinberg cross-section to non-connected Kac-Moody group. As in the connected case, which was treated by G. Brüchert, a quotient map w.r.t the conjugacy action exists only on a certain submonoid of the Kac-Moody group. Non-connected Kac-Moody groups appear naturally as semidirect product of \C^* with a central extension of loop groups LG, where the underlying simple group G is no longer simply connected and might even be non-connected. In contrast to the connected case, the understanding of central extensions of non-connected loop groups is a rather complicated issue. Following the approach of V. Toledano Laredo, who dealt with the case of automorphisms coming from the fundamental group pi_1(G), we classify all of these central extensions for cyclic component group of LG. Then, we define the quotient map w.r.t conjugacy action. Furthermore, we construct the cross-section in every connected component of LG and show that, due the one-dimensional centre, it carries a natural \C^*-action which does not exist in the finite dimensional case.
For the affine and hyperbolic root system the symmetric part of the centralizers of root subgroups in the corresponding Steinberg groups are calculated. In the affine case the corresponding root subsystems can be computed in term of the centralizers in the spherical root systems, while in the hyperbolic case there emerges a "zoo" of examples, many of them non-hyperbolic. This also delivers many examples of naturally occuring root subsystems of infinite rank.
Tits has defined Kac-Moody and Steinberg groups over commutative rings, providing infinite dimensional analogues of the Chevalley-Demazure group schemes. Here we establish simple explicit presentations for all Steinberg and Kac-Moody groups whose Dynkin diagrams are hyperbolic and simply laced. Our presentations are analogues of the Curtis-Tits presentation of the finite groups of Lie type. When the ground ring is finitely generated, we derive the finite presentability of the Steinberg group, and similarly for the Kac-Moody group when the ground ring is a Dedekind domain of arithmetic type. Th…
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 described in [M1] a monoid acting on the integrable highest weight modules of a symmetrizable Kac-Moody algebra. It has similar structural properties as a reductive algebraic monoid with unit group a Kac-Moody group. Now we find natural extensions of the action of the Kac-Moody group on its building to actions of this monoid. These extensions are partly motivated by representation theory and the combinatorics of the faces of the Tits cone.
Tits has defined Steinberg groups and Kac-Moody groups for any root system and any commutative ring R. We establish a Curtis-Tits-style presentation for the Steinberg group St of any rank > 2 irreducible affine root system, for any R. Namely, St is the direct limit of the Steinberg groups coming from the 1- and 2-node subdiagrams of the Dynkin diagram. This leads to a completely explicit presentation. Using this we show that St is finitely presented if the rank is > 3 and R is finitely generated as a ring, or if the rank is 3 and R is finitely generated as a module over a subring generated by …
We investigate smooth representations of complete Kac-Moody groups. We approach representation theory via geometry, in particular, the group action on the Davis realisation of its Bruhat-Tits building. Our results include an estimate on projective dimension, localisation theorem, unimodularity and homological duality.
The face monoid described in [M1] acts on the integrable highest weight modules of a symmetrizable Kac-Moody algebra. It has similar structural properties as a reductive algebraic monoid whose unit group is a Kac-Moody group. We found in [M5] two natural extensions of the action of the Kac-Moody group on its building to actions of the face monoid on the building. Now we give an algebraic geometric model of one of these actions of the face monoid. The building is obtained as a part of the spectrum of homogeneous prime ideals of the Cartan algebra of the Kac-Moody group. We describe the full spe…
For any root system and any commutative ring we give a relatively simple presentation of a group related to its Steinberg group St. This includes the case of infinite root systems used in Kac-Moody theory, for which the Steinberg group was defined by Tits and Morita-Rehmann. In most cases our group equals St, giving a presentation with many advantages over the usual presentation of St. This equality holds for all spherical root systems, all irreducible affine root systems of rank>2, and all 3-spherical root systems. When the coefficient ring satisfies a minor condition, the last condition can …
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 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.
In this paper we construct a new "pro-p-complete" topological Kac-Moody group and compare it to various known topological Kac-Moody groups. We come across this group by investigating the process of completion of groups with BN-pairs. We would like to know whether the completion of such a group admits a BN-pair. We give explicit criteria for this to happen.
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.
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…
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 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.
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)
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}$.
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 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…
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 prove the Kazhdan-Lusztig type character formula for irreducible highest weight modules with positive rational highest weights over symmetrizable Kac-Moody Lie 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}.
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 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.
