arXiv++ Combinatorics

FI-modules were introduced by the first three authors in [CEF] to encode sequences of representations of symmetric groups. Over a field of characteristic 0, finite generation of an FI-module implies representation stability for the corresponding sequence of S_n-representations. In this paper we prove the Noetherian property for FI-modules over arbitrary Noetherian rings: any sub-FI-module of a finitely generated FI-module is finitely generated. This lets us extend many of the results of [CEF] to representations in positive characteristic, and even to integral coefficients. We focus on three major applications of the main theorem: on the integral and mod p cohomology of configuration spaces; on diagonal coinvariant algebras in positive characteristic; and on an integral version of Putman's central stability for homology of congruence subgroups.

In this paper we introduce and develop the theory of FI-modules. We apply this theory to obtain new theorems about: - the cohomology of the configuration space of n distinct ordered points on an arbitrary (connected, oriented) manifold - the diagonal coinvariant algebra on r sets of n variables - the cohomology and tautological ring of the moduli space of n-pointed curves - the space of polynomials on rank varieties of n x n matrices - the subalgebra of the cohomology of the genus n Torelli group generated by H^1 and more. The symmetric group S_n acts on each of these vector spaces. In most cases almost nothing is known about the characters of these representations, or even their dimensions. We prove that in each fixed degree the character is given, for n large enough, by a polynomial in the cycle-counting functions that is independent of n. In particular, the dimension is eventually a polynomial in n. In this framework, representation stability (in the sense of Church-Farb) for a sequence of S_n-representations is converted to a finite generation property for a single FI-module.