2023-12-05

See the cyclic sieving phenomenon page for the definition and related theorems.

## Standard Young tableaux

### Rectangular SYT

Let $\SYT(a^b)$ the set set of standard Young tableaux with $b$ rows of length $a,$ and let $\langle \partial \rangle = \grpc_{ab}$ be the cyclic group generated by promotion. Finally, for a partition $\lambda \vdash n$ define the $q$-analogue of the hook formula

\[ f^{\lambda}(q) \coloneqq \frac{[n]_q!}{\prod_{\square \in \lambda} [h(\square)]_q}. \]Then $ (\SYT(a^b), \grpc_{ab}, f^{a^b}(q)) $ is a CSP-triple, see B. Rhoades [Rho10a].

For a different proof using Wronskians, see [Pur13]. An overview of different approaches is given in the master's thesis by D. Rhee [Rhe12]. See also C. Ahlbach [Ahl19] for some related results and open conjectures. In particular, Ahlbach explicitly describes the fixed-points under the promotion.

Other alternative proofs can be found in [FK13], [Wes16] and [Wes19].

The 3-row case can also be seen as rotation of certain graphs introuced in [Kup96]. The cyclic sieving-result is proved in [PPR08]. These graphs constitute a so-called web basis for $U_q(\mathfrak{sl}_3).$

The 4-row case can be interpreted as rotation of *hourglass plabic graphs* introduced
in [GPPSS23].
That is, there is a bijection between 4-row rectanguar SYT and hourglass plabic graphs,
such that promotion on the SYTs maps to rotation of these planar graphs.
These graphs give rise to a web basis for $U_q(\mathfrak{sl}_4).$

### Stretched SYT

In [APRU20], we show that there exists a cyclic group action of order $n,$ such that for any $\lambda,$

\[ \left( \SYT( n \lambda), C_n, f^{n \lambda}(q) \right) \]is a CSP-triple. It is unclear what this group action might be.

### Staircase and other SYT

Let $sc_k$ be the staircase shape for the partition $(k,k-1,\dotsc,2,1).$ In [PW11], the authors show that promotion on $\SYT(sc_k)$ is acting in a nice fashion, but they do not manage to show a cyclic sieving phenomenon. In [Pur18], building on his earlier work using Wronskians to understand promotion, and by considering the Lagrangian Grassmannian, Purbhoo showed that every promotion symmetry class for the staircase is counted by the number of certain ribbon tableaux. N. Williams conjectured a product formula for a polynomial which should be a CSP polynomial for the action of promotion on $\SYT(sc_k)$: see [Hop20a] for this conjecture.

Now let $ssc_k$ be the shifted staircase shape for the strict partition $(k,k-1,\dotsc,2,1).$ By considering the orthogonal Grassmannian, Purbhoo [Pur18] showed that every symmetry class of promotion on $\SYT(ssc_k)$ can again be counted by the number of certain ribbon tableaux. Using this result of Purbhoo, Sekheri–Schank–Djermane [SSD14] verified that

\[ (\SYT(ssc_k),\langle\partial\rangle,f(q)) \]is a CSP-triple, where

\[ f(q)\coloneqq \frac{[k(k+1)/2]_q!}{\prod_{1\leq i \leq j \leq k}[i+j-1]_q}, \]which is again the major index generating function for these SYTs.

For more results/conjectures on CSPs for promotion acting on linear extensions of various posets (including the shifted trapezoid shape, the shifted double staircase shape, and the "$\mathsf{V}\times[n]$" poset), see [Hop20a].

## Semistandard type tableaux

### Rectangular SSYT

Let $\SSYT(a^b,k)$ the set set of semi-standard Young tableaux with $b$ rows of length $a$ and entries less then or equal to $k.$ Let $\langle \partial \rangle = \grpc_{k}$ be the cyclic group generated by $k$-promotion. Consider the $q$-analogue of the hook-content formula:

