9046f0b9df818d3c.tex
1: \begin{abstract}
2: A famous theorem of Nakaoka asserts that the cohomology of the symmetric group stabilizes. The first author generalized this theorem to non-trivial coefficient systems, in the form of $\FI$-modules over a field, though one now obtains periodicity of the cohomology instead of stability. In this paper, we further refine these results. Our main theorem states that if $M$ is a finitely generated $\FI$-module over a noetherian ring $\bk$ then $\bigoplus_{n \ge 0} \rH^t(S_n, M_n)$ admits the structure of a $\bD$-module, where $\bD$ is the divided power algebra over $\bk$ in a single variable, and moreover, this $\bD$-module is ``nearly'' finitely presented. This immediately recovers the periodicity result when $\bk$ is a field, but also shows, for example, how the torsion varies with $n$ when $\bk=\bZ$. Using the theory of connections on $\bD$-modules, we establish sharp bounds on the period in the case where $\bk$ is a field. We apply our theory to obtain results on the modular cohomology of Specht modules and the integral cohomology of unordered configuration spaces of manifolds. 
3: \end{abstract}
4: