1: \begin{abstract}

2: The category \(\FI_G\) was first defined and explored in \cite{SS2}. Here, we develop more of the machinery of \(\FI_G\)-modules and find numerous examples to apply it to, extending the work of \cite{CEF} and \cite{Wi}. 

3: In particular we develop a notion of character polynomials for \(\FI_G\)-modules with \(G\) finite, a notion of representation stability which we call \emph{\(K_0\)-stability} even when \(G\) is infinite virtually polycyclic, and apply the notion of \emph{finite presentation degree} when \(G\) is a general infinite group. We use this to analyze numerous families of \((G^n \rtimes S_n)\)-modules, such as:

4: \begin{itemize}

5: \item the cohomology and homotopy groups of orbit configuration spaces

6: \item the diagonal coinvariant algebra of complex reflection groups

7: \item the homology of affine pure braid groups of type \(\widetilde{A}_n\) and \(\widetilde{C}_n\)

8: \item the cohomology of Fouxe-Rabinowitsch groups

9: \end{itemize}

10: and many more examples.

11: \end{abstract}

12: