Related papers: R\'eflexions dans un cristal
Let $\Lambda$ be a dominant integral weight of level $k$ for the affine Lie algebra $\mathfrak g$ and let $\alpha$ be a non-negative integral combination of simple roots. We address the question of whether the weight $\eta=\Lambda-\alpha$…
The multiplicity of a weight $\mu$ in an irreducible representation of a simple Lie algebra $\mathfrak{g}$ with highest weight $\lambda$ can be computed via the use of Kostant's weight multiplicity formula. This formula is an alternating…
In earlier work with C.~Monical, we introduced the notion of a K-crystal, with applications to K-theoretic Schubert calculus and the study of Lascoux polynomials. We conjectured that such a K-crystal structure existed on the set of…
We initiate a new approach to the study of the combinatorics of several parametrizations of canonical bases. In this work we deal with Lie algebras of type $A$. Using geometric objects called Rhombic tilings we derive a "crossing formula"…
Let $G$ be a connected reductive algebraic group over $\mathbb{C}$. Let $\Lambda^{+}_{G}$ be the monoid of dominant weights of $G$. We construct the integrable crystals $\mathbf{B}^{G}(\lambda),\ \lambda\in\Lambda^{+}_{G}$, using the…
For each reductive algebraic group G we introduce and study unipotent bicrystals which serve as a regular version of birational geometric and unipotent crystals introduced earlier by the authors. The framework of unipotent bicrystals…
Let $\fg$ be a symmetrizable Kac-Moody Lie algebra with the standard Cartan subalgebra $\fh$ and the Weyl group $W$. Let $P_+$ be the set of dominant integral weights. For $\lambda \in P_+$, let $L(\lambda)$ be the irreducible, integrable,…
Using combinatorics of Young tableaux, we give an explicit construction of irreducible graded modules over Khovanov-Lauda-Rouquier algebras $R$ and their cyclotomic quotients $R^{\lambda}$ of type $A_{n}$. Our construction is compatible…
Consider Kashiwara's crystal associated to a highest weight representation of a symmetric Kac-Moody algebra. There is a geometric realization of this object using Nakajima's quiver varieties, but in many particular cases it can also be…
In the context of varieties of representations of arbitrary quivers, possibly carrying loops, we define a generalization of Lusztig Lagrangian subvarieties. From the combinatorial study of their irreducible components arises a structure…
Let $\fg$ be any untwisted affine Kac-Moody algebra, $\mu$ any fixed complex number, and $\wt\fg(\mu)$ the corresponding toroidal extended affine Lie algebra of nullity two. For any $k$-tuple $\bm{\lambda}=({\lambda}_1, \cdots,…
The crystal base of the modified quantized enveloping algebras of type $A_{+\infty}$ or $A_\infty$ is realized as a set of integral bimatrices. It is obtained by describing the decomposition of the tensor product of a highest weight crystal…
Rewriting methods have been developed for the study of coherence for algebraic objects. This consists in starting with a convergent presentation, and expliciting a family of generating confluences to obtain a coherent presentation -- one…
We study the monomial crystal defined by the second author. We show that each component of the monomial crystal can be embedded into a crystal of an extremal weight module introduced by Kashiwara. And we determine all monomials appearing in…
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…
For each r = (r_1, r_2,...,r_N) we construct a highest weight module M_r of the Lie algebra W_{1+infty}. The highest weight vectors are specific tau-functions of the N-th Gelfand--Dickey hierarchy. We show that these modules are quasifinite…
A previous work gave a combinatorial description of the crystal $B(\infty)$, in terms of certain simple Young tableaux referred to as the marginally large tableaux, for finite dimensional simple Lie algebras. Using this result, we present…
We describe the crystal bases of the modified quantum algebras and give the explicit form of the highest (or lowest) weight vector of its connected component $B_0(\lambda)$ containing the unit element for arbitrary rank 2 cases. We also…
Let $G$ be a simply connected semisimple algebraic group over $\mathbb{C}$ and let $\rho :G\rightarrow GL(V_\lambda)$ be an irreducible representation of highest weight $\lambda$. Suppose that $\rho$ has finite kernel. Springer defined…
Simple, or Kleinian, singularities are classified by Dynkin diagrams of type ADE. Let g be the corresponding finite-dimensional Lie algebra, and W its Weyl group. The set of g-invariants in the basic representation of the affine Kac-Moody…