We classify and explicitly construct the irreducible graded representations of anti-spherical Hecke categories which are concentrated in one degree. Each of these homogeneous representations is one-dimensional and can be cohomologically constructed via a BGG resolution involving every (infinite dimensional) standard representation of the category. We hence determine the complete first row of the inverse parabolic $p$-Kazhdan--Lusztig matrix for an arbitrary Coxeter group and an arbitrary parabolic subgroup. This generalises the Weyl--Kac character formula to all Coxeter systems (and their parabolics) and proves that this generalised formula is rigid with respect to base change to an arbitrary field.
We provide the first formulae for the weights of all simple highest weight modules over Kac-Moody algebras. For generic highest weights, we present a formula for the weights of simple modules similar to the Weyl-Kac character formula. For the remaining highest weights, the formula fails in a striking way, suggesting the existence of 'multiplicity-free' Macdonald identities for affine root systems.
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}.
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.
Weyl group multiple Dirichlet series, introduced by Brubaker, Bump, Chinta, Friedberg and Hoffstein, are expected to be Whittaker coefficients of Eisenstein series on metaplectic groups. Chinta and Gunnells constructed these multiple Dirichlet series for all the finite root systems using the method of averaging a Weyl group action on the field of rational functions. In this paper, we generalize Chinta and Gunnells' work and construct Weyl group multiple Dirichlet series for the root systems associated with symmetrizable Kac-Moody algebras, and establish their functional equations and meromorph…
We present an independent short proof of the main result of arXiv:0706.3725 that the algebra of endomorphisms of a Weyl module of critical level is isomorphic to the algebra of functions on the space of monodromy-free opers on the disc with regular singularity and residue determined by the highest weight of the Weyl module. We derive this from the results of arXiv:0712.1183 about the shift of argument subalgebras.
We use the theory of Clifford algebras and Vahlen groups to study Weyl groups of hyperbolic Kac-Moody algebras T_n^{++}, obtained by a process of double extension from a Cartan matrix of finite type T_n, whose corresponding generalized Cartan matrices are symmetric.
We propose a general method to realize an arbitrary Weyl group of Kac-Moody type as a group of birational canonical transformations, by means of a nilpotent Poisson algebra. We also give a Lie theoretic interpretation of this realization in terms of Kac-Moody Lie algebras and Kac-Moody groups.
We study the characters of simple modules in the parabolic BGG category of the affine Lie algebra in Deligne's category. More specifically, we take the limit of Weyl-Kac formula to compute the character of the irreducible quotient $L(X,k)$ of the parabolic Verma module $M(X,k)$ of level $k$, where $X$ is an indecomposable object of Deligne's category $\underline{\mathrm{Rep}}(GL_t)$, $\underline{\mathrm{Rep}}(O_t)$, or $\underline{\mathrm{Rep}}(Sp_t)$, under conditions that the highest weight of $X$ plus the level gives a fundamental weight, $t$ is transcendental, and the base field $\Bbbk$ ha…
This paper studies connections between the preprojective representations of a valued quiver, the (+)-admissible sequences of vertices, and the Weyl group by associating to each preprojective representation a canonical (+)-admissible sequence. A (+)-admissible sequence is the canonical sequence of some preprojective representation if and only if the product of simple reflections associated to the vertices of the sequence is a reduced word in the Weyl group. As a consequence, for any Coxeter element of the Weyl group associated to an indecomposable symmetrizable generalized Cartan matrix, the gr…
Character formulas for Lie superalgebras have been shown to have important applications to number theory and combinatorics. We prove the Kac-Wakimoto character formula for the general linear Lie superalgebra gl(m|n). This formula specializes to the well-known Kac-Weyl character formula when the modules are typical and to the Weyl denominator identity when the module is trivial. We also prove a determinantal character formula for KW-modules using the Kac-Wakimoto character formula.
In this paper, we compute basis elements of certain spaces of weight 0 weakly holomorphic modular forms and consider the integrality of Fourier coefficients of the modular forms. We use the results to construct automorphic correction of the rank 2 hyperbolic Kac-Moody algebras H(a), a=4,5,6, through Hilbert modular forms explicitly given by Borcherds lifts of the weakly holomorphic modular forms. We also compute asymptotic of the Fourier coefficients as they are related to root multiplicities of the rank 2 hyperbolic Kac-Moody algebras. This work is a continuation of the previous paper, where …
We consider integrable, category O-modules of indecomposable symmetrizable Kac-Moody algebras. We prove that unique factorization of tensor products of irreducible modules holds in this category, upto twisting by one dimensional modules. This generalizes a fundamental theorem of Rajan for finite dimensional simple Lie algebras over C. Our proof is new even for the finite dimensional case, and uses an interplay of representation theory and combinatorics to analyze the Kac-Weyl character formula.
To a finite quiver equipped with a positive integer on each of its vertices, we associate a holomorphic symplectic manifold having some parameters. This coincides with Nakajima's quiver variety with no stability parameter/framing if the integers attached on the vertices are all equal to one. The construction of reflection functors for quiver varieties are generalized to our case, in which these relate to simple reflections in the Weyl group of some symmetrizable, possibly non-symmetric Kac-Moody algebra. The moduli spaces of meromorphic connections on the rank 2 trivial bundle over the Riemann…
In this paper we study rank two symmetric hyperbolic Kac-Moody algebras H(a) and their automorphic correction in terms of Hilbert modular forms. We associate a family of H(a)'s to the quadratic field Q(p) for each odd prime p and show that there exists a chain of embeddings in each family. When p = 5, 13, 17, we show that the first H(a) in each family, i.e. H(3), H(11), H(66), is contained in a generalized Kac-Moody superalgebra whose denominator function is a Hilbert modular form given by a Borcherds product. Hence, our results provide automorphic correction for those H(a)'s. We also compute …
We study Apollonian circle packings in relation to a certain rank 4 indefinite Kac-Moody root system $Φ$. We introduce the generating function $Z(\mathbf{s})$ of a packing, an exponential series in four variables with an Apollonian symmetry group, which relates to Weyl-Kac characters of $Φ$. By exploiting the presence of affine and Lorentzian hyperbolic root subsystems of $Φ$, with automorphic Weyl denominators, we express $Z(\mathbf{s})$ in terms of Jacobi theta functions and the Siegel modular form $Δ_5$. We also show that the domain of convergence of $Z(\mathbf{s})$ is the Tits cone of $Φ$,…
For a symmetrizable Kac-Moody algebra the category of admissible representations is an analogue of the category of finite dimensional representations of a semisimple Lie algebra. The monoid associated to this category and the category of restricted duals by a generalized Tannaka-Krein reconstruction contains the Kac-Moody group as open dense unit group and has similar properties as a reductive algebraic monoid. In particular there are Bruhat and Birkhoff decompositions, the Weyl group replaced by the Weyl monoid, [M 1]. We determine the closure relations of the Bruhat and Birkhoff cells, which…
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 prove a generating function formula for the Betti numbers of Nakajima quiver varieties. We prove that it is a q-deformation of the Weyl-Kac character formula. In particular this implies that the constant term of the polynomial counting the number of absolutely indecomposable representations of a quiver equals the multiplicity of a a certain weight in the corresponding Kac-Moody algebra, which was conjectured by Kac in 1982.
Let U be the enveloping algebra of a symmetric Kac-Moody algebra. The Weyl group acts on U, up to a sign. In addition, the positive subalgebra U^+ contains a so-called semicanonical basis, with remarkable properties. The aim of this paper is to show that these two structures are as compatible as possible.
Let $\mathcal{D}$ be a Dynkin diagram and let $Π=\{α_1,\dots ,α_{\ell}\}$ be the simple roots of the corresponding Kac--Moody root system. Let $\mathfrak{h}$ denote the Cartan subalgebra, let $W$ denote the Weyl group and let $Δ$ denote the set of all roots. The action of $W$ on $\mathfrak{h}$, and hence on $Δ$, is the discretization of the action of the Kac--Moody algebra. Understanding the orbit structure of $W$ on $Δ$ is crucial for many physical applications. We show that for $i\neq j$, the simple roots $α_i$ and $α_j$ are in the same $W$--orbit if and only if vertices $i$ and $j$ in the D…
We study a family of Siegel modular forms that are constructed using Jacobi forms that arise in Umbral moonshine. All but one of them arise as the Weyl-Kac-Borcherds denominator formula of some Borcherds-Kac-Moody (BKM) Lie superalgebras. These Lie superalgebras have a $\widehat{sl(2)}$ subalgebra which we use to study the Siegel modular forms. We show that the expansion of the Umbral Jacobi forms in terms of $\widehat{sl(2)}$ characters leads to vector-valued modular forms. We obtain closed formulae for these vector-valued modular forms. In the Lie algebraic context, the Fourier coefficients …
Weyl denominator identity for the affinization of a basic Lie superalgebra with a non-zero Killing form was formulated by Kac and Wakimoto and was proven by them in defect one case. In this paper we prove this identity.
Starting with a highest weight representation of a Kac-Moody group over the complex numbers, we construct a monoid whose unit group is the image of the Kac-Moody group under the representation, multiplied by the nonzero complex numbers. We show that this monoid has similar properties to those of a J-irreducible reductive linear algebraic monoid. In particular, the monoid is unit regular and has a Bruhat decomposition, and the idempotent lattice of the generalized Renner monoid of the Bruhat decomposition is isomorphic to the face lattice of the convex hull of the Weyl group orbit of the highes…
We give the first positive formulas for the weights of every simple highest weight module $L(λ)$ over an arbitrary Kac-Moody algebra. Under a mild condition on the highest weight, we also express the weights of $L(λ)$ as an alternating sum similar to the Weyl-Kac character formula. To obtain these results, we show the following data attached to a highest weight module are equivalent: (i) its integrability, (ii) the convex hull of its weights, (iii) the Weyl group symmetry of its character, and (iv) when a localization theorem is available, its behavior on certain codimension one Schubert cells…
We study the Weyl groups of hyperbolic Kac-Moody algebras of `over-extended' type and ranks 3, 4, 6 and 10, which are intimately linked with the four normed division algebras K=R,C,H,O, respectively. A crucial role is played by integral lattices of the division algebras and associated discrete matrix groups. Our findings can be summarized by saying that the even subgroups, W^+, of the Kac-Moody Weyl groups, W, are isomorphic to generalized modular groups over K for the simply laced algebras, and to certain finite extensions thereof for the non-simply laced algebras. This hints at an extended t…
Starting with a highest weight representation of a Kac-Moody group over the complex numbers, we construct a monoid whose unit group is the image of the Kac-Moody group under the representation, multiplied by the nonzero complex numbers. We show that this monoid has similar properties to those of a J-irreducible reductive linear algebraic monoid. In particular, the monoid is unit regular and has a Bruhat decomposition, and the idempotent lattice of the generalized Renner monoid of the Bruhat decomposition is isomorphic to the face lattice of the convex hull of the Weyl group orbit of the highes…
For a restricted Verma module of an affine Kac-Moody algebra at the critical level we describe the Jantzen filtration and give an alternating sum formula which corresponds to the Jantzen sum formula of a baby Verma module over a modular Lie algebra. This also implies a new proof of the linkage principle which was already deduced by Arakawa and Fiebig.
This is the written version of a talk at the conference on ``Non-commutative geometry and representation theory in mathematical physics'' held in Karlstad, Sweden, 5--10 July, 2004. In it we show that the duality formula of Rocha-Caridi and Wallach is a simple consequence of the so called cde-triangle of modular representation theory. It tries to reflect the attempt of the talk to cater to the differing backgrounds of its listeners.
For an almost split Kac-Moody group G over a local non-archimedean field, the last two authors constructed a spherical Hecke algebra H (over the complex numbers C, say) and its Satake isomorphism with the commutative algebra of Weyl invariant elements in some formal series algebra C[[Y]].In this article, we prove a Macdonald's formula, i.e. an explicit formula for the image of a basis element of H. The proof involves geometric arguments in the masure associated to G and algebraic tools, including the Cherednik's representation of the Bernstein-Lusztig-Hecke algebra (introduced in a previous ar…
From a certain induced representation $\mathcal{P}_\ell$ of a double affine Weyl group, we construct a ring $\mathcal{F}_\ell$ that is isomorphic to the fusion ring, or Verlinde algebra, associated to affine Lie algebras at fixed positive integer level for both twisted and untwisted type. The induced representation, which also has a natural commutative associative algebra structure and is modular invariant with respect to certain congruence subgroups, contains $\mathcal{F}_\ell$ as an ideal and we show how it naturally inherits the modular invariance property from $\mathcal{P}_\ell.$ This cons…
When it is based on Kac-Peterson form of Affine Weyl Groups, Weyl-Kac character formula could be formulated in terms of Theta functions and a sum over finite Weyl groups. We, instead, give a reformulation in terms of Schur functions which are determined by the so-called Permutation Weights and there are only a finite number of permutation weights at each and every order of weight depths . Affine signatures are expressed in terms of an index which by definition is based on a decomposition of horizontal weights in terms of some Fundamental Weights.
We establish a character formula for indecomposable tilting modules for connected reductive groups in characteristic p in terms of p-Kazhdan-Lusztig polynomials, for p>h the Coxeter number. Using results of Andersen, one may deduce a character formula for simple modules if p>2h-3. Our results are a consequence of an extension to modular coefficients of a monoidal Koszul duality equivalence established by Bezrukavnikov and Yun.
We show that the Weyl-Kac type character formula holds for the integrable highest weight modules over the quantized enveloping algebra of any symmetrizable Kac-Moody Lie algebra, when the parameter $q$ is not a root of unity.
Kirillov-Reshetikhin and Levendorskii-Soibelman developed a formula for the universal R-matrix of the form R=(X^{-1} \otimes X^{-1}) Δ(X). The action of X on a representation V permutes weight spaces according to the longest element in the Weyl group, so is only defined in finite type. We give a similar formula which is valid for the quantized universal enveloping algebra of any symmetrizable Kac-Moody algebra. This is done by replacing the action of X on V with an endomorphism that preserves weight spaces, but which is bar-linear instead of linear.
We show that permutation weights, which are previously introduced for finite Lie algebras, can be appropriately defined also for affine Lie algebras. This allows us to classify all the weights of an affine Weyl orbit explicitly. Let $Λ$ be a dominant weight of an affine Lie algebra $ G_N^{(r)} $ for r=1,2,3. At each and every order M of weight depths, the set $\wp_M(Λ)$ of permutation weights is formed out of a finite number of dominant weights of the finite Lie algebra $G_N$. In case of $A_N^{(1)}$ algebras, we give the rules to determine the elements of a $\wp_M(Λ)$ completely. As being a po…
We provide an algorithm to calculate the invariant factors of the Shapovalov form on the standard $\Z$-lattice inside the basic representation of a Kac-Moody algebra of $ADE$ type, and give explicit formulae in some cases. The techniques developed reduce the problem to finding the invariant factors of a family of bilinear forms on the ring of symmetric functions, having Jack's symmetric functions as an orthonormal basis. These results have applications to the representation theory of Iwahori-Hecke algebras at roots of unity and the modular representation theory of symmetric groups.
In this paper we express certain multiplicities in modular representation-theoretic categories of type A in terms of affine p-Kazhdan-Lusztig polynomials. The representation-theoretic categories we deal with include the categories of rational representations of GL(n), representations of the quantum group for gl(n), and representations of (degenerate) cyclotomic Hecke and Schur algebras, where the base field is an algebraically closed field of arbitrary prime characteristic. In order to approach this problem we define Soergel-theoretic versions of parabolic categories O in characteristic p. We …
We calculate equivariant elliptic cohomology of the partial flag variety G/H, where H \subseteq G are compact connected Lie groups of equal rank. We identify the RO(G)-graded coefficients Ell_G^* as powers of Looijenga's line bundle and prove that transfer along the map π: G/H -\rightarrow pt is calculated by the Weyl-Kac character formula. Treating ordinary cohomology, K-theory and elliptic cohomology in parallel, this paper organizes the theoretical framework for the elliptic Schubert calculus of [N.Ganter and A.Ram, Elliptic Schubert calculus. In preparation].
In this paper we propose a construction of a monoidal category of "free-monodromic" tilting perverse sheaves on (Kac-Moody) flag varieties in the setting of the "mixed modular derived category" introduced by the first and third authors. This category shares most of the properties of their counterpart in characteristic 0, defined by Bezrukavnikov-Yun using certain pro-objects in triangulated categories. This construction is the main new ingredient in the construction of a "modular Koszul duality" equivalence for constructible sheaves on flag varieties, see [P. Achar, S. Makisumi, S. Riche, and …
I calculate characters of certain representations of loop groups based on non simply connected Lie groups. This gives a generalization of the Kac-Weyl character formula.
Let g be a symmetrisable Kac-Moody algebra, and U_h(g) the corresponding quantum group. We showed in arXiv:1610.09744 and arXiv:1610.09741 that the braided quasi-Coxeter structure on integrable, category O representations of U_h(g) which underlies the R-matrix actions arising from the Levi subalgebras of U_h(g) and the quantum Weyl group action of the generalised braid group B_g can be transferred to integrable, category O representations of g. We prove in this paper that, up to unique equivalence, there is a unique such structure on the latter category with prescribed restriction functors, R-…
Let $G$ be connected reductive algebraic group defined over an algebraically closed field of characteristic $p > 0$ and suppose that $p$ is a good prime for the root system of $G$, the derived subgroup of $G$ is simply connected and the Lie algebra $\mathfrak{g} = \operatorname{Lie}(G)$ admits a non-degenerate Ad$(G)$-invariant symmetric bilinear form. Given a linear function $χ$ on $\mathfrak{g}$ we denote by $U_χ(\mathfrak{g})$ the reduced enveloping algebra of $\mathfrak{g}$ associated with $χ$. By the Kac-Weisfeiler conjecture (now a theorem), any irreducible $U_χ(\mathfrak{g})$-module has…
This paper concerns representations of the integral general linear group. The extension groups $Ext^2$ between any pair of hook Weyl modules are determined via a detailed study of cyclic generators and relations associated to certain extensions. As a corollary, the modular extension groups $Ext^1$ between such modules are determined.
We study finite dimensional representations of current algebras, loop algebras and their quantized versions. For the current algebra of a simple Lie algebra of type {\tt ADE}, we show that Kirillov-Reshetikhin modules and Weyl modules are in fact all Demazure modules. As a consequence one obtains an elementary proof of the dimension formula for Weyl modules for the current and the loop algebra. Further, we show that the crystals of the Weyl and the Demazure module are the same up to some additional label zero arrows for the Weyl module. For the current algebra $\Lgc$ of an arbitrary simple Lie…