\[ X_{\lambda,k}(q) \coloneqq q^{-n(\lambda)} \schurS_\lambda(1,q,q^2,\dotsc,q^{k-1}) = \prod_{(i,j) \in \lambda} \frac{[n+c(i,j)]_q}{ [h(i,j)]_q}. \]Then $ (\SSYT(a^b,k), \grpc_{k}, X_{\lambda,k}(q)) $ is a CSP-triple, [Rho10a]. This result can also be deduced from [SW20] by mapping promotion to toggles.

In [FK13], B. Rhoades result is refined in the following manner. Let $\gamma$ be a composition of $ab,$ such that $\gamma$ is invariant under $\ell$-th cyclic shift, and let $\partial$ denote the $k$-promotion operator. Then

\[ \left( \SSYT(a^b,\gamma), \langle \partial^\ell \rangle, q^{\frac12(a^2 b- (i_1^2+i_2^2+\dotsb + i^2_m) } K_{a^b,\gamma}(q) \right) \]is a CSP-triple. Here $K_{\lambda,\nu}(q)$ is a Kostka–Foulkes polynomial.

### Hook SSYT

The following results are proved by M. Bennett, B. Madill and A. Stokke, [BMS14]. Let $\alpha$ be a weak composition with $k$ parts and let $\lambda = (n-m,1^m)$ be a hook shape with $n$ boxes. Then

\[ |\SSYT(\lambda,\alpha)| = \binom{ nz(\alpha)-1}{m} \]where $nz(\alpha)$ is the number of non-zero parts in $\alpha.$

The *cyclic symmetry* of a weak composition $\alpha$ is defined as
the smallest positive integer $p$ such that $\alpha$ is expressible as the concatenation
$(\beta,\beta,\dotsc,\beta)$ where $\beta$ is a composition with $p$ parts.

**Theorem.**

Let $\lambda = (n-m,1^m),$ and suppose $\alpha$ is a weak composition of $n$ with $k$ parts and cyclic symmetry $p.$ Furthermore, let $\promotion_k$ denote $k$-promotion. Then

\[ \left( \SSYT(\lambda,\alpha), \langle \promotion_k^p \rangle, \qbinom{ nz(\alpha)-1}{m}_q \right) \]is a CSP-triple, and the cyclic group has order $nz(\alpha)-1.$

### SSYT of arbitrary shape

In [OP19], Y.-T. Oh and E. Park provide a new CSP on $\SSYT(\lambda,n)$ with a group action of order $n$ whenever $\gcd(n,|\lambda|)=1.$ The element $c \coloneqq \cryss_1 \cryss_2 \dotsb \cryss_{n-1} \in \symS_n$ act on $\SSYT(\lambda,n)$ as a product of crystal reflection operators. Note that this is similar to how the promotion operator is defined, but in contrast with promotion, the element $c$ has order $n$ for all partitions $\lambda$ when acting on $\SSYT(\lambda,n).$ The authors then prove that whenever $\gcd(n,|\lambda|)=1,$

\[ (\SSYT(\lambda,n), \langle c \rangle , X_{\lambda,k}(q)) \]is a CSP-triple, where $X_{\lambda,n}(q) = q^{-n(\lambda)} \schurS_\lambda(1,q,q^2,\dotsc,q^{n-1}).$
They prove that every orbit is *free*, meaning that all orbits under $c$
has size $n.$ This means that $X_{\lambda,k}(\xi)=0$ for $\xi$ being a primitive $n$th root of unity,
and that

Their result generalizes to skew shapes, see [Ale23] (where a shorter proof is given as well).

**Example (Orbits for $\lambda=32$ and $n=4$).**

As an example, the following are some of the orbits under $\cryss_{1}\cryss_{2}\cryss_{3}$ on the set $\SSYT(32,4).$ Since $\gcd(4,5)=1,$ the result above applies, and all orbits have size $n=4.$ Each row here is an orbit.

1 | 1 | 3 |

2 | 2 |

2 | 2 | 4 |

3 | 3 |

1 | 1 | 4 |

2 | 4 |

1 | 3 | 4 |

3 | 4 |

1 | 1 | 2 |

2 | 3 |

2 | 2 | 3 |

3 | 4 |

1 | 1 | 2 |

4 | 4 |

1 | 3 | 3 |

4 | 4 |

1 | 1 | 4 |

2 | 2 |

1 | 2 | 3 |

2 | 3 |

1 | 1 | 4 |

3 | 4 |

2 | 3 | 4 |

3 | 4 |

1 | 1 | 2 |

2 | 4 |

1 | 2 | 2 |

3 | 3 |

1 | 1 | 3 |

4 | 4 |

2 | 3 | 3 |

4 | 4 |

1 | 1 | 3 |

2 | 3 |

2 | 2 | 4 |

3 | 4 |

1 | 1 | 4 |

3 | 3 |

1 | 2 | 4 |

2 | 4 |

1 | 1 | 2 |

3 | 3 |

2 | 2 | 3 |

4 | 4 |

1 | 1 | 3 |

3 | 4 |

1 | 2 | 2 |

4 | 4 |

In [Cor. 3.4, OP21], a solution to the Alexandersson–Amini conjecture [AA19b], is proved in the non-skew case.

**Theorem (Oh–Park 2020).**

Let $\lambda$ be a partition so that $n$ divides $\lambda_i - \lambda_j$ for all $i,j.$ Then there is a cyclic group $\grpc_n$ of order $n,$ such that

\[ (\SSYT(\lambda,m),\grpc_n ,q^{-\partitionN(\lambda)}\schurS_{\lambda}(1,q,q^2,\dotsc,q^{m-1})) \]is a CSP-triple.

The cyclic group is not described explicitly. The result by Oh and Park is a semistandard analog of [Thm. 46, APRU20], which concerns standard Young tableaux.

The skew case is partially resolved in [LO22]:

**Theorem (Lee–Oh, 2022).**

Let $\lambda/\mu$ be a skew shape such that $\lambda_i - \mu_i$ is a multiple of $m$ for all $i.$ Then there is a cyclic group $\grpc_m$ of order $m,$ such that

\[ (\SSYT(\lambda/\mu,km),\grpc_m , \schurS_{\lambda/\mu}(1,q,q^2,\dotsc,q^{km-1})) \]is a CSP-triple, for any $k \in \setN.$

They also prove a similar theorem for ribbons:

**Theorem (Lee–Oh, 2022).**

Let $\lambda/\mu$ be a *ribbon shape*, such that $\lambda_i - \mu_i$ is a multiple of $m$ for all $i.$
Then there is a cyclic group $\grpc_m$ of order $m,$ such that

is a CSP-triple.

Moreover, in [LO22] it is shown that the conjecture in [AA19b], regarding stretching of general skew shapes, is not true in general. Taking $\lambda/\mu = 3321/21,$ and $m=9,$ $k=4,$ and looking at $\schurS_{9\lambda/9\mu}(1,q,q^2,q^3),$ gives an example where CSP cannot hold.

The skew shape case is treated further by N. Kumari in [Kum22], but the results there has not yet been peer-reviewed.

## Other types of fillings

### Plane partitions

The following is proved in [SW20], using representation theory, cluster variables and theory of the Grassmanian.

Let

\[ P_{a,b,c}(q) \coloneqq \prod_{i=1}^a \prod_{j=1}^b \prod_{k=1}^c \frac{[i+j+k-1]_q}{[i+j+k-2]_q}. \]This is a $q$-analogue of the number of plane partitions $P_{a,b,c}$ that fit in a $a \times b$-rectangle, and entries $\leq c.$

Let $\pi \in P_{a,b,c}$ and let us for convenience augment the plane partition with values $\pi_{i,0}=\pi_{0,j}=c$ and $\pi_{a+1,j}=\pi_{i,b+1}=0.$ The linear toggle $\tau_{ij}$ produces a new plane partition $\tau_{ij} \pi$ from $\pi$ as follows:

\[ (\tau_{ij} \pi)_{kl} = \begin{cases} \pi_{kl} \text{ if } (i,j)\neq (k,l) \\ \max(\pi_{i,j+1},\pi_{i+1,j} ) - \min(\pi_{i-1,j},\pi_{i,j-1} ) - \pi_{i,j} \text{ if } (i,j) = (k,l). \end{cases} \]Let $\eta$ be the product of linear toggles that hit each square exactly once, from bottom to top, from left to right. That is,

\[ \eta \coloneqq (\tau_{a,1}\tau_{a-1,1} \dotsm \tau_{1,1})\dotsm (\tau_{a,2}\tau_{a-1,2}\dotsm \tau_{1,2})\dotsm \]Then

\[ \left(P_{a,b,c}, \langle \eta \rangle, P_{a,b,c}(q) \right) \]is a CSP-triple, where $\eta$ is of order $a+b.$ This extends an earlier result given in [RS12], where they consider the case $c=1.$

It turns out that this CSP obtained by Shen–Weng is equivalent to the aforementioned CSP for promotion of rectangular SSYT obtained by B. Rhoades; see [Hop20a] for the details of this equivalence.

In [Hop20a], S. Hopkins consider plane partitions with additional symmetry, counting plane partitions in a square under the promotion and transposition-complement operator. The paper contains several interesting conjectures regarding CSP on plane partitions with additional symmetry. See the sections Root posets and Minuscule posets for more discussion on these conjectures.

### Plethysm coefficients

In [Rus18], the author give several instances of cyclic sieving related to plethysm coefficients and promotion. For example, if $\lambda$ is a rectangular partition,

\[ \left( \mathrm{PYTab}(\lambda,\mu^n), \partial, \pm \langle \hallLittlewoodT_{1^n}(\xvec;q) \circ \schurS_\mu, \schurS_\lambda \rangle \right) \]is a CSP-triple. Here, $\mathrm{PYTab}$ is a set of semistandard Young tableaux with given shape and weight, plus a Yamanouchi condition. The function $\hallLittlewoodT_{1^n}(\xvec;q)$ is a transformed Hall–Littlewood polynomial.

### Macdonald $\macdonaldE$ fillings

Consider the specialized non-symmetric Macdonald polynomial $\macdonaldE_{\lambda}(\xvec;q;0),$ where $\lambda$ is a partition. This makes $\macdonaldE_{\lambda}(\xvec;q;0)$ into a symmetric polynomial — in fact it is more or less a modified Hall–Littlewood polynomial. These polynomials in $k$ variables can be realized as a sum over certain non-attacking fillings, $NAF(\lambda,k).$

In [AU20], we prove the following results.

**Theorem (Alexandersson, Uhlin 2020).**

Let $\lambda$ be an integer partition, and $n$ a positive integer. Then

\[ \left( NAF(n\lambda,k), \langle \phi \rangle ,\macdonaldE_{n\lambda}(\underbrace{1,1,\dotsc,1}_k;q;0) \right) \]is a CSP-triple, where $\phi$ act by cyclically shifting blocks of $n$ consecutive columns, and redistributing the entries within columns. Moreover, as $n=1,2,3,\dotsc,$ this is a Lyndon-like family.

Furthermore, this can be refined to the case when we let the content $\nu$ be fixed, i.e.,

\[ \left( NAF(n\lambda,\nu), \langle \phi \rangle ,[\monomial_\nu]\macdonaldE_{n\lambda}(\xvec;q;0) \right) \]is a CSP-triple for every choice of partition $\nu.$

We prove this theorem by using a result by B. Rhoades, [Rho10b], regarding cyclic sieving on matrices.

In the earlier work, [Uhl19], several related results are proved. Note that the case $\lambda = (1),$ gives the the CSP with major index on words of length $n$ with entries in $[k].$

### Increasing tableaux

In [Pec14], the following CSP is described. Let $\lambda\vdash n$ and let $Inc_k(\lambda)$ denote the set of tableaux with strictly increasing rows and columns and with maximal value $n-k,$ such that every number in $[n-k]$ is present at least once. Note that $Inc_0(\lambda) = \SYT(\lambda).$

For $T \in Inc_k(2\times n),$ let $\maj(T)$ be the sum of all entries $j$ in row $1,$ such that $j+1$ appear in row $2.$ It is then proved that

\[ f_{n,k}(q) \coloneqq \sum_{T \in Inc_k(2\times n)} q^{\maj(T)} = q^{n+\binom{k}{2}} \frac{\qbinom{n-1}{k}_q \qbinom{2n-k}{n-k-1}_q }{[n-k]_q}. \]Let $\grpc_{2n-k}$ act by a variant of $k$-promotion on increasing tableaux. Then

\[ \left( Inc_k(2\times n), \grpc_{2n-k}, f_{n,k}(q) \right) \]is a CSP-triple. Note that $Inc_k(2\times n)$ is in bijection with $\SYT(n-k,n-k,1^k).$

The result by Pechenik is generalized in [PSV16], and the authors show that

\[ \left( Inc_k(N-r,1^r), \grpc_{N-k-1}, \qbinom{N-k-1}{r}_q \qbinom{r}{k}_q \right) \]is a CSP-triple, where promotion is used.

In [Che20], formulas for two-row skew shapes are given, and perhaps these exhibit the CSP.

In [GPSS21], the authors prove that packed, increasing tableaux of shape $3 \times k$ and maximal entry $3+k,$ are equinumerous with $\SYT(2^3,1^{k-2}).$ They prove that the set of increasing tableaux under $K$-promotion, together with $f^{(2^3,1^{k-2})}(q)$ is a CSP-triple. Interestingly, the promotion has order $k$ here, even though the number of boxes in the SYTs is $k+1.$

### Alternating sign matrices

There is a canonical $q$-analog of the set of alternating sign matrices,

\[ ASM(n,q) \coloneqq \prod_{k=0}^{n-1} \frac{(3k+1)_q!}{(n+k)_q!}. \]In [N. 07], the authors attribute a CSP to Stanton. Let $\grpc_4$ act on $ASM(n)$ by a quarter-turn. Then $(ASM(n),\grpc_4,ASM(n,q))$ is a CSP-triple. See also this Youtube video by V. Reiner discussing this result.

The authors ask in Question 6.4 if there is a map of order 3, such that $ASM(n,q)$ exhibits CSP.

## References

- [AA19b] Per Alexandersson and Nima Amini. The cone of cyclic sieving phenomena. Discrete Mathematics, 342(6):1581–1601, 2019.
- [Ahl19] Connor Ahlbach. Tableau stabilization and rectangular tableaux fixed by promotion powers. arXiv e-prints, 2019.
- [Ale23] Per Alexandersson. Free action and cyclic sieving on skew semi-standard Young tableaux. Bulletin of the Iranian Mathematical Society, 49(1), January 2023.
- [APRU20] Per Alexandersson, Stephan Pfannerer, Martin Rubey and Joakim Uhlin. Skew characters and cyclic sieving. arXiv e-prints, 2020. To appear in SIGMA
- [AU20] Per Alexandersson and Joakim Uhlin. Cyclic sieving, skew Macdonald polynomials and Schur positivity. Algebraic Combinatorics, 3(4):913-939, 2020.
- [BMS14] Max Bennett, Blake Madill and Anna Stokke. Jeu-de-taquin promotion and a cyclic sieving phenomenon for semistandard hook tableaux. Discrete Mathematics, 319:62–67, March 2014.
- [Che20] Xiaomei Chen. Generalized Schröder paths and Young tableaux with skew shapes. arXiv e-prints, 2020.
- [FK13] Bruce Fontaine and Joel Kamnitzer. Cyclic sieving, rotation, and geometric representation theory. Selecta Mathematica, 20(2):609–625, November 2013.
- [GPPSS23] Christian Gaetz, Oliver Pechenik, Stephan Pfannerer, Jessica Striker and Joshua P. Swanson. Rotation-invariant web bases from hourglass plabic graphs. arXiv e-prints, 2023.
- [GPSS21] Christian Gaetz, Oliver Pechenik, Jessica Striker and Joshua P. Swanson. Curious cyclic sieving on increasing tableaux. arXiv e-prints, 2021.
- [Hop20a] Sam Hopkins. Cyclic sieving for plane partitions and symmetry. Symmetry, Integrability and Geometry: Methods and Applications, December 2020.
- [Kum22] Nishu Kumari. Skew hook Schur functions and the cyclic sieving phenomenon. arXiv e-prints, 2022.
- [Kup96] Greg Kuperberg. Spiders for rank {$2$} Lie algebras. Communications in Mathematical Physics, 180(1):109–151, September 1996.
- [LO22] So-Yeon Lee and Young-Tak Oh. Skew Schur polynomials and cyclic sieving phenomenon. The Electronic Journal of Combinatorics, 29(4), October 2022.
- [N. 07] A. Cloninger N. Stephens-Davidowitz. The cyclic sieving phenomenon on the alternating sign matrices. Online 2007.
- [OP19] Young-Tak Oh and Euiyong Park. Crystals, semistandard tableaux and cyclic sieving phenomenon. The Electronic Journal of Combinatorics, 26(4), November 2019.
- [OP21] Young-Tak Oh and Euiyong Park. $q$-dimensions of highest weight crystals and cyclic sieving phenomenon. European Journal of Combinatorics, 97:103372, October 2021.
- [Pec14] Oliver Pechenik. Cyclic sieving of increasing tableaux and small Schröder paths. Journal of Combinatorial Theory, Series A, 125:357–378, July 2014.
- [PPR08] T. Kyle Petersen, Pavlo Pylyavskyy and Brendon Rhoades. Promotion and cyclic sieving via webs. Journal of Algebraic Combinatorics, 30(1):19–41, September 2008.
- [PSV16] Timothy Pressey, Anna Stokke and Terry Visentin. Increasing tableaux, Narayana numbers and an instance of the cyclic sieving phenomenon. Annals of Combinatorics, 20(3):609–621, June 2016.
- [Pur13] Kevin Purbhoo. Wronskians, cyclic group actions, and ribbon tableaux. Transactions of the American Mathematical Society, 365(4):1977–2030, 2013.
- [Pur18] Kevin Purbhoo. A marvellous embedding of the Lagrangian Grassmannian. Journal of Combinatorial Theory, Series A, 155:1–26, April 2018.
- [PW11] Steven Pon and Qiang Wang. Promotion and evacuation on standard Young tableaux of rectangle and staircase shape. The Electronic Journal of Combinatorics, 18(1), January 2011.
- [Rhe12] Donguk Rhee. Cyclic sieving phenomenon of promotion on rectangular tableaux. 2012.
- [Rho10a] Brendon Rhoades. Cyclic sieving, promotion, and representation theory. Journal of Combinatorial Theory, Series A, 117(1):38–76, January 2010.
- [Rho10b] Brendon Rhoades. Hall–Littlewood polynomials and fixed point enumeration. Discrete Mathematics, 310(4):869–876, February 2010.
- [RS12] David B. Rush and XiaoLin Shi. On orbits of order ideals of minuscule posets. Journal of Algebraic Combinatorics, 37(3):545–569, June 2012.
- [Rus18] David B. Rush. Cyclic sieving and plethysm coefficients. Transactions of the American Mathematical Society, 371(2):923–947, July 2018.
- [SSD14] S. Schank S. Sekheri and F. Djermane. Un CSP sur des tableaux décalés en forme d’escalier. Université du Québec à Montréal. August 2014.
- [SW20] Linhui Shen and Daping Weng. Cyclic sieving and cluster duality of Grassmannian. Symmetry, Integrability and Geometry: Methods and Applications, July 2020.
- [Uhl19] Joakim Uhlin. Combinatorics of Macdonald polynomials and cyclic sieving. 2019.
- [Wes16] Bruce W. Westbury. Invariant tensors and the cyclic sieving phenomenon. The Electronic Journal of Combinatorics, 23(4):1–40, November 2016.
- [Wes19] Bruce W. Westbury. Interpolating between promotion and the long cycle. arXiv e-prints, 2019.