Abstract
In this note, we provide a short proof of Theorem 4.3 in the paper titled Crystals, semistandard tableaux and cyclic sieving phenomenon, by Y.-T. Oh and E. Park, which concerns a cyclic sieving phenomenon on semi-standard Young tableaux. We also extend their result to skew shapes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The cyclic sieving phenomenon (CSP) was introduced by Reiner et al. [13]. Given a set X, a cyclic group C of order n acting on X and a polynomial f(q), the triple (X, C, f(q)) is said to exhibit the cyclic sieving phenomenon if for all \(k \in {\mathbb {Z}}\),
where g is a generator of C, and \(\xi \) is a primitive nth root of unity. To this date, there many different instances of the cyclic sieving phenomenon has been proved; see for example, the survey by Sagan [14].
Let \(\textrm{SSYT}(\lambda , n)\) denote the set of skew semi-standard Young tableaux with shape \(\lambda \) and maximal entry at most n. Note that this set is empty unless \({{\,\mathrm{\ell }\,}}(\lambda )\le n\). We also set \(n(\lambda ):= \sum _{j} (j-1) \lambda _j\). The Schur polynomial \(\textrm{s}_\lambda (\textbf{x})\) is defined as
where \(\textbf{x}^T\) is the monomial \(x_1^{w_1(T)} \cdots x_n^{w_n(T)}\) and \(w_i(T)\) is the number of entries in T equal to i; see [9, 16] for more background. The symmetric group \(S_n\) act on \(\textrm{SSYT}(\lambda ,n)\) via type A crystal reflection operators; see Kashiwara and Nakashima [7] and Shimozono’s [15] survey for an excellent background. The book [4] provides a more thorough introduction.
Oh and Park [11] show that the triple
exhibits the cyclic sieving phenomenon, where \(c_n = \tilde{\textrm{s}}_1 \tilde{\textrm{s}}_2\cdots \tilde{\textrm{s}}_{n-1}\) is a product of crystal reflection operators. Note that \(c_n\) has order n. In this note, we generalize (1.1) to skew shapes, and refine the statement to smaller sets of tableaux; see Theorem 3.4 and Corollary 3.5. The CSP in (1.1) is in stark contrast with the conjectured CSP in [1], where we conjecture that there is a cyclic group C of order n, acting on \(\textrm{SSYT}(n\lambda ,m)\) and
is a CSP-triple (with no restriction on m). Here, \(n\lambda \) denotes element-wise multiplication \((n\lambda _1,\dotsc ,n\lambda _\ell )\). This conjecture was recently proved in [12, Cor. 4.4] using crystals. Notably, (1.2) does not extend to skew shapes in general, and it is an open problem to characterize for which combinations of skew shapes, n and m for which (1.2) holds. However, some notable skew cases have been resolved; see [8, Thm. 1, Thm. 2].
A SYT analog of (1.2) is proved in [3, Thm. 49], where we show that there is a group C of order n acting on the set of skew standard Young tableaux of shape \(n\lambda /n\mu \), such that
is a CSP-triple. Here, \(f^{n\lambda /n\mu }(q)\) is the major-index generating polynomial for skew SYT.
2 Preliminaries
Let \(\textrm{WCOMP}(m,n)\) denote the set of weak compositions, which is the set of vectors \((\alpha _1,\dotsc ,\alpha _n)\) in \({\mathbb {N}}_{\ge 0}^n\) such that \(\alpha _1+\alpha _2+\cdots +\alpha _n = m\). Given a composition \(\alpha \), we let \(|\alpha |\) denote the sum of the entries. We use the same notation for integer partitions, and we let \(|\lambda /\mu |\) denote the difference \(|\lambda |-|\mu |\) whenever \(\lambda /\mu \) is a skew shape.
Given a weak composition \(\alpha \), let \(\textrm{SSYT}(\lambda /\mu ,\alpha )\) denote the subset of \(\textrm{SSYT}(\lambda /\mu , n)\) where each tableau has exactly \(\alpha _i\) entries equal to i. Note that this set is non-empty only if \(|\lambda /\mu |=|\alpha |\). If \(\mu = \emptyset \), we simply write \(\textrm{SSYT}(\lambda ,\alpha )\), and \(|\textrm{SSYT}(\lambda ,\alpha )|\) is the Kostka coefficient \(K_{\lambda ,\alpha }\). The skew Schur polynomial \(\textrm{s}_{\lambda /\mu }(\textbf{x})\) is defined analogously to the Schur polynomials, as a sum over skew SSYT:
For a weak composition \(\alpha = (\alpha _1,\dotsc ,\alpha _n)\), let \({{\,\textrm{cyc}\,}}_r(\alpha )\) denote the cyclic shift \((\alpha _{1+r},\alpha _{2+r},\dotsc ,\alpha _{n+r})\) where indices are computed modulo n. In particular, \(\alpha = {{\,\textrm{cyc}\,}}_n(\alpha )\).
Lemma 2.1
Let \(\alpha \in \textrm{WCOMP}(m,n)\) and suppose that \(\gcd (m,n)=1\). Then, all cyclic shifts \({{\,\textrm{cyc}\,}}_1(\alpha )\), \({{\,\textrm{cyc}\,}}_2(\alpha )\), \(\dotsc \), \({{\,\textrm{cyc}\,}}_n(\alpha )\) are different.
Proof
Suppose two cyclic shifts of \(\alpha \) are equal. Then,
where \(kl=n\) and \(k>1\). Then, \(k(a_1+\cdots +a_l)=m\) so it follows that k|m. But then \(k | \gcd (m,n)\), a contradiction. \(\square \)
Corollary 2.2
Let \(\lambda /\mu \) be a skew shape and \(\alpha \in \textrm{WCOMP}(|\lambda /\mu |,n)\) such that \(\gcd (|\lambda /\mu |,n)=1\). Then, the sets \(\{ \textrm{SSYT}(\lambda /\mu , {{\,\textrm{cyc}\,}}_r(\alpha )) \}_{r=1}^n\) are pairwise disjoint.
Lemma 2.3
Let \(\alpha \in \textrm{WCOMP}(m,n)\) such that \(\gcd (m,n)=1\). Then, \(z_1,z_2,\dotsc ,z_n\) defined via \(z_r:= \sum _{j=1}^n j \alpha _{j+r}\) for \(r=1,2,\dotsc ,n\) are all different mod n.
Proof
It is easy to see that for all \(r=1,2,\dotsc ,n-1\), we have the relation \(z_{r+1} \equiv z_r + m \mod n\). Since \(\gcd (m,n)=1\), the statement now follows from standard group theory. \(\square \)
Corollary 2.4
Let \(\lambda /\mu \) be a skew shape and \(\alpha \in \textrm{WCOMP}(|\lambda /\mu |,n)\) such that \(\gcd (|\lambda /\mu |,n)=1\). Then,
is a multiple of \([n]_q = 1+q+q^2+\cdots + q^{n-1}\) \(\mod q^n-1\).
Proof
By unraveling the definitions, (2.1) is equal to
where indices are taken modulo n. Since the cardinality of \(\textrm{SSYT}(\lambda /\mu ,{{\,\textrm{cyc}\,}}_r(\alpha ))\) does not depend on the ordering of the entriesFootnote 1 in \(\alpha \), the expression (2.1) is equal to
By Lemma 2.3, the sum is now equal to \([n]_q\) mod \((q^n-1)\), which proves the assertion.
\(\square \)
3 Crystals and Main Proofs
We have that \(S_n\) act on \(\textrm{SSYT}(\lambda /\mu , n)\) via type A crystal reflection operators, see definition in Shimozono’s survey [15]. We briefly sketch the definition here.
Definition 3.1
Let \(T \in \textrm{SSYT}(\lambda /\mu )\) be a skew Young tableau. The crystal reflection operator \(\tilde{\textrm{s}}_i\) acts on T as follows. First, consider only the entries i and \(i+1\) in T; these entries constitute a sub-tableau \(T'\) of T with at most two entries in each column. If a column of \(T'\) contains two entries, these must be i and \(i+1\). By reading the columns from left to right, ignoring columns with 0 or 2 entries, we obtain a word w in the letters i and \(i+1\). We now treat each entry i as a right parenthesis and each \(i+1\) as a left parenthesis. Entries which are matched under normal bracketing rules are now ignored, and we are left with a subword of w of the form \(i^a \; (i+1)^b\) with \(a,b \ge 0\). By replacing some is with \((i+1)\)s or vice versa, this subword can uniquely be turned into the subword \(i^b \; (i+1)^a\). Finally, \(\tilde{\textrm{s}}_i(T)\) is obtained from T by performing the same replacements as in the subword.
We omit the proof that the result is indeed also a semi-standard Young tableau, and that the \(\tilde{\textrm{s}}_i\) indeed define an \(S_n\) action on \(\textrm{SSYT}(\lambda /\mu , n)\); see [4] for details.
Example 3.2
For example, with \(i=2\) and T as follows:
![](http://media.springernature.com/lw342/springer-static/image/art%3A10.1007%2Fs41980-023-00747-x/MediaObjects/41980_2023_747_Equ21_HTML.png)
we obtain the subword \(w=33 2 2233 2233 33\) (bold entries in T). After bracketing, we get the subword 23333, and this is turned into 22223 by \(\tilde{\textrm{s}}_2\). Hence, \(\tilde{\textrm{s}}_2(T)\) is given by
![](http://media.springernature.com/lw342/springer-static/image/art%3A10.1007%2Fs41980-023-00747-x/MediaObjects/41980_2023_747_Equ22_HTML.png)
where the bold entries now indicate the difference between T and \(\tilde{\textrm{s}}_2(T)\).
The simple reflection \(\tilde{\textrm{s}}_i \in S_n\) is an involution
where \(s_i\) act on \(\alpha \) by interchanging entries at positions i and \(i+1\). Let \(c_n:= \tilde{\textrm{s}}_1 \tilde{\textrm{s}}_2\cdots \tilde{\textrm{s}}_{n-1} \in S_n\), and let \(\alpha \in \textrm{WCOMP}(|\lambda /\mu |,n)\). One can then show that \(c_n\) gives a bijection
and \(\langle c_n \rangle \subseteq S_n\) is a cyclic group of order n. These properties of \(c_n\) in (3.2) are the only properties of crystal operators that we shall use in this note. Note that the \(c_n\)-action is different from promotion obtained as a product of Bender–Knuth involutions, as promotion does not have order n in general.
Example 3.3
Let \(\lambda /\mu = 322/1\) and \(\alpha = (2,1,2,1)\). Then,
![](http://media.springernature.com/lw384/springer-static/image/art%3A10.1007%2Fs41980-023-00747-x/MediaObjects/41980_2023_747_Equ23_HTML.png)
are two orbits under \(c_4\). Note that \(\gcd (6,4)=2\) here, so Corollary 2.2, and Lemma 2.3, Corollary 2.4 do not apply.
Theorem 3.4
Let \(\lambda /\mu \) be a skew shape with \(m = |\lambda /\mu |\) and \(\alpha \in \textrm{WCOMP}(|\lambda /\mu |,n)\) such that \(\gcd (m,n)=1\). Furthermore, let X be the (disjoint) union
Then, the triple
exhibits the cyclic sieving phenomenon.
Proof
By Corollary 2.2, it follows that every \(c_n \)-orbit in X has size n. By Corollary 2.4, we have that \(f(q):= \sum _{T \in X} q^{w_1(T)+w_2(T)+\cdots + w_n(T)}\) is a multiple of \([n]_q\). It follows that for all \(k \in {\mathbb {Z}}\),
where \(\xi \) is a \(n\textrm{th}\) root of unity so the triple is indeed a CSP-triple. \(\square \)
Corollary 3.5
Let \(\gcd (|\lambda /\mu |,n)=1\). Then, the triple
exhibits the cyclic sieving phenomenon. Moreover, if \(\mu =\emptyset \),
is also a CSP-triple.
Proof
By summing over all possible compositions \(\alpha \) in \(\textrm{WCOMP}(|\lambda /\mu |,n)\) in Theorem 3.4, we immediately have that
is a CSP-triple and \(\textrm{s}_{\lambda /\mu }(q,q^2,\dotsc ,q^n)\) evaluates to 0 for all \(q=\xi ,\xi ^2,\dotsc ,\xi ^{n-1}\) whenever \(\xi \) is a primitive \(n^\textrm{th}\) root of unity. It is also straightforward to see that \(\textrm{s}_{\lambda /\mu }(q,q^2,\dotsc ,q^n) = q^{|\lambda /\mu |} \textrm{s}_{\lambda /\mu }(1,q,\dotsc ,q^{n-1}), \) so \(\textrm{s}_{\lambda /\mu }(1,q,\dotsc ,q^{n-1})\) must evaluate to 0 for all \(q=\xi ,\xi ^2,\dotsc ,\xi ^{n-1}\) as well. Since entries in row j in a non-skew semi-standard Young tableau have value at least j, \(q^{-n(\lambda )}\textrm{s}_{\lambda }(1,q,\dotsc ,q^{n-1})\) is a polynomial in q. These observations prove the two statements. \(\square \)
We can actually say something much more general, where a cyclic sieving phenomenon can be constructed for any homogeneous, Schur-positive symmetric function.
Corollary 3.6
Let \(f(\textbf{x}) = \sum _{T \in X} \textbf{x}^T\) be a homogeneous symmetric function of degree m, such that the Schur expansion \( f(\textbf{x}) = \sum _{\lambda \vdash m} d_{\lambda } \textrm{s}_\lambda (\textbf{x}) \) is non-negative with \(d_{\lambda } \in {\mathbb {N}}\). Furthermore, suppose \(\gcd (m,n)=1\) and that there is a bijection \(\psi \):
Moreover, suppose that there is a cyclic group action \(\langle c_n \rangle \) of order n act on X in such a way that it acts (via \(\psi \)) as the product of crystal reflections \(c_n\) on \(\textrm{SSYT}(\lambda ,n)\). Then,
is a CSP-triple, and every orbit under \(c_n\) has size n.
Note that such a bijection \(\psi \) and action \(c_n\) can in principle be found for any Schur-positive symmetric function. In particular, we can use the Littlewood–Richardson rule on \(\textrm{s}_{\lambda /\mu }(x_1,\dotsc ,x_n)\), to express it as a non-negative sum of non-skew Schur polynomials and then apply previous corollary.
The previous corollary can then be applied to the following families of symmetric functions, whose Schur expansion can be proved by an explicit bijection \(\psi \), and there is a type A crystal structure on the underlying combinatorial objects: Modified Hall–Littlewood symmetric functions, [6], type A and Stanley symmetric functions, [10], type C Stanley symmetric functions, [5], specialized non-symmetric Macdonald polynomials; see [2], and (some) dual k-Schur functions, [10].
Notes
Well-known, but the involutions in (3.1) further down establishes this explicitly.
References
Alexandersson, P., Amini, N.: The cone of cyclic sieving phenomena. Discret. Math. 342(6), 1581–1601 (2019). https://doi.org/10.1016/j.disc.2019.01.037
Assaf, S., González, N.: Affine Demazure crystals for specialized nonsymmetric Macdonald polynomials. Algebr. Combin. 4(5), 777–793 (2021). https://doi.org/10.5802/alco.178
Alexandersson, P., Pfannerer, S., Rubey, M., Uhlin, J.: Skew characters and cyclic sieving. Forum Math. Sigma 9, e41 (2021). https://doi.org/10.1017/fms.2021.11
Bump, D., Schilling, A.: Crystal Bases: Representations and Combinatorics. World Scientific, Singapore (2017). https://doi.org/10.1142/9876
Hawkes, G., Paramonov, K., Schilling, A.: Crystal analysis of type C Stanley symmetric functions. Electron. J. Combin. 24, 3 (2017). https://doi.org/10.37236/6952
Kaliszewski, R., Morse, J.: Colorful combinatorics and Macdonald polynomials. Eur. J. Combin. 81, 354–377 (2019). https://doi.org/10.1016/j.ejc.2019.05.006
Kashiwara, M., Nakashima, T.: Crystal graphs for representations of the q-analogue of classical Lie algebras. J. Algebra 165(2), 295–345 (1994). https://doi.org/10.1006/jabr.1994.1114
Lee, S.-Y., Oh, Y.-T.: Skew Schur polynomials and cyclic sieving phenomenon. Electron. J. Combin. 29, 4 (2022). https://doi.org/10.37236/10941
Macdonald, I.G.: Symmetric Functions and Hall Polynomials. Oxford Mathematical Monographs, 2nd edn. The Clarendon Press, New York (1995). (With contributions by A. Zelevinsky, Oxford Science Publications)
Morse, J., Schilling, A.: Crystal approach to affine Schubert calculus. Int. Math. Res. Not. 2016(8), 2239–2294 (2015). https://doi.org/10.1093/imrn/rnv194
Oh, Y.-T., Park, E.: Crystals, semistandard tableaux and cyclic sieving phenomenon. Electron. J. Combin. 26, 4 (2019). https://doi.org/10.37236/8802
Young-Tak, O., Park, E.: \(q\)-dimensions of highest weight crystals and cyclic sieving phenomenon. Eur. J. Combin. 97, 103372 (2021). https://doi.org/10.1016/j.ejc.2021.103372
Reiner, V., Stanton, D., White, D.E.: The cyclic sieving phenomenon. J. Combin. Theory Ser. A 108(1), 17–50 (2004). https://doi.org/10.1016/j.jcta.2004.04.009
Sagan, B.E.: The cyclic sieving phenomenon: a survey. In: Chapman, R. (ed.) Surveys in Combinatorics 2011, pp. 183–234. Cambridge University Press, Cambridge (2011). https://doi.org/10.1017/cbo9781139004114.006
Shimozono, M.: Crystals for dummies. Online (2005). https://www.aimath.org/WWN/kostka/crysdumb.pdf
Stanley, R.P.: Enumerative Combinatorics, vol. 2, 1st edn. University Press, Cambridge (2001). https://doi.org/10.1017/CBO9780511609589
Funding
Open access funding provided by Stockholm University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Majid Soleimani-damaneh.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Alexandersson, P. Free Action and Cyclic Sieving on Skew Semi-standard Young Tableaux. Bull. Iran. Math. Soc. 49, 6 (2023). https://doi.org/10.1007/s41980-023-00747-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s41980-023-00747-x