Skip to main content

Advertisement

Log in

Crystal energy functions via the charge in types A and C

  • Published:
Mathematische Zeitschrift Aims and scope Submit manuscript

Abstract

The Ram–Yip formula for Macdonald polynomials (at t = 0) provides a statistic which we call charge. In types A and C it can be defined on tensor products of Kashiwara–Nakashima single column crystals. In this paper we prove that the charge is equal to the (negative of the) energy function on affine crystals. The algorithm for computing charge is much simpler and can be more efficiently computed than the recursive definition of energy in terms of the combinatorial R-matrix.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

References

  1. Berele A.: A Schensted-type correspondence for the symplectic group. J. Combin. Theory Ser. A 43, 320–328 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  2. Brenti F., Fomin S., Postnikov A.: Mixed Bruhat operators and Yang-Baxter equations for Weyl groups. Int. Math. Res. Not. 8, 419–441 (1999)

    Article  MathSciNet  Google Scholar 

  3. Drinfeld V.G.: Quasi-Hopf algebras. Leningrad Math. J. 1, 1419–1457 (1990)

    MathSciNet  Google Scholar 

  4. Fourier G., Okado M., Schilling A.: Kirillov-Reshetikhin crystals for nonexceptional types. Adv. Math. 222, 1080–1116 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  5. Fourier G., Okado M., Schilling A.: Perfectness of Kirillov–Reshetikhin crystals for nonexceptional type. Contemp. Math. 506, 127–143 (2010)

    Article  MathSciNet  Google Scholar 

  6. Fulton W.: Young Tableaux. London Math. Soc. Student Texts, vol. 35. Cambridge University Press, Cambridge (1997)

    Google Scholar 

  7. Gaussent S., Littelmann P.: LS-galleries, the path model and MV-cycles. Duke Math. J. 127, 35–88 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  8. Henriques A., Kamnitzer J.: Crystals and coboundary categories. Duke Math. J. 132, 191–216 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  9. Hong, J., Kang, S.-J.: Introduction to quantum groups and crystal bases. In: Graduate Studies in Mathematics, vol. 42. American Mathematical Society, Providence (2002)

  10. Hatayama, G., Kuniba, A., Okado, M., Takagi, T., Tsuboi, Z.: Paths, crystals and fermionic formulae. MathPhys Odyssey 2001, pp. 205–272. Prog. Math. Phys., vol. 23. Birkhäuser, Boston (2002)

  11. Hatayama, G., Kuniba, A., Okado, M., Takagi, T., Yamada, Y.: Remarks on fermionic formula. Recent developments in quantum affine algebras and related topics (Raleigh, NC, 1998), pp. 243–291. Contemp. Math., vol. 248. Amer. Math. Soc., Providence (1999)

  12. Ion B.: Nonsymmetric Macdonald polynomials and Demazure characters. Duke Math. J. 116, 299–318 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  13. Jones B., Schilling A.: Affine structures and a tableau model for E 6 crystals. J. Algebra 324, 2512–2542 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  14. Kamnitzer J., Tingley P.: A definition of the crystal commutor using Kashiwara’s involution. J. Algebraic Combin. 29, 261–268 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  15. Kang S-J., Kashiwara M., Misra K.C., Miwa T., Nakashima T., Nakayashiki A.: Affine crystals and vertex models. Int. J. Mod. Phys. A 7(suppl. 1A), 449–484 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  16. Kang S.-J., Kashiwara M., Misra K.C., Miwa T., Nakashima T., Nakayashiki A.: Perfect crystals of quantum affine Lie algebras. Duke Math. J. 68, 499–607 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  17. Kashiwara M., Misra K.C., Okado M., Yamada D.: Perfect crystals for \({U_q(D^{(3)}_4)}\). J. Algebra 317, 392–423 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  18. Kashiwara M., Nakashima T.: Crystal graphs for representations of the q-analogue of classical Lie algebras. J. Algebra 165, 295–345 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  19. Kirillov A.N., Reshetikhin N.: Representations of Yangians and multiplicities of the inclusion of the irreducible components of the tensor product of representations of simple Lie algebras. J. Soviet Math. 52, 3156–3164 (1990)

    Article  MathSciNet  Google Scholar 

  20. Kuniba A., Misra K., Okado M., Takagi T., Uchiyama J.: Paths, Demazure crystals, and symmetric functions. J. Math. Phys. 41, 6477–6486 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  21. Lascoux A., Schützenberger M.-P.: Sur une conjecture de H.O. Foulkes. C. R. Acad. Sci. Paris Sér. I Math. 288, 95–98 (1979)

    MATH  Google Scholar 

  22. Lascoux, A., Leclerc, B., Thibon, J-Y.: The plactic monoid. In: Algebraic Combinatorics on Words. Encyclopedia Math. Appl., vol. 90, pp. 144–172. Cambridge University Press, Cambridge (2002)

  23. Lascoux, A.: Double crystal graphs. In: Studies in Memory of Issai Schur (Chevaleret/Rehovot, 2000). Progr. Math., vol. 210, pp. 95–114. Birkhäuser, Boston (2003)

  24. Lecouvey C.: Schensted-type correspondence, plactic monoid, and jeu de taquin for type C n . J. Algebra 247, 295–331 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  25. Lecouvey C.: Kostka-Foulkes polynomials, cyclage graphs and charge statistic for the root system C n . J. Algebraic Combin. 21, 203–240 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  26. Lecouvey C.: Combinatorics of crystal graphs and Kostka-Foulkes polynomials for the root systems B n , C n , and D n . Eur. J. Combin. 27, 526–557 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  27. Lecouvey C.: Branching rules, Kostka-Foulkes polynomials and q-multiplicities in tensor product for the root system B n , C n and D n . Algebr. Represent. Theory 9, 377–402 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  28. Lecouvey, C.: Combinatorics of crystal graphs for the root systems of types A n , B n , C n , D n and G 2. MSJ Mem. 17, 11–41 (2007). Math. Soc. Japan, Tokyo

  29. Lecouvey, C., Okado, M., Shimozono, M.: Affine crystals, one-dimensional sums and parabolic Lusztig q-analogues. Math. Z. doi:10.1007/s00209-011-0892-9

  30. Lenart C.: On the combinatorics of crystal graphs, I Lusztig’s involution. Adv. Math. 211, 204–243 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  31. Lenart C.: From Macdonald polynomials to a charge statistic beyond type A. J. Combin. Theory Ser. A 119, 683–712 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  32. Lenart, C., Lubovsky, A.: A generalization of the alcove model and its applications (Extended abstract). arXiv:math.CO/1112.2216. Discrete Math. Theor. Comput. Sci. Proc. (FPSAC) (2012, to appear).

  33. Lenart, C., Postnikov, A.: Affine Weyl groups in K-theory and representation theory. Int. Math. Res. Not., pp. 1–65 (2007). Art. ID rnm038

  34. Lenart C., Postnikov A.: A combinatorial model for crystals of Kac-Moody algebras. Trans. Am. Math. Soc. 360, 4349–4381 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  35. Lusztig, G.: Singularities, character formulas, and a q-analog of weight multiplicities. In: Analysis and Topology on Singular Spaces, II, III (Luminy, 1981). Astérisque, vol. 101, pp. 208–229. Soc. Math. France, Paris (1983)

  36. Macdonald, I.G.: Affine Hecke Algebras and Orthogonal Polynomials. Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge (2003)

  37. Misra, K., Mohamad, M., Okado, M.: Zero action on perfect crystals for \({U_q(G^{(1)}_2)}\). SIGMA Symmetry Integrability Geom. Methods Appl., vol. 6. Paper 022, pp 12 (2010)

  38. Nakayashiki A., Yamada Y.: Kostka polynomials and energy functions in solvable lattice models. Selecta Math. (N.S.) 3, 547–599 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  39. Okado M., Schilling A., Shimozono M.: Virtual crystals and Kleber’s algorithm. Commun. Math. Phys. 238, 187–209 (2003)

    MathSciNet  MATH  Google Scholar 

  40. Okado M., Schilling A., Shimozono M.: Virtual crystals and fermionic formulas of type \({D_{n+1}^{(2)}, A_{2n}^{(2)}}\), and \({C_n^{(1)}}\). Represent. Theory 7, 101–163 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  41. Ram A., Yip M.: A combinatorial formula for Macdonald polynomials. Adv. Math. 226, 309–331 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  42. Schilling A.: A bijection between type \({D^{(1)}_n}\) crystals and rigged configurations. J. Algebra 285, 292–334 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  43. Schilling, A., Tingley, P.: Demazure crystals, Kirillov–Reshetikhin crystals, and the energy function. arXiv:1104.2359. Electron. J. Comb. (to appear)

  44. Schilling A., Warnaar S.O.: Inhomogeneous lattice paths, generalized Kostka polynomials and A n-1 supernomials. Commun. Math. Phys. 202, 359–401 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  45. Sheats J.: A symplectic jeu de taquin bijection between the tableaux of King and of De Concini. Trans. Am. Math. Soc. 351, 3569–3607 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  46. Shimozono M.: A cyclage poset structure for Littlewood–Richardson tableaux. Eur. J. Combin. 22, 365–393 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  47. Shimozono M.: Affine type A crystal structure on tensor products of rectangles, Demazure characters, and nilpotent varieties. J. Algebraic Combin. 15, 151–187 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  48. Stein, W.A., others.: Sage Mathematics Software (Version 4.7). The Sage Development Team (2011). http://www.sagemath.org

  49. The Sage-Combinat community. Sage-Combinat: enhancing Sage as a toolbox for computer exploration in algebraic combinatorics, 2008–2011. http://combinat.sagemath.org

  50. Sundaram S.: The Cauchy identity for Sp(2n). J. Combin. Theory Ser. A 53, 209–238 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  51. Shimozono M., Zabrocki M.: Deformed universal characters for classical and affine algebras. J. Algebra 299, 33–61 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  52. Yamane Y.: Perfect crystals of \({U_q(G_2^{(1)})}\). J. Algebra 210, 440–486 (1998)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Cristian Lenart.

Additional information

C. Lenart was partially supported by the Research in Pairs program of Mathematiches Forschungsinstitut Oberwolfach, the NSF grant DMS-1101264, and an Individual Development Award from SUNY Albany. A. Schilling was partially supported by the NSF grants DMS-0652641, DMS-0652652, DMS-1001256, the “Research in Pairs” program by the Mathematiches Forschungsinstitut Oberwolfach in 2011, and the Hausdorff Institut in Bonn.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lenart, C., Schilling, A. Crystal energy functions via the charge in types A and C . Math. Z. 273, 401–426 (2013). https://doi.org/10.1007/s00209-012-1011-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00209-012-1011-2

Mathematics Subject Classification

Navigation