An observation on highest weight crystals

DOI10.1016/J.JALGEBRA.2007.05.021MaRDI QIDQ2459977zbMATH OpenOpenAlexFDO

Authors Monica Vazirani

Publication date 9 November 2007

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0511221

zbMATH Keywords

crystal graphs

Mathematics Subject Classification ID

Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) (17B10) Quantum groups (quantized enveloping algebras) and related deformations (17B37) Simple, semisimple, reductive (super)algebras (17B20)

Abstract: As shown by Stembridge, crystal graphs can be characterized by their local behavior. In this paper, we observe that a certain local property on highest weight crystals forces a more global property. In type $A$, this statement says that if a node has a single parent and single grandparent, then there is a unique walk from the highest weight node to it. In other classical types, there is a similar (but necessarily more technical) statement. This walk is obtained from the associated level 1 perfect crystal, $B^{1,1}$. (It is unique unless the Dynkin diagram contains that of $D_4$ as a subdiagram.) This crystal observation was motivated by representation-theoretic behavior of the affine Hecke algebra of type $A$, which is known to be captured by highest weight crystals of type $A^{(1)}$ by results of Grojnowski. As discussed below, the proofs in either setting are straightforward, and so the theorem linking the two phenomena is not needed. However, the result is presented here for crystals as one can say something in all types (Grojnowski's theorem is only in type $A$), and because the statement seems more surprising in the language of crystals than it does for affine Hecke algebra modules.

Recommendations

• Categorifying the tensor product of a level 1 highest weight and perfect crystal in type \(A\)
• On the local structure of doubly laced crystals
• Perfect crystals of \(U_q(G_2^{(1)})\)
• Level one perfect crystals for \(B_n^{(1)}\), \(C_n^{(1)}\), and \(D_n^{(1)}\)
• Crystal of affine type \(\widehat{A}_{\ell-1}\) and Hecke algebras at a primitive \(2\ell\) th root of unity

Cites work

• scientific article; zbMATH DE number 1099061 (Why is no real title available?)
• scientific article; zbMATH DE number 845632 (Why is no real title available?)
• A local characterization of simply-laced crystals
• Branching functions of \(A_{n-1}^{(1)}\) and Jantzen-Seitz problem for Ariki-Koike algebras
• Global crystal bases of quantum groups
• On the decomposition numbers of the Hecke algebra of \(G(m,1,n)\)
• Perfect crystals of quantum affine Lie algebras
• Quantized affine algebras and crystals with core
• RSOS models and Jantzen-Seitz representations of Hecke algebras at roots of unity
• Strong multiplicity one theorems for affine Hecke algebras of type \(A\).

Cited in

(2)

• Categorifying the tensor product of the Kirillov-Reshetikhin crystal \(B^{1,1}\) and a fundamental crystal
• A combinatorial categorification of the tensor product of the Kirillov-Reshetikhin crystal \(B^{1,1}\) and a fundamental crystal

This page was built for publication: An observation on highest weight crystals

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