A q-analogue of the hook length formula exhibits cyclic sieving, with evaluations at roots of unity counting the number of rectangular standard Young tableaux fixed by repeated applications of jeu de taquin promotion.

In combinatorial mathematics, cyclic sieving is a phenomenon in which an integer polynomial evaluated at certain roots of unity counts the rotational symmetries of a finite set. Given a family of cyclic sieving phenomena, the polynomials give a q-analogue for the enumeration of the sets, and often arise from an underlying algebraic structure, such as a representation.

The first study of cyclic sieving was published by Reiner, Stanton and White in 2004. The phenomenon generalizes the "q = −1 phenomenon" of John Stembridge, which considers evaluations of the polynomial only at the first and second roots of unity (that is, q = 1 and q = −1).

Definition

For every positive integer n {\displaystyle n}, let ω n {\displaystyle \omega _{n}} denote the primitive n {\displaystyle n}th root of unity e 2 π i / n {\displaystyle e^{2\pi i/n}}.

Let X {\displaystyle X} be a finite set with an action of the cyclic group C n {\displaystyle C_{n}}, and let f ( q ) {\displaystyle f(q)} be an integer polynomial. The triple ( X , C n , f ( q ) ) {\displaystyle (X,C_{n},f(q))} exhibits the cyclic sieving phenomenon (or CSP) if for every positive integer d {\displaystyle d} dividing n {\displaystyle n}, the number of elements in X {\displaystyle X} fixed by the action of the subgroup C d {\displaystyle C_{d}} of C n {\displaystyle C_{n}} is equal to f ( ω d ) {\displaystyle f(\omega _{d})}. If C n {\displaystyle C_{n}} acts as rotation by 2 π / n {\displaystyle 2\pi /n}, this counts elements in X {\displaystyle X} with d {\displaystyle d}-fold rotational symmetry.

Equivalently, suppose σ : X → X {\displaystyle \sigma :X\to X} is a bijection on X {\displaystyle X} such that σ n = i d {\displaystyle \sigma ^{n}={\rm {id}}}, where i d {\displaystyle {\rm {id}}} is the identity map. Then σ {\displaystyle \sigma } induces an action of C n {\displaystyle C_{n}} on X {\displaystyle X}, where a given generator c {\displaystyle c} of C n {\displaystyle C_{n}} acts by σ {\displaystyle \sigma }. Then ( X , C n , f ( q ) ) {\displaystyle (X,C_{n},f(q))} exhibits the cyclic sieving phenomenon if the number of elements in X {\displaystyle X} fixed by σ d {\displaystyle \sigma ^{d}} is equal to f ( ω n d ) {\displaystyle f(\omega _{n}^{d})} for every integer d {\displaystyle d}.

Example

Let X {\displaystyle X} be the 2-element subsets of { 1 , 2 , 3 , 4 } {\displaystyle \{1,2,3,4\}}. Define a bijection σ : X → X {\displaystyle \sigma :X\to X} which increases each element in the pair by one (and sends 4 {\displaystyle 4} back to 1 {\displaystyle 1}). This induces an action of C 4 {\displaystyle C_{4}} on X {\displaystyle X}, which has an orbit { 1 , 3 } ↦ { 2 , 4 } ↦ { 1 , 3 } {\displaystyle \{1,3\}\mapsto \{2,4\}\mapsto \{1,3\}} of size two and an orbit { 1 , 2 } ↦ { 2 , 3 } ↦ { 3 , 4 } ↦ { 1 , 4 } ↦ { 1 , 2 } {\displaystyle \{1,2\}\mapsto \{2,3\}\mapsto \{3,4\}\mapsto \{1,4\}\mapsto \{1,2\}} of size four. If f ( q ) = 1 + q + 2 q 2 + q 3 + q 4 {\displaystyle f(q)=1+q+2q^{2}+q^{3}+q^{4}}, then f ( 1 ) = 6 {\displaystyle f(1)=6} is the number of elements in X {\displaystyle X}, f ( i ) = 0 {\displaystyle f(i)=0} counts fixed points of σ {\displaystyle \sigma }, f ( − 1 ) = 2 {\displaystyle f(-1)=2} is the number of fixed points of σ 2 {\displaystyle \sigma ^{2}}, and f ( − i ) = 0 {\displaystyle f(-i)=0} is the number of fixed points of σ 3 {\displaystyle \sigma ^{3}}. Hence, the triple ( X , C 4 , f ( q ) ) {\displaystyle (X,C_{4},f(q))} exhibits the cyclic sieving phenomenon.

