Suppose that for each n >= 0 we have a representation Mn of the symmetric
group S_n. Such sequences arise in a wide variety of contexts, and often
exhibit uniformity in some way. We prove a number of general results along
these lines in this paper: our prototypical theorem states that if Mn can be
given a suitable module structure over a twisted commutative algebra then the
sequence Mn follows a predictable pattern. We phrase these results precisely
in the language of Hilbert series (or Poincar\'e series, or formal characters)
of modules over tca's.Comment: 28 page