Related papers: On the FI-module structure of $H^i(\Gamma_{n,s})$
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 -…
In this paper we apply the theory of finitely generated FI-modules developed by Church, Ellenberg and Farb to certain sequences of rational cohomology groups. Our main examples are the cohomology of the moduli space of n-pointed curves, the…
We study the cohomology of Aut(F_n) and Out(F_n) with coefficients in the modules \wedge^q H, \wedge H^*, Sym^q H or Sym^q H^*, where H is the Out(F_n)-module obtained by abelianising the free group F_n. For reasons which are not…
Representation stability is a theory describing a way in which a sequence of representations of different groups is related, and essentially contains a finite amount of information. Starting with Church-Ellenberg-Farb's theory of…
Church-Ellenberg-Farb used the language of FI-modules to prove that the cohomology of certain sequences of hyperplane arrangements with S_n-actions satisfies representation stability. Here we lift their results to the level of the…
An FI-module $V$ over a commutative ring $\bf{k}$ encodes a sequence $(V_n)_{n \geq 0}$ of representations of the symmetric groups $(\mathfrak{S}_n)_{n \geq 0}$ over $\bf{k}$. In this paper, we show that for a "finitely generated" FI-module…
We prove homological stability for a twisted version of the Houghton groups and their multidimensional analogues. Based on this, we can describe the homology of the Houghton groups and that of their multidimensional analogues over constant…
Let M_g^n be the moduli space of Riemann surfaces of genus g with n labeled marked points. We prove that, for g \geq 2, the cohomology groups {H^i(M_g^n;Q)}_{n=1}^{\infty} form a sequence of Sn representations which is representation stable…
We prove that the dual rational homotopy groups of the configuration spaces of a 1-connected manifold of dimension at least 3 are uniformly representation stable in the sense of Church, and that their derived dual integral homotopy groups…
We study representation stability in the sense of Church, Ellenberg, and Farb \cite{FI-module} through the lens of symmetric function theory and the different symmetric function bases. We show that a sequence, $(F_n)_n$, where $F_n$ is a…
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…
We consider in parallel pointed homotopy automorphisms of iterated wedge sums of topological spaces and boundary relative homotopy automorphisms of iterated connected sums of manifolds minus a disk. Under certain conditions on the spaces…
We identify two recursively defined polynomial conditions for FI-modules in the literature. We characterize these conditions using homological invariants of FI-modules (namely the local degree and regularity, together with the stable…
Recent work of An, Drummond-Cole, and Knudsen, as well as the author, has shown that the homology groups of configuration spaces of graphs can be equipped with the structure of a finitely generated graded module over a polynomial ring. In…
We prove an explicit and sharp upper bound for the Castelnuovo-Mumford regularity of an FI-module V in terms of the degrees of its generators and relations. We use this to refine a result of Putman on the stability of homology of congruence…
We compute the groups $H^*(\mathrm{Aut}(F_n); M)$ and $H^*(\mathrm{Out}(F_n); M)$ in a stable range, where $M$ is obtained by applying a Schur functor to $H_\mathbb{Q}$ or $H^*_\mathbb{Q}$, respectively the first rational homology and…
The category $\mathrm{FI}_G$ was first defined and explored by Sam-Snowden. Here, we develop more of the machinery of $\mathrm{FI}_G$-modules and find numerous examples to apply it to, extending the work of Church-Ellenberg-Farb and Wilson.…
In this paper we study the integral cohomology of pure mapping class groups of surfaces, and other related groups and spaces, as FI-modules. We use recent results from Church, Miller, Nagpal and Reinhold to obtain explicit linear bounds for…
Given a graded $E_1$-module over an $E_2$-algebra in spaces, we construct an augmented semi-simplicial space up to higher coherent homotopy over it, called its canonical resolution, whose graded connectivity yields homological stability for…
We prove a formula for the ${\mathbb S}_n$-equivariant Euler characteristic of the moduli space of graphs $\mathcal{MG}_{g,n}$. Moreover, we prove that the rational ${\mathbb S}_n$-invariant cohomology of $\mathcal{MG}_{g,n}$ stabilizes for…