Trails, S-graphs and Identities in Demazure Modules

arXiv1702.00243MaRDI QIDQ6282697FDOQ6282697

Authors: Anthony Joseph 

Publication date: 1 February 2017

Abstract: The Kashiwara crystal $B(infty)$ parametrizes a basis for the Verma module of a Kac-Moody algebra. It has a deep combinatorial structure which one seeks to understand. For each sequence $J$ of reduced decompositions of elements of the Weyl group $W$, it has a realization as a subset $B_J(infty)$ of a crystal $B_J$ which as a set is just $J$ copies of the natural numbers. The goal is to determine $B_J(infty)$ and in particular to show that it is a polyhedral subset of $B_J$. In earlier work this led to the notion of an $S$-graph associated to a given simple root $alpha$. Here the notion of a giant $S$-graph depending on a fixed simple root is introduced. It is essentially a union of $S$-graphs for each simple root with one distinguished vertex depending on $alpha$. Its vertices, which forms a giant $S$-set, determine a set of dual Kashiwara functions. These are linear functions on $B_J$, whose common maximum determines the dual Kashiwara parameter with respect to $alpha$. From these parameters one may compute $B_J(infty)$ as an explicit polyhedral subset of $B_J$. For $W$ finite, Berenstein and Zelevinsky had studied this problem by introducing the notion of a trail in a fundamental module. The functions they define may also be viewed as a set of dual Kashiwara functions. The goal is to relate these two approaches and without restriction on $W$. It is shown under the hypothesis that no "false" trails exist, that the set of trails determines the "$Z$-convex envelope" of a giant $S$-set. The proof involves the study of identities in Demazure modules.

Mathematics Subject Classification ID

Universal enveloping (super)algebras (17B35)

This page was built for publication: Trails, $S$-graphs and Identities in Demazure Modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6282697)