arXiv++ Combinatorics

We study the tensor product of Demazure crystals for symmetrizable Kac-Moody Lie algebras. It is not necessary that the tensor product of Demazure crystals is isomorphic to a disjoint union of Demazure crystals. In this paper, we provide necessary and sufficient conditions for the decomposition of the tensor product of Demazure crystals as a disjoint union of Demazure crystals. Our results are the generalization of the results proved by Anthony Joseph and Takafumi Kouno. As an application, we obtain a sufficient condition when the product of Demazure characters is a linear combination of Demazure characters with nonnegative integer coefficients. In particular, we obtain a partial solution for the key positivity problem.

We characterize subsets of highest weight $\mathfrak{g}$-crystals that arise as unions of Demazure crystals, for any symmetrizable Kac-Moody Lie algebra $\mathfrak{g}$. We provide a local characterization for these subsets and prove they admit disjoint decompositions into Demazure atoms. As a consequence, we give a new characterization for when a subset of a highest weight crystal is a Demazure crystal as well as a crystal-theoretic proof that any Polo module admits a relative Schubert filtration.

We give Gelfand-Tsetlin crystals for the Kostant-Kumar modules for the finite simple Lie algebra of type A. Kostant-Kumar modules are cyclic submodules of the tensor product of two irreducible highest weight modules of a symmetrizable Kac-Moody Lie algebras. In this case (type A), we also provide a polytopal model for Kostant-Kumar modules in terms of BiKogan faces.

For an untwisted affine Kac-Moody Lie algebra $\mathfrak{g}$ with Cartan and Borel subalgebras $\mathfrak{h} \subset \mathfrak{b} \subset \mathfrak{g}$, affine Demazure modules are certain $U(\mathfrak{b})$-submodules of the irreducible highest-weight representations of $\mathfrak{g}$. We introduce here the associated affine Demazure weight polytopes, given by the convex hull of the $\mathfrak{h}$-weights of such a module. Using methods of geometric invariant theory, we determine inequalities which define these polytopes; these inequalities come in three distinct flavors, specified by the standard, opposite, or semi-infinite Bruhat orders. We also give a combinatorial characterization of the vertices of these polytopes lying on an arbitrary face, utilizing the more general class of twisted Bruhat orders.

The main goal of this paper is to categorify the specialized parasymmetric (intermediate) Macdonald polynomials. These polynomials depend on a parabolic subalgebra of a simple Lie algebra and generalize the symmetric and nonsymmetric Macdonald polynomials. To achieve this we introduce cyclic modules of the parahoric subalgebras of the affine Kac-Moody Lie algebras such that their characters coincide with the specializations of the parasymmetric polynomials at zero and infinity. These cyclic modules are proved to coincide with standard and costandard objects in certain categories of representations of parahoric algebras. We show that the categories in question are stratified, i.e. they are graded highest weight categories. As a consequence, we derive an analog of the Peter-Weyl theorem describing the bi-module of functions on the parahoric and parabolic Lie groups via the mentioned above standard and costandard modules.

The polyhedral realizations for crystal bases of the integrable highest weight modules of $U_q(\mathfrak{g})$ have been introduced in ([T.Nakashima, J. Algebra, vol.219, no. 2, (1999)]), which describe the crystal bases as sets of lattice points in the infinite $\mathbb{Z}$-lattice $\mathbb{Z}^{\infty}$ given by some system of linear inequalities, where $\mathfrak{g}$ is a symmetrizable Kac-Moody Lie algebra. To construct the polyhedral realization, we need to fix an infinite sequence $ι$ from the indices of the simple roots. If the pair ($ι$,$λ$) ($λ$: a dominant integral weight) satisfies the `ample' condition then there are some procedure to calculate the sets of linear inequalities. In this article, we show that if $ι$ is an adapted sequence (defined in our paper [Y.Kanakubo, T.Nakashima, arXiv:1904.10919]) then the pair ($ι$, $λ$) satisfies the ample condition for any dominant integral weight $λ$ in the case $\mathfrak{g}$ is a classical Lie algebra. Furthermore, we reveal the explicit forms of the polyhedral realizations of the crystal bases $B(λ)$ associated with arbitrary adapted sequences $ι$ in terms of column tableaux. As an application, we will give a combinatorial description of the function $\varepsilon_i^*$ on the crystal base $B(\infty)$.

Let $\overline{\mathtt{X}}_λ$ be the closure of the $\mathtt{I}$-orbit $\mathtt{X}_λ$ in the affine Grassmanian $\mathtt{Gr}$ of a simple algebraic group $G$ of adjoint type, where $\mathtt{I}$ is the Iwahori group and $λ$ is a coweight of $G$. We find a simple algorithm which describes the set $Ψ(λ)$ of all $\mathtt{I}$-orbits in $\overline{\mathtt{X}}_λ$ in terms of coweights. We introduce $R$-operators (associated to positive roots) on the coweight lattice of $G$, which exactly describe the closure relation of $\mathtt{I}$-orbits. These operators satisfy Braid relations generically on the coweight lattice. We also establish a duality between the set $Ψ(λ)$ and the weight system of the level one affine Demazure module $\hat{\mathscr{D}}_λ$ of $^L\tilde{\mathfrak{g}}$ indexed by $λ$, where $^L\tilde{\mathfrak{g}}$ is the affine Kac-Moody algebra dual to the affine Kac-Moody Lie algebra $\tilde{\mathfrak{g}}$ associated to the Lie algebra $\mathfrak{g}$ of $G$.

The absolute value of the coefficient of $q$ in the chromatic polynomial of a graph $G$ is known as the chromatic discriminant of $G$ and is denoted $α(G)$. There is a well known recurrence formula for $α(G)$ that comes from the deletion-contraction rule for the chromatic polynomial. In this paper we prove another recurrence formula for $α(G)$ that comes from the theory of Kac-Moody Lie algebras. We start with a brief survey on many interesting algebraic and combinatorial interpretations of $α(G)$. We use two of these interpretations (in terms of acyclic orientations and spanning trees) to give two bijective proofs for our recurrence formula of $α(G)$.

J.~Lepowsky and R.~L.~Wilson initiated the approach to combinatorial Rogers-Ramanujan type identities via vertex operator constructions of standard (i.e. integrable highest weight) representations of affine Kac-Moody Lie algebras. A.~Meurman and M.~Primc developed further this approach for $\mathfrak{sl}(2,\mathbb C)\widetilde{}\ $ by using vertex operator algebras and Verma modules. In this paper we use the same method to construct combinatorial bases of basic modules for affine Lie algebras of type $C_{n}\sp{(1)}$ and, as a consequence, we obtain a series of Rogers-Ramanujan type identities. A major new insight is a combinatorial parametrization of leading terms of defining relations for level one standard modules for affine Lie algebra of type $C_{n}\sp{(1)}$.

We give a new interpretation of the chromatic polynomial of a simple graph G in terms of the Kac-Moody Lie algebra with Dynkin diagram G. We show that the chromatic polynomial is essentially the q-Kostant partition function of this Lie algebra evaluated on the sum of the simple roots. Applying the Peterson recurrence formula for root multiplicities, we obtain a new realization of the chromatic polynomial as a weighted sum of paths in the bond lattice of G.

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\cite{CDR_10}.

It has previously been shown that, at least for non-exceptional Kac-Moody Lie algebras, there is a close connection between Demazure crystals and tensor products of Kirillov-Reshetikhin crystals. In particular, certain Demazure crystals are isomorphic as classical crystals to tensor products of Kirillov-Reshetikhin crystals via a canonically chosen isomorphism. Here we show that this isomorphism intertwines the natural affine grading on Demazure crystals with a combinatorially defined energy function. As a consequence, we obtain a formula of the Demazure character in terms of the energy function, which has applications to Macdonald polynomials and q-deformed Whittaker functions.

The Littelmann path moel gives a realization of the crystals of integrable representations of symmetrizable Kac-Moody Lie algebras. Recent work of Gaussent-Littelmann and others has demonstrated a connection between this model and the geometry of the loop Grassmannian. The alcove walk model is a version of the path model which is intimately connected to the combinatorics of the affine Hecke algebra. In this paper we define a refined alcove walk model which encodes the points of the affine flag variety. We show that this combinatorial indexing naturally indexes the "cells" in generalized Mirkovic-Vilonen intersections.

Fomin and Zelevinsky show that a certain two-parameter family of rational recurrence relations, here called the (b,c) family, possesses the Laurentness property: for all b,c, each term of the (b,c) sequence can be expressed as a Laurent polynomial in the two initial terms. In the case where the positive integers b,c satisfy bc<4, the recurrence is related to the root systems of finite-dimensional rank 2 Lie algebras; when bc>4, the recurrence is related to Kac-Moody rank 2 Lie algebras of hyperbolic type. Here we investigate the borderline cases bc=4, corresponding to Kac-Moody Lie algebras of affine type. In these cases, we show that the Laurent polynomials arising from the recurence can be viewed as generating functions that enumerate the perfect matchings of certain graphs. By providing combinatorial interpretations of the individual coefficients of these Laurent polynomials, we establish their positivity.

A conjecture of Kac states that the polynomial counting the number of absolutely indecomposable representations of a quiver over a finite field with given dimension vector has positive coefficients and furthermore that its constant term is equal to the multiplicity of the corresponding root in the associated Kac-Moody Lie algebra. In this paper we prove these conjectures for indivisible dimension vectors.