More generally, set [ n ] q := 1 + q + ⋯ + q n − 1 {\displaystyle [n]_{q}:=1+q+\cdots +q^{n-1}} and define the q-binomial coefficient by [ n k ] q = [ n ] q ⋯ [ 2 ] q [ 1 ] q [ k ] q ⋯ [ 2 ] q [ 1 ] q [ n − k ] q ⋯ [ 2 ] q [ 1 ] q . {\displaystyle \left[{n \atop k}\right]_{q}={\frac {[n]_{q}\cdots [2]_{q}[1]_{q}}{[k]_{q}\cdots [2]_{q}[1]_{q}[n-k]_{q}\cdots [2]_{q}[1]_{q}}}.} which is an integer polynomial evaluating to the usual binomial coefficient at q = 1 {\displaystyle q=1}. For any positive integer d {\displaystyle d} dividing n {\displaystyle n},

[ n k ] ω d = { ( n / d k / d ) if d ∣ k , 0 otherwise . {\displaystyle \left[{n \atop k}\right]_{\omega _{d}}={\begin{cases}\left({n/d \atop k/d}\right)&{\text{if }}d\mid k,\\0&{\text{otherwise}}.\end{cases}}}

If X n , k {\displaystyle X_{n,k}} is the set of size-k {\displaystyle k} subsets of { 1 , … , n } {\displaystyle \{1,\dots ,n\}} with C n {\displaystyle C_{n}} acting by increasing each element in the subset by one (and sending n {\displaystyle n} back to 1 {\displaystyle 1}), and if f n , k ( q ) {\displaystyle f_{n,k}(q)} is the q-binomial coefficient above, then ( X n , k , C n , f n , k ( q ) ) {\displaystyle (X_{n,k},C_{n},f_{n,k}(q))} exhibits the cyclic sieving phenomenon for every 0 ≤ k ≤ n {\displaystyle 0\leq k\leq n}.

In representation theory

The cyclic sieving phenomenon can be naturally stated in the language of representation theory. The group action of C n {\displaystyle C_{n}} on X {\displaystyle X} is linearly extended to obtain a representation, and the decomposition of this representation into irreducibles determines the required coefficients of the polynomial f ( q ) {\displaystyle f(q)}.

Let V = C ( X ) {\displaystyle V=\mathbb {C} (X)} be the vector space over the complex numbers with a basis indexed by a finite set X {\displaystyle X}. If the cyclic group C n {\displaystyle C_{n}} acts on X {\displaystyle X}, then linearly extending each action turns V {\displaystyle V} into a representation of C n {\displaystyle C_{n}}.

For a generator c {\displaystyle c} of C n {\displaystyle C_{n}}, its action on C ( X ) {\displaystyle \mathbb {C} (X)} is given by a permutation matrix [ c ] {\displaystyle [c]}, and the trace of [ c ] d {\displaystyle [c]^{d}} counts the elements of X {\displaystyle X} fixed by c d {\displaystyle c^{d}}. In particular, the triple ( X , C n , f ( q ) ) {\displaystyle (X,C_{n},f(q))} exhibits the cyclic sieving phenomenon if and only if f ( ω n d ) = χ ( c d ) {\displaystyle f(\omega _{n}^{d})=\chi (c^{d})} for every 0 ≤ d < n {\displaystyle 0\leq d<n}, where χ {\displaystyle \chi } is the character of V {\displaystyle V}.

This gives a method for determining f ( q ) {\displaystyle f(q)}. For every integer k {\displaystyle k}, let V ( k ) {\displaystyle V^{(k)}} be the one-dimensional representation of C n {\displaystyle C_{n}} in which c {\displaystyle c} acts as scalar multiplication by ω n k {\displaystyle \omega _{n}^{k}}. For an integer polynomial f ( q ) = ∑ k ≥ 0 m k q k {\textstyle f(q)=\sum _{k\geq 0}m_{k}q^{k}}, the triple ( X , C n , f ( q ) ) {\displaystyle (X,C_{n},f(q))} exhibits the cyclic sieving phenomenon if and only if V ≅ ⨁ k ≥ 0 m k V ( k ) . {\displaystyle V\cong \bigoplus _{k\geq 0}m_{k}V^{(k)}.}

Further examples

Words

Let W {\displaystyle W} be a finite set of words of the form w = w 1 ⋯ w n {\displaystyle w=w_{1}\cdots w_{n}} where each letter w j {\displaystyle w_{j}} is an integer and W {\displaystyle W} is closed under permutation (that is, if w {\displaystyle w} is in W {\displaystyle W}, then so is any anagram of w {\displaystyle w}). The major index of a word w {\displaystyle w} is the sum of all indices j {\displaystyle j} such that w j > w j + 1 {\displaystyle w_{j}>w_{j+1}}, and is denoted m a j ( w ) {\displaystyle {\rm {maj}}(w)}.

If C n {\displaystyle C_{n}} acts on W {\displaystyle W} by rotating the letters of each word, and f ( q ) = ∑ w ∈ W q m a j ( w ) {\displaystyle f(q)=\sum _{w\in W}q^{{\rm {maj}}(w)}} then ( W , C n , f ( q ) ) {\displaystyle (W,C_{n},f(q))} exhibits the cyclic sieving phenomenon.

Rectangular standard Young tableaux

Let λ {\displaystyle \lambda } be a partition of size n {\displaystyle n} with rectangular shape, and let X λ {\displaystyle X_{\lambda }} be the set of standard Young tableaux with shape λ {\displaystyle \lambda }. Jeu de taquin promotion gives an action of C n {\displaystyle C_{n}} on X {\displaystyle X}. Let f ( q ) {\displaystyle f(q)} be the following q-analog of the hook length formula: f λ ( q ) = [ n ] q ⋯ [ 1 ] q ∏ ( i , j ) ∈ λ [ h ( i , j ) ] q . {\displaystyle f_{\lambda }(q)={\frac {[n]_{q}\cdots [1]_{q}}{\prod _{(i,j)\in \lambda }[h(i,j)]_{q}}}.} Then ( X λ , C n , f λ ( q ) ) {\displaystyle (X_{\lambda },C_{n},f_{\lambda }(q))} exhibits the cyclic sieving phenomenon. If χ λ {\displaystyle \chi _{\lambda }} is the character for the irreducible representation of the symmetric group associated to λ {\displaystyle \lambda }, then f λ ( ω n d ) = ± χ λ ( c d ) {\displaystyle f_{\lambda }(\omega _{n}^{d})=\pm \chi _{\lambda }(c^{d})} for every 0 ≤ d < n {\displaystyle 0\leq d<n}, where c {\displaystyle c} is the long cycle ( 12 ⋯ n ) {\displaystyle (12\cdots n)}.

If Y {\displaystyle Y} is the set of semistandard Young tableaux of shape λ {\displaystyle \lambda } with entries in { 1 , … , k } {\displaystyle \{1,\dots ,k\}}, then promotion gives an action of the cyclic group C k {\displaystyle C_{k}} on Y λ {\displaystyle Y_{\lambda }}. Define κ ( λ ) = ∑ i ( i − 1 ) λ i {\textstyle \kappa (\lambda )=\sum _{i}(i-1)\lambda _{i}} and g ( q ) = q − κ ( λ ) s λ ( 1 , q , … , q k − 1 ) , {\displaystyle g(q)=q^{-\kappa (\lambda )}s_{\lambda }(1,q,\dots ,q^{k-1}),} where s λ {\displaystyle s_{\lambda }} is the Schur polynomial. Then ( Y , C k , g ( q ) ) {\displaystyle (Y,C_{k},g(q))} exhibits the cyclic sieving phenomenon.

Non-crossing configurations

If X {\displaystyle X} is the set of non-crossing (1,2)-configurations of { 1 , … , n − 1 } {\displaystyle \{1,\dots ,n-1\}}, then C n − 1 {\displaystyle C_{n-1}} acts on these by rotation. Let f ( q ) {\displaystyle f(q)} be the following q-analog of the n {\displaystyle n}th Catalan number: f ( q ) = 1 [ n + 1 ] q [ 2 n n ] q . {\displaystyle f(q)={\frac {1}{[n+1]_{q}}}\left[{2n \atop n}\right]_{q}.} Then ( X , C n − 1 , f ( q ) ) {\displaystyle (X,C_{n-1},f(q))} exhibits the cyclic sieving phenomenon.

Square semi-standard Young tableaux

Let X {\displaystyle X} be the set of semi-standard Young tableaux of shape ( n , n ) {\displaystyle (n,n)} with maximal entry 2 n − k {\displaystyle 2n-k}, where entries along each row and column are strictly increasing. If C 2 n − k {\displaystyle C_{2n-k}} acts on X {\displaystyle X} by K {\displaystyle K}-promotion and f ( q ) = q n + ( k 2 ) [ n − 1 k ] q [ 2 n − k n − k − 1 ] q [ n − k ] q , {\displaystyle f(q)=q^{n+{\binom {k}{2}}}{\frac {\left[{n-1 \atop k}\right]_{q}\left[{2n-k \atop n-k-1}\right]_{q}}{[n-k]_{q}}},} then ( X , C 2 n − k , f ( q ) ) {\displaystyle (X,C_{2n-k},f(q))} exhibits the cyclic sieving phenomenon.

Permutations of a fixed cycle type

Let S λ , j {\displaystyle S_{\lambda ,j}} be the set of permutations of cycle type λ {\displaystyle \lambda } with exactly j {\displaystyle j} exceedances. Conjugation gives an action of C n {\displaystyle C_{n}} on S λ , j {\displaystyle S_{\lambda ,j}}, and if a λ , j ( q ) = ∑ σ ∈ S λ , j q maj ⁡ ( σ ) − j {\displaystyle a_{\lambda ,j}(q)=\sum _{\sigma \in S_{\lambda ,j}}q^{\operatorname {maj} (\sigma )-j}} then ( S λ , j , C n , a λ , j ( q ) ) {\displaystyle (S_{\lambda ,j},C_{n},a_{\lambda ,j}(q))} exhibits the cyclic sieving phenomenon.

Notes and references