989a884384a864b9.tex
1: \begin{abstract}
2: %%%abstract text%%%
3: The cyclic sieving phenomenon was defined by Reiner, Stanton, and White in a
4: 2004 paper.  Let $X$ be a finite set, $C$ be a finite cyclic group acting on
5: $X$, and $f(q)$ be a polynomial in $q$ with nonnegative integer coefficients.
6: Then the triple $(X,C,f(q))$ exhibits the {\it cyclic sieving phenomenon\/}
7: if, for all $g\in C$, we have
8: $$
9: \# X^g = f(\om)
10: $$
11: where $\#$ denotes cardinality, $X^g$ is the fixed point set of $g$, and $\om$
12: is a root of unity chosen to have the same order as $g$.   It might seem
13: improbable that substituting a root of unity into a polynomial with integer
14: coefficients would have an enumerative meaning.  But many instances of the cyclic
15: sieving phenomenon have now been found.
16: Furthermore, the proofs that this phenomenon hold often involve interesting
17: and sometimes deep results from representation theory.
18: We will survey the current literature on cyclic sieving, providing the
19: necessary background about representations, Coxeter groups, and other
20: algebraic aspects as needed.
21: \end{abstract}