We develop a local cohomology theory for FI^m-modules, and show that it in many ways mimics the classical theory for multi-graded modules over a polynomial ring. In particular, we define an invariant of FI^m-modules using this local cohomology theory which closely resembles an invariant of multi-graded modules over Cox rings defined by Maclagan and Smith. It is then shown that this invariant behaves almost identically to the invariant of Maclagan and Smith.

The notion of central stability was first formulated for sequences of representations of the symmetric groups by Putman. A categorical reformulation was subsequently given by Church, Ellenberg, Farb, and Nagpal using the notion of FI-modules, where FI is the category of finite sets and injective maps. We extend the notion of central stability from FI to a wide class of categories, and prove that a module is presented in finite degrees if and only if it is centrally stable. We also introduce the notion of d-step central stability, and prove that if the ideal of relations of a category is generated in degrees at most d, then every module presented in finite degrees is d-step centrally stable.

In this paper we describe a machinery for homological calculations of representations of FI_G, and use it to develop a local cohomology theory over any commutative Noetherian ring. As an application, we show that the depth introduced by the second author coincides with a more classical invariant from commutative algebra, and obtain upper bounds of a few important invariants of FI_G-modules in terms of torsion degrees of their local cohomology groups.

It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result to the abstract setting of an infinite EI category satisfying certain combinatorial conditions.

In the first part of this paper, we study Koszul property of directed graded categories. In the second part of this paper, we prove a general criterion for an infinite directed category to be Koszul. We show that infinite directed categories in the theory of representation stability are Koszul over a field of characteristic zero