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) Simple, semisimple, reductive (super)algebras (17B20) Quantum groups (quantized enveloping algebras) and related deformations (17B37)

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.

Review text

Let B be a highest weight crystal of type A. Suppose a node in B has a single parent and a single grandparent. The author shows that there is a unique walk from the highest weight node to it. While this was known in the context of certain representation-theoretic behavior of the affine Hecke algebra of type A, the author goes on to get similar results for highest weight crystals of certain other types. The result for types \(A_n, (A_n)^{(1)}, B_n, (C_n)^{(1)}, (A_{(2n)})^{(2)}, (D_{(n+1)})^{(2)}\), are analogous to type \(A_n\), i.e., a unique walk from the highest weight node to the given node. For type \(D_n\), there may be two such walks. For types \((D_n)^{(1)}, (B_n)^{(1)}, (A_{(2n-1)})^{(2)}\), there may be an infinite number of such walks. In all cases, the possible walks are explicitly described. The type A result was motivated by the classical result that at characteristic zero, an irreducible \(S_n\)-module for the symmetric group \(S_n\) remains irreducible when restricted to \(S_{(n-k)}\). This is usually proved by the branching rule. The author gives a proof using representations of the affine Hecke algebra, which is valid in any characteristic. Its translation into the language of crystals is the above result for type A.

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

• 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
• scientific article; zbMATH DE number 1099061 (Why is no real title available?)
• scientific article; zbMATH DE number 845632 (Why is no real title available?)
• 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)

• A combinatorial categorification of the tensor product of the Kirillov-Reshetikhin crystal \(B^{1,1}\) and a fundamental crystal
• Categorifying 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)