Cyclic sieving and plethysm coefficients
HTML articles powered by AMS MathViewer
- by David B. Rush PDF
- Trans. Amer. Math. Soc. 371 (2019), 923-947 Request permission
Abstract:
A combinatorial expression for the coefficient of the Schur function $s_{\lambda }$ in the expansion of the plethysm $p_{n/d}^d \circ s_{\mu }$ is given for all $d$ dividing $n$ for the cases in which $n=2$ or $\lambda$ is rectangular. In these cases, the coefficient $\langle p_{n/d}^d \circ s_{\mu }, s_{\lambda } \rangle$ is shown to count, up to sign, the number of fixed points of an $\langle s_{\mu }^n, s_{\lambda } \rangle$-element set under the $d$th power of an order-$n$ cyclic action. If $n=2$, the action is the Schützenberger involution on semistandard Young tableaux (also known as evacuation), and, if $\lambda$ is rectangular, the action is a certain power of Schützenberger and Shimozono’s jeu-de-taquin promotion.
This work extends results of Stembridge and Rhoades linking fixed points of the Schützenberger actions to ribbon tableaux enumeration. The conclusion for the case $n=2$ is equivalent to the domino tableaux rule of Carré and Leclerc for discriminating between the symmetric and antisymmetric parts of the square of a Schur function.
References
- Jason Bandlow, Anne Schilling, and Nicolas M. Thiéry, On the uniqueness of promotion operators on tensor products of type $A$ crystals, J. Algebraic Combin. 31 (2010), no. 2, 217–251. MR 2592077, DOI 10.1007/s10801-009-0182-3
- Arkady Berenstein and Anatol N. Kirillov, Domino tableaux, Schützenberger involution, and the symmetric group action, Discrete Math. 225 (2000), no. 1-3, 15–24 (English, with English and French summaries). Formal power series and algebraic combinatorics (Toronto, ON, 1998). MR 1798322, DOI 10.1016/S0012-365X(00)00145-X
- Arkady Berenstein and Andrei Zelevinsky, Canonical bases for the quantum group of type $A_r$ and piecewise-linear combinatorics, Duke Math. J. 82 (1996), no. 3, 473–502. MR 1387682, DOI 10.1215/S0012-7094-96-08221-6
- Anders Björner and Francesco Brenti, Combinatorics of Coxeter groups, Graduate Texts in Mathematics, vol. 231, Springer, New York, 2005. MR 2133266
- Christophe Carré and Bernard Leclerc, Splitting the square of a Schur function into its symmetric and antisymmetric parts, J. Algebraic Combin. 4 (1995), no. 3, 201–231. MR 1331743, DOI 10.1023/A:1022475927626
- Jie Du, Canonical bases for irreducible representations of quantum $\textrm {GL}_n$, Bull. London Math. Soc. 24 (1992), no. 4, 325–334. MR 1165373, DOI 10.1112/blms/24.4.325
- William Fulton, Young tableaux, London Mathematical Society Student Texts, vol. 35, Cambridge University Press, Cambridge, 1997. With applications to representation theory and geometry. MR 1464693
- André Henriques and Joel Kamnitzer, The octahedron recurrence and ${\mathfrak {gl}}_{\mathfrak {n}}$ crystals, Adv. Math. 206 (2006), no. 1, 211–249. MR 2261754, DOI 10.1016/j.aim.2005.08.007
- Gordon James and Adalbert Kerber, The representation theory of the symmetric group, Encyclopedia of Mathematics and its Applications, vol. 16, Addison-Wesley Publishing Co., Reading, Mass., 1981. With a foreword by P. M. Cohn; With an introduction by Gilbert de B. Robinson. MR 644144
- Anthony Joseph, Quantum groups and their primitive ideals, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 29, Springer-Verlag, Berlin, 1995. MR 1315966, DOI 10.1007/978-3-642-78400-2
- Masaki Kashiwara and Toshiki Nakashima, Crystal graphs for representations of the $q$-analogue of classical Lie algebras, J. Algebra 165 (1994), no. 2, 295–345. MR 1273277, DOI 10.1006/jabr.1994.1114
- David Kazhdan and George Lusztig, Representations of Coxeter groups and Hecke algebras, Invent. Math. 53 (1979), no. 2, 165–184. MR 560412, DOI 10.1007/BF01390031
- Alain Lascoux, Bernard Leclerc, and Jean-Yves Thibon, Crystal graphs and $q$-analogues of weight multiplicities for the root system $A_n$, Lett. Math. Phys. 35 (1995), no. 4, 359–374. MR 1358301, DOI 10.1007/BF00750843
- Alain Lascoux, Bernard Leclerc, and Jean-Yves Thibon, Ribbon tableaux, Hall-Littlewood functions, quantum affine algebras, and unipotent varieties, J. Math. Phys. 38 (1997), no. 2, 1041–1068. MR 1434225, DOI 10.1063/1.531807
- D. E. Littlewood, Modular representations of symmetric groups, Proc. Roy. Soc. London Ser. A 209 (1951), 333–353. MR 49896, DOI 10.1098/rspa.1951.0208
- Dudley E. Littlewood, The Theory of Group Characters and Matrix Representations of Groups, Oxford University Press, New York, 1940. MR 0002127
- I. G. Macdonald, Symmetric functions and Hall polynomials, 2nd ed., Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, 1995. With contributions by A. Zelevinsky; Oxford Science Publications. MR 1354144
- V. Reiner, D. Stanton, and D. White, The cyclic sieving phenomenon, J. Combin. Theory Ser. A 108 (2004), no. 1, 17–50. MR 2087303, DOI 10.1016/j.jcta.2004.04.009
- Brendon Rhoades, Cyclic sieving, promotion, and representation theory, J. Combin. Theory Ser. A 117 (2010), no. 1, 38–76. MR 2557880, DOI 10.1016/j.jcta.2009.03.017
- Brendon Rhoades and Mark Skandera, Kazhdan-Lusztig immanants and products of matrix minors, J. Algebra 304 (2006), no. 2, 793–811. MR 2264279, DOI 10.1016/j.jalgebra.2005.07.017
- D. B. Rush, Cyclic sieving and plethysm coefficients, arXiv:1408.6484v1.
- M. P. Schützenberger, Promotion des morphismes d’ensembles ordonnés, Discrete Math. 2 (1972), 73–94 (French). MR 299539, DOI 10.1016/0012-365X(72)90062-3
- Mark Shimozono, Affine type A crystal structure on tensor products of rectangles, Demazure characters, and nilpotent varieties, J. Algebraic Combin. 15 (2002), no. 2, 151–187. MR 1887233, DOI 10.1023/A:1013894920862
- Mark Skandera, On the dual canonical and Kazhdan-Lusztig bases and 3412-, 4231-avoiding permutations, J. Pure Appl. Algebra 212 (2008), no. 5, 1086–1104. MR 2387587, DOI 10.1016/j.jpaa.2007.09.007
- Richard P. Stanley, Enumerative combinatorics. Vol. 2, Cambridge Studies in Advanced Mathematics, vol. 62, Cambridge University Press, Cambridge, 1999. With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin. MR 1676282, DOI 10.1017/CBO9780511609589
- Dennis W. Stanton and Dennis E. White, A Schensted algorithm for rim hook tableaux, J. Combin. Theory Ser. A 40 (1985), no. 2, 211–247. MR 814412, DOI 10.1016/0097-3165(85)90088-3
- John R. Stembridge, Canonical bases and self-evacuating tableaux, Duke Math. J. 82 (1996), no. 3, 585–606. MR 1387685, DOI 10.1215/S0012-7094-96-08224-1
- John R. Stembridge, A local characterization of simply-laced crystals, Trans. Amer. Math. Soc. 355 (2003), no. 12, 4807–4823. MR 1997585, DOI 10.1090/S0002-9947-03-03042-3
Additional Information
- David B. Rush
- Affiliation: Department of Mathematics, Massachusetts Institute of Technology, 77 Massachusetts Avenue, Cambridge, Massachusetts 02139
- MR Author ID: 1013156
- Email: dbr@mit.edu
- Received by editor(s): August 27, 2014
- Received by editor(s) in revised form: December 28, 2014, March 8, 2017, March 9, 2017, March 14, 2017, and March 24, 2017
- Published electronically: July 31, 2018
- Additional Notes: This research was undertaken at the University of Michigan, Ann Arbor, under the direction of Professor David Speyer and with the financial support of the U.S. National Science Foundation via grant DMS-1006294. Throughout his graduate studies, the author was supported by the NSF Graduate Research Fellowship Program.
- © Copyright 2018 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 371 (2019), 923-947
- MSC (2010): Primary 05E05, 05E10
- DOI: https://doi.org/10.1090/tran/7244
- MathSciNet review: 3885